aqme-10 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction172311911119.14
Adder107946495.55
blackbox-01X-QBF1954771942.58
blackbox_design1315600
Blocks4423297.11
BMC80795206.86
C432391317372.09
C49921239.55
C5315741235739.72
C628841226594.51
C88010115.32
Chain12140.8
circuits113175.27
comp829.54
conformant_planning924541635.38
Connect434910240.59
Counter1733668.96
Debug2945180.18
evader-pursuer-4x4-logarithmic25211591.36
evader-pursuer-4x4-standard65165832.6
evader-pursuer-6x6-logarithmic34130910.73
evader-pursuer-6x6-standard1627141.18
evader-pursuer-8x8-logarithmic58422127.4
FPGA_PLB_FIT_FAST161119.52
FPGA_PLB_FIT_SLOW10129.68
Impl818.83
jmc_quant1214400
jmc_quant_squaring1214400
k_branch_n31320941.45
k_branch_p5972436
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_p24220738.92
k_poly_n26441.3
k_poly_p11217.95
k_t4p_n264467.74
k_t4p_p415212.03
Logn10161.28
mqm4732169254905.52
s1196910293.57
s126989600
s2711115.84
s2981625520.34
s33302014867.09
s38689600
s4991318782.94
s5101413969.02
s7131314862.48
s82089600
Sorting_networks2242220.91
SzymanskiP2126353.89
term13012714.2
tipdiam351028198.65
tipfixpoint723944264.13
Toilet213140.87
ToiletA175536.92
ToiletC39158100.32
ToiletG27429.14
VonNeumann1511730.75
z4ml819.22