Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/GRP123-8.004/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	qg1a.p	2024-10-04 18:33	185
	product2_total_function2.p	2024-10-04 18:33	197
	product2_total_function1.p	2024-10-04 18:33	247
	product2_right_cancellation.p	2024-10-04 18:33	200
	product2_left_cancellation.p	2024-10-04 18:33	199
	product2_idempotence.p	2024-10-04 18:33	127
	product1_total_function2.p	2024-10-04 18:33	197
	product1_total_function1.p	2024-10-04 18:33	247
	product1_right_cancellation.p	2024-10-04 18:33	200
	product1_left_cancellation.p	2024-10-04 18:33	199
	product1_idempotence.p	2024-10-04 18:33	127
	element_4.p	2024-10-04 18:33	111
	element_3.p	2024-10-04 18:33	111
	element_2.p	2024-10-04 18:33	111
	element_1.p	2024-10-04 18:33	111
	e_4_is_not_e_3.p	2024-10-04 18:33	117
	e_4_is_not_e_2.p	2024-10-04 18:33	117
	e_4_is_not_e_1.p	2024-10-04 18:33	117
	e_4_greater_e_3.p	2024-10-04 18:33	115
	e_4_greater_e_2.p	2024-10-04 18:33	115
	e_4_greater_e_1.p	2024-10-04 18:33	115
	e_4_greater_e_0.p	2024-10-04 18:33	115
	e_3_then_e_4.p	2024-10-04 18:33	109
	e_3_is_not_e_4.p	2024-10-04 18:33	117
	e_3_is_not_e_2.p	2024-10-04 18:33	117
	e_3_is_not_e_1.p	2024-10-04 18:33	117
	e_3_greater_e_2.p	2024-10-04 18:33	115
	e_3_greater_e_1.p	2024-10-04 18:33	115
	e_3_greater_e_0.p	2024-10-04 18:33	115
	e_2_then_e_3.p	2024-10-04 18:33	109
	e_2_is_not_e_4.p	2024-10-04 18:33	117
	e_2_is_not_e_3.p	2024-10-04 18:33	117
	e_2_is_not_e_1.p	2024-10-04 18:33	117
	e_2_greater_e_1.p	2024-10-04 18:33	115
	e_2_greater_e_0.p	2024-10-04 18:33	115
	e_1_then_e_2.p	2024-10-04 18:33	109
	e_1_is_not_e_4.p	2024-10-04 18:33	117
	e_1_is_not_e_3.p	2024-10-04 18:33	117
	e_1_is_not_e_2.p	2024-10-04 18:33	117
	e_1_greater_e_0.p	2024-10-04 18:33	115
	e_0_then_e_1.p	2024-10-04 18:33	109
	cycle7.p	2024-10-04 18:33	211
	cycle6.p	2024-10-04 18:33	162
	cycle5.p	2024-10-04 18:33	232
	cycle4.p	2024-10-04 18:33	227
	cycle3.p	2024-10-04 18:33	104
	cycle2.p	2024-10-04 18:33	180
	cycle1.p	2024-10-04 18:33	161