| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testndata103PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testndata103 |
3
FAIL
|
305.782305,782 |
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.testndata103(AbstractPseudoBooleanAndPigeonHoleTest.java:503)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testnccPuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testncc |
1
PASS
|
0.0740,074 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN56PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN56 |
1
PASS
|
0.1050,105 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN5PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN5 |
1
PASS
|
0.1070,107 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testnc8PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testnc8 |
1
PASS
|
0.1060,106 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN45PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN45 |
1
PASS
|
0.1050,105 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testnb1PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testnb1 |
1
PASS
|
0.0630,063 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN4PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN4 |
1
PASS
|
0.1070,107 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testnC432PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testnC432 |
1
PASS
|
0.2380,238 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN78PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN78 |
1
PASS
|
0.1090,109 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testnC17PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testnC17 |
1
PASS
|
0.0570,057 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN7PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN7 |
1
PASS
|
0.1090,109 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testn9symmlPuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testn9symml |
1
PASS
|
0.1950,195 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN67PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN67 |
1
PASS
|
0.1060,106 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN6PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN6 |
1
PASS
|
0.1060,106 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testndata83PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testndata83 |
1
PASS
|
10.97210,972 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testndata63PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testndata63 |
1
PASS
|
0.6140,614 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testndata43PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testndata43 |
1
PASS
|
0.1020,102 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testncirc103PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testncirc103 |
1
PASS
|
7.4137,413 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testncirc83PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testncirc83 |
1
PASS
|
2.3262,326 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN34PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN34 |
1
PASS
|
0.1190,119 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testncirc63PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testncirc63 |
1
PASS
|
0.8360,836 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testncirc43PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testncirc43 |
1
PASS
|
1.2521,252 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN9PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN9 |
1
PASS
|
0.1160,116 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN910PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN910 |
1
PASS
|
0.1240,124 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN8PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN8 |
1
PASS
|
0.1110,111 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN89PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN89 |
1
PASS
|
0.1110,111 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN10PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testPN10 |
1
PASS
|
0.1170,117 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul5060PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul5060 |
1
PASS
|
2.6162,616 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul4050PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul4050 |
1
PASS
|
1.471,47 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul4045PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul4045 |
1
PASS
|
1.0251,025 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul5055PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul5055 |
1
PASS
|
2.2492,249 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul5051PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul5051 |
1
PASS
|
20.61920,619 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul3540PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul3540 |
1
PASS
|
0.6390,639 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul3536PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul3536 |
1
PASS
|
3.8023,802 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul4041PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul4041 |
1
PASS
|
7.0937,093 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul3545PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul3545 |
1
PASS
|
0.8040,804 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul2030PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul2030 |
1
PASS
|
0.2010,201 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul3031PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul3031 |
1
PASS
|
1.8731,873 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul3035PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul3035 |
1
PASS
|
0.4460,446 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul3040PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul3040 |
1
PASS
|
0.5170,517 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul1520PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul1520 |
1
PASS
|
0.1040,104 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul1525PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul1525 |
1
PASS
|
0.1250,125 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul2021PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul2021 |
1
PASS
|
0.3450,345 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul2025PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul2025 |
1
PASS
|
0.1680,168 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul1011PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul1011 |
1
PASS
|
0.0780,078 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul1015PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul1015 |
1
PASS
|
0.080,08 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul1020PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul1020 |
1
PASS
|
0.0820,082 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul1516PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testaloul1516 |
1
PASS
|
0.1410,141 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testncm42aPuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testncm42a |
1
PASS
|
0.0710,071 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testncmbPuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testncmb |
1
PASS
|
0.1240,124 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testnmuxPuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testnmux |
1
PASS
|
0.1030,103 |
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testnmyadderPuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.testnmyadder |
1
PASS
|
0.1780,178 |
|
