quantor-3.1 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction17171029521.78
Adder97420075.67
blackbox-01X-QBF183113891.95
blackbox_design13364.05
Blocks4423120.17
BMC707101189.69
C43239133045.98
C49921210.2
C531571121124.72
C628839998.98
C880101643.76
Chain1210.67
circuits1134472.25
comp820.16
conformant_planning914542587.83
Connect43271293.12
Counter173134.05
Debug27421713.14
evader-pursuer-4x4-logarithmic25119371.9
evader-pursuer-4x4-standard6476800
evader-pursuer-6x6-logarithmic3339050.5
evader-pursuer-6x6-standard1619200
evader-pursuer-8x8-logarithmic5667200
FPGA_PLB_FIT_FAST16112.69
FPGA_PLB_FIT_SLOW10116.08
Impl810
jmc_quant1214401.26
jmc_quant_squaring1012000
k_branch_n29776.85
k_branch_p511463.98
k_d4_n551308.62
k_d4_p282556.47
k_dum_n1120.31
k_dum_p253261.92
k_grz_n224154.46
k_grz_p213102.94
k_lin_n22119346.34
k_lin_p2545.51
k_path_n1230.55
k_path_p2941.12
k_ph_n29629.97
k_ph_p19215613.09
k_poly_n2640.66
k_poly_p1120.31
k_t4p_n2611240.38
k_t4p_p4112169.63
Logn10186.73
mqm453166810.65
s1196910800
s126989600
s2711125.74
s2981625358.68
s33301922800
s38689600
s4991318654.06
s5101414062.7
s7131315600
s82089600
Sorting_networks2242214.9
SzymanskiP19479.32
term130128418.25
tipdiam35210520.77
tipfixpoint68418563.04
Toilet21313.34
ToiletA17553.89
ToiletC391588.04
ToiletG2740.17
VonNeumann15288.4
z4ml810.03