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

(benchmark b
:status unknown
:logic QF_IDL
: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