details

property	value
status	complete
benchmark	h26.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n148.star.cs.uiowa.edu
space	Hamana_Kikuchi_18

run statistics

property	value
solver	SizeChangeTool_v2019
configuration	default
runtime (wallclock)	94.691 seconds
cpu usage	94.6878
user time	94.6639
system time	0.023881
max virtual memory	138244.0
max residence set size	13924.0

stage attributes

key	value
starexec-result	MAYBE

output

MAYBE �[31m * theBenchmark.axxhead is self looping relatively to the rules�[m - Rule noname.axxhead!169 - Rule noname.axxu31!151 - Rule noname.mark!228 - Rule noname.axxu171!143 �[31m * theBenchmark.axxu21 is self looping relatively to the rules�[m - Rule noname.axxu21!148 - Rule noname.mark!205 - Rule noname.mark!234 - Rule noname.axxu202!147 - Rule noname.mark!235 �[31m * theBenchmark.axxu101 is self looping relatively to the rules�[m - Rule noname.axxu101!125 - Rule noname.axxisNatural!187 - Rule noname.axxisLNatKind!180 - Rule noname.axxand!167 - Rule noname.mark!234 - Rule noname.axxu202!147 - Rule noname.mark!205 �[31m * theBenchmark.axxtake is self looping relatively to the rules�[m - Rule noname.axxtake!204 - Rule noname.axxu221!150 - Rule noname.mark!205 - Rule noname.mark!260 �[31m * theBenchmark.axxu202 is self looping relatively to the rules�[m - Rule noname.axxu202!147 - Rule noname.mark!234 - Rule noname.axxu202!147 - Rule noname.mark!234 �[31m * theBenchmark.axxu161 is self looping relatively to the rules�[m - Rule noname.axxu161!142 - Rule noname.mark!205 - Rule noname.mark!234 - Rule noname.axxu202!147 - Rule noname.mark!226 �[31m * theBenchmark.axxisLNatKind is self looping relatively to the rules�[m - Rule noname.axxisLNatKind!180 - Rule noname.axxand!167 - Rule noname.mark!257 �[31m * theBenchmark.axxu42 is self looping relatively to the rules�[m - Rule noname.axxu42!153 - Rule noname.axxisLNat!171 - Rule noname.axxu41!152 - Rule noname.axxisNatural!187 - Rule noname.axxisLNatKind!180 - Rule noname.axxand!167 - Rule noname.mark!240 - Rule noname.mark!241 �[31m * theBenchmark.axxtail is self looping relatively to the rules�[m - Rule noname.axxtail!203 - Rule noname.axxand!167 - Rule noname.mark!259 �[31m * theBenchmark.axxu221 is self looping relatively to the rules�[m - Rule noname.axxu221!150 - Rule noname.axxfst!168 - Rule noname.axxu21!148 - Rule noname.mark!237 �[31m * theBenchmark.axxu51 is self looping relatively to the rules�[m - Rule noname.axxu51!155 - Rule noname.axxisNatural!187 - Rule noname.axxisLNatKind!180 - Rule noname.axxand!167 - Rule noname.mark!242 - Rule noname.mark!243 �[31m * theBenchmark.axxisNaturalKind is self looping relatively to the rules�[m - Rule noname.axxisNaturalKind!191 - Rule noname.axxisLNatKind!180 - Rule noname.axxand!167 - Rule noname.mark!255 - Rule noname.mark!256 �[31m * theBenchmark.axxu171 is self looping relatively to the rules�[m - Rule noname.axxu171!143 - Rule noname.mark!205 - Rule noname.mark!234 - Rule noname.axxu202!147 - Rule noname.mark!228 �[31m * theBenchmark.axxu111 is self looping relatively to the rules�[m - Rule noname.axxu111!129 - Rule noname.axxisLNat!171 - Rule noname.axxu41!152 - Rule noname.axxisNatural!187 - Rule noname.axxisLNatKind!180 - Rule noname.axxand!167 - Rule noname.mark!234 - Rule noname.axxu202!147 - Rule noname.mark!205 - Rule noname.mark!213 �[31m * theBenchmark.axxfst is self looping relatively to the rules�[m - Rule noname.axxfst!168 - Rule noname.axxu21!148 - Rule noname.mark!205 - Rule noname.mark!237 - Rule noname.axxu221!150 �[31m * theBenchmark.axxu61 is self looping relatively to the rules�[m - Rule noname.axxu61!158 - Rule noname.axxisPLNat!194 - Rule noname.axxand!167 - Rule noname.mark!245 - Rule noname.mark!246 popout

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

job log

popout

actions

all output return to Higher Order Rewriting Union Beta