Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.CounterPBConstrWithCBClauseCardConstrLearningTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithCBClauseCardConstrLearningTest5301552.881

Tests

NameStatusTypeTime(s)
testncirc43Success0.591
testncirc63Success1.642
testncirc83Success5.711
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.653
testndata43Success0.092
testndata63Success1.243
testndata83Success5.745
testndata103Success194.568
testn9symmlSuccess0.298
testnC17Success0.003
testnC432Success0.379
testnb1Success0.005
testnc8Success0.062
testnccSuccess0.022
testncm42aSuccess0.018
testncmbSuccess0.104
testnmuxSuccess0.063
testnmyadderSuccess0.260
testaloul1011Success0.036
testaloul1015Success0.019
testaloul1020Success0.045
testaloul1516Success0.041
testaloul1520Success0.053
testaloul1525Success0.084
testaloul2021Success0.097
testaloul2025Success0.128
testaloul2030Success0.187
testaloul3031Success0.413
testaloul3035Success0.469
testaloul3040Success0.584
testaloul3536Success0.717
testaloul3540Success0.783
testaloul3545Success0.989
testaloul4041Success1.150
testaloul4045Success1.246
testaloul4050Success1.604
testaloul5051Success2.591
testaloul5055Success2.780
testaloul5060Success3.306
testPN34Success0.002
testPN4Success0.002
testPN45Success0.002
testPN5Success0.002
testPN56Success0.002
testPN6Success0.003
testPN67Success0.003
testPN7Success0.004
testPN78Success0.004
testPN8Success0.005
testPN89Success0.005
testPN9Success0.007
testPN910Success0.006
testPN10Success0.008
Properties »