Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.WatchedPBConstrWithPBConstrLearningOnCNFTest

NameTestsErrorsFailuresTime(s)
WatchedPBConstrWithPBConstrLearningOnCNFTest10301389.886

Tests

NameStatusTypeTime(s)
testPropagationSuccess0.115
testPropagation2Success0.002
testAim50SAT1Success0.094
testAim50SAT2Success0.029
testAim50SAT3Success0.016
testAim50SAT4Success0.036
testAim50SAT5Success0.058
testAim50SAT6Success0.025
testAim50SAT7Success0.023
testAim50SAT8Success0.010
testAim50SAT9Success0.018
testAim50SAT10Success0.018
testAim50SAT11Success0.017
testAim50SAT12Success0.045
testAim50SAT13Success0.027
testAim50SAT14Success0.016
testAim50SAT15Success0.013
testAim50SAT16Success0.016
testAim50UNSAT1Success0.005
testAim50UNSAT2Success0.012
testAim50UNSAT3Success0.008
testAim50UNSAT4Success0.005
testAim50UNSAT5Success0.006
testAim50UNSAT6Success0.007
testAim50UNSAT7Success0.011
testAim50UNSAT8Success0.007
testIi1Success0.012
testIi2Success0.033
testIi3Success0.083
testIi4Success0.231
testIi5Success0.118
testIi6Success0.379
testIi7Success0.709
testIi8Success1.207
testIi9Success0.256
testIi10Success0.905
testIi11Success0.255
testIi12Success0.878
testIi13Success0.260
testIi14Success0.755
testIi15Success4.253
testIi16Success12.074
testIi17Success5.708
testIi18Success2.420
testIi20Success8.874
testIi21Success2.702
testIi22Success1.526
testIi23Success2.616
testIi24Success7.310
testJNH1Success0.045
testJNH2Success0.046
testJNH3Success0.116
testJNH4Success0.051
testJNH5Success0.068
testJNH6Success0.127
testJNH7Success0.095
testJNH8Success0.050
testJNH9Success0.052
testJNH10Success0.055
testJNH11Success0.138
testJNH12Success0.043
testJNH13Success0.079
testJNH14Success0.048
testJNH15Success0.059
testJNH16Success1.123
testJNH17Success0.060
testJNH18Success0.072
testJNH19Success0.072
testJNH20Success0.073
testJNH21Success0.045
testJNH22Success0.037
testJNH23Success0.140
testJNH24Success0.105
testJNH25Success0.062
testJNH26Success0.118
testJNH27Success0.093
testJNH28Success0.086
testJNH29Success0.082
testJNH30Success0.041
testJNH31Success0.056
testJNH32Success0.389
testJNH33Success0.047
testJNH34Success0.092
testJNH35Success0.070
testJNH36Success0.098
testJNH37Success0.045
testJNH38Success0.064
testJNH39Success0.095
testJNH40Success0.119
testJNH41Success0.067
testJNH42Success0.032
testJNH43Success0.109
testJNH44Success0.035
testJNH45Success0.076
testJNH46Success0.282
testJNH47Success0.032
testJNH48Success0.144
testJNH49Success0.042
testJNH50Success0.066
testHole6Success0.344
testHole7Success2.909
testHole8Success27.093
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.046
Properties »