Results of SL-COMP'19 division shid_entl
Overview
Run 1
| solver | solver id | configuration | solved | fulltime | maxmem | wrong | to | failed | unknown | job |
|---|---|---|---|---|---|---|---|---|---|---|
| Cyclist-SL | 1136 | default | 2/73 | 0.06 | 113176.00 | 0 | 45 | 0 | 26 | csv |
| SLEEK | 20564 | default | 29/73 | 17.10 | 253956.00 | 39 | 1 | 0 | 4 | csv |
| Songbird v2 | 20617 | songbird.sh | 70/73 | 928.85 | 1544188.00 | 0 | 0 | 0 | 3 | csv |
| s2s.0.3.3 | 22440 | default | 73/73 | 5.56 | 139596.00 | 0 | 0 | 0 | 0 | csv |
| slide-2018-v5 | 20628 | SLDinput | 15/73 | 10.87 | 544224.00 | 0 | 0 | 0 | 58 | csv |
Run 2
| solver | solver id | config | solved | solved time | full time | maxmem | wrong | RO | failed | unknown | job | Score | VBS-job | Podium |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Cyclist-SL | 22685 | default | 57/73 | 559.79 | 34297.34 | 131052.00 | 0 | 14 | 0 | 2 | csv | 57.00 | 6 | *** |
| SLEEK | 20564 | default | 29/73 | 17.13 | 4111.27 | 253964.00 | 39 | 1 | 0 | 4 | csv | -10.00 | 1 | ☕ |
| Songbird v2 | 20617 | songbird.sh | 70/73 | 929.82 | 1363.18 | 1544128.00 | 0 | 0 | 0 | 3 | csv | 70.00 | 2 | **** |
| s2s.0.3.3 | 22440 | default | 73/73 | 5.53 | 5.53 | 139596.00 | 0 | 0 | 0 | 0 | csv | 73.00 | 64 | ***** |
| slide-2018-v5 | 20623 | SLDinput | 15/73 | 11.04 | 31.64 | 536656.00 | 0 | 0 | 0 | 58 | csv | 15.00 | 0 | ** |