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

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