QuBE7-m results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction172311915982.79
Adder110130748.61
blackbox-01X-QBF2005343117.04
blackbox_design13210.32
Blocks441218241.96
BMC856938875.37
C432391125359.01
C49921114565.6
C531577181611.43
C628843139606.02
C88010118.28
Chain1211.54
circuits11110800.81
comp820.37
conformant_planning923178504.78
Connect43486863.43
Counter17113258.08
Debug3036000.48
evader-pursuer-4x4-logarithmic2525164.13
evader-pursuer-4x4-standard6567812.35
evader-pursuer-6x6-logarithmic34210989.99
evader-pursuer-6x6-standard1619200.88
evader-pursuer-8x8-logarithmic59333938.15
FPGA_PLB_FIT_FAST1619601.09
FPGA_PLB_FIT_SLOW1012000.2
Impl810.03
jmc_quant13255.38
jmc_quant_squaring13139.47
k_branch_n32218967.6
k_branch_p61148789.02
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_n30637.75
k_ph_p25222896.65
k_poly_n2641.81
k_poly_p1120.81
k_t4p_n26126333.24
k_t4p_p41136011.19
Logn10183.73
mqm4832670268485.22
s1196912666.9
s126981505.82
s271110.44
s2981641627.4
s33302125208.33
s386817063.19
s4991318427.61
s51014113665.43
s7131321052.86
s820827801.86
Sorting_networks221119223.68
SzymanskiP222913.62
term13012439.91
tipdiam361214232.58
tipfixpoint748932773.34
Toilet21120604.38
ToiletA175548.05
ToiletC391582925.52
ToiletG2740.33
VonNeumann1521253.54
z4ml810.16