depqbf-pre results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction171301913754.85
Adder9711107071.74
blackbox-01X-QBF18313172997.97
blackbox_design1315602.21
Blocks441317800.34
BMC705935788.96
C432391129523.19
C49921114407.09
C5315711161259.85
C62883946806.24
C8801012
Chain121121.12
circuits1128613.77
comp820.16
conformant_planning914170590.01
Connect432812298.65
Counter17212658.54
Debug2732404.67
evader-pursuer-4x4-logarithmic25212024.79
evader-pursuer-4x4-standard6476810.3
evader-pursuer-6x6-logarithmic33222064.75
evader-pursuer-6x6-standard1619203.68
evader-pursuer-8x8-logarithmic56337012.9
FPGA_PLB_FIT_FAST16110.83
FPGA_PLB_FIT_SLOW1012026.97
Impl810.13
jmc_quant1214401.86
jmc_quant_squaring1012001.6
k_branch_n29124641.32
k_branch_p51156890.45
k_d4_n5566009.06
k_d4_p28224521.34
k_dum_n1113201.85
k_dum_p25224640.56
k_grz_n22312407.39
k_grz_p2127293.91
k_lin_n2255903.6
k_lin_p25414.95
k_path_n1214401.84
k_path_p2934804.84
k_ph_n296380.29
k_ph_p19216011.75
k_poly_n2640.68
k_poly_p1120.37
k_t4p_n2631204.1
k_t4p_p41137241.95
Logn10119.8
mqm453667029331.4
s1196910801.62
s126989599.92
s271113201.87
s2981619202.75
s333019457.39
s38689601.6
s4991315602.61
s510147419.36
s7131315602.4
s82089601.46
Sorting_networks221214765.53
SzymanskiP19112015.1
term130129412.76
tipdiam35526531.76
tipfixpoint68951613.2
Toilet21313271.74
ToiletA17553.86
ToiletC39158128.78
ToiletG2740.17
VonNeumann152467.36
z4ml810.13