Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/NUM449+1/VerificationProblems/iProver-SAT---3.7.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	m__2117.p	2024-10-04 18:30	116
	m__2079.p	2024-10-04 18:30	134
	m__2046.p	2024-10-04 18:30	114
	m__.p	2024-10-04 18:30	127
	mZeroDiv.p	2024-10-04 18:30	218
	mUnionSet.p	2024-10-04 18:30	355
	mUnionSClosed.p	2024-10-04 18:30	259
	mUnionOpen.p	2024-10-04 18:30	236
	mUnionClosed.p	2024-10-04 18:30	245
	mUnion.p	2024-10-04 18:30	334
	mSubset.p	2024-10-04 18:30	233
	mSets.p	2024-10-04 18:30	132
	mPrimeDivisor.p	2024-10-04 18:30	229
	mPrime.p	2024-10-04 18:30	174
	mOpen.p	2024-10-04 18:30	280
	mMulZero.p	2024-10-04 18:30	189
	mMulOne.p	2024-10-04 18:30	184
	mMulMinOne.p	2024-10-04 18:30	219
	mMulComm.p	2024-10-04 18:30	196
	mMulAsso.p	2024-10-04 18:30	247
	mIntersection.p	2024-10-04 18:30	337
	mInterOpen.p	2024-10-04 18:30	237
	mIntegers.p	2024-10-04 18:30	140
	mIntZero.p	2024-10-04 18:30	119
	mIntPlus.p	2024-10-04 18:30	189
	mIntOne.p	2024-10-04 18:30	118
	mIntNeg.p	2024-10-04 18:30	154
	mIntMult.p	2024-10-04 18:30	189
	mFinSet.p	2024-10-04 18:30	155
	mEquModTrn.p	2024-10-04 18:30	333
	mEquModSym.p	2024-10-04 18:30	271
	mEquModRef.p	2024-10-04 18:30	208
	mEquModMul.p	2024-10-04 18:30	359
	mEquMod.p	2024-10-04 18:30	278
	mElements.p	2024-10-04 18:30	171
	mDivisor.p	2024-10-04 18:30	252
	mDistrib.p	2024-10-04 18:30	339
	mComplement.p	2024-10-04 18:30	270
	mClosed.p	2024-10-04 18:30	182
	mArSeqClosed.p	2024-10-04 18:30	275
	mArSeq.p	2024-10-04 18:30	328
	mAddZero.p	2024-10-04 18:30	185
	mAddNeg.p	2024-10-04 18:30	200
	mAddComm.p	2024-10-04 18:30	196
	mAddAsso.p	2024-10-04 18:30	247