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

	Name	Last modified	Size	Description
	Parent Directory		-
	sos_22.p	2024-10-04 18:24	135
	sos_23.p	2024-10-04 18:24	135
	sos_24.p	2024-10-04 18:24	135
	sos_25.p	2024-10-04 18:24	135
	sos_26.p	2024-10-04 18:24	135
	sos_27.p	2024-10-04 18:24	135
	sos_28.p	2024-10-04 18:24	135
	sos_29.p	2024-10-04 18:24	135
	sos_30.p	2024-10-04 18:24	135
	sos_31.p	2024-10-04 18:24	135
	sos_32.p	2024-10-04 18:24	135
	sos_33.p	2024-10-04 18:24	135
	sos_34.p	2024-10-04 18:24	135
	sos_35.p	2024-10-04 18:24	135
	sos_36.p	2024-10-04 18:24	135
	sos_37.p	2024-10-04 18:24	135
	sos_01.p	2024-10-04 18:24	163
	sos_02.p	2024-10-04 18:24	163
	sos_03.p	2024-10-04 18:24	163
	sos_04.p	2024-10-04 18:24	163
	sos_05.p	2024-10-04 18:24	163
	sos_06.p	2024-10-04 18:24	163
	sos_07.p	2024-10-04 18:24	163
	sos_08.p	2024-10-04 18:24	163
	sos_09.p	2024-10-04 18:24	163
	sos_10.p	2024-10-04 18:24	163
	sos_20.p	2024-10-04 18:24	167
	sos_19.p	2024-10-04 18:24	173
	sos_11.p	2024-10-04 18:24	234
	sos_12.p	2024-10-04 18:24	234
	sos_13.p	2024-10-04 18:24	234
	sos_15.p	2024-10-04 18:24	234
	sos_16.p	2024-10-04 18:24	234
	sos_17.p	2024-10-04 18:24	234
	sos_18.p	2024-10-04 18:24	234
	sos_14.p	2024-10-04 18:24	293
	sos_21.p	2024-10-04 18:24	293
	goals_38.p	2024-10-04 18:24	574