details

property	value
status	timeout (wallclock)
benchmark	96274.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	ICFP_2010

run statistics

property	value
solver	muterm 6.0.3
configuration	default
runtime (wallclock)	300.04 seconds
cpu usage	299.301
user time	293.979
system time	5.32164
max virtual memory	1270368.0
max residence set size	95232.0

stage attributes

unavailable

output

Error at 1: Unexpected token '>=', 'benchmark' expected. syntax error rm: cannot remove ‘/tmp/muTerm13651805401540383426.in.dec’: Operation not permitted rm: cannot remove ‘/tmp/muTerm13651805401540383426.in.form’: Operation not permitted Error at 1: Unexpected token '>=', 'benchmark' expected. syntax error rm: cannot remove ‘/tmp/muTerm10599613932089018456.in.dec’: Operation not permitted rm: cannot remove ‘/tmp/muTerm10599613932089018456.in.form’: Operation not permitted Error at 1: Unexpected token '>=', 'benchmark' expected. syntax error rm: cannot remove ‘/tmp/muTerm13780686242999170.in.dec’: Operation not permitted rm: cannot remove ‘/tmp/muTerm13780686242999170.in.form’: Operation not permitted rm: cannot remove ‘/tmp/muTerm4127760911424268980.in.dec’: No such file or directory rm: cannot remove ‘/tmp/muTerm4127760911424268980.in.form’: No such file or directory rm: cannot remove ‘/tmp/muTerm5117023052084420925.in.dec’: No such file or directory rm: cannot remove ‘/tmp/muTerm5117023052084420925.in.form’: No such file or directory /export/starexec/sandbox2/solver/bin/starexec_run_default: line 9: 27476 Alarm clock $command popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to SRS Standard