Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.CounterPBConstrWithPBConstrLearningTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithPBConstrLearningTest5302732.463

Tests

NameStatusTypeTime(s)
testncirc43Success1.234
testncirc63Success4.119
testncirc83Success11.517
testncirc103FailureTimeout: 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.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testncirc103(AbstractPseudoBooleanAndPigeonHoleTest.java:474) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
319.840
testndata43Success0.206
testndata63Success3.488
testndata83Success10.292
testndata103FailureTimeout: 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.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata103(AbstractPseudoBooleanAndPigeonHoleTest.java:498) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
319.697
testn9symmlSuccess0.652
testnC17Success0.006
testnC432Success1.004
testnb1Success0.012
testnc8Success0.166
testnccSuccess0.068
testncm42aSuccess0.051
testncmbSuccess0.298
testnmuxSuccess0.168
testnmyadderSuccess0.490
testaloul1011Success0.044
testaloul1015Success0.060
testaloul1020Success0.168
testaloul1516Success0.148
testaloul1520Success0.149
testaloul1525Success0.311
testaloul2021Success0.366
testaloul2025Success0.445
testaloul2030Success0.574
testaloul3031Success1.255
testaloul3035Success1.562
testaloul3040Success1.919
testaloul3536Success2.142
testaloul3540Success2.654
testaloul3545Success3.318
testaloul4041Success3.558
testaloul4045Success4.207
testaloul4050Success5.365
testaloul5051Success8.339
testaloul5055Success10.188
testaloul5060Success12.062
testPN34Success0.019
testPN4Success0.005
testPN45Success0.006
testPN5Success0.007
testPN56Success0.007
testPN6Success0.009
testPN67Success0.009
testPN7Success0.011
testPN78Success0.011
testPN8Success0.016
testPN89Success0.013
testPN9Success0.020
testPN910Success0.063
testPN10Success0.026
Properties »