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