Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.CounterPBConstrWithPBConstrLearningOnCNFTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithPBConstrLearningOnCNFTest10302794.804

Tests

NameStatusTypeTime(s)
testPropagationSuccess0.121
testPropagation2Success0.002
testAim50SAT1Success0.116
testAim50SAT2Success0.031
testAim50SAT3Success0.015
testAim50SAT4Success0.031
testAim50SAT5Success0.048
testAim50SAT6Success0.032
testAim50SAT7Success0.026
testAim50SAT8Success0.010
testAim50SAT9Success0.011
testAim50SAT10Success0.045
testAim50SAT11Success0.018
testAim50SAT12Success0.042
testAim50SAT13Success0.038
testAim50SAT14Success0.014
testAim50SAT15Success0.013
testAim50SAT16Success0.016
testAim50UNSAT1Success0.008
testAim50UNSAT2Success0.010
testAim50UNSAT3Success0.009
testAim50UNSAT4Success0.009
testAim50UNSAT5Success0.007
testAim50UNSAT6Success0.008
testAim50UNSAT7Success0.019
testAim50UNSAT8Success0.007
testIi1Success0.007
testIi2Success0.038
testIi3Success0.082
testIi4Success0.225
testIi5Success0.115
testIi6Success0.378
testIi7Success0.741
testIi8Success1.406
testIi9Success0.375
testIi10Success0.987
testIi11Success0.272
testIi12Success0.867
testIi13Success0.277
testIi14Success0.774
testIi15Success4.693
testIi16Success9.659
testIi17Success5.839
testIi18Success2.457
testIi20Success19.765
testIi21Success3.305
testIi22Success1.599
testIi23Success2.811
testIi24Success56.978
testJNH1Success0.232
testJNH2Success0.046
testJNH3Success0.344
testJNH4Success0.085
testJNH5Success0.156
testJNH6Success0.605
testJNH7Success0.135
testJNH8Success0.082
testJNH9Success0.084
testJNH10Success0.140
testJNH11Success0.307
testJNH12Success0.064
testJNH13Success0.096
testJNH14Success0.074
testJNH15Success0.141
testJNH16Success4.508
testJNH17Success0.106
testJNH18Success0.163
testJNH19Success0.173
testJNH20Success0.153
testJNH21Success0.065
testJNH22Success0.075
testJNH23Success0.213
testJNH24Success0.299
testJNH25Success0.083
testJNH26Success0.264
testJNH27Success0.119
testJNH28Success0.333
testJNH29Success0.196
testJNH30Success0.062
testJNH31Success0.164
testJNH32Success0.264
testJNH33Success0.068
testJNH34Success0.219
testJNH35Success0.065
testJNH36Success0.203
testJNH37Success0.062
testJNH38Success0.072
testJNH39Success0.262
testJNH40Success0.601
testJNH41Success0.256
testJNH42Success0.038
testJNH43Success0.230
testJNH44Success0.052
testJNH45Success0.190
testJNH46Success0.559
testJNH47Success0.051
testJNH48Success0.430
testJNH49Success0.066
testJNH50Success0.047
testHole6Success2.106
testHole7Success64.874
testHole8FailureTimeout: 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.testHole8(AbstractM2Test.java:569) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)		300.047
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.062
Properties »