qmaiga results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction171191672310.59
Adder979113847.93
blackbox-01X-QBF1833392348.84
blackbox_design1315528.5
Blocks441317954.68
BMC707107030.2
C43239135.91
C49921230.35
C5315711246861.98
C62883946800
C88010110.96
Chain1210.24
circuits113246.31
comp820.37
conformant_planning914449176.97
Connect432716779.43
Counter1734159.86
Debug2732249.01
evader-pursuer-4x4-logarithmic25124255.44
evader-pursuer-4x4-standard64165125.7
evader-pursuer-6x6-logarithmic33133159.51
evader-pursuer-6x6-standard1619200
evader-pursuer-8x8-logarithmic56244968.88
FPGA_PLB_FIT_FAST1611295.98
FPGA_PLB_FIT_SLOW101364.7
Impl810.03
jmc_quant12116.89
jmc_quant_squaring103006.59
k_branch_n2947821.07
k_branch_p5174931.26
k_d4_n551088.15
k_d4_p2859.12
k_dum_n1123.15
k_dum_p2545.61
k_grz_n22451.85
k_grz_p21327.92
k_lin_n2252944.02
k_lin_p2542.18
k_path_n1235.65
k_path_p29410.35
k_ph_n296336.34
k_ph_p19215652.96
k_poly_n26410.01
k_poly_p1124.51
k_t4p_n26431.4
k_t4p_p41523.95
Logn10196.73
mqm4532621399546.11
s1196910800
s126989600
s271110.26
s298164431.28
s33301914167.52
s386818722
s4991321983.2
s51014211144.06
s7131319527.96
s82089600
Sorting_networks222118908.24
SzymanskiP19113613.56
term130127.03
tipdiam351029841.48
tipfixpoint687923169.46
Toilet213137.34
ToiletA175540.99
ToiletC391585.19
ToiletG2740.24
VonNeumann152309.19
z4ml810.1