1 2 3 4 5 6 7 8
(benchmark delta :logic QF_LIA :extrafuns ((x Int)) :extrafuns ((y Int)) :status sat :formula (>= (* 2 (- x y)) 1) )