Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/KRS176+1/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	wth.p	2024-10-04 18:21	262
	wtc.p	2024-10-04 18:21	199
	wec.p	2024-10-04 18:21	237
	wca.p	2024-10-04 18:21	204
	uns.p	2024-10-04 18:21	178
	unp.p	2024-10-04 18:21	186
	thm.p	2024-10-04 18:21	165
	tca.p	2024-10-04 18:21	179
	tau.p	2024-10-04 18:21	164
	tac.p	2024-10-04 18:21	173
	sca.p	2024-10-04 18:21	179
	sat.p	2024-10-04 18:21	164
	sap.p	2024-10-04 18:21	174
	noc.p	2024-10-04 18:21	215
	eth.p	2024-10-04 18:21	220
	esa.p	2024-10-04 18:21	175
	eqv.p	2024-10-04 18:21	194
	csa.p	2024-10-04 18:21	169
	cax.p	2024-10-04 18:21	152