QF_ABVFP

Tracks

Track	Number of Benchmarks	Status
Single Query Track	630	non-competitive
Incremental Track	69	non-competitive
Challenge Track (non-incremental)	0	competitive
Challenge Track (incremental)	0	competitive
Unsat Core Track	1965	non-competitive
Model Validation Track (experimental)	0	competitive

Notes

Single Query Track participated only by 2018-CVC4ⁿ, CVC4, Z3ⁿ.
Incremental Track participated only by CVC4, Z3ⁿ.
Unsat Core Track participated only by 2018-CVC4ⁿ, CVC4, Z3ⁿ.

n Non-competing.