| PuebloWatchedPBConstrWithClauseLearningTest.testaloul1516PuebloWatchedPBConstrWithClauseLearningTest.testaloul1516 |
3
FAIL
|
300.144300,144 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul1020PuebloWatchedPBConstrWithClauseLearningTest.testaloul1020 |
3
FAIL
|
300.123300,123 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul1015PuebloWatchedPBConstrWithClauseLearningTest.testaloul1015 |
3
FAIL
|
300.143300,143 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul1011PuebloWatchedPBConstrWithClauseLearningTest.testaloul1011 |
3
FAIL
|
300.112300,112 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul2025PuebloWatchedPBConstrWithClauseLearningTest.testaloul2025 |
3
FAIL
|
300.201300,201 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul2021PuebloWatchedPBConstrWithClauseLearningTest.testaloul2021 |
3
FAIL
|
300.176300,176 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul1525PuebloWatchedPBConstrWithClauseLearningTest.testaloul1525 |
3
FAIL
|
300.218300,218 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul1520PuebloWatchedPBConstrWithClauseLearningTest.testaloul1520 |
3
FAIL
|
300.149300,149 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul3040PuebloWatchedPBConstrWithClauseLearningTest.testaloul3040 |
3
FAIL
|
300.345300,345 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul3035PuebloWatchedPBConstrWithClauseLearningTest.testaloul3035 |
3
FAIL
|
300.299300,299 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul3031PuebloWatchedPBConstrWithClauseLearningTest.testaloul3031 |
3
FAIL
|
300.338300,338 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul2030PuebloWatchedPBConstrWithClauseLearningTest.testaloul2030 |
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.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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul3545PuebloWatchedPBConstrWithClauseLearningTest.testaloul3545 |
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.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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul4041PuebloWatchedPBConstrWithClauseLearningTest.testaloul4041 |
3
FAIL
|
300.489300,489 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul3536PuebloWatchedPBConstrWithClauseLearningTest.testaloul3536 |
3
FAIL
|
300.357300,357 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul3540PuebloWatchedPBConstrWithClauseLearningTest.testaloul3540 |
3
FAIL
|
300.5300,5 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul5051PuebloWatchedPBConstrWithClauseLearningTest.testaloul5051 |
3
FAIL
|
300.834300,834 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul5055PuebloWatchedPBConstrWithClauseLearningTest.testaloul5055 |
3
FAIL
|
301.077301,077 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul4045PuebloWatchedPBConstrWithClauseLearningTest.testaloul4045 |
3
FAIL
|
300.544300,544 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul4050PuebloWatchedPBConstrWithClauseLearningTest.testaloul4050 |
3
FAIL
|
300.712300,712 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testaloul5060PuebloWatchedPBConstrWithClauseLearningTest.testaloul5060 |
3
FAIL
|
301.055301,055 |
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)
|
| PuebloWatchedPBConstrWithClauseLearningTest.testnccPuebloWatchedPBConstrWithClauseLearningTest.testncc |
1
PASS
|
0.0720,072 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN56PuebloWatchedPBConstrWithClauseLearningTest.testPN56 |
1
PASS
|
0.2360,236 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN5PuebloWatchedPBConstrWithClauseLearningTest.testPN5 |
1
PASS
|
0.2460,246 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testnc8PuebloWatchedPBConstrWithClauseLearningTest.testnc8 |
1
PASS
|
0.1030,103 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN45PuebloWatchedPBConstrWithClauseLearningTest.testPN45 |
1
PASS
|
0.2260,226 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testnb1PuebloWatchedPBConstrWithClauseLearningTest.testnb1 |
1
PASS
|
0.060,06 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN4PuebloWatchedPBConstrWithClauseLearningTest.testPN4 |
1
PASS
|
0.2370,237 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testnC432PuebloWatchedPBConstrWithClauseLearningTest.testnC432 |
1
PASS
|
0.2550,255 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN78PuebloWatchedPBConstrWithClauseLearningTest.testPN78 |
1
PASS
|
0.2340,234 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testnC17PuebloWatchedPBConstrWithClauseLearningTest.testnC17 |
1
PASS
|
0.0510,051 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN7PuebloWatchedPBConstrWithClauseLearningTest.testPN7 |
1
PASS
|
0.2750,275 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testn9symmlPuebloWatchedPBConstrWithClauseLearningTest.testn9symml |
1
PASS
|
0.2080,208 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN67PuebloWatchedPBConstrWithClauseLearningTest.testPN67 |
1
PASS
|
0.2560,256 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testndata103PuebloWatchedPBConstrWithClauseLearningTest.testndata103 |
1
PASS
|
6.7256,725 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN6PuebloWatchedPBConstrWithClauseLearningTest.testPN6 |
1
PASS
|
0.2460,246 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testndata83PuebloWatchedPBConstrWithClauseLearningTest.testndata83 |
1
PASS
|
2.1042,104 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testndata63PuebloWatchedPBConstrWithClauseLearningTest.testndata63 |
1
PASS
|
0.5580,558 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testndata43PuebloWatchedPBConstrWithClauseLearningTest.testndata43 |
1
PASS
|
0.1040,104 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testncirc103PuebloWatchedPBConstrWithClauseLearningTest.testncirc103 |
1
PASS
|
6.7966,796 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testncirc83PuebloWatchedPBConstrWithClauseLearningTest.testncirc83 |
1
PASS
|
2.1762,176 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN34PuebloWatchedPBConstrWithClauseLearningTest.testPN34 |
1
PASS
|
0.6060,606 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testncirc63PuebloWatchedPBConstrWithClauseLearningTest.testncirc63 |
1
PASS
|
0.7210,721 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testncirc43PuebloWatchedPBConstrWithClauseLearningTest.testncirc43 |
1
PASS
|
0.4610,461 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN9PuebloWatchedPBConstrWithClauseLearningTest.testPN9 |
1
PASS
|
4.9244,924 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN910PuebloWatchedPBConstrWithClauseLearningTest.testPN910 |
1
PASS
|
0.2580,258 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN8PuebloWatchedPBConstrWithClauseLearningTest.testPN8 |
1
PASS
|
0.8280,828 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN89PuebloWatchedPBConstrWithClauseLearningTest.testPN89 |
1
PASS
|
0.2560,256 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testPN10PuebloWatchedPBConstrWithClauseLearningTest.testPN10 |
1
PASS
|
143.157143,157 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testncm42aPuebloWatchedPBConstrWithClauseLearningTest.testncm42a |
1
PASS
|
0.0660,066 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testncmbPuebloWatchedPBConstrWithClauseLearningTest.testncmb |
1
PASS
|
0.1290,129 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testnmuxPuebloWatchedPBConstrWithClauseLearningTest.testnmux |
1
PASS
|
0.1070,107 |
|
| PuebloWatchedPBConstrWithClauseLearningTest.testnmyadderPuebloWatchedPBConstrWithClauseLearningTest.testnmyadder |
1
PASS
|
0.1830,183 |
|
