Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2MiniLearningCBTest

NameTestsErrorsFailuresTime(s)
M2MiniLearningCBTest10101432.139

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.366
testAim50SAT2Success0.020
testAim50SAT3Success0.013
testAim50SAT4Success0.044
testAim50SAT5Success0.044
testAim50SAT6Success0.019
testAim50SAT7Success0.017
testAim50SAT8Success0.007
testAim50SAT9Success0.015
testAim50SAT10Success0.008
testAim50SAT11Success0.008
testAim50SAT12Success0.011
testAim50SAT13Success0.028
testAim50SAT14Success0.011
testAim50SAT15Success0.009
testAim50SAT16Success0.007
testAim50UNSAT1Success0.004
testAim50UNSAT2Success0.004
testAim50UNSAT3Success0.009
testAim50UNSAT4Success0.004
testAim50UNSAT5Success0.007
testAim50UNSAT6Success0.006
testAim50UNSAT7Success0.005
testAim50UNSAT8Success0.003
testIi1Success0.008
testIi2Success0.010
testIi3Success0.017
testIi4Success0.036
testIi5Success0.024
testIi6Success0.038
testIi7Success0.058
testIi8Success0.078
testIi9Success0.049
testIi10Success0.058
testIi11Success0.043
testIi12Success0.075
testIi13Success0.041
testIi14Success0.059
testIi15Success1.502
testIi16Success0.225
testIi17Success0.258
testIi18Success0.177
testIi20Success0.963
testIi21Success0.269
testIi22Success0.244
testIi23Success0.768
testIi24Success0.136
testJNH1Success0.017
testJNH2Success0.017
testJNH3Success0.086
testJNH4Success0.026
testJNH5Success0.040
testJNH6Success0.037
testJNH7Success0.014
testJNH8Success0.020
testJNH9Success0.021
testJNH10Success0.031
testJNH11Success0.038
testJNH12Success0.017
testJNH13Success0.021
testJNH14Success0.021
testJNH15Success0.026
testJNH16Success0.273
testJNH17Success0.016
testJNH18Success0.027
testJNH19Success0.028
testJNH20Success0.024
testJNH21Success0.021
testJNH22Success0.016
testJNH23Success0.033
testJNH24Success0.034
testJNH25Success0.025
testJNH26Success0.032
testJNH27Success0.012
testJNH28Success0.035
testJNH29Success0.013
testJNH30Success0.014
testJNH31Success0.022
testJNH32Success0.044
testJNH33Success0.017
testJNH34Success0.023
testJNH35Success0.016
testJNH36Success0.026
testJNH37Success0.036
testJNH38Success0.018
testJNH39Success0.034
testJNH40Success0.079
testJNH41Success0.050
testJNH42Success0.018
testJNH43Success0.034
testJNH44Success0.016
testJNH45Success0.024
testJNH46Success0.071
testJNH47Success0.015
testJNH48Success0.029
testJNH49Success0.015
testJNH50Success0.014
testHole6Success0.228
testHole7Success4.252
testHole8Success120.098
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.018
Properties »