Skip to main content
Revision 0fb04b649d8638b89b63ec60d63f6327b9b487e5 authored by Max Göttlicher on 16 August 2023, 15:13:47 UTC, committed by Max Göttlicher on 16 August 2023, 15:16:03 UTC
added original output and scripts
1 parent f7f376c
Raw File Download
run_solver_experiment.sh
#!/usr/bin/zsh
TIMEOUT=7200
NRUN=5
mkdir -p results/solver/{ours,bozeman-smith,jovanovic}{,-r}{,-z}/sol
for OTHER_ARGS in '' '-z'; do
    echo $OTHER_ARGS
    time ./experiment -s forts -u -r --early-stop -n $NRUN $OTHER_ARGS --timeout=$TIMEOUT -o "results/solver/ours-r$OTHER_ARGS.csv" --fort-stats results/solver/ours-r$OTHER_ARGS-fort.csv -w results/solver/ours-r$OTHER_ARGS/sol $(cat cases.txt)
    date
    time ./experiment -s forts -u --early-stop -n $NRUN $OTHER_ARGS --timeout=$TIMEOUT -o "results/solver/ours$OTHER_ARGS.csv" --fort-stats results/solver/ours$OTHER_ARGS-fort.csv -w results/solver/ours$OTHER_ARGS/sol $(cat cases.txt)
    date
    time ./experiment -s bozeman2 --fort-init=3 -u -r -n $NRUN $OTHER_ARGS --timeout=$TIMEOUT -o "results/solver/bozeman-smith-r$OTHER_ARGS.csv" --fort-stats results/solver/bozeman-smith-r$OTHER_ARGS-fort.csv -w results/solver/bozeman-smith-r$OTHER_ARGS/sol $(cat cases.txt)
    date
    time ./experiment -s bozeman2 --fort-init=3 -u -n $NRUN $OTHER_ARGS --timeout=$TIMEOUT -o "results/solver/bozeman-smith$OTHER_ARGS.csv" --fort-stats results/solver/bozeman-smith$OTHER_ARGS-fort.csv -w results/solver/bozeman-smith$OTHER_ARGS/sol $(cat cases.txt)
    date
    time ./experiment -s gurobi -u -r -n $NRUN $OTHER_ARGS --timeout=$TIMEOUT -o "results/solver/jovanovic-r$OTHER_ARGS.csv" --fort-stats results/solver/jovanovic-r$OTHER_ARGS-fort.csv -w results/solver/jovanovic-r$OTHER_ARGS/sol $(cat cases.txt)
    date
    time ./experiment -s gurobi -u -n $NRUN $OTHER_ARGS --timeout=$TIMEOUT -o "results/solver/jovanovic$OTHER_ARGS.csv" --fort-stats results/solver/jovanovic$OTHER_ARGS-fort.csv -w results/solver/jovanovic$OTHER_ARGS/sol $(cat cases.txt)
    date
done
back to top