'pruning.minset': '1',
'pruning.remaining': '1',
'pruning.frac': '1.0',
'pruning.useub': 'true',
'clique.enabled': 'true',
'path.enabled': 'true',
'gprime.path.enabled': 'true',
'blockColor.enabled': 'true',
'solver.useCplexCuttingPlanes': 'false',
'solver.useCplexPrimalHeuristic': 'false',
}
lowdens_final = create_runs(baseprops, [{
'pruning.enabled': 'false',
'solver.probing': '1',
'solver.mipEmphasis': '3',
'cuts.iterations.root.max': '500',
'cuts.iterations.nodes.max': '1',
'cuts.maxdepth': '0',
}])
lowdens_final_pruning = create_runs(baseprops, [{
'pruning.enabled': 'true',
'pruning.minset': '5',
'pruning.remaining': '20',
'pruning.frac': '1.0',
'pruning.useub': 'true',
'solver.probing': '1',
'solver.mipEmphasis': '3',
'cuts.iterations.root.max': '500',
'cuts.iterations.nodes.max': '1',
'cuts.maxdepth': '0',
'blockColor.enabled': 'true',
'solver.useCplexCuttingPlanes': 'false',
'solver.useCplexPrimalHeuristic': 'false',
'pruning.enabled': 'false',
}
lowdens_runs = create_runs(baseprops, [
{
'pruning.enabled': 'false',
'solver.probing': '1',
'solver.mipEmphasis': '3',
},
{
'pruning.enabled': 'false',
'solver.probing': '1',
'solver.mipEmphasis': '3',
'strategy.partition': 'PaintAtLeastOne',
},
{
'pruning.enabled': 'false',
'solver.probing': '-1',
'solver.mipEmphasis': '3',
'strategy.colorBound': 'UpperNodesSum',
'strategy.symmetry': 'UseLowerLabelFirst',
},
])
lowdens_cuts = create_runs(baseprops, [
{
'pruning.enabled': 'false',
'solver.probing': '1',
'solver.mipEmphasis': '3',
cliqueruns = create_runs(
update_copy(
baseprops, {
'clique.enabled': 'true',
'path.enabled': 'false',
'gprime.path.enabled': 'false',
'blockColor.enabled': 'false',
}), [
{
'clique.colorsAsc': 'false',
'clique.backtrackBrokenIneqs': 'false',
'clique.backtrackLastCandidate': 'true'
},
{
'clique.colorsAsc': 'false',
'clique.backtrackBrokenIneqs': 'false',
'clique.backtrackLastCandidate': 'false'
},
{
'clique.colorsAsc': 'false',
'clique.backtrackBrokenIneqs': 'true',
'clique.backtrackLastCandidate': 'false'
},
{
'clique.colorsAsc': 'false',
'clique.backtrackBrokenIneqs': 'true',
'clique.backtrackLastCandidate': 'true'
},
{
'clique.colorsAsc': 'true',
'clique.backtrackBrokenIneqs': 'false',
'clique.backtrackLastCandidate': 'true'
},
{
'clique.colorsAsc': 'true',
'clique.backtrackBrokenIneqs': 'false',
'clique.backtrackLastCandidate': 'false'
},
{
'clique.colorsAsc': 'true',
'clique.backtrackBrokenIneqs': 'true',
'clique.backtrackLastCandidate': 'false'
},
{
'clique.colorsAsc': 'true',
'clique.backtrackBrokenIneqs': 'true',
'clique.backtrackLastCandidate': 'true'
},
])
modelruns = create_runs(baseprops, [
{
'strategy.partition': 'PaintAtLeastOne',
},
{
'strategy.partition': 'PaintExactlyOne',
},
{
'strategy.adjacency': 'AdjacentsLeqColor',
},
{
'strategy.adjacency': 'AdjacentsLeqOne',
},
{
'model.adjacentsNeighbourhood.useCliqueCover': 'false'
},
{
'strategy.adjacency': 'AdjacentsPartitionLeqColor',
},
{
'strategy.symmetry': 'None',
},
{
'strategy.symmetry': 'VerticesNumber',
},
{
'strategy.symmetry': 'MinimumNodeLabel',
},
{
'strategy.colorBound': 'UpperNodesSum',
},
{
'strategy.colorBound': 'UpperNodesSumLowerSum',
},
{
'strategy.colorBound': 'UpperNodesSumLowerSumPartition',
},
{
'strategy.symmetry': 'MinimumNodeLabel',
'strategy.colorBound': 'UpperNodesSumLowerSumPartition',
},
])
primalruns = create_runs(
{
'solver.kind': 'PcpBranchAndCut',
'solver.useCutCallback': 'true',
'solver.useHeuristicCallback': 'true',
'solver.useBranchingCallback': 'true',
'pruning.enabled': 'false',
'primal.enabled': 'true',
'branch.enabled': 'true',
'cuts.enabled': 'false',
'solver.useCplexPrimalHeuristic': 'false',
'solver.maxTime': '900',
'branch.selection': '1',
'branch.direction': '0',
'branch.prios.enabled': 'true',
'branch.prios.psize': '0',
'branch.prios.psadjacent': '10',
'branch.prios.colorindex': '-1',
'branch.dynamic.dsatur.nodelb': '0.7',
'branch.dynamic.fractional': 'false',
'branch.dynamic.dsatur': 'true',
'branch.dynamic.dsatur.conseccolors': 'true'
}, [
{
'branch.dynamic.dsatur': 'false',
'primal.enabled': 'true',
'solver.useCplexPrimalHeuristic': 'false',
'primal.onlyonup': 'true'
},
{
'branch.dynamic.dsatur': 'true',
'primal.enabled': 'true',
'solver.useCplexPrimalHeuristic': 'false',
'primal.onlyonup': 'true'
},
{
'branch.dynamic.dsatur': 'false',
'primal.enabled': 'true',
'solver.useCplexPrimalHeuristic': 'true',
'primal.onlyonup': 'true'
},
{
'branch.dynamic.dsatur': 'true',
'primal.enabled': 'true',
'solver.useCplexPrimalHeuristic': 'true',
'primal.onlyonup': 'true'
},
{
'branch.dynamic.dsatur': 'true',
'primal.enabled': 'false',
'solver.useCplexPrimalHeuristic': 'true',
'primal.onlyonup': 'true'
},
{
'branch.dynamic.dsatur': 'false',
'primal.enabled': 'false',
'solver.useCplexPrimalHeuristic': 'true',
'primal.onlyonup': 'true'
},
])