GRL results solving families - 2006

Family# Total# Sat# UnsatTime
Adder10349673.92
ASP_Program_Inclusion912816773.91
blackbox_design131176894.27
Blocks88111858.68
C4324121227.33
C499303441.03
C53154127491.33
C6288106009.4
C880181904.7
Chain3923437.77
comp84806.84
Connect43813146.06
Counter2128662.25
CounterFactual9207639401351.96
evader-pursuer-4x4-logarithmic37430.61
evader-pursuer-6x6-logarithmic162865.54
evader-pursuer-8x8-logarithmic3637102.72
FPGA_PLB_FIT_FAST241647.76
FPGA_PLB_FIT_SLOW251724.55
jmc_quant2112619.38
jmc_quant_squaring2816824.2
k_branch_n1810813.05
k_branch_p2313815.52
k_d4_n42124948.06
k_d4_p3621622.95
k_dum_n3219222.45
k_dum_p3822827.14
k_grz_n36118902.73
k_grz_p37215959.2
k_lin_n27211915.27
k_lin_p2851136.75
k_path_n3319823.39
k_path_p3319822.91
k_ph_n2025351.52
k_ph_p41931.8
k_poly_n4225225.96
k_poly_p116607.29
k_t4p_n3923422.47
k_t4p_p5130629.94
Logn192855.49
mA-t2-1qbf-5cnf-160var-2560cl20746.28
mA-t2-1qbf-5cnf-80var-2560cl201024.32
mA-t2-2qbf-5cnf-160var-2560cl201029.98
mA-t2-2qbf-5cnf-160var-320cl20310272.28
mA-t2-2qbf-5cnf-160var-5120cl20101.84
mA-t2-2qbf-5cnf-40var-160cl20110817.98
mA-t2-2qbf-5cnf-40var-320cl2075039.36
mA-t2-2qbf-5cnf-40var-640cl20100.34
mA-t2-2qbf-5cnf-80var-1280cl201022.96
mA-t2-2qbf-5cnf-80var-320cl2012019.34
mA-t2-2qbf-5cnf-80var-640cl20110816.9
mA-t2-3qbf-5cnf-160var-2560cl2022245.36
mA-t2-3qbf-5cnf-160var-640cl20100.28
mA-t2-3qbf-5cnf-20var-160cl20100.74
mA-t2-3qbf-5cnf-20var-320cl20101.28
mA-t2-3qbf-5cnf-40var-320cl209127.28
mA-t2-3qbf-5cnf-40var-640cl201015.86
mA-t2-3qbf-5cnf-80var-1280cl2062425.1
mA-t2-3qbf-5cnf-80var-2560cl20100.54
mA-t2-3qbf-5cnf-80var-320cl20100.2
mA-t2-4qbf-5cnf-160var-2560cl2010237.14
mA-t2-4qbf-5cnf-160var-5120cl20101.8
mA-t2-4qbf-5cnf-160var-640cl2012019.28
mA-t2-4qbf-5cnf-20var-160cl202826.1
mA-t2-4qbf-5cnf-20var-320cl20100.44
mA-t2-4qbf-5cnf-20var-640cl20100.14
mA-t2-4qbf-5cnf-40var-1280cl20100.34
mA-t2-4qbf-5cnf-40var-320cl2039006.08
mA-t2-4qbf-5cnf-40var-640cl20101.14
mA-t2-4qbf-5cnf-80var-1280cl201016.42
mA-t2-4qbf-5cnf-80var-2560cl20100.86
mA-t2-4qbf-5cnf-80var-320cl2065363.5
mA-t2-5qbf-5cnf-160var-2560cl202333.5
mA-t2-5qbf-5cnf-160var-5120cl20104.44
mA-t2-5qbf-5cnf-160var-640cl20100.4
mA-t2-5qbf-5cnf-20var-320cl20107.08
mA-t2-5qbf-5cnf-20var-640cl20100.28
mA-t2-5qbf-5cnf-40var-1280cl20100.5
mA-t2-5qbf-5cnf-40var-320cl201082.64
mA-t2-5qbf-5cnf-40var-640cl201035.46
mA-t2-5qbf-5cnf-80var-1280cl2071452.12
mA-t2-5qbf-5cnf-80var-2560cl20101.14
mA-t2-5qbf-5cnf-80var-640cl2074873.54
mA-t2-6qbf-5cnf-160var-2560cl2052536.9
mA-t2-6qbf-5cnf-160var-5120cl20104.74
mA-t2-6qbf-5cnf-160var-640cl20100.3
mA-t2-6qbf-5cnf-20var-160cl20911.96
mA-t2-6qbf-5cnf-20var-320cl20103.94
mA-t2-6qbf-5cnf-20var-640cl20100.34
mA-t2-6qbf-5cnf-40var-1280cl20100.78
mA-t2-6qbf-5cnf-40var-320cl201110399.8
mA-t2-6qbf-5cnf-40var-640cl201055.12
mA-t2-6qbf-5cnf-80var-1280cl2082463.56
mA-t2-6qbf-5cnf-80var-2560cl20101.36
mA-t2-6qbf-5cnf-80var-640cl2012019.18
MutexP4828839.26
Qq2k1k4v40v40m1610550.06
Qq2k1k4v40v40m210100.04
Qq2k1k4v40v40m3210100.02
Qq2k1k4v40v40m410910.04
Qq2k1k4v40v40m810820.02
Qq2k1k4v80v80m1610730.03
Qq2k1k4v80v80m210100.01
Qq2k1k4v80v80m3210280.03
Qq2k1k4v80v80m410100.05
Qq2k1k4v80v80m810100.01
Qq2k2k3v40v40m1610100.01
Qq2k2k3v40v40m210100.03
Qq2k2k3v40v40m3210100.04
Qq2k2k3v40v40m410100
Qq2k2k3v40v40m810100.02
Qq2k2k3v80v80m1610100.02
Qq2k2k3v80v80m210100.02
Qq2k2k3v80v80m3210100.01
Qq2k2k3v80v80m410100.02
Qq2k2k3v80v80m810100.02
Qq2k3k2v40v40m1610100.02
Qq2k3k2v40v40m210100.04
Qq2k3k2v40v40m3210100.02
Qq2k3k2v40v40m410100
Qq2k3k2v40v40m810100.04
Qq2k3k2v80v80m1610100
Qq2k3k2v80v80m210100.03
Qq2k3k2v80v80m3210100.02
Qq2k3k2v80v80m410100.05
Qq2k3k2v80v80m810100.02
Qq3k1k1k3v40v40v40m1610100.03
Qq3k1k1k3v40v40v40m210100.01
Qq3k1k1k3v40v40v40m3210100.02
Qq3k1k1k3v40v40v40m410100.02
Qq3k1k1k3v40v40v40m810100.02
Qq3k1k1k3v80v80v80m1610100.02
Qq3k1k1k3v80v80v80m210100.05
Qq3k1k1k3v80v80v80m3210100.03
Qq3k1k1k3v80v80v80m410100.03
Qq3k1k1k3v80v80v80m810100.02
Qq3k1k2k2v40v40v40m1610100.03
Qq3k1k2k2v40v40v40m210100.04
Qq3k1k2k2v40v40v40m3210100.04
Qq3k1k2k2v40v40v40m410100.03
Qq3k1k2k2v40v40v40m810100.01
Qq3k1k2k2v80v80v80m1610100.02
Qq3k1k2k2v80v80v80m210100.01
Qq3k1k2k2v80v80v80m3210100.03
Qq3k1k2k2v80v80v80m410100.02
Qq3k1k2k2v80v80v80m810100.01
Qq3k1k3k1v40v40v40m1610100.03
Qq3k1k3k1v40v40v40m210100.02
Qq3k1k3k1v40v40v40m3210100.03
Qq3k1k3k1v40v40v40m410100.02
Qq3k1k3k1v40v40v40m810100.03
Qq3k1k3k1v80v80v80m1610100.04
Qq3k1k3k1v80v80v80m210100.04
Qq3k1k3k1v80v80v80m3210100.04
Qq3k1k3k1v80v80v80m410100.03
Qq3k1k3k1v80v80v80m810100.06
Qq3k2k1k2v40v40v40m1610100.02
Qq3k2k1k2v40v40v40m210100.04
Qq3k2k1k2v40v40v40m3210100.05
Qq3k2k1k2v40v40v40m410100.03
Qq3k2k1k2v40v40v40m810100.02
Qq3k2k1k2v80v80v80m1610100.03
Qq3k2k1k2v80v80v80m210100.03
Qq3k2k1k2v80v80v80m3210100.02
Qq3k2k1k2v80v80v80m410100.03
Qq3k2k1k2v80v80v80m810100.02
Qq3k2k2k1v40v40v40m1610100.02
Qq3k2k2k1v40v40v40m210100.04
Qq3k2k2k1v40v40v40m3210100.03
Qq3k2k2k1v40v40v40m410100.03
Qq3k2k2k1v40v40v40m810100.01
Qq3k2k2k1v80v80v80m1610100.01
Qq3k2k2k1v80v80v80m210100
Qq3k2k2k1v80v80v80m3210100.05
Qq3k2k2k1v80v80v80m410100.01
Qq3k2k2k1v80v80v80m810100
Qq3k3k1k1v40v40v40m1610100.02
Qq3k3k1k1v40v40v40m210100.01
Qq3k3k1k1v40v40v40m3210100.02
Qq3k3k1k1v40v40v40m410100.05
Qq3k3k1k1v40v40v40m810100.03
Qq3k3k1k1v80v80v80m1610100.02
Qq3k3k1k1v80v80v80m210100.02
Qq3k3k1k1v80v80v80m3210100.04
Qq3k3k1k1v80v80v80m410100.02
Qq3k3k1k1v80v80v80m810100.04
Qshifter4426428.4
RobotsD230101208.34
RobotsD330102148.21
RobotsD432102201.69
RobotsD531102283.53
s272917426.76
s2981710211.46
s38684805.6
s499116607.29
s51042402.52
s713106005
s82084803.28
Sorting_networks371812187721.45
Strategic_Companies6337138304166.2
SzymanskiP8192667.07
term1385857.74
tipdiam65283520.94
tipfixpoint2069111152.11
Toilet1721514.4
ToiletA411514.36
ToiletC310.03
Tree710.07