Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Higher_Order_Rewriting_Union_Beta 2019-03-28 22.10 pair #432270416
details
property
value
status
complete
benchmark
h27.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n106.star.cs.uiowa.edu
space
Hamana_Kikuchi_18
run statistics
property
value
solver
SizeChangeTool_v2019
configuration
default
runtime (wallclock)
96.4022 seconds
cpu usage
96.3937
user time
96.3625
system time
0.031241
max virtual memory
139844.0
max residence set size
15676.0
stage attributes
key
value
starexec-result
MAYBE
output
96.36/96.39 MAYBE 96.36/96.39 �[31m * theBenchmark.axxhead is self looping relatively to the rules�[m 96.36/96.39 - Rule noname.axxhead!170 96.36/96.39 - Rule noname.axxu31!152 96.36/96.39 - Rule noname.mark!229 96.36/96.39 - Rule noname.axxu171!144 96.36/96.39 �[31m * theBenchmark.axxu21 is self looping relatively to the rules�[m 96.36/96.39 - Rule noname.axxu21!149 96.36/96.39 - Rule noname.mark!206 96.36/96.39 - Rule noname.mark!235 96.36/96.39 - Rule noname.axxu202!148 96.36/96.39 - Rule noname.mark!236 96.36/96.39 �[31m * theBenchmark.axxu101 is self looping relatively to the rules�[m 96.36/96.39 - Rule noname.axxu101!126 96.36/96.39 - Rule noname.axxisNatural!188 96.36/96.39 - Rule noname.axxisLNatKind!181 96.36/96.39 - Rule noname.axxand!168 96.36/96.39 - Rule noname.mark!235 96.36/96.39 - Rule noname.axxu202!148 96.36/96.39 - Rule noname.mark!206 96.36/96.39 �[31m * theBenchmark.axxtake is self looping relatively to the rules�[m 96.36/96.39 - Rule noname.axxtake!205 96.36/96.39 - Rule noname.axxu221!151 96.36/96.39 - Rule noname.mark!206 96.36/96.39 - Rule noname.mark!261 96.36/96.39 �[31m * theBenchmark.axxu202 is self looping relatively to the rules�[m 96.36/96.39 - Rule noname.axxu202!148 96.36/96.39 - Rule noname.mark!235 96.36/96.39 - Rule noname.axxu202!148 96.36/96.39 - Rule noname.mark!235 96.36/96.39 �[31m * theBenchmark.axxu161 is self looping relatively to the rules�[m 96.36/96.40 - Rule noname.axxu161!143 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!227 96.36/96.40 �[31m * theBenchmark.axxisLNatKind is self looping relatively to the rules�[m 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!258 96.36/96.40 �[31m * theBenchmark.axxu42 is self looping relatively to the rules�[m 96.36/96.40 - Rule noname.axxu42!154 96.36/96.40 - Rule noname.axxisLNat!172 96.36/96.40 - Rule noname.axxu41!153 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!241 96.36/96.40 - Rule noname.mark!242 96.36/96.40 �[31m * theBenchmark.axxtail is self looping relatively to the rules�[m 96.36/96.40 - Rule noname.axxtail!204 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!260 96.36/96.40 �[31m * theBenchmark.axxu221 is self looping relatively to the rules�[m 96.36/96.40 - Rule noname.axxu221!151 96.36/96.40 - Rule noname.axxfst!169 96.36/96.40 - Rule noname.axxu21!149 96.36/96.40 - Rule noname.mark!238 96.36/96.40 �[31m * theBenchmark.axxu51 is self looping relatively to the rules�[m 96.36/96.40 - Rule noname.axxu51!156 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!243 96.36/96.40 - Rule noname.mark!244 96.36/96.40 �[31m * theBenchmark.axxisNaturalKind is self looping relatively to the rules�[m 96.36/96.40 - Rule noname.axxisNaturalKind!192 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!256 96.36/96.40 - Rule noname.mark!257 96.36/96.40 �[31m * theBenchmark.axxu171 is self looping relatively to the rules�[m 96.36/96.40 - Rule noname.axxu171!144 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!229 96.36/96.40 �[31m * theBenchmark.axxu111 is self looping relatively to the rules�[m 96.36/96.40 - Rule noname.axxu111!130 96.36/96.40 - Rule noname.axxisLNat!172 96.36/96.40 - Rule noname.axxu41!153 96.36/96.40 - Rule noname.axxisNatural!188 96.36/96.40 - Rule noname.axxisLNatKind!181 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!235 96.36/96.40 - Rule noname.axxu202!148 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!214 96.36/96.40 �[31m * theBenchmark.axxfst is self looping relatively to the rules�[m 96.36/96.40 - Rule noname.axxfst!169 96.36/96.40 - Rule noname.axxu21!149 96.36/96.40 - Rule noname.mark!206 96.36/96.40 - Rule noname.mark!238 96.36/96.40 - Rule noname.axxu221!151 96.36/96.40 �[31m * theBenchmark.axxu61 is self looping relatively to the rules�[m 96.36/96.40 - Rule noname.axxu61!159 96.36/96.40 - Rule noname.axxisPLNat!195 96.36/96.40 - Rule noname.axxand!168 96.36/96.40 - Rule noname.mark!246 96.36/96.40 - Rule noname.mark!247
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