Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ016-2.004/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	covered_1_1.p	2024-10-04 18:32	124
	covered_1_4.p	2024-10-04 18:32	124
	covered_2_1.p	2024-10-04 18:32	139
	covered_2_2.p	2024-10-04 18:32	156
	covered_2_3.p	2024-10-04 18:32	156
	covered_2_4.p	2024-10-04 18:32	139
	covered_3_1.p	2024-10-04 18:32	139
	covered_3_2.p	2024-10-04 18:32	156
	covered_3_3.p	2024-10-04 18:32	156
	covered_3_4.p	2024-10-04 18:32	139
	covered_4_1.p	2024-10-04 18:32	124
	covered_4_2.p	2024-10-04 18:32	141
	covered_4_3.p	2024-10-04 18:32	141
	covered_4_4.p	2024-10-04 18:32	124
	uncovered1_1_2.p	2024-10-04 18:32	114
	uncovered1_1_3.p	2024-10-04 18:32	114
	uncovered2_1_2.p	2024-10-04 18:32	112
	uncovered2_1_3.p	2024-10-04 18:32	112
	uncovered3_1_2.p	2024-10-04 18:32	114
	uncovered3_1_3.p	2024-10-04 18:32	114
	unique_cover1_1_1.p	2024-10-04 18:32	134
	unique_cover1_2_1.p	2024-10-04 18:32	134
	unique_cover1_2_2.p	2024-10-04 18:32	134
	unique_cover1_2_3.p	2024-10-04 18:32	134
	unique_cover1_3_1.p	2024-10-04 18:32	134
	unique_cover1_3_2.p	2024-10-04 18:32	134
	unique_cover1_3_3.p	2024-10-04 18:32	134
	unique_cover2_2_2.p	2024-10-04 18:32	136
	unique_cover2_2_3.p	2024-10-04 18:32	136
	unique_cover2_3_2.p	2024-10-04 18:32	136
	unique_cover2_3_3.p	2024-10-04 18:32	136
	unique_cover2_4_2.p	2024-10-04 18:32	136
	unique_cover2_4_3.p	2024-10-04 18:32	136
	unique_cover3_2_1.p	2024-10-04 18:32	134
	unique_cover3_2_2.p	2024-10-04 18:32	134
	unique_cover3_2_3.p	2024-10-04 18:32	134
	unique_cover3_3_1.p	2024-10-04 18:32	134
	unique_cover3_3_2.p	2024-10-04 18:32	134
	unique_cover3_3_3.p	2024-10-04 18:32	134
	unique_cover3_4_1.p	2024-10-04 18:32	134
	unique_cover3_4_2.p	2024-10-04 18:32	134
	unique_cover3_4_3.p	2024-10-04 18:32	134
	unique_cover4_1_4.p	2024-10-04 18:32	134
	unique_cover4_2_2.p	2024-10-04 18:32	134
	unique_cover4_2_3.p	2024-10-04 18:32	134
	unique_cover4_2_4.p	2024-10-04 18:32	134
	unique_cover4_3_2.p	2024-10-04 18:32	134
	unique_cover4_3_3.p	2024-10-04 18:32	134
	unique_cover4_3_4.p	2024-10-04 18:32	134
	unique_cover5_2_1.p	2024-10-04 18:32	132
	unique_cover5_2_2.p	2024-10-04 18:32	132
	unique_cover5_2_3.p	2024-10-04 18:32	132
	unique_cover5_2_4.p	2024-10-04 18:32	132
	unique_cover5_3_1.p	2024-10-04 18:32	132
	unique_cover5_3_2.p	2024-10-04 18:32	132
	unique_cover5_3_3.p	2024-10-04 18:32	132
	unique_cover5_3_4.p	2024-10-04 18:32	132
	unique_cover6_2_2.p	2024-10-04 18:32	134
	unique_cover6_2_3.p	2024-10-04 18:32	134
	unique_cover6_2_4.p	2024-10-04 18:32	134
	unique_cover6_3_2.p	2024-10-04 18:32	134
	unique_cover6_3_3.p	2024-10-04 18:32	134
	unique_cover6_3_4.p	2024-10-04 18:32	134
	unique_cover6_4_2.p	2024-10-04 18:32	134
	unique_cover6_4_3.p	2024-10-04 18:32	134
	unique_cover6_4_4.p	2024-10-04 18:32	134