rm: cannot remove ‘/tmp/muTerm5117023052084420925.in.dec’: No such file or directory
rm: cannot remove ‘/tmp/muTerm5117023052084420925.in.form’: No such file or directory
rm: cannot remove ‘/tmp/muTerm5726603361159126505.in.dec’: No such file or directory
rm: cannot remove ‘/tmp/muTerm5726603361159126505.in.form’: No such file or directory
rm: cannot remove ‘/tmp/muTerm11006613131433925857.in.dec’: No such file or directory
rm: cannot remove ‘/tmp/muTerm11006613131433925857.in.form’: No such file or directory
./callyices.sh: line 1:  6371 Alarm clock             cat $1 $2
      6372                       | ./yices -tm 60 -smt -e
      6373                       | ./transYicesOut
/export/starexec/sandbox/solver/bin/starexec_run_default: line 9:  2040 Alarm clock             $command