Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Stand 10685 pair #381718166
details
property
value
status
complete
benchmark
s6.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n085.star.cs.uiowa.edu
space
Mixed_SRS
run statistics
property
value
solver
NaTT
configuration
Default
runtime (wallclock)
0.73012804985 seconds
cpu usage
0.733834377
max memory
8581120.0
stage attributes
key
value
output-size
3980
starexec-result
YES
output
/export/starexec/sandbox/solver/bin/starexec_run_Default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES Input TRS: 1: a12(a12(x1)) -> x1 2: a13(a13(x1)) -> x1 3: a14(a14(x1)) -> x1 4: a15(a15(x1)) -> x1 5: a16(a16(x1)) -> x1 6: a23(a23(x1)) -> x1 7: a24(a24(x1)) -> x1 8: a25(a25(x1)) -> x1 9: a26(a26(x1)) -> x1 10: a34(a34(x1)) -> x1 11: a35(a35(x1)) -> x1 12: a36(a36(x1)) -> x1 13: a45(a45(x1)) -> x1 14: a46(a46(x1)) -> x1 15: a56(a56(x1)) -> x1 16: a13(x1) -> a12(a23(a12(x1))) 17: a14(x1) -> a12(a23(a34(a23(a12(x1))))) 18: a15(x1) -> a12(a23(a34(a45(a34(a23(a12(x1))))))) 19: a16(x1) -> a12(a23(a34(a45(a56(a45(a34(a23(a12(x1))))))))) 20: a24(x1) -> a23(a34(a23(x1))) 21: a25(x1) -> a23(a34(a45(a34(a23(x1))))) 22: a26(x1) -> a23(a34(a45(a56(a45(a34(a23(x1))))))) 23: a35(x1) -> a34(a45(a34(x1))) 24: a36(x1) -> a34(a45(a56(a45(a34(x1))))) 25: a46(x1) -> a45(a56(a45(x1))) 26: a12(a23(a12(a23(a12(a23(x1)))))) -> x1 27: a23(a34(a23(a34(a23(a34(x1)))))) -> x1 28: a34(a45(a34(a45(a34(a45(x1)))))) -> x1 29: a45(a56(a45(a56(a45(a56(x1)))))) -> x1 30: a12(a34(x1)) -> a34(a12(x1)) 31: a12(a45(x1)) -> a45(a12(x1)) 32: a12(a56(x1)) -> a56(a12(x1)) 33: a23(a45(x1)) -> a45(a23(x1)) 34: a23(a56(x1)) -> a56(a23(x1)) 35: a34(a56(x1)) -> a56(a34(x1)) Number of strict rules: 35 Direct POLO(bPol) ... removes: 18 4 15 8 3 16 21 19 17 22 28 5 7 20 25 14 12 23 24 11 9 13 29 2 a36 w: 2 * x1 + 29 a25 w: 2 * x1 + 36 a16 w: 2 * x1 + 29 a24 w: 2 * x1 + 8 a45 w: x1 + 9 a34 w: x1 a26 w: 2 * x1 + 84 a56 w: 2 * x1 + 1 a13 w: 2 * x1 + 21 a15 w: x1 + 76 a14 w: x1 + 33 a23 w: x1 a12 w: x1 a35 w: 2 * x1 + 10 a46 w: 2 * x1 + 29 Number of strict rules: 11 Direct POLO(bPol) ... removes: 33 a36 w: 2 * x1 + 41 a25 w: 2 * x1 + 36 a16 w: 2 * x1 + 154 a24 w: 2 * x1 + 8 a45 w: x1 + 13 a34 w: x1 a26 w: 2 * x1 + 84 a56 w: 2 * x1 a13 w: 2 * x1 + 21 a15 w: 2 * x1 + 25 a14 w: x1 + 33 a23 w: 2 * x1 a12 w: x1 a35 w: 2 * x1 + 14 a46 w: 2 * x1 + 39 Number of strict rules: 10 Direct POLO(bPol) ... removes: 31 a36 w: 2 * x1 + 41 a25 w: 2 * x1 + 25 a16 w: 2 * x1 + 96 a24 w: 2 * x1 + 8 a45 w: x1 + 8 a34 w: x1 a26 w: 2 * x1 + 84 a56 w: 2 * x1 a13 w: 2 * x1 + 21 a15 w: 2 * x1 + 4 a14 w: x1 + 33 a23 w: 2 * x1 a12 w: 2 * x1 a35 w: 2 * x1 + 8 a46 w: 2 * x1 + 24 Number of strict rules: 9 Direct POLO(bPol) ... removes: 1 26 32 27 10 30 6 a36 w: 2 * x1 + 1 a25 w: x1 + 31 a16 w: x1 + 1 a24 w: x1 + 1
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Stand 10685