| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN10PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN10 |
3
FAIL
|
300.023300,023 |
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.AbstractPigeonHoleWithCardinalityTest.testPN10(AbstractPigeonHoleWithCardinalityTest.java:114)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN56PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN56 |
1
PASS
|
0.00900,009 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN5PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN5 |
1
PASS
|
0.0140,014 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN45PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN45 |
1
PASS
|
0.00900,009 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN4PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN4 |
1
PASS
|
0.00900,009 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN78PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN78 |
1
PASS
|
0.0110,011 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN7PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN7 |
1
PASS
|
0.2080,208 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN67PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN67 |
1
PASS
|
0.0140,014 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN6PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN6 |
1
PASS
|
0.0380,038 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN34PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN34 |
1
PASS
|
0.00800,008 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN9PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN9 |
1
PASS
|
79.58879,588 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN910PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN910 |
1
PASS
|
0.0130,013 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN8PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN8 |
1
PASS
|
3.2843,284 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN89PuebloWatchedPBConstrOnRandomCardProblemsTest.testPN89 |
1
PASS
|
0.0120,012 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg15PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg15 |
1
PASS
|
0.00800,008 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg16PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg16 |
1
PASS
|
0.00800,008 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg13PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg13 |
1
PASS
|
0.00700,007 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg14PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg14 |
1
PASS
|
0.00800,008 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg11PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg11 |
1
PASS
|
0.00700,007 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg12PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg12 |
1
PASS
|
0.00800,008 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg9PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg9 |
1
PASS
|
0.00800,008 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg10PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg10 |
1
PASS
|
0.00800,008 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg7PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg7 |
1
PASS
|
0.0120,012 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg8PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg8 |
1
PASS
|
0.00900,009 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg5PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg5 |
1
PASS
|
0.0250,025 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg6PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg6 |
1
PASS
|
0.0170,017 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg3PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg3 |
1
PASS
|
0.1140,114 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg4PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg4 |
1
PASS
|
0.110,11 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg1PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg1 |
1
PASS
|
0.5970,597 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg2PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg2 |
1
PASS
|
0.1380,138 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg18PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg18 |
1
PASS
|
0.00800,008 |
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg17PuebloWatchedPBConstrOnRandomCardProblemsTest.testRndDeg17 |
1
PASS
|
0.00800,008 |
|
