Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Higher_Order_Rewriting_Union_Beta 2019-03-28 22.10 pair #432270442
details
property
value
status
complete
benchmark
h40.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n167.star.cs.uiowa.edu
space
Hamana_Kikuchi_18
run statistics
property
value
solver
SizeChangeTool_v2019
configuration
default
runtime (wallclock)
7.60477 seconds
cpu usage
7.60418
user time
7.59365
system time
0.010531
max virtual memory
134544.0
max residence set size
10224.0
stage attributes
key
value
starexec-result
MAYBE
output
7.56/7.60 MAYBE 7.56/7.60 �[31m * theBenchmark.axxhead is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.axxhead!85 7.56/7.60 - Rule noname.axxu31!69 7.56/7.60 - Rule noname.axxu32!70 7.56/7.60 - Rule noname.mark!102 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 �[31m * theBenchmark.axxu21 is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.axxu21!67 7.56/7.60 - Rule noname.axxu22!68 7.56/7.60 - Rule noname.mark!115 7.56/7.60 - Rule noname.axxfst!84 7.56/7.60 �[31m * theBenchmark.axxtake is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.axxtake!92 7.56/7.60 - Rule noname.axxu81!81 7.56/7.60 - Rule noname.axxu82!82 7.56/7.60 - Rule noname.mark!119 7.56/7.60 �[31m * theBenchmark.axxu42 is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 �[31m * theBenchmark.axxtail is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.axxtail!91 7.56/7.60 - Rule noname.axxu71!79 7.56/7.60 - Rule noname.axxu72!80 7.56/7.60 - Rule noname.mark!118 7.56/7.60 �[31m * theBenchmark.axxu12 is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.axxu12!66 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!94 7.56/7.60 �[31m * theBenchmark.axxu51 is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.axxu51!73 7.56/7.60 - Rule noname.axxu52!74 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!105 7.56/7.60 �[31m * theBenchmark.axxu61 is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.axxu61!75 7.56/7.60 - Rule noname.axxu62!76 7.56/7.60 - Rule noname.axxu63!77 7.56/7.60 - Rule noname.axxu64!78 7.56/7.60 - Rule noname.mark!94 7.56/7.60 - Rule noname.axxu12!66 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!101 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!107 7.56/7.60 �[31m * theBenchmark.axxfst is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.axxfst!84 7.56/7.60 - Rule noname.axxu21!67 7.56/7.60 - Rule noname.axxu22!68 7.56/7.60 - Rule noname.mark!115 7.56/7.60 �[31m * theBenchmark.axxu52 is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.axxu52!74 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!105 7.56/7.60 - Rule noname.axxu51!73 7.56/7.60 �[31m * theBenchmark.axxsel is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!117 7.56/7.60 �[31m * theBenchmark.axxu71 is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.axxu71!79 7.56/7.60 - Rule noname.axxu72!80 7.56/7.60 - Rule noname.mark!118 7.56/7.60 - Rule noname.axxtail!91 7.56/7.60 �[31m * theBenchmark.mark is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.mark!117 7.56/7.60 - Rule noname.axxsel!87 7.56/7.60 - Rule noname.axxu41!71 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 - Rule noname.mark!93 7.56/7.60 �[31m * theBenchmark.axxafterNth is self looping relatively to the rules�[m 7.56/7.60 - Rule noname.axxafterNth!83 7.56/7.60 - Rule noname.axxu11!65 7.56/7.60 - Rule noname.axxu12!66 7.56/7.60 - Rule noname.mark!93 7.56/7.60 - Rule noname.mark!102 7.56/7.60 - Rule noname.axxu42!72 7.56/7.60 �[31m * theBenchmark.axxu41 is self looping relatively to the rules�[m
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
