/home/thansen/smt-lib/QF_BV/asp/WeightBoundedDominatingSet/rand_200_800_1159728969_8.lp.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_11073.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1104.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1294.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1227.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_42.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1321.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1308.smt2
/home/thansen/smt-lib/QF_BV/pspace/power2sum.8684.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_1696.smt2
/home/thansen/smt-lib/QF_BV/mcm/22.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_2845.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_16390.smt2
/home/thansen/smt-lib/QF_BV/pspace/power2sum.9082.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1072.smt2
/home/thansen/smt-lib/QF_BV/pspace/power2sum.7092.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1092.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1084.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_10865.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1250.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_176.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1067.smt2
/home/thansen/smt-lib/QF_BV/pspace/power2sum.8286.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1220.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_12.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_13989.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1078.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_2575.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_4190.smt2
/home/thansen/smt-lib/QF_BV/wienand-cav2008/Distrib/distrib16.sf.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_12404.smt2
/home/thansen/smt-lib/QF_BV/wienand-cav2008/Commute/commute16.sf.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1318.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1107.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1234.smt2
/home/thansen/smt-lib/QF_BV/wienand-cav2008/Commute/commute32.sf.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_14237.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_1939.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_12380.smt2
/home/thansen/smt-lib/QF_BV/pspace/power2sum.6097.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_10826.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_9350.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_6821.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_6.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1059.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_7792.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_4529.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_10143.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_40.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_6068.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1310.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_4548.smt2
/home/thansen/smt-lib/QF_BV/pspace/power2sum.8485.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1066.smt2
/home/thansen/smt-lib/QF_BV/wienand-cav2008/Distrib/distrib48.sf.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1108.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_5994.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_10801.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_8377.smt2
/home/thansen/smt-lib/QF_BV/mcm/96.smt2
/home/thansen/smt-lib/QF_BV/calypto/problem_10.smt2
/home/thansen/smt-lib/QF_BV/pspace/power2sum.5699.smt2
/home/thansen/smt-lib/QF_BV/wienand-cav2008/Distrib/distrib08.sf.smt2
/home/thansen/smt-lib/QF_BV/pspace/power2sum.7689.smt2
/home/thansen/smt-lib/QF_BV/pspace/power2sum.8883.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_141.smt2
/home/thansen/smt-lib/QF_BV/wienand-cav2008/Distrib/distrib32.sf.smt2
/home/thansen/smt-lib/QF_BV/pspace/power2sum.9878.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1305.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1097.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_16949.smt2
/home/thansen/smt-lib/QF_BV/pspace/power2sum.7888.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1056.smt2
/home/thansen/smt-lib/QF_BV/asp/GraphPartitioning/rand_25_300_1235843609_0_k=5_v=7_e=40_sat.gph.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_967.smt2
/home/thansen/smt-lib/QF_BV/fft/Sz512_15128_0.smt2
/home/thansen/smt-lib/QF_BV/pspace/power2sum.5898.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1279.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_17897.smt2
/home/thansen/smt-lib/QF_BV/mcm/46.smt2
/home/thansen/smt-lib/QF_BV/wienand-cav2008/Distrib/distrib64.sf.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_8.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_678.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_10719.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_5957.smt2
/home/thansen/smt-lib/QF_BV/wienand-cav2008/Commute/commute08.sf.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1456.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1303.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1083.smt2
/home/thansen/smt-lib/QF_BV/Sage2/bench_4988.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1089.smt2
/home/thansen/smt-lib/QF_BV/wienand-cav2008/Commute/commute64.sf.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1060.smt2
/home/thansen/smt-lib/QF_BV/mcm/39.smt2
/home/thansen/smt-lib/QF_BV/calypto/problem_16.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_144.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_388.smt2
/home/thansen/smt-lib/QF_BV/wienand-cav2008/Commute/commute48.sf.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1316.smt2
/home/thansen/smt-lib/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1223.smt2
