Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV551-1.004/VerificationProblems/Vampire-SAT---4.7

	Name	Last modified	Size	Description
	Parent Directory		-
	hyp16.p	2024-10-04 18:33	106
	hyp15.p	2024-10-04 18:33	117
	hyp14.p	2024-10-04 18:33	117
	hyp13.p	2024-10-04 18:33	117
	hyp12.p	2024-10-04 18:33	117
	hyp11.p	2024-10-04 18:33	117
	hyp10.p	2024-10-04 18:33	117
	hyp9.p	2024-10-04 18:33	114
	hyp8.p	2024-10-04 18:33	114
	hyp7.p	2024-10-04 18:33	120
	hyp6.p	2024-10-04 18:33	120
	hyp5.p	2024-10-04 18:33	120
	hyp4.p	2024-10-04 18:33	120
	hyp3.p	2024-10-04 18:33	120
	hyp2.p	2024-10-04 18:33	120
	hyp1.p	2024-10-04 18:33	118
	hyp0.p	2024-10-04 18:33	118
	goal.p	2024-10-04 18:33	102
	a2.p	2024-10-04 18:33	172
	a1.p	2024-10-04 18:33	142