Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2BackjumpingTest

NameTestsErrorsFailuresTime(s)
M2BackjumpingTest10101514.503

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.144
testAim50SAT2Success0.016
testAim50SAT3Success0.016
testAim50SAT4Success0.018
testAim50SAT5Success0.026
testAim50SAT6Success0.019
testAim50SAT7Success0.006
testAim50SAT8Success0.008
testAim50SAT9Success0.003
testAim50SAT10Success0.006
testAim50SAT11Success0.005
testAim50SAT12Success0.008
testAim50SAT13Success0.012
testAim50SAT14Success0.005
testAim50SAT15Success0.005
testAim50SAT16Success0.004
testAim50UNSAT1Success0.005
testAim50UNSAT2Success0.007
testAim50UNSAT3Success0.004
testAim50UNSAT4Success0.009
testAim50UNSAT5Success0.002
testAim50UNSAT6Success0.002
testAim50UNSAT7Success0.003
testAim50UNSAT8Success0.003
testIi1Success0.002
testIi2Success0.006
testIi3Success0.009
testIi4Success0.018
testIi5Success0.013
testIi6Success0.018
testIi7Success0.027
testIi8Success0.036
testIi9Success0.015
testIi10Success0.030
testIi11Success0.016
testIi12Success0.030
testIi13Success0.015
testIi14Success0.028
testIi15Success0.090
testIi16Success0.183
testIi17Success0.118
testIi18Success0.098
testIi20Success0.222
testIi21Success0.081
testIi22Success0.061
testIi23Success0.097
testIi24Success0.118
testJNH1Success0.009
testJNH2Success0.008
testJNH3Success0.032
testJNH4Success0.008
testJNH5Success0.012
testJNH6Success0.017
testJNH7Success0.008
testJNH8Success0.008
testJNH9Success0.013
testJNH10Success0.008
testJNH11Success0.016
testJNH12Success0.009
testJNH13Success0.009
testJNH14Success0.008
testJNH15Success0.011
testJNH16Success0.124
testJNH17Success0.007
testJNH18Success0.015
testJNH19Success0.152
testJNH20Success0.014
testJNH21Success0.008
testJNH22Success0.008
testJNH23Success0.017
testJNH24Success0.017
testJNH25Success0.009
testJNH26Success0.013
testJNH27Success0.008
testJNH28Success0.011
testJNH29Success0.013
testJNH30Success0.007
testJNH31Success0.010
testJNH32Success0.033
testJNH33Success0.010
testJNH34Success0.008
testJNH35Success0.009
testJNH36Success0.015
testJNH37Success0.008
testJNH38Success0.007
testJNH39Success0.019
testJNH40Success0.022
testJNH41Success0.010
testJNH42Success0.007
testJNH43Success0.018
testJNH44Success0.007
testJNH45Success0.010
testJNH46Success0.048
testJNH47Success0.008
testJNH48Success0.016
testJNH49Success0.007
testJNH50Success0.007
testHole6Success0.324
testHole7Success4.009
testHole8Success207.557
testHole9FailureTimeout: need more time to complete!

junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.AbstractM2Test.testHole9(AbstractM2Test.java:574) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)		300.014
Properties »