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