struqs-10 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction1712011111229.57
Adder972107145.56
blackbox-01X-QBF18329126433.32
blackbox_design1315601.08
Blocks44140808.53
BMC703559927.76
C43239138624.28
C4992125201.68
C531571174738.96
C628839134870.84
C880101292.46
Chain1213.46
circuits11110827.09
comp822577.47
conformant_planning911191258.55
Connect432912960.07
Counter1720401.52
Debug2732407.59
evader-pursuer-4x4-logarithmic25213826.94
evader-pursuer-4x4-standard64173867.57
evader-pursuer-6x6-logarithmic33134600.07
evader-pursuer-6x6-standard1619202.32
evader-pursuer-8x8-logarithmic56161829.91
FPGA_PLB_FIT_FAST1619602.98
FPGA_PLB_FIT_SLOW1012000.8
Impl810.03
jmc_quant1211505.93
jmc_quant_squaring101361.38
k_branch_n29126093.62
k_branch_p51156755.67
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_n2963226.67
k_ph_p19215896.12
k_poly_n264386.92
k_poly_p112175.43
k_t4p_n26121170.85
k_t4p_p4152431.65
Logn1012000.9
mqm45319470075.7
s1196910800.81
s126989600.88
s271111.89
s2981626711.91
s33301922803.01
s38689600.72
s4991319092.49
s51014114049.26
s7131318704.35
s82089600.72
Sorting_networks221119883.99
SzymanskiP19112574.59
term130128470.47
tipdiam3510118548.64
tipfixpoint6811732351.48
Toilet212110381.13
ToiletA17557.82
ToiletC391483164.31
ToiletG2740.13
VonNeumann15248.1
z4ml810.1