Results of SL-COMP'18 division qf_bsl_sat
Overview
| Solver | config | solved | time | wrong | timeout | failed | unknown | max timeout |
|---|---|---|---|---|---|---|---|---|
| CVC4 | def | 44 | 391.1 | 0 | 2 | 0 | 0 | 600 |
CVC4
Round 3: July 9th, FINAL
- Version: CVC4-070618
- Configuration: def
- Pre-processors: SL-CVC4
- Job Id: 29698
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 2/46 problems ressourced out
Round 2: July 8th
- Version: CVC4-070618
- Configuration: def
- Pre-processors: SL-CVC4
- Job Id: 29551
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 3/46 problems ressources out
Round 1: July 7th
- Version: CVC4-070618
- Configuration: def
- Pre-processors: SL-CVC4
- Job Id: 29541
- Page: StarExec
- Comments: some results all 'unknown' because of a bug in the pre-processor