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

	Name	Last modified	Size	Description
	Parent Directory		-
	and_0_00.p	2024-10-04 18:28	200
	and_0x_0.p	2024-10-04 18:28	190
	and_1_1x.p	2024-10-04 18:28	179
	and_1_x1.p	2024-10-04 18:28	179
	and_11_1.p	2024-10-04 18:28	202
	equal_value1.p	2024-10-04 18:28	118
	equal_value2.p	2024-10-04 18:28	118
	not_0_1_bw.p	2024-10-04 18:28	181
	not_0_1_fw.p	2024-10-04 18:28	181
	not_1_0_bw.p	2024-10-04 18:28	181
	not_1_0_fw.p	2024-10-04 18:28	181
	not_ok_and_abnormal.p	2024-10-04 18:28	150
	ok_or_abnormal.p	2024-10-04 18:28	167
	or_0_0x.p	2024-10-04 18:28	177
	or_0_01.p	2024-10-04 18:28	177
	or_00_0.p	2024-10-04 18:28	200
	or_1_11.p	2024-10-04 18:28	198
	or_1x_1.p	2024-10-04 18:28	188
	unique_value.p	2024-10-04 18:28	178
	value_propagation1.p	2024-10-04 18:28	183
	value_propagation2.p	2024-10-04 18:28	183