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

(benchmark b
:status sat
: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