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

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