Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/NUM285-1/VerificationProblems/E-SAT---3.0

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