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

	Name	Last modified	Size	Description
	Parent Directory		-
	q2_is_q1_plus_b2_2.p	2024-10-04 18:27	122
	q1_is_b0_plus_b1_2.p	2024-10-04 18:27	122
	p2_is_p1_plus_a2_2.p	2024-10-04 18:27	122
	p1_is_a0_plus_a1_2.p	2024-10-04 18:27	122
	q5_is_q4_plus_b5_2.p	2024-10-04 18:27	120
	q4_is_q3_plus_b4_2.p	2024-10-04 18:27	120
	q3_is_q2_plus_b3_2.p	2024-10-04 18:27	120
	p5_is_p4_plus_a5_2.p	2024-10-04 18:27	120
	p4_is_p3_plus_a4_2.p	2024-10-04 18:27	120
	p3_is_p2_plus_a3_2.p	2024-10-04 18:27	120
	q5_is_q4_plus_b5_4.p	2024-10-04 18:27	118
	q5_is_q4_plus_b5_3.p	2024-10-04 18:27	118
	q5_is_q4_plus_b5_1.p	2024-10-04 18:27	118
	q4_is_q3_plus_b4_4.p	2024-10-04 18:27	118
	q4_is_q3_plus_b4_3.p	2024-10-04 18:27	118
	q4_is_q3_plus_b4_1.p	2024-10-04 18:27	118
	q3_is_q2_plus_b3_4.p	2024-10-04 18:27	118
	q3_is_q2_plus_b3_3.p	2024-10-04 18:27	118
	q3_is_q2_plus_b3_1.p	2024-10-04 18:27	118
	q2_is_q1_plus_b2_4.p	2024-10-04 18:27	118
	q2_is_q1_plus_b2_3.p	2024-10-04 18:27	118
	q2_is_q1_plus_b2_1.p	2024-10-04 18:27	118
	q1_is_b0_plus_b1_4.p	2024-10-04 18:27	118
	q1_is_b0_plus_b1_3.p	2024-10-04 18:27	118
	q1_is_b0_plus_b1_1.p	2024-10-04 18:27	118
	p5_is_p4_plus_a5_4.p	2024-10-04 18:27	118
	p5_is_p4_plus_a5_3.p	2024-10-04 18:27	118
	p5_is_p4_plus_a5_1.p	2024-10-04 18:27	118
	p4_is_p3_plus_a4_4.p	2024-10-04 18:27	118
	p4_is_p3_plus_a4_3.p	2024-10-04 18:27	118
	p4_is_p3_plus_a4_1.p	2024-10-04 18:27	118
	p3_is_p2_plus_a3_4.p	2024-10-04 18:27	118
	p3_is_p2_plus_a3_3.p	2024-10-04 18:27	118
	p3_is_p2_plus_a3_1.p	2024-10-04 18:27	118
	p2_is_p1_plus_a2_4.p	2024-10-04 18:27	118
	p2_is_p1_plus_a2_3.p	2024-10-04 18:27	118
	p2_is_p1_plus_a2_1.p	2024-10-04 18:27	118
	p1_is_a0_plus_a1_4.p	2024-10-04 18:27	118
	p1_is_a0_plus_a1_3.p	2024-10-04 18:27	118
	p1_is_a0_plus_a1_1.p	2024-10-04 18:27	118
	a0_not_b0_2.p	2024-10-04 18:27	108
	a5_is_b5_2.p	2024-10-04 18:27	105
	a5_is_b5_1.p	2024-10-04 18:27	105
	a4_is_b4_2.p	2024-10-04 18:27	105
	a4_is_b4_1.p	2024-10-04 18:27	105
	a3_is_b3_2.p	2024-10-04 18:27	105
	a3_is_b3_1.p	2024-10-04 18:27	105
	a2_is_b2_2.p	2024-10-04 18:27	105
	a2_is_b2_1.p	2024-10-04 18:27	105
	a1_is_b1_2.p	2024-10-04 18:27	105
	a1_is_b1_1.p	2024-10-04 18:27	105
	a0_not_b0_1.p	2024-10-04 18:27	104
	equal_sum_2.p	2024-10-04 18:27	99
	equal_sum_1.p	2024-10-04 18:27	99