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

	Name	Last modified	Size	Description
	Parent Directory		-
	subfield_diagonal_11.p	2024-10-04 18:32	189
	subfield_diagonal_12.p	2024-10-04 18:32	192
	value_somewhere_in_subfield.p	2024-10-04 18:32	329
	dom_5_not_9.p	2024-10-04 18:32	147
	subfield_diagonal_8.p	2024-10-04 18:32	191
	dom_4_not_6.p	2024-10-04 18:32	135
	c15.p	2024-10-04 18:32	155
	subfield_4_1.p	2024-10-04 18:32	128
	dom_3_not_9.p	2024-10-04 18:32	141
	subfield_1_4.p	2024-10-04 18:32	128
	dom_5_not_7.p	2024-10-04 18:32	141
	number_in_each_position.p	2024-10-04 18:32	400
	dom_5_not_6.p	2024-10-04 18:32	138
	subfield_7_4.p	2024-10-04 18:32	146
	value_somewhere_in_row.p	2024-10-04 18:32	399
	subfield_1_7.p	2024-10-04 18:32	137
	dom_4.p	2024-10-04 18:32	110
	subfield_diagonal_9.p	2024-10-04 18:32	185
	dom_1_not_9.p	2024-10-04 18:32	135
	subfield_1_1.p	2024-10-04 18:32	119
	dom_4_not_5.p	2024-10-04 18:32	132
	subfield_7_1.p	2024-10-04 18:32	137
	subfield_diagonal_3.p	2024-10-04 18:32	185
	dom_2_not_9.p	2024-10-04 18:32	138
	c14.p	2024-10-04 18:32	155
	value_somewhere_in_column.p	2024-10-04 18:32	402
	c06.p	2024-10-04 18:32	125
	dom_3_not_5.p	2024-10-04 18:32	129
	dom_2_not_6.p	2024-10-04 18:32	129
	subfield_diagonal_13.p	2024-10-04 18:32	189
	dom_3_not_8.p	2024-10-04 18:32	138
	no_duplicates_in_a_column.p	2024-10-04 18:32	183
	dom_2_not_4.p	2024-10-04 18:32	123
	only_one_number_in_each_position.p	2024-10-04 18:32	190
	dom_3_not_4.p	2024-10-04 18:32	126
	c17.p	2024-10-04 18:32	167
	dom_4_not_8.p	2024-10-04 18:32	141
	subfield_diagonal_14.p	2024-10-04 18:32	192
	c01.p	2024-10-04 18:32	128
	subfield_diagonal_15.p	2024-10-04 18:32	189
	subfield_diagonal_1.p	2024-10-04 18:32	182
	subfield_diagonal_10.p	2024-10-04 18:32	189
	c04.p	2024-10-04 18:32	128
	c11.p	2024-10-04 18:32	137
	c02.p	2024-10-04 18:32	140
	dom_3.p	2024-10-04 18:32	107
	c10.p	2024-10-04 18:32	155
	dom_5.p	2024-10-04 18:32	113
	dom_3_not_6.p	2024-10-04 18:32	132
	dom_1_not_7.p	2024-10-04 18:32	129
	subfield_diagonal_7.p	2024-10-04 18:32	185
	dom_2.p	2024-10-04 18:32	104
	dom_3_not_7.p	2024-10-04 18:32	135
	dom_2_not_3.p	2024-10-04 18:32	120
	subfield_4_4.p	2024-10-04 18:32	137
	dom_6_not_7.p	2024-10-04 18:32	144
	dom_7.p	2024-10-04 18:32	119
	c13.p	2024-10-04 18:32	158
	c12.p	2024-10-04 18:32	143
	dom_7_not_9.p	2024-10-04 18:32	153
	subfield_diagonal_6.p	2024-10-04 18:32	188
	dom_2_not_7.p	2024-10-04 18:32	132
	dom_7_not_8.p	2024-10-04 18:32	150
	dom_4_not_7.p	2024-10-04 18:32	138
	dom_1_not_2.p	2024-10-04 18:32	114
	dom_9.p	2024-10-04 18:32	125
	dom_1_not_6.p	2024-10-04 18:32	126
	dom_1_not_3.p	2024-10-04 18:32	117
	c03.p	2024-10-04 18:32	128
	dom_2_not_8.p	2024-10-04 18:32	135
	subfield_7_7.p	2024-10-04 18:32	155
	dom_5_not_8.p	2024-10-04 18:32	144
	dom_6_not_8.p	2024-10-04 18:32	147
	dom_1_not_4.p	2024-10-04 18:32	120
	subfield_diagonal_16.p	2024-10-04 18:32	195
	c07.p	2024-10-04 18:32	161
	dom_8_not_9.p	2024-10-04 18:32	156
	subfield_diagonal_4.p	2024-10-04 18:32	188
	dom_8.p	2024-10-04 18:32	122
	dom_1_not_5.p	2024-10-04 18:32	123
	subfield_4_7.p	2024-10-04 18:32	146
	subfield_diagonal_2.p	2024-10-04 18:32	185
	no_duplicates_in_a_row.p	2024-10-04 18:32	180
	dom_2_not_5.p	2024-10-04 18:32	126
	dom_1.p	2024-10-04 18:32	101
	dom_6_not_9.p	2024-10-04 18:32	150
	subfield_diagonal_5.p	2024-10-04 18:32	182
	dom_4_not_9.p	2024-10-04 18:32	144
	dom_1_not_8.p	2024-10-04 18:32	132
	c05.p	2024-10-04 18:32	125
	subfield_diagonal_17.p	2024-10-04 18:32	192
	c09.p	2024-10-04 18:32	131
	c08.p	2024-10-04 18:32	134
	subfield_diagonal_18.p	2024-10-04 18:32	195
	dom_6.p	2024-10-04 18:32	116
	c16.p	2024-10-04 18:32	131