Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT038+2/VerificationProblems/Vampire-SAT---4.7.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	mp7_first_movers_exist.p	2024-10-04 18:33	142
	mp_greater_or_equal.p	2024-10-04 18:33	185
	a3.p	2024-10-04 18:33	189
	mp_greater_transitivity.p	2024-10-04 18:33	194
	mp_stable_first_movers.p	2024-10-04 18:33	204
	a5.p	2024-10-04 18:33	212
	mp_stable_efficient_producers.p	2024-10-04 18:33	218
	mp_contracting_time.p	2024-10-04 18:33	242
	mp_times_in_environment.p	2024-10-04 18:33	245
	mp_long_stable_environments.p	2024-10-04 18:33	247
	prove_t7.p	2024-10-04 18:33	269
	t6.p	2024-10-04 18:33	270
	mp_contains_FM_and_EP.p	2024-10-04 18:33	344
	l1.p	2024-10-04 18:33	348
	mp_contracts_from.p	2024-10-04 18:33	360
	mp_first_movers_negative_growth.p	2024-10-04 18:33	545