Experiments
Summary
| status | kb | jka | jkc | jkac | jkacc | jk |
|---|---|---|---|---|---|---|
| YES | 18 | 24 | 42 | 64 | 88 | 93 |
| (sec) | 0.61 | 12.23 | 0.65 | 164.37 | 224.44 | 230.73 |
| NO | 15 | 8 | 8 | 15 | 15 | 8 |
| (sec) | 0.06 | 0.11 | 0.07 | 0.16 | 0.12 | 0.07 |
| MAYBE | 155 | 156 | 138 | 108 | 84 | 86 |
| (sec) | 82.95 | 114.69 | 129.96 | 85.59 | 84.29 | 42.99 |
| TIMEOUT | 0 | 0 | 0 | 1 | 1 | 1 |
| (sec) | 0.00 | 0.00 | 0.00 | 120.00 | 120.00 | 120.00 |
| ERROR | 0 | 0 | 0 | 0 | 0 | 0 |
| (sec) | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |