Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2MiniLearning23Test

NameTestsErrorsFailuresTime(s)
M2MiniLearning23Test10100160.571

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.345
testAim50SAT2Success0.035
testAim50SAT3Success0.012
testAim50SAT4Success0.037
testAim50SAT5Success0.036
testAim50SAT6Success0.027
testAim50SAT7Success0.020
testAim50SAT8Success0.010
testAim50SAT9Success0.021
testAim50SAT10Success0.007
testAim50SAT11Success0.015
testAim50SAT12Success0.015
testAim50SAT13Success0.029
testAim50SAT14Success0.009
testAim50SAT15Success0.012
testAim50SAT16Success0.007
testAim50UNSAT1Success0.004
testAim50UNSAT2Success0.006
testAim50UNSAT3Success0.005
testAim50UNSAT4Success0.005
testAim50UNSAT5Success0.005
testAim50UNSAT6Success0.005
testAim50UNSAT7Success0.008
testAim50UNSAT8Success0.003
testIi1Success0.005
testIi2Success0.010
testIi3Success0.016
testIi4Success0.034
testIi5Success0.024
testIi6Success0.037
testIi7Success0.059
testIi8Success0.092
testIi9Success0.028
testIi10Success0.056
testIi11Success0.041
testIi12Success0.066
testIi13Success0.036
testIi14Success0.060
testIi15Success0.490
testIi16Success0.252
testIi17Success0.238
testIi18Success0.160
testIi20Success0.299
testIi21Success0.203
testIi22Success0.155
testIi23Success0.201
testIi24Success0.140
testJNH1Success0.014
testJNH2Success0.019
testJNH3Success0.043
testJNH4Success0.018
testJNH5Success0.029
testJNH6Success0.025
testJNH7Success0.018
testJNH8Success0.017
testJNH9Success0.017
testJNH10Success0.020
testJNH11Success0.019
testJNH12Success0.014
testJNH13Success0.018
testJNH14Success0.018
testJNH15Success0.024
testJNH16Success0.178
testJNH17Success0.014
testJNH18Success0.022
testJNH19Success0.606
testJNH20Success0.018
testJNH21Success0.016
testJNH22Success0.015
testJNH23Success0.028
testJNH24Success0.021
testJNH25Success0.020
testJNH26Success0.024
testJNH27Success0.011
testJNH28Success0.021
testJNH29Success0.014
testJNH30Success0.013
testJNH31Success0.017
testJNH32Success0.026
testJNH33Success0.015
testJNH34Success0.022
testJNH35Success0.014
testJNH36Success0.021
testJNH37Success0.019
testJNH38Success0.014
testJNH39Success0.022
testJNH40Success0.036
testJNH41Success0.040
testJNH42Success0.015
testJNH43Success0.022
testJNH44Success0.015
testJNH45Success0.019
testJNH46Success0.052
testJNH47Success0.013
testJNH48Success0.019
testJNH49Success0.014
testJNH50Success0.012
testHole6Success0.139
testHole7Success0.849
testHole8Success13.067
testHole9Success141.277
Properties »