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

	Name	Last modified	Size	Description
	Parent Directory		-
	t3_39.p	2024-10-04 18:33	309
	t2_38.p	2024-10-04 18:33	298
	prove_t9_44.p	2024-10-04 18:33	153
	prove_t9_43.p	2024-10-04 18:33	111
	prove_t9_42.p	2024-10-04 18:33	114
	prove_t9_41.p	2024-10-04 18:33	122
	mp_selection_favours_in_time_35.p	2024-10-04 18:33	400
	mp_selection_favours_in_time_34.p	2024-10-04 18:33	343
	mp_organizational_sets2_29.p	2024-10-04 18:33	153
	mp_organizational_sets1_28.p	2024-10-04 18:33	146
	mp_non_empty_means_organisations_32.p	2024-10-04 18:33	218
	mp_greater_or_equal_36.p	2024-10-04 18:33	174
	mp_endpoint_in_environment_30.p	2024-10-04 18:33	175
	mp_critical_point_not_before_opening_31.p	2024-10-04 18:33	232
	mp_appearance_of_EP_37.p	2024-10-04 18:33	244
	mp_appearance_before_end_holds_33.p	2024-10-04 18:33	253
	mp6_not_extreme_change_means_not_empty_27.p	2024-10-04 18:33	241
	mp5_rapid_change_is_non_critical_26.p	2024-10-04 18:33	269
	mp3_favoured_trategy_25.p	2024-10-04 18:33	358
	mp3_favoured_trategy_24.p	2024-10-04 18:33	313
	mp3_favoured_trategy_23.p	2024-10-04 18:33	308
	l13_40.p	2024-10-04 18:33	221