yQuaffle results solving families - 2006

Family# Total# Sat# UnsatTime
Adder10358811.99
ASP_Program_Inclusion9159003.56
blackbox_design13178147.73
Blocks883611868.98
C4324112125495.89
C499301172911.76
C5315412177598.79
C62881059996.5
C88018238503.74
Chain39233967.89
comp82131.88
Connect438123837.09
Counter21377348.37
CounterFactual9207896329235.96
evader-pursuer-4x4-logarithmic3721933.98
evader-pursuer-6x6-logarithmic1615354.88
evader-pursuer-8x8-logarithmic3636106.34
FPGA_PLB_FIT_FAST2436.8
FPGA_PLB_FIT_SLOW251160602.69
jmc_quant21126001.14
jmc_quant_squaring28128188.3
k_branch_n1859382.54
k_branch_p23112864.01
k_d4_n42251973.93
k_d4_p36215986.22
k_dum_n32191988.52
k_dum_p381180582.32
k_grz_n361180888.51
k_grz_p373117486.62
k_lin_n27337505.86
k_lin_p28520.11
k_path_n33197936.8
k_path_p33122362.98
k_ph_n2032991.07
k_ph_p4144.68
k_poly_n42106154.09
k_poly_p1130.18
k_t4p_n39205033.3
k_t4p_p51305953.2
Logn1929.74
mA-t2-1qbf-5cnf-160var-2560cl2010253.9
mA-t2-1qbf-5cnf-80var-2560cl20119996.94
mA-t2-2qbf-5cnf-160var-2560cl20111161.22
mA-t2-2qbf-5cnf-160var-320cl2011883.88
mA-t2-2qbf-5cnf-160var-5120cl20100.9
mA-t2-2qbf-5cnf-40var-160cl2011100254.28
mA-t2-2qbf-5cnf-40var-320cl20834302.58
mA-t2-2qbf-5cnf-40var-640cl20101.76
mA-t2-2qbf-5cnf-80var-1280cl2010265.22
mA-t2-2qbf-5cnf-80var-320cl2011971.16
mA-t2-2qbf-5cnf-80var-640cl2065987.62
mA-t2-3qbf-5cnf-160var-2560cl2011967.2
mA-t2-3qbf-5cnf-160var-640cl2011910.66
mA-t2-3qbf-5cnf-20var-160cl20102.08
mA-t2-3qbf-5cnf-20var-320cl20100.72
mA-t2-3qbf-5cnf-40var-320cl20715594.96
mA-t2-3qbf-5cnf-40var-640cl201023.32
mA-t2-3qbf-5cnf-80var-1280cl2047492.24
mA-t2-3qbf-5cnf-80var-2560cl20100.52
mA-t2-3qbf-5cnf-80var-320cl2092608.98
mA-t2-4qbf-5cnf-160var-2560cl2011956.44
mA-t2-4qbf-5cnf-160var-5120cl20100.88
mA-t2-4qbf-5cnf-160var-640cl2011912.52
mA-t2-4qbf-5cnf-20var-160cl202811100.56
mA-t2-4qbf-5cnf-20var-320cl20106.48
mA-t2-4qbf-5cnf-20var-640cl20100.18
mA-t2-4qbf-5cnf-40var-1280cl20100.28
mA-t2-4qbf-5cnf-40var-320cl2011992.88
mA-t2-4qbf-5cnf-40var-640cl20617329.62
mA-t2-4qbf-5cnf-80var-1280cl2011983.48
mA-t2-4qbf-5cnf-80var-2560cl20100.5
mA-t2-4qbf-5cnf-80var-320cl2011966.32
mA-t2-5qbf-5cnf-160var-2560cl2011938.98
mA-t2-5qbf-5cnf-160var-5120cl20100.9
mA-t2-5qbf-5cnf-160var-640cl2011927.48
mA-t2-5qbf-5cnf-20var-320cl2010689.96
mA-t2-5qbf-5cnf-20var-640cl20100.18
mA-t2-5qbf-5cnf-40var-1280cl20100.3
mA-t2-5qbf-5cnf-40var-320cl2011989.78
mA-t2-5qbf-5cnf-40var-640cl2038801.8
mA-t2-5qbf-5cnf-80var-1280cl2011975.16
mA-t2-5qbf-5cnf-80var-2560cl20100.46
mA-t2-5qbf-5cnf-80var-640cl2011964.36
mA-t2-6qbf-5cnf-160var-2560cl2011935.32
mA-t2-6qbf-5cnf-160var-5120cl20101.02
mA-t2-6qbf-5cnf-160var-640cl2011922.32
mA-t2-6qbf-5cnf-20var-160cl20813936.24
mA-t2-6qbf-5cnf-20var-320cl2094612.52
mA-t2-6qbf-5cnf-20var-640cl20100.36
mA-t2-6qbf-5cnf-40var-1280cl201019.16
mA-t2-6qbf-5cnf-40var-320cl2011982.78
mA-t2-6qbf-5cnf-40var-640cl2022788.98
mA-t2-6qbf-5cnf-80var-1280cl2011972.44
mA-t2-6qbf-5cnf-80var-2560cl20100.56
mA-t2-6qbf-5cnf-80var-640cl2011962.32
MutexP4826836.38
Qq2k1k4v40v40m1610550.07
Qq2k1k4v40v40m210100.03
Qq2k1k4v40v40m3210100.1
Qq2k1k4v40v40m410910.06
Qq2k1k4v40v40m810820.06
Qq2k1k4v80v80m1610730.07
Qq2k1k4v80v80m210100.05
Qq2k1k4v80v80m3210280.07
Qq2k1k4v80v80m410100.03
Qq2k1k4v80v80m810100.09
Qq2k2k3v40v40m1610100.03
Qq2k2k3v40v40m210100.04
Qq2k2k3v40v40m3210100.03
Qq2k2k3v40v40m410100.05
Qq2k2k3v40v40m810100.04
Qq2k2k3v80v80m1610100.06
Qq2k2k3v80v80m210100.02
Qq2k2k3v80v80m3210100.07
Qq2k2k3v80v80m410100.05
Qq2k2k3v80v80m810100.06
Qq2k3k2v40v40m1610100.09
Qq2k3k2v40v40m210100.04
Qq2k3k2v40v40m3210100.02
Qq2k3k2v40v40m410100.06
Qq2k3k2v40v40m810100.05
Qq2k3k2v80v80m1610100.04
Qq2k3k2v80v80m210100.06
Qq2k3k2v80v80m3210100.04
Qq2k3k2v80v80m410100.05
Qq2k3k2v80v80m810100.07
Qq3k1k1k3v40v40v40m1610100.07
Qq3k1k1k3v40v40v40m210100.04
Qq3k1k1k3v40v40v40m3210100.05
Qq3k1k1k3v40v40v40m410100.07
Qq3k1k1k3v40v40v40m810100.06
Qq3k1k1k3v80v80v80m1610100.09
Qq3k1k1k3v80v80v80m210100.04
Qq3k1k1k3v80v80v80m3210100.06
Qq3k1k1k3v80v80v80m410100.04
Qq3k1k1k3v80v80v80m810100.03
Qq3k1k2k2v40v40v40m1610100.07
Qq3k1k2k2v40v40v40m210100.07
Qq3k1k2k2v40v40v40m3210100.04
Qq3k1k2k2v40v40v40m410100.12
Qq3k1k2k2v40v40v40m810100.05
Qq3k1k2k2v80v80v80m1610100.04
Qq3k1k2k2v80v80v80m210100.03
Qq3k1k2k2v80v80v80m3210100.04
Qq3k1k2k2v80v80v80m410100.03
Qq3k1k2k2v80v80v80m810100.07
Qq3k1k3k1v40v40v40m1610100.07
Qq3k1k3k1v40v40v40m210100.06
Qq3k1k3k1v40v40v40m3210100.1
Qq3k1k3k1v40v40v40m410100.08
Qq3k1k3k1v40v40v40m810100.08
Qq3k1k3k1v80v80v80m1610100.05
Qq3k1k3k1v80v80v80m210100.07
Qq3k1k3k1v80v80v80m3210100.04
Qq3k1k3k1v80v80v80m410100.06
Qq3k1k3k1v80v80v80m810100.07
Qq3k2k1k2v40v40v40m1610100.03
Qq3k2k1k2v40v40v40m210100.04
Qq3k2k1k2v40v40v40m3210100.05
Qq3k2k1k2v40v40v40m410100.05
Qq3k2k1k2v40v40v40m810100.05
Qq3k2k1k2v80v80v80m1610100.07
Qq3k2k1k2v80v80v80m210100.07
Qq3k2k1k2v80v80v80m3210100.08
Qq3k2k1k2v80v80v80m410100.06
Qq3k2k1k2v80v80v80m810100.04
Qq3k2k2k1v40v40v40m1610100.08
Qq3k2k2k1v40v40v40m210100.03
Qq3k2k2k1v40v40v40m3210100.03
Qq3k2k2k1v40v40v40m410100.03
Qq3k2k2k1v40v40v40m810100.02
Qq3k2k2k1v80v80v80m1610100.08
Qq3k2k2k1v80v80v80m210100.08
Qq3k2k2k1v80v80v80m3210100.07
Qq3k2k2k1v80v80v80m410100.08
Qq3k2k2k1v80v80v80m810100.07
Qq3k3k1k1v40v40v40m1610100.03
Qq3k3k1k1v40v40v40m210100.06
Qq3k3k1k1v40v40v40m3210100.01
Qq3k3k1k1v40v40v40m410100.05
Qq3k3k1k1v40v40v40m810100.04
Qq3k3k1k1v80v80v80m1610100.05
Qq3k3k1k1v80v80v80m210100.06
Qq3k3k1k1v80v80v80m3210100.05
Qq3k3k1k1v80v80v80m410100.03
Qq3k3k1k1v80v80v80m810100.03
Qshifter44263991.04
RobotsD2301078.18
RobotsD33010113.64
RobotsD43210103.95
RobotsD53110104.75
s2729174000.48
s29817102000.7
s386847998.16
s4991166001.92
s510423999.04
s7131059998.8
s820847998.48
Sorting_networks3711413219129.74
Strategic_Companies6332476651207.91
SzymanskiP8140344.29
term138425802.93
tipdiam65304323.1
tipfixpoint206191086002.9
Toilet17139693.57
ToiletA41157.92
ToiletC31798.71
Tree710