Dekker1/half-reif-benchmarks
Archived
1
0
Fork 0
Code

Setup new MiniZinc Challenge benchmark with CSE fix

Browse Source
This commit is contained in:
Jip J. Dekker 2021-03-22 10:58:24 +11:00
parent c6d45dd761
commit d8b9bf2b39
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
2 changed files with 17 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
mznc_benchmark.py
View File

@ -14,13 +14,19 @@ schedule(
solver=minizinc.Solver.lookup("cbc"),
other_flags={"no-half-reifications": True, "no-chain-compression": True},
),
Configuration("CBC HR", solver=minizinc.Solver.lookup("cbc")),
Configuration(
"CBC HR",
solver=minizinc.Solver.lookup("cbc"),
),
Configuration(
"CPLEX",
solver=minizinc.Solver.lookup("cplex"),
other_flags={"no-half-reifications": True, "no-chain-compression": True},
),
Configuration("CPLEX HR", solver=minizinc.Solver.lookup("cplex")),
Configuration(
"CPLEX HR",
solver=minizinc.Solver.lookup("cplex"),
),
Configuration(
"Gecode",
solver=minizinc.Solver.lookup("gecode"),
@ -32,13 +38,19 @@ schedule(
solver=minizinc.Solver.lookup("gurobi"),
other_flags={"no-half-reifications": True, "no-chain-compression": True},
),
Configuration("Gurobi HR", solver=minizinc.Solver.lookup("gurobi")),
Configuration(
"Gurobi HR",
solver=minizinc.Solver.lookup("gurobi"),
),
Configuration(
"SCIP",
solver=minizinc.Solver.lookup("scip"),
other_flags={"no-half-reifications": True, "no-chain-compression": True},
),
Configuration("SCIP HR", solver=minizinc.Solver.lookup("scip")),
Configuration(
"SCIP HR",
solver=minizinc.Solver.lookup("scip"),
),
],
memory=16384,
nodelist=["critical001"],

2
software/minizinc

@ -1 +1 @@
Subproject commit 2f44e70ea601b952bb735f87a8206c1798d0b67b
Subproject commit 3f1e50f9144a0c4cf2b090d17aba1b92a4657b18