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

	Name	Last modified	Size	Description
	Parent Directory		-
	goals_86.p	2024-10-04 18:22	176
	sos_01.p	2024-10-04 18:22	163
	sos_02.p	2024-10-04 18:22	163
	sos_03.p	2024-10-04 18:22	163
	sos_04.p	2024-10-04 18:22	163
	sos_05.p	2024-10-04 18:22	163
	sos_06.p	2024-10-04 18:22	163
	sos_07.p	2024-10-04 18:22	163
	sos_08.p	2024-10-04 18:22	163
	sos_09.p	2024-10-04 18:22	163
	sos_10.p	2024-10-04 18:22	637
	sos_11.p	2024-10-04 18:22	234
	sos_12.p	2024-10-04 18:22	640
	sos_13.p	2024-10-04 18:22	234
	sos_14.p	2024-10-04 18:22	640
	sos_15.p	2024-10-04 18:22	234
	sos_16.p	2024-10-04 18:22	640
	sos_17.p	2024-10-04 18:22	640
	sos_18.p	2024-10-04 18:22	234
	sos_19.p	2024-10-04 18:22	234
	sos_20.p	2024-10-04 18:22	234
	sos_21.p	2024-10-04 18:22	234
	sos_22.p	2024-10-04 18:22	640
	sos_23.p	2024-10-04 18:22	234
	sos_24.p	2024-10-04 18:22	167
	sos_25.p	2024-10-04 18:22	640
	sos_26.p	2024-10-04 18:22	135
	sos_27.p	2024-10-04 18:22	135
	sos_28.p	2024-10-04 18:22	135
	sos_29.p	2024-10-04 18:22	135
	sos_30.p	2024-10-04 18:22	135
	sos_31.p	2024-10-04 18:22	135
	sos_32.p	2024-10-04 18:22	135
	sos_33.p	2024-10-04 18:22	135
	sos_34.p	2024-10-04 18:22	135
	sos_35.p	2024-10-04 18:22	135
	sos_36.p	2024-10-04 18:22	135
	sos_37.p	2024-10-04 18:22	135
	sos_38.p	2024-10-04 18:22	168
	sos_39.p	2024-10-04 18:22	168
	sos_40.p	2024-10-04 18:22	168
	sos_41.p	2024-10-04 18:22	168
	sos_42.p	2024-10-04 18:22	168
	sos_43.p	2024-10-04 18:22	168
	sos_44.p	2024-10-04 18:22	171
	sos_45.p	2024-10-04 18:22	171
	sos_46.p	2024-10-04 18:22	171
	sos_47.p	2024-10-04 18:22	171
	sos_48.p	2024-10-04 18:22	171
	sos_49.p	2024-10-04 18:22	171
	sos_50.p	2024-10-04 18:22	171
	sos_51.p	2024-10-04 18:22	171
	sos_52.p	2024-10-04 18:22	171
	sos_53.p	2024-10-04 18:22	171
	sos_54.p	2024-10-04 18:22	171
	sos_55.p	2024-10-04 18:22	171
	sos_56.p	2024-10-04 18:22	171
	sos_57.p	2024-10-04 18:22	171
	sos_58.p	2024-10-04 18:22	171
	sos_59.p	2024-10-04 18:22	171
	sos_60.p	2024-10-04 18:22	171
	sos_61.p	2024-10-04 18:22	171
	sos_62.p	2024-10-04 18:22	171
	sos_63.p	2024-10-04 18:22	171
	sos_64.p	2024-10-04 18:22	171
	sos_65.p	2024-10-04 18:22	171
	sos_66.p	2024-10-04 18:22	171
	sos_67.p	2024-10-04 18:22	171
	sos_68.p	2024-10-04 18:22	171
	sos_69.p	2024-10-04 18:22	171
	sos_70.p	2024-10-04 18:22	171
	sos_71.p	2024-10-04 18:22	171
	sos_72.p	2024-10-04 18:22	171
	sos_73.p	2024-10-04 18:22	171
	sos_74.p	2024-10-04 18:22	171
	sos_75.p	2024-10-04 18:22	171
	sos_76.p	2024-10-04 18:22	171
	sos_77.p	2024-10-04 18:22	171
	sos_78.p	2024-10-04 18:22	171
	sos_79.p	2024-10-04 18:22	171
	sos_80.p	2024-10-04 18:22	171
	sos_81.p	2024-10-04 18:22	171
	sos_82.p	2024-10-04 18:22	171
	sos_83.p	2024-10-04 18:22	171
	sos_84.p	2024-10-04 18:22	200
	sos_85.p	2024-10-04 18:22	335