| WatchedCardConstrOnRandomCardProblemsTest.testPN10WatchedCardConstrOnRandomCardProblemsTest.testPN10 |
3
FAIL
|
300.027300,027 |
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)
|
| WatchedCardConstrOnRandomCardProblemsTest.testPN56WatchedCardConstrOnRandomCardProblemsTest.testPN56 |
1
PASS
|
0.00900,009 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testPN5WatchedCardConstrOnRandomCardProblemsTest.testPN5 |
1
PASS
|
0.0110,011 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testPN45WatchedCardConstrOnRandomCardProblemsTest.testPN45 |
1
PASS
|
0.00900,009 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testPN4WatchedCardConstrOnRandomCardProblemsTest.testPN4 |
1
PASS
|
0.00800,008 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testPN78WatchedCardConstrOnRandomCardProblemsTest.testPN78 |
1
PASS
|
0.0110,011 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testPN7WatchedCardConstrOnRandomCardProblemsTest.testPN7 |
1
PASS
|
0.1420,142 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testPN67WatchedCardConstrOnRandomCardProblemsTest.testPN67 |
1
PASS
|
0.0110,011 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testPN6WatchedCardConstrOnRandomCardProblemsTest.testPN6 |
1
PASS
|
0.0280,028 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testPN34WatchedCardConstrOnRandomCardProblemsTest.testPN34 |
1
PASS
|
0.00800,008 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testPN9WatchedCardConstrOnRandomCardProblemsTest.testPN9 |
1
PASS
|
38.52938,529 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testPN910WatchedCardConstrOnRandomCardProblemsTest.testPN910 |
1
PASS
|
0.0130,013 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testPN8WatchedCardConstrOnRandomCardProblemsTest.testPN8 |
1
PASS
|
2.0112,011 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testPN89WatchedCardConstrOnRandomCardProblemsTest.testPN89 |
1
PASS
|
0.0120,012 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg15WatchedCardConstrOnRandomCardProblemsTest.testRndDeg15 |
1
PASS
|
0.0330,033 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg16WatchedCardConstrOnRandomCardProblemsTest.testRndDeg16 |
1
PASS
|
0.00900,009 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg13WatchedCardConstrOnRandomCardProblemsTest.testRndDeg13 |
1
PASS
|
0.020,02 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg14WatchedCardConstrOnRandomCardProblemsTest.testRndDeg14 |
1
PASS
|
0.00900,009 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg11WatchedCardConstrOnRandomCardProblemsTest.testRndDeg11 |
1
PASS
|
0.010,01 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg12WatchedCardConstrOnRandomCardProblemsTest.testRndDeg12 |
1
PASS
|
0.00800,008 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg9WatchedCardConstrOnRandomCardProblemsTest.testRndDeg9 |
1
PASS
|
0.00900,009 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg10WatchedCardConstrOnRandomCardProblemsTest.testRndDeg10 |
1
PASS
|
0.00900,009 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg7WatchedCardConstrOnRandomCardProblemsTest.testRndDeg7 |
1
PASS
|
0.0140,014 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg8WatchedCardConstrOnRandomCardProblemsTest.testRndDeg8 |
1
PASS
|
0.00900,009 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg5WatchedCardConstrOnRandomCardProblemsTest.testRndDeg5 |
1
PASS
|
0.0360,036 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg6WatchedCardConstrOnRandomCardProblemsTest.testRndDeg6 |
1
PASS
|
0.0350,035 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg3WatchedCardConstrOnRandomCardProblemsTest.testRndDeg3 |
1
PASS
|
0.1040,104 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg4WatchedCardConstrOnRandomCardProblemsTest.testRndDeg4 |
1
PASS
|
0.1080,108 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg1WatchedCardConstrOnRandomCardProblemsTest.testRndDeg1 |
1
PASS
|
1.1341,134 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg2WatchedCardConstrOnRandomCardProblemsTest.testRndDeg2 |
1
PASS
|
0.1360,136 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg18WatchedCardConstrOnRandomCardProblemsTest.testRndDeg18 |
1
PASS
|
0.00800,008 |
|
| WatchedCardConstrOnRandomCardProblemsTest.testRndDeg17WatchedCardConstrOnRandomCardProblemsTest.testRndDeg17 |
1
PASS
|
0.00800,008 |
|
