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

	Name	Last modified	Size	Description
	Parent Directory		-
	prove_t7_28.p	2024-10-04 18:34	232
	prove_t7_27.p	2024-10-04 18:34	116
	prove_t7_26.p	2024-10-04 18:34	121
	mp_stable_first_movers_18.p	2024-10-04 18:34	224
	mp_long_stable_environments_21.p	2024-10-04 18:34	289
	mp_greater_transitivity_22.p	2024-10-04 18:34	214
	mp_contracting_time_20.p	2024-10-04 18:34	225
	mp_contracting_time_19.p	2024-10-04 18:34	217
	mp7_first_movers_exist_17.p	2024-10-04 18:34	143
	l9_24.p	2024-10-04 18:34	199
	l9_23.p	2024-10-04 18:34	209
	ifeq_axiom_001.p	2024-10-04 18:34	142
	ifeq_axiom.p	2024-10-04 18:34	139
	a13_25.p	2024-10-04 18:34	200