Commit 32c11c17 authored by Maximilien Colange's avatar Maximilien Colange

A script to launch lots of benchmarks.

parent 4db88c0b
#!/bin/bash
TIAMO="../tiamo reach"
# list of files (with the -cora option when needed)
FILES=("./fischer.xml" "-cora ./vrptw.xml" "-cora ./als.xml" "-cora ./ets.xml")
# list of options
OPTIONS=("-incl sri")
ORDER=("-order BFS" "-order DFS")
# the antichain selector
ANTICHAINS=("-ac naive" "-ac lazy")
id=0
for f in "${FILES[@]}"; do
for opt in "${OPTIONS[@]}"; do
for ord in "${ORDER[@]}"; do
for a in "${ANTICHAINS[@]}"; do
LOG=bench_$id.log
id=$(($id+1))
CL="$TIAMO $opt $ord $a $f"
echo "$CL" > $LOG
echo "[$(date +"%H:%M:%S")] $CL"
(time (timeout 2000 $CL) 2>&1) 2>&1 >> $LOG
done;
done;
done;
done;
TIAMO="../tiamo optimal"
OPTIONS=("-incl exp")
ORDER=("-order BFS" "-order DFS" "-order BBFS -best cost" "-order BDFS -best cost")
skip=1
for f in "${FILES[@]}"; do
for opt in "${OPTIONS[@]}"; do
for ord in "${ORDER[@]}"; do
for a in "${ANTICHAINS[@]}"; do
LOG=bench_$id.log
id=$(($id+1))
if [ "$skip" -lt "0" ]; then
skip=$(($skip+1))
continue
fi
CL="$TIAMO $opt $ord $a $f"
echo "$CL" > $LOG
echo "[$(date +"%H:%M:%S")] $CL"
(time (timeout 2000 $CL) 2>&1) 2>&1 >> $LOG
done;
done;
done;
done;
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment