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

Adder2-4-s-shuffled: 0.95 0.51 3034435
adder-4-sat-shuffled: 0.65 0.36 3235939
aim-100-2_0-yes1-2-50-shuffled: 2.06 1.02 10301553
aim-50-1_6-yes1-1-00-shuffled: 0.25 0.26 971472
aim-50-1_6-yes1-2-00-shuffled: 0.25 0.30 1219561
aim-50-1_6-yes1-2-50-shuffled: 0.23 0.37 1808824
aim-50-1_6-yes1-3-00-shuffled: 0.22 0.30 1255985
aim-50-1_6-yes1-4-50-shuffled: 0.21 0.29 1231243
aim-50-6_0-yes1-4-90-shuffled: 3.70 7.54 60577654
BLOCKS3iii.5-shuffled: 0.38 0.31 1092545
CHAIN23v.24-shuffled: 0.23 0.16 465457
cmu.periodic.N-d2-shuffled: 0.50 1.37 1105065
cmu.periodic.N-d4-shuffled: 2.13 10.81 7056015
counter_8-shuffled: 0.33 0.24 269594
eijk.S208o.S-d4-shuffled: 0.10 0.15 34169
ii8a1-90-shuffled: 1.00 0.90 7337294
impl18-shuffled: 0.03 0.14 7644
k_branch_n-4-shuffled: 0.43 0.45 872474
k_branch_n-5-shuffled: 1.29 2.61 6706858
k_branch_n-8-shuffled: 2.74 4.28 3379190
k_d4_n-11-shuffled: 1.23 3.05 7238347
k_d4_n-14-shuffled: 1.61 5.53 10435168
k_d4_n-15-shuffled: 1.85 6.63 11555379
k_d4_n-16-shuffled: 1.97 8.07 13009286
k_d4_n-17-shuffled: 2.13 9.05 13727456
k_d4_n-18-shuffled: 2.24 10.73 15288143
k_d4_n-19-shuffled: 2.48 12.46 16848602
k_d4_n-20-shuffled: 2.64 14.59 18403764
k_d4_n-21-shuffled: 2.85 16.94 20525232
k_d4_n-7-shuffled: 0.70 1.11 3425995
k_dum_n-10-shuffled: 0.16 0.25 263240
k_dum_n-21-shuffled: 0.32 0.62 654960
k_grz_n-10-shuffled: 0.47 0.48 1734830
k_grz_n-13-shuffled: 0.59 0.65 2764954
k_grz_n-14-shuffled: 0.81 0.88 3655795
k_grz_n-21-shuffled: 1.42 1.72 7714493
k_lin_n-10-shuffled: 3.97 6.04 8824779
k_lin_n-13-shuffled: 10.86 14.49 13624579
k_lin_n-14-shuffled: 14.76 18.96 18479259
k_lin_n-9-shuffled: 2.76 4.24 6247128
k_path_n-10-shuffled: 0.28 0.36 474003
k_path_n-20-shuffled: 0.52 1.14 1400521
k_path_n-21-shuffled: 0.49 1.23 1476017
k_poly_n-12-shuffled: 0.11 0.36 233078
k_poly_n-13-shuffled: 0.12 0.42 220824
k_poly_n-20-shuffled: 0.19 0.79 351239
k_poly_n-21-shuffled: 0.23 0.82 324332
k_t4p_n-12-shuffled: 1.11 2.43 4666653
k_t4p_n-17-shuffled: 1.59 4.63 7681097
k_t4p_n-21-shuffled: 2.06 6.98 10776828
k_t4p_n-4-shuffled: 0.32 0.45 989052
par8-4-c-90-shuffled: 4.26 5.74 53760812
s298_d2_s-shuffled: 1.17 1.64 23508243
s499_d4_s-shuffled: 121.79 67.59 2831744812
ssa7552-159-00-shuffled: 0.24 3.80 576523
texas.ifetch1^9.E-f4-shuffled: 1.22 2.51 3217163
toilet_a_02_10.2-shuffled: 0.09 0.15 45703
toilet_a_04_10.2-shuffled: 0.06 0.17 126816
toilet_c_04_10.2-shuffled: 0.03 0.18 120382
toilet_g_02_01.2-shuffled: 0.02 0.11 274
toilet_g_04_01.2-shuffled: 0.07 0.14 1119
toilet_g_08_01.2-shuffled: 0.00 0.14 7204
toilet_g_20_01.2-shuffled: 0.09 0.15 43619
vis.prodcell^01.E-d4-shuffled: 3.51 10.08 12679166