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

	Name	Last modified	Size	Description
	Parent Directory		-
	a10.p	2024-10-04 18:22	367
	a11.p	2024-10-04 18:22	279
	d1.p	2024-10-04 18:22	401
	l3.p	2024-10-04 18:22	284
	mp1_high_growth_rates.p	2024-10-04 18:22	271
	mp_FM_and_EP_members_EP_appeared.p	2024-10-04 18:22	268
	mp_FM_and_EP_when_EP_appears.p	2024-10-04 18:22	282
	mp_critical_point_means_FM_and_EP.p	2024-10-04 18:22	263
	mp_decreasing_function.p	2024-10-04 18:22	537
	mp_difference_between_founding_rates.p	2024-10-04 18:22	418
	mp_durations_are_time_intervals.p	2024-10-04 18:22	296
	mp_greater_or_equal.p	2024-10-04 18:22	179
	mp_negative_growth_rate_difference.p	2024-10-04 18:22	300
	mp_no_FM_before_opening.p	2024-10-04 18:22	197
	mp_opening_time_in_duration.p	2024-10-04 18:22	178
	mp_positive_growth_rate_difference.p	2024-10-04 18:22	300
	mp_relationship_of_growth_rates.p	2024-10-04 18:22	408
	mp_symmetry_of_FM_and_EP.p	2024-10-04 18:22	263
	prove_t3.p	2024-10-04 18:22	316