Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2Mini3SATTest

NameTestsErrorsFailuresTime(s)
M2Mini3SATTest10100117.524

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.059
testAim50SAT2Success0.007
testAim50SAT3Success0.005
testAim50SAT4Success0.006
testAim50SAT5Success0.006
testAim50SAT6Success0.005
testAim50SAT7Success0.002
testAim50SAT8Success0.003
testAim50SAT9Success0.010
testAim50SAT10Success0.003
testAim50SAT11Success0.002
testAim50SAT12Success0.002
testAim50SAT13Success0.004
testAim50SAT14Success0.003
testAim50SAT15Success0.003
testAim50SAT16Success0.004
testAim50UNSAT1Success0.001
testAim50UNSAT2Success0.001
testAim50UNSAT3Success0.002
testAim50UNSAT4Success0.002
testAim50UNSAT5Success0.001
testAim50UNSAT6Success0.002
testAim50UNSAT7Success0.003
testAim50UNSAT8Success0.001
testIi1Success0.003
testIi2Success0.006
testIi3Success0.008
testIi4Success0.012
testIi5Success0.008
testIi6Success0.014
testIi7Success0.015
testIi8Success0.020
testIi9Success0.008
testIi10Success0.016
testIi11Success0.008
testIi12Success0.017
testIi13Success0.008
testIi14Success0.015
testIi15Success0.046
testIi16Success0.065
testIi17Success0.061
testIi18Success0.038
testIi20Success0.035
testIi21Success0.044
testIi22Success0.034
testIi23Success0.056
testIi24Success107.993
testJNH1Success0.005
testJNH2Success0.003
testJNH3Success0.006
testJNH4Success0.005
testJNH5Success0.003
testJNH6Success0.009
testJNH7Success0.003
testJNH8Success0.003
testJNH9Success0.005
testJNH10Success0.003
testJNH11Success0.007
testJNH12Success0.003
testJNH13Success0.004
testJNH14Success0.003
testJNH15Success0.003
testJNH16Success0.096
testJNH17Success0.004
testJNH18Success0.009
testJNH19Success0.005
testJNH20Success0.003
testJNH21Success0.003
testJNH22Success0.003
testJNH23Success0.005
testJNH24Success0.011
testJNH25Success0.005
testJNH26Success0.008
testJNH27Success0.016
testJNH28Success0.004
testJNH29Success0.007
testJNH30Success0.004
testJNH31Success0.004
testJNH32Success0.012
testJNH33Success0.003
testJNH34Success0.005
testJNH35Success0.003
testJNH36Success0.006
testJNH37Success0.034
testJNH38Success0.004
testJNH39Success0.004
testJNH40Success0.035
testJNH41Success0.014
testJNH42Success0.003
testJNH43Success0.007
testJNH44Success0.003
testJNH45Success0.004
testJNH46Success0.016
testJNH47Success0.002
testJNH48Success0.003
testJNH49Success0.003
testJNH50Success0.002
testHole6Success0.012
testHole7Success0.088
testHole8Success0.770
testHole9Success7.535
Properties »
System.out »