Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2RelsatTest

NameTestsErrorsFailuresTime(s)
M2RelsatTest10100225.705

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.370
testAim50SAT2Success0.024
testAim50SAT3Success0.010
testAim50SAT4Success0.033
testAim50SAT5Success0.032
testAim50SAT6Success0.042
testAim50SAT7Success0.015
testAim50SAT8Success0.011
testAim50SAT9Success0.016
testAim50SAT10Success0.007
testAim50SAT11Success0.042
testAim50SAT12Success0.008
testAim50SAT13Success0.026
testAim50SAT14Success0.009
testAim50SAT15Success0.008
testAim50SAT16Success0.008
testAim50UNSAT1Success0.005
testAim50UNSAT2Success0.004
testAim50UNSAT3Success0.005
testAim50UNSAT4Success0.003
testAim50UNSAT5Success0.008
testAim50UNSAT6Success0.028
testAim50UNSAT7Success0.004
testAim50UNSAT8Success0.005
testIi1Success0.005
testIi2Success0.009
testIi3Success0.016
testIi4Success0.033
testIi5Success0.022
testIi6Success0.035
testIi7Success0.052
testIi8Success0.071
testIi9Success0.028
testIi10Success0.055
testIi11Success0.036
testIi12Success0.072
testIi13Success0.034
testIi14Success0.058
testIi15Success1.093
testIi16Success0.233
testIi17Success0.358
testIi18Success0.176
testIi20Success1.140
testIi21Success0.224
testIi22Success0.155
testIi23Success0.246
testIi24Success0.102
testJNH1Success0.014
testJNH2Success0.017
testJNH3Success0.045
testJNH4Success0.017
testJNH5Success0.022
testJNH6Success0.029
testJNH7Success0.013
testJNH8Success0.018
testJNH9Success0.016
testJNH10Success0.025
testJNH11Success0.025
testJNH12Success0.014
testJNH13Success0.022
testJNH14Success0.017
testJNH15Success0.601
testJNH16Success0.190
testJNH17Success0.014
testJNH18Success0.038
testJNH19Success0.027
testJNH20Success0.018
testJNH21Success0.016
testJNH22Success0.016
testJNH23Success0.027
testJNH24Success0.019
testJNH25Success0.021
testJNH26Success0.026
testJNH27Success0.011
testJNH28Success0.026
testJNH29Success0.015
testJNH30Success0.013
testJNH31Success0.017
testJNH32Success0.042
testJNH33Success0.015
testJNH34Success0.038
testJNH35Success0.015
testJNH36Success0.024
testJNH37Success0.038
testJNH38Success0.015
testJNH39Success0.031
testJNH40Success0.031
testJNH41Success0.040
testJNH42Success0.013
testJNH43Success0.040
testJNH44Success0.013
testJNH45Success0.024
testJNH46Success0.056
testJNH47Success0.013
testJNH48Success0.018
testJNH49Success0.013
testJNH50Success0.012
testHole6Success0.189
testHole7Success1.052
testHole8Success16.066
testHole9Success201.439
Properties »