WalkQSAT results solving families - 2005

Family# Total# Sat# UnsatTime
Adder19321134384.67
Blocks102214668.42
C43273243171.21
C49976119420.29
C531583145392.88
C62888139752.95
C88078249290.16
Chain87934043.22
comp2821570.52
Connect41443045127.62
Counter73941684.76
CounterFactual1691223222759046.26
DFlipFlop73827.08
evader-pursuer-4x4-logarithmic61722.9
evader-pursuer-4x4-standard6558562.47
evader-pursuer-6x6-logarithmic72130266.87
evader-pursuer-6x6-standard7264850.06
evader-pursuer-8x8-logarithmic75145273.03
FPGA_PLB_FIT_FAST381593.12
FPGA_PLB_FIT_SLOW251666.81
horn15638106709.7
Impl74100.38
jmc_quant44138819.84
jmc_quant_squaring113101812.19
k_branch_n5347752.66
k_branch_p5045049.37
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_n39412133
k_ph_p3528819.9
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
Qshifter62241461.77
renHorn841363971.16
RobotsD27016243.93
RobotsD3706306.2
RobotsD4746917.72
RobotsD5716586
s11961715316.91
s12692823423.63
s27361119182.09
s2983733334.61
s33304316262.91
s3863127931.07
s4992413516.87
s510229920.87
s641290.08
s7133531534.04
s8203430630.75
SzymanskiP1058133.04
term16928139.29
Toilet335189.05
ToiletA30810144.59
ToiletC411193.13
Tree87497842.75
uclid3027029.95
VonNeumann753133.93
z4ml61410.45