Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.CounterPBConstrWithPBConstrLearningOnCNFTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithPBConstrLearningOnCNFTest103031445.959

Tests

NameStatusTypeTime(s)
testPropagationSuccess0.285
testPropagation2Success0.003
testAim50SAT1Success0.164
testAim50SAT2Success0.040
testAim50SAT3Success0.056
testAim50SAT4Success0.110
testAim50SAT5Success0.115
testAim50SAT6Success0.037
testAim50SAT7Success0.031
testAim50SAT8Success0.017
testAim50SAT9Success0.032
testAim50SAT10Success0.024
testAim50SAT11Success0.218
testAim50SAT12Success0.047
testAim50SAT13Success0.081
testAim50SAT14Success0.035
testAim50SAT15Success0.026
testAim50SAT16Success0.027
testAim50UNSAT1Success0.010
testAim50UNSAT2Success0.014
testAim50UNSAT3Success0.014
testAim50UNSAT4Success0.015
testAim50UNSAT5Success0.013
testAim50UNSAT6Success0.020
testAim50UNSAT7Success0.018
testAim50UNSAT8Success0.049
testIi1Success0.015
testIi2Success0.053
testIi3Success0.147
testIi4Success0.323
testIi5Success0.088
testIi6Success0.332
testIi7Success0.516
testIi8Success0.441
testIi9Success0.156
testIi10Success0.550
testIi11Success0.286
testIi12Success0.642
testIi13Success0.410
testIi14Success0.752
testIi15Success7.730
testIi16Success5.388
testIi17Success4.831
testIi18Success36.593
testIi20Success267.554
testIi21Success21.667
testIi22Success76.841
testIi23Success56.958
testIi24Success11.729
testJNH1Success0.247
testJNH2Success0.115
testJNH3Success1.357
testJNH4Success0.347
testJNH5Success0.231
testJNH6Success0.967
testJNH7Success0.155
testJNH8Success0.147
testJNH9Success0.257
testJNH10Success0.254
testJNH11Success0.771
testJNH12Success0.160
testJNH13Success0.225
testJNH14Success0.147
testJNH15Success0.580
testJNH16Success15.450
testJNH17Success0.179
testJNH18Success0.553
testJNH19Success0.417
testJNH20Success0.376
testJNH21Success0.296
testJNH22Success0.087
testJNH23Success0.823
testJNH24Success0.224
testJNH25Success0.315
testJNH26Success0.821
testJNH27Success0.057
testJNH28Success0.369
testJNH29Success0.114
testJNH30Success0.079
testJNH31Success0.271
testJNH32Success2.412
testJNH33Success0.107
testJNH34Success0.459
testJNH35Success0.132
testJNH36Success0.545
testJNH37Success0.628
testJNH38Success0.106
testJNH39Success1.623
testJNH40Success0.678
testJNH41Success2.173
testJNH42Success0.090
testJNH43Success0.926
testJNH44Success0.074
testJNH45Success0.319
testJNH46Success1.666
testJNH47Success0.064
testJNH48Success0.377
testJNH49Success0.178
testJNH50Success0.059
testHole6Success10.919
testHole7FailureTimeout: 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.testHole7(AbstractM2Test.java:564) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)		300.070
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.185
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.179
Properties »