0.66/0.74	Error at 1: Unexpected token '>=', 'benchmark' expected.
0.66/0.74	syntax error
0.66/0.74	rm: cannot remove ‘/tmp/muTerm1804289383846930886.in.dec’: Operation not permitted
0.66/0.75	rm: cannot remove ‘/tmp/muTerm1804289383846930886.in.form’: Operation not permitted
1.25/1.29	Error at 1: Unexpected token '>=', 'benchmark' expected.
1.25/1.29	syntax error
1.25/1.29	rm: cannot remove ‘/tmp/muTerm1957747793424238335.in.dec’: Operation not permitted
1.25/1.29	rm: cannot remove ‘/tmp/muTerm1957747793424238335.in.form’: Operation not permitted
1.78/1.83	Error at 1: Unexpected token '>=', 'benchmark' expected.
1.78/1.83	syntax error
1.78/1.83	rm: cannot remove ‘/tmp/muTerm5965166491189641421.in.dec’: Operation not permitted
1.78/1.84	rm: cannot remove ‘/tmp/muTerm5965166491189641421.in.form’: Operation not permitted
2.29/2.38	Error at 1: Unexpected token '>=', 'benchmark' expected.
2.29/2.38	syntax error
2.29/2.38	rm: cannot remove ‘/tmp/muTerm7833686901102520059.in.dec’: Operation not permitted
2.29/2.38	rm: cannot remove ‘/tmp/muTerm7833686901102520059.in.form’: Operation not permitted
2.89/2.92	Error at 1: Unexpected token '>=', 'benchmark' expected.
2.89/2.92	syntax error
2.89/2.92	rm: cannot remove ‘/tmp/muTerm13651805401540383426.in.dec’: Operation not permitted
2.89/2.92	rm: cannot remove ‘/tmp/muTerm13651805401540383426.in.form’: Operation not permitted
2.98/3.46	Error at 1: Unexpected token '>=', 'benchmark' expected.
2.98/3.46	syntax error
2.98/3.46	rm: cannot remove ‘/tmp/muTerm35005211521595368.in.dec’: Operation not permitted
2.98/3.46	rm: cannot remove ‘/tmp/muTerm35005211521595368.in.form’: Operation not permitted
3.91/4.00	Error at 1: Unexpected token '>=', 'benchmark' expected.
3.91/4.00	syntax error
3.91/4.00	rm: cannot remove ‘/tmp/muTerm336465782861021530.in.dec’: Operation not permitted
3.91/4.00	rm: cannot remove ‘/tmp/muTerm336465782861021530.in.form’: Operation not permitted
298.80/300.14	/export/starexec/sandbox2/solver/bin/starexec_run_default: line 9: 51840 Alarm clock             $command
298.80/300.15	EOF