aqme-10 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction17131199919.14
Adder97942015.07
blackbox-01X-QBF1834757687
blackbox_design1315600
Blocks4423297.11
BMC70793942.81
C432391317372.09
C49921239.55
C5315711233486.91
C628839224194.51
C88010115.32
Chain12140.8
circuits113175.27
comp829.54
conformant_planning914540491.55
Connect43297840.59
Counter1733668.96
Debug2744739.77
evader-pursuer-4x4-logarithmic25211591.36
evader-pursuer-4x4-standard64164687.58
evader-pursuer-6x6-logarithmic33129766.55
evader-pursuer-6x6-standard1627141.18
evader-pursuer-8x8-logarithmic56420977.02
FPGA_PLB_FIT_FAST161119.52
FPGA_PLB_FIT_SLOW10129.68
Impl818.83
jmc_quant1214400
jmc_quant_squaring1012000
k_branch_n29318931.97
k_branch_p5172190.69
k_d4_n5510825.3
k_d4_p28540.64
k_dum_n11217.05
k_dum_p254288.65
k_grz_n224152.91
k_grz_p21340.87
k_lin_n2251333.39
k_lin_p25443.59
k_path_n12318.98
k_path_p29444.87
k_ph_n296823.75
k_ph_p19215022.71
k_poly_n26441.3
k_poly_p11217.95
k_t4p_n264467.74
k_t4p_p415212.03
Logn10161.28
mqm4532169238301.41
s1196910293.57
s126989600
s2711115.84
s2981625520.34
s33301914162.06
s38689600
s4991318782.94
s5101413969.02
s7131314862.48
s82089600
Sorting_networks2242220.91
SzymanskiP1925301.33
term13012714.2
tipdiam351028198.65
tipfixpoint683939464.13
Toilet213140.87
ToiletA175536.92
ToiletC39158100.32
ToiletG27429.14
VonNeumann1511730.75
z4ml819.22