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

	Name	Last modified	Size	Description
	Parent Directory		-
	mp_FM_and_EP_members_EP_appeared.p	2024-10-04 18:22	274
	mp_FM_and_EP_when_EP_appears.p	2024-10-04 18:22	288
	mp_no_FM_before_opening.p	2024-10-04 18:22	203
	mp_symmetry_of_FM_and_EP.p	2024-10-04 18:22	269
	mp_durations_are_time_intervals.p	2024-10-04 18:22	302
	mp_positive_growth_rate_difference.p	2024-10-04 18:22	306
	mp_critical_point_means_FM_and_EP.p	2024-10-04 18:22	269
	d1.p	2024-10-04 18:22	407
	l3.p	2024-10-04 18:22	290
	mp_difference_between_founding_rates.p	2024-10-04 18:22	424
	mp1_high_growth_rates.p	2024-10-04 18:22	277
	prove_t3.p	2024-10-04 18:22	322
	mp_decreasing_function.p	2024-10-04 18:22	543
	a10.p	2024-10-04 18:22	373
	mp_opening_time_in_duration.p	2024-10-04 18:22	184
	mp_greater_or_equal.p	2024-10-04 18:22	185
	a11.p	2024-10-04 18:22	285
	mp_relationship_of_growth_rates.p	2024-10-04 18:22	414
	mp_negative_growth_rate_difference.p	2024-10-04 18:22	306