Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT019-2/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	a8_27.p	2024-10-04 18:33	160
	a8_28.p	2024-10-04 18:33	316
	l2_22.p	2024-10-04 18:33	107
	l2_23.p	2024-10-04 18:33	147
	l2_24.p	2024-10-04 18:33	176
	mp_EP_lower_disbanding_rate_25.p	2024-10-04 18:33	372
	mp_greater_or_equal_26.p	2024-10-04 18:33	174
	prove_l1_29.p	2024-10-04 18:33	113
	prove_l1_30.p	2024-10-04 18:33	108
	prove_l1_31.p	2024-10-04 18:33	194
	prove_l1_32.p	2024-10-04 18:33	161
	prove_l1_33.p	2024-10-04 18:33	218