diff --git a/README.md b/README.md index 8e26e10..7e9b6a4 100644 --- a/README.md +++ b/README.md @@ -17,6 +17,7 @@ conda env create -f environment.yml git submodule update --init --recursive ``` + - Check the installation by running the tests ``` diff --git a/benchmarks/README.md b/benchmarks/README.md index 925c546..5457548 100644 --- a/benchmarks/README.md +++ b/benchmarks/README.md @@ -6,6 +6,7 @@ The files found in [./benchmarks/programs](../benchmarks/programs) correspond to We use the following scripts to automatize the jobs for the benchmarks. + ##### [./run_bm.sh](./run_bm.sh) - Generates specialized run scripts by duplicating the provided [template for the domain](./runscripts/runscript_asprilo-abc.xml) and replacing special parameters: (Horizon, number of models, and additional). - Calls `./bgen` to generate benchmarking scripts from the benchmarking tool. @@ -72,7 +73,7 @@ optional arguments: ## *asprilo* Benchmarks from paper -1. Setup path to atlingo in folder in [./run_bm.sh](./run_bm.sh) +1. Setup path to atlingo in folder in [./run_bm.sh](./run_bm.sh) and the desired mode 1. Run all benchmarks from script `./batch_all_asprilo-abc.sh` @@ -80,3 +81,5 @@ optional arguments: 3. Plot results `./plot_script_asprilo-abc.sh` + +The benchmarks can run in a linux OS, if you are using a different system you would need to compile a runsolver and replace [./programs/runsolver-3.4](./programs/runsolver-3.4). \ No newline at end of file diff --git a/benchmarks/batch_all_asprilo-abc.sh b/benchmarks/batch_all_asprilo-abc.sh index 8cbf5ef..fe2895b 100755 --- a/benchmarks/batch_all_asprilo-abc.sh +++ b/benchmarks/batch_all_asprilo-abc.sh @@ -1,7 +1,4 @@ #!/bin/bash -#Activate conda env -# source /usr/local/apps/anaconda3/etc/profile.d/conda.sh -# conda activate temporal-automata make copy-programs cd .. make clean -s @@ -11,49 +8,49 @@ make asprilo-clean-instances make asprilo-abc-robots-instance ./run_bm.sh asprilo-abc afw 24 1 -# ./run_bm.sh asprilo-abc afw 25 1 -# ./run_bm.sh asprilo-abc afw 26 1 -# ./run_bm.sh asprilo-abc afw 27 1 -# ./run_bm.sh asprilo-abc afw 28 1 -# ./run_bm.sh asprilo-abc afw 29 1 -# ./run_bm.sh asprilo-abc afw 30 1 - -# ./run_bm.sh asprilo-abc telingo 24 1 -# ./run_bm.sh asprilo-abc telingo 25 1 -# ./run_bm.sh asprilo-abc telingo 26 1 -# ./run_bm.sh asprilo-abc telingo 27 1 -# ./run_bm.sh asprilo-abc telingo 28 1 -# ./run_bm.sh asprilo-abc telingo 29 1 -# ./run_bm.sh asprilo-abc telingo 30 1 - -# ./run_bm.sh asprilo-abc dfa-mso 24 1 -# ./run_bm.sh asprilo-abc dfa-mso 25 1 -# ./run_bm.sh asprilo-abc dfa-mso 26 1 -# ./run_bm.sh asprilo-abc dfa-mso 27 1 -# ./run_bm.sh asprilo-abc dfa-mso 28 1 -# ./run_bm.sh asprilo-abc dfa-mso 29 1 -# ./run_bm.sh asprilo-abc dfa-mso 30 1 - -# ./run_bm.sh asprilo-abc dfa-stm 24 1 -# ./run_bm.sh asprilo-abc dfa-stm 25 1 -# ./run_bm.sh asprilo-abc dfa-stm 26 1 -# ./run_bm.sh asprilo-abc dfa-stm 27 1 -# ./run_bm.sh asprilo-abc dfa-stm 28 1 -# ./run_bm.sh asprilo-abc dfa-stm 29 1 -# ./run_bm.sh asprilo-abc dfa-stm 30 1 - -# ./run_bm.sh asprilo-abc nc 24 1 -# ./run_bm.sh asprilo-abc nc 25 1 -# ./run_bm.sh asprilo-abc nc 26 1 -# ./run_bm.sh asprilo-abc nc 27 1 -# ./run_bm.sh asprilo-abc nc 28 1 -# ./run_bm.sh asprilo-abc nc 29 1 -# ./run_bm.sh asprilo-abc nc 30 1 +./run_bm.sh asprilo-abc afw 25 1 +./run_bm.sh asprilo-abc afw 26 1 +./run_bm.sh asprilo-abc afw 27 1 +./run_bm.sh asprilo-abc afw 28 1 +./run_bm.sh asprilo-abc afw 29 1 +./run_bm.sh asprilo-abc afw 30 1 + +./run_bm.sh asprilo-abc telingo 24 1 +./run_bm.sh asprilo-abc telingo 25 1 +./run_bm.sh asprilo-abc telingo 26 1 +./run_bm.sh asprilo-abc telingo 27 1 +./run_bm.sh asprilo-abc telingo 28 1 +./run_bm.sh asprilo-abc telingo 29 1 +./run_bm.sh asprilo-abc telingo 30 1 + +./run_bm.sh asprilo-abc dfa-mso 24 1 +./run_bm.sh asprilo-abc dfa-mso 25 1 +./run_bm.sh asprilo-abc dfa-mso 26 1 +./run_bm.sh asprilo-abc dfa-mso 27 1 +./run_bm.sh asprilo-abc dfa-mso 28 1 +./run_bm.sh asprilo-abc dfa-mso 29 1 +./run_bm.sh asprilo-abc dfa-mso 30 1 + +./run_bm.sh asprilo-abc dfa-stm 24 1 +./run_bm.sh asprilo-abc dfa-stm 25 1 +./run_bm.sh asprilo-abc dfa-stm 26 1 +./run_bm.sh asprilo-abc dfa-stm 27 1 +./run_bm.sh asprilo-abc dfa-stm 28 1 +./run_bm.sh asprilo-abc dfa-stm 29 1 +./run_bm.sh asprilo-abc dfa-stm 30 1 + +./run_bm.sh asprilo-abc nc 24 1 +./run_bm.sh asprilo-abc nc 25 1 +./run_bm.sh asprilo-abc nc 26 1 +./run_bm.sh asprilo-abc nc 27 1 +./run_bm.sh asprilo-abc nc 28 1 +./run_bm.sh asprilo-abc nc 29 1 +./run_bm.sh asprilo-abc nc 30 1 python size-table.py -# make clean -s +make clean -s -# cd .. -# make clean -s +cd .. +make clean -s diff --git a/benchmarks/out.txt b/benchmarks/out.txt deleted file mode 100644 index 54175a0..0000000 --- a/benchmarks/out.txt +++ /dev/null @@ -1,1092 +0,0 @@ -cp -r programs/* benchmark-tool/programs -cp -r programs/runsolver-3.4.0 benchmark-tool -cp programs/clingo.py benchmark-tool/src/benchmarktool/resultparser -rm -rf ./instances/asprilo/* -mkdir -p ./instances/asprilo/abc/robots -cp -r ../dom/asprilo-abc/instances/robots/* ./instances/asprilo/abc/robots/ - - --------------------------- - Starting benchmarks for afw__h-24__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_afw__h-24__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/afw__h-24__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776063 -Submitted batch job 776064 -Submitted batch job 776065 -Submitted batch job 776066 -Submitted batch job 776067 -Submitted batch job 776068 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/afw__h-24__n-1/afw__h-24__n-1.beval - Done afw__h-24__n-1 - - --------------------------- - Starting benchmarks for afw__h-25__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_afw__h-25__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/afw__h-25__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776069 -Submitted batch job 776070 -Submitted batch job 776071 -Submitted batch job 776072 -Submitted batch job 776073 -Submitted batch job 776074 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/afw__h-25__n-1/afw__h-25__n-1.beval - Done afw__h-25__n-1 - - --------------------------- - Starting benchmarks for afw__h-26__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_afw__h-26__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/afw__h-26__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776075 -Submitted batch job 776076 -Submitted batch job 776077 -Submitted batch job 776078 -Submitted batch job 776079 -Submitted batch job 776080 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/afw__h-26__n-1/afw__h-26__n-1.beval - Done afw__h-26__n-1 - - --------------------------- - Starting benchmarks for afw__h-27__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_afw__h-27__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/afw__h-27__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776081 -Submitted batch job 776082 -Submitted batch job 776083 -Submitted batch job 776084 -Submitted batch job 776085 -Submitted batch job 776086 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/afw__h-27__n-1/afw__h-27__n-1.beval - Done afw__h-27__n-1 - - --------------------------- - Starting benchmarks for afw__h-28__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_afw__h-28__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/afw__h-28__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776087 -Submitted batch job 776088 -Submitted batch job 776089 -Submitted batch job 776090 -Submitted batch job 776091 -Submitted batch job 776092 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/afw__h-28__n-1/afw__h-28__n-1.beval - Done afw__h-28__n-1 - - --------------------------- - Starting benchmarks for afw__h-29__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_afw__h-29__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/afw__h-29__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776093 -Submitted batch job 776094 -Submitted batch job 776095 -Submitted batch job 776096 -Submitted batch job 776097 -Submitted batch job 776098 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/afw__h-29__n-1/afw__h-29__n-1.beval - Done afw__h-29__n-1 - - --------------------------- - Starting benchmarks for afw__h-30__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_afw__h-30__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/afw__h-30__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776099 -Submitted batch job 776100 -Submitted batch job 776101 -Submitted batch job 776102 -Submitted batch job 776103 -Submitted batch job 776104 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/afw__h-30__n-1/afw__h-30__n-1.beval - Done afw__h-30__n-1 - - --------------------------- - Starting benchmarks for telingo__h-24__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_telingo__h-24__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/telingo__h-24__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776105 -Submitted batch job 776106 -Submitted batch job 776107 -Submitted batch job 776108 -Submitted batch job 776109 -Submitted batch job 776110 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/telingo__h-24__n-1/telingo__h-24__n-1.beval - Done telingo__h-24__n-1 - - --------------------------- - Starting benchmarks for telingo__h-25__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_telingo__h-25__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/telingo__h-25__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776111 -Submitted batch job 776112 -Submitted batch job 776113 -Submitted batch job 776114 -Submitted batch job 776115 -Submitted batch job 776116 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/telingo__h-25__n-1/telingo__h-25__n-1.beval - Done telingo__h-25__n-1 - - --------------------------- - Starting benchmarks for telingo__h-26__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_telingo__h-26__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/telingo__h-26__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776117 -Submitted batch job 776118 -Submitted batch job 776119 -Submitted batch job 776120 -Submitted batch job 776121 -Submitted batch job 776122 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/telingo__h-26__n-1/telingo__h-26__n-1.beval - Done telingo__h-26__n-1 - - --------------------------- - Starting benchmarks for telingo__h-27__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_telingo__h-27__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/telingo__h-27__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776123 -Submitted batch job 776124 -Submitted batch job 776125 -Submitted batch job 776126 -Submitted batch job 776127 -Submitted batch job 776128 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/telingo__h-27__n-1/telingo__h-27__n-1.beval - Done telingo__h-27__n-1 - - --------------------------- - Starting benchmarks for telingo__h-28__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_telingo__h-28__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/telingo__h-28__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776129 -Submitted batch job 776130 -Submitted batch job 776131 -Submitted batch job 776132 -Submitted batch job 776133 -Submitted batch job 776134 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/telingo__h-28__n-1/telingo__h-28__n-1.beval - Done telingo__h-28__n-1 - - --------------------------- - Starting benchmarks for telingo__h-29__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_telingo__h-29__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/telingo__h-29__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776135 -Submitted batch job 776136 -Submitted batch job 776137 -Submitted batch job 776138 -Submitted batch job 776139 -Submitted batch job 776140 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/telingo__h-29__n-1/telingo__h-29__n-1.beval - Done telingo__h-29__n-1 - - --------------------------- - Starting benchmarks for telingo__h-30__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_telingo__h-30__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/telingo__h-30__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776141 -Submitted batch job 776142 -Submitted batch job 776143 -Submitted batch job 776144 -Submitted batch job 776145 -Submitted batch job 776146 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/telingo__h-30__n-1/telingo__h-30__n-1.beval - Done telingo__h-30__n-1 - - --------------------------- - Starting benchmarks for dfa-mso__h-24__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-mso__h-24__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-mso__h-24__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776147 -Submitted batch job 776148 -Submitted batch job 776149 -Submitted batch job 776150 -Submitted batch job 776151 -Submitted batch job 776152 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Found error inside output of runsolver -output/asprilo-abc/dfa-mso__h-24__n-1/temporal-automata/komputer/results/asprilo-abc-benchmark/general_compute-1-d3/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp/run1/runsolver.solver --q -( cd ../../../../../../../../../../../ ; cd ../../ ; make translate-run DOM=asprilo-abc APP=dfa-mso INSTANCE=benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp CONSTRAINT=d3 HORIZON=24 MODELS=1 RUN_FILES='-q ' FORCE_TRANSLATE=0) -Making translation since file is missing -make[1]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -Translating APP=dfa-mso DOM=asprilo-abc CONSTRAINT=d3INSTANCE=x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001 HORIZON=24  -make[2]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -python ./scripts/translater.py --input=ldlf --app=dfa-mso --out-file=./outputs/asprilo-abc/dfa-mso/d3/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001/dfa-mso_automata.lp --in-files='./dom/asprilo-abc/temporal_constraints/d3.lp dom/asprilo/asprilo-abstraction-encodings/asprilo-encodings/input.lp benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp' -Error in mona: -BDD too large (>16777216 nodes) -Traceback (most recent call last): - File "./scripts/translater.py", line 49, in - automaton = f.dfa(translation=args.app.split('-')[1],n_old_states=n_old_states, state_prefix=f"a{i}_", id2prop=id2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/ldlf.py", line 254, in dfa - return NFA.from_mona(mona_dfa, n_old_states=n_old_states, state_prefix=state_prefix, id2prop=id2prop, mona2prop=mona2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/automata.py", line 252, in from_mona - raise TimeoutError(mona) -TimeoutError: BDD too large (>16777216 nodes) -makefile:209: recipe for target 'translate-dfa-mso' failed -make[2]: *** [translate-dfa-mso] Error 1 -make[2]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:98: recipe for target 'translate' failed -make[1]: *** [translate] Error 2 -make[1]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:129: recipe for target 'translate-run' failed -make: *** [translate-run] Error 2 - - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-mso__h-24__n-1/dfa-mso__h-24__n-1.beval - Done dfa-mso__h-24__n-1 - - --------------------------- - Starting benchmarks for dfa-mso__h-25__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-mso__h-25__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-mso__h-25__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776153 -Submitted batch job 776154 -Submitted batch job 776155 -Submitted batch job 776156 -Submitted batch job 776157 -Submitted batch job 776158 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Found error inside output of runsolver -output/asprilo-abc/dfa-mso__h-25__n-1/temporal-automata/komputer/results/asprilo-abc-benchmark/general_compute-1-d3/robots/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001.lp/run1/runsolver.solver --q -( cd ../../../../../../../../../../../ ; cd ../../ ; make translate-run DOM=asprilo-abc APP=dfa-mso INSTANCE=benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001.lp CONSTRAINT=d3 HORIZON=25 MODELS=1 RUN_FILES='-q ' FORCE_TRANSLATE=0) -Making translation since file is missing -make[1]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -Translating APP=dfa-mso DOM=asprilo-abc CONSTRAINT=d3INSTANCE=x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001 HORIZON=25  -make[2]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -python ./scripts/translater.py --input=ldlf --app=dfa-mso --out-file=./outputs/asprilo-abc/dfa-mso/d3/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001/dfa-mso_automata.lp --in-files='./dom/asprilo-abc/temporal_constraints/d3.lp dom/asprilo/asprilo-abstraction-encodings/asprilo-encodings/input.lp benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001.lp' -Error in mona: -BDD too large (>16777216 nodes) -Traceback (most recent call last): - File "./scripts/translater.py", line 49, in - automaton = f.dfa(translation=args.app.split('-')[1],n_old_states=n_old_states, state_prefix=f"a{i}_", id2prop=id2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/ldlf.py", line 254, in dfa - return NFA.from_mona(mona_dfa, n_old_states=n_old_states, state_prefix=state_prefix, id2prop=id2prop, mona2prop=mona2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/automata.py", line 252, in from_mona - raise TimeoutError(mona) -TimeoutError: BDD too large (>16777216 nodes) -makefile:209: recipe for target 'translate-dfa-mso' failed -make[2]: *** [translate-dfa-mso] Error 1 -make[2]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:98: recipe for target 'translate' failed -make[1]: *** [translate] Error 2 -make[1]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:129: recipe for target 'translate-run' failed -make: *** [translate-run] Error 2 - - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-mso__h-25__n-1/dfa-mso__h-25__n-1.beval - Done dfa-mso__h-25__n-1 - - --------------------------- - Starting benchmarks for dfa-mso__h-26__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-mso__h-26__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-mso__h-26__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776159 -Submitted batch job 776160 -Submitted batch job 776161 -Submitted batch job 776162 -Submitted batch job 776163 -Submitted batch job 776164 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Found error inside output of runsolver -output/asprilo-abc/dfa-mso__h-26__n-1/temporal-automata/komputer/results/asprilo-abc-benchmark/general_compute-1-d3/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp/run1/runsolver.solver --q -( cd ../../../../../../../../../../../ ; cd ../../ ; make translate-run DOM=asprilo-abc APP=dfa-mso INSTANCE=benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp CONSTRAINT=d3 HORIZON=26 MODELS=1 RUN_FILES='-q ' FORCE_TRANSLATE=0) -Making translation since file is missing -make[1]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -Translating APP=dfa-mso DOM=asprilo-abc CONSTRAINT=d3INSTANCE=x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001 HORIZON=26  -make[2]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -python ./scripts/translater.py --input=ldlf --app=dfa-mso --out-file=./outputs/asprilo-abc/dfa-mso/d3/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001/dfa-mso_automata.lp --in-files='./dom/asprilo-abc/temporal_constraints/d3.lp dom/asprilo/asprilo-abstraction-encodings/asprilo-encodings/input.lp benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp' -Error in mona: -BDD too large (>16777216 nodes) -Traceback (most recent call last): - File "./scripts/translater.py", line 49, in - automaton = f.dfa(translation=args.app.split('-')[1],n_old_states=n_old_states, state_prefix=f"a{i}_", id2prop=id2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/ldlf.py", line 254, in dfa - return NFA.from_mona(mona_dfa, n_old_states=n_old_states, state_prefix=state_prefix, id2prop=id2prop, mona2prop=mona2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/automata.py", line 252, in from_mona - raise TimeoutError(mona) -TimeoutError: BDD too large (>16777216 nodes) -makefile:209: recipe for target 'translate-dfa-mso' failed -make[2]: *** [translate-dfa-mso] Error 1 -make[2]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:98: recipe for target 'translate' failed -make[1]: *** [translate] Error 2 -make[1]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:129: recipe for target 'translate-run' failed -make: *** [translate-run] Error 2 - - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-mso__h-26__n-1/dfa-mso__h-26__n-1.beval - Done dfa-mso__h-26__n-1 - - --------------------------- - Starting benchmarks for dfa-mso__h-27__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-mso__h-27__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-mso__h-27__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776165 -Submitted batch job 776166 -Submitted batch job 776167 -Submitted batch job 776168 -Submitted batch job 776169 -Submitted batch job 776170 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Found error inside output of runsolver -output/asprilo-abc/dfa-mso__h-27__n-1/temporal-automata/komputer/results/asprilo-abc-benchmark/general_compute-1-d3/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp/run1/runsolver.solver --q -( cd ../../../../../../../../../../../ ; cd ../../ ; make translate-run DOM=asprilo-abc APP=dfa-mso INSTANCE=benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp CONSTRAINT=d3 HORIZON=27 MODELS=1 RUN_FILES='-q ' FORCE_TRANSLATE=0) -Making translation since file is missing -make[1]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -Translating APP=dfa-mso DOM=asprilo-abc CONSTRAINT=d3INSTANCE=x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001 HORIZON=27  -make[2]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -python ./scripts/translater.py --input=ldlf --app=dfa-mso --out-file=./outputs/asprilo-abc/dfa-mso/d3/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001/dfa-mso_automata.lp --in-files='./dom/asprilo-abc/temporal_constraints/d3.lp dom/asprilo/asprilo-abstraction-encodings/asprilo-encodings/input.lp benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp' -Error in mona: -BDD too large (>16777216 nodes) -Traceback (most recent call last): - File "./scripts/translater.py", line 49, in - automaton = f.dfa(translation=args.app.split('-')[1],n_old_states=n_old_states, state_prefix=f"a{i}_", id2prop=id2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/ldlf.py", line 254, in dfa - return NFA.from_mona(mona_dfa, n_old_states=n_old_states, state_prefix=state_prefix, id2prop=id2prop, mona2prop=mona2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/automata.py", line 252, in from_mona - raise TimeoutError(mona) -TimeoutError: BDD too large (>16777216 nodes) -makefile:209: recipe for target 'translate-dfa-mso' failed -make[2]: *** [translate-dfa-mso] Error 1 -make[2]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:98: recipe for target 'translate' failed -make[1]: *** [translate] Error 2 -make[1]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:129: recipe for target 'translate-run' failed -make: *** [translate-run] Error 2 - - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-mso__h-27__n-1/dfa-mso__h-27__n-1.beval - Done dfa-mso__h-27__n-1 - - --------------------------- - Starting benchmarks for dfa-mso__h-28__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-mso__h-28__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-mso__h-28__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776171 -Submitted batch job 776172 -Submitted batch job 776173 -Submitted batch job 776174 -Submitted batch job 776175 -Submitted batch job 776176 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Found error inside output of runsolver -output/asprilo-abc/dfa-mso__h-28__n-1/temporal-automata/komputer/results/asprilo-abc-benchmark/general_compute-1-d3/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp/run1/runsolver.solver --q -( cd ../../../../../../../../../../../ ; cd ../../ ; make translate-run DOM=asprilo-abc APP=dfa-mso INSTANCE=benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp CONSTRAINT=d3 HORIZON=28 MODELS=1 RUN_FILES='-q ' FORCE_TRANSLATE=0) -Making translation since file is missing -make[1]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -Translating APP=dfa-mso DOM=asprilo-abc CONSTRAINT=d3INSTANCE=x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001 HORIZON=28  -make[2]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -python ./scripts/translater.py --input=ldlf --app=dfa-mso --out-file=./outputs/asprilo-abc/dfa-mso/d3/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001/dfa-mso_automata.lp --in-files='./dom/asprilo-abc/temporal_constraints/d3.lp dom/asprilo/asprilo-abstraction-encodings/asprilo-encodings/input.lp benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp' -Error in mona: -BDD too large (>16777216 nodes) -Traceback (most recent call last): - File "./scripts/translater.py", line 49, in - automaton = f.dfa(translation=args.app.split('-')[1],n_old_states=n_old_states, state_prefix=f"a{i}_", id2prop=id2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/ldlf.py", line 254, in dfa - return NFA.from_mona(mona_dfa, n_old_states=n_old_states, state_prefix=state_prefix, id2prop=id2prop, mona2prop=mona2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/automata.py", line 252, in from_mona - raise TimeoutError(mona) -TimeoutError: BDD too large (>16777216 nodes) -makefile:209: recipe for target 'translate-dfa-mso' failed -make[2]: *** [translate-dfa-mso] Error 1 -make[2]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:98: recipe for target 'translate' failed -make[1]: *** [translate] Error 2 -make[1]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:129: recipe for target 'translate-run' failed -make: *** [translate-run] Error 2 - - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-mso__h-28__n-1/dfa-mso__h-28__n-1.beval - Done dfa-mso__h-28__n-1 - - --------------------------- - Starting benchmarks for dfa-mso__h-29__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-mso__h-29__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-mso__h-29__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776177 -Submitted batch job 776178 -Submitted batch job 776179 -Submitted batch job 776180 -Submitted batch job 776181 -Submitted batch job 776182 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Found error inside output of runsolver -output/asprilo-abc/dfa-mso__h-29__n-1/temporal-automata/komputer/results/asprilo-abc-benchmark/general_compute-1-d3/robots/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001.lp/run1/runsolver.solver --q -( cd ../../../../../../../../../../../ ; cd ../../ ; make translate-run DOM=asprilo-abc APP=dfa-mso INSTANCE=benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001.lp CONSTRAINT=d3 HORIZON=29 MODELS=1 RUN_FILES='-q ' FORCE_TRANSLATE=0) -Making translation since file is missing -make[1]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -Translating APP=dfa-mso DOM=asprilo-abc CONSTRAINT=d3INSTANCE=x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001 HORIZON=29  -make[2]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -python ./scripts/translater.py --input=ldlf --app=dfa-mso --out-file=./outputs/asprilo-abc/dfa-mso/d3/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001/dfa-mso_automata.lp --in-files='./dom/asprilo-abc/temporal_constraints/d3.lp dom/asprilo/asprilo-abstraction-encodings/asprilo-encodings/input.lp benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001.lp' -Error in mona: -BDD too large (>16777216 nodes) -Traceback (most recent call last): - File "./scripts/translater.py", line 49, in - automaton = f.dfa(translation=args.app.split('-')[1],n_old_states=n_old_states, state_prefix=f"a{i}_", id2prop=id2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/ldlf.py", line 254, in dfa - return NFA.from_mona(mona_dfa, n_old_states=n_old_states, state_prefix=state_prefix, id2prop=id2prop, mona2prop=mona2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/automata.py", line 252, in from_mona - raise TimeoutError(mona) -TimeoutError: BDD too large (>16777216 nodes) -makefile:209: recipe for target 'translate-dfa-mso' failed -make[2]: *** [translate-dfa-mso] Error 1 -make[2]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:98: recipe for target 'translate' failed -make[1]: *** [translate] Error 2 -make[1]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:129: recipe for target 'translate-run' failed -make: *** [translate-run] Error 2 - - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-mso__h-29__n-1/dfa-mso__h-29__n-1.beval - Done dfa-mso__h-29__n-1 - - --------------------------- - Starting benchmarks for dfa-mso__h-30__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-mso__h-30__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-mso__h-30__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776183 -Submitted batch job 776184 -Submitted batch job 776185 -Submitted batch job 776186 -Submitted batch job 776187 -Submitted batch job 776188 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Found error inside output of runsolver -output/asprilo-abc/dfa-mso__h-30__n-1/temporal-automata/komputer/results/asprilo-abc-benchmark/general_compute-1-d3/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp/run1/runsolver.solver --q -( cd ../../../../../../../../../../../ ; cd ../../ ; make translate-run DOM=asprilo-abc APP=dfa-mso INSTANCE=benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp CONSTRAINT=d3 HORIZON=30 MODELS=1 RUN_FILES='-q ' FORCE_TRANSLATE=0) -Making translation since file is missing -make[1]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -Translating APP=dfa-mso DOM=asprilo-abc CONSTRAINT=d3INSTANCE=x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001 HORIZON=30  -make[2]: Entering directory '/home/hahnmartinlu/temporal-automata/atlingo' -python ./scripts/translater.py --input=ldlf --app=dfa-mso --out-file=./outputs/asprilo-abc/dfa-mso/d3/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001/dfa-mso_automata.lp --in-files='./dom/asprilo-abc/temporal_constraints/d3.lp dom/asprilo/asprilo-abstraction-encodings/asprilo-encodings/input.lp benchmarks/benchmark-tool/../instances/asprilo/abc/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp' -Error in mona: -BDD too large (>16777216 nodes) -Traceback (most recent call last): - File "./scripts/translater.py", line 49, in - automaton = f.dfa(translation=args.app.split('-')[1],n_old_states=n_old_states, state_prefix=f"a{i}_", id2prop=id2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/ldlf.py", line 254, in dfa - return NFA.from_mona(mona_dfa, n_old_states=n_old_states, state_prefix=state_prefix, id2prop=id2prop, mona2prop=mona2prop) - File "/home/hahnmartinlu/temporal-automata/atlingo/pystructures/automata.py", line 252, in from_mona - raise TimeoutError(mona) -TimeoutError: BDD too large (>16777216 nodes) -makefile:209: recipe for target 'translate-dfa-mso' failed -make[2]: *** [translate-dfa-mso] Error 1 -make[2]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:98: recipe for target 'translate' failed -make[1]: *** [translate] Error 2 -make[1]: Leaving directory '/home/hahnmartinlu/temporal-automata/atlingo' -makefile:129: recipe for target 'translate-run' failed -make: *** [translate-run] Error 2 - - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-mso__h-30__n-1/dfa-mso__h-30__n-1.beval - Done dfa-mso__h-30__n-1 - - --------------------------- - Starting benchmarks for dfa-stm__h-24__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-stm__h-24__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-stm__h-24__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776189 -Submitted batch job 776190 -Submitted batch job 776191 -Submitted batch job 776192 -Submitted batch job 776193 -Submitted batch job 776194 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-stm__h-24__n-1/dfa-stm__h-24__n-1.beval - Done dfa-stm__h-24__n-1 - - --------------------------- - Starting benchmarks for dfa-stm__h-25__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-stm__h-25__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-stm__h-25__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776195 -Submitted batch job 776196 -Submitted batch job 776197 -Submitted batch job 776198 -Submitted batch job 776199 -Submitted batch job 776200 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-stm__h-25__n-1/dfa-stm__h-25__n-1.beval - Done dfa-stm__h-25__n-1 - - --------------------------- - Starting benchmarks for dfa-stm__h-26__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-stm__h-26__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-stm__h-26__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776201 -Submitted batch job 776202 -Submitted batch job 776203 -Submitted batch job 776204 -Submitted batch job 776205 -Submitted batch job 776206 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-stm__h-26__n-1/dfa-stm__h-26__n-1.beval - Done dfa-stm__h-26__n-1 - - --------------------------- - Starting benchmarks for dfa-stm__h-27__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-stm__h-27__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-stm__h-27__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776207 -Submitted batch job 776208 -Submitted batch job 776209 -Submitted batch job 776210 -Submitted batch job 776211 -Submitted batch job 776212 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-stm__h-27__n-1/dfa-stm__h-27__n-1.beval - Done dfa-stm__h-27__n-1 - - --------------------------- - Starting benchmarks for dfa-stm__h-28__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-stm__h-28__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-stm__h-28__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776213 -Submitted batch job 776214 -Submitted batch job 776215 -Submitted batch job 776216 -Submitted batch job 776217 -Submitted batch job 776218 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-stm__h-28__n-1/dfa-stm__h-28__n-1.beval - Done dfa-stm__h-28__n-1 - - --------------------------- - Starting benchmarks for dfa-stm__h-29__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-stm__h-29__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-stm__h-29__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776219 -Submitted batch job 776220 -Submitted batch job 776221 -Submitted batch job 776222 -Submitted batch job 776223 -Submitted batch job 776224 - Waiting for all slurm process to finish... - Slurm queue is now empty  - TIMEOUT: ./output/asprilo-abc/dfa-stm__h-29__n-1/temporal-automata/komputer/results/asprilo-abc-benchmark/general_compute-1-d3/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp/run1/runsolver.solver - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-stm__h-29__n-1/dfa-stm__h-29__n-1.beval - Done dfa-stm__h-29__n-1 - - --------------------------- - Starting benchmarks for dfa-stm__h-30__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_dfa-stm__h-30__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/dfa-stm__h-30__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776225 -Submitted batch job 776226 -Submitted batch job 776227 -Submitted batch job 776228 -Submitted batch job 776229 -Submitted batch job 776230 - Waiting for all slurm process to finish... - Slurm queue is now empty  - TIMEOUT: ./output/asprilo-abc/dfa-stm__h-30__n-1/temporal-automata/komputer/results/asprilo-abc-benchmark/general_compute-1-d3/robots/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001.lp/run1/runsolver.solver - TIMEOUT: ./output/asprilo-abc/dfa-stm__h-30__n-1/temporal-automata/komputer/results/asprilo-abc-benchmark/general_compute-1-d3/robots/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001.lp/run1/runsolver.solver - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/dfa-stm__h-30__n-1/dfa-stm__h-30__n-1.beval - Done dfa-stm__h-30__n-1 - - --------------------------- - Starting benchmarks for nc__h-24__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_nc__h-24__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/nc__h-24__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776231 -Submitted batch job 776232 -Submitted batch job 776233 -Submitted batch job 776234 -Submitted batch job 776235 -Submitted batch job 776236 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/nc__h-24__n-1/nc__h-24__n-1.beval - Done nc__h-24__n-1 - - --------------------------- - Starting benchmarks for nc__h-25__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_nc__h-25__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/nc__h-25__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776237 -Submitted batch job 776238 -Submitted batch job 776239 -Submitted batch job 776240 -Submitted batch job 776241 -Submitted batch job 776242 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/nc__h-25__n-1/nc__h-25__n-1.beval - Done nc__h-25__n-1 - - --------------------------- - Starting benchmarks for nc__h-26__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_nc__h-26__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/nc__h-26__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776243 -Submitted batch job 776244 -Submitted batch job 776245 -Submitted batch job 776246 -Submitted batch job 776247 -Submitted batch job 776248 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/nc__h-26__n-1/nc__h-26__n-1.beval - Done nc__h-26__n-1 - - --------------------------- - Starting benchmarks for nc__h-27__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_nc__h-27__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/nc__h-27__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776249 -Submitted batch job 776250 -Submitted batch job 776251 -Submitted batch job 776252 -Submitted batch job 776253 -Submitted batch job 776254 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/nc__h-27__n-1/nc__h-27__n-1.beval - Done nc__h-27__n-1 - - --------------------------- - Starting benchmarks for nc__h-28__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_nc__h-28__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/nc__h-28__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776255 -Submitted batch job 776256 -Submitted batch job 776257 -Submitted batch job 776258 -Submitted batch job 776259 -Submitted batch job 776260 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/nc__h-28__n-1/nc__h-28__n-1.beval - Done nc__h-28__n-1 - - --------------------------- - Starting benchmarks for nc__h-29__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_nc__h-29__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/nc__h-29__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776261 -Submitted batch job 776262 -Submitted batch job 776263 -Submitted batch job 776264 -Submitted batch job 776265 -Submitted batch job 776266 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/nc__h-29__n-1/nc__h-29__n-1.beval - Done nc__h-29__n-1 - - --------------------------- - Starting benchmarks for nc__h-30__n-1 - --------------------------- - Creating runscript in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/runscripts/runscript_asprilo-abc_nc__h-30__n-1.xml  - Removing old result directory  - Moving to benchmarks-tool directory - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool  - Calling ./bgen - Running sh start file - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/benchmark-tool/output/asprilo-abc/nc__h-30__n-1/temporal-automata/komputer/start.sh  -Submitted batch job 776267 -Submitted batch job 776268 -Submitted batch job 776269 -Submitted batch job 776270 -Submitted batch job 776271 -Submitted batch job 776272 - Waiting for all slurm process to finish... - Slurm queue is now empty  - beval... - Evaluation results saved in - /home/hahnmartinlu/temporal-automata/atlingo/benchmarks/results/asprilo-abc/nc__h-30__n-1/nc__h-30__n-1.beval - Done nc__h-30__n-1 -No automata file for ../outputs/asprilo-abc/dfa-mso/d3/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001 -No automata file for ../outputs/asprilo-abc/dfa-mso/d3/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001 -No automata file for ../outputs/asprilo-abc/nc/d2/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001 -No automata file for ../outputs/asprilo-abc/nc/d2/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001 -No automata file for ../outputs/asprilo-abc/nc/d1/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001 -No automata file for ../outputs/asprilo-abc/nc/d1/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001 -No automata file for ../outputs/asprilo-abc/nc/d3/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001 -No automata file for ../outputs/asprilo-abc/nc/d3/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001 -Saved results/tables/asprilo-abc/d1/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001/size.csv -Saved results/tables/asprilo-abc/d1/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001/size.tex -Saved results/tables/asprilo-abc/d1/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001/size.csv -Saved results/tables/asprilo-abc/d1/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001/size.tex -Saved results/tables/asprilo-abc/d3/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001/size.csv -Saved results/tables/asprilo-abc/d3/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001/size.tex -Saved results/tables/asprilo-abc/d3/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001/size.csv -Saved results/tables/asprilo-abc/d3/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001/size.tex -Saved results/tables/asprilo-abc/d2/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001/size.csv -Saved results/tables/asprilo-abc/d2/x7_y7_n49_r3_s6_ps3_pr6_u6_o6_l6_N001/size.tex -Saved results/tables/asprilo-abc/d2/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001/size.csv -Saved results/tables/asprilo-abc/d2/x7_y7_n49_r2_s4_ps2_pr4_u4_o4_l4_N001/size.tex --------------------- -Summary --------------------- -Successful: - all-afw__h-13__n-0 - all-dfa-mso__h-13__n-0 - all-dfa-mso__h-12__n-0 - all-dfa-stm__h-14__n-0 - all-telingo__h-13__n-0 - all-dfa-stm__h-12__n-0 - all-telingo__h-14__n-0 - all-telingo__h-12__n-0 - all-nc__h-12__n-0 - all-afw__h-14__n-0 - all-nc__h-13__n-0 - all-dfa-mso__h-14__n-0 - all-dfa-stm__h-13__n-0 - all-nc__h-14__n-0 - all-afw__h-12__n-0 -Error: - dfa-mso__h-28__n-1 - dfa-mso__h-24__n-1 - dfa-mso__h-25__n-1 - dfa-mso__h-30__n-1 - dfa-mso__h-26__n-1 - dfa-mso__h-29__n-1 - dfa-mso__h-27__n-1 diff --git a/benchmarks/programs/general_compute-1 b/benchmarks/programs/general_compute-1 index 878c1d8..e0ebdd0 100755 --- a/benchmarks/programs/general_compute-1 +++ b/benchmarks/programs/general_compute-1 @@ -22,7 +22,7 @@ INSTANCE=${PATH_FROM_ATLINGO_TO_ROOT}${INSTANCE} CONSTRAINT_NAME=$(basename "$CONSTRAINT") ARGS="-q "$CLINGO_ARGS echo $ARGS -echo "( cd $ROOT ; cd $PATH_FROM_ROOT_TO_ATLINGO ; make translate-run DOM=$DOM APP=$APP INSTANCE=$INSTANCE CONSTRAINT=$CONSTRAINT_NAME HORIZON=$HORIZON MODELS=$MODELS RUN_FILES=' --stats $ARGS ' FORCE_TRANSLATE=0)" +echo "( cd $ROOT ; cd $PATH_FROM_ROOT_TO_ATLINGO ; make translate-run DOM=$DOM APP=$APP INSTANCE=$INSTANCE CONSTRAINT=$CONSTRAINT_NAME HORIZON=$HORIZON MODELS=$MODELS RUN_FILES=' --warn=none --stats $ARGS ' FORCE_TRANSLATE=0)" ( cd $ROOT ; cd $PATH_FROM_ROOT_TO_ATLINGO ; make translate-run DOM=$DOM APP=$APP INSTANCE=$INSTANCE CONSTRAINT=$CONSTRAINT_NAME HORIZON=$HORIZON MODELS=$MODELS RUN_FILES="$ARGS " FORCE_TRANSLATE=0) diff --git a/benchmarks/run_bm.sh b/benchmarks/run_bm.sh index c495c59..f99410e 100755 --- a/benchmarks/run_bm.sh +++ b/benchmarks/run_bm.sh @@ -9,6 +9,17 @@ NC=`tput sgr0` set -e export PATH="$HOME/temporal-automata/stage_asp_gitlab/tools/MONA/Front:$PATH" +############## Users parameters +# set mode: sequential=py or cluster=cl +mode=py + +ATLINGO_PATH=$HOME/temporal-automata +#ATLINGO_PATH=$HOME/Education/Phd/potassco + +# if mode==cl, set username to your login in the cluster +USERNAME="hahnmar" + +############## Commandline parameters DOM=$1 APPROACH=$2 HORIZON=$3 @@ -22,21 +33,10 @@ CLINGO_ARGS=$6 NAME=${PREFIX}${APPROACH}__h-${HORIZON}__n-${MODELS} MACHINE=komputer # Value in - + diff --git a/benchmarks/runscripts/runscript_elevator.xml b/benchmarks/runscripts/runscript_cl_elevator.xml similarity index 93% rename from benchmarks/runscripts/runscript_elevator.xml rename to benchmarks/runscripts/runscript_cl_elevator.xml index 19c19e8..b252d0d 100755 --- a/benchmarks/runscripts/runscript_elevator.xml +++ b/benchmarks/runscripts/runscript_cl_elevator.xml @@ -16,7 +16,7 @@ - + diff --git a/benchmarks/runscripts/runscript_hanoi.xml b/benchmarks/runscripts/runscript_cl_hanoi.xml similarity index 93% rename from benchmarks/runscripts/runscript_hanoi.xml rename to benchmarks/runscripts/runscript_cl_hanoi.xml index d0098c8..3c42831 100755 --- a/benchmarks/runscripts/runscript_hanoi.xml +++ b/benchmarks/runscripts/runscript_cl_hanoi.xml @@ -17,7 +17,7 @@ - +