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_reduction_experiment.sh
#!/usr/bin/zsh
for MODE in all domination no-necessary no-domination simple none; do
#for MODE in no-domination simple none; do
time ./experiment -z -s forts --early-stop -b 2 -u -r $MODE -n 5 --timeout=5400 -o results/all-zi/red_${MODE}.csv -w results/all-zi/sol $(cat cases.txt)
    date
    time ./experiment -s forts --early-stop -b 2 -u -r $MODE -n 5 --timeout=5400 -o results/normal/red_${MODE}.csv -w results/normal/sol $(cat cases.txt)
    date
done
back to top