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

	Name	Last modified	Size	Description
	Parent Directory		-
	a1.p	2024-10-04 18:32	246
	a9.p	2024-10-04 18:32	252
	l13.p	2024-10-04 18:32	223
	mp2_favour_members.p	2024-10-04 18:32	318
	mp_FM_means_organisations.p	2024-10-04 18:32	235
	mp_durations_are_time_intervals.p	2024-10-04 18:32	296
	mp_no_FM_before_opening.p	2024-10-04 18:32	197
	mp_not_present_before_appearance.p	2024-10-04 18:32	250
	mp_opening_time_in_duration.p	2024-10-04 18:32	178
	mp_positive_and_sustains.p	2024-10-04 18:32	220
	mp_positive_sum_means_members.p	2024-10-04 18:32	279
	mp_subpopulations.p	2024-10-04 18:32	247
	mp_zero_is_not_positive.p	2024-10-04 18:32	208
	prove_t2.p	2024-10-04 18:32	305