/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


rm: cannot remove ‘/tmp/muTerm10639580311633108117.in.dec’: No such file or directory
rm: cannot remove ‘/tmp/muTerm10639580311633108117.in.form’: No such file or directory
rm: cannot remove ‘/tmp/muTerm12390360291884661237.in.dec’: No such file or directory
rm: cannot remove ‘/tmp/muTerm12390360291884661237.in.form’: No such file or directory
rm: cannot remove ‘/tmp/muTerm760658181605894428.in.dec’: No such file or directory
rm: cannot remove ‘/tmp/muTerm760658181605894428.in.form’: No such file or directory