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