Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) |
---|---|---|---|---|
CounterPBConstrWithPBConstrLearningTest | 53 | 0 | 2 | 732.463 |
Name | Status | Type | Time(s) |
---|---|---|---|
testncirc43 | Success | 1.234 | |
testncirc63 | Success | 4.119 | |
testncirc83 | Success | 11.517 | |
testncirc103 | Failure | Timeout: 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.840 |
testndata43 | Success | 0.206 | |
testndata63 | Success | 3.488 | |
testndata83 | Success | 10.292 | |
testndata103 | Failure | Timeout: 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.697 |
testn9symml | Success | 0.652 | |
testnC17 | Success | 0.006 | |
testnC432 | Success | 1.004 | |
testnb1 | Success | 0.012 | |
testnc8 | Success | 0.166 | |
testncc | Success | 0.068 | |
testncm42a | Success | 0.051 | |
testncmb | Success | 0.298 | |
testnmux | Success | 0.168 | |
testnmyadder | Success | 0.490 | |
testaloul1011 | Success | 0.044 | |
testaloul1015 | Success | 0.060 | |
testaloul1020 | Success | 0.168 | |
testaloul1516 | Success | 0.148 | |
testaloul1520 | Success | 0.149 | |
testaloul1525 | Success | 0.311 | |
testaloul2021 | Success | 0.366 | |
testaloul2025 | Success | 0.445 | |
testaloul2030 | Success | 0.574 | |
testaloul3031 | Success | 1.255 | |
testaloul3035 | Success | 1.562 | |
testaloul3040 | Success | 1.919 | |
testaloul3536 | Success | 2.142 | |
testaloul3540 | Success | 2.654 | |
testaloul3545 | Success | 3.318 | |
testaloul4041 | Success | 3.558 | |
testaloul4045 | Success | 4.207 | |
testaloul4050 | Success | 5.365 | |
testaloul5051 | Success | 8.339 | |
testaloul5055 | Success | 10.188 | |
testaloul5060 | Success | 12.062 | |
testPN34 | Success | 0.019 | |
testPN4 | Success | 0.005 | |
testPN45 | Success | 0.006 | |
testPN5 | Success | 0.007 | |
testPN56 | Success | 0.007 | |
testPN6 | Success | 0.009 | |
testPN67 | Success | 0.009 | |
testPN7 | Success | 0.011 | |
testPN78 | Success | 0.011 | |
testPN8 | Success | 0.016 | |
testPN89 | Success | 0.013 | |
testPN9 | Success | 0.020 | |
testPN910 | Success | 0.063 | |
testPN10 | Success | 0.026 |