Clover Test Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
App    Test    Results   
Overview    Package    File    Test
    FRAMES   NO FRAMES     
 
Class Tests Fail Error % Tests Success
M2Mini3SATTest 101 101 0 0 0 0 243,854 100%
 
Tests Status Message
M2Mini3SATTest.testJNH49M2Mini3SATTest.testJNH49 1 PASS 0.00900,009
M2Mini3SATTest.testJNH50M2Mini3SATTest.testJNH50 1 PASS 0.00900,009
M2Mini3SATTest.testHole6M2Mini3SATTest.testHole6 1 PASS 0.0280,028
M2Mini3SATTest.testHole7M2Mini3SATTest.testHole7 1 PASS 0.1840,184
M2Mini3SATTest.testHole8M2Mini3SATTest.testHole8 1 PASS 1.5761,576
M2Mini3SATTest.testHole9M2Mini3SATTest.testHole9 1 PASS 15.2615,26
M2Mini3SATTest.testJNH41M2Mini3SATTest.testJNH41 1 PASS 0.0320,032
M2Mini3SATTest.testJNH42M2Mini3SATTest.testJNH42 1 PASS 0.010,01
M2Mini3SATTest.testJNH43M2Mini3SATTest.testJNH43 1 PASS 0.0170,017
M2Mini3SATTest.testJNH44M2Mini3SATTest.testJNH44 1 PASS 0.010,01
M2Mini3SATTest.testJNH45M2Mini3SATTest.testJNH45 1 PASS 0.0110,011
M2Mini3SATTest.testJNH46M2Mini3SATTest.testJNH46 1 PASS 0.0340,034
M2Mini3SATTest.testJNH47M2Mini3SATTest.testJNH47 1 PASS 0.00900,009
M2Mini3SATTest.testJNH48M2Mini3SATTest.testJNH48 1 PASS 0.0110,011
M2Mini3SATTest.testJNH23M2Mini3SATTest.testJNH23 1 PASS 0.0140,014
M2Mini3SATTest.testJNH24M2Mini3SATTest.testJNH24 1 PASS 0.0260,026
M2Mini3SATTest.testJNH21M2Mini3SATTest.testJNH21 1 PASS 0.0110,011
M2Mini3SATTest.testJNH22M2Mini3SATTest.testJNH22 1 PASS 0.010,01
M2Mini3SATTest.testJNH19M2Mini3SATTest.testJNH19 1 PASS 0.0140,014
M2Mini3SATTest.testJNH20M2Mini3SATTest.testJNH20 1 PASS 0.0110,011
M2Mini3SATTest.testJNH17M2Mini3SATTest.testJNH17 1 PASS 0.0130,013
M2Mini3SATTest.testJNH18M2Mini3SATTest.testJNH18 1 PASS 0.020,02
M2Mini3SATTest.testJNH15M2Mini3SATTest.testJNH15 1 PASS 0.0120,012
M2Mini3SATTest.testJNH16M2Mini3SATTest.testJNH16 1 PASS 0.1850,185
M2Mini3SATTest.testJNH13M2Mini3SATTest.testJNH13 1 PASS 0.0110,011
M2Mini3SATTest.testJNH14M2Mini3SATTest.testJNH14 1 PASS 0.00900,009
M2Mini3SATTest.testJNH11M2Mini3SATTest.testJNH11 1 PASS 0.0170,017
M2Mini3SATTest.testJNH12M2Mini3SATTest.testJNH12 1 PASS 0.010,01
M2Mini3SATTest.testJNH9M2Mini3SATTest.testJNH9 1 PASS 0.0130,013
M2Mini3SATTest.testJNH10M2Mini3SATTest.testJNH10 1 PASS 0.010,01
M2Mini3SATTest.testJNH40M2Mini3SATTest.testJNH40 1 PASS 0.070,07
M2Mini3SATTest.testJNH39M2Mini3SATTest.testJNH39 1 PASS 0.0120,012
M2Mini3SATTest.testJNH38M2Mini3SATTest.testJNH38 1 PASS 0.0110,011
M2Mini3SATTest.testJNH37M2Mini3SATTest.testJNH37 1 PASS 0.0690,069
M2Mini3SATTest.testJNH36M2Mini3SATTest.testJNH36 1 PASS 0.0140,014
M2Mini3SATTest.testJNH35M2Mini3SATTest.testJNH35 1 PASS 0.0120,012
M2Mini3SATTest.testJNH34M2Mini3SATTest.testJNH34 1 PASS 0.0120,012
M2Mini3SATTest.testJNH33M2Mini3SATTest.testJNH33 1 PASS 0.0110,011
M2Mini3SATTest.testJNH32M2Mini3SATTest.testJNH32 1 PASS 0.0260,026
M2Mini3SATTest.testJNH31M2Mini3SATTest.testJNH31 1 PASS 0.0110,011
M2Mini3SATTest.testJNH30M2Mini3SATTest.testJNH30 1 PASS 0.0130,013
M2Mini3SATTest.testJNH29M2Mini3SATTest.testJNH29 1 PASS 0.0170,017
M2Mini3SATTest.testJNH28M2Mini3SATTest.testJNH28 1 PASS 0.0130,013
M2Mini3SATTest.testJNH27M2Mini3SATTest.testJNH27 1 PASS 0.040,04
M2Mini3SATTest.testJNH26M2Mini3SATTest.testJNH26 1 PASS 0.0190,019
M2Mini3SATTest.testJNH25M2Mini3SATTest.testJNH25 1 PASS 0.0150,015
M2Mini3SATTest.testIi12M2Mini3SATTest.testIi12 1 PASS 0.0280,028
M2Mini3SATTest.testIi13M2Mini3SATTest.testIi13 1 PASS 0.0170,017
M2Mini3SATTest.testIi14M2Mini3SATTest.testIi14 1 PASS 0.0280,028
M2Mini3SATTest.testIi15M2Mini3SATTest.testIi15 1 PASS 0.0740,074
M2Mini3SATTest.testIi8M2Mini3SATTest.testIi8 1 PASS 0.0350,035
M2Mini3SATTest.testIi9M2Mini3SATTest.testIi9 1 PASS 0.0180,018
M2Mini3SATTest.testIi10M2Mini3SATTest.testIi10 1 PASS 0.0290,029
M2Mini3SATTest.testIi11M2Mini3SATTest.testIi11 1 PASS 0.0180,018
M2Mini3SATTest.testIi4M2Mini3SATTest.testIi4 1 PASS 0.0220,022
M2Mini3SATTest.testIi5M2Mini3SATTest.testIi5 1 PASS 0.0260,026
M2Mini3SATTest.testIi6M2Mini3SATTest.testIi6 1 PASS 0.0230,023
M2Mini3SATTest.testIi7M2Mini3SATTest.testIi7 1 PASS 0.0280,028
M2Mini3SATTest.testAim50UNSAT8M2Mini3SATTest.testAim50UNSAT8 1 PASS 0.00800,008
M2Mini3SATTest.testIi1M2Mini3SATTest.testIi1 1 PASS 0.00800,008
M2Mini3SATTest.testIi2M2Mini3SATTest.testIi2 1 PASS 0.0150,015
M2Mini3SATTest.testIi3M2Mini3SATTest.testIi3 1 PASS 0.0180,018
M2Mini3SATTest.testJNH6M2Mini3SATTest.testJNH6 1 PASS 0.0190,019
M2Mini3SATTest.testJNH5M2Mini3SATTest.testJNH5 1 PASS 0.0110,011
M2Mini3SATTest.testJNH8M2Mini3SATTest.testJNH8 1 PASS 0.0110,011
M2Mini3SATTest.testJNH7M2Mini3SATTest.testJNH7 1 PASS 0.010,01
M2Mini3SATTest.testJNH2M2Mini3SATTest.testJNH2 1 PASS 0.010,01
M2Mini3SATTest.testJNH1M2Mini3SATTest.testJNH1 1 PASS 0.0110,011
M2Mini3SATTest.testJNH4M2Mini3SATTest.testJNH4 1 PASS 0.0170,017
M2Mini3SATTest.testJNH3M2Mini3SATTest.testJNH3 1 PASS 0.0170,017
M2Mini3SATTest.testIi22M2Mini3SATTest.testIi22 1 PASS 0.0580,058
M2Mini3SATTest.testIi21M2Mini3SATTest.testIi21 1 PASS 0.0710,071
M2Mini3SATTest.testIi24M2Mini3SATTest.testIi24 1 PASS 224.427224,427
M2Mini3SATTest.testIi23M2Mini3SATTest.testIi23 1 PASS 0.0940,094
M2Mini3SATTest.testIi17M2Mini3SATTest.testIi17 1 PASS 0.0990,099
M2Mini3SATTest.testIi16M2Mini3SATTest.testIi16 1 PASS 0.1140,114
M2Mini3SATTest.testIi20M2Mini3SATTest.testIi20 1 PASS 0.0590,059
M2Mini3SATTest.testIi18M2Mini3SATTest.testIi18 1 PASS 0.0620,062
M2Mini3SATTest.testAim50SAT12M2Mini3SATTest.testAim50SAT12 1 PASS 0.00900,009
M2Mini3SATTest.testAim50SAT13M2Mini3SATTest.testAim50SAT13 1 PASS 0.0160,016
M2Mini3SATTest.testAim50SAT14M2Mini3SATTest.testAim50SAT14 1 PASS 0.010,01
M2Mini3SATTest.testAim50SAT15M2Mini3SATTest.testAim50SAT15 1 PASS 0.010,01
M2Mini3SATTest.testAim50SAT8M2Mini3SATTest.testAim50SAT8 1 PASS 0.00900,009
M2Mini3SATTest.testAim50SAT9M2Mini3SATTest.testAim50SAT9 1 PASS 0.0270,027
M2Mini3SATTest.testAim50SAT10M2Mini3SATTest.testAim50SAT10 1 PASS 0.00900,009
M2Mini3SATTest.testAim50SAT11M2Mini3SATTest.testAim50SAT11 1 PASS 0.00900,009
M2Mini3SATTest.testAim50UNSAT4M2Mini3SATTest.testAim50UNSAT4 1 PASS 0.00800,008
M2Mini3SATTest.testAim50UNSAT5M2Mini3SATTest.testAim50UNSAT5 1 PASS 0.00800,008
M2Mini3SATTest.testAim50UNSAT6M2Mini3SATTest.testAim50UNSAT6 1 PASS 0.00700,007
M2Mini3SATTest.testAim50UNSAT7M2Mini3SATTest.testAim50UNSAT7 1 PASS 0.00800,008
M2Mini3SATTest.testAim50SAT16M2Mini3SATTest.testAim50SAT16 1 PASS 0.00900,009
M2Mini3SATTest.testAim50UNSAT1M2Mini3SATTest.testAim50UNSAT1 1 PASS 0.00800,008
M2Mini3SATTest.testAim50UNSAT2M2Mini3SATTest.testAim50UNSAT2 1 PASS 0.00800,008
M2Mini3SATTest.testAim50UNSAT3M2Mini3SATTest.testAim50UNSAT3 1 PASS 0.00700,007
M2Mini3SATTest.testAim50SAT5M2Mini3SATTest.testAim50SAT5 1 PASS 0.0150,015
M2Mini3SATTest.testAim50SAT4M2Mini3SATTest.testAim50SAT4 1 PASS 0.0160,016
M2Mini3SATTest.testAim50SAT7M2Mini3SATTest.testAim50SAT7 1 PASS 0.00900,009
M2Mini3SATTest.testAim50SAT6M2Mini3SATTest.testAim50SAT6 1 PASS 0.0150,015
M2Mini3SATTest.testAim50SAT1M2Mini3SATTest.testAim50SAT1 1 PASS 0.1680,168
M2Mini3SATTest.testAim50SAT3M2Mini3SATTest.testAim50SAT3 1 PASS 0.0130,013
M2Mini3SATTest.testAim50SAT2M2Mini3SATTest.testAim50SAT2 1 PASS 0.020,02
 
CloverReport generated by Clover Code Coverage v2.0a5
mer. juin 27 2007 07:27:33 CEST.		   Beta Testers License registered to clover-support@cenqua.com. This license of Clover2 is provided for beta testing only. You have 5 day(s) before your Beta Tester License expires.