Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT037-2/VerificationProblems/Vampire-SAT---4.7

	Name	Last modified	Size	Description
	Parent Directory		-
	a7_48.p	2024-10-04 18:21	221
	mp_subpopulations_37.p	2024-10-04 18:21	200
	a11_49.p	2024-10-04 18:21	249
	mp_subpopulations_38.p	2024-10-04 18:21	207
	prove_t6_53.p	2024-10-04 18:21	150
	mp_previous_negative_growth_31.p	2024-10-04 18:21	317
	mp_efficient_producers_exist_40.p	2024-10-04 18:21	288
	prove_t6_52.p	2024-10-04 18:21	120
	mp_non_decreasing_35.p	2024-10-04 18:21	250
	mp_constant_not_decrease_41.p	2024-10-04 18:21	155
	a1_43.p	2024-10-04 18:21	246
	mp_environment_inequality_42.p	2024-10-04 18:21	263
	mp_empty_not_decreasing_39.p	2024-10-04 18:21	199
	mp_non_decreasing_33.p	2024-10-04 18:21	238
	mp_previous_negative_growth_28.p	2024-10-04 18:21	309
	prove_t6_54.p	2024-10-04 18:21	157
	mp_previous_negative_growth_30.p	2024-10-04 18:21	281
	a4_46.p	2024-10-04 18:21	253
	mp_no_members_36.p	2024-10-04 18:21	268
	a2_44.p	2024-10-04 18:21	156
	mp_previous_negative_growth_29.p	2024-10-04 18:21	288
	mp_non_decreasing_34.p	2024-10-04 18:21	256
	a13_50.p	2024-10-04 18:21	277
	a4_45.p	2024-10-04 18:21	256
	prove_t6_51.p	2024-10-04 18:21	113
	a7_47.p	2024-10-04 18:21	225
	mp_start_of_organizations_32.p	2024-10-04 18:21	253