|Track||Number of Benchmarks||Status|
|Single Query Track||250||competitive|
|Challenge Track (non-incremental)||0||competitive|
|Challenge Track (incremental)||0||competitive|
|Unsat Core Track||10031||non-competitive|
|Model Validation Track (experimental)||0||competitive|
We encountered issues with the benchmark scrambler on two benchmarks in this division (fixed in 053bb79). An expression
(fp.leq a x b) was scrambled to
(fp.geq x a b) instead of
(fp.geq b a x), which resulted in a flipped result in the following two benchmarks:
These two benchmarks are thus excluded from this division.
Incremental Track participated only by 2018-Z3, CVC4, Z3n.
Unsat Core Track participated only by 2018-CVC4, CVC4, Z3n.