Quaffle results solving families - 2006

Family# Total# Sat# UnsatTime
Adder10356930.59
ASP_Program_Inclusion9159547.94
blackbox_design13176551.96
Blocks883715629.12
C432411115965.11
C499301184666.84
C53154111128858.79
C6288105977.1
C880182220.04
Chain39217176.02
comp822562.76
Connect438124449.41
Counter21354749.69
CounterFactual920476022.9
evader-pursuer-4x4-logarithmic37415.01
evader-pursuer-6x6-logarithmic162208.86
evader-pursuer-8x8-logarithmic3642603.88
FPGA_PLB_FIT_FAST24354.56
FPGA_PLB_FIT_SLOW25128927.86
jmc_quant2112429.4
jmc_quant_squaring2816503.42
k_branch_n1816922.26
k_branch_p23111622.96
k_d4_n42122962.95
k_d4_p3620387.98
k_dum_n32117416.61
k_dum_p3821372.89
k_grz_n3659543.11
k_grz_p37410626.15
k_lin_n2761228.88
k_lin_p28547.32
k_path_n3318666.34
k_path_p3318662.71
k_ph_n203377.59
k_ph_p4122.44
k_poly_n4218091.81
k_poly_p112266.47
k_t4p_n3921812.82
k_t4p_p51126548.59
Logn192106.53
mA-t2-1qbf-5cnf-160var-2560cl2010131.3
mA-t2-1qbf-5cnf-80var-2560cl20120010.62
mA-t2-2qbf-5cnf-160var-2560cl2022773.76
mA-t2-2qbf-5cnf-160var-320cl2010313.96
mA-t2-2qbf-5cnf-160var-5120cl20102.68
mA-t2-2qbf-5cnf-40var-160cl2010692.48
mA-t2-2qbf-5cnf-40var-320cl2011319.18
mA-t2-2qbf-5cnf-40var-640cl20101503.72
mA-t2-2qbf-5cnf-80var-1280cl2057042.24
mA-t2-2qbf-5cnf-80var-320cl2010670.5
mA-t2-2qbf-5cnf-80var-640cl2011158.56
mA-t2-3qbf-5cnf-160var-2560cl2029181.86
mA-t2-3qbf-5cnf-160var-640cl2010388.5
mA-t2-3qbf-5cnf-20var-160cl20101084.04
mA-t2-3qbf-5cnf-20var-320cl20101.82
mA-t2-3qbf-5cnf-40var-320cl2010843.24
mA-t2-3qbf-5cnf-40var-640cl201025.9
mA-t2-3qbf-5cnf-80var-1280cl2066561.76
mA-t2-3qbf-5cnf-80var-2560cl20101.34
mA-t2-3qbf-5cnf-80var-320cl2010401.12
mA-t2-4qbf-5cnf-160var-2560cl2011108.5
mA-t2-4qbf-5cnf-160var-5120cl20102.76
mA-t2-4qbf-5cnf-160var-640cl2010376.8
mA-t2-4qbf-5cnf-20var-160cl2010734.22
mA-t2-4qbf-5cnf-20var-320cl2093099.42
mA-t2-4qbf-5cnf-20var-640cl20100.36
mA-t2-4qbf-5cnf-40var-1280cl20100.72
mA-t2-4qbf-5cnf-40var-320cl2010713.54
mA-t2-4qbf-5cnf-40var-640cl2011137.64
mA-t2-4qbf-5cnf-80var-1280cl2011151.74
mA-t2-4qbf-5cnf-80var-2560cl20101.38
mA-t2-4qbf-5cnf-80var-320cl2010351.46
mA-t2-5qbf-5cnf-160var-2560cl2010947.78
mA-t2-5qbf-5cnf-160var-5120cl20102.84
mA-t2-5qbf-5cnf-160var-640cl2010282.26
mA-t2-5qbf-5cnf-20var-320cl20210059.48
mA-t2-5qbf-5cnf-20var-640cl20100.38
mA-t2-5qbf-5cnf-40var-1280cl20100.64
mA-t2-5qbf-5cnf-40var-320cl2010545.82
mA-t2-5qbf-5cnf-40var-640cl2019856.38
mA-t2-5qbf-5cnf-80var-1280cl2010914.58
mA-t2-5qbf-5cnf-80var-2560cl20101.38
mA-t2-5qbf-5cnf-80var-640cl2010519.32
mA-t2-6qbf-5cnf-160var-2560cl2010801.88
mA-t2-6qbf-5cnf-160var-5120cl20103.08
mA-t2-6qbf-5cnf-160var-640cl2010310.42
mA-t2-6qbf-5cnf-20var-160cl2010564.86
mA-t2-6qbf-5cnf-20var-320cl2010838.34
mA-t2-6qbf-5cnf-20var-640cl20101.96
mA-t2-6qbf-5cnf-40var-1280cl20108.26
mA-t2-6qbf-5cnf-40var-320cl2010472.8
mA-t2-6qbf-5cnf-40var-640cl2010838.18
mA-t2-6qbf-5cnf-80var-1280cl2010805.44
mA-t2-6qbf-5cnf-80var-2560cl20101.54
mA-t2-6qbf-5cnf-80var-640cl2010461.84
MutexP4827346.39
Qq2k1k4v40v40m161024488.61
Qq2k1k4v40v40m210100.03
Qq2k1k4v40v40m321033815.29
Qq2k1k4v40v40m410910.16
Qq2k1k4v40v40m8108283.52
Qq2k1k4v80v80m16105435.7
Qq2k1k4v80v80m210100
Qq2k1k4v80v80m32105437.09
Qq2k1k4v80v80m410100.34
Qq2k1k4v80v80m81091832.81
Qq2k2k3v40v40m16105072.02
Qq2k2k3v40v40m2105191.14
Qq2k2k3v40v40m32105086.68
Qq2k2k3v40v40m4105204.02
Qq2k2k3v40v40m8105197.85
Qq2k2k3v80v80m16105136.48
Qq2k2k3v80v80m2105197.85
Qq2k2k3v80v80m32105082.21
Qq2k2k3v80v80m4105197.18
Qq2k2k3v80v80m8105159.86
Qq2k3k2v40v40m16105076.08
Qq2k3k2v40v40m2105122.28
Qq2k3k2v40v40m32105095.32
Qq2k3k2v40v40m4105118.03
Qq2k3k2v40v40m8105107.28
Qq2k3k2v80v80m16105062.54
Qq2k3k2v80v80m2105132.15
Qq2k3k2v80v80m32105070.17
Qq2k3k2v80v80m4105109.57
Qq2k3k2v80v80m8105088.85
Qq3k1k1k3v40v40v40m1610100.08
Qq3k1k1k3v40v40v40m210100.02
Qq3k1k1k3v40v40v40m32101014.56
Qq3k1k1k3v40v40v40m410100.05
Qq3k1k1k3v40v40v40m810100.02
Qq3k1k1k3v80v80v80m1610100.06
Qq3k1k1k3v80v80v80m210100.04
Qq3k1k1k3v80v80v80m3210100.02
Qq3k1k1k3v80v80v80m410100.04
Qq3k1k1k3v80v80v80m810100.02
Qq3k1k2k2v40v40v40m1610103.58
Qq3k1k2k2v40v40v40m210100.03
Qq3k1k2k2v40v40v40m32109809.01
Qq3k1k2k2v40v40v40m410100.02
Qq3k1k2k2v40v40v40m810100.03
Qq3k1k2k2v80v80v80m16101024.59
Qq3k1k2k2v80v80v80m210100.04
Qq3k1k2k2v80v80v80m321062169.8
Qq3k1k2k2v80v80v80m410100.03
Qq3k1k2k2v80v80v80m810100.04
Qq3k1k3k1v40v40v40m161081283.51
Qq3k1k3k1v40v40v40m210100.04
Qq3k1k3k1v40v40v40m321043569.29
Qq3k1k3k1v40v40v40m410100.03
Qq3k1k3k1v40v40v40m810100.02
Qq3k1k3k1v80v80v80m16109633.54
Qq3k1k3k1v80v80v80m210100.06
Qq3k1k3k1v80v80v80m321024441.09
Qq3k1k3k1v80v80v80m410100.02
Qq3k1k3k1v80v80v80m810100.01
Qq3k2k1k2v40v40v40m161052561.04
Qq3k2k1k2v40v40v40m210100.02
Qq3k2k1k2v40v40v40m321014603.25
Qq3k2k1k2v40v40v40m410100.01
Qq3k2k1k2v40v40v40m8109512.45
Qq3k2k1k2v80v80v80m161071507.15
Qq3k2k1k2v80v80v80m210100.02
Qq3k2k1k2v80v80v80m321062008.91
Qq3k2k1k2v80v80v80m410100.02
Qq3k2k1k2v80v80v80m8109519.04
Qq3k2k2k1v40v40v40m161033618.47
Qq3k2k2k1v40v40v40m210100.02
Qq3k2k2k1v40v40v40m32105138.99
Qq3k2k2k1v40v40v40m410100.04
Qq3k2k2k1v40v40v40m810100.03
Qq3k2k2k1v80v80v80m161071521.81
Qq3k2k2k1v80v80v80m210100.01
Qq3k2k2k1v80v80v80m32105092.95
Qq3k2k2k1v80v80v80m410100.02
Qq3k2k2k1v80v80v80m810100.01
Qq3k3k1k1v40v40v40m161033579.91
Qq3k3k1k1v40v40v40m210100.02
Qq3k3k1k1v40v40v40m32105099.96
Qq3k3k1k1v40v40v40m410100.02
Qq3k3k1k1v40v40v40m810100.04
Qq3k3k1k1v80v80v80m161071509.9
Qq3k3k1k1v80v80v80m210100.02
Qq3k3k1k1v80v80v80m32105071.88
Qq3k3k1k1v80v80v80m410100.03
Qq3k3k1k1v80v80v80m810100.04
Qshifter4426197.82
RobotsD23017059.44
RobotsD33017033.46
RobotsD43217977.29
RobotsD53117415.56
s2729112069.04
s298179592.97
s38684510.24
s499116344.3
s51042253.4
s713105651.9
s82084571.04
Sorting_networks37165877869.4
Strategic_Companies6331329715983.45
SzymanskiP8147646.43
term13837383.72
tipdiam65291405.72
tipfixpoint20649122056.65
Toilet17127839.16
ToiletA41141.92
ToiletC318000.54
Tree710.07