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

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