solving: add walltime

This commit is contained in:
Fabian 2023-08-02 13:58:30 +02:00
parent 1c1d45b1f5
commit 392f1b5fb4

View File

@ -47,8 +47,8 @@ rule copy_config:
BENCHMARKS + "copy_config"
conda:
"../envs/environment.yaml"
script:
"../scripts/copy_config.py"
shell:
"cp {configfile} {output}"
rule make_summary: