#!/bin/bash

list="fib-O0-8064-uppaal.xml fib-O1-2544-uppaal.xml fib-O2-1152-uppaal.xml janne_complex-O0-4164-uppaal.xml janne_complex-O1-1680-uppaal.xml janne_complex-O2-1536-uppaal.xml fdct-O1-4092-uppaal.xml		fdct-O2-18984-uppaal.xml"

for f in $list
do
  echo "processing " $f
  ./timespace $f wcet
done 
exit 0

