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

	Name	Last modified	Size	Description
	Parent Directory		-
	wth.p	2024-10-04 18:21	268
	wtc.p	2024-10-04 18:21	205
	wec.p	2024-10-04 18:21	243
	wca.p	2024-10-04 18:21	210
	uns.p	2024-10-04 18:21	184
	unp.p	2024-10-04 18:21	192
	thm.p	2024-10-04 18:21	171
	tca.p	2024-10-04 18:21	185
	tau.p	2024-10-04 18:21	170
	tac.p	2024-10-04 18:21	179
	sca.p	2024-10-04 18:21	185
	sat.p	2024-10-04 18:21	170
	sap.p	2024-10-04 18:21	180
	noc.p	2024-10-04 18:21	221
	eth.p	2024-10-04 18:21	226
	esa.p	2024-10-04 18:21	181
	eqv.p	2024-10-04 18:21	200
	csa.p	2024-10-04 18:21	175
	cax.p	2024-10-04 18:21	158