Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ049-10/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	h_down.p	2024-10-04 18:33	332
	v4_left.p	2024-10-04 18:33	332
	s1_left.p	2024-10-04 18:33	322
	v2_up.p	2024-10-04 18:33	323
	intermediate_state.p	2024-10-04 18:33	318
	v2_right.p	2024-10-04 18:33	333
	v4_down.p	2024-10-04 18:33	325
	s2_right.p	2024-10-04 18:33	323
	s4_down.p	2024-10-04 18:33	322
	swap_blanks.p	2024-10-04 18:33	336
	v3_up.p	2024-10-04 18:33	323
	s2_down.p	2024-10-04 18:33	322
	v1_left.p	2024-10-04 18:33	332
	s2_up.p	2024-10-04 18:33	320
	v3_left.p	2024-10-04 18:33	332
	s4_right.p	2024-10-04 18:33	323
	s1_up.p	2024-10-04 18:33	320
	v2_left.p	2024-10-04 18:33	332
	s3_left.p	2024-10-04 18:33	322
	b_left.p	2024-10-04 18:33	340
	v2_down.p	2024-10-04 18:33	325
	goal_state.p	2024-10-04 18:33	255
	s4_up.p	2024-10-04 18:33	320
	v3_down.p	2024-10-04 18:33	325
	s3_up.p	2024-10-04 18:33	320
	s2_left.p	2024-10-04 18:33	322
	b_up.p	2024-10-04 18:33	338
	s1_right.p	2024-10-04 18:33	323
	v1_up.p	2024-10-04 18:33	323
	h_up.p	2024-10-04 18:33	330
	h_left.p	2024-10-04 18:33	325
	ifeq_axiom.p	2024-10-04 18:33	132
	v1_right.p	2024-10-04 18:33	333
	b_down.p	2024-10-04 18:33	340
	h_right.p	2024-10-04 18:33	326
	s1_down.p	2024-10-04 18:33	322
	v4_right.p	2024-10-04 18:33	333
	b_right.p	2024-10-04 18:33	341
	s3_right.p	2024-10-04 18:33	323
	v3_right.p	2024-10-04 18:33	333
	v4_up.p	2024-10-04 18:33	323
	v1_down.p	2024-10-04 18:33	325
	s3_down.p	2024-10-04 18:33	322
	s4_left.p	2024-10-04 18:33	322