details

property	value
status	complete
benchmark	LICENSE.txt
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n139.star.cs.uiowa.edu
space	SV-COMP_Termination_Category

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	0.295643 seconds
cpu usage	0.323919
user time	0.271016
system time	0.052903
max virtual memory	113188.0
max residence set size	90376.0

stage attributes

key	value
starexec-result	aprove.Framework.Input.ParserErrorsSourceException: Parsing /export/starexec/sandbox2/benchmark/theBenchmark.txt failed: ParseEr

output

aprove.Framework.Input.ParserErrorsSourceException: Parsing /export/starexec/sandbox2/benchmark/theBenchmark.txt failed: ParseErrors: [ERROR at [1,15] ''2013'': expecting: arrow] at aprove.Framework.Input.TypeAnalyzers.ExtensionTypeAnalyzer.analyze(ExtensionTypeAnalyzer.java:55) at aprove.Runtime.AProVE.parse(AProVE.java:154) at aprove.Runtime.AProVE.<init>(AProVE.java:59) at aprove.CommandLineInterface.Main.run(Main.java:68) at aprove.CommandLineInterface.Main.doMain(Main.java:42) at aprove.Main.doMain(Main.java:54) at aprove.Main.main(Main.java:20) ERROR popout

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

job log

popout

actions

all output return to C