struqs-10 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction1722011112429.66
Adder1102122746.66
blackbox-01X-QBF20029146835.66
blackbox_design1315601.08
Blocks44140808.53
BMC853577933.43
C43239138624.28
C4992125201.68
C531577181939.44
C628843139671.16
C880101292.46
Chain1213.46
circuits11110827.09
comp822577.47
conformant_planning921192458.64
Connect434915360.28
Counter1720401.52
Debug3036008.4
evader-pursuer-4x4-logarithmic25213826.94
evader-pursuer-4x4-standard65175067.67
evader-pursuer-6x6-logarithmic34135800.16
evader-pursuer-6x6-standard1619202.32
evader-pursuer-8x8-logarithmic59165430.25
FPGA_PLB_FIT_FAST1619602.98
FPGA_PLB_FIT_SLOW1012000.8
Impl810.03
jmc_quant1311537.71
jmc_quant_squaring131469.79
k_branch_n32129693.98
k_branch_p61168756.62
k_d4_n5566004.17
k_d4_p28222250.13
k_dum_n11260.36
k_dum_p254386.83
k_grz_n22314520.19
k_grz_p21116659.09
k_lin_n2226401.95
k_lin_p25214763.2
k_path_n1214400.98
k_path_p29225971.15
k_ph_n3063726.3
k_ph_p25223096.6
k_poly_n264386.92
k_poly_p112175.43
k_t4p_n26121170.85
k_t4p_p4152431.65
Logn1012000.9
mqm48319506078.01
s1196910800.81
s126989600.88
s271111.89
s2981626711.91
s33302125203.39
s38689600.72
s4991319092.49
s51014114049.26
s7131318704.35
s82089600.72
Sorting_networks221119883.99
SzymanskiP22116175.28
term130128470.47
tipdiam3610118636.36
tipfixpoint7411739552.14
Toilet212110381.13
ToiletA17557.82
ToiletC391483164.31
ToiletG2740.13
VonNeumann15248.1
z4ml810.1