Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2MiniLearningCBTest

NameTestsErrorsFailuresTime(s)
M2MiniLearningCBTest10101376.518

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.157
testAim50SAT2Success0.009
testAim50SAT3Success0.008
testAim50SAT4Success0.018
testAim50SAT5Success0.017
testAim50SAT6Success0.007
testAim50SAT7Success0.005
testAim50SAT8Success0.004
testAim50SAT9Success0.007
testAim50SAT10Success0.003
testAim50SAT11Success0.005
testAim50SAT12Success0.005
testAim50SAT13Success0.012
testAim50SAT14Success0.005
testAim50SAT15Success0.004
testAim50SAT16Success0.004
testAim50UNSAT1Success0.003
testAim50UNSAT2Success0.003
testAim50UNSAT3Success0.002
testAim50UNSAT4Success0.002
testAim50UNSAT5Success0.002
testAim50UNSAT6Success0.003
testAim50UNSAT7Success0.002
testAim50UNSAT8Success0.002
testIi1Success0.003
testIi2Success0.005
testIi3Success0.010
testIi4Success0.018
testIi5Success0.013
testIi6Success0.020
testIi7Success0.029
testIi8Success0.040
testIi9Success0.022
testIi10Success0.031
testIi11Success0.022
testIi12Success0.038
testIi13Success0.022
testIi14Success0.032
testIi15Success0.737
testIi16Success0.117
testIi17Success0.137
testIi18Success0.092
testIi20Success0.472
testIi21Success0.143
testIi22Success0.128
testIi23Success0.254
testIi24Success0.076
testJNH1Success0.010
testJNH2Success0.008
testJNH3Success0.041
testJNH4Success0.012
testJNH5Success0.019
testJNH6Success0.020
testJNH7Success0.008
testJNH8Success0.010
testJNH9Success0.010
testJNH10Success0.014
testJNH11Success0.022
testJNH12Success0.009
testJNH13Success0.011
testJNH14Success0.009
testJNH15Success0.013
testJNH16Success0.173
testJNH17Success0.009
testJNH18Success0.013
testJNH19Success0.015
testJNH20Success0.012
testJNH21Success0.012
testJNH22Success0.008
testJNH23Success0.018
testJNH24Success0.021
testJNH25Success0.014
testJNH26Success0.019
testJNH27Success0.006
testJNH28Success0.018
testJNH29Success0.008
testJNH30Success0.008
testJNH31Success0.013
testJNH32Success0.026
testJNH33Success0.008
testJNH34Success0.011
testJNH35Success0.009
testJNH36Success0.015
testJNH37Success0.022
testJNH38Success0.009
testJNH39Success0.019
testJNH40Success0.049
testJNH41Success0.030
testJNH42Success0.008
testJNH43Success0.018
testJNH44Success0.008
testJNH45Success0.012
testJNH46Success0.042
testJNH47Success0.007
testJNH48Success0.015
testJNH49Success0.008
testJNH50Success0.008
testHole6Success0.132
testHole7Success2.477
testHole8Success70.186
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.013
Properties »