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

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