Surefire Report

Summary

Tests	Errors	Failures	Skipped	Success Rate	Time
767	0	0	0	100%	25.886

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	27	100%	6.637
org.sat4j.tools	13	100%	0.447
org.sat4j.core	25	100%	0.042
org.sat4j.minisat.constraints	5	100%	0.031
org.sat4j.minisat	636	100%	8.722
org.sat4j	61	100%	10.007

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	3	100%	0.099
HeapTest	8	100%	0.032
TestGroupedTimeoutModelEnumeration	3	100%	6.38
QueueTest	4	100%	0.028
TestAtMost	6	100%	0.07
LboolTest	3	100%	0.028

org.sat4j.tools

Class	Tests	Success Rate	Time
RemiUtilsTest	1	100%	0.081
TestClausalCardinalities	11	100%	0.283
TestGateTranslator	1	100%	0.083

org.sat4j.core

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	VecTest	25	0	0	0	100%	0.042

org.sat4j.minisat.constraints

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

org.sat4j.minisat

Class	Tests	Success Rate	Time
M2BackjumpingTest	98	100%	1.65
M2CardMaxYannTest	98	100%	1.761
M2CardMinYannTest	98	100%	1.667
VarOrderTest	9	100%	0.04
TestsFonctionnels	13	100%	0.093
TestAssertion	1	100%	0.025
M2MiniSATTest	98	100%	0.798
GenericM2Test	24	100%	0.932
M2MiniLearningTest	98	100%	0.789
TestLubyFunction	1	100%	0.049
M2AtLeastTest	98	100%	0.918

org.sat4j

Class	Tests	Success Rate	Time
TestSatAssumps	3	100%	3.022
TestFreeId	3	100%	0.092
TestQuickXplain	9	100%	0.128
TestInsertionXplain	9	100%	0.141
TestQuickXplain2001	9	100%	0.133
TestDeletionXplain	9	100%	0.128
TestConstrGroup	6	100%	0.099
SingleSolutionTest	4	100%	0.069
ModelIteratorTest	9	100%	6.195

Test Cases

[Summary] [Package List] [Test Cases]

M2BackjumpingTest

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

M2CardMaxYannTest

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

M2CardMinYannTest

	testAim50SAT1	0.042
	testAim50SAT2	0.003
	testAim50SAT3	0.003
	testAim50SAT4	0.004
	testAim50SAT5	0.005
	testAim50SAT6	0.007
	testAim50SAT7	0.006
	testAim50SAT8	0.006
	testAim50SAT9	0.004
	testAim50SAT10	0.006
	testAim50SAT11	0.006
	testAim50SAT12	0.007
	testAim50SAT13	0.008
	testAim50SAT14	0.005
	testAim50SAT15	0.005
	testAim50SAT16	0.006
	testAim50UNSAT1	0.003
	testAim50UNSAT2	0.004
	testAim50UNSAT3	0.004
	testAim50UNSAT4	0.004
	testAim50UNSAT5	0.004
	testAim50UNSAT6	0.005
	testAim50UNSAT7	0.004
	testAim50UNSAT8	0.005
	testIi1	0.004
	testIi2	0.014
	testIi3	0.016
	testIi4	0.027
	testIi5	0.008
	testIi6	0.023
	testIi7	0.03
	testIi8	0.053
	testIi9	0.01
	testIi10	0.038
	testIi11	0.011
	testIi12	0.022
	testIi13	0.012
	testIi14	0.028
	testIi15	0.123
	testIi16	0.252
	testIi17	0.16
	testIi18	0.078
	testIi20	0.115
	testIi21	0.066
	testIi22	0.065
	testIi23	0.069
	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.003
	testJNH12	0.002
	testJNH13	0.003
	testJNH14	0.004
	testJNH15	0.003
	testJNH16	0.014
	testJNH17	0.003
	testJNH18	0.004
	testJNH19	0.002
	testJNH20	0.003
	testJNH21	0.003
	testJNH22	0.002
	testJNH23	0.003
	testJNH24	0.005
	testJNH25	0.003
	testJNH26	0.003
	testJNH27	0.002
	testJNH28	0.003
	testJNH29	0.003
	testJNH30	0.002
	testJNH31	0.002
	testJNH32	0.006
	testJNH33	0.003
	testJNH34	0.003
	testJNH35	0.002
	testJNH36	0.003
	testJNH37	0.002
	testJNH38	0.002
	testJNH39	0.003
	testJNH40	0.005
	testJNH41	0.003
	testJNH42	0.002
	testJNH43	0.003
	testJNH44	0.002
	testJNH45	0.002
	testJNH46	0.006
	testJNH47	0.003
	testJNH48	0.004
	testJNH49	0.002
	testJNH50	0.002
	testHole6	0.01
	testHole7	0.056

TestPrimeComputation

	testBasicImplicant	0.042
	testOtherImplicant	0.002
	testFolletExample	0.003

TestSatAssumps

	testIterativeAssumptionCallsWithSet	1.313
	testIterativeAssumptionCallsWithList	1.079
	testIterativeCorrectWay	0.582

RemiUtilsTest

testBugUnitClauses

0.039

VarOrderTest

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

TestFreeId

	testEmptySolver	0.035
	testIncrementalFeed	0.003
	testReserveParameter	0.001

TestQuickXplain

	testGlobalInconsistency	0.041
	testGlobalInconsistencyIndex	0.003
	testAlmostGlobalInconsistency	0.004
	testAlmostGlobalInconsistencyIndex	0.005
	testAlmostGlobalInconsistencyII	0.004
	testAlmostGlobalInconsistencyIIIndex	0.004
	testTheCaseOfTwoMUSes	0.004
	testEclipseTestCase	0.004
	testEclipseTestCase2	0.003

TestInsertionXplain

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

HeapTest

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

TestQuickXplain2001

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

TestsFonctionnels

	testSat	0.045
	testUnsat	0.003
	testTrivialUnsat	0.001
	testTrivialSat	0.001
	testTrivialSatNewVar	0
	testBug001	0.009
	testTrivialInconsistentFormula	0.001
	testCommentsInInstance	0.002
	testRemoveConstraints	0.001
	testRemoveAtLeast	0.002
	testIsImplied	0
	testIsImplied3	0
	testWhenNewVarNotCalled	0

TestAssertion

testAssertion

0.001

M2MiniSATTest

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

TestClausalCardinalities

	testSimpleCardCase	0.05
	testSimpleCardCase2Power	0.003
	testSimpleCardCaseAMO	0.003
	testSimpleCardCaseAMOWith8Variables	0.007
	testSimpleCardCaseEO	0.004
	testSimpleCardCaseFor2	0.006
	testSimpleCardCaseFor2With7Variables	0.009
	testSimpleCardCaseFor2With8Variables	0.013
	testSimpleCardCaseFor4With11Variables	0.125
	testSimpleCardCaseForUnsat	0.003
	testName	0.003

TestDeletionXplain

	testGlobalInconsistency	0.042
	testGlobalInconsistencyIndex	0.003
	testAlmostGlobalInconsistency	0.003
	testAlmostGlobalInconsistencyIndex	0.004
	testAlmostGlobalInconsistencyII	0.003
	testAlmostGlobalInconsistencyIIIndex	0.004
	testTheCaseOfTwoMUSes	0.003
	testEclipseTestCase	0.004
	testEclipseTestCase2	0.002

TestConstrGroup

	testDeleteGroup	0.036
	canPutAUnitClauseInAGroup	0.002
	checkBugReportedByThomas	0.001
	checkItWorksAfterRunningTheSolver	0.005
	checkGroupDoesWorkWhenClausesAreReducedByUnitPropgation	0.001
	checkTheExpectedWayToDealWithUnitClausesToRemove	0.001

TestGateTranslator

testTwoValues

0.038

SingleSolutionTest

	testHasASingleSolution	0.039
	testHasNoSingleSolution	0.001
	testHasNoSingleSolutionUNSAT	0.001
	testHasASingleSolutionIVecInt	0.001

ModelIteratorTest

	testModelIterator	0.043
	testInplicantCoverIterator	0.004
	testModelIteratorLimit	0.002
	testCardModel	0.007
	testIncModel	0.005
	testIsSatisfiableVecInt	0.003
	testGlobalTimeoutCounter	3.011
	testGlobalTimeoutIterator	3.003
	testSpecificValues	0.059

TestGroupedTimeoutModelEnumeration

	testTimeoutOnSeconds	2.047
	testTimeoutOnMilliSeconds	2.003
	testTimeoutOnConflicts	2.278

LitTest

	testNot	0.005
	testVar	0
	testEqualsObject	0
	testToString	0
	testTruthValue	0

GenericM2Test

	AbstractM2TestMiniLearningHeap	0.114
	AbstractM2TestMiniLearningHeapEZSimp	0.039
	AbstractM2TestMiniLearningHeapExpSimp	0.047
	AbstractM2TestMiniLearningHeapRsatExpSimp	0.055
	AbstractM2TestMiniLearningHeapRsatExpSimpBiere	0.035
	AbstractM2TestMiniLearningHeapRsatExpSimpLuby	0.025
	AbstractM2TestGreedySolver	0.037
	AbstractM2TestDefaultAutoErasePhaseSaving	0.029
	AbstractM2TestBestWL	0.028
	AbstractM2TestDefaultMS21PhaseSaving	0.024
	AbstractM2TestBestHT	0.086
	AbstractM2TestBestSingleWL	0.024
	AbstractM2TestBest17	0.026
	AbstractM2TestGlucose	0.022
	AbstractM2TestMiniLearningPure	0.027
	AbstractM2TestMiniLearningHeapEZSimpNoRestarts	0.09
	AbstractM2TestMiniLearningHeapEZSimpLongRestarts	0.051
	AbstractM2TestMiniSATHeap	0.011
	AbstractM2TestMiniSATHeapEZSimp	0.008
	AbstractM2TestMiniSATHeapExpSimp	0.008
	AbstractM2TestBackjumping	0.069
	AbstractM2TestMinOneSolver	0.014
	AbstractM2TestDefault	0.011
	AbstractM2TestLight	0.013

QueueTest

	testInsert	0.003
	testDequeue	0
	testClear	0
	testSize	0

M2MiniLearningTest

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

TestAtMost

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

TestLubyFunction

testSomeKnownValues

0.006

VecTest

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

M2AtLeastTest

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

LboolTest

	testNot	0.002
	testEqualsObject	0.001
	testToString	0

Parent Project

Project Documentation