details

property	value
status	complete
benchmark	TelAviv-Amir-Minimum_true-termination.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n140.star.cs.uiowa.edu
space	Stroeder_15

run statistics

property	value
solver	irankfinder
configuration	competition
runtime (wallclock)	28.0147 seconds
cpu usage	28.0081
user time	27.8528
system time	0.155282
max virtual memory	879908.0
max residence set size	47268.0

stage attributes

key	value
starexec-result	[48366] Failed to execute script irankfinder

output

[48366] Failed to execute script irankfinder Traceback (most recent call last): File "irankfinder.py", line 374, in <module> File "irankfinder.py", line 223, in launch File "irankfinder.py", line 251, in analyse File "termination/__init__.py", line 81, in analyse File "partialevaluation/__init__.py", line 59, in control_flow_refinement File "partialevaluation/__init__.py", line 97, in partialevaluate File "partialevaluation/__init__.py", line 148, in set_props File "partialevaluation/__init__.py", line 266, in johns_props1 Exception: b'{ERROR: No handle found for thrown error ppl_invalid_argument(found(v_y_P1_P1),expected(linear_expression_or_constraint),where(ppl_new_NNC_Polyhedron_from_constraints/2))}\n' method 1 popout

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

job log

popout

actions

all output return to C_Integer