qcp_benchmark.py at develop · dekker.one/half-reif-benchmarks

The models, scripts, and results of the benchmarks performed for a Half Reification Journal paper

half-reif-benchmarks / qcp_benchmark.py

at develop 19 lines 410 B view raw

wrap content

 1from datetime import timedelta
 2from pathlib import Path
 3
 4import minizinc
 5
 6from mzn_bench import Configuration, schedule
 7
 8schedule(
 9    instances=Path("./qcp_max.csv"),
10    timeout=timedelta(minutes=5),
11    configurations=[
12        Configuration(
13            "Chuffed",
14            minizinc.Solver.lookup("chuffed-hr"),
15        ),
16    ],
17    nodelist=["critical001"],
18    output_dir=Path("./output/qcp_max"),
19)