Surefire Report

Summary

Tests	Errors	Failures	Skipped	Success Rate	Time
807	0	0	0	100%	20.765

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%	5.438
org.sat4j.tools	50	100%	1.4
org.sat4j.core	25	100%	0.027
org.sat4j.minisat.constraints	5	100%	0.026
org.sat4j.minisat	636	100%	6.009
org.sat4j	62	100%	7.865

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
CircularBufferTest	1	100%	0.043
HeapTest	8	100%	0.026
LboolTest	3	100%	0.024
QueueTest	4	100%	0.02
TestAtMost	6	100%	0.054
TestGroupedTimeoutModelEnumeration	3	100%	5.204
TestPrimeComputation	4	100%	0.067

org.sat4j.tools

Class	Tests	Success Rate	Time
RemiUtilsTest	1	100%	0.058
TestClausalCardinalitiesBinaryEncoding	6	100%	0.107
TestClausalCardinalitiesBinomialEncoding	6	100%	0.093
TestClausalCardinalitiesCommanderEncoding	9	100%	0.258
TestClausalCardinalitiesLadderEncoding	9	100%	0.259
TestClausalCardinalitiesProductEncoding	9	100%	0.256
TestClausalCardinalitiesSequentialEncoding	9	100%	0.309
TestGateTranslator	1	100%	0.06

org.sat4j.core

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

org.sat4j.minisat.constraints

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

org.sat4j.minisat

Class	Tests	Success Rate	Time
GenericM2Test	24	100%	0.598
M2AtLeastTest	98	100%	0.612
M2BackjumpingTest	98	100%	1.664
M2CardMaxYannTest	98	100%	0.989
M2CardMinYannTest	98	100%	0.93
M2MiniLearningTest	98	100%	0.545
M2MiniSATTest	98	100%	0.531
TestAssertion	1	100%	0.016
TestLubyFunction	1	100%	0.031
TestsFonctionnels	13	100%	0.067
VarOrderTest	9	100%	0.026

org.sat4j

Class	Tests	Success Rate	Time
ModelIteratorTest	10	100%	6.133
SingleSolutionTest	4	100%	0.048
TestConstrGroup	6	100%	0.068
TestDeletionXplain	9	100%	0.089
TestFreeId	3	100%	0.061
TestInsertionXplain	9	100%	0.097
TestQuickXplain	9	100%	0.094
TestQuickXplain2001	9	100%	0.095
TestSatAssumps	3	100%	1.18

Test Cases

[Summary] [Package List] [Test Cases]

VecTest

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

LitTest

	testNot	0.005
	testVar	0.001
	testEqualsObject	0
	testToString	0
	testTruthValue	0

CircularBufferTest

test

0.004

HeapTest

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

LboolTest

	testNot	0.002
	testEqualsObject	0.001
	testToString	0

QueueTest

	testInsert	0.001
	testDequeue	0
	testClear	0
	testSize	0

TestAtMost

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

TestGroupedTimeoutModelEnumeration

	testTimeoutOnSeconds	2.056
	testTimeoutOnMilliSeconds	2.001
	testTimeoutOnConflicts	1.096

TestPrimeComputation

	testBasicImplicant	0.029
	testImplicantPascal	0.001
	testOtherImplicant	0.001
	testFolletExample	0.002

GenericM2Test

	AbstractM2TestMiniLearningHeap	0.084
	AbstractM2TestMiniLearningHeapEZSimp	0.028
	AbstractM2TestMiniLearningHeapExpSimp	0.031
	AbstractM2TestMiniLearningHeapRsatExpSimp	0.027
	AbstractM2TestMiniLearningHeapRsatExpSimpBiere	0.018
	AbstractM2TestMiniLearningHeapRsatExpSimpLuby	0.018
	AbstractM2TestGreedySolver	0.022
	AbstractM2TestDefaultAutoErasePhaseSaving	0.022
	AbstractM2TestBestWL	0.017
	AbstractM2TestDefaultMS21PhaseSaving	0.018
	AbstractM2TestBestHT	0.051
	AbstractM2TestBestSingleWL	0.014
	AbstractM2TestBest17	0.021
	AbstractM2TestGlucose	0.008
	AbstractM2TestMiniLearningPure	0.02
	AbstractM2TestMiniLearningHeapEZSimpNoRestarts	0.043
	AbstractM2TestMiniLearningHeapEZSimpLongRestarts	0.025
	AbstractM2TestMiniSATHeap	0.008
	AbstractM2TestMiniSATHeapEZSimp	0.006
	AbstractM2TestMiniSATHeapExpSimp	0.007
	AbstractM2TestBackjumping	0.063
	AbstractM2TestMinOneSolver	0.007
	AbstractM2TestDefault	0.006
	AbstractM2TestLight	0.006

M2AtLeastTest

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

M2BackjumpingTest

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

M2CardMaxYannTest

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

M2CardMinYannTest

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

M2MiniLearningTest

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

M2MiniSATTest

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

TestAssertion

testAssertion

0.001

TestLubyFunction

testSomeKnownValues

0.004

TestsFonctionnels

	testSat	0.034
	testUnsat	0.002
	testTrivialUnsat	0
	testTrivialSat	0.001
	testTrivialSatNewVar	0
	testBug001	0.006
	testTrivialInconsistentFormula	0.001
	testCommentsInInstance	0.001
	testRemoveConstraints	0.001
	testRemoveAtLeast	0.001
	testIsImplied	0
	testIsImplied3	0
	testWhenNewVarNotCalled	0.001

VarOrderTest

	testNewVar	0.008
	testNewVarint	0
	testSelect	0
	testSetVarDecay	0
	testUndo	0
	testUpdateVar	0
	testVarDecayActivity	0
	testNumberOfInterestingVariables	0
	testGetVocabulary	0

ModelIteratorTest

	testModelIterator	0.032
	testInnerModelIterator	0.003
	testInplicantCoverIterator	0.002
	testModelIteratorLimit	0.002
	testCardModel	0.004
	testIncModel	0.003
	testIsSatisfiableVecInt	0.002
	testGlobalTimeoutCounter	3.007
	testGlobalTimeoutIterator	3.003
	testSpecificValues	0.036

SingleSolutionTest

	testHasASingleSolution	0.029
	testHasNoSingleSolution	0.001
	testHasNoSingleSolutionUNSAT	0.001
	testHasASingleSolutionIVecInt	0.001

TestConstrGroup

	testDeleteGroup	0.028
	canPutAUnitClauseInAGroup	0.001
	checkBugReportedByThomas	0
	checkItWorksAfterRunningTheSolver	0.003
	checkGroupDoesWorkWhenClausesAreReducedByUnitPropgation	0
	checkTheExpectedWayToDealWithUnitClausesToRemove	0.001

TestDeletionXplain

	testGlobalInconsistency	0.032
	testGlobalInconsistencyIndex	0.002
	testAlmostGlobalInconsistency	0.003
	testAlmostGlobalInconsistencyIndex	0.002
	testAlmostGlobalInconsistencyII	0.003
	testAlmostGlobalInconsistencyIIIndex	0.002
	testTheCaseOfTwoMUSes	0.003
	testEclipseTestCase	0.002
	testEclipseTestCase2	0.002

TestFreeId

	testEmptySolver	0.024
	testIncrementalFeed	0.002
	testReserveParameter	0.001

TestInsertionXplain

	testGlobalInconsistency	0.032
	testGlobalInconsistencyIndex	0.003
	testAlmostGlobalInconsistency	0.003
	testAlmostGlobalInconsistencyIndex	0.004
	testAlmostGlobalInconsistencyII	0.004
	testAlmostGlobalInconsistencyIIIndex	0.003
	testTheCaseOfTwoMUSes	0.004
	testEclipseTestCase	0.003
	testEclipseTestCase2	0.003

TestQuickXplain

	testGlobalInconsistency	0.034
	testGlobalInconsistencyIndex	0.003
	testAlmostGlobalInconsistency	0.003
	testAlmostGlobalInconsistencyIndex	0.003
	testAlmostGlobalInconsistencyII	0.003
	testAlmostGlobalInconsistencyIIIndex	0.003
	testTheCaseOfTwoMUSes	0.003
	testEclipseTestCase	0.003
	testEclipseTestCase2	0.003

TestQuickXplain2001

	testGlobalInconsistency	0.033
	testGlobalInconsistencyIndex	0.003
	testAlmostGlobalInconsistency	0.003
	testAlmostGlobalInconsistencyIndex	0.004
	testAlmostGlobalInconsistencyII	0.003
	testAlmostGlobalInconsistencyIIIndex	0.003
	testTheCaseOfTwoMUSes	0.004
	testEclipseTestCase	0.003
	testEclipseTestCase2	0.003

TestSatAssumps

	testIterativeAssumptionCallsWithSet	0.547
	testIterativeAssumptionCallsWithList	0.364
	testIterativeCorrectWay	0.237

RemiUtilsTest

testBugUnitClauses

0.03

TestClausalCardinalitiesBinaryEncoding

	testAtMostOne	0.038
	testExactlyOne	0.003
	testAtLeastOne	0.005
	testAtMost2	0.008
	testAtLeast2	0.01
	testExactly2	0.008

TestClausalCardinalitiesBinomialEncoding

	testAtMostOne	0.038
	testExactlyOne	0.003
	testAtLeastOne	0.005
	testAtMost2	0.004
	testAtLeast2	0.004
	testExactly2	0.003

TestClausalCardinalitiesCommanderEncoding

	testAtMostOne	0.037
	testExactlyOne	0.003
	testAtLeastOne	0.005
	testAtMost2	0.004
	testAtLeast2	0.005
	testExactly2	0.003
	testAtMostOneWith8Vars	0.004
	testExactly4With11Vars	0.072
	testAtMost4With11Vars	0.085

TestClausalCardinalitiesLadderEncoding

	testAtMostOne	0.04
	testExactlyOne	0.003
	testAtLeastOne	0.005
	testAtMost2	0.004
	testAtLeast2	0.005
	testExactly2	0.003
	testAtMostOneWith8Vars	0.005
	testExactly4With11Vars	0.071
	testAtMost4With11Vars	0.084

TestClausalCardinalitiesProductEncoding

	testAtMostOne	0.038
	testExactlyOne	0.002
	testAtLeastOne	0.005
	testAtMost2	0.005
	testAtLeast2	0.005
	testExactly2	0.003
	testAtMostOneWith8Vars	0.004
	testExactly4With11Vars	0.072
	testAtMost4With11Vars	0.083

TestClausalCardinalitiesSequentialEncoding

	testAtMostOne	0.039
	testExactlyOne	0.003
	testAtLeastOne	0.005
	testAtMost2	0.006
	testAtLeast2	0.01
	testExactly2	0.003
	testAtMostOneWith8Vars	0.004
	testExactly4With11Vars	0.069
	testAtMost4With11Vars	0.13

TestGateTranslator

testTwoValues