Results of SL-COMP'19 division qf_bsllia_sat
Overview
Run 1
| solver | solver id | configuration | solved | fulltime | maxmem | wrong | to | failed | unknown | job | podium |
|---|---|---|---|---|---|---|---|---|---|---|---|
| CVC4-070618 | 20439 | def | 24/24 | 2.40 | 152080.00 | 0 | 0 | 0 | 0 | csv | *** |
qf_bsllia_sat| solver | solver id | configuration | solved | fulltime | maxmem | wrong | to | failed | unknown | job | podium |
|---|---|---|---|---|---|---|---|---|---|---|---|
| CVC4-070618 | 20439 | def | 24/24 | 2.40 | 152080.00 | 0 | 0 | 0 | 0 | csv | *** |
Created: 2019-04-05 Fri 19:21