Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT034-1/VerificationProblems/Vampire-SAT---4.7

	Name	Last modified	Size	Description
	Parent Directory		-
	d1_52.p	2024-10-04 18:21	308
	mp_opening_time_in_duration_42.p	2024-10-04 18:21	178
	a10_50.p	2024-10-04 18:21	365
	mp_critical_point_means_FM_and_EP_33.p	2024-10-04 18:21	261
	mp_greater_or_equal_46.p	2024-10-04 18:21	174
	mp_durations_are_time_intervals_41.p	2024-10-04 18:21	294
	mp_FM_and_EP_when_EP_appears_34.p	2024-10-04 18:21	280
	mp_greater_or_equal_47.p	2024-10-04 18:21	166
	mp_negative_growth_rate_difference_37.p	2024-10-04 18:21	299
	prove_t3_57.p	2024-10-04 18:21	129
	d1_51.p	2024-10-04 18:21	228
	mp_negative_growth_rate_difference_38.p	2024-10-04 18:21	299
	mp_relationship_of_growth_rates_49.p	2024-10-04 18:21	404
	mp_positive_growth_rate_difference_40.p	2024-10-04 18:21	299
	mp_greater_or_equal_48.p	2024-10-04 18:21	158
	mp_decreasing_function_35.p	2024-10-04 18:21	533
	prove_t3_56.p	2024-10-04 18:21	150
	mp_no_FM_before_opening_43.p	2024-10-04 18:21	197
	mp_positive_growth_rate_difference_39.p	2024-10-04 18:21	299
	mp_symmetry_of_FM_and_EP_44.p	2024-10-04 18:21	261
	l3_32.p	2024-10-04 18:21	282
	prove_t3_55.p	2024-10-04 18:21	136
	a11_53.p	2024-10-04 18:21	277
	mp_difference_between_founding_rates_36.p	2024-10-04 18:21	412
	prove_t3_58.p	2024-10-04 18:21	153
	prove_t3_54.p	2024-10-04 18:21	113
	mp_FM_and_EP_members_EP_appeared_45.p	2024-10-04 18:21	266
	mp1_high_growth_rates_31.p	2024-10-04 18:21	263