Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Higher_Order_Rewriting_Union_Beta 2019-03-28 22.10 pair #432270414
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
n125.star.cs.uiowa.edu
space
Hamana_Kikuchi_18
run statistics
property
value
solver
SizeChangeTool_v2019
configuration
default
runtime (wallclock)
94.2538 seconds
cpu usage
94.2413
user time
94.2163
system time
0.024997
max virtual memory
139680.0
max residence set size
15512.0
stage attributes
key
value
starexec-result
MAYBE
output
94.18/94.25 MAYBE 94.18/94.25 �[31m * theBenchmark.axxhead is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxhead!169 94.18/94.25 - Rule noname.axxu31!151 94.18/94.25 - Rule noname.mark!228 94.18/94.25 - Rule noname.axxu171!143 94.18/94.25 �[31m * theBenchmark.axxu21 is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxu21!148 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!235 94.18/94.25 �[31m * theBenchmark.axxu101 is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxu101!125 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!205 94.18/94.25 �[31m * theBenchmark.axxtake is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxtake!204 94.18/94.25 - Rule noname.axxu221!150 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!260 94.18/94.25 �[31m * theBenchmark.axxu202 is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!234 94.18/94.25 �[31m * theBenchmark.axxu161 is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxu161!142 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!226 94.18/94.25 �[31m * theBenchmark.axxisLNatKind is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!257 94.18/94.25 �[31m * theBenchmark.axxu42 is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxu42!153 94.18/94.25 - Rule noname.axxisLNat!171 94.18/94.25 - Rule noname.axxu41!152 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!240 94.18/94.25 - Rule noname.mark!241 94.18/94.25 �[31m * theBenchmark.axxtail is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxtail!203 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!259 94.18/94.25 �[31m * theBenchmark.axxu221 is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxu221!150 94.18/94.25 - Rule noname.axxfst!168 94.18/94.25 - Rule noname.axxu21!148 94.18/94.25 - Rule noname.mark!237 94.18/94.25 �[31m * theBenchmark.axxu51 is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxu51!155 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!242 94.18/94.25 - Rule noname.mark!243 94.18/94.25 �[31m * theBenchmark.axxisNaturalKind is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxisNaturalKind!191 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!255 94.18/94.25 - Rule noname.mark!256 94.18/94.25 �[31m * theBenchmark.axxu171 is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxu171!143 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!228 94.18/94.25 �[31m * theBenchmark.axxu111 is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxu111!129 94.18/94.25 - Rule noname.axxisLNat!171 94.18/94.25 - Rule noname.axxu41!152 94.18/94.25 - Rule noname.axxisNatural!187 94.18/94.25 - Rule noname.axxisLNatKind!180 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!234 94.18/94.25 - Rule noname.axxu202!147 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!213 94.18/94.25 �[31m * theBenchmark.axxfst is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxfst!168 94.18/94.25 - Rule noname.axxu21!148 94.18/94.25 - Rule noname.mark!205 94.18/94.25 - Rule noname.mark!237 94.18/94.25 - Rule noname.axxu221!150 94.18/94.25 �[31m * theBenchmark.axxu61 is self looping relatively to the rules�[m 94.18/94.25 - Rule noname.axxu61!158 94.18/94.25 - Rule noname.axxisPLNat!194 94.18/94.25 - Rule noname.axxand!167 94.18/94.25 - Rule noname.mark!245 94.18/94.25 - 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 2019-03-28 22.10