~james/reorder/smt/fences.smt2

1 (set-logic QF_LIA)
2 (set-option :produce-models true)
3 (set-option :timeout 60000)
4
5 (define-fun weight ((enabled Bool)) Int
6   (ite enabled 1 0))
1	(set-logic QF_LIA)
2	(set-option :produce-models true)
3	(set-option :timeout 60000)
4
5	(define-fun weight ((enabled Bool)) Int
6	(ite enabled 1 0))