WalkQSAT results solving families - 2006

Family# Total# Sat# UnsatTime
Adder10353920.56
ASP_Program_Inclusion913425343.31
blackbox_design131176928.39
Blocks8811584.95
C4324119525.29
C499301264.8
C53154117525.44
C6288106009.8
C880182101.76
Chain39122594.78
comp81680.56
Connect43810232.39
Counter2128433.79
CounterFactual920169153117076.96
evader-pursuer-4x4-logarithmic37417.34
evader-pursuer-6x6-logarithmic161692.23
evader-pursuer-8x8-logarithmic3617028.84
FPGA_PLB_FIT_FAST241444.64
FPGA_PLB_FIT_SLOW251664.94
jmc_quant2112620.96
jmc_quant_squaring2816827.8
k_branch_n1810817.91
k_branch_p2313822.81
k_d4_n42124288.4
k_d4_p3621635.91
k_dum_n3219231.73
k_dum_p3822837.91
k_grz_n36215908.48
k_grz_p37315299.91
k_lin_n2716226.56
k_lin_p2816826.87
k_path_n3319832.86
k_path_p3319832.91
k_ph_n203952.77
k_ph_p42402.88
k_poly_n4225241.9
k_poly_p116610.76
k_t4p_n3923438.86
k_t4p_p5130649.19
Logn194583.34
mA-t2-1qbf-5cnf-160var-2560cl20752.7
mA-t2-1qbf-5cnf-80var-2560cl201023.14
mA-t2-2qbf-5cnf-160var-2560cl2056011.8
mA-t2-2qbf-5cnf-160var-320cl20110818.66
mA-t2-2qbf-5cnf-160var-5120cl20100.8
mA-t2-2qbf-5cnf-40var-160cl20210604.56
mA-t2-2qbf-5cnf-40var-320cl2066186.28
mA-t2-2qbf-5cnf-40var-640cl2064944.76
mA-t2-2qbf-5cnf-80var-1280cl2047212.16
mA-t2-2qbf-5cnf-80var-320cl2012019.76
mA-t2-2qbf-5cnf-80var-640cl20110828.88
mA-t2-3qbf-5cnf-160var-2560cl2041427.28
mA-t2-3qbf-5cnf-160var-640cl20100.18
mA-t2-3qbf-5cnf-20var-160cl20100.78
mA-t2-3qbf-5cnf-20var-320cl20100.5
mA-t2-3qbf-5cnf-40var-320cl209155.16
mA-t2-3qbf-5cnf-40var-640cl20103.14
mA-t2-3qbf-5cnf-80var-1280cl2010366.84
mA-t2-3qbf-5cnf-80var-2560cl20100.42
mA-t2-3qbf-5cnf-80var-320cl20100.12
mA-t2-4qbf-5cnf-160var-2560cl2010185.26
mA-t2-4qbf-5cnf-160var-5120cl20100.86
mA-t2-4qbf-5cnf-160var-640cl2012019.96
mA-t2-4qbf-5cnf-20var-160cl202810.82
mA-t2-4qbf-5cnf-20var-320cl20100.26
mA-t2-4qbf-5cnf-20var-640cl20100.2
mA-t2-4qbf-5cnf-40var-1280cl20100.18
mA-t2-4qbf-5cnf-40var-320cl2047701.48
mA-t2-4qbf-5cnf-40var-640cl20100.34
mA-t2-4qbf-5cnf-80var-1280cl20109.56
mA-t2-4qbf-5cnf-80var-2560cl20100.44
mA-t2-4qbf-5cnf-80var-320cl2056784.86
mA-t2-5qbf-5cnf-160var-2560cl2021581.86
mA-t2-5qbf-5cnf-160var-5120cl20103.54
mA-t2-5qbf-5cnf-160var-640cl20100.24
mA-t2-5qbf-5cnf-20var-320cl20101.6
mA-t2-5qbf-5cnf-20var-640cl20100.18
mA-t2-5qbf-5cnf-40var-1280cl20100.3
mA-t2-5qbf-5cnf-40var-320cl201095.6
mA-t2-5qbf-5cnf-40var-640cl20102.78
mA-t2-5qbf-5cnf-80var-1280cl2010124.1
mA-t2-5qbf-5cnf-80var-2560cl20100.6
mA-t2-5qbf-5cnf-80var-640cl2075127.8
mA-t2-6qbf-5cnf-160var-2560cl2081731.5
mA-t2-6qbf-5cnf-160var-5120cl20102.62
mA-t2-6qbf-5cnf-160var-640cl20100.22
mA-t2-6qbf-5cnf-20var-160cl20911.38
mA-t2-6qbf-5cnf-20var-320cl20101.12
mA-t2-6qbf-5cnf-20var-640cl20100.22
mA-t2-6qbf-5cnf-40var-1280cl20100.24
mA-t2-6qbf-5cnf-40var-320cl20418099.66
mA-t2-6qbf-5cnf-40var-640cl20102.92
mA-t2-6qbf-5cnf-80var-1280cl2091876.98
mA-t2-6qbf-5cnf-80var-2560cl20100.62
mA-t2-6qbf-5cnf-80var-640cl2012020
MutexP4828847.65
Qq2k1k4v40v40m1610550.06
Qq2k1k4v40v40m210100.06
Qq2k1k4v40v40m3210100.02
Qq2k1k4v40v40m410910.03
Qq2k1k4v40v40m810820.04
Qq2k1k4v80v80m1610730.04
Qq2k1k4v80v80m210100.03
Qq2k1k4v80v80m3210280.02
Qq2k1k4v80v80m410100.05
Qq2k1k4v80v80m810100.07
Qq2k2k3v40v40m1610100.02
Qq2k2k3v40v40m210100.06
Qq2k2k3v40v40m3210100.06
Qq2k2k3v40v40m410100.04
Qq2k2k3v40v40m810100.05
Qq2k2k3v80v80m1610100.07
Qq2k2k3v80v80m210100.05
Qq2k2k3v80v80m3210100.04
Qq2k2k3v80v80m410100.01
Qq2k2k3v80v80m810100.03
Qq2k3k2v40v40m1610100.07
Qq2k3k2v40v40m210100.05
Qq2k3k2v40v40m3210100.04
Qq2k3k2v40v40m410100.02
Qq2k3k2v40v40m810100.01
Qq2k3k2v80v80m1610100.04
Qq2k3k2v80v80m210100.04
Qq2k3k2v80v80m3210100.03
Qq2k3k2v80v80m410100
Qq2k3k2v80v80m810100.05
Qq3k1k1k3v40v40v40m1610100.03
Qq3k1k1k3v40v40v40m210100.03
Qq3k1k1k3v40v40v40m3210100.02
Qq3k1k1k3v40v40v40m410100.04
Qq3k1k1k3v40v40v40m810100.04
Qq3k1k1k3v80v80v80m1610100.02
Qq3k1k1k3v80v80v80m210100.03
Qq3k1k1k3v80v80v80m3210100.07
Qq3k1k1k3v80v80v80m410100.03
Qq3k1k1k3v80v80v80m810100.04
Qq3k1k2k2v40v40v40m1610100.04
Qq3k1k2k2v40v40v40m210100.03
Qq3k1k2k2v40v40v40m3210100.06
Qq3k1k2k2v40v40v40m410100.01
Qq3k1k2k2v40v40v40m810100.03
Qq3k1k2k2v80v80v80m1610100.02
Qq3k1k2k2v80v80v80m210100.02
Qq3k1k2k2v80v80v80m3210100.04
Qq3k1k2k2v80v80v80m410100.03
Qq3k1k2k2v80v80v80m810100.02
Qq3k1k3k1v40v40v40m1610100.04
Qq3k1k3k1v40v40v40m210100.05
Qq3k1k3k1v40v40v40m3210100.08
Qq3k1k3k1v40v40v40m410100.03
Qq3k1k3k1v40v40v40m810100.01
Qq3k1k3k1v80v80v80m1610100.01
Qq3k1k3k1v80v80v80m210100.03
Qq3k1k3k1v80v80v80m3210100.04
Qq3k1k3k1v80v80v80m410100.05
Qq3k1k3k1v80v80v80m810100.06
Qq3k2k1k2v40v40v40m1610100.04
Qq3k2k1k2v40v40v40m210100.03
Qq3k2k1k2v40v40v40m3210100.03
Qq3k2k1k2v40v40v40m410100.02
Qq3k2k1k2v40v40v40m810100.07
Qq3k2k1k2v80v80v80m1610100.03
Qq3k2k1k2v80v80v80m210100.04
Qq3k2k1k2v80v80v80m3210100.04
Qq3k2k1k2v80v80v80m410100.01
Qq3k2k1k2v80v80v80m810100.03
Qq3k2k2k1v40v40v40m1610100.05
Qq3k2k2k1v40v40v40m210100.05
Qq3k2k2k1v40v40v40m3210100.04
Qq3k2k2k1v40v40v40m410100.04
Qq3k2k2k1v40v40v40m810100.03
Qq3k2k2k1v80v80v80m1610100.03
Qq3k2k2k1v80v80v80m210100.02
Qq3k2k2k1v80v80v80m3210100.02
Qq3k2k2k1v80v80v80m410100.06
Qq3k2k2k1v80v80v80m810100.04
Qq3k3k1k1v40v40v40m1610100.03
Qq3k3k1k1v40v40v40m210100.03
Qq3k3k1k1v40v40v40m3210100.06
Qq3k3k1k1v40v40v40m410100.03
Qq3k3k1k1v40v40v40m810100.04
Qq3k3k1k1v80v80v80m1610100.03
Qq3k3k1k1v80v80v80m210100.03
Qq3k3k1k1v80v80v80m3210100.03
Qq3k3k1k1v80v80v80m410100.05
Qq3k3k1k1v80v80v80m810100.04
Qshifter4426441.14
RobotsD2301687.5
RobotsD3302038.92
RobotsD4322841.27
RobotsD5312734.33
s2729112882.2
s2981710217
s38684807.92
s499116610.94
s51042403.96
s713106010
s82084808
Sorting_networks371421165953.67
Strategic_Companies6332130328048.09
SzymanskiP815127.28
term1385552.05
tipdiam6530139.51
tipfixpoint20619108910.25
Toilet17214.41
ToiletA41159.86
ToiletC310.03
Tree710.07