Results of SL-COMP'19 division shidlia_entl

Overview

Run 1

solver solver id configuration solved fulltime maxmem wrong to failed unknown job
SLEEK 20564 default 26/181 3.20 113176.00 126 18 0 11 csv
Songbird v2 20617 songbird.sh 152/181 4267.26 1888824.00 0 0 0 29 csv
s2s.0.3.3 22440 default 181/181 28.28 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
SLEEK 20564 default 26/181 3.18 54228.69 113176.00 126 18 0 11 csv -100.00 14 ☕
Songbird v2 20617 songbird.sh 153/181 4408.44 9656.76 1907488.00 0 0 0 28 csv 153.00 2 ****
s2s.0.3.3 22440 default 181/181 28.17 28.17 113176.00 0 0 0 0 csv 181.00 165 *****

Author: Mihaela Sighireanu

Created: 2019-04-05 Fri 22:11

Validate