Results of SL-COMP'19 division qf_bsl_sat
Overview
Run 1
solver | solver id | configuration | solved | fulltime | maxmem | wrong | to | failed | unknown | job | podium |
---|---|---|---|---|---|---|---|---|---|---|---|
CVC4-070618 | 20439 | def | 44/46 | 378.87 | 214224.00 | 0 | 2 | 0 | 0 | csv | *** |
qf_bsl_sat
solver | solver id | configuration | solved | fulltime | maxmem | wrong | to | failed | unknown | job | podium |
---|---|---|---|---|---|---|---|---|---|---|---|
CVC4-070618 | 20439 | def | 44/46 | 378.87 | 214224.00 | 0 | 2 | 0 | 0 | csv | *** |
Created: 2019-04-05 Fri 19:21