Surefire Report

Summary

Tests	Errors	Failures	Skipped	Success Rate	Time
871	0	0	0	100%	32.958

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.361
org.sat4j.tools	94	100%	3.801
org.sat4j.core	37	100%	0.722
org.sat4j.minisat.constraints	5	100%	0.052
org.sat4j.minisat	639	100%	12.149
org.sat4j	67	100%	9.873

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.14
CircularBufferTest	1	100%	0.077
HeapTest	8	100%	0.044
TestGroupedTimeoutModelEnumeration	3	100%	5.928
QueueTest	4	100%	0.04
TestAtMost	6	100%	0.095
LboolTest	3	100%	0.037

org.sat4j.tools

Class	Tests	Success Rate	Time
RemiUtilsTest	1	100%	0.121
TestClausalCardinalitiesLadderEncoding	9	100%	0.413
TestClausalCardinalitiesBinomialEncoding	6	100%	0.177
TestClausalCardinalitiesBinaryEncoding	6	100%	0.2
TestClausalCardinalitiesProductEncoding	9	100%	0.408
TestAllMUSesAndCheckTest	14	100%	0.434
TestGateTranslator	1	100%	0.117
TestAllMUSes	14	100%	0.316
TestClausalCardinalitiesCommanderEncoding	9	100%	0.429
TestClausalCardinalitiesSequentialEncoding	9	100%	0.459
TestAllMSSes	2	100%	0.154
NegationDecoratorTest	2	100%	0.133
BackboneTest	4	100%	0.143
TestCheckItIsAMUS	2	100%	0.13
TestAllMUSesGroupTest	6	100%	0.167

org.sat4j.core

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	JsonReaderTest	12	0	0	0	100%	0.66
	VecTest	25	0	0	0	100%	0.062

org.sat4j.minisat.constraints

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

org.sat4j.minisat

Class	Tests	Success Rate	Time
M2BackjumpingTest	98	100%	2.4
M2CardMaxYannTest	98	100%	2.425
M2CardMinYannTest	98	100%	1.896
VarOrderTest	9	100%	0.055
TestsFonctionnels	13	100%	0.162
TestAssertion	1	100%	0.035
M2MiniSATTest	98	100%	0.985
GenericM2Test	27	100%	1.942
M2MiniLearningTest	98	100%	1.012
TestLubyFunction	1	100%	0.073
M2AtLeastTest	98	100%	1.164

org.sat4j

Class	Tests	Success Rate	Time
TestSatAssumps	3	100%	2.29
TestFreeId	3	100%	0.129
TestQuickXplain	9	100%	0.189
TestInsertionXplain	9	100%	0.203
TestQuickXplain2001	9	100%	0.198
TestDeletionXplain	9	100%	0.18
TestConstrGroup	6	100%	0.166
SingleSolutionTest	4	100%	0.1
ModelIteratorTest	10	100%	6.274
TestSolverEngine	5	100%	0.144

Test Cases

[Summary] [Package List] [Test Cases]

M2BackjumpingTest

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

M2CardMaxYannTest

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

M2CardMinYannTest

	testIi17	0.418
	testAim50SAT11	0.005
	testAim50SAT12	0.007
	testAim50SAT13	0.006
	testAim50SAT14	0.003
	testAim50SAT15	0.005
	testAim50SAT16	0.004
	testAim50UNSAT1	0.002
	testAim50UNSAT2	0.008
	testAim50UNSAT3	0.004
	testAim50UNSAT4	0.002
	testAim50UNSAT5	0.002
	testAim50UNSAT6	0.003
	testAim50UNSAT7	0.002
	testAim50UNSAT8	0.002
	testIi2	0.004
	testIi3	0.007
	testIi4	0.013
	testIi5	0.01
	testIi6	0.02
	testIi7	0.031
	testIi8	0.046
	testIi9	0.011
	testIi10	0.028
	testIi11	0.012
	testIi12	0.043
	testIi13	0.014
	testIi14	0.038
	testIi15	0.127
	testIi16	0.261
	testIi18	0.107
	testIi20	0.088
	testIi21	0.085
	testIi22	0.056
	testIi23	0.076
	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.003
	testJNH10	0.003
	testJNH11	0.004
	testJNH12	0.003
	testJNH13	0.003
	testJNH14	0.003
	testJNH15	0.003
	testJNH16	0.015
	testJNH17	0.002
	testJNH18	0.004
	testAim50SAT1	0.001
	testAim50SAT2	0.001
	testAim50SAT3	0.001
	testAim50SAT4	0.001
	testIi1	0.001
	testAim50SAT5	0.001
	testAim50SAT6	0.001
	testAim50SAT7	0.001
	testAim50SAT8	0.001
	testAim50SAT9	0.001
	testAim50SAT10	0.001
	testJNH19	0.003
	testJNH20	0.003
	testJNH21	0.002
	testJNH22	0.002
	testJNH23	0.004
	testJNH24	0.004
	testJNH25	0.003
	testJNH26	0.003
	testJNH27	0.003
	testJNH28	0.003
	testJNH29	0.003
	testJNH30	0.002
	testJNH31	0.003
	testJNH32	0.006
	testJNH33	0.003
	testJNH34	0.003
	testJNH35	0.003
	testJNH36	0.004
	testJNH37	0.003
	testJNH38	0.003
	testJNH39	0.004
	testJNH40	0.005
	testJNH41	0.003
	testJNH42	0.003
	testJNH43	0.003
	testJNH44	0.003
	testJNH45	0.003
	testJNH46	0.007
	testJNH47	0.003
	testJNH48	0.004
	testJNH49	0.003
	testJNH50	0.003
	testHole6	0.011
	testHole7	0.069

TestPrimeComputation

	testImplicantPascal	0.055
	testOtherImplicant	0.002
	testFolletExample	0.004
	testBasicImplicant	0.003

TestSatAssumps

	testIterativeAssumptionCallsWithSet	1.065
	testIterativeAssumptionCallsWithList	0.701
	testIterativeCorrectWay	0.453

RemiUtilsTest

testBugUnitClauses

0.058

JsonReaderTest

	testReadingNullClause	0.267
	testReadingTwoClauses	0.041
	testReadingACardExactly	0.027
	testReadingACardAtMostEqual	0.025
	testReadingSimpleClause	0.021
	testReadingACardAtMostStrictly	0.02
	testReadingACardAtLeastEqual	0.02
	testReadingACardAtLeastStrictly	0.022
	testMixOfClausesAndCard	0.021
	testOrderofMixedConstraints	0.019
	testInputStream	0.018
	testJsonOutput	0.064

VarOrderTest

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

TestClausalCardinalitiesLadderEncoding

	testAtMostOne	0.071
	testExactlyOne	0.005
	testAtLeastOne	0.01
	testAtMost2	0.009
	testAtLeast2	0.009
	testExactly2	0.006
	testAtMostOneWith8Vars	0.008
	testExactly4With11Vars	0.111
	testAtMost4With11Vars	0.097

TestFreeId

	testIncrementalFeed	0.056
	testReserveParameter	0.001
	testEmptySolver	0.001

CircularBufferTest

test

0.009

TestQuickXplain

	testGlobalInconsistencyIndex	0.059
	testAlmostGlobalInconsistency	0.006
	testAlmostGlobalInconsistencyIndex	0.006
	testAlmostGlobalInconsistencyII	0.006
	testAlmostGlobalInconsistencyIIIndex	0.005
	testTheCaseOfTwoMUSes	0.006
	testEclipseTestCase	0.006
	testGlobalInconsistency	0.005
	testEclipseTestCase2	0.004

TestClausalCardinalitiesBinomialEncoding

	testAtMostOne	0.063
	testExactlyOne	0.003
	testAtLeastOne	0.008
	testAtMost2	0.007
	testAtLeast2	0.008
	testExactly2	0.005

TestInsertionXplain

	testGlobalInconsistency	0.06
	testAlmostGlobalInconsistency	0.007
	testGlobalInconsistencyIndex	0.007
	testAlmostGlobalInconsistencyIndex	0.008
	testAlmostGlobalInconsistencyII	0.007
	testAlmostGlobalInconsistencyIIIndex	0.007
	testTheCaseOfTwoMUSes	0.008
	testEclipseTestCase	0.007
	testEclipseTestCase2	0.007

HeapTest

	testIncrease	0.003
	testHeapPropertyInt	0
	testInsert	0.005
	testGetmin	0
	testHeapProperty	0.001
	testSetBounds	0
	testEmpty	0
	testInHeap	0.001

TestQuickXplain2001

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

TestsFonctionnels

	testSat	0.069
	testTrivialSatNewVar	0.001
	testBug001	0.016
	testTrivialInconsistentFormula	0.001
	testCommentsInInstance	0.013
	testRemoveConstraints	0.001
	testRemoveAtLeast	0.002
	testIsImplied	0
	testTrivialSat	0
	testUnsat	0.015
	testTrivialUnsat	0
	testIsImplied3	0
	testWhenNewVarNotCalled	0.001

TestClausalCardinalitiesBinaryEncoding

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

TestAssertion

testAssertion

0.002

M2MiniSATTest

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

TestDeletionXplain

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

TestClausalCardinalitiesProductEncoding

	testAtMostOne	0.066
	testExactlyOne	0.004
	testAtLeastOne	0.009
	testAtMost2	0.009
	testAtLeast2	0.009
	testExactly2	0.005
	testAtMostOneWith8Vars	0.008
	testExactly4With11Vars	0.109
	testAtMost4With11Vars	0.109

TestAllMUSesAndCheckTest

	testTheCaseOfTwoMUSes	0.077
	testEclipseTestCase	0.007
	testEclipseTestCase2	0.005
	testExample1CADECedric	0.013
	testExample3CADECedric	0.07
	testExample3IJCAICedric	0.103
	testVerySimpleCase	0.006
	testGlobalInconsistency	0.008
	testGlobalInconsistencyIndex	0.009
	testAlmostGlobalInconsistency	0.009
	testAlmostGlobalInconsistencyIndex	0.008
	testAlmostGlobalInconsistencyII	0.007
	testAlmostGlobalInconsistencyIIIndex	0.007
	testSimpleCase	0.013

TestConstrGroup

	canPutAUnitClauseInAGroup	0.053
	checkBugReportedByThomas	0.03
	checkItWorksAfterRunningTheSolver	0.008
	testDeleteGroup	0.001
	checkGroupDoesWorkWhenClausesAreReducedByUnitPropgation	0.002
	checkTheExpectedWayToDealWithUnitClausesToRemove	0.002

TestGateTranslator

testTwoValues

0.054

SingleSolutionTest

	testHasNoSingleSolution	0.06
	testHasASingleSolution	0.001
	testHasNoSingleSolutionUNSAT	0.001
	testHasASingleSolutionIVecInt	0.001

ModelIteratorTest

	testModelIterator	0.061
	testInplicantCoverIterator	0.006
	testModelIteratorLimit	0.003
	testCardModel	0.011
	testIncModel	0.006
	testIsSatisfiableVecInt	0.004
	testGlobalTimeoutCounter	3.034
	testInnerModelIterator	0.009
	testGlobalTimeoutIterator	3.005
	testSpecificValues	0.046

TestGroupedTimeoutModelEnumeration

	testTimeoutOnMilliSeconds	2.068
	testTimeoutOnConflicts	1.766
	testTimeoutOnSeconds	2.019

LitTest

	testNot	0.008
	testTruthValue	0.001
	testEqualsObject	0
	testToString	0
	testVar	0.001

TestSolverEngine

	testThatItWorksWithOneDecorator	0.05
	testThatItWorksWithTwoDecorators	0.003
	testThatItDoesNotWorkForManyCore	0.005
	testThatASolverReturnsItself	0.002
	testThatItDoesNotWorkForOutputSolvers	0.004

TestAllMUSes

	testTheCaseOfTwoMUSes	0.071
	testEclipseTestCase	0.005
	testEclipseTestCase2	0.004
	testExample1CADECedric	0.01
	testExample3CADECedric	0.051
	testExample3IJCAICedric	0.04
	testSimpleCase	0.007
	testVerySimpleCase	0.004
	testGlobalInconsistency	0.005
	testGlobalInconsistencyIndex	0.005
	testAlmostGlobalInconsistency	0.005
	testAlmostGlobalInconsistencyIndex	0.005
	testAlmostGlobalInconsistencyII	0.005
	testAlmostGlobalInconsistencyIIIndex	0.006

GenericM2Test

	AbstractM2TestDefaultMS21PhaseSaving	0.176
	AbstractM2TestBestHT	0.082
	AbstractM2TestBest17	0.053
	AbstractM2TestGlucose	0.035
	AbstractM2TestMiniLearningHeapEZSimpNoRestarts	0.108
	AbstractM2TestMiniLearningHeapEZSimpLongRestarts	0.048
	AbstractM2TestMiniSATHeap	0.018
	AbstractM2TestMiniSATHeapEZSimp	0.012
	AbstractM2TestMiniSATHeapExpSimp	0.018
	AbstractM2TestMiniLearningHeapExpSimp	0.013
	AbstractM2TestMiniLearningHeapRsatExpSimp	0.014
	AbstractM2TestMiniLearningHeapRsatExpSimpBiere	0.012
	AbstractM2TestMiniLearningHeapRsatExpSimpLuby	0.012
	AbstractM2TestBackjumping	0.084
	AbstractM2TestMinOneSolver	0.015
	AbstractM2TestDefault	0.011
	AbstractM2TestLight	0.011
	AbstractM2TestParallel	0.524
	AbstractM2TestSAT	0.01
	AbstractM2TestUNSAT	0.01
	AbstractM2TestSATUNSAT	0.504
	AbstractM2TestGreedySolver	0.038
	AbstractM2TestDefaultAutoErasePhaseSaving	0.023
	AbstractM2TestBestWL	0.02
	AbstractM2TestGlucose21	0.015
	AbstractM2TestMiniLearningHeap	0.011
	AbstractM2TestMiniLearningHeapEZSimp	0.008

TestClausalCardinalitiesCommanderEncoding

	testAtMostOne	0.065
	testExactlyOne	0.005
	testAtLeastOne	0.009
	testAtMost2	0.008
	testAtLeast2	0.009
	testExactly2	0.008
	testAtMostOneWith8Vars	0.007
	testExactly4With11Vars	0.113
	testAtMost4With11Vars	0.123

QueueTest

	testInsert	0.003
	testDequeue	0.001
	testClear	0
	testSize	0

TestClausalCardinalitiesSequentialEncoding

	testAtMostOne	0.066
	testExactlyOne	0.005
	testAtLeastOne	0.01
	testAtMost2	0.01
	testAtLeast2	0.015
	testExactly2	0.009
	testAtMostOneWith8Vars	0.007
	testExactly4With11Vars	0.189
	testAtMost4With11Vars	0.062

TestAllMSSes

	testSimpleCase	0.067
	testSimpleCasePermut	0.005

M2MiniLearningTest

	testAim50SAT13	0.072
	testAim50SAT14	0.01
	testAim50SAT15	0.011
	testAim50SAT16	0.011
	testAim50UNSAT1	0.004
	testAim50UNSAT2	0.01
	testAim50UNSAT3	0.006
	testAim50UNSAT4	0.005
	testAim50UNSAT5	0.005
	testAim50UNSAT6	0.005
	testAim50UNSAT7	0.005
	testAim50UNSAT8	0.006
	testIi2	0.015
	testIi3	0.02
	testIi4	0.02
	testIi5	0.019
	testIi6	0.023
	testIi7	0.019
	testIi8	0.021
	testIi9	0.01
	testIi10	0.017
	testIi11	0.008
	testIi12	0.012
	testIi13	0.006
	testIi14	0.009
	testIi15	0.026
	testIi16	0.058
	testIi17	0.032
	testIi18	0.023
	testIi20	0.072
	testIi21	0.022
	testIi22	0.016
	testIi23	0.026
	testJNH1	0.004
	testJNH2	0.002
	testJNH3	0.005
	testJNH4	0.003
	testJNH5	0.004
	testJNH6	0.005
	testJNH7	0.003
	testJNH8	0.004
	testJNH9	0.003
	testJNH10	0.003
	testJNH11	0.004
	testJNH12	0.003
	testJNH13	0.003
	testJNH14	0.002
	testJNH15	0.003
	testJNH16	0.016
	testJNH17	0.002
	testJNH18	0.004
	testJNH19	0.003
	testJNH20	0.004
	testJNH21	0.003
	testAim50SAT1	0.001
	testAim50SAT2	0.001
	testAim50SAT3	0.001
	testIi1	0.001
	testAim50SAT4	0.001
	testAim50SAT5	0.001
	testAim50SAT6	0.021
	testAim50SAT7	0.002
	testAim50SAT8	0.001
	testAim50SAT9	0.002
	testAim50SAT10	0.002
	testAim50SAT11	0.003
	testAim50SAT12	0.002
	testJNH22	0.003
	testJNH23	0.005
	testJNH24	0.005
	testJNH25	0.004
	testJNH26	0.005
	testJNH27	0.004
	testJNH28	0.003
	testJNH29	0.004
	testJNH30	0.004
	testJNH31	0.003
	testJNH32	0.006
	testJNH33	0.004
	testJNH34	0.004
	testJNH35	0.003
	testJNH36	0.003
	testJNH37	0.002
	testJNH38	0.002
	testJNH39	0.003
	testJNH40	0.004
	testJNH41	0.002
	testJNH42	0.003
	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.077

TestAtMost

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

TestLubyFunction

testSomeKnownValues

0.008

VecTest

	testShrink	0.003
	testSortUnique	0.002
	testDelete	0
	testRemove	0.001
	testEquals	0.001
	testIterator	0.002
	testNoSuchElementException	0
	testVec	0
	testGrowTointObject	0.001
	testPush	0
	testPushObject	0
	testClear	0
	testLast	0
	testGet	0.001
	testCopyTo	0
	testVecintObject	0.001
	testSize	0
	testVecint	0.001
	testShrinkTo	0
	testPop	0.001
	testGrowToint	0
	testMoveTo	0
	testSelectionSort	0.001
	testSort	0.001
	testSortEmpty	0

NegationDecoratorTest

	testNegatingTwoClauses	0.056
	testNegatingASingleClause	0.002

BackboneTest

	testEasyCaseWithOnlyOneModel	0.061
	testEmptyBackbone	0.003
	testCaseWithUnsatProblem	0.002
	testBugUnitClauses	0.002

TestCheckItIsAMUS

	testItWorksOnSimpleNonMUSes	0.057
	testItWorksOnSimpleMUSes	0.002

M2AtLeastTest

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

LboolTest

	testEqualsObject	0.003
	testToString	0
	testNot	0

TestAllMUSesGroupTest

	testSimpleCaseWithGroups	0.069
	testSimpleCaseWithGroups2	0.003
	testSimpleCaseWithGroups3	0.004
	testSimpleCaseWithGroups4	0.006
	testVerySimpleCase	0.003
	testSimpleCase	0.008

Parent Project

Project Documentation