AIGSolve results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction171191760341
Adder979321918.92
blackbox-01X-QBF18323123220.07
blackbox_design132376.57
Blocks441215077.33
BMC707107160.73
C43239136.33
C49921231.03
C5315711243760.48
C62883946800
C8801013.24
Chain1210.43
circuits113126.03
comp820.27
conformant_planning914349345.66
Connect432716016.62
Counter1742849.03
Debug2732094.33
evader-pursuer-4x4-logarithmic25118678.39
evader-pursuer-4x4-standard64169896.74
evader-pursuer-6x6-logarithmic3339600
evader-pursuer-6x6-standard1616666.14
evader-pursuer-8x8-logarithmic56132018.03
FPGA_PLB_FIT_FAST1611230
FPGA_PLB_FIT_SLOW101218.25
Impl810.03
jmc_quant12117.39
jmc_quant_squaring10183.77
k_branch_n29310901.38
k_branch_p5165812.73
k_d4_n551088.61
k_d4_p2859.43
k_dum_n1122.98
k_dum_p2545.39
k_grz_n22433.44
k_grz_p21320.74
k_lin_n2253387.23
k_lin_p2542.05
k_path_n1237.78
k_path_p29414.2
k_ph_n296248.66
k_ph_p19215629.4
k_poly_n26430.1
k_poly_p11220.21
k_t4p_n26431.12
k_t4p_p41524.29
Logn10111.24
mqm4531912416615.56
s1196910800
s126989600
s271110.18
s298164328.09
s33301915666.39
s386815725.7
s4991321105.25
s5101422986.03
s7131317621.96
s82089600
Sorting_networks221119200.58
SzymanskiP19113659.89
term130125.92
tipdiam358211171.13
tipfixpoint687922842.2
Toilet213110.76
ToiletA17434841.45
ToiletC391583.82
ToiletG2740.38
VonNeumann152540.16
z4ml810.03