summaryrefslogtreecommitdiff
path: root/test/regress/simple2.smt
blob: c8db8c13f5132c5034ac972d739904c8fd967fae (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13

(benchmark b
:status unknown
:logic QF_UF
:extrapreds ((x0))
:extrapreds ((x1))
:extrapreds ((x2))
:extrapreds ((x3))
:assumption (or x1 (not x0))
:formula
(and (or x0 (not x3))
     (or x3 x2)
     (not x1))
)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback