depqbf results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction172291918563.49
Adder107128416.8
blackbox-01X-QBF1954577745.72
blackbox_design1315602.08
Blocks441310799.2
BMC805750674.21
C432391132769.49
C49921114414.88
C5315741164961.19
C62884149206.25
C88010135.56
Chain1214401.92
circuits1128527.7
comp820.19
conformant_planning924172776.46
Connect434814692.24
Counter17211609.71
Debug2934804.88
evader-pursuer-4x4-logarithmic25212114.14
evader-pursuer-4x4-standard6578009.77
evader-pursuer-6x6-logarithmic34317169.27
evader-pursuer-6x6-standard1619203.04
evader-pursuer-8x8-logarithmic58433836.97
FPGA_PLB_FIT_FAST16113.49
FPGA_PLB_FIT_SLOW1013726.43
Impl810.06
jmc_quant1214401.8
jmc_quant_squaring1214401.68
k_branch_n31128722.21
k_branch_p59166412.38
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_p24221963.1
k_poly_n2631204.1
k_poly_p1113201.83
k_t4p_n2631204.07
k_t4p_p4149206.56
Logn10118.2
mqm473667033092.84
s1196910801.71
s126989601.28
s271113201.76
s2981619202.68
s333020472.55
s38689601.68
s4991315602.55
s510147397.85
s7131315602.2
s82089601.56
Sorting_networks22422721.76
SzymanskiP2125203.27
term1301113254.63
tipdiam35333835.63
tipfixpoint72956411.83
Toilet21217687.63
ToiletA17553.65
ToiletC3915850.84
ToiletG2740.28
VonNeumann15292.25
z4ml810.06