qmaiga results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction172191673510.59
Adder1109115396.74
blackbox-01X-QBF20033111246
blackbox_design1315528.5
Blocks441317954.68
BMC8571011602.72
C43239135.91
C49921230.35
C5315771254061.98
C62884351600
C88010110.96
Chain1210.24
circuits113246.31
comp820.37
conformant_planning924450376.97
Connect434719179.43
Counter1734159.86
Debug3035849.01
evader-pursuer-4x4-logarithmic25124255.44
evader-pursuer-4x4-standard65166325.7
evader-pursuer-6x6-logarithmic34134359.51
evader-pursuer-6x6-standard1619200
evader-pursuer-8x8-logarithmic59246636.19
FPGA_PLB_FIT_FAST1611295.98
FPGA_PLB_FIT_SLOW101364.7
Impl810.03
jmc_quant13116.94
jmc_quant_squaring133908.57
k_branch_n32410398.07
k_branch_p6176475.13
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_n306364.8
k_ph_p25222852.96
k_poly_n26410.01
k_poly_p1124.51
k_t4p_n26431.4
k_t4p_p41523.95
Logn10196.73
mqm4832621424385.42
s1196910800
s126989600
s271110.26
s298164431.28
s33302114649.19
s386818722
s4991321983.2
s51014211144.06
s7131319527.96
s82089600
Sorting_networks222118908.24
SzymanskiP22117213.56
term130127.03
tipdiam3610210821.53
tipfixpoint747926400.33
Toilet213137.34
ToiletA175540.99
ToiletC391585.19
ToiletG2740.24
VonNeumann152309.19
z4ml810.1