Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT031-1/VerificationProblems/Vampire-SAT---4.7

	Name	Last modified	Size	Description
	Parent Directory		-
	a9_30.p	2024-10-04 18:29	248
	a13_31.p	2024-10-04 18:29	184
	mp_FM_not_precede_first_25.p	2024-10-04 18:29	209
	mp_greater_or_equal_27.p	2024-10-04 18:29	174
	mp_greater_or_equal_28.p	2024-10-04 18:29	166
	mp_greater_or_equal_29.p	2024-10-04 18:29	158
	mp_greater_transitivity_26.p	2024-10-04 18:29	186
	mp_no_EP_before_appearance_23.p	2024-10-04 18:29	281
	mp_no_FM_before_appearance_24.p	2024-10-04 18:29	267
	mp_number_mean_non_empty_21.p	2024-10-04 18:29	226
	mp_number_mean_non_empty_22.p	2024-10-04 18:29	244
	mp_positive_number_when_appear_20.p	2024-10-04 18:29	216
	prove_l13_32.p	2024-10-04 18:29	114
	prove_l13_33.p	2024-10-04 18:29	145
	prove_l13_34.p	2024-10-04 18:29	153