Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2MiniLearning23Test

NameTestsErrorsFailuresTime(s)
M2MiniLearning23Test10100105.710

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.151
testAim50SAT2Success0.014
testAim50SAT3Success0.006
testAim50SAT4Success0.016
testAim50SAT5Success0.015
testAim50SAT6Success0.010
testAim50SAT7Success0.006
testAim50SAT8Success0.005
testAim50SAT9Success0.010
testAim50SAT10Success0.003
testAim50SAT11Success0.006
testAim50SAT12Success0.007
testAim50SAT13Success0.011
testAim50SAT14Success0.004
testAim50SAT15Success0.006
testAim50SAT16Success0.003
testAim50UNSAT1Success0.002
testAim50UNSAT2Success0.002
testAim50UNSAT3Success0.003
testAim50UNSAT4Success0.002
testAim50UNSAT5Success0.002
testAim50UNSAT6Success0.002
testAim50UNSAT7Success0.003
testAim50UNSAT8Success0.002
testIi1Success0.002
testIi2Success0.005
testIi3Success0.009
testIi4Success0.018
testIi5Success0.013
testIi6Success0.019
testIi7Success0.029
testIi8Success0.044
testIi9Success0.015
testIi10Success0.029
testIi11Success0.020
testIi12Success0.034
testIi13Success0.019
testIi14Success0.032
testIi15Success0.236
testIi16Success0.128
testIi17Success0.126
testIi18Success0.085
testIi20Success0.140
testIi21Success0.108
testIi22Success0.080
testIi23Success0.112
testIi24Success0.074
testJNH1Success0.008
testJNH2Success0.007
testJNH3Success0.020
testJNH4Success0.009
testJNH5Success0.014
testJNH6Success0.013
testJNH7Success0.009
testJNH8Success0.008
testJNH9Success0.009
testJNH10Success0.009
testJNH11Success0.010
testJNH12Success0.008
testJNH13Success0.009
testJNH14Success0.007
testJNH15Success0.011
testJNH16Success0.089
testJNH17Success0.008
testJNH18Success0.010
testJNH19Success0.009
testJNH20Success0.145
testJNH21Success0.009
testJNH22Success0.007
testJNH23Success0.014
testJNH24Success0.011
testJNH25Success0.010
testJNH26Success0.013
testJNH27Success0.006
testJNH28Success0.011
testJNH29Success0.008
testJNH30Success0.007
testJNH31Success0.009
testJNH32Success0.013
testJNH33Success0.008
testJNH34Success0.011
testJNH35Success0.007
testJNH36Success0.011
testJNH37Success0.010
testJNH38Success0.008
testJNH39Success0.011
testJNH40Success0.019
testJNH41Success0.021
testJNH42Success0.008
testJNH43Success0.011
testJNH44Success0.007
testJNH45Success0.010
testJNH46Success0.026
testJNH47Success0.007
testJNH48Success0.010
testJNH49Success0.008
testJNH50Success0.007
testHole6Success0.049
testHole7Success0.454
testHole8Success4.951
testHole9Success97.800
Properties »