Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT019-2/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	mp_EP_lower_disbanding_rate_25.p	2024-10-04 18:33	366
	a8_28.p	2024-10-04 18:33	310
	prove_l1_33.p	2024-10-04 18:33	212
	prove_l1_31.p	2024-10-04 18:33	188
	l2_24.p	2024-10-04 18:33	170
	mp_greater_or_equal_26.p	2024-10-04 18:33	168
	prove_l1_32.p	2024-10-04 18:33	155
	a8_27.p	2024-10-04 18:33	154
	l2_23.p	2024-10-04 18:33	141
	prove_l1_29.p	2024-10-04 18:33	107
	prove_l1_30.p	2024-10-04 18:33	102
	l2_22.p	2024-10-04 18:33	101