Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm221558440270744729.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm221558440270744729.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm21147380972007905771.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm21147380972007905771.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm1610120709791698927.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm1610120709791698927.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm1255179497524872353.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm1255179497524872353.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm2694553061703964683.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm2694553061703964683.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm1600515282040332871.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm1600515282040332871.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm378409503515530019.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm378409503515530019.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm14099597082077486715.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm14099597082077486715.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm200747796289700723.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm200747796289700723.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm150122846439493451.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm150122846439493451.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm12311923791622597488.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm12311923791622597488.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm2147469841438792350.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm2147469841438792350.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm2142757034116087764.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm2142757034116087764.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm89369871982275856.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm89369871982275856.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm350322227841148365.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm350322227841148365.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm7711514321186452551.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm7711514321186452551.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm1476153275213975407.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm1476153275213975407.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm6534688582130794395.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm6534688582130794395.in.form’: Operation not permitted
Error at 1: Unexpected token '>=', 'benchmark' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm16059082351350573793.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm16059082351350573793.in.form’: Operation not permitted
Error at 1: Unexpected token '(null)', '(' expected.
syntax error
rm: cannot remove ‘/tmp/muTerm17893661431987231011.in.dec’: Operation not permitted
rm: cannot remove ‘/tmp/muTerm17893661431987231011.in.form’: Operation not permitted
/export/starexec/sandbox2/solver/bin/starexec_run_default: line 9:  4722 Alarm clock             $command