Results of SL-COMP'19 division qf_shid_entl
Overview
Run 1
| solver | solver id | configuration | solved | fulltime | maxmem | wrong | to | failed | unknown | job |
|---|---|---|---|---|---|---|---|---|---|---|
| Cyclist-SL | 1136 | default | 219/312 | 2322.77 | 190408.00 | 0 | 75 | 0 | 18 | csv |
| Harrsh 2019.4 | 22572 | harrshdefault | 251/312 | 2058.44 | 3105572.00 | 5 | 6 | 0 | 50 | csv |
| SLEEK | 20564 | default | 196/312 | 1485.22 | 354140.00 | 96 | 17 | 0 | 3 | csv |
| SPEN | 22607 | qfshidlia | 41/312 | 1.71 | 113176.00 | 3 | 0 | 0 | 268 | csv |
| Songbird v2 | 20617 | songbird.sh | 300/312 | 1225.29 | 685684.00 | 0 | 0 | 0 | 12 | csv |
| s2s.0.3.3 | 22440 | default | 312/312 | 56.10 | 214164.00 | 0 | 0 | 0 | 0 | csv |
| slide-2018-v5 | 20628 | SLDinput | 61/312 | 70.04 | 633892.00 | 0 | 0 | 0 | 251 | 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 | 252/312 | 3253.29 | 111617.07 | 450552.00 | 0 | 45 | 0 | 15 | csv | 252.00 | 64 | ** |
| Harrsh 2019.9 | 22687 | harrshdefault | 255/312 | 2280.58 | 15618.54 | 3100160.00 | 0 | 6 | 0 | 51 | csv | 255.00 | 0 | *** |
| SLEEK | 20564 | default | 196/312 | 1483.08 | 45697.65 | 354136.00 | 96 | 17 | 0 | 3 | csv | 73.00 | 0 | * |
| Songbird v2 | 20617 | songbird.sh | 300/312 | 1225.96 | 4359.56 | 685684.00 | 0 | 0 | 0 | 12 | csv | 300.00 | 6 | **** |
| s2s.0.3.3 | 22440 | default | 312/312 | 55.58 | 55.58 | 214160.00 | 0 | 0 | 0 | 0 | csv | 312.00 | 241 | ***** |
| slide-2018-v5 | 20623 | SLDinput | 61/312 | 70.49 | 149.63 | 633436.00 | 0 | 0 | 0 | 251 | csv | 61.00 | 1 | ☕ |