depqbf-pre results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction172301914955.02
Adder10711119073.42
blackbox-01X-QBF19513187400.05
blackbox_design1315602.21
Blocks441317800.34
BMC805944465.34
C432391129523.19
C49921114407.09
C5315741164860.35
C62884149206.56
C8801012
Chain121121.12
circuits1128613.77
comp820.16
conformant_planning924171790.15
Connect434814699.03
Counter17212658.54
Debug2934805.02
evader-pursuer-4x4-logarithmic25212024.79
evader-pursuer-4x4-standard6578010.47
evader-pursuer-6x6-logarithmic34222350.28
evader-pursuer-6x6-standard1619203.68
evader-pursuer-8x8-logarithmic58338289.37
FPGA_PLB_FIT_FAST16110.83
FPGA_PLB_FIT_SLOW1012026.97
Impl810.13
jmc_quant1214401.86
jmc_quant_squaring1214401.92
k_branch_n31127041.68
k_branch_p59166491.69
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_p24222012.55
k_poly_n2640.68
k_poly_p1120.37
k_t4p_n2631204.1
k_t4p_p41137241.95
Logn10119.8
mqm473667031923.32
s1196910801.62
s126989599.92
s271113201.87
s2981619202.75
s333020481.34
s38689601.6
s4991315602.61
s510147419.36
s7131315602.4
s82089601.46
Sorting_networks221214765.53
SzymanskiP21114415.42
term130129412.76
tipdiam35526531.76
tipfixpoint72956413.86
Toilet21313271.74
ToiletA17553.86
ToiletC39158128.78
ToiletG2740.17
VonNeumann152467.36
z4ml810.13