#!/bin/sh xsltproc "${0%/*}/xtc2tpdb.xml" "$1" | ${0%/*}/NaTT.exe --smt "./z3 -smt2 -in" 2>stderr.txt && cat stderr.txt rm -f stderr.txt