#!/bin/bash

list="fdct-O0-11448-uppaal.xml matmult-O0-511584-interval-uppaal.xml matmult-O1-134124-uppaal.xml 	matmult-O2-123780-uppaal.xml  jfdcint-O0-12600-uppaal.xml jfdcint-O1-4668-interval-uppaal.xml jfdcint-O2-16380-interval-uppaal.xml"

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

