Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PLA030-1/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	and_definition.p	2024-10-04 18:29	185
	clear_table.p	2024-10-04 18:29	128
	differ_a_b.p	2024-10-04 18:29	101
	differ_a_c.p	2024-10-04 18:29	101
	differ_a_d.p	2024-10-04 18:29	101
	differ_a_table.p	2024-10-04 18:29	109
	differ_b_c.p	2024-10-04 18:29	101
	differ_b_d.p	2024-10-04 18:29	101
	differ_b_table.p	2024-10-04 18:29	109
	differ_c_d.p	2024-10-04 18:29	101
	differ_c_table.p	2024-10-04 18:29	109
	differ_d_table.p	2024-10-04 18:29	109
	initial_state1.p	2024-10-04 18:29	115
	initial_state2.p	2024-10-04 18:29	115
	initial_state3.p	2024-10-04 18:29	111
	initial_state4.p	2024-10-04 18:29	115
	initial_state5.p	2024-10-04 18:29	112
	initial_state6.p	2024-10-04 18:29	112
	initial_state7.p	2024-10-04 18:29	112
	initial_state8.p	2024-10-04 18:29	109
	pickup_1.p	2024-10-04 18:29	218
	pickup_2.p	2024-10-04 18:29	229
	pickup_3.p	2024-10-04 18:29	203
	pickup_4.p	2024-10-04 18:29	197
	putdown_1.p	2024-10-04 18:29	210
	putdown_2.p	2024-10-04 18:29	212
	putdown_3.p	2024-10-04 18:29	213
	putdown_4.p	2024-10-04 18:29	199
	putdown_5.p	2024-10-04 18:29	209
	symmetry_of_differ.p	2024-10-04 18:29	145