Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.WatchedPBConstrWithPBConstrLearningTest

NameTestsErrorsFailuresTime(s)
WatchedPBConstrWithPBConstrLearningTest5301503.348

Tests

NameStatusTypeTime(s)
testncirc43Success1.374
testncirc63Success6.660
testncirc83Success10.461
testncirc103Success86.009
testndata43Success0.193
testndata63Success4.193
testndata83Success13.967
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.884
testn9symmlSuccess0.624
testnC17Success0.007
testnC432Success0.892
testnb1Success0.012
testnc8Success0.156
testnccSuccess0.063
testncm42aSuccess0.048
testncmbSuccess0.291
testnmuxSuccess0.157
testnmyadderSuccess0.471
testaloul1011Success0.053
testaloul1015Success0.059
testaloul1020Success0.165
testaloul1516Success0.126
testaloul1520Success0.142
testaloul1525Success0.295
testaloul2021Success0.290
testaloul2025Success0.430
testaloul2030Success0.584
testaloul3031Success1.250
testaloul3035Success1.489
testaloul3040Success1.860
testaloul3536Success2.179
testaloul3540Success2.552
testaloul3545Success3.212
testaloul4041Success3.582
testaloul4045Success4.050
testaloul4050Success5.102
testaloul5051Success8.712
testaloul5055Success9.754
testaloul5060Success11.701
testPN34Success0.004
testPN4Success0.005
testPN45Success0.006
testPN5Success0.007
testPN56Success0.007
testPN6Success0.009
testPN67Success0.009
testPN7Success0.012
testPN78Success0.010
testPN8Success0.060
testPN89Success0.012
testPN9Success0.020
testPN910Success0.015
testPN10Success0.024
Properties »