QuBE7-c results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction171311914911.6
Adder97112585.18
blackbox-01X-QBF1835233175.49
blackbox_design1328.34
Blocks441218681.25
BMC706831333.39
C432391125454.85
C49921116022.62
C531571174410.73
C628839134805.62
C8801011.8
Chain1211.54
circuits11110800.99
comp820.43
conformant_planning913177199.79
Connect43284382.57
Counter17113074.19
Debug2732400.63
evader-pursuer-4x4-logarithmic2524461.29
evader-pursuer-4x4-standard6453933.35
evader-pursuer-6x6-logarithmic3328158.26
evader-pursuer-6x6-standard1619200.88
evader-pursuer-8x8-logarithmic56327940.53
FPGA_PLB_FIT_FAST1619601.15
FPGA_PLB_FIT_SLOW1012000.2
Impl810.06
jmc_quant12258.99
jmc_quant_squaring10128.72
k_branch_n29216454.39
k_branch_p51138750.35
k_d4_n5566004.23
k_d4_p28221633.15
k_dum_n1124780.76
k_dum_p254964.26
k_grz_n2241031.56
k_grz_p2132482.42
k_lin_n22543.42
k_lin_p2544.66
k_path_n12112073.82
k_path_p29224106.58
k_ph_n29634.03
k_ph_p19215641.83
k_poly_n2641.79
k_poly_p1120.8
k_t4p_n26124829.29
k_t4p_p41136012.98
Logn10168.04
mqm4532469243477.25
s1196912476.16
s126981505.47
s271110.44
s2981641621.36
s33301922802.16
s386816558.74
s4991318426.53
s51014113662.75
s7131321042.13
s820826632.3
Sorting_networks221119217.76
SzymanskiP192605.92
term13012375.92
tipdiam351213951.78
tipfixpoint688925652.15
Toilet211115407.18
ToiletA175548.64
ToiletC391582437.47
ToiletG2740.28
VonNeumann1521248.58
z4ml810.16