Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest

NameTestsErrorsFailuresTime(s)
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest5301412.747

Tests

NameStatusTypeTime(s)
testncirc43Success0.557
testncirc63Success1.392
testncirc83Success6.251
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)		324.487
testndata43Success0.075
testndata63Success0.974
testndata83Success6.571
testndata103Success53.822
testn9symmlSuccess0.270
testnC17Success0.003
testnC432Success0.373
testnb1Success0.004
testnc8Success0.060
testnccSuccess0.021
testncm42aSuccess0.017
testncmbSuccess0.097
testnmuxSuccess0.060
testnmyadderSuccess0.248
testaloul1011Success0.014
testaloul1015Success0.019
testaloul1020Success0.043
testaloul1516Success0.040
testaloul1520Success0.053
testaloul1525Success0.087
testaloul2021Success0.097
testaloul2025Success0.127
testaloul2030Success0.179
testaloul3031Success0.421
testaloul3035Success0.472
testaloul3040Success0.588
testaloul3536Success0.713
testaloul3540Success0.786
testaloul3545Success0.994
testaloul4041Success1.144
testaloul4045Success1.254
testaloul4050Success1.618
testaloul5051Success2.590
testaloul5055Success2.801
testaloul5060Success3.320
testPN34Success0.002
testPN4Success0.002
testPN45Success0.002
testPN5Success0.002
testPN56Success0.003
testPN6Success0.003
testPN67Success0.003
testPN7Success0.004
testPN78Success0.004
testPN8Success0.005
testPN89Success0.005
testPN9Success0.007
testPN910Success0.006
testPN10Success0.008
Properties »