Update benchmarks to new mzn-bench repository

bench_env.sh

@@ -9,7 +9,7 @@ if [ -d venv ]; then
 else
     python3 -m venv venv
     source venv/bin/activate
-    python3 -m pip install git+https://github.com/Dekker1/minizinc-slurm
+    python3 -m pip install mzn-bench
 fi
 
 # Set other environment variables and load cluster modules

prize_benchmark.py

@@ -3,7 +3,7 @@ from pathlib import Path
 
 import minizinc
 
-from minizinc_slurm import Configuration, schedule
+from mzn_bench import Configuration, schedule
 
 schedule(
     instances=Path("./prize.csv"),

qcp_benchmark.py

@@ -3,7 +3,7 @@ from pathlib import Path
 
 import minizinc
 
-from minizinc_slurm import Configuration, schedule
+from mzn_bench import Configuration, schedule
 
 schedule(
     instances=Path("./qcp_max.csv"),