Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.WatchedPBConstrWithPBConstrLearningOnCNFTest

NameTestsErrorsFailuresTime(s)
WatchedPBConstrWithPBConstrLearningOnCNFTest10301353.312

Tests

NameStatusTypeTime(s)
testPropagationSuccess0.050
testPropagation2Success0.000
testAim50SAT1Success0.064
testAim50SAT2Success0.021
testAim50SAT3Success0.010
testAim50SAT4Success0.018
testAim50SAT5Success0.028
testAim50SAT6Success0.017
testAim50SAT7Success0.016
testAim50SAT8Success0.021
testAim50SAT9Success0.009
testAim50SAT10Success0.009
testAim50SAT11Success0.014
testAim50SAT12Success0.016
testAim50SAT13Success0.011
testAim50SAT14Success0.010
testAim50SAT15Success0.009
testAim50SAT16Success0.008
testAim50UNSAT1Success0.004
testAim50UNSAT2Success0.005
testAim50UNSAT3Success0.006
testAim50UNSAT4Success0.004
testAim50UNSAT5Success0.003
testAim50UNSAT6Success0.009
testAim50UNSAT7Success0.011
testAim50UNSAT8Success0.008
testIi1Success0.004
testIi2Success0.012
testIi3Success0.021
testIi4Success0.041
testIi5Success0.027
testIi6Success0.051
testIi7Success0.077
testIi8Success0.077
testIi9Success0.029
testIi10Success0.063
testIi11Success0.049
testIi12Success0.062
testIi13Success0.031
testIi14Success0.060
testIi15Success0.231
testIi16Success0.262
testIi17Success0.306
testIi18Success0.283
testIi20Success0.566
testIi21Success0.227
testIi22Success0.132
testIi23Success0.235
testIi24Success0.316
testJNH1Success0.032
testJNH2Success0.016
testJNH3Success0.064
testJNH4Success0.025
testJNH5Success0.028
testJNH6Success0.050
testJNH7Success0.022
testJNH8Success0.024
testJNH9Success0.026
testJNH10Success0.024
testJNH11Success0.046
testJNH12Success0.020
testJNH13Success0.027
testJNH14Success0.019
testJNH15Success0.022
testJNH16Success0.331
testJNH17Success0.016
testJNH18Success0.045
testJNH19Success0.027
testJNH20Success0.041
testJNH21Success0.019
testJNH22Success0.018
testJNH23Success0.037
testJNH24Success0.040
testJNH25Success0.019
testJNH26Success0.039
testJNH27Success0.030
testJNH28Success0.036
testJNH29Success0.034
testJNH30Success0.018
testJNH31Success0.023
testJNH32Success0.062
testJNH33Success0.018
testJNH34Success0.028
testJNH35Success0.023
testJNH36Success0.030
testJNH37Success0.016
testJNH38Success0.025
testJNH39Success0.056
testJNH40Success0.082
testJNH41Success0.021
testJNH42Success0.014
testJNH43Success0.032
testJNH44Success0.014
testJNH45Success0.031
testJNH46Success0.121
testJNH47Success0.015
testJNH48Success0.040
testJNH49Success0.015
testJNH50Success0.013
testHole6Success0.259
testHole7Success3.674
testHole8Success43.892
testHole9FailureTimeout: need more time to complete!

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