Results of SL-COMP'19 division qf_shidlia_entl
Overview
Run 1
solver | solver id | configuration | solved | fulltime | maxmem | wrong | ro | failed | unknown | job |
---|---|---|---|---|---|---|---|---|---|---|
COMSPEN2019 | 22337 | qfshlssat | 21/61 | 48.77 | 161432.00 | 0 | 0 | 0 | 40 | csv |
SLEEK | 20564 | default | 11/61 | 1.93 | 113176.00 | 45 | 5 | 0 | 0 | csv |
Songbird v2 | 20617 | songbird.sh | 57/61 | 1137.07 | 1073532.00 | 0 | 0 | 0 | 4 | csv |
s2s.0.3.3 | 22440 | default | 61/61 | 8.89 | 113176.00 | 0 | 0 | 0 | 0 | csv |
Run 2
solver | solver id | config | solved | solved time | full time | maxmem | wrong | RO | failed | unknown | job | Score | VBS-job | Podium |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
COMSPEN2019 | 22337 | qfshlssat | 21/61 | 48.79 | 49.48 | 161432.00 | 0 | 0 | 0 | 40 | csv | 21.00 | 1 | *** |
SLEEK | 20564 | default | 11/61 | 1.95 | 13998.29 | 113176.00 | 45 | 5 | 0 | 0 | csv | -61.00 | 1 | ☕ |
Songbird v2 | 20617 | songbird.sh | 58/61 | 1253.53 | 1772.59 | 1073532.00 | 0 | 0 | 0 | 3 | csv | 58.00 | 10 | **** |
s2s.0.3.3 | 22440 | default | 61/61 | 8.92 | 8.92 | 113176.00 | 0 | 0 | 0 | 0 | csv | 61.00 | 49 | ***** |