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

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