summaryrefslogtreecommitdiff
path: root/test/regress/regress0/simple2.smt
blob: e917d1b64c2f103a0b706cd47a2665917dd7e137 (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))
:formula
(and (or x1 (not x0))
     (or x0 (not x3))
     (or x3 x2)
     (not x1))
)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback