Surefire Report

Summary

Tests	Errors	Failures	Skipped	Success Rate	Time
865	0	0	0	100%	31.639

Note: failures are anticipated and checked for with assertions while errors are unanticipated.

Package List

[Summary] [Package List] [Test Cases]

Package	Tests	Success Rate	Time
org.sat4j.minisat.core	29	100%	6.356
org.sat4j.tools	92	100%	3.626
org.sat4j.core	37	100%	0.706
org.sat4j.minisat.constraints	5	100%	0.046
org.sat4j.minisat	635	100%	11.096
org.sat4j	67	100%	9.809

Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.

org.sat4j.minisat.core

Class	Tests	Success Rate	Time
TestPrimeComputation	4	100%	0.131
CircularBufferTest	1	100%	0.083
HeapTest	8	100%	0.046
TestGroupedTimeoutModelEnumeration	3	100%	5.937
QueueTest	4	100%	0.037
TestAtMost	6	100%	0.086
LboolTest	3	100%	0.036

org.sat4j.tools

Class	Tests	Success Rate	Time
RemiUtilsTest	1	100%	0.117
TestClausalCardinalitiesLadderEncoding	9	100%	0.406
TestClausalCardinalitiesBinomialEncoding	6	100%	0.183
TestClausalCardinalitiesBinaryEncoding	6	100%	0.199
TestClausalCardinalitiesProductEncoding	9	100%	0.416
TestAllMUSesAndCheckTest	14	100%	0.41
TestGateTranslator	1	100%	0.118
TestAllMUSes	14	100%	0.322
TestClausalCardinalitiesCommanderEncoding	9	100%	0.425
TestClausalCardinalitiesSequentialEncoding	9	100%	0.462
NegationDecoratorTest	2	100%	0.134
BackboneTest	4	100%	0.135
TestCheckItIsAMUS	2	100%	0.129
TestAllMUSesGroupTest	6	100%	0.17

org.sat4j.core

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	JsonReaderTest	12	0	0	0	100%	0.641
	VecTest	25	0	0	0	100%	0.065

org.sat4j.minisat.constraints

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	LitTest	5	0	0	0	100%	0.046

org.sat4j.minisat

Class	Tests	Success Rate	Time
M2BackjumpingTest	98	100%	2.408
M2CardMaxYannTest	98	100%	2.415
M2CardMinYannTest	98	100%	1.929
VarOrderTest	9	100%	0.06
TestsFonctionnels	13	100%	0.154
TestAssertion	1	100%	0.037
M2MiniSATTest	98	100%	1
GenericM2Test	23	100%	0.93
M2MiniLearningTest	98	100%	0.961
TestLubyFunction	1	100%	0.072
M2AtLeastTest	98	100%	1.13

org.sat4j

Class	Tests	Success Rate	Time
TestSatAssumps	3	100%	2.28
TestFreeId	3	100%	0.122
TestQuickXplain	9	100%	0.194
TestInsertionXplain	9	100%	0.205
TestQuickXplain2001	9	100%	0.192
TestDeletionXplain	9	100%	0.179
TestConstrGroup	6	100%	0.136
SingleSolutionTest	4	100%	0.1
ModelIteratorTest	10	100%	6.255
TestSolverEngine	5	100%	0.146

Test Cases

[Summary] [Package List] [Test Cases]

M2BackjumpingTest

	testJNH8	0.087
	testAim50SAT7	0.01
	testAim50SAT8	0.012
	testAim50SAT9	0.004
	testAim50SAT10	0.01
	testAim50SAT11	0.006
	testAim50SAT2	0.005
	testAim50SAT12	0.009
	testAim50SAT13	0.007
	testAim50SAT14	0.006
	testAim50SAT15	0.007
	testAim50SAT16	0.007
	testAim50UNSAT1	0.005
	testAim50UNSAT2	0.007
	testAim50UNSAT3	0.005
	testAim50UNSAT4	0.003
	testAim50UNSAT5	0.003
	testAim50UNSAT6	0.003
	testAim50UNSAT7	0.003
	testAim50UNSAT8	0.003
	testIi2	0.007
	testIi3	0.011
	testIi4	0.018
	testIi5	0.011
	testIi6	0.018
	testIi7	0.017
	testIi8	0.019
	testIi9	0.008
	testIi10	0.013
	testIi11	0.006
	testIi12	0.009
	testIi13	0.005
	testIi14	0.008
	testIi15	0.038
	testIi16	0.097
	testIi17	0.032
	testIi18	0.022
	testIi20	0.04
	testIi21	0.022
	testIi22	0.015
	testIi23	0.023
	testJNH1	0.003
	testJNH2	0.002
	testJNH3	0.019
	testJNH4	0.003
	testJNH5	0.003
	testJNH6	0.004
	testJNH7	0.003
	testJNH9	0.003
	testJNH10	0.002
	testJNH11	0.004
	testJNH12	0.013
	testJNH13	0.002
	testJNH14	0.002
	testJNH15	0.003
	testJNH16	0.021
	testJNH17	0.002
	testJNH18	0.004
	testJNH19	0.003
	testJNH20	0.004
	testJNH21	0.003
	testJNH22	0.002
	testAim50SAT1	0.002
	testAim50SAT3	0
	testAim50SAT4	0
	testAim50SAT5	0.001
	testAim50SAT6	0.001
	testJNH23	0.004
	testJNH24	0.004
	testJNH25	0.003
	testJNH26	0.003
	testJNH27	0.002
	testJNH28	0.003
	testJNH29	0.004
	testJNH30	0.002
	testJNH31	0.003
	testJNH32	0.007
	testJNH33	0.002
	testJNH34	0.002
	testJNH35	0.002
	testJNH36	0.003
	testJNH37	0.002
	testJNH38	0.002
	testJNH39	0.004
	testJNH40	0.006
	testJNH41	0.003
	testJNH42	0.002
	testJNH43	0.003
	testJNH44	0.002
	testJNH45	0.003
	testJNH46	0.008
	testJNH47	0.002
	testJNH48	0.003
	testJNH49	0.003
	testJNH50	0.002
	testHole6	0.115
	testHole7	1.385
	testIi1	0.001

M2CardMaxYannTest

	testAim50SAT7	0.063
	testAim50SAT8	0.013
	testAim50SAT9	0.006
	testAim50SAT10	0.01
	testAim50SAT11	0.009
	testAim50SAT1	0.008
	testAim50SAT12	0.021
	testAim50SAT13	0.008
	testAim50SAT14	0.007
	testAim50SAT15	0.009
	testAim50SAT16	0.01
	testAim50UNSAT1	0.003
	testAim50UNSAT2	0.005
	testAim50UNSAT3	0.004
	testAim50UNSAT4	0.004
	testAim50UNSAT5	0.003
	testAim50UNSAT6	0.004
	testAim50UNSAT7	0.004
	testAim50UNSAT8	0.005
	testIi2	0.008
	testIi3	0.014
	testIi4	0.025
	testIi5	0.014
	testIi6	0.027
	testIi7	0.036
	testIi8	0.052
	testIi9	0.016
	testIi10	0.047
	testIi11	0.015
	testIi12	0.033
	testIi13	0.011
	testIi14	0.035
	testIi15	0.148
	testIi16	0.214
	testIi17	0.293
	testIi18	0.089
	testIi20	0.171
	testIi21	0.086
	testIi22	0.061
	testIi23	0.115
	testJNH1	0.175
	testJNH2	0.021
	testJNH3	0.007
	testJNH4	0.016
	testJNH5	0.004
	testJNH6	0.005
	testJNH7	0.003
	testJNH8	0.005
	testJNH9	0.014
	testJNH10	0.004
	testJNH11	0.009
	testJNH12	0.004
	testJNH13	0.004
	testJNH14	0.004
	testJNH15	0.004
	testJNH16	0.027
	testJNH17	0.004
	testJNH18	0.006
	testIi1	0.002
	testAim50SAT3	0.004
	testAim50SAT4	0.004
	testAim50SAT5	0.001
	testAim50SAT6	0.001
	testJNH19	0.004
	testJNH20	0.012
	testJNH21	0.005
	testJNH22	0.003
	testJNH23	0.007
	testJNH24	0.006
	testJNH25	0.011
	testJNH26	0.028
	testJNH27	0.006
	testJNH28	0.007
	testJNH29	0.005
	testJNH30	0.004
	testJNH31	0.004
	testJNH32	0.01
	testJNH33	0.005
	testJNH34	0.004
	testJNH35	0.004
	testJNH36	0.015
	testJNH37	0.005
	testJNH38	0.003
	testJNH39	0.005
	testJNH40	0.009
	testJNH41	0.005
	testJNH42	0.003
	testJNH43	0.006
	testJNH44	0.003
	testJNH45	0.004
	testJNH46	0.012
	testJNH47	0.004
	testJNH48	0.014
	testJNH49	0.004
	testJNH50	0.013
	testHole6	0.011
	testHole7	0.069
	testAim50SAT2	0.001

M2CardMinYannTest

	testAim50SAT7	0.063
	testAim50SAT8	0.01
	testAim50SAT9	0.006
	testAim50SAT10	0.01
	testAim50SAT11	0.009
	testAim50SAT1	0.007
	testAim50SAT12	0.012
	testAim50SAT13	0.01
	testAim50SAT14	0.008
	testAim50SAT15	0.009
	testAim50SAT16	0.009
	testAim50UNSAT1	0.004
	testAim50UNSAT2	0.005
	testAim50UNSAT3	0.004
	testAim50UNSAT4	0.004
	testAim50UNSAT5	0.004
	testAim50UNSAT6	0.004
	testAim50UNSAT7	0.004
	testAim50UNSAT8	0.005
	testIi2	0.011
	testIi3	0.017
	testIi4	0.027
	testIi5	0.013
	testIi6	0.025
	testIi7	0.037
	testIi8	0.063
	testIi9	0.014
	testIi10	0.036
	testIi11	0.014
	testIi12	0.026
	testIi13	0.014
	testIi14	0.042
	testIi15	0.123
	testIi16	0.315
	testIi17	0.181
	testIi18	0.098
	testIi20	0.081
	testIi21	0.083
	testIi22	0.045
	testIi23	0.07
	testJNH1	0.003
	testJNH2	0.002
	testJNH3	0.004
	testJNH4	0.003
	testJNH5	0.003
	testJNH6	0.004
	testJNH7	0.003
	testJNH8	0.003
	testJNH9	0.013
	testJNH10	0.003
	testJNH11	0.004
	testJNH12	0.004
	testJNH13	0.003
	testJNH14	0.003
	testJNH15	0.003
	testJNH16	0.02
	testJNH17	0.004
	testJNH18	0.005
	testIi1	0.001
	testAim50SAT3	0.003
	testAim50SAT4	0.002
	testAim50SAT5	0.002
	testAim50SAT6	0.001
	testJNH19	0.004
	testJNH20	0.006
	testJNH21	0.005
	testJNH22	0.004
	testJNH23	0.006
	testJNH24	0.007
	testJNH25	0.004
	testJNH26	0.005
	testJNH27	0.004
	testJNH28	0.005
	testJNH29	0.005
	testJNH30	0.004
	testJNH31	0.004
	testJNH32	0.006
	testJNH33	0.004
	testJNH34	0.003
	testJNH35	0.004
	testJNH36	0.004
	testJNH37	0.003
	testJNH38	0.002
	testJNH39	0.003
	testJNH40	0.006
	testJNH41	0.003
	testJNH42	0.003
	testJNH43	0.004
	testJNH44	0.002
	testJNH45	0.003
	testJNH46	0.007
	testJNH47	0.003
	testJNH48	0.005
	testJNH49	0.003
	testJNH50	0.003
	testHole6	0.012
	testHole7	0.092
	testAim50SAT2	0

TestPrimeComputation

	testBasicImplicant	0.049
	testImplicantPascal	0.002
	testOtherImplicant	0.003
	testFolletExample	0.006

TestSatAssumps

	testIterativeAssumptionCallsWithSet	1.039
	testIterativeAssumptionCallsWithList	0.736
	testIterativeCorrectWay	0.435

RemiUtilsTest

testBugUnitClauses

0.056

JsonReaderTest

	testReadingNullClause	0.244
	testReadingTwoClauses	0.04
	testReadingACardExactly	0.027
	testReadingACardAtMostEqual	0.03
	testReadingACardAtMostStrictly	0.02
	testReadingACardAtLeastEqual	0.02
	testReadingACardAtLeastStrictly	0.019
	testMixOfClausesAndCard	0.021
	testOrderofMixedConstraints	0.02
	testInputStream	0.021
	testJsonOutput	0.062
	testReadingSimpleClause	0.019

VarOrderTest

	testNewVar	0.02
	testUndo	0.001
	testUpdateVar	0.001
	testVarDecayActivity	0
	testNumberOfInterestingVariables	0.001
	testGetVocabulary	0
	testNewVarint	0
	testSelect	0
	testSetVarDecay	0

TestClausalCardinalitiesLadderEncoding

	testAtMostOne	0.065
	testExactlyOne	0.004
	testAtLeastOne	0.009
	testAtMost2	0.008
	testAtLeast2	0.008
	testExactly2	0.005
	testAtMostOneWith8Vars	0.008
	testExactly4With11Vars	0.108
	testAtMost4With11Vars	0.104

TestFreeId

	testIncrementalFeed	0.049
	testEmptySolver	0.001
	testReserveParameter	0.002

CircularBufferTest

test

0.008

TestQuickXplain

	testGlobalInconsistency	0.06
	testGlobalInconsistencyIndex	0.006
	testAlmostGlobalInconsistency	0.005
	testAlmostGlobalInconsistencyIndex	0.006
	testAlmostGlobalInconsistencyII	0.006
	testAlmostGlobalInconsistencyIIIndex	0.006
	testTheCaseOfTwoMUSes	0.009
	testEclipseTestCase	0.006
	testEclipseTestCase2	0.005

TestClausalCardinalitiesBinomialEncoding

	testAtMostOne	0.065
	testExactlyOne	0.003
	testAtLeastOne	0.009
	testAtMost2	0.007
	testAtLeast2	0.008
	testExactly2	0.005

TestInsertionXplain

	testGlobalInconsistency	0.058
	testGlobalInconsistencyIndex	0.007
	testAlmostGlobalInconsistency	0.007
	testAlmostGlobalInconsistencyIndex	0.009
	testAlmostGlobalInconsistencyII	0.008
	testAlmostGlobalInconsistencyIIIndex	0.006
	testTheCaseOfTwoMUSes	0.009
	testEclipseTestCase	0.006
	testEclipseTestCase2	0.006

HeapTest

	testHeapProperty	0.002
	testHeapPropertyInt	0
	testIncrease	0
	testSetBounds	0
	testInHeap	0.006
	testEmpty	0
	testInsert	0.001
	testGetmin	0

TestQuickXplain2001

	testGlobalInconsistency	0.058
	testGlobalInconsistencyIndex	0.006
	testAlmostGlobalInconsistency	0.006
	testAlmostGlobalInconsistencyIndex	0.006
	testAlmostGlobalInconsistencyII	0.006
	testAlmostGlobalInconsistencyIIIndex	0.006
	testTheCaseOfTwoMUSes	0.007
	testEclipseTestCase	0.007
	testEclipseTestCase2	0.006

TestsFonctionnels

	testTrivialSat	0.049
	testTrivialSatNewVar	0.001
	testSat	0.014
	testWhenNewVarNotCalled	0
	testUnsat	0.006
	testTrivialUnsat	0
	testBug001	0.014
	testTrivialInconsistentFormula	0.024
	testCommentsInInstance	0.003
	testRemoveConstraints	0.001
	testRemoveAtLeast	0.002
	testIsImplied	0
	testIsImplied3	0

TestClausalCardinalitiesBinaryEncoding

	testAtMostOne	0.065
	testExactlyOne	0.004
	testAtLeastOne	0.008
	testAtMost2	0.012
	testAtLeast2	0.017
	testExactly2	0.013

TestAssertion

testAssertion

0.002

M2MiniSATTest

	testJNH8	0.095
	testAim50SAT7	0.012
	testAim50SAT8	0.009
	testAim50SAT9	0.008
	testAim50SAT10	0.009
	testAim50SAT11	0.008
	testAim50SAT2	0.004
	testAim50SAT12	0.008
	testAim50SAT13	0.007
	testAim50SAT14	0.006
	testAim50SAT15	0.007
	testAim50SAT16	0.007
	testAim50UNSAT1	0.004
	testAim50UNSAT2	0.005
	testAim50UNSAT3	0.005
	testAim50UNSAT4	0.003
	testAim50UNSAT5	0.004
	testAim50UNSAT6	0.003
	testAim50UNSAT7	0.003
	testAim50UNSAT8	0.003
	testIi2	0.008
	testIi3	0.017
	testIi4	0.023
	testIi5	0.012
	testIi6	0.02
	testIi7	0.017
	testIi8	0.02
	testIi9	0.008
	testIi10	0.014
	testIi11	0.008
	testIi12	0.012
	testIi13	0.005
	testIi14	0.009
	testIi15	0.039
	testIi16	0.052
	testIi17	0.031
	testIi18	0.024
	testIi20	0.068
	testIi21	0.02
	testIi22	0.015
	testIi23	0.024
	testJNH1	0.003
	testJNH2	0.002
	testJNH3	0.004
	testJNH4	0.003
	testJNH5	0.003
	testJNH6	0.004
	testJNH7	0.003
	testJNH9	0.003
	testJNH10	0.003
	testJNH11	0.004
	testJNH12	0.013
	testJNH13	0.003
	testJNH14	0.002
	testJNH15	0.002
	testJNH16	0.015
	testJNH17	0.002
	testJNH18	0.004
	testJNH19	0.003
	testJNH20	0.003
	testJNH21	0.002
	testJNH22	0.003
	testAim50SAT1	0.001
	testAim50SAT3	0.001
	testAim50SAT4	0
	testAim50SAT5	0
	testAim50SAT6	0.001
	testJNH23	0.003
	testJNH24	0.004
	testJNH25	0.003
	testJNH26	0.003
	testJNH27	0.004
	testJNH28	0.003
	testJNH29	0.003
	testJNH30	0.002
	testJNH31	0.003
	testJNH32	0.006
	testJNH33	0.002
	testJNH34	0.002
	testJNH35	0.003
	testJNH36	0.003
	testJNH37	0.003
	testJNH38	0.002
	testJNH39	0.003
	testJNH40	0.004
	testJNH41	0.003
	testJNH42	0.002
	testJNH43	0.003
	testJNH44	0.002
	testJNH45	0.003
	testJNH46	0.006
	testJNH47	0.003
	testJNH48	0.004
	testJNH49	0.002
	testJNH50	0.002
	testHole6	0.011
	testHole7	0.081
	testIi1	0.001

TestDeletionXplain

	testGlobalInconsistency	0.056
	testGlobalInconsistencyIndex	0.005
	testAlmostGlobalInconsistency	0.005
	testAlmostGlobalInconsistencyIndex	0.005
	testAlmostGlobalInconsistencyII	0.004
	testAlmostGlobalInconsistencyIIIndex	0.004
	testTheCaseOfTwoMUSes	0.004
	testEclipseTestCase	0.005
	testEclipseTestCase2	0.004

TestClausalCardinalitiesProductEncoding

	testAtMostOne	0.062
	testExactlyOne	0.004
	testAtLeastOne	0.009
	testAtMost2	0.009
	testAtLeast2	0.008
	testExactly2	0.005
	testAtMostOneWith8Vars	0.008
	testExactly4With11Vars	0.114
	testAtMost4With11Vars	0.118

TestAllMUSesAndCheckTest

	testSimpleCase	0.069
	testVerySimpleCase	0.005
	testGlobalInconsistency	0.007
	testGlobalInconsistencyIndex	0.008
	testAlmostGlobalInconsistency	0.007
	testAlmostGlobalInconsistencyIndex	0.008
	testAlmostGlobalInconsistencyII	0.007
	testAlmostGlobalInconsistencyIIIndex	0.007
	testTheCaseOfTwoMUSes	0.016
	testEclipseTestCase	0.006
	testEclipseTestCase2	0.004
	testExample1CADECedric	0.01
	testExample3CADECedric	0.069
	testExample3IJCAICedric	0.094

TestConstrGroup

	canPutAUnitClauseInAGroup	0.045
	checkBugReportedByThomas	0.004
	checkItWorksAfterRunningTheSolver	0.007
	testDeleteGroup	0.002
	checkGroupDoesWorkWhenClausesAreReducedByUnitPropgation	0.002
	checkTheExpectedWayToDealWithUnitClausesToRemove	0.002

TestGateTranslator

testTwoValues

0.054

SingleSolutionTest

	testHasNoSingleSolutionUNSAT	0.06
	testHasASingleSolutionIVecInt	0.001
	testHasASingleSolution	0.001
	testHasNoSingleSolution	0.001

ModelIteratorTest

	testModelIterator	0.056
	testInnerModelIterator	0.006
	testInplicantCoverIterator	0.006
	testModelIteratorLimit	0.003
	testCardModel	0.009
	testIncModel	0.006
	testIsSatisfiableVecInt	0.003
	testGlobalTimeoutCounter	3.011
	testGlobalTimeoutIterator	3.004
	testSpecificValues	0.064

TestGroupedTimeoutModelEnumeration

	testTimeoutOnSeconds	2.068
	testTimeoutOnMilliSeconds	2.004
	testTimeoutOnConflicts	1.787

LitTest

	testEqualsObject	0.006
	testToString	0
	testTruthValue	0
	testVar	0.001
	testNot	0.001

TestSolverEngine

	testThatItWorksWithOneDecorator	0.047
	testThatASolverReturnsItself	0.002
	testThatItWorksWithTwoDecorators	0.003
	testThatItDoesNotWorkForManyCore	0.005
	testThatItDoesNotWorkForOutputSolvers	0.004

TestAllMUSes

	testEclipseTestCase	0.069
	testEclipseTestCase2	0.004
	testExample1CADECedric	0.009
	testExample3CADECedric	0.06
	testExample3IJCAICedric	0.039
	testVerySimpleCase	0.004
	testGlobalInconsistency	0.006
	testGlobalInconsistencyIndex	0.005
	testAlmostGlobalInconsistency	0.005
	testAlmostGlobalInconsistencyIndex	0.005
	testAlmostGlobalInconsistencyII	0.006
	testAlmostGlobalInconsistencyIIIndex	0.005
	testTheCaseOfTwoMUSes	0.007
	testSimpleCase	0.007

GenericM2Test

	AbstractM2TestGlucose21	0.162
	AbstractM2TestDefaultAutoErasePhaseSaving	0.067
	AbstractM2TestBestWL	0.038
	AbstractM2TestDefaultMS21PhaseSaving	0.044
	AbstractM2TestBestHT	0.079
	AbstractM2TestBest17	0.053
	AbstractM2TestGlucose	0.02
	AbstractM2TestGreedySolver	0.041
	AbstractM2TestMiniLearningHeap	0.032
	AbstractM2TestMiniLearningHeapEZSimpNoRestarts	0.069
	AbstractM2TestMiniLearningHeapEZSimpLongRestarts	0.042
	AbstractM2TestMiniSATHeap	0.015
	AbstractM2TestMiniSATHeapEZSimp	0.012
	AbstractM2TestMiniSATHeapExpSimp	0.013
	AbstractM2TestBackjumping	0.101
	AbstractM2TestMinOneSolver	0.013
	AbstractM2TestDefault	0.01
	AbstractM2TestLight	0.01
	AbstractM2TestMiniLearningHeapEZSimp	0.008
	AbstractM2TestMiniLearningHeapExpSimp	0.009
	AbstractM2TestMiniLearningHeapRsatExpSimp	0.01
	AbstractM2TestMiniLearningHeapRsatExpSimpBiere	0.01
	AbstractM2TestMiniLearningHeapRsatExpSimpLuby	0.01

TestClausalCardinalitiesCommanderEncoding

	testAtMostOne	0.066
	testExactlyOne	0.005
	testAtLeastOne	0.009
	testAtMost2	0.009
	testAtLeast2	0.008
	testExactly2	0.005
	testAtMostOneWith8Vars	0.007
	testExactly4With11Vars	0.111
	testAtMost4With11Vars	0.121

QueueTest

	testInsert	0.003
	testDequeue	0
	testClear	0.001
	testSize	0.001

TestClausalCardinalitiesSequentialEncoding

	testAtMostOne	0.062
	testExactlyOne	0.004
	testAtLeastOne	0.01
	testAtMost2	0.01
	testAtLeast2	0.015
	testExactly2	0.01
	testAtMostOneWith8Vars	0.007
	testExactly4With11Vars	0.191
	testAtMost4With11Vars	0.066

M2MiniLearningTest

	testJNH8	0.088
	testAim50SAT1	0.008
	testAim50SAT8	0.009
	testAim50SAT9	0.004
	testAim50SAT10	0.007
	testAim50SAT11	0.008
	testAim50SAT12	0.011
	testAim50SAT13	0.008
	testAim50SAT14	0.006
	testAim50SAT15	0.008
	testAim50SAT16	0.007
	testAim50UNSAT1	0.003
	testAim50UNSAT2	0.006
	testAim50UNSAT3	0.004
	testAim50UNSAT4	0.003
	testAim50UNSAT5	0.002
	testAim50UNSAT6	0.003
	testAim50UNSAT7	0.003
	testAim50UNSAT8	0.003
	testIi2	0.008
	testIi3	0.012
	testIi4	0.019
	testIi5	0.012
	testIi6	0.019
	testIi7	0.017
	testIi8	0.02
	testIi9	0.008
	testIi10	0.014
	testIi11	0.008
	testIi12	0.012
	testIi13	0.006
	testIi14	0.009
	testIi15	0.037
	testIi16	0.05
	testIi17	0.029
	testIi18	0.022
	testIi20	0.069
	testIi21	0.02
	testIi22	0.015
	testIi23	0.024
	testJNH1	0.003
	testJNH2	0.002
	testJNH3	0.003
	testJNH4	0.002
	testJNH5	0.003
	testJNH6	0.004
	testJNH7	0.002
	testJNH9	0.003
	testJNH10	0.003
	testJNH11	0.003
	testJNH12	0.014
	testJNH13	0.003
	testJNH14	0.002
	testJNH15	0.002
	testJNH16	0.015
	testJNH17	0.002
	testJNH18	0.003
	testJNH19	0.003
	testJNH20	0.004
	testJNH21	0.002
	testAim50SAT2	0.001
	testAim50SAT4	0.001
	testAim50SAT5	0.001
	testAim50SAT6	0.001
	testAim50SAT7	0.001
	testJNH22	0.002
	testJNH23	0.004
	testJNH24	0.004
	testJNH25	0.002
	testJNH26	0.004
	testJNH27	0.003
	testJNH28	0.003
	testJNH29	0.003
	testJNH30	0.002
	testJNH31	0.003
	testJNH32	0.006
	testJNH33	0.002
	testJNH34	0.002
	testJNH35	0.003
	testJNH36	0.003
	testJNH37	0.003
	testJNH38	0.003
	testJNH39	0.003
	testJNH40	0.005
	testJNH41	0.003
	testJNH42	0.002
	testJNH43	0.003
	testJNH44	0.003
	testJNH45	0.003
	testJNH46	0.006
	testJNH47	0.003
	testJNH48	0.004
	testJNH49	0.002
	testJNH50	0.003
	testHole6	0.011
	testHole7	0.081
	testAim50SAT3	0.001
	testIi1	0.001

TestAtMost

	testUnEssaiSat	0.046
	test2Sat	0.001
	test4Unsat	0.001
	test3Unsat	0
	test5Sat	0
	testUnEssaiUnsat	0.001

TestLubyFunction

testSomeKnownValues