QuBE7-m results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction171311914782.77
Adder97115327.34
blackbox-01X-QBF1835333240.24
blackbox_design13210.32
Blocks441218241.96
BMC706927834.46
C432391125359.01
C49921114565.6
C531571174411.17
C628839134805.9
C88010118.28
Chain1211.54
circuits11110800.81
comp820.37
conformant_planning913177304.55
Connect43285865.86
Counter17113258.08
Debug2732400.48
evader-pursuer-4x4-logarithmic2525164.13
evader-pursuer-4x4-standard6466962.03
evader-pursuer-6x6-logarithmic33210802.81
evader-pursuer-6x6-standard1619200.88
evader-pursuer-8x8-logarithmic56331828.04
FPGA_PLB_FIT_FAST1619601.09
FPGA_PLB_FIT_SLOW1012000.2
Impl810.03
jmc_quant12250.33
jmc_quant_squaring10130.36
k_branch_n29217244.13
k_branch_p51141721.37
k_d4_n5566003.54
k_d4_p28221625.22
k_dum_n1124818.02
k_dum_p254538.21
k_grz_n224920.66
k_grz_p2132684.82
k_lin_n22544.48
k_lin_p2544.6
k_path_n12112076.57
k_path_p29224109.02
k_ph_n29633.64
k_ph_p19215696.29
k_poly_n2641.81
k_poly_p1120.81
k_t4p_n26126333.24
k_t4p_p41136011.19
Logn10183.73
mqm4532670243248.23
s1196912666.9
s126981505.82
s271110.44
s2981641627.4
s33301922807.87
s386817063.19
s4991318427.61
s51014113665.43
s7131321052.86
s820827801.86
Sorting_networks221119223.68
SzymanskiP192704.96
term13012439.91
tipdiam351214231.46
tipfixpoint688925572.74
Toilet21120604.38
ToiletA175548.05
ToiletC391582925.52
ToiletG2740.33
VonNeumann1521253.54
z4ml810.16