spdfa-config.ini

[default]
heuristic-name = alergia
data-name = alergia_data
symbol_count = 5
satdfabound = 2000
sinkson = 1
state_count = 5
sinkcount = 5
extrapar = 0.05
largestblue = 1
finalred = 0
extend = 0
lowerbound = 3
finalprob = 1
markovian = 1
mcollector = -1
mergelocal = -1
printwhite = 0
printblue = 1
outputsinks = 1