Results for SL-COMP'19 division qf_shid_sat
Overview
Run 1
solver | solver id | configuration | solved | fulltime | maxmem | wrong | to | failed | unknown | job |
---|---|---|---|---|---|---|---|---|---|---|
Harrsh 2019.4 | 22572 | harrshdefault | 75/99 | 2776.20 | 3096660.00 | 0 | 24 | 0 | 0 | csv |
SLEEK | 20564 | default | 87/99 | 887.38 | 6035060.00 | 9 | 3 | 0 | 0 | csv |
SLSAT | 1137 | default | 90/99 | 5.11 | 154048.00 | 9 | 0 | 0 | 0 | csv |
SPEN | 22607 | qfshidlia | 3/99 | 0.08 | 113176.00 | 2 | 0 | 0 | 94 | csv |
Songbird v2 | 20617 | songbird.sh | 60/99 | 298.72 | 616940.00 | 0 | 18 | 0 | 21 | csv |
s2s.0.3.3 | 22440 | default | 99/99 | 3.38 | 161380.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 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Harrsh 2019.9 | 22687 | harrshdefault | 75/99 | 2790.58 | 58709.52 | 3096080.00 | 0 | 24 | 0 | 0 | csv | 75.00 | 0 | *** |
SLEEK | 20564 | default | 87/99 | 879.30 | 5712.64 | 6022560.00 | 9 | 3 | 0 | 0 | csv | 78.00 | 0 | **** |
SLSAT | 22694 | default | 76/99 | 1314.39 | 56515.44 | 55652.00 | 0 | 23 | 0 | 0 | csv | 76.00 | 18 | **** |
Songbird v2 | 20617 | songbird.sh | 60/99 | 301.64 | 48795.95 | 616940.00 | 0 | 18 | 0 | 21 | csv | 60.00 | 2 | ** |
s2s.0.3.3 | 22440 | default | 99/99 | 3.45 | 3.45 | 161380.00 | 0 | 0 | 0 | 0 | csv | 99.00 | 79 | ***** |