Results of SL-COMP'18 division qf_bsllia_sat
Overview
| Solver | config | solved | time | wrong | timeout | failed | unknown | max timeout |
|---|---|---|---|---|---|---|---|---|
| CVC4 | def | 24 | 2.3 | 0 | 0 | 0 | 0 | 120 |
CVC4
Round 2: July 8th, FINAL
- Version: CVC4-070618 (id 20439)
- Configuration: def
- Pre-processors: SL-CVC4
- Job Id: 29550
- Page: StarExec
- Comment: run done with 120 sec of timeout and 1GB, 0 problem ressourced out
Round 1: July 7th
- Version: CVC4-070618 (id 20439)
- Configuration: def
- Pre-processors: SL-CVC4
- Job Id: 29506
- Comment: run done with 120 sec of timeout and 1GB, 0 problem ressourced out