Clover Coverage Report

Coverage timestamp: mer. juin 27 2007 07:27:16 CEST

FRAMES NO FRAMES SHOW HELP

Statistics for file MaxWatchPb.java:
Stmts:	77	LOC:	331	Total cmp:	24	Stmts/Method:	5,92
Branches:	52	NCLOC:	151	Cmp density:	0,47	Methods/Class:	13
Methods:	13			Avg method cmp:	2,77
Classes:	1

Expand All

MaxWatchPb

Line # 38

Total Statements 77

Complexity 24

TOTAL Coverage 69,7%

0.6971831

Show Tests (177) Select All Deselect All
Highlight	Test Contribution	Test	Result
	0.6619718	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata103 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata103	1 PASS
	0.6619718	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata83 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata83	1 PASS
	0.6619718	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata63 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata63	1 PASS
	0.6619718	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata43 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata43	1 PASS
	0.6619718	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc103 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc103	1 PASS
	0.6619718	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc83 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc83	1 PASS
	0.6619718	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc63 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc63	1 PASS
	0.6619718	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc43 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc43	1 PASS
	0.6056338	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnC432 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnC432	1 PASS
	0.59859157	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnc8 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnc8	1 PASS
	0.59859157	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncmb org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncmb	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT12 org.sat4j.minisat.AbstractM2Test.testAim50SAT12	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH49 org.sat4j.minisat.AbstractM2Test.testJNH49	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT13 org.sat4j.minisat.AbstractM2Test.testAim50SAT13	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH50 org.sat4j.minisat.AbstractM2Test.testJNH50	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT14 org.sat4j.minisat.AbstractM2Test.testAim50SAT14	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testHole6 org.sat4j.minisat.AbstractM2Test.testHole6	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT15 org.sat4j.minisat.AbstractM2Test.testAim50SAT15	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testHole7 org.sat4j.minisat.AbstractM2Test.testHole7	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT8 org.sat4j.minisat.AbstractM2Test.testAim50SAT8	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testHole8 org.sat4j.minisat.AbstractM2Test.testHole8	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT9 org.sat4j.minisat.AbstractM2Test.testAim50SAT9	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testHole9 org.sat4j.minisat.AbstractM2Test.testHole9	3 FAIL
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT10 org.sat4j.minisat.AbstractM2Test.testAim50SAT10	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT11 org.sat4j.minisat.AbstractM2Test.testAim50SAT11	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH41 org.sat4j.minisat.AbstractM2Test.testJNH41	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT4 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT4	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH42 org.sat4j.minisat.AbstractM2Test.testJNH42	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT5 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT5	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH43 org.sat4j.minisat.AbstractM2Test.testJNH43	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT6 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT6	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH44 org.sat4j.minisat.AbstractM2Test.testJNH44	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT7 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT7	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH45 org.sat4j.minisat.AbstractM2Test.testJNH45	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT16 org.sat4j.minisat.AbstractM2Test.testAim50SAT16	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH46 org.sat4j.minisat.AbstractM2Test.testJNH46	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT1 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT1	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH47 org.sat4j.minisat.AbstractM2Test.testJNH47	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT2 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT2	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH48 org.sat4j.minisat.AbstractM2Test.testJNH48	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT3 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT3	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT5 org.sat4j.minisat.AbstractM2Test.testAim50SAT5	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT4 org.sat4j.minisat.AbstractM2Test.testAim50SAT4	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT7 org.sat4j.minisat.AbstractM2Test.testAim50SAT7	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT6 org.sat4j.minisat.AbstractM2Test.testAim50SAT6	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT1 org.sat4j.minisat.AbstractM2Test.testAim50SAT1	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT3 org.sat4j.minisat.AbstractM2Test.testAim50SAT3	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50SAT2 org.sat4j.minisat.AbstractM2Test.testAim50SAT2	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH23 org.sat4j.minisat.AbstractM2Test.testJNH23	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH24 org.sat4j.minisat.AbstractM2Test.testJNH24	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH21 org.sat4j.minisat.AbstractM2Test.testJNH21	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH22 org.sat4j.minisat.AbstractM2Test.testJNH22	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH19 org.sat4j.minisat.AbstractM2Test.testJNH19	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH20 org.sat4j.minisat.AbstractM2Test.testJNH20	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH17 org.sat4j.minisat.AbstractM2Test.testJNH17	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH18 org.sat4j.minisat.AbstractM2Test.testJNH18	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH15 org.sat4j.minisat.AbstractM2Test.testJNH15	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH16 org.sat4j.minisat.AbstractM2Test.testJNH16	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH13 org.sat4j.minisat.AbstractM2Test.testJNH13	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH14 org.sat4j.minisat.AbstractM2Test.testJNH14	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH11 org.sat4j.minisat.AbstractM2Test.testJNH11	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH12 org.sat4j.minisat.AbstractM2Test.testJNH12	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH9 org.sat4j.minisat.AbstractM2Test.testJNH9	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH10 org.sat4j.minisat.AbstractM2Test.testJNH10	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH40 org.sat4j.minisat.AbstractM2Test.testJNH40	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH39 org.sat4j.minisat.AbstractM2Test.testJNH39	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH38 org.sat4j.minisat.AbstractM2Test.testJNH38	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH37 org.sat4j.minisat.AbstractM2Test.testJNH37	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH36 org.sat4j.minisat.AbstractM2Test.testJNH36	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH35 org.sat4j.minisat.AbstractM2Test.testJNH35	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH34 org.sat4j.minisat.AbstractM2Test.testJNH34	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH33 org.sat4j.minisat.AbstractM2Test.testJNH33	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH32 org.sat4j.minisat.AbstractM2Test.testJNH32	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH31 org.sat4j.minisat.AbstractM2Test.testJNH31	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH30 org.sat4j.minisat.AbstractM2Test.testJNH30	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH29 org.sat4j.minisat.AbstractM2Test.testJNH29	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH28 org.sat4j.minisat.AbstractM2Test.testJNH28	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH27 org.sat4j.minisat.AbstractM2Test.testJNH27	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH26 org.sat4j.minisat.AbstractM2Test.testJNH26	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH25 org.sat4j.minisat.AbstractM2Test.testJNH25	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi15 org.sat4j.minisat.AbstractM2Test.testIi15	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi11 org.sat4j.minisat.AbstractM2Test.testIi11	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi4 org.sat4j.minisat.AbstractM2Test.testIi4	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi5 org.sat4j.minisat.AbstractM2Test.testIi5	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi6 org.sat4j.minisat.AbstractM2Test.testIi6	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT8 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT8	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi1 org.sat4j.minisat.AbstractM2Test.testIi1	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi3 org.sat4j.minisat.AbstractM2Test.testIi3	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH6 org.sat4j.minisat.AbstractM2Test.testJNH6	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH5 org.sat4j.minisat.AbstractM2Test.testJNH5	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH8 org.sat4j.minisat.AbstractM2Test.testJNH8	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH7 org.sat4j.minisat.AbstractM2Test.testJNH7	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH2 org.sat4j.minisat.AbstractM2Test.testJNH2	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH1 org.sat4j.minisat.AbstractM2Test.testJNH1	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH4 org.sat4j.minisat.AbstractM2Test.testJNH4	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testJNH3 org.sat4j.minisat.AbstractM2Test.testJNH3	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi21 org.sat4j.minisat.AbstractM2Test.testIi21	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi24 org.sat4j.minisat.AbstractM2Test.testIi24	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi23 org.sat4j.minisat.AbstractM2Test.testIi23	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi17 org.sat4j.minisat.AbstractM2Test.testIi17	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi16 org.sat4j.minisat.AbstractM2Test.testIi16	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi20 org.sat4j.minisat.AbstractM2Test.testIi20	1 PASS
	0.58450705	org.sat4j.minisat.AbstractM2Test.testIi18 org.sat4j.minisat.AbstractM2Test.testIi18	1 PASS
	0.57042253	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN5 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN5	1 PASS
	0.57042253	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN4 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN4	1 PASS
	0.57042253	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN7 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN7	1 PASS
	0.57042253	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN6 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN6	1 PASS
	0.57042253	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN9 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN9	1 PASS
	0.57042253	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN8 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN8	1 PASS
	0.57042253	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN10 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN10	3 FAIL
	0.57042253	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5051 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5051	3 FAIL
	0.57042253	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3536 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3536	3 FAIL
	0.57042253	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4041 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4041	3 FAIL
	0.57042253	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3031 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3031	3 FAIL
	0.57042253	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2021 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2021	3 FAIL
	0.57042253	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1011 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1011	3 FAIL
	0.57042253	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1516 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1516	3 FAIL
	0.57042253	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnmux org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnmux	1 PASS
	0.57042253	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnmyadder org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnmyadder	1 PASS
	0.5422535	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncc org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncc	1 PASS
	0.5422535	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnb1 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnb1	1 PASS
	0.5422535	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnC17 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnC17	1 PASS
	0.5422535	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testn9symml org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testn9symml	1 PASS
	0.5422535	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncm42a org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncm42a	1 PASS
	0.5140845	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg3 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg3	1 PASS
	0.5140845	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg1 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg1	1 PASS
	0.5140845	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg2 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg2	1 PASS
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5060 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5060	3 FAIL
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4050 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4050	3 FAIL
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4045 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4045	3 FAIL
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5055 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5055	3 FAIL
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3540 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3540	3 FAIL
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3545 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3545	3 FAIL
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2030 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2030	3 FAIL
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3035 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3035	3 FAIL
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3040 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3040	3 FAIL
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1520 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1520	3 FAIL
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1525 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1525	3 FAIL
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2025 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2025	3 FAIL
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1015 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1015	3 FAIL
	0.5140845	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1020 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1020	3 FAIL
	0.5070422	org.sat4j.minisat.AbstractM2Test.testIi12 org.sat4j.minisat.AbstractM2Test.testIi12	1 PASS
	0.5070422	org.sat4j.minisat.AbstractM2Test.testIi13 org.sat4j.minisat.AbstractM2Test.testIi13	1 PASS
	0.5070422	org.sat4j.minisat.AbstractM2Test.testIi14 org.sat4j.minisat.AbstractM2Test.testIi14	1 PASS
	0.5070422	org.sat4j.minisat.AbstractM2Test.testIi8 org.sat4j.minisat.AbstractM2Test.testIi8	1 PASS
	0.5070422	org.sat4j.minisat.AbstractM2Test.testIi9 org.sat4j.minisat.AbstractM2Test.testIi9	1 PASS
	0.5070422	org.sat4j.minisat.AbstractM2Test.testIi10 org.sat4j.minisat.AbstractM2Test.testIi10	1 PASS
	0.5070422	org.sat4j.minisat.AbstractM2Test.testIi7 org.sat4j.minisat.AbstractM2Test.testIi7	1 PASS
	0.5070422	org.sat4j.minisat.AbstractM2Test.testIi2 org.sat4j.minisat.AbstractM2Test.testIi2	1 PASS
	0.5070422	org.sat4j.minisat.AbstractM2Test.testIi22 org.sat4j.minisat.AbstractM2Test.testIi22	1 PASS
	0.49295774	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN56 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN56	1 PASS
	0.49295774	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN45 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN45	1 PASS
	0.49295774	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN78 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN78	1 PASS
	0.49295774	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN67 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN67	1 PASS
	0.49295774	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN34 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN34	1 PASS
	0.49295774	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN910 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN910	1 PASS
	0.49295774	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN89 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN89	1 PASS
	0.43661973	org.sat4j.minisat.CounterPBConstrWithClauseLearningOnCNFTest.testPropagation org.sat4j.minisat.CounterPBConstrWithClauseLearningOnCNFTest.testPropagation	1 PASS
	0.43661973	org.sat4j.minisat.CounterPBConstrWithPBConstrLearningOnCNFTest.testPropagation org.sat4j.minisat.CounterPBConstrWithPBConstrLearningOnCNFTest.testPropagation