Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.CounterPBConstrWithPBConstrLearningOnCNFTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithPBConstrLearningOnCNFTest10302667.755

Tests

NameStatusTypeTime(s)
testPropagationSuccess0.050
testPropagation2Success0.000
testAim50SAT1Success0.048
testAim50SAT2Success0.018
testAim50SAT3Success0.010
testAim50SAT4Success0.019
testAim50SAT5Success0.025
testAim50SAT6Success0.026
testAim50SAT7Success0.014
testAim50SAT8Success0.026
testAim50SAT9Success0.007
testAim50SAT10Success0.013
testAim50SAT11Success0.011
testAim50SAT12Success0.016
testAim50SAT13Success0.012
testAim50SAT14Success0.009
testAim50SAT15Success0.014
testAim50SAT16Success0.011
testAim50UNSAT1Success0.004
testAim50UNSAT2Success0.009
testAim50UNSAT3Success0.006
testAim50UNSAT4Success0.005
testAim50UNSAT5Success0.004
testAim50UNSAT6Success0.005
testAim50UNSAT7Success0.008
testAim50UNSAT8Success0.006
testIi1Success0.004
testIi2Success0.012
testIi3Success0.022
testIi4Success0.043
testIi5Success0.026
testIi6Success0.059
testIi7Success0.056
testIi8Success0.077
testIi9Success0.030
testIi10Success0.082
testIi11Success0.031
testIi12Success0.085
testIi13Success0.069
testIi14Success0.143
testIi15Success0.343
testIi16Success0.272
testIi17Success0.339
testIi18Success0.537
testIi20Success1.244
testIi21Success0.270
testIi22Success0.165
testIi23Success0.537
testIi24Success1.923
testJNH1Success0.083
testJNH2Success0.033
testJNH3Success0.276
testJNH4Success0.086
testJNH5Success0.060
testJNH6Success0.125
testJNH7Success0.060
testJNH8Success0.092
testJNH9Success0.084
testJNH10Success0.085
testJNH11Success0.145
testJNH12Success0.031
testJNH13Success0.046
testJNH14Success0.036
testJNH15Success0.065
testJNH16Success1.446
testJNH17Success0.028
testJNH18Success0.161
testJNH19Success0.056
testJNH20Success0.061
testJNH21Success0.028
testJNH22Success0.033
testJNH23Success0.121
testJNH24Success0.121
testJNH25Success0.034
testJNH26Success0.125
testJNH27Success0.069
testJNH28Success0.091
testJNH29Success0.109
testJNH30Success0.027
testJNH31Success0.053
testJNH32Success0.220
testJNH33Success0.056
testJNH34Success0.058
testJNH35Success0.040
testJNH36Success0.089
testJNH37Success0.033
testJNH38Success0.025
testJNH39Success0.094
testJNH40Success0.139
testJNH41Success0.082
testJNH42Success0.025
testJNH43Success0.146
testJNH44Success0.017
testJNH45Success0.047
testJNH46Success0.355
testJNH47Success0.020
testJNH48Success0.295
testJNH49Success0.039
testJNH50Success0.021
testHole6Success1.209
testHole7Success53.984
testHole8FailureTimeout: 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.testHole8(AbstractM2Test.java:560) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)		300.056
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.053
Properties »
System.out »