Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest

NameTestsErrorsFailuresTime(s)
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest5301533.689

Tests

NameStatusTypeTime(s)
testncirc43Success0.559
testncirc63Success1.387
testncirc83Success6.499
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.745
testndata43Success0.086
testndata63Success0.964
testndata83Success7.000
testndata103Success173.951
testn9symmlSuccess0.287
testnC17Success0.003
testnC432Success0.362
testnb1Success0.004
testnc8Success0.071
testnccSuccess0.021
testncm42aSuccess0.017
testncmbSuccess0.086
testnmuxSuccess0.073
testnmyadderSuccess0.245
testaloul1011Success0.014
testaloul1015Success0.019
testaloul1020Success0.029
testaloul1516Success0.041
testaloul1520Success0.067
testaloul1525Success0.074
testaloul2021Success0.109
testaloul2025Success0.127
testaloul2030Success0.176
testaloul3031Success0.412
testaloul3035Success0.477
testaloul3040Success0.574
testaloul3536Success0.712
testaloul3540Success0.779
testaloul3545Success0.984
testaloul4041Success1.155
testaloul4045Success1.241
testaloul4050Success1.604
testaloul5051Success2.577
testaloul5055Success2.764
testaloul5060Success3.285
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.013
Properties »