Results of SL-COMP'19 division qf_shidlia_sat
Overview
Run 1
Run 2
solver | solver id | config | solved | solved time | full time | maxmem | wrong | RO | failed | unknown | job | Score | VBS-job | Podium |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
COMSPEN2019 | 22337 | qfshlssat | 20/33 | 0.76 | 0.90 | 113176.00 | 0 | 0 | 0 | 13 | csv | 20.00 | 11 | **** |
SLEEK | 20564 | default | 19/33 | 11.74 | 16.76 | 268912.00 | 14 | 0 | 0 | 0 | csv | 5.00 | 5 | ** |
Songbird v2 | 20617 | songbird.sh | 18/33 | 12.40 | 10429.25 | 224984.00 | 0 | 3 | 0 | 12 | csv | 18.00 | 12 | *** |
s2s.0.3.3 | 22440 | default | 33/33 | 10.13 | 10.13 | 228756.00 | 0 | 0 | 0 | 0 | csv | 33.00 | 5 | ***** |