Files
reactics/scripts/run_scalable_chain_rsLTL_FI.sh
2017-03-16 20:57:42 +01:00

35 lines
425 B
Bash
Executable File

#!/bin/sh
# sudo systemsetup -getcomputersleep
sudo systemsetup -setcomputersleep Never
# sudo systemsetup -setcomputersleep 1
formula=1
for i in `seq 2 50`
do
echo $i
./rssmt.py $i 2 $formula
done
formula=2
for i in `seq 2 50`
do
echo $i
./rssmt.py $i 2 $formula
done
formula=3
for i in `seq 2 50`
do
echo $i
./rssmt.py $i 2 $formula
done
formula=4
for i in `seq 2 50`
do
echo $i
./rssmt.py $i 2 $formula
done