summaryrefslogtreecommitdiff
path: root/test/regress/regress0/bug288b.smt
blob: 659c90a0f339596fb3a1ecaa93259ac5bd731c74 (plain) 
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)
)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback