Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/GRP129-3.005/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	product_total_function1.p	2024-10-04 18:29	261
	cycle5.p	2024-10-04 18:29	232
	cycle4.p	2024-10-04 18:29	227
	cycle7.p	2024-10-04 18:29	211
	product_right_cancellation.p	2024-10-04 18:29	197
	product_left_cancellation.p	2024-10-04 18:29	196
	cycle2.p	2024-10-04 18:29	195
	product_total_function2.p	2024-10-04 18:29	194
	qg3.p	2024-10-04 18:29	182
	cycle6.p	2024-10-04 18:29	162
	cycle1.p	2024-10-04 18:29	161
	e_5_is_not_e_4.p	2024-10-04 18:29	117
	e_5_is_not_e_3.p	2024-10-04 18:29	117
	e_5_is_not_e_2.p	2024-10-04 18:29	117
	e_5_is_not_e_1.p	2024-10-04 18:29	117
	e_4_is_not_e_5.p	2024-10-04 18:29	117
	e_4_is_not_e_3.p	2024-10-04 18:29	117
	e_4_is_not_e_2.p	2024-10-04 18:29	117
	e_4_is_not_e_1.p	2024-10-04 18:29	117
	e_3_is_not_e_5.p	2024-10-04 18:29	117
	e_3_is_not_e_4.p	2024-10-04 18:29	117
	e_3_is_not_e_2.p	2024-10-04 18:29	117
	e_3_is_not_e_1.p	2024-10-04 18:29	117
	e_2_is_not_e_5.p	2024-10-04 18:29	117
	e_2_is_not_e_4.p	2024-10-04 18:29	117
	e_2_is_not_e_3.p	2024-10-04 18:29	117
	e_2_is_not_e_1.p	2024-10-04 18:29	117
	e_1_is_not_e_5.p	2024-10-04 18:29	117
	e_1_is_not_e_4.p	2024-10-04 18:29	117
	e_1_is_not_e_3.p	2024-10-04 18:29	117
	e_1_is_not_e_2.p	2024-10-04 18:29	117
	e_5_greater_e_4.p	2024-10-04 18:29	115
	e_5_greater_e_3.p	2024-10-04 18:29	115
	e_5_greater_e_2.p	2024-10-04 18:29	115
	e_5_greater_e_1.p	2024-10-04 18:29	115
	e_5_greater_e_0.p	2024-10-04 18:29	115
	e_4_greater_e_3.p	2024-10-04 18:29	115
	e_4_greater_e_2.p	2024-10-04 18:29	115
	e_4_greater_e_1.p	2024-10-04 18:29	115
	e_4_greater_e_0.p	2024-10-04 18:29	115
	e_3_greater_e_2.p	2024-10-04 18:29	115
	e_3_greater_e_1.p	2024-10-04 18:29	115
	e_3_greater_e_0.p	2024-10-04 18:29	115
	e_2_greater_e_1.p	2024-10-04 18:29	115
	e_2_greater_e_0.p	2024-10-04 18:29	115
	e_1_greater_e_0.p	2024-10-04 18:29	115
	element_5.p	2024-10-04 18:29	111
	element_4.p	2024-10-04 18:29	111
	element_3.p	2024-10-04 18:29	111
	element_2.p	2024-10-04 18:29	111
	element_1.p	2024-10-04 18:29	111
	e_4_then_e_5.p	2024-10-04 18:29	109
	e_3_then_e_4.p	2024-10-04 18:29	109
	e_2_then_e_3.p	2024-10-04 18:29	109
	e_1_then_e_2.p	2024-10-04 18:29	109
	e_0_then_e_1.p	2024-10-04 18:29	109
	cycle3.p	2024-10-04 18:29	104