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

	Name	Last modified	Size	Description
	Parent Directory		-
	and_0_00.p	2024-10-04 18:30	165
	and_0x_0.p	2024-10-04 18:30	150
	and_1_1x.p	2024-10-04 18:30	148
	and_1_x1.p	2024-10-04 18:30	148
	and_11_1.p	2024-10-04 18:30	164
	and_ok_or_abnormal.p	2024-10-04 18:30	156
	and_x0_0.p	2024-10-04 18:30	150
	fulladder_connection_in1_in1h2.p	2024-10-04 18:30	174
	fulladder_connection_in2_in1h1.p	2024-10-04 18:30	174
	fulladder_connection_inc_in2h1.p	2024-10-04 18:30	174
	fulladder_connection_outc_out1or1.p	2024-10-04 18:30	180
	fulladder_connection_outch1_in2or1.p	2024-10-04 18:30	184
	fulladder_connection_outch2_in1or1.p	2024-10-04 18:30	184
	fulladder_connection_outs_outsh2.p	2024-10-04 18:30	178
	fulladder_connection_outsh1_in2h2.p	2024-10-04 18:30	182
	fulladder_halfadder1.p	2024-10-04 18:30	151
	fulladder_halfadder2.p	2024-10-04 18:30	151
	fulladder_or1.p	2024-10-04 18:30	144
	halfadder_and1.p	2024-10-04 18:30	147
	halfadder_and2.p	2024-10-04 18:30	147
	halfadder_connection_in1_in1and2.p	2024-10-04 18:30	178
	halfadder_connection_in1_in1or1.p	2024-10-04 18:30	176
	halfadder_connection_in2_in2and2.p	2024-10-04 18:30	178
	halfadder_connection_in2_in2or1.p	2024-10-04 18:30	176
	halfadder_connection_out1and2_in1not1.p	2024-10-04 18:30	190
	halfadder_connection_out1not1_in2and1.p	2024-10-04 18:30	190
	halfadder_connection_out1or1_in1_and1.p	2024-10-04 18:30	189
	halfadder_connection_outc_out1and2.p	2024-10-04 18:30	182
	halfadder_connection_outs_out1and1.p	2024-10-04 18:30	182
	halfadder_not1.p	2024-10-04 18:30	147
	halfadder_or1.p	2024-10-04 18:30	144
	not_0_1_bw.p	2024-10-04 18:30	151
	not_0_1_fw.p	2024-10-04 18:30	151
	not_1_0_bw.p	2024-10-04 18:30	151
	not_1_0_fw.p	2024-10-04 18:30	151
	not__not_ok_and_abnormal.p	2024-10-04 18:30	149
	not_and_ok_and_abnormal.p	2024-10-04 18:30	148
	not_ok_or_abnormal.p	2024-10-04 18:30	156
	not_or_ok_and_abnormal.p	2024-10-04 18:30	146
	or_0_0x.p	2024-10-04 18:30	148
	or_0_01.p	2024-10-04 18:30	148
	or_00_0.p	2024-10-04 18:30	165
	or_1_11.p	2024-10-04 18:30	160
	or_1x_1.p	2024-10-04 18:30	146
	or_ok_or_abnormal.p	2024-10-04 18:30	153
	or_x1_1.p	2024-10-04 18:30	146
	unique_value.p	2024-10-04 18:30	130
	value_propagation_one1.p	2024-10-04 18:30	171
	value_propagation_one2.p	2024-10-04 18:30	171
	value_propagation_zero1.p	2024-10-04 18:30	174
	value_propagation_zero2.p	2024-10-04 18:30	174