qmaiga results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction172191673510.59
Adder1079114943.96
blackbox-01X-QBF19533105746.94
blackbox_design1315528.5
Blocks441317954.68
BMC8071010078.55
C43239135.91
C49921230.35
C5315741250461.98
C62884149200
C88010110.96
Chain1210.24
circuits113246.31
comp820.37
conformant_planning924450376.97
Connect434719179.43
Counter1734159.86
Debug2934649.01
evader-pursuer-4x4-logarithmic25124255.44
evader-pursuer-4x4-standard65166325.7
evader-pursuer-6x6-logarithmic34134359.51
evader-pursuer-6x6-standard1619200
evader-pursuer-8x8-logarithmic58246094.9
FPGA_PLB_FIT_FAST1611295.98
FPGA_PLB_FIT_SLOW101364.7
Impl810.03
jmc_quant12116.89
jmc_quant_squaring123607.91
k_branch_n3149539.07
k_branch_p5976077.79
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_p24221652.96
k_poly_n26410.01
k_poly_p1124.51
k_t4p_n26431.4
k_t4p_p41523.95
Logn10196.73
mqm4732621416105.65
s1196910800
s126989600
s271110.26
s298164431.28
s33302014408.35
s386818722
s4991321983.2
s51014211144.06
s7131319527.96
s82089600
Sorting_networks222118908.24
SzymanskiP21116013.56
term130127.03
tipdiam351029841.48
tipfixpoint727925323.37
Toilet213137.34
ToiletA175540.99
ToiletC391585.19
ToiletG2740.24
VonNeumann152309.19
z4ml810.1