Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2MiniSATTest

NameTestsErrorsFailuresTime(s)
M2MiniSATTest1010050.340

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.056
testAim50SAT2Success0.006
testAim50SAT3Success0.004
testAim50SAT4Success0.006
testAim50SAT5Success0.007
testAim50SAT6Success0.003
testAim50SAT7Success0.003
testAim50SAT8Success0.003
testAim50SAT9Success0.004
testAim50SAT10Success0.003
testAim50SAT11Success0.003
testAim50SAT12Success0.003
testAim50SAT13Success0.004
testAim50SAT14Success0.003
testAim50SAT15Success0.002
testAim50SAT16Success0.003
testAim50UNSAT1Success0.002
testAim50UNSAT2Success0.001
testAim50UNSAT3Success0.002
testAim50UNSAT4Success0.001
testAim50UNSAT5Success0.002
testAim50UNSAT6Success0.001
testAim50UNSAT7Success0.001
testAim50UNSAT8Success0.002
testIi1Success0.001
testIi2Success0.003
testIi3Success0.006
testIi4Success0.010
testIi5Success0.007
testIi6Success0.012
testIi7Success0.017
testIi8Success0.023
testIi9Success0.010
testIi10Success0.018
testIi11Success0.010
testIi12Success0.020
testIi13Success0.010
testIi14Success0.019
testIi15Success0.106
testIi16Success0.073
testIi17Success0.072
testIi18Success0.048
testIi20Success0.067
testIi21Success0.058
testIi22Success0.043
testIi23Success0.062
testIi24Success0.037
testJNH1Success0.005
testJNH2Success0.005
testJNH3Success0.009
testJNH4Success0.005
testJNH5Success0.007
testJNH6Success0.006
testJNH7Success0.005
testJNH8Success0.005
testJNH9Success0.005
testJNH10Success0.006
testJNH11Success0.047
testJNH12Success0.005
testJNH13Success0.005
testJNH14Success0.005
testJNH15Success0.005
testJNH16Success0.033
testJNH17Success0.004
testJNH18Success0.006
testJNH19Success0.005
testJNH20Success0.005
testJNH21Success0.005
testJNH22Success0.004
testJNH23Success0.007
testJNH24Success0.006
testJNH25Success0.005
testJNH26Success0.006
testJNH27Success0.004
testJNH28Success0.006
testJNH29Success0.005
testJNH30Success0.004
testJNH31Success0.004
testJNH32Success0.007
testJNH33Success0.004
testJNH34Success0.006
testJNH35Success0.004
testJNH36Success0.005
testJNH37Success0.006
testJNH38Success0.004
testJNH39Success0.006
testJNH40Success0.008
testJNH41Success0.009
testJNH42Success0.005
testJNH43Success0.006
testJNH44Success0.004
testJNH45Success0.006
testJNH46Success0.011
testJNH47Success0.004
testJNH48Success0.005
testJNH49Success0.005
testJNH50Success0.004
testHole6Success0.015
testHole7Success0.193
testHole8Success1.064
testHole9Success47.834
Properties »
System.out »