Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for file Vec.java:
Stmts:	133	LOC:	458	Total cmp:	30	Stmts/Method:	3,59
Branches:	74	NCLOC:	263	Cmp density:	0,5	Methods/Class:	37
Methods:	37			Avg method cmp:	1,78
Classes:	1

Show Tests (228) Select All Deselect All
Highlight	Test Contribution	Test	Result
	0.44672132	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5060 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5060	3 FAIL
	0.3237705	org.sat4j.core.VecTest.testSortUnique org.sat4j.core.VecTest.testSortUnique	1 PASS
	0.26229507	org.sat4j.core.VecTest.testSort org.sat4j.core.VecTest.testSort	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH49 org.sat4j.minisat.AbstractM2Test.testJNH49	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH50 org.sat4j.minisat.AbstractM2Test.testJNH50	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testHole6 org.sat4j.minisat.AbstractM2Test.testHole6	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testHole7 org.sat4j.minisat.AbstractM2Test.testHole7	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testHole8 org.sat4j.minisat.AbstractM2Test.testHole8	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testHole9 org.sat4j.minisat.AbstractM2Test.testHole9	3 FAIL
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH41 org.sat4j.minisat.AbstractM2Test.testJNH41	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH42 org.sat4j.minisat.AbstractM2Test.testJNH42	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH43 org.sat4j.minisat.AbstractM2Test.testJNH43	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH44 org.sat4j.minisat.AbstractM2Test.testJNH44	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH45 org.sat4j.minisat.AbstractM2Test.testJNH45	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH46 org.sat4j.minisat.AbstractM2Test.testJNH46	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH47 org.sat4j.minisat.AbstractM2Test.testJNH47	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH48 org.sat4j.minisat.AbstractM2Test.testJNH48	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH23 org.sat4j.minisat.AbstractM2Test.testJNH23	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH24 org.sat4j.minisat.AbstractM2Test.testJNH24	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH21 org.sat4j.minisat.AbstractM2Test.testJNH21	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH22 org.sat4j.minisat.AbstractM2Test.testJNH22	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH19 org.sat4j.minisat.AbstractM2Test.testJNH19	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH20 org.sat4j.minisat.AbstractM2Test.testJNH20	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH17 org.sat4j.minisat.AbstractM2Test.testJNH17	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH18 org.sat4j.minisat.AbstractM2Test.testJNH18	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH15 org.sat4j.minisat.AbstractM2Test.testJNH15	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH16 org.sat4j.minisat.AbstractM2Test.testJNH16	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH13 org.sat4j.minisat.AbstractM2Test.testJNH13	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH14 org.sat4j.minisat.AbstractM2Test.testJNH14	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH11 org.sat4j.minisat.AbstractM2Test.testJNH11	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH12 org.sat4j.minisat.AbstractM2Test.testJNH12	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH9 org.sat4j.minisat.AbstractM2Test.testJNH9	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH10 org.sat4j.minisat.AbstractM2Test.testJNH10	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH40 org.sat4j.minisat.AbstractM2Test.testJNH40	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH39 org.sat4j.minisat.AbstractM2Test.testJNH39	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH38 org.sat4j.minisat.AbstractM2Test.testJNH38	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH37 org.sat4j.minisat.AbstractM2Test.testJNH37	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH36 org.sat4j.minisat.AbstractM2Test.testJNH36	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH35 org.sat4j.minisat.AbstractM2Test.testJNH35	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH34 org.sat4j.minisat.AbstractM2Test.testJNH34	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH33 org.sat4j.minisat.AbstractM2Test.testJNH33	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH32 org.sat4j.minisat.AbstractM2Test.testJNH32	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH31 org.sat4j.minisat.AbstractM2Test.testJNH31	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH30 org.sat4j.minisat.AbstractM2Test.testJNH30	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH29 org.sat4j.minisat.AbstractM2Test.testJNH29	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH28 org.sat4j.minisat.AbstractM2Test.testJNH28	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH27 org.sat4j.minisat.AbstractM2Test.testJNH27	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH26 org.sat4j.minisat.AbstractM2Test.testJNH26	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH25 org.sat4j.minisat.AbstractM2Test.testJNH25	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT8 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT8	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH6 org.sat4j.minisat.AbstractM2Test.testJNH6	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH5 org.sat4j.minisat.AbstractM2Test.testJNH5	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH8 org.sat4j.minisat.AbstractM2Test.testJNH8	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH7 org.sat4j.minisat.AbstractM2Test.testJNH7	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH2 org.sat4j.minisat.AbstractM2Test.testJNH2	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH1 org.sat4j.minisat.AbstractM2Test.testJNH1	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH4 org.sat4j.minisat.AbstractM2Test.testJNH4	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testJNH3 org.sat4j.minisat.AbstractM2Test.testJNH3	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT12 org.sat4j.minisat.AbstractM2Test.testAim50SAT12	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT13 org.sat4j.minisat.AbstractM2Test.testAim50SAT13	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT14 org.sat4j.minisat.AbstractM2Test.testAim50SAT14	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT15 org.sat4j.minisat.AbstractM2Test.testAim50SAT15	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT8 org.sat4j.minisat.AbstractM2Test.testAim50SAT8	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT9 org.sat4j.minisat.AbstractM2Test.testAim50SAT9	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT11 org.sat4j.minisat.AbstractM2Test.testAim50SAT11	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT4 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT4	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT5 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT5	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT6 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT6	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT7 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT7	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT1 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT1	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT2 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT2	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT3 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT3	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT5 org.sat4j.minisat.AbstractM2Test.testAim50SAT5	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT4 org.sat4j.minisat.AbstractM2Test.testAim50SAT4	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT7 org.sat4j.minisat.AbstractM2Test.testAim50SAT7	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT6 org.sat4j.minisat.AbstractM2Test.testAim50SAT6	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT1 org.sat4j.minisat.AbstractM2Test.testAim50SAT1	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT3 org.sat4j.minisat.AbstractM2Test.testAim50SAT3	1 PASS
	0.21721311	org.sat4j.minisat.AbstractM2Test.testAim50SAT2 org.sat4j.minisat.AbstractM2Test.testAim50SAT2	1 PASS
	0.2090164	org.sat4j.minisat.AbstractM2Test.testAim50SAT10 org.sat4j.minisat.AbstractM2Test.testAim50SAT10	1 PASS
	0.2090164	org.sat4j.minisat.AbstractM2Test.testAim50SAT16 org.sat4j.minisat.AbstractM2Test.testAim50SAT16	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi12 org.sat4j.minisat.AbstractM2Test.testIi12	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi13 org.sat4j.minisat.AbstractM2Test.testIi13	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi14 org.sat4j.minisat.AbstractM2Test.testIi14	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi15 org.sat4j.minisat.AbstractM2Test.testIi15	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi8 org.sat4j.minisat.AbstractM2Test.testIi8	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi9 org.sat4j.minisat.AbstractM2Test.testIi9	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi10 org.sat4j.minisat.AbstractM2Test.testIi10	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi11 org.sat4j.minisat.AbstractM2Test.testIi11	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi4 org.sat4j.minisat.AbstractM2Test.testIi4	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi5 org.sat4j.minisat.AbstractM2Test.testIi5	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi6 org.sat4j.minisat.AbstractM2Test.testIi6	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi7 org.sat4j.minisat.AbstractM2Test.testIi7	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi1 org.sat4j.minisat.AbstractM2Test.testIi1	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi2 org.sat4j.minisat.AbstractM2Test.testIi2	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi3 org.sat4j.minisat.AbstractM2Test.testIi3	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi22 org.sat4j.minisat.AbstractM2Test.testIi22	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi21 org.sat4j.minisat.AbstractM2Test.testIi21	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi24 org.sat4j.minisat.AbstractM2Test.testIi24	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi23 org.sat4j.minisat.AbstractM2Test.testIi23	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi17 org.sat4j.minisat.AbstractM2Test.testIi17	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi16 org.sat4j.minisat.AbstractM2Test.testIi16	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi20 org.sat4j.minisat.AbstractM2Test.testIi20	1 PASS
	0.18032786	org.sat4j.minisat.AbstractM2Test.testIi18 org.sat4j.minisat.AbstractM2Test.testIi18	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg15 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg15	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg16 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg16	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg13 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg13	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg14 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg14	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg11 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg11	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg12 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg12	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg9 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg9	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg10 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg10	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg7 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg7	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg8 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg8	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg5 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg5	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg6 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg6	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg4 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg4	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg18 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg18	1 PASS
	0.18032786	org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg17 org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg17	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN56 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN56	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN5 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN5	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN45 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN45	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN4 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN4	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN78 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN78	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN7 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN7	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata103 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata103	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN67 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN67	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata83 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata83	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN6 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN6	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata63 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata63	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata43 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata43	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc103 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc103	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc83 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc83	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc63 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc63	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN34 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN34	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc43 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc43	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN9 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN9	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN910 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN910	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN8 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN8	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN89 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN89	1 PASS
	0.1762295	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN10 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN10	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4050 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4050	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4045 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4045	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5055 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5055	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5051 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5051	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3540 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3540	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3536 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3536	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4041 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4041	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3545 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3545	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2030 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2030	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3031 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3031	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3035 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3035	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3040 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3040	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1520 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1520	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1525 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1525	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2021 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2021	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2025 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2025	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1011 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1011	3 FAIL
	0.1762295	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1015 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1015	3 FAIL