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 *****

Author: Mihaela Sighireanu

Created: 2019-04-05 Fri 22:29

Validate