#!/bin/bash

list="bs-O0-1068-uppaal.xml bs800-O1-720-uppaal.xml bs800-O2-588-uppaal.xml cnt-O0-8832-uppaal.xml cnt-O1-3996-uppaal.xml		cnt-O2-2916-uppaal.xml insertsort-O0-3108-uppaal.xml		insertsort-O1-1500-uppaal.xml insertsort-O2-1308-uppaal.xml	ns-O0-30732-uppaal.xml  ns-O1-11568-uppaal.xml		ns-O2-7236-uppaal.xml"

for f in $list
do
  echo "processing " $f
  ./timespace $f  $1
#  ./timespace $f bcet
done 
exit 0

