Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm8468111271414829150.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm8468111271414829150.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm324763920155789224.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm324763920155789224.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm780821396619054081.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm780821396619054081.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm9176792922006811972.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm9176792922006811972.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm14146476251635905385.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm14146476251635905385.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm18963066401343606042.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm18963066401343606042.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm1197352298915256190.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm1197352298915256190.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm524688209700108581.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm524688209700108581.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm2114937732726371155.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm2114937732726371155.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm88216037911614769.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm88216037911614769.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm630668850246247255.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm630668850246247255.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm105575579964445884.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm105575579964445884.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm4528676211017679567.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm4528676211017679567.in.form’: Operation not permitted
/export/starexec/sandbox/solver/bin/starexec_run_default: line 9:  2200 Alarm clock             $command