Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT040+2/VerificationProblems/Vampire-SAT---4.7.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	mp_organizational_sets1.p	2024-10-04 18:24	153
	mp_organizational_sets2.p	2024-10-04 18:24	160
	mp_endpoint_in_environment.p	2024-10-04 18:24	181
	mp_greater_or_equal.p	2024-10-04 18:24	184
	mp_non_empty_means_organisations.p	2024-10-04 18:24	230
	prove_t9.p	2024-10-04 18:24	235
	mp_critical_point_not_before_opening.p	2024-10-04 18:24	244
	mp_appearance_of_EP.p	2024-10-04 18:24	256
	mp6_not_extreme_change_means_not_empty.p	2024-10-04 18:24	258
	mp5_rapid_change_is_non_critical.p	2024-10-04 18:24	282
	t2.p	2024-10-04 18:24	302
	t3.p	2024-10-04 18:24	313
	mp3_favoured_trategy.p	2024-10-04 18:24	413
	mp_selection_favours_in_time.p	2024-10-04 18:24	454