#!/bin/csh

set time=(100000000, "TIME %U %S")
echo "PATH: " $path

echo "LEMMA 1"
time sal-inf-bmc -v 10 -i -d 1 fischer_revised time_aux1
echo

echo "LEMMA 2"
time sal-inf-bmc -v 10 -i -d 1 fischer_revised time_aux2
echo

echo "LEMMA 3"
time sal-inf-bmc -v 10 -i -d 1 -l time_aux2 fischer_revised time_aux3
echo

echo "LOGICAL AUX"
time sal-inf-bmc -v 10 -i -d 1 -l time_aux3 -l time_aux1 fischer_revised logical_aux1
echo

echo "MUTUAL EXCLUSION"
time sal-inf-bmc -v 10 -i -d 0 -l logical_aux1 fischer_revised mutual_exclusion
echo
