Results of SL-COMP'19 division qf_shidlia_sat

Overview

Run 1

solver solver id configuration solved fulltime maxmem wrong to failed unknown job
COMSPEN 20429 default 0/33 0.00 0.00 0 0 0 33 csv
Songbird v2 20617 songbird.sh 18/33 12.44 224984.00 0 3 0 12 csv
s2s.0.3.3 22440 default 33/33 10.10 228756.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 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 *****

Author: Mihaela Sighireanu

Created: 2019-04-05 Fri 21:47

Validate