QuBE7 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction171321813931.65
Adder97112368.64
blackbox-01X-QBF1835426772.43
blackbox_design1329.92
Blocks441218471.2
BMC701566312.33
C43239137201.59
C49921114412.62
C5315711165716.66
C628839134805.84
C8801011646.5
Chain1211.49
circuits11110800.38
comp820.4
conformant_planning912183532.27
Connect43284784.42
Counter17113429.98
Debug2732400.66
evader-pursuer-4x4-logarithmic2524333.4
evader-pursuer-4x4-standard6475663.61
evader-pursuer-6x6-logarithmic33212830.08
evader-pursuer-6x6-standard1619201.76
evader-pursuer-8x8-logarithmic56330839.9
FPGA_PLB_FIT_FAST1619600.66
FPGA_PLB_FIT_SLOW1012000.2
Impl810
jmc_quant12296.73
jmc_quant_squaring1011
k_branch_n29122576.22
k_branch_p51156406.69
k_d4_n5566003.99
k_d4_p28130496.18
k_dum_n11110813.8
k_dum_p2545321.62
k_grz_n22312556.36
k_grz_p2129959.87
k_lin_n22582.99
k_lin_p2544.96
k_path_n1214400.73
k_path_p2934801.52
k_ph_n29633.27
k_ph_p1946269.19
k_poly_n2641.72
k_poly_p1120.76
k_t4p_n2629324.67
k_t4p_p41136173.28
Logn101107.49
mqm4534769190215.41
s1196913404.66
s126989601.36
s271110.48
s2981641782.63
s33301922802.43
s386816861.3
s4991323041.42
s51014113718.67
s7131321549.72
s820824465.94
Sorting_networks221119206.14
SzymanskiP192922.4
term13012671.88
tipdiam351223305.61
tipfixpoint6812918468.5
Toilet211115866.65
ToiletA175544.04
ToiletC3915817.42
ToiletG2740.28
VonNeumann1521323.88
z4ml810.16