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

Author: Mihaela Sighireanu

Created: 2019-04-05 Fri 21:34

Validate