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

b20_PR_4_90: 7.68 4.28 39710626
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002: 0.21 0.38 4739
fpu-01Xh-error02-nonuniform-depth-10: 6.89 1.70 12299408
fpu-01Xh-error02-nonuniform-depth-23: 14.23 2.99 20049855
fpu-10Xe-correct02-nonuniform-depth-10: 7.11 2.18 12390806
fpu-10Xe-correct02-nonuniform-depth-27: 19.92 4.83 48685453
fpu-10Xh-correct03-nonuniform-depth-11: 8.05 1.76 14229336
fpu-10Xh-correct04-uniform-depth-17: 10.78 2.47 17552548
incrementer-enc02-nonuniform-depth-3: 0.38 0.78 41098
itc-b13-fixpoint-2: 1.52 0.71 12719770
k_branch_p-5: 1.45 0.78 5471998
k_branch_p-8: 2.87 0.41 3255532
k_d4_p-10: 0.46 0.42 883112
k_d4_p-14: 0.55 1.05 1253081
k_d4_p-18: 0.88 0.75 1641947
k_d4_p-19: 1.70 0.56 1729144
k_d4_p-21: 1.32 0.62 1967231
k_d4_p-7: 0.49 0.41 559910
k_dum_p-11: 1.63 0.54 296207
k_dum_p-13: 0.45 1.01 361004
k_dum_p-15: 0.26 0.28 401776
k_dum_p-16: 0.24 0.24 473927
k_dum_p-17: 0.28 0.30 474030
k_dum_p-8: 0.23 0.40 227572
lights3_021_0_040: 2.59 6.77 17309781
lights3_035_1_021: 0.79 0.58 765452
lights3_035_1_032: 0.53 0.48 885263
rankfunc37_signed_64: 0.42 0.42 804880
small-dyn-partition-fixpoint-3: 0.15 0.36 1109349
szymanski-10-s: 14.56 4.16 106968486
szymanski-12-s: 30.93 7.75 203832446
szymanski-14-s: 58.80 15.59 409815664
szymanski-16-s: 100.87 25.94 716759735
szymanski-20-s: 248.68 67.23 1779488081
szymanski-24-s: 552.87 164.33 4119000730
vis.prodcell^09.E-f2: 2.63 0.73 8920062