depqbf results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction171291917363.33
Adder97116415.18
blackbox-01X-QBF1834563343.78
blackbox_design1315602.08
Blocks441310799.2
BMC705741057.82
C432391132769.49
C49921114414.88
C5315711161360.7
C62883946805.94
C88010135.56
Chain1214401.92
circuits1128527.7
comp820.19
conformant_planning914171576.3
Connect432812291.86
Counter17211609.71
Debug2732404.53
evader-pursuer-4x4-logarithmic25212114.14
evader-pursuer-4x4-standard6476809.6
evader-pursuer-6x6-logarithmic33316798.67
evader-pursuer-6x6-standard1619203.04
evader-pursuer-8x8-logarithmic56432583.15
FPGA_PLB_FIT_FAST16113.49
FPGA_PLB_FIT_SLOW1013726.43
Impl810.06
jmc_quant1214401.8
jmc_quant_squaring1012001.4
k_branch_n29126321.89
k_branch_p51156811.02
k_d4_n5566009.29
k_d4_p28132949
k_dum_n1113201.78
k_dum_p2530004
k_grz_n22217434.6
k_grz_p21119178
k_lin_n2257512.72
k_lin_p25417.83
k_path_n1214401.92
k_path_p2934804.53
k_ph_n296298.64
k_ph_p19215962.3
k_poly_n2631204.1
k_poly_p1113201.83
k_t4p_n2631204.07
k_t4p_p4149206.56
Logn10118.2
mqm453667030360.12
s1196910801.71
s126989601.28
s271113201.76
s2981619202.68
s333019446.69
s38689601.68
s4991315602.55
s510147397.85
s7131315602.2
s82089601.56
Sorting_networks22422721.76
SzymanskiP1922802.95
term1301113254.63
tipdiam35333835.63
tipfixpoint68951611.15
Toilet21217687.63
ToiletA17553.65
ToiletC3915850.84
ToiletG2740.28
VonNeumann15292.25
z4ml810.06