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

	Name	Last modified	Size	Description
	Parent Directory		-
	rule_3.p	2024-10-04 18:33	191
	rule_2.p	2024-10-04 18:33	161
	rule_1.p	2024-10-04 18:33	127
	axiom_1_6.p	2024-10-04 18:33	172
	axiom_1_5.p	2024-10-04 18:33	162
	axiom_1_4.p	2024-10-04 18:33	142
	axiom_1_3.p	2024-10-04 18:33	136
	axiom_1_2.p	2024-10-04 18:33	128