Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.WatchedPBConstrWithPBConstrLearningTest

NameTestsErrorsFailuresTime(s)
WatchedPBConstrWithPBConstrLearningTest5301465.859

Tests

NameStatusTypeTime(s)
testncirc43Success0.562
testncirc63Success1.197
testncirc83Success4.944
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)		319.679
testndata43Success0.094
testndata63Success0.879
testndata83Success10.691
testndata103Success107.724
testn9symmlSuccess0.306
testnC17Success0.002
testnC432Success0.384
testnb1Success0.005
testnc8Success0.085
testnccSuccess0.023
testncm42aSuccess0.020
testncmbSuccess0.092
testnmuxSuccess0.083
testnmyadderSuccess0.270
testaloul1011Success0.016
testaloul1015Success0.021
testaloul1020Success0.033
testaloul1516Success0.046
testaloul1520Success0.071
testaloul1525Success0.078
testaloul2021Success0.128
testaloul2025Success0.135
testaloul2030Success0.189
testaloul3031Success0.477
testaloul3035Success0.508
testaloul3040Success0.607
testaloul3536Success0.829
testaloul3540Success0.805
testaloul3545Success1.020
testaloul4041Success1.346
testaloul4045Success1.284
testaloul4050Success1.671
testaloul5051Success3.129
testaloul5055Success2.882
testaloul5060Success3.436
testPN34Success0.002
testPN4Success0.002
testPN45Success0.002
testPN5Success0.002
testPN56Success0.003
testPN6Success0.003
testPN67Success0.004
testPN7Success0.004
testPN78Success0.004
testPN8Success0.006
testPN89Success0.005
testPN9Success0.007
testPN910Success0.006
testPN10Success0.009
Properties »