Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2RelsatTest

NameTestsErrorsFailuresTime(s)
M2RelsatTest10100179.339

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.143
testAim50SAT2Success0.018
testAim50SAT3Success0.016
testAim50SAT4Success0.017
testAim50SAT5Success0.023
testAim50SAT6Success0.021
testAim50SAT7Success0.013
testAim50SAT8Success0.008
testAim50SAT9Success0.003
testAim50SAT10Success0.006
testAim50SAT11Success0.014
testAim50SAT12Success0.005
testAim50SAT13Success0.011
testAim50SAT14Success0.004
testAim50SAT15Success0.005
testAim50SAT16Success0.005
testAim50UNSAT1Success0.002
testAim50UNSAT2Success0.009
testAim50UNSAT3Success0.004
testAim50UNSAT4Success0.009
testAim50UNSAT5Success0.003
testAim50UNSAT6Success0.004
testAim50UNSAT7Success0.003
testAim50UNSAT8Success0.003
testIi1Success0.002
testIi2Success0.005
testIi3Success0.011
testIi4Success0.021
testIi5Success0.013
testIi6Success0.018
testIi7Success0.027
testIi8Success0.036
testIi9Success0.015
testIi10Success0.030
testIi11Success0.019
testIi12Success0.031
testIi13Success0.015
testIi14Success0.028
testIi15Success0.085
testIi16Success0.108
testIi17Success0.136
testIi18Success0.092
testIi20Success0.320
testIi21Success0.089
testIi22Success0.062
testIi23Success0.110
testIi24Success0.298
testJNH1Success0.010
testJNH2Success0.011
testJNH3Success0.019
testJNH4Success0.009
testJNH5Success0.010
testJNH6Success0.016
testJNH7Success0.009
testJNH8Success0.011
testJNH9Success0.009
testJNH10Success0.013
testJNH11Success0.017
testJNH12Success0.008
testJNH13Success0.009
testJNH14Success0.008
testJNH15Success0.010
testJNH16Success0.213
testJNH17Success0.008
testJNH18Success0.026
testJNH19Success0.011
testJNH20Success0.013
testJNH21Success0.009
testJNH22Success0.009
testJNH23Success0.021
testJNH24Success0.019
testJNH25Success0.008
testJNH26Success0.015
testJNH27Success0.010
testJNH28Success0.015
testJNH29Success0.012
testJNH30Success0.006
testJNH31Success0.009
testJNH32Success0.017
testJNH33Success0.008
testJNH34Success0.009
testJNH35Success0.011
testJNH36Success0.015
testJNH37Success0.007
testJNH38Success0.009
testJNH39Success0.020
testJNH40Success0.020
testJNH41Success0.012
testJNH42Success0.007
testJNH43Success0.015
testJNH44Success0.007
testJNH45Success0.009
testJNH46Success0.036
testJNH47Success0.010
testJNH48Success0.017
testJNH49Success0.008
testJNH50Success0.007
testHole6Success0.082
testHole7Success0.554
testHole8Success5.540
testHole9Success170.370
Properties »