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

(benchmark b
:status unsat
: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)
     x2
     x3)
)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback