WalkQSAT results solving families - 2005

Family# Total# Sat# UnsatTime
Adder17321118850.95
Blocks102214668.42
C43273243171.21
C49976119420.29
C531580142689.9
C62887737891.15
C88078249290.16
Chain87934043.22
comp2821570.52
Connect41383041522.7
Counter71939883.65
CounterFactual1671223222741026.74
DFlipFlop73827.08
evader-pursuer-4x4-logarithmic59722.13
evader-pursuer-4x4-standard6457661.56
evader-pursuer-6x6-logarithmic67126653.69
evader-pursuer-6x6-standard6659446.16
evader-pursuer-8x8-logarithmic72144181.21
FPGA_PLB_FIT_FAST381593.12
FPGA_PLB_FIT_SLOW251666.81
horn15638106709.7
Impl74100.38
jmc_quant43137918.84
jmc_quant_squaring9585594.32
k_branch_n4641445.75
k_branch_p4338742.5
k_d4_n42135927.99
k_d4_p42132490
k_dum_n35128837.3
k_dum_p47234282.19
k_grz_n42323144.39
k_grz_p37320806.97
k_lin_n2724326.67
k_lin_p35125501.62
k_path_n40130989.36
k_path_p35129775.42
k_ph_n38411232.08
k_ph_p3024317.12
k_poly_n4237841.72
k_poly_p3329732.26
k_t4p_n3935138.73
k_t4p_p5145950.6
Logn194955.38
mA-t2-1qbf-5cnf-160var-1280cl10100.12
mA-t2-1qbf-5cnf-160var-2560cl20750.56
mA-t2-1qbf-5cnf-160var-320cl10100.04
mA-t2-1qbf-5cnf-160var-5120cl10333.84
mA-t2-1qbf-5cnf-160var-640cl10100.05
mA-t2-1qbf-5cnf-20var-160cl10100.03
mA-t2-1qbf-5cnf-20var-320cl10100.08
mA-t2-1qbf-5cnf-20var-40cl10100.04
mA-t2-1qbf-5cnf-20var-640cl10100.28
mA-t2-1qbf-5cnf-20var-80cl10100.04
mA-t2-1qbf-5cnf-40var-1280cl109290.06
mA-t2-1qbf-5cnf-40var-160cl10100.03
mA-t2-1qbf-5cnf-40var-320cl10100.04
mA-t2-1qbf-5cnf-40var-640cl10103.46
mA-t2-1qbf-5cnf-40var-80cl10100.04
mA-t2-1qbf-5cnf-80var-1280cl103315.34
mA-t2-1qbf-5cnf-80var-160cl10100.07
mA-t2-1qbf-5cnf-80var-2560cl201022.38
mA-t2-1qbf-5cnf-80var-320cl10100.05
mA-t2-1qbf-5cnf-80var-640cl10100.08
mA-t2-2qbf-5cnf-160var-1280cl109009.98
mA-t2-2qbf-5cnf-160var-2560cl2059011.86
mA-t2-2qbf-5cnf-160var-320cl20116224.62
mA-t2-2qbf-5cnf-160var-5120cl20100.74
mA-t2-2qbf-5cnf-160var-640cl109009.97
mA-t2-2qbf-5cnf-20var-160cl10927.99
mA-t2-2qbf-5cnf-20var-320cl107840.36
mA-t2-2qbf-5cnf-20var-40cl10100.02
mA-t2-2qbf-5cnf-20var-640cl10100.06
mA-t2-2qbf-5cnf-20var-80cl10103.81
mA-t2-2qbf-5cnf-40var-1280cl10100.11
mA-t2-2qbf-5cnf-40var-160cl20315113.1
mA-t2-2qbf-5cnf-40var-320cl20510283.08
mA-t2-2qbf-5cnf-40var-640cl2067255.36
mA-t2-2qbf-5cnf-40var-80cl10100.24
mA-t2-2qbf-5cnf-80var-1280cl20410812.14
mA-t2-2qbf-5cnf-80var-160cl101019.06
mA-t2-2qbf-5cnf-80var-2560cl10100.21
mA-t2-2qbf-5cnf-80var-320cl2018020.02
mA-t2-2qbf-5cnf-80var-640cl20116228.78
mA-t2-3qbf-5cnf-160var-1280cl109009.95
mA-t2-3qbf-5cnf-160var-2560cl2031722.72
mA-t2-3qbf-5cnf-160var-320cl10100.08
mA-t2-3qbf-5cnf-160var-5120cl10100.36
mA-t2-3qbf-5cnf-160var-640cl20100.16
mA-t2-3qbf-5cnf-20var-160cl20100.66
mA-t2-3qbf-5cnf-20var-320cl20100.5
mA-t2-3qbf-5cnf-20var-40cl10100.02
mA-t2-3qbf-5cnf-20var-640cl10100.06
mA-t2-3qbf-5cnf-20var-80cl10100.03
mA-t2-3qbf-5cnf-40var-1280cl10100.11
mA-t2-3qbf-5cnf-40var-160cl10100.06
mA-t2-3qbf-5cnf-40var-320cl209137.76
mA-t2-3qbf-5cnf-40var-640cl20102.48
mA-t2-3qbf-5cnf-40var-80cl10100.03
mA-t2-3qbf-5cnf-80var-1280cl2010398.06
mA-t2-3qbf-5cnf-80var-160cl10100.05
mA-t2-3qbf-5cnf-80var-2560cl20100.38
mA-t2-3qbf-5cnf-80var-320cl20100.1
mA-t2-3qbf-5cnf-80var-640cl1064314.14
mA-t2-4qbf-5cnf-160var-1280cl1018114.67
mA-t2-4qbf-5cnf-160var-2560cl2010184.12
mA-t2-4qbf-5cnf-160var-320cl10100.07
mA-t2-4qbf-5cnf-160var-5120cl20100.88
mA-t2-4qbf-5cnf-160var-640cl2018020.02
mA-t2-4qbf-5cnf-20var-160cl20288.88
mA-t2-4qbf-5cnf-20var-320cl20100.2
mA-t2-4qbf-5cnf-20var-40cl10100.04
mA-t2-4qbf-5cnf-20var-640cl20100.14
mA-t2-4qbf-5cnf-20var-80cl10100.06
mA-t2-4qbf-5cnf-40var-1280cl20100.2
mA-t2-4qbf-5cnf-40var-160cl10101.84
mA-t2-4qbf-5cnf-40var-320cl20411343.72
mA-t2-4qbf-5cnf-40var-640cl20100.42
mA-t2-4qbf-5cnf-40var-80cl10100.02
mA-t2-4qbf-5cnf-80var-1280cl20109.62
mA-t2-4qbf-5cnf-80var-160cl10100.07
mA-t2-4qbf-5cnf-80var-2560cl20100.38
mA-t2-4qbf-5cnf-80var-320cl2059768.04
mA-t2-4qbf-5cnf-80var-640cl1027639.5
mA-t2-5qbf-5cnf-160var-1280cl1054676.07
mA-t2-5qbf-5cnf-160var-2560cl2021590.72
mA-t2-5qbf-5cnf-160var-320cl10100.12
mA-t2-5qbf-5cnf-160var-5120cl20103.56
mA-t2-5qbf-5cnf-160var-640cl20100.24
mA-t2-5qbf-5cnf-20var-160cl10100.05
mA-t2-5qbf-5cnf-20var-320cl20100.88
mA-t2-5qbf-5cnf-20var-40cl10100.05
mA-t2-5qbf-5cnf-20var-640cl20100.22
mA-t2-5qbf-5cnf-20var-80cl10100.02
mA-t2-5qbf-5cnf-40var-1280cl20100.16
mA-t2-5qbf-5cnf-40var-160cl10100.03
mA-t2-5qbf-5cnf-40var-320cl2010104.64
mA-t2-5qbf-5cnf-40var-640cl20104.84
mA-t2-5qbf-5cnf-40var-80cl10100.04
mA-t2-5qbf-5cnf-80var-1280cl2010202.48
mA-t2-5qbf-5cnf-80var-160cl10100.08
mA-t2-5qbf-5cnf-80var-2560cl20100.6
mA-t2-5qbf-5cnf-80var-320cl10100.08
mA-t2-5qbf-5cnf-80var-640cl2076965.02
mA-t2-6qbf-5cnf-160var-1280cl109009.95
mA-t2-6qbf-5cnf-160var-2560cl207754.88
mA-t2-6qbf-5cnf-160var-320cl10100.05
mA-t2-6qbf-5cnf-160var-5120cl20102.64
mA-t2-6qbf-5cnf-160var-640cl20100.26
mA-t2-6qbf-5cnf-20var-160cl20912.02
mA-t2-6qbf-5cnf-20var-320cl20101.34
mA-t2-6qbf-5cnf-20var-40cl10100.05
mA-t2-6qbf-5cnf-20var-640cl20100.18
mA-t2-6qbf-5cnf-20var-80cl10100.03
mA-t2-6qbf-5cnf-40var-1280cl20100.32
mA-t2-6qbf-5cnf-40var-160cl10100.05
mA-t2-6qbf-5cnf-40var-320cl204111105.46
mA-t2-6qbf-5cnf-40var-640cl20104.42
mA-t2-6qbf-5cnf-40var-80cl10100.06
mA-t2-6qbf-5cnf-80var-1280cl2083627.62
mA-t2-6qbf-5cnf-80var-160cl10100.06
mA-t2-6qbf-5cnf-80var-2560cl20100.64
mA-t2-6qbf-5cnf-80var-320cl10100.08
mA-t2-6qbf-5cnf-80var-640cl2018019.92
MutexP78343268.18
Qshifter61240560.87
renHorn841363971.16
RobotsD27016243.93
RobotsD3706306.2
RobotsD4746917.72
RobotsD5716586
s11961715316.91
s12692722522.87
s27361119182.09
s2983733334.61
s33304216260.75
s3863127931.07
s4992413516.87
s510229920.87
s641290.08
s7133531534.04
s8203430630.75
SzymanskiP1018129.6
term16928139.29
Toilet335189.05
ToiletA30810144.59
ToiletC411193.13
Tree87497842.75
uclid3027029.95
VonNeumann753133.93
z4ml61410.45