details

property	value
status	complete
benchmark	212892.xml
ran by	Johannes Waldmann
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n073.star.cs.uiowa.edu
space	autotest

run statistics

property	value
solver	TTT2
configuration	ttt2_cert
runtime (wallclock)	40.901 seconds
cpu usage	127.169
user time	123.195
system time	3.9734
max virtual memory	8596960.0
max residence set size	243356.0

stage attributes

key	value
original-result	YES
consistency	CPF_PARSE_ERROR
starexec-result	REJECTED-YES

output

124.15/37.97 YES 126.74/40.60 Entity: line 58590: parser error : internal error 126.74/40.60 ( kbo || (lpo | (fail;(ref));lpo) || fail)*[7])!)))!))[59]))[59] else fail))[59] 126.74/40.60 ^ 126.74/40.60 Entity: line 58590: parser error : Extra content at the end of the document 126.74/40.60 ( kbo || (lpo | (fail;(ref));lpo) || fail)*[7])!)))!))[59]))[59] else fail))[59] 126.74/40.60 ^ 127.14/40.90 EOF popout

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

job log

popout

actions

all output return to SRS Stand certi 2014 07 06 15 56 58 49418 UTC