Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT038-1/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	prove_t7_27.p	2024-10-04 18:24	108
	prove_t7_26.p	2024-10-04 18:24	113
	mp7_first_movers_exist_17.p	2024-10-04 18:24	135
	l9_24.p	2024-10-04 18:24	171
	l9_23.p	2024-10-04 18:24	181
	a13_25.p	2024-10-04 18:24	184
	mp_greater_transitivity_22.p	2024-10-04 18:24	186
	mp_contracting_time_19.p	2024-10-04 18:24	189
	mp_stable_first_movers_18.p	2024-10-04 18:24	196
	mp_contracting_time_20.p	2024-10-04 18:24	202
	prove_t7_28.p	2024-10-04 18:24	219
	mp_long_stable_environments_21.p	2024-10-04 18:24	237