| WatchedPBConstrWithClauseLearningTest.testaloul1516WatchedPBConstrWithClauseLearningTest.testaloul1516 |
3
FAIL
|
300.156300,156 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1516(AbstractPseudoBooleanAndPigeonHoleTest.java:940)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul1020WatchedPBConstrWithClauseLearningTest.testaloul1020 |
3
FAIL
|
300.137300,137 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1020(AbstractPseudoBooleanAndPigeonHoleTest.java:934)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul1015WatchedPBConstrWithClauseLearningTest.testaloul1015 |
3
FAIL
|
300.136300,136 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1015(AbstractPseudoBooleanAndPigeonHoleTest.java:928)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul1011WatchedPBConstrWithClauseLearningTest.testaloul1011 |
3
FAIL
|
300.11300,11 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1011(AbstractPseudoBooleanAndPigeonHoleTest.java:922)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul2025WatchedPBConstrWithClauseLearningTest.testaloul2025 |
3
FAIL
|
300.195300,195 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2025(AbstractPseudoBooleanAndPigeonHoleTest.java:964)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul2021WatchedPBConstrWithClauseLearningTest.testaloul2021 |
3
FAIL
|
300.18300,18 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2021(AbstractPseudoBooleanAndPigeonHoleTest.java:958)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul1525WatchedPBConstrWithClauseLearningTest.testaloul1525 |
3
FAIL
|
300.22300,22 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1525(AbstractPseudoBooleanAndPigeonHoleTest.java:952)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul1520WatchedPBConstrWithClauseLearningTest.testaloul1520 |
3
FAIL
|
300.173300,173 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul1520(AbstractPseudoBooleanAndPigeonHoleTest.java:946)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul3040WatchedPBConstrWithClauseLearningTest.testaloul3040 |
3
FAIL
|
300.342300,342 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3040(AbstractPseudoBooleanAndPigeonHoleTest.java:988)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul3035WatchedPBConstrWithClauseLearningTest.testaloul3035 |
3
FAIL
|
300.292300,292 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3035(AbstractPseudoBooleanAndPigeonHoleTest.java:982)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul3031WatchedPBConstrWithClauseLearningTest.testaloul3031 |
3
FAIL
|
300.337300,337 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3031(AbstractPseudoBooleanAndPigeonHoleTest.java:976)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul2030WatchedPBConstrWithClauseLearningTest.testaloul2030 |
3
FAIL
|
300.215300,215 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul2030(AbstractPseudoBooleanAndPigeonHoleTest.java:970)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul3545WatchedPBConstrWithClauseLearningTest.testaloul3545 |
3
FAIL
|
300.432300,432 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3545(AbstractPseudoBooleanAndPigeonHoleTest.java:1006)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul4041WatchedPBConstrWithClauseLearningTest.testaloul4041 |
3
FAIL
|
300.466300,466 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4041(AbstractPseudoBooleanAndPigeonHoleTest.java:1012)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul3536WatchedPBConstrWithClauseLearningTest.testaloul3536 |
3
FAIL
|
300.356300,356 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3536(AbstractPseudoBooleanAndPigeonHoleTest.java:994)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul3540WatchedPBConstrWithClauseLearningTest.testaloul3540 |
3
FAIL
|
300.482300,482 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul3540(AbstractPseudoBooleanAndPigeonHoleTest.java:1000)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul5051WatchedPBConstrWithClauseLearningTest.testaloul5051 |
3
FAIL
|
300.802300,802 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5051(AbstractPseudoBooleanAndPigeonHoleTest.java:1030)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul5055WatchedPBConstrWithClauseLearningTest.testaloul5055 |
3
FAIL
|
300.897300,897 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5055(AbstractPseudoBooleanAndPigeonHoleTest.java:1036)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul4045WatchedPBConstrWithClauseLearningTest.testaloul4045 |
3
FAIL
|
300.519300,519 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4045(AbstractPseudoBooleanAndPigeonHoleTest.java:1018)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul4050WatchedPBConstrWithClauseLearningTest.testaloul4050 |
3
FAIL
|
300.683300,683 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul4050(AbstractPseudoBooleanAndPigeonHoleTest.java:1024)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testaloul5060WatchedPBConstrWithClauseLearningTest.testaloul5060 |
3
FAIL
|
300.993300,993 |
Timeout: need more time to complete!
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete!
at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71)
at org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testaloul5060(AbstractPseudoBooleanAndPigeonHoleTest.java:1042)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| WatchedPBConstrWithClauseLearningTest.testnccWatchedPBConstrWithClauseLearningTest.testncc |
1
PASS
|
0.0710,071 |
|
| WatchedPBConstrWithClauseLearningTest.testPN56WatchedPBConstrWithClauseLearningTest.testPN56 |
1
PASS
|
0.2340,234 |
|
| WatchedPBConstrWithClauseLearningTest.testPN5WatchedPBConstrWithClauseLearningTest.testPN5 |
1
PASS
|
0.2320,232 |
|
| WatchedPBConstrWithClauseLearningTest.testnc8WatchedPBConstrWithClauseLearningTest.testnc8 |
1
PASS
|
0.1020,102 |
|
| WatchedPBConstrWithClauseLearningTest.testPN45WatchedPBConstrWithClauseLearningTest.testPN45 |
1
PASS
|
0.2370,237 |
|
| WatchedPBConstrWithClauseLearningTest.testnb1WatchedPBConstrWithClauseLearningTest.testnb1 |
1
PASS
|
0.0610,061 |
|
| WatchedPBConstrWithClauseLearningTest.testPN4WatchedPBConstrWithClauseLearningTest.testPN4 |
1
PASS
|
0.2330,233 |
|
| WatchedPBConstrWithClauseLearningTest.testnC432WatchedPBConstrWithClauseLearningTest.testnC432 |
1
PASS
|
0.2540,254 |
|
| WatchedPBConstrWithClauseLearningTest.testPN78WatchedPBConstrWithClauseLearningTest.testPN78 |
1
PASS
|
0.2440,244 |
|
| WatchedPBConstrWithClauseLearningTest.testnC17WatchedPBConstrWithClauseLearningTest.testnC17 |
1
PASS
|
0.0530,053 |
|
| WatchedPBConstrWithClauseLearningTest.testPN7WatchedPBConstrWithClauseLearningTest.testPN7 |
1
PASS
|
0.2820,282 |
|
| WatchedPBConstrWithClauseLearningTest.testn9symmlWatchedPBConstrWithClauseLearningTest.testn9symml |
1
PASS
|
0.2050,205 |
|
| WatchedPBConstrWithClauseLearningTest.testPN67WatchedPBConstrWithClauseLearningTest.testPN67 |
1
PASS
|
0.2370,237 |
|
| WatchedPBConstrWithClauseLearningTest.testndata103WatchedPBConstrWithClauseLearningTest.testndata103 |
1
PASS
|
6.6056,605 |
|
| WatchedPBConstrWithClauseLearningTest.testPN6WatchedPBConstrWithClauseLearningTest.testPN6 |
1
PASS
|
0.2390,239 |
|
| WatchedPBConstrWithClauseLearningTest.testndata83WatchedPBConstrWithClauseLearningTest.testndata83 |
1
PASS
|
2.0482,048 |
|
| WatchedPBConstrWithClauseLearningTest.testndata63WatchedPBConstrWithClauseLearningTest.testndata63 |
1
PASS
|
0.5410,541 |
|
| WatchedPBConstrWithClauseLearningTest.testndata43WatchedPBConstrWithClauseLearningTest.testndata43 |
1
PASS
|
0.1050,105 |
|
| WatchedPBConstrWithClauseLearningTest.testncirc103WatchedPBConstrWithClauseLearningTest.testncirc103 |
1
PASS
|
6.6426,642 |
|
| WatchedPBConstrWithClauseLearningTest.testncirc83WatchedPBConstrWithClauseLearningTest.testncirc83 |
1
PASS
|
2.1192,119 |
|
| WatchedPBConstrWithClauseLearningTest.testPN34WatchedPBConstrWithClauseLearningTest.testPN34 |
1
PASS
|
0.3560,356 |
|
| WatchedPBConstrWithClauseLearningTest.testncirc63WatchedPBConstrWithClauseLearningTest.testncirc63 |
1
PASS
|
0.7020,702 |
|
| WatchedPBConstrWithClauseLearningTest.testncirc43WatchedPBConstrWithClauseLearningTest.testncirc43 |
1
PASS
|
0.460,46 |
|
| WatchedPBConstrWithClauseLearningTest.testPN9WatchedPBConstrWithClauseLearningTest.testPN9 |
1
PASS
|
4.9934,993 |
|
| WatchedPBConstrWithClauseLearningTest.testPN910WatchedPBConstrWithClauseLearningTest.testPN910 |
1
PASS
|
0.240,24 |
|
| WatchedPBConstrWithClauseLearningTest.testPN8WatchedPBConstrWithClauseLearningTest.testPN8 |
1
PASS
|
0.8060,806 |
|
| WatchedPBConstrWithClauseLearningTest.testPN89WatchedPBConstrWithClauseLearningTest.testPN89 |
1
PASS
|
0.2360,236 |
|
| WatchedPBConstrWithClauseLearningTest.testPN10WatchedPBConstrWithClauseLearningTest.testPN10 |
1
PASS
|
146.618146,618 |
|
| WatchedPBConstrWithClauseLearningTest.testncm42aWatchedPBConstrWithClauseLearningTest.testncm42a |
1
PASS
|
0.0670,067 |
|
| WatchedPBConstrWithClauseLearningTest.testncmbWatchedPBConstrWithClauseLearningTest.testncmb |
1
PASS
|
0.130,13 |
|
| WatchedPBConstrWithClauseLearningTest.testnmuxWatchedPBConstrWithClauseLearningTest.testnmux |
1
PASS
|
0.1030,103 |
|
| WatchedPBConstrWithClauseLearningTest.testnmyadderWatchedPBConstrWithClauseLearningTest.testnmyadder |
1
PASS
|
0.1810,181 |
|
