Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT019+2/VerificationProblems/iProver-SAT---3.7.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	mp_greater_or_equal.p	2024-10-04 18:33	184
	l2.p	2024-10-04 18:33	280
	prove_l1.p	2024-10-04 18:33	357
	a8.p	2024-10-04 18:33	361
	mp_EP_lower_disbanding_rate.p	2024-10-04 18:33	380