Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT034-1/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	d1_52.p	2024-10-04 18:21	302
	mp_opening_time_in_duration_42.p	2024-10-04 18:21	172
	a10_50.p	2024-10-04 18:21	359
	mp_critical_point_means_FM_and_EP_33.p	2024-10-04 18:21	255
	mp_greater_or_equal_46.p	2024-10-04 18:21	168
	mp_durations_are_time_intervals_41.p	2024-10-04 18:21	288
	mp_FM_and_EP_when_EP_appears_34.p	2024-10-04 18:21	274
	mp_greater_or_equal_47.p	2024-10-04 18:21	160
	mp_negative_growth_rate_difference_37.p	2024-10-04 18:21	293
	prove_t3_57.p	2024-10-04 18:21	123
	d1_51.p	2024-10-04 18:21	222
	mp_negative_growth_rate_difference_38.p	2024-10-04 18:21	293
	mp_relationship_of_growth_rates_49.p	2024-10-04 18:21	398
	mp_positive_growth_rate_difference_40.p	2024-10-04 18:21	293
	mp_greater_or_equal_48.p	2024-10-04 18:21	152
	mp_decreasing_function_35.p	2024-10-04 18:21	527
	prove_t3_56.p	2024-10-04 18:21	144
	mp_no_FM_before_opening_43.p	2024-10-04 18:21	191
	mp_positive_growth_rate_difference_39.p	2024-10-04 18:21	293
	mp_symmetry_of_FM_and_EP_44.p	2024-10-04 18:21	255
	l3_32.p	2024-10-04 18:21	276
	prove_t3_55.p	2024-10-04 18:21	130
	a11_53.p	2024-10-04 18:21	271
	mp_difference_between_founding_rates_36.p	2024-10-04 18:21	406
	prove_t3_58.p	2024-10-04 18:21	147
	prove_t3_54.p	2024-10-04 18:21	107
	mp_FM_and_EP_members_EP_appeared_45.p	2024-10-04 18:21	260
	mp1_high_growth_rates_31.p	2024-10-04 18:21	257