formula solving-time(s) checking-time(s) proof-size
---------------------------------------------------

aim-100-1_6-yes1-3-50-shuffled: 2.49 0.82 9710920
aim-50-1_6-yes1-1-90-shuffled: 0.65 0.42 1838241
aim-50-1_6-yes1-4-90-shuffled: 0.76 0.52 3533646
aim-50-2_0-yes1-1-90-shuffled: 5.30 3.93 36516497
aim-50-2_0-yes1-2-50-shuffled: 0.66 0.44 2622104
aim-50-2_0-yes1-3-90-shuffled: 1.21 0.83 8976580
aim-50-3_4-yes1-3-90-shuffled: 8.66 3.82 72807730
aim-50-6_0-yes1-3-50-shuffled: 6.15 4.64 76372153
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010-shuffled: 1.92 1.17 9879570
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002-shuffled: 0.17 0.47 566124
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002-shuffled: 0.17 0.44 550241
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002-shuffled: 0.19 0.44 378772
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002-shuffled: 0.29 0.41 389700
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002-shuffled: 0.21 0.46 394645
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010-shuffled: 0.07 0.28 54723
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002-shuffled: 0.04 0.28 7826
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002-shuffled: 0.25 0.29 9433
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-002-shuffled: 0.16 0.45 350174
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-002-shuffled: 0.11 0.43 364928
BLOCKS3ii.5.2-shuffled: 0.95 5.44 2741435
c1_BMC_p2_k128-shuffled: 37.55 31.05 82720742
c1_BMC_p2_k8-shuffled: 4.78 1.27 6748288
c3_BMC_p2_k1024-shuffled: 3.64 146.19 460825
c3_BMC_p2_k512-shuffled: 2.38 60.64 547337
connect_5x4_4_W-shuffled: 0.47 0.50 155198
connect_6x5_4_D-shuffled: 0.62 0.80 273653
connect_7x6_6_W-shuffled: 0.80 0.75 426501
connect_8x7_3_D-shuffled: 2.44 23.54 1581804
connect_8x7_7_D-shuffled: 1.07 3.22 963337
connect_9x8_6_D-shuffled: 2.35 1.43 2642089
connect_9x8_8_D-shuffled: 1.63 0.80 761426
k_branch_p-16-shuffled: 6.40 0.93 12721063
k_branch_p-4-shuffled: 0.39 0.18 824156
k_branch_p-6-shuffled: 2.19 1.56 11606135
k_branch_p-8-shuffled: 2.67 0.29 3128986
k_d4_p-10-shuffled: 0.33 0.18 774464
k_d4_p-11-shuffled: 0.37 0.18 924307
k_d4_p-21-shuffled: 0.70 0.22 1805379
k_d4_p-6-shuffled: 0.17 0.16 440646
k_d4_p-7-shuffled: 0.20 0.16 475719
k_dum_p-11-shuffled: 0.12 0.15 281982
k_dum_p-13-shuffled: 0.15 0.16 343096
k_dum_p-16-shuffled: 0.19 0.16 459476
k_dum_p-21-shuffled: 0.27 0.17 633570
ken.flash^10.C-f4-shuffled: 0.85 0.26 6914
k_grz_p-10-shuffled: 0.40 0.21 1623047
k_grz_p-17-shuffled: 0.56 0.23 1998934
k_grz_p-21-shuffled: 0.74 0.27 2482062
k_lin_p-12-shuffled: 0.49 0.19 1043355
k_lin_p-16-shuffled: 0.35 0.20 1288580
k_lin_p-21-shuffled: 0.51 0.21 1459335
k_lin_p-8-shuffled: 0.35 0.16 487554
k_path_p-10-shuffled: 0.21 0.16 394166
k_path_p-16-shuffled: 0.36 0.19 708197
k_path_p-21-shuffled: 0.48 0.21 1041103
k_path_p-9-shuffled: 0.18 0.16 382671
k_poly_p-19-shuffled: 0.18 0.16 310028
k_poly_p-21-shuffled: 0.24 0.17 331784
k_t4p_p-12-shuffled: 0.52 0.22 1796307
k_t4p_p-20-shuffled: 0.93 0.31 3951852
k_t4p_p-21-shuffled: 0.99 0.33 4306079
k_t4p_p-4-shuffled: 0.22 0.17 630702
k_t4p_p-8-shuffled: 0.38 0.19 1182632
nusmv.reactor^5.C-f4-shuffled: 4.94 1.10 19417878
par8-1-c-50-shuffled: 5.03 2.78 55530897
par8-2-90-shuffled: 188.56 91.03 1988215179
par8-2-c-50-shuffled: 6.40 3.94 80076808
par8-4-90-shuffled: 164.55 86.33 1902221585
par8-5-c-90-shuffled: 8.84 4.19 79490838
ring_r4_ser--opt-11_-shuffled: 0.02 0.15 8614
s27_d5_u-shuffled: 4.97 2.13 20976228
szymanski-10-s-shuffled: 13.52 3.33 84570493
szymanski-24-s-shuffled: 561.01 163.99 4141779022
texas.ifetch1^4.E-f4-shuffled: 0.87 0.26 2693878
toilet_a_02_01.2-shuffled: 0.16 0.12 727
toilet_c_02_01.2-shuffled: contradicing lit: 12 
toilet_c_04_01.4-shuffled: 0.12 0.14 39151
vis.elevator^1.E-f2-shuffled: 1.05 0.31 3977341
vis.emodel.E-f4-shuffled: 1.12 0.34 4830661
vis.prodcell^04.E-f4-shuffled: 8.11 1.27 24457050
vis.prodcell^08.E-f4-shuffled: 10.83 1.58 35578022
vis.prodcell^09.E-f2-shuffled: 2.59 0.51 8753423
vonNeumann-ripple-carry-13-c-shuffled: 10.36 3.05 1571183
vonNeumann-ripple-carry-15-c-shuffled: 18.07 5.02 2718761