Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ016-2.004/VerificationProblems/iProver-SAT---3.7

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