Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for file MapPb.java:
Stmts:	72	LOC:	245	Total cmp:	21	Stmts/Method:	3,79
Branches:	56	NCLOC:	165	Cmp density:	0,54	Methods/Class:	19
Methods:	19			Avg method cmp:	2,05
Classes:	1

Expand All

MapPb

Line # 42

Total Statements 72

Complexity 21

TOTAL Coverage 82,3%

0.82312924

Show Tests (181) Select All Deselect All
Highlight	Test Contribution	Test	Result
	0.82312924	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata103 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata103	1 PASS
	0.82312924	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc103 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc103	1 PASS
	0.79591835	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata83 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata83	1 PASS
	0.79591835	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata63 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata63	1 PASS
	0.79591835	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc83 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc83	1 PASS
	0.79591835	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc63 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc63	1 PASS
	0.75510204	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata43 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata43	1 PASS
	0.75510204	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc43 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc43	1 PASS
	0.6530612	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnc8 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnc8	1 PASS
	0.6530612	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnb1 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnb1	1 PASS
	0.6530612	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnC432 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnC432	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT12 org.sat4j.minisat.AbstractM2Test.testAim50SAT12	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH49 org.sat4j.minisat.AbstractM2Test.testJNH49	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT13 org.sat4j.minisat.AbstractM2Test.testAim50SAT13	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH50 org.sat4j.minisat.AbstractM2Test.testJNH50	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT14 org.sat4j.minisat.AbstractM2Test.testAim50SAT14	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testHole6 org.sat4j.minisat.AbstractM2Test.testHole6	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT15 org.sat4j.minisat.AbstractM2Test.testAim50SAT15	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testHole7 org.sat4j.minisat.AbstractM2Test.testHole7	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT8 org.sat4j.minisat.AbstractM2Test.testAim50SAT8	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testHole8 org.sat4j.minisat.AbstractM2Test.testHole8	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT9 org.sat4j.minisat.AbstractM2Test.testAim50SAT9	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testHole9 org.sat4j.minisat.AbstractM2Test.testHole9	3 FAIL
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT10 org.sat4j.minisat.AbstractM2Test.testAim50SAT10	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT11 org.sat4j.minisat.AbstractM2Test.testAim50SAT11	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH41 org.sat4j.minisat.AbstractM2Test.testJNH41	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT4 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT4	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH42 org.sat4j.minisat.AbstractM2Test.testJNH42	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT5 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT5	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH43 org.sat4j.minisat.AbstractM2Test.testJNH43	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT6 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT6	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH44 org.sat4j.minisat.AbstractM2Test.testJNH44	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT7 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT7	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH45 org.sat4j.minisat.AbstractM2Test.testJNH45	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT16 org.sat4j.minisat.AbstractM2Test.testAim50SAT16	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH46 org.sat4j.minisat.AbstractM2Test.testJNH46	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT1 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT1	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH47 org.sat4j.minisat.AbstractM2Test.testJNH47	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT2 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT2	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH48 org.sat4j.minisat.AbstractM2Test.testJNH48	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT3 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT3	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT5 org.sat4j.minisat.AbstractM2Test.testAim50SAT5	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT4 org.sat4j.minisat.AbstractM2Test.testAim50SAT4	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT7 org.sat4j.minisat.AbstractM2Test.testAim50SAT7	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT6 org.sat4j.minisat.AbstractM2Test.testAim50SAT6	1 PASS
	0.6530612	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncm42a org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncm42a	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT1 org.sat4j.minisat.AbstractM2Test.testAim50SAT1	1 PASS
	0.6530612	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncmb org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncmb	1 PASS
	0.6530612	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnmux org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnmux	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT3 org.sat4j.minisat.AbstractM2Test.testAim50SAT3	1 PASS
	0.6530612	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnmyadder org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnmyadder	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50SAT2 org.sat4j.minisat.AbstractM2Test.testAim50SAT2	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH23 org.sat4j.minisat.AbstractM2Test.testJNH23	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH24 org.sat4j.minisat.AbstractM2Test.testJNH24	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH21 org.sat4j.minisat.AbstractM2Test.testJNH21	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH22 org.sat4j.minisat.AbstractM2Test.testJNH22	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH19 org.sat4j.minisat.AbstractM2Test.testJNH19	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH20 org.sat4j.minisat.AbstractM2Test.testJNH20	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH17 org.sat4j.minisat.AbstractM2Test.testJNH17	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH18 org.sat4j.minisat.AbstractM2Test.testJNH18	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH15 org.sat4j.minisat.AbstractM2Test.testJNH15	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH16 org.sat4j.minisat.AbstractM2Test.testJNH16	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH13 org.sat4j.minisat.AbstractM2Test.testJNH13	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH14 org.sat4j.minisat.AbstractM2Test.testJNH14	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH11 org.sat4j.minisat.AbstractM2Test.testJNH11	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH12 org.sat4j.minisat.AbstractM2Test.testJNH12	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH9 org.sat4j.minisat.AbstractM2Test.testJNH9	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH10 org.sat4j.minisat.AbstractM2Test.testJNH10	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH40 org.sat4j.minisat.AbstractM2Test.testJNH40	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH39 org.sat4j.minisat.AbstractM2Test.testJNH39	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH38 org.sat4j.minisat.AbstractM2Test.testJNH38	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH37 org.sat4j.minisat.AbstractM2Test.testJNH37	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH36 org.sat4j.minisat.AbstractM2Test.testJNH36	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH35 org.sat4j.minisat.AbstractM2Test.testJNH35	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH34 org.sat4j.minisat.AbstractM2Test.testJNH34	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH33 org.sat4j.minisat.AbstractM2Test.testJNH33	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH32 org.sat4j.minisat.AbstractM2Test.testJNH32	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH31 org.sat4j.minisat.AbstractM2Test.testJNH31	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH30 org.sat4j.minisat.AbstractM2Test.testJNH30	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH29 org.sat4j.minisat.AbstractM2Test.testJNH29	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH28 org.sat4j.minisat.AbstractM2Test.testJNH28	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH27 org.sat4j.minisat.AbstractM2Test.testJNH27	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH26 org.sat4j.minisat.AbstractM2Test.testJNH26	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH25 org.sat4j.minisat.AbstractM2Test.testJNH25	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi15 org.sat4j.minisat.AbstractM2Test.testIi15	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi11 org.sat4j.minisat.AbstractM2Test.testIi11	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi4 org.sat4j.minisat.AbstractM2Test.testIi4	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi5 org.sat4j.minisat.AbstractM2Test.testIi5	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi6 org.sat4j.minisat.AbstractM2Test.testIi6	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT8 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT8	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi1 org.sat4j.minisat.AbstractM2Test.testIi1	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi3 org.sat4j.minisat.AbstractM2Test.testIi3	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH6 org.sat4j.minisat.AbstractM2Test.testJNH6	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH5 org.sat4j.minisat.AbstractM2Test.testJNH5	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH8 org.sat4j.minisat.AbstractM2Test.testJNH8	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH7 org.sat4j.minisat.AbstractM2Test.testJNH7	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH2 org.sat4j.minisat.AbstractM2Test.testJNH2	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH1 org.sat4j.minisat.AbstractM2Test.testJNH1	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH4 org.sat4j.minisat.AbstractM2Test.testJNH4	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testJNH3 org.sat4j.minisat.AbstractM2Test.testJNH3	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi21 org.sat4j.minisat.AbstractM2Test.testIi21	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi24 org.sat4j.minisat.AbstractM2Test.testIi24	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi23 org.sat4j.minisat.AbstractM2Test.testIi23	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi17 org.sat4j.minisat.AbstractM2Test.testIi17	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi16 org.sat4j.minisat.AbstractM2Test.testIi16	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi20 org.sat4j.minisat.AbstractM2Test.testIi20	1 PASS
	0.6530612	org.sat4j.minisat.AbstractM2Test.testIi18 org.sat4j.minisat.AbstractM2Test.testIi18	1 PASS
	0.6122449	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN5 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN5	1 PASS
	0.6122449	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN4 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN4	1 PASS
	0.6122449	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN7 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN7	1 PASS
	0.6122449	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN6 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN6	1 PASS
	0.6122449	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN9 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN9	1 PASS
	0.6122449	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN8 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN8	1 PASS
	0.6122449	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN10 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN10	3 FAIL
	0.6122449	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5060 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5060	3 FAIL
	0.6122449	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4050 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4050	3 FAIL
	0.6122449	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4045 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4045	3 FAIL
	0.6122449	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5055 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5055	3 FAIL
	0.6122449	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5051 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5051	3 FAIL
	0.6122449	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3540 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3540	3 FAIL
	0.6122449	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3536 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3536	3 FAIL
	0.6122449	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4041 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4041	3 FAIL
	0.6122449	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3545 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3545	3 FAIL
	0.6122449	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2030 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2030	3 FAIL
	0.6122449	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3031 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3031	3 FAIL
	0.6122449