QuBE7-c results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction172311916111.63
Adder107123949.28
blackbox-01X-QBF1955240547.35
blackbox_design1328.34
Blocks441218681.25
BMC806838711.42
C432391125454.85
C49921116022.62
C531574178010.87
C628841137205.66
C8801011.8
Chain1211.54
circuits11110800.99
comp820.43
conformant_planning923178399.95
Connect43485168.19
Counter17113074.19
Debug2934800.63
evader-pursuer-4x4-logarithmic2524461.29
evader-pursuer-4x4-standard6554559.95
evader-pursuer-6x6-logarithmic3428263.48
evader-pursuer-6x6-standard1619200.88
evader-pursuer-8x8-logarithmic58328924.45
FPGA_PLB_FIT_FAST1619601.15
FPGA_PLB_FIT_SLOW1012000.2
Impl810.06
jmc_quant12258.99
jmc_quant_squaring12134.46
k_branch_n31217528.53
k_branch_p59143722.62
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_p24221641.99
k_poly_n2641.79
k_poly_p1120.8
k_t4p_n26124829.29
k_t4p_p41136012.98
Logn10168.04
mqm4732469260212.64
s1196912476.16
s126981505.47
s271110.44
s2981641621.36
s33302024002.4
s386816558.74
s4991318426.53
s51014113662.75
s7131321042.13
s820826632.3
Sorting_networks221119217.76
SzymanskiP212725.23
term13012375.92
tipdiam351213951.78
tipfixpoint728930452.57
Toilet211115407.18
ToiletA175548.64
ToiletC391582437.47
ToiletG2740.28
VonNeumann1521248.58
z4ml810.16