Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/HWV034-2/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	unique_value.p	2024-10-04 18:22	130
	not_or_ok_and_abnormal.p	2024-10-04 18:22	146
	or_1x_1.p	2024-10-04 18:22	146
	or_x1_1.p	2024-10-04 18:22	146
	and_1_1x.p	2024-10-04 18:22	148
	and_1_x1.p	2024-10-04 18:22	148
	not_and_ok_and_abnormal.p	2024-10-04 18:22	148
	or_0_0x.p	2024-10-04 18:22	148
	or_0_01.p	2024-10-04 18:22	148
	not__not_ok_and_abnormal.p	2024-10-04 18:22	149
	and_0x_0.p	2024-10-04 18:22	150
	and_x0_0.p	2024-10-04 18:22	150
	not_0_1_bw.p	2024-10-04 18:22	151
	not_0_1_fw.p	2024-10-04 18:22	151
	not_1_0_bw.p	2024-10-04 18:22	151
	not_1_0_fw.p	2024-10-04 18:22	151
	or_ok_or_abnormal.p	2024-10-04 18:22	153
	and_ok_or_abnormal.p	2024-10-04 18:22	156
	not_ok_or_abnormal.p	2024-10-04 18:22	156
	or_1_11.p	2024-10-04 18:22	160
	and_11_1.p	2024-10-04 18:22	164
	and_0_00.p	2024-10-04 18:22	165
	or_00_0.p	2024-10-04 18:22	165
	value_propagation_one1.p	2024-10-04 18:22	171
	value_propagation_one2.p	2024-10-04 18:22	171
	value_propagation_zero1.p	2024-10-04 18:22	174
	value_propagation_zero2.p	2024-10-04 18:22	174