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

	Name	Last modified	Size	Description
	Parent Directory		-
	and_definition.p	2024-10-04 18:29	191
	clear_table.p	2024-10-04 18:29	134
	differ_a_b.p	2024-10-04 18:29	107
	differ_a_c.p	2024-10-04 18:29	107
	differ_a_d.p	2024-10-04 18:29	107
	differ_a_table.p	2024-10-04 18:29	115
	differ_b_c.p	2024-10-04 18:29	107
	differ_b_d.p	2024-10-04 18:29	107
	differ_b_table.p	2024-10-04 18:29	115
	differ_c_d.p	2024-10-04 18:29	107
	differ_c_table.p	2024-10-04 18:29	115
	differ_d_table.p	2024-10-04 18:29	115
	initial_state1.p	2024-10-04 18:29	121
	initial_state2.p	2024-10-04 18:29	121
	initial_state3.p	2024-10-04 18:29	117
	initial_state4.p	2024-10-04 18:29	121
	initial_state5.p	2024-10-04 18:29	118
	initial_state6.p	2024-10-04 18:29	118
	initial_state7.p	2024-10-04 18:29	118
	initial_state8.p	2024-10-04 18:29	115
	pickup_1.p	2024-10-04 18:29	224
	pickup_2.p	2024-10-04 18:29	235
	pickup_3.p	2024-10-04 18:29	209
	pickup_4.p	2024-10-04 18:29	203
	putdown_1.p	2024-10-04 18:29	216
	putdown_2.p	2024-10-04 18:29	218
	putdown_3.p	2024-10-04 18:29	219
	putdown_4.p	2024-10-04 18:29	205
	putdown_5.p	2024-10-04 18:29	215
	symmetry_of_differ.p	2024-10-04 18:29	151