Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT037-2/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	prove_t6_51.p	2024-10-04 18:21	107
	prove_t6_52.p	2024-10-04 18:21	114
	prove_t6_53.p	2024-10-04 18:21	144
	mp_constant_not_decrease_41.p	2024-10-04 18:21	149
	a2_44.p	2024-10-04 18:21	150
	prove_t6_54.p	2024-10-04 18:21	151
	mp_empty_not_decreasing_39.p	2024-10-04 18:21	193
	mp_subpopulations_37.p	2024-10-04 18:21	194
	mp_subpopulations_38.p	2024-10-04 18:21	201
	a7_48.p	2024-10-04 18:21	215
	a7_47.p	2024-10-04 18:21	219
	mp_non_decreasing_33.p	2024-10-04 18:21	232
	a1_43.p	2024-10-04 18:21	240
	a11_49.p	2024-10-04 18:21	243
	mp_non_decreasing_35.p	2024-10-04 18:21	244
	a4_46.p	2024-10-04 18:21	247
	mp_start_of_organizations_32.p	2024-10-04 18:21	247
	a4_45.p	2024-10-04 18:21	250
	mp_non_decreasing_34.p	2024-10-04 18:21	250
	mp_environment_inequality_42.p	2024-10-04 18:21	257
	mp_no_members_36.p	2024-10-04 18:21	262
	a13_50.p	2024-10-04 18:21	271
	mp_previous_negative_growth_30.p	2024-10-04 18:21	275
	mp_efficient_producers_exist_40.p	2024-10-04 18:21	282
	mp_previous_negative_growth_29.p	2024-10-04 18:21	282
	mp_previous_negative_growth_28.p	2024-10-04 18:21	303
	mp_previous_negative_growth_31.p	2024-10-04 18:21	311