Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.CounterPBConstrWithClauseAtLeastConstrLearningTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithClauseAtLeastConstrLearningTest5301610.892

Tests

NameStatusTypeTime(s)
testncirc43Success0.544
testncirc63Success1.761
testncirc83Success8.641
testncirc103Success247.063
testndata43Success0.073
testndata63Success1.153
testndata83Success8.504
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)		324.538
testn9symmlSuccess0.274
testnC17Success0.002
testnC432Success0.376
testnb1Success0.004
testnc8Success0.061
testnccSuccess0.035
testncm42aSuccess0.017
testncmbSuccess0.087
testnmuxSuccess0.060
testnmyadderSuccess0.251
testaloul1011Success0.014
testaloul1015Success0.035
testaloul1020Success0.030
testaloul1516Success0.040
testaloul1520Success0.053
testaloul1525Success0.083
testaloul2021Success0.107
testaloul2025Success0.117
testaloul2030Success0.189
testaloul3031Success0.409
testaloul3035Success0.480
testaloul3040Success0.581
testaloul3536Success0.711
testaloul3540Success0.785
testaloul3545Success0.992
testaloul4041Success1.144
testaloul4045Success1.256
testaloul4050Success1.616
testaloul5051Success2.587
testaloul5055Success2.802
testaloul5060Success3.316
testPN34Success0.002
testPN4Success0.001
testPN45Success0.002
testPN5Success0.002
testPN56Success0.003
testPN6Success0.003
testPN67Success0.003
testPN7Success0.004
testPN78Success0.004
testPN8Success0.005
testPN89Success0.005
testPN9Success0.006
testPN910Success0.005
testPN10Success0.008
Properties »