Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT033-2/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	a1_42.p	2024-10-04 18:33	240
	a3_43.p	2024-10-04 18:33	177
	a11_44.p	2024-10-04 18:33	243
	mp2_favour_members_24.p	2024-10-04 18:33	307
	mp_FM_means_organisations_33.p	2024-10-04 18:33	227
	mp_FM_not_precede_first_34.p	2024-10-04 18:33	203
	mp_durations_are_time_intervals_30.p	2024-10-04 18:33	288
	mp_greater_or_equal_39.p	2024-10-04 18:33	168
	mp_greater_or_equal_40.p	2024-10-04 18:33	160
	mp_greater_or_equal_41.p	2024-10-04 18:33	152
	mp_greater_transitivity_38.p	2024-10-04 18:33	180
	mp_no_FM_before_opening_32.p	2024-10-04 18:33	191
	mp_not_present_before_appearance_28.p	2024-10-04 18:33	244
	mp_number_mean_non_empty_25.p	2024-10-04 18:33	220
	mp_number_mean_non_empty_26.p	2024-10-04 18:33	238
	mp_opening_time_in_duration_31.p	2024-10-04 18:33	172
	mp_positive_and_sustains_29.p	2024-10-04 18:33	212
	mp_positive_number_when_appear_35.p	2024-10-04 18:33	210
	mp_subpopulations_36.p	2024-10-04 18:33	194
	mp_subpopulations_37.p	2024-10-04 18:33	201
	mp_zero_is_not_positive_27.p	2024-10-04 18:33	201
	prove_t2_45.p	2024-10-04 18:33	107
	prove_t2_46.p	2024-10-04 18:33	114
	prove_t2_47.p	2024-10-04 18:33	137
	prove_t2_48.p	2024-10-04 18:33	135
	prove_t2_49.p	2024-10-04 18:33	147