Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2RelsatTest

NameTestsErrorsFailuresTime(s)
M2RelsatTest1010065.202

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.062
testAim50SAT2Success0.008
testAim50SAT3Success0.005
testAim50SAT4Success0.007
testAim50SAT5Success0.010
testAim50SAT6Success0.008
testAim50SAT7Success0.007
testAim50SAT8Success0.003
testAim50SAT9Success0.002
testAim50SAT10Success0.003
testAim50SAT11Success0.005
testAim50SAT12Success0.003
testAim50SAT13Success0.003
testAim50SAT14Success0.003
testAim50SAT15Success0.002
testAim50SAT16Success0.003
testAim50UNSAT1Success0.001
testAim50UNSAT2Success0.004
testAim50UNSAT3Success0.003
testAim50UNSAT4Success0.003
testAim50UNSAT5Success0.002
testAim50UNSAT6Success0.002
testAim50UNSAT7Success0.002
testAim50UNSAT8Success0.002
testIi1Success0.001
testIi2Success0.003
testIi3Success0.006
testIi4Success0.011
testIi5Success0.007
testIi6Success0.011
testIi7Success0.016
testIi8Success0.022
testIi9Success0.009
testIi10Success0.018
testIi11Success0.011
testIi12Success0.017
testIi13Success0.009
testIi14Success0.017
testIi15Success0.051
testIi16Success0.062
testIi17Success0.079
testIi18Success0.050
testIi20Success0.142
testIi21Success0.051
testIi22Success0.036
testIi23Success0.063
testIi24Success0.126
testJNH1Success0.005
testJNH2Success0.007
testJNH3Success0.010
testJNH4Success0.005
testJNH5Success0.006
testJNH6Success0.008
testJNH7Success0.006
testJNH8Success0.006
testJNH9Success0.006
testJNH10Success0.007
testJNH11Success0.009
testJNH12Success0.004
testJNH13Success0.006
testJNH14Success0.005
testJNH15Success0.006
testJNH16Success0.032
testJNH17Success0.005
testJNH18Success0.012
testJNH19Success0.006
testJNH20Success0.007
testJNH21Success0.005
testJNH22Success0.005
testJNH23Success0.010
testJNH24Success0.009
testJNH25Success0.006
testJNH26Success0.007
testJNH27Success0.006
testJNH28Success0.008
testJNH29Success0.006
testJNH30Success0.005
testJNH31Success0.053
testJNH32Success0.008
testJNH33Success0.005
testJNH34Success0.005
testJNH35Success0.006
testJNH36Success0.007
testJNH37Success0.005
testJNH38Success0.005
testJNH39Success0.009
testJNH40Success0.010
testJNH41Success0.006
testJNH42Success0.004
testJNH43Success0.008
testJNH44Success0.005
testJNH45Success0.005
testJNH46Success0.016
testJNH47Success0.005
testJNH48Success0.009
testJNH49Success0.004
testJNH50Success0.004
testHole6Success0.028
testHole7Success0.164
testHole8Success1.591
testHole9Success62.004
Properties »
System.out »