QuBE7 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction172321815131.67
Adder110127162.22
blackbox-01X-QBF2005436498.19
blackbox_design1329.92
Blocks441218471.2
BMC851584313.71
C43239137201.59
C49921114412.62
C5315771172916.92
C628843139605.96
C8801011646.5
Chain1211.49
circuits11110800.38
comp820.4
conformant_planning922184732.31
Connect43485814.15
Counter17113429.98
Debug3036000.66
evader-pursuer-4x4-logarithmic2524333.4
evader-pursuer-4x4-standard6575801.45
evader-pursuer-6x6-logarithmic34213175.39
evader-pursuer-6x6-standard1619201.76
evader-pursuer-8x8-logarithmic59332850.8
FPGA_PLB_FIT_FAST1619600.66
FPGA_PLB_FIT_SLOW1012000.2
Impl810
jmc_quant132109.1
jmc_quant_squaring1311.3
k_branch_n32125658.33
k_branch_p61168407.86
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_n30637.36
k_ph_p2548194.03
k_poly_n2641.72
k_poly_p1120.76
k_t4p_n2629324.67
k_t4p_p41136173.28
Logn101107.49
mqm4834769209233.31
s1196913404.66
s126989601.36
s271110.48
s2981641782.63
s33302125202.97
s386816861.3
s4991323041.42
s51014113718.67
s7131321549.72
s820824465.94
Sorting_networks221119206.14
SzymanskiP2221196.15
term13012671.88
tipdiam361223306.55
tipfixpoint7412925669.16
Toilet211115866.65
ToiletA175544.04
ToiletC3915817.42
ToiletG2740.28
VonNeumann1521323.88
z4ml810.16