set -x
z3 -smt2 -T:10 add1.s.smt
z3 -smt2 -T:10 add2.s.smt
z3 -smt2 -T:10 add_by_not_neg.s.smt
z3 -smt2 -T:10 add_by_sub.s.smt
z3 -smt2 -T:10 add.s.smt
z3 -smt2 -T:10 align2grain.s.smt
z3 -smt2 -T:10 AND_by_shifts2.s.smt
z3 -smt2 -T:10 AND_by_shifts3.s.smt
z3 -smt2 -T:10 AND_by_shifts.s.smt
z3 -smt2 -T:10 De_Morgan1.s.smt
z3 -smt2 -T:10 De_Morgan2.s.smt
z3 -smt2 -T:10 fahr_to_celsius.s.smt
z3 -smt2 -T:10 fahr_to_celsius_obf1.s.smt
z3 -smt2 -T:10 fahr_to_celsius_obf2.s.smt
z3 -smt2 -T:10 mul19_2.s.smt
z3 -smt2 -T:10 mul19_3.s.smt
z3 -smt2 -T:10 mul19_comm_test.s.smt
z3 -smt2 -T:10 mul19.s.smt
z3 -smt2 -T:10 mul21.s.smt
z3 -smt2 -T:10 mul2.s.smt
z3 -smt2 -T:10 mul_add2.s.smt
z3 -smt2 -T:10 mul_add3.s.smt
z3 -smt2 -T:10 mul_add.s.smt
z3 -smt2 -T:10 mul.s.smt
z3 -smt2 -T:10 mul31_GCC.s.smt
z3 -smt2 -T:10 neg2.s.smt
z3 -smt2 -T:10 neg3.s.smt
z3 -smt2 -T:10 neg4.s.smt
z3 -smt2 -T:10 neg4_v2.s.smt
z3 -smt2 -T:10 neg.s.smt
z3 -smt2 -T:10 remainder.s.smt
z3 -smt2 -T:10 shift.s.smt
z3 -smt2 -T:10 sub_by_not_neg.s.smt
z3 -smt2 -T:10 t10_obf.s.smt
z3 -smt2 -T:10 t11_obf.s.smt
z3 -smt2 -T:10 t5_obf.s.smt
z3 -smt2 -T:10 t6_obf.s.smt
z3 -smt2 -T:10 t7_obf.s.smt
z3 -smt2 -T:10 t8_obf.s.smt
z3 -smt2 -T:10 t9_obf.s.smt
z3 -smt2 -T:10 XOR1.s.smt
z3 -smt2 -T:10 XOR1_v2.s.smt