| WatchedPBConstrOnRandomCardProblemsTest.testPN10WatchedPBConstrOnRandomCardProblemsTest.testPN10 |
3
FAIL
|
300.028300,028 |
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)
|
| WatchedPBConstrOnRandomCardProblemsTest.testPN56WatchedPBConstrOnRandomCardProblemsTest.testPN56 |
1
PASS
|
0.00900,009 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testPN5WatchedPBConstrOnRandomCardProblemsTest.testPN5 |
1
PASS
|
0.0140,014 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testPN45WatchedPBConstrOnRandomCardProblemsTest.testPN45 |
1
PASS
|
0.00900,009 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testPN4WatchedPBConstrOnRandomCardProblemsTest.testPN4 |
1
PASS
|
0.010,01 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testPN78WatchedPBConstrOnRandomCardProblemsTest.testPN78 |
1
PASS
|
0.0110,011 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testPN7WatchedPBConstrOnRandomCardProblemsTest.testPN7 |
1
PASS
|
0.2150,215 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testPN67WatchedPBConstrOnRandomCardProblemsTest.testPN67 |
1
PASS
|
0.0120,012 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testPN6WatchedPBConstrOnRandomCardProblemsTest.testPN6 |
1
PASS
|
0.0390,039 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testPN34WatchedPBConstrOnRandomCardProblemsTest.testPN34 |
1
PASS
|
0.00800,008 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testPN9WatchedPBConstrOnRandomCardProblemsTest.testPN9 |
1
PASS
|
82.38182,381 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testPN910WatchedPBConstrOnRandomCardProblemsTest.testPN910 |
1
PASS
|
0.0130,013 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testPN8WatchedPBConstrOnRandomCardProblemsTest.testPN8 |
1
PASS
|
3.3963,396 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testPN89WatchedPBConstrOnRandomCardProblemsTest.testPN89 |
1
PASS
|
0.0120,012 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg15WatchedPBConstrOnRandomCardProblemsTest.testRndDeg15 |
1
PASS
|
0.00700,007 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg16WatchedPBConstrOnRandomCardProblemsTest.testRndDeg16 |
1
PASS
|
0.010,01 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg13WatchedPBConstrOnRandomCardProblemsTest.testRndDeg13 |
1
PASS
|
0.00800,008 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg14WatchedPBConstrOnRandomCardProblemsTest.testRndDeg14 |
1
PASS
|
0.00800,008 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg11WatchedPBConstrOnRandomCardProblemsTest.testRndDeg11 |
1
PASS
|
0.00800,008 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg12WatchedPBConstrOnRandomCardProblemsTest.testRndDeg12 |
1
PASS
|
0.00800,008 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg9WatchedPBConstrOnRandomCardProblemsTest.testRndDeg9 |
1
PASS
|
0.00800,008 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg10WatchedPBConstrOnRandomCardProblemsTest.testRndDeg10 |
1
PASS
|
0.00800,008 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg7WatchedPBConstrOnRandomCardProblemsTest.testRndDeg7 |
1
PASS
|
0.0130,013 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg8WatchedPBConstrOnRandomCardProblemsTest.testRndDeg8 |
1
PASS
|
0.00900,009 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg5WatchedPBConstrOnRandomCardProblemsTest.testRndDeg5 |
1
PASS
|
0.0250,025 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg6WatchedPBConstrOnRandomCardProblemsTest.testRndDeg6 |
1
PASS
|
0.0160,016 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg3WatchedPBConstrOnRandomCardProblemsTest.testRndDeg3 |
1
PASS
|
0.1130,113 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg4WatchedPBConstrOnRandomCardProblemsTest.testRndDeg4 |
1
PASS
|
0.1070,107 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg1WatchedPBConstrOnRandomCardProblemsTest.testRndDeg1 |
1
PASS
|
0.6230,623 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg2WatchedPBConstrOnRandomCardProblemsTest.testRndDeg2 |
1
PASS
|
0.1380,138 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg18WatchedPBConstrOnRandomCardProblemsTest.testRndDeg18 |
1
PASS
|
0.00800,008 |
|
| WatchedPBConstrOnRandomCardProblemsTest.testRndDeg17WatchedPBConstrOnRandomCardProblemsTest.testRndDeg17 |
1
PASS
|
0.00900,009 |
|
