--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/stats/run.sh Sun Oct 04 16:30:24 2026 -0500 @@ -0,0 +1,35 @@ +#!/bin/sh + +iters=5000 + +set -e + +for f in "$@"; do + if ! test -f "$f"; then + echo "$f does not exist" + exit 1 + fi +done + +i=1 +n=$# +for f in "$@"; do + a=$(basename "$f" .py) + #prefix="results_$(hg id -i)_$(hg --repo=../pointsource_algs id -i)_$(hg --repo=../measures id -i)" + prefix="results" + printf '\033]2;%s\033\\' "${prefix}_$a" + tmp=$(mktemp) + sed "s/laser_and_mirrors/laser_and_mirrors2/; s/mirrors2_aux/mirrors_aux2/;" "$f" > "$tmp" + if echo "$a" | grep do_non_sliding=False > /dev/null; then + nice cargo run --release -- -o "${prefix}_$a" -a radon_sliding_fb --max-iter $iters "$f" "$tmp" + else + nice cargo run --release -- -o "${prefix}_$a" -a radon_sliding_fb -a radon_fb --max-iter $iters "$f" "$tmp" + fi + #echo "Results in ${prefix}_$a" + i=$(expr $i + 1) +done + +for f in "$@"; do + a=$(basename "$f" .py) + echo "Results in ${prefix}_$a" +done