Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.WatchedPBConstrWithPBConstrLearningOnCNFTest

NameTestsErrorsFailuresTime(s)
WatchedPBConstrWithPBConstrLearningOnCNFTest10301617.518

Tests

NameStatusTypeTime(s)
testPropagationSuccess0.288
testPropagation2Success0.004
testAim50SAT1Success0.167
testAim50SAT2Success0.039
testAim50SAT3Success0.049
testAim50SAT4Success0.127
testAim50SAT5Success0.125
testAim50SAT6Success0.036
testAim50SAT7Success0.047
testAim50SAT8Success0.017
testAim50SAT9Success0.032
testAim50SAT10Success0.022
testAim50SAT11Success0.059
testAim50SAT12Success0.046
testAim50SAT13Success0.095
testAim50SAT14Success0.034
testAim50SAT15Success0.029
testAim50SAT16Success0.028
testAim50UNSAT1Success0.013
testAim50UNSAT2Success0.020
testAim50UNSAT3Success0.018
testAim50UNSAT4Success0.013
testAim50UNSAT5Success0.014
testAim50UNSAT6Success0.019
testAim50UNSAT7Success0.029
testAim50UNSAT8Success0.038
testIi1Success0.016
testIi2Success0.081
testIi3Success0.116
testIi4Success0.196
testIi5Success0.238
testIi6Success0.322
testIi7Success0.413
testIi8Success0.738
testIi9Success0.154
testIi10Success0.632
testIi11Success0.290
testIi12Success0.355
testIi13Success0.520
testIi14Success0.643
testIi15Success3.557
testIi16Success14.020
testIi17Success8.704
testIi18Success12.147
testIi20Success5.157
testIi21Success3.475
testIi22Success20.885
testIi23Success10.439
testIi24Success4.036
testJNH1Success0.078
testJNH2Success0.148
testJNH3Success0.307
testJNH4Success0.121
testJNH5Success0.109
testJNH6Success0.345
testJNH7Success0.089
testJNH8Success0.092
testJNH9Success0.110
testJNH10Success0.150
testJNH11Success0.294
testJNH12Success0.176
testJNH13Success0.098
testJNH14Success0.099
testJNH15Success0.178
testJNH16Success4.287
testJNH17Success0.117
testJNH18Success0.236
testJNH19Success0.229
testJNH20Success0.136
testJNH21Success0.145
testJNH22Success0.123
testJNH23Success0.434
testJNH24Success0.114
testJNH25Success0.132
testJNH26Success0.380
testJNH27Success0.047
testJNH28Success0.163
testJNH29Success0.048
testJNH30Success0.057
testJNH31Success0.108
testJNH32Success1.395
testJNH33Success0.076
testJNH34Success0.182
testJNH35Success0.086
testJNH36Success0.294
testJNH37Success0.365
testJNH38Success0.087
testJNH39Success0.603
testJNH40Success0.200
testJNH41Success0.483
testJNH42Success0.059
testJNH43Success0.281
testJNH44Success0.052
testJNH45Success0.081
testJNH46Success0.600
testJNH47Success0.048
testJNH48Success0.228
testJNH49Success0.093
testJNH50Success0.044
testHole6Success1.174
testHole7Success14.057
testHole8Success199.202
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.033
Properties »