2018-SMTInterpol (unsat core)
| Competing |
no |
| Single Query Track |
|
| Incremental Track |
|
| Challenge Track (non-incremental) |
|
| Challenge Track (incremental) |
|
| Unsat Core Track |
QF_LIA, QF_LRA
|
| Model Validation Track (experimental) |
|
| Preliminary ID |
|
| Final ID |
19795 |
| Seed |
|
| System Description |
|
| Variant of Submission ID |
|
| Derived from Solver |
|
| Wrapped Solvers |
|
| Website |
|
| Team Members |
|