1 2 3 4 5 6 7 8 9 10 11
(benchmark fuzzsmt :logic QF_UFLRA :extrapreds ((p0 Real)) :extrafuns ((v0 Real)) :status sat :formula (and (p0 v0) (< v0 0) (not (p0 (- 1))) ))