2018-Boolector (incremental)
| Competing |
no |
| Single Query Track |
|
| Incremental Track |
QF_ABV, QF_UFBV
|
| Challenge Track (non-incremental) |
|
| Challenge Track (incremental) |
QF_ABV
|
| Unsat Core Track |
|
| Model Validation Track (experimental) |
|
| Preliminary ID |
|
| Final ID |
19991 |
| Seed |
|
| System Description |
|
| Variant of Submission ID |
|
| Derived from Solver |
|
| Wrapped Solvers |
|
| Website |
|
| Team Members |
|