Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT033-1/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	prove_t2_39.p	2024-10-04 18:28	113
	prove_t2_40.p	2024-10-04 18:28	120
	prove_t2_42.p	2024-10-04 18:28	141
	prove_t2_41.p	2024-10-04 18:28	143
	prove_t2_43.p	2024-10-04 18:28	153
	mp_opening_time_in_duration_31.p	2024-10-04 18:28	178
	mp_no_FM_before_opening_32.p	2024-10-04 18:28	197
	mp_subpopulations_33.p	2024-10-04 18:28	200
	mp_subpopulations_34.p	2024-10-04 18:28	207
	mp_zero_is_not_positive_28.p	2024-10-04 18:28	207
	mp_positive_and_sustains_29.p	2024-10-04 18:28	218
	l13_38.p	2024-10-04 18:28	221
	mp_positive_sum_means_members_26.p	2024-10-04 18:28	231
	mp_FM_means_organisations_35.p	2024-10-04 18:28	233
	a1_36.p	2024-10-04 18:28	246
	a9_37.p	2024-10-04 18:28	248
	mp_positive_sum_means_members_27.p	2024-10-04 18:28	249
	mp_not_present_before_appearance_25.p	2024-10-04 18:28	250
	mp_durations_are_time_intervals_30.p	2024-10-04 18:28	294
	mp2_favour_members_24.p	2024-10-04 18:28	313