WalkQSAT results solving families - 2004

Family# Total# Sat# UnsatTime
Adder47130891.85
Blocks6659466.46
C43273242591.9
C49976127959.51
C531580155866.44
C62887753194.11
C88078254151.05
Chain62717611.18
comp28212589.45
Connect28243.45
Connect3826.38
Connect4853.47
Connect5863.5
Connect68639.64
Connect78653.8
Connect88210.15
Connect932.76
Counter1225406.32
DFlipFlop60722.43
Impl6180.24
jmc_quant36131556.43
jmc_quant_squaring7769377.59
k_branch_n34128832.2
k_branch_p4540545.4
k_d4_n4641446.32
k_d4_p39133340.42
k_dum_n42515595.85
k_dum_p43328104.93
k_grz_n32514538.47
k_grz_p45427010.15
k_lin_n39323531.2
k_lin_p32127030.08
k_path_n42517907.03
k_path_p38326020.72
k_ph_n50620.15
k_ph_p421825.63
k_poly_n32226316.63
k_poly_p4132222.85
k_t4p_n42132461.92
k_t4p_p56148659.01
Logn2917119.1
mA-t2-2qbf-5cnf-100var-1000cl21802.01
mA-t2-2qbf-5cnf-100var-1200cl21802.02
mA-t2-2qbf-5cnf-100var-1400cl21901.03
mA-t2-2qbf-5cnf-100var-1600cl21901.01
mA-t2-2qbf-5cnf-100var-1800cl220.11
mA-t2-2qbf-5cnf-100var-200cl221067.93
mA-t2-2qbf-5cnf-100var-400cl21802.01
mA-t2-2qbf-5cnf-100var-600cl21802.01
mA-t2-2qbf-5cnf-100var-800cl21802.02
mA-t2-2qbf-5cnf-150var-1200cl21802.02
mA-t2-2qbf-5cnf-150var-1500cl21802.01
mA-t2-2qbf-5cnf-150var-1800cl21802.01
mA-t2-2qbf-5cnf-150var-2100cl21802.01
mA-t2-2qbf-5cnf-150var-2400cl21802
mA-t2-2qbf-5cnf-150var-2700cl220.11
mA-t2-2qbf-5cnf-150var-300cl211326.47
mA-t2-2qbf-5cnf-150var-600cl21802
mA-t2-2qbf-5cnf-150var-900cl21802
mA-t2-2qbf-5cnf-50var-100cl220.1
mA-t2-2qbf-5cnf-50var-200cl21802.01
mA-t2-2qbf-5cnf-50var-300cl21802.01
mA-t2-2qbf-5cnf-50var-400cl21802
mA-t2-2qbf-5cnf-50var-500cl211392.94
mA-t2-2qbf-5cnf-50var-600cl21802.01
mA-t2-2qbf-5cnf-50var-700cl21802.01
mA-t2-2qbf-5cnf-50var-800cl21901.02
mA-t2-2qbf-5cnf-50var-900cl220.04
mA-t2-3qbf-5cnf-100var-1000cl21802.01
mA-t2-3qbf-5cnf-100var-1200cl21802.01
mA-t2-3qbf-5cnf-100var-1400cl21802.01
mA-t2-3qbf-5cnf-100var-1600cl21802.01
mA-t2-3qbf-5cnf-100var-1800cl21903.43
mA-t2-3qbf-5cnf-100var-200cl220.01
mA-t2-3qbf-5cnf-100var-400cl220
mA-t2-3qbf-5cnf-100var-600cl220.03
mA-t2-3qbf-5cnf-100var-800cl21802.01
mA-t2-3qbf-5cnf-150var-1200cl21802.02
mA-t2-3qbf-5cnf-150var-1500cl21802.01
mA-t2-3qbf-5cnf-150var-1800cl21802.01
mA-t2-3qbf-5cnf-150var-2100cl21802.02
mA-t2-3qbf-5cnf-150var-2400cl21802.01
mA-t2-3qbf-5cnf-150var-2700cl21802.02
mA-t2-3qbf-5cnf-150var-300cl220.01
mA-t2-3qbf-5cnf-150var-600cl220.03
mA-t2-3qbf-5cnf-150var-900cl21902.45
mA-t2-3qbf-5cnf-50var-100cl220.01
mA-t2-3qbf-5cnf-50var-200cl220
mA-t2-3qbf-5cnf-50var-300cl220.04
mA-t2-3qbf-5cnf-50var-400cl2215.56
mA-t2-3qbf-5cnf-50var-500cl21802.01
mA-t2-3qbf-5cnf-50var-600cl211287.15
mA-t2-3qbf-5cnf-50var-700cl22197.4
mA-t2-3qbf-5cnf-50var-800cl223.57
mA-t2-3qbf-5cnf-50var-900cl220.18
mA-t2-4qbf-5cnf-100var-1000cl21802
mA-t2-4qbf-5cnf-100var-1200cl211282.26
mA-t2-4qbf-5cnf-100var-1400cl22282.58
mA-t2-4qbf-5cnf-100var-1600cl220.27
mA-t2-4qbf-5cnf-100var-1800cl221.37
mA-t2-4qbf-5cnf-100var-200cl220.02
mA-t2-4qbf-5cnf-100var-400cl21802.01
mA-t2-4qbf-5cnf-100var-600cl21802.02
mA-t2-4qbf-5cnf-100var-800cl21802.01
mA-t2-4qbf-5cnf-150var-1200cl21802.01
mA-t2-4qbf-5cnf-150var-1500cl21802.02
mA-t2-4qbf-5cnf-150var-1800cl21802.01
mA-t2-4qbf-5cnf-150var-2100cl21932.1
mA-t2-4qbf-5cnf-150var-2400cl22707.54
mA-t2-4qbf-5cnf-150var-2700cl211060.33
mA-t2-4qbf-5cnf-150var-300cl220.03
mA-t2-4qbf-5cnf-150var-600cl21802
mA-t2-4qbf-5cnf-150var-900cl21802.02
mA-t2-4qbf-5cnf-50var-100cl220.02
mA-t2-4qbf-5cnf-50var-200cl2213.57
mA-t2-4qbf-5cnf-50var-300cl21802.01
mA-t2-4qbf-5cnf-50var-400cl21901.1
mA-t2-4qbf-5cnf-50var-500cl2281.82
mA-t2-4qbf-5cnf-50var-600cl220.35
mA-t2-4qbf-5cnf-50var-700cl220.36
mA-t2-4qbf-5cnf-50var-800cl222.4
mA-t2-4qbf-5cnf-50var-900cl220.35
mA-t2-5qbf-5cnf-100var-1000cl21802
mA-t2-5qbf-5cnf-100var-1200cl21802.02
mA-t2-5qbf-5cnf-100var-1400cl21802.02
mA-t2-5qbf-5cnf-100var-1600cl21802.01
mA-t2-5qbf-5cnf-100var-1800cl21802.01
mA-t2-5qbf-5cnf-100var-200cl220.03
mA-t2-5qbf-5cnf-100var-400cl220.04
mA-t2-5qbf-5cnf-100var-600cl220.03
mA-t2-5qbf-5cnf-100var-800cl21802.01
mA-t2-5qbf-5cnf-150var-1200cl21802.02
mA-t2-5qbf-5cnf-150var-1500cl21802.02
mA-t2-5qbf-5cnf-150var-1800cl21802.02
mA-t2-5qbf-5cnf-150var-2100cl21802.01
mA-t2-5qbf-5cnf-150var-2400cl21802.02
mA-t2-5qbf-5cnf-150var-2700cl21802
mA-t2-5qbf-5cnf-150var-300cl220.02
mA-t2-5qbf-5cnf-150var-600cl220.02
mA-t2-5qbf-5cnf-150var-900cl220.04
mA-t2-5qbf-5cnf-50var-100cl220
mA-t2-5qbf-5cnf-50var-200cl220.01
mA-t2-5qbf-5cnf-50var-300cl220.01
mA-t2-5qbf-5cnf-50var-400cl220.54
mA-t2-5qbf-5cnf-50var-500cl211272.43
mA-t2-5qbf-5cnf-50var-600cl211016.05
mA-t2-5qbf-5cnf-50var-700cl22228.73
mA-t2-5qbf-5cnf-50var-800cl22468.5
mA-t2-5qbf-5cnf-50var-900cl2222.24
mB-t2-2qbf-5cnf-100var-1000cl220.02
mB-t2-2qbf-5cnf-100var-1200cl220.04
mB-t2-2qbf-5cnf-100var-1400cl220.03
mB-t2-2qbf-5cnf-100var-1600cl220.03
mB-t2-2qbf-5cnf-100var-1800cl220.03
mB-t2-2qbf-5cnf-100var-200cl211366.78
mB-t2-2qbf-5cnf-100var-400cl224.33
mB-t2-2qbf-5cnf-100var-600cl220.04
mB-t2-2qbf-5cnf-100var-800cl220.06
mB-t2-2qbf-5cnf-150var-1200cl220.12
mB-t2-2qbf-5cnf-150var-1500cl220.06
mB-t2-2qbf-5cnf-150var-1800cl220.04
mB-t2-2qbf-5cnf-150var-2100cl220.04
mB-t2-2qbf-5cnf-150var-2400cl220.05
mB-t2-2qbf-5cnf-150var-2700cl220.04
mB-t2-2qbf-5cnf-150var-300cl220.44
mB-t2-2qbf-5cnf-150var-600cl220.37
mB-t2-2qbf-5cnf-150var-900cl220.08
mB-t2-2qbf-5cnf-50var-100cl2110.07
mB-t2-2qbf-5cnf-50var-200cl220.41
mB-t2-2qbf-5cnf-50var-300cl220.03
mB-t2-2qbf-5cnf-50var-400cl220.1
mB-t2-2qbf-5cnf-50var-500cl220.03
mB-t2-2qbf-5cnf-50var-600cl220.02
mB-t2-2qbf-5cnf-50var-700cl220.09
mB-t2-2qbf-5cnf-50var-800cl220.01
mB-t2-2qbf-5cnf-50var-900cl220.02
mB-t2-3qbf-5cnf-100var-1000cl220.01
mB-t2-3qbf-5cnf-100var-1200cl220.01
mB-t2-3qbf-5cnf-100var-1400cl220.01
mB-t2-3qbf-5cnf-100var-1600cl220.02
mB-t2-3qbf-5cnf-100var-1800cl220.02
mB-t2-3qbf-5cnf-100var-200cl220.02
mB-t2-3qbf-5cnf-100var-400cl220.02
mB-t2-3qbf-5cnf-100var-600cl220.01
mB-t2-3qbf-5cnf-100var-800cl220.02
mB-t2-3qbf-5cnf-150var-1200cl220.04
mB-t2-3qbf-5cnf-150var-1500cl220.02
mB-t2-3qbf-5cnf-150var-1800cl220.02
mB-t2-3qbf-5cnf-150var-2100cl220.04
mB-t2-3qbf-5cnf-150var-2400cl220
mB-t2-3qbf-5cnf-150var-2700cl220.04
mB-t2-3qbf-5cnf-150var-300cl220
mB-t2-3qbf-5cnf-150var-600cl220.07
mB-t2-3qbf-5cnf-150var-900cl220.02
mB-t2-3qbf-5cnf-50var-100cl220.02
mB-t2-3qbf-5cnf-50var-200cl220.01
mB-t2-3qbf-5cnf-50var-300cl220.02
mB-t2-3qbf-5cnf-50var-400cl220.02
mB-t2-3qbf-5cnf-50var-500cl220.02
mB-t2-3qbf-5cnf-50var-600cl220.03
mB-t2-3qbf-5cnf-50var-700cl220.02
mB-t2-3qbf-5cnf-50var-800cl220.01
mB-t2-3qbf-5cnf-50var-900cl220.02
mB-t2-4qbf-5cnf-100var-1000cl220.04
mB-t2-4qbf-5cnf-100var-1200cl220.03
mB-t2-4qbf-5cnf-100var-1400cl220.04
mB-t2-4qbf-5cnf-100var-1600cl220.04
mB-t2-4qbf-5cnf-100var-1800cl220.04
mB-t2-4qbf-5cnf-100var-200cl220.02
mB-t2-4qbf-5cnf-100var-400cl220.04
mB-t2-4qbf-5cnf-100var-600cl220.04
mB-t2-4qbf-5cnf-100var-800cl220.04
mB-t2-4qbf-5cnf-150var-1200cl220.04
mB-t2-4qbf-5cnf-150var-1500cl220.03
mB-t2-4qbf-5cnf-150var-1800cl220.06
mB-t2-4qbf-5cnf-150var-2100cl220.06
mB-t2-4qbf-5cnf-150var-2400cl220.06
mB-t2-4qbf-5cnf-150var-2700cl220.06
mB-t2-4qbf-5cnf-150var-300cl220.03
mB-t2-4qbf-5cnf-150var-600cl220.04
mB-t2-4qbf-5cnf-150var-900cl220.03
mB-t2-4qbf-5cnf-50var-100cl220.02
mB-t2-4qbf-5cnf-50var-200cl220.03
mB-t2-4qbf-5cnf-50var-300cl220.01
mB-t2-4qbf-5cnf-50var-400cl220.02
mB-t2-4qbf-5cnf-50var-500cl220.04
mB-t2-4qbf-5cnf-50var-600cl220.04
mB-t2-4qbf-5cnf-50var-700cl220.04
mB-t2-4qbf-5cnf-50var-800cl220.04
mB-t2-4qbf-5cnf-50var-900cl220.04
mB-t2-5qbf-5cnf-100var-1000cl220.04
mB-t2-5qbf-5cnf-100var-1200cl220.03
mB-t2-5qbf-5cnf-100var-1400cl220.04
mB-t2-5qbf-5cnf-100var-1600cl220.04
mB-t2-5qbf-5cnf-100var-1800cl220.04
mB-t2-5qbf-5cnf-100var-200cl220.01
mB-t2-5qbf-5cnf-100var-400cl220.01
mB-t2-5qbf-5cnf-100var-600cl220.03
mB-t2-5qbf-5cnf-100var-800cl220.21
mB-t2-5qbf-5cnf-150var-1200cl220.05
mB-t2-5qbf-5cnf-150var-1500cl220.03
mB-t2-5qbf-5cnf-150var-1800cl220.02
mB-t2-5qbf-5cnf-150var-2100cl220.05
mB-t2-5qbf-5cnf-150var-2400cl220.05
mB-t2-5qbf-5cnf-150var-2700cl220.05
mB-t2-5qbf-5cnf-150var-300cl220.03
mB-t2-5qbf-5cnf-150var-600cl220.02
mB-t2-5qbf-5cnf-150var-900cl220.41
mB-t2-5qbf-5cnf-50var-100cl220.01
mB-t2-5qbf-5cnf-50var-200cl220
mB-t2-5qbf-5cnf-50var-300cl220.02
mB-t2-5qbf-5cnf-50var-400cl220.02
mB-t2-5qbf-5cnf-50var-500cl220.01
mB-t2-5qbf-5cnf-50var-600cl220.01
mB-t2-5qbf-5cnf-50var-700cl220.04
mB-t2-5qbf-5cnf-50var-800cl220.03
mB-t2-5qbf-5cnf-50var-900cl220.04
MutexP78343267.78
RobotsD290.56
RobotsD380.74
RobotsD4130.92
RobotsD580.6
s1196446.04
s12694917.64
s27361120305.04
s298395.12
s327181.27
s33305376.12
s386534.25
s499374509.95
s5102425.24
s641496.54
s713617.71
s8204711.84
SzymanskiP65677.2
term16929277.31
Toilet33512655.8
ToiletA1516150.09
ToiletC10351.91
ToiletG4370.38
Tree531519576.57
uclid3027030.11
VonNeumann562103.46
z4ml61410.99