echo 'ticket 325'
python replay.py tests/mcrl22lps.yml tickets/325/bug.mcrl2
echo ''

echo 'ticket 283'
python replay.py tests/alphabet.yml tickets/283/1.mcrl2
echo ''

echo 'ticket 352'
python replay.py tests/alphabet.yml tickets/352/1.mcrl2
echo ''

echo 'ticket 397'
python replay.py tests/mcrl22lps.yml tickets/397/1.mcrl2
echo ''

echo 'ticket 1090'
python replay.py tests/lps2pbes.yml tickets/1090/form.mcf tickets/1090/spec.mcrl2
echo ''

echo 'ticket 1093'
python replay.py tests/alphabet.yml tickets/1093/1.mcrl2
echo ''

echo 'ticket 1122'
python replay.py tests/txt2lps.yml tickets/1122/1.mcrl2
echo ''

echo 'ticket 1127'
python replay.py tests/mcrl22lps.yml tickets/1127/1.mcrl2
echo ''

echo 'ticket 1143'
python replay.py tests/pbesrewr-onepoint.yml tickets/1143/1.txt
echo ''

echo 'ticket 1144'
python replay.py tests/lpsbisim2pbes.yml tickets/1144/test1.txt tickets/1144/test2.txt
echo ''

#echo 'ticket 1167'
#python replay.py tests/countstates.yml ../examples/academic/abp/abp.mcrl2
#echo ''

echo 'ticket 1234'
python replay.py tests/lpsbinary.yml ../examples/academic/cabp/cabp.mcrl2
echo ''

echo 'ticket 1241'
python replay.py tests/alphabet.yml tickets/1241/1.mcrl2
echo ''

echo 'ticket 1247'
python replay.py tests/alphabet.yml tickets/1247/1.mcrl2
echo ''

echo 'ticket 1249'
python replay.py tests/alphabet.yml tickets/1249/1.mcrl2
echo ''

