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

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