Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #516975967
details
property
value
status
complete
benchmark
dup01.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n136.star.cs.uiowa.edu
space
Trafo_06
run statistics
property
value
solver
NaTT 2.1
configuration
default
runtime (wallclock)
2.18473887444 seconds
cpu usage
2.133615345
max memory
1.677312E7
stage attributes
key
value
output-size
5034
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(a12(a12(x1)))) -> x1 2: a13(a13(a13(a13(x1)))) -> x1 3: a14(a14(a14(a14(x1)))) -> x1 4: a15(a15(a15(a15(x1)))) -> x1 5: a16(a16(a16(a16(x1)))) -> x1 6: a23(a23(a23(a23(x1)))) -> x1 7: a24(a24(a24(a24(x1)))) -> x1 8: a25(a25(a25(a25(x1)))) -> x1 9: a26(a26(a26(a26(x1)))) -> x1 10: a34(a34(a34(a34(x1)))) -> x1 11: a35(a35(a35(a35(x1)))) -> x1 12: a36(a36(a36(a36(x1)))) -> x1 13: a45(a45(a45(a45(x1)))) -> x1 14: a46(a46(a46(a46(x1)))) -> x1 15: a56(a56(a56(a56(x1)))) -> x1 16: a13(a13(x1)) -> a12(a12(a23(a23(a12(a12(x1)))))) 17: a14(a14(x1)) -> a12(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) 18: a15(a15(x1)) -> a12(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) 19: a16(a16(x1)) -> a12(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 20: a24(a24(x1)) -> a23(a23(a34(a34(a23(a23(x1)))))) 21: a25(a25(x1)) -> a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) 22: a26(a26(x1)) -> a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) 23: a35(a35(x1)) -> a34(a34(a45(a45(a34(a34(x1)))))) 24: a36(a36(x1)) -> a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(x1)))))))))) 25: a46(a46(x1)) -> a45(a45(a56(a56(a45(a45(x1)))))) 26: a12(a12(a23(a23(a12(a12(a23(a23(a12(a12(a23(a23(x1)))))))))))) -> x1 27: a23(a23(a34(a34(a23(a23(a34(a34(a23(a23(a34(a34(x1)))))))))))) -> x1 28: a34(a34(a45(a45(a34(a34(a45(a45(a34(a34(a45(a45(x1)))))))))))) -> x1 29: a45(a45(a56(a56(a45(a45(a56(a56(a45(a45(a56(a56(x1)))))))))))) -> x1 30: a12(a12(a34(a34(x1)))) -> a34(a34(a12(a12(x1)))) 31: a12(a12(a45(a45(x1)))) -> a45(a45(a12(a12(x1)))) 32: a12(a12(a56(a56(x1)))) -> a56(a56(a12(a12(x1)))) 33: a23(a23(a45(a45(x1)))) -> a45(a45(a23(a23(x1)))) 34: a23(a23(a56(a56(x1)))) -> a56(a56(a23(a23(x1)))) 35: a34(a34(a56(a56(x1)))) -> a56(a56(a34(a34(x1)))) Number of strict rules: 35 Direct poly ... removes: 18 4 15 8 1 3 16 21 26 19 17 27 22 28 5 10 7 20 25 14 12 23 24 11 9 13 6 29 2 a36(x1) w: (22006 + 2 * x1) a25(x1) w: (14625 + 2 * x1) a16(x1) w: (7 + 2 * x1) a24(x1) w: (15452 + 2 * x1) a45(x1) w: (1 + x1) a34(x1) w: (1 + x1) a26(x1) w: (11106 + 2 * x1) a56(x1) w: (1 + x1) a13(x1) w: (18873 + 2 * x1) a15(x1) w: (5 + 2 * x1) a14(x1) w: (11209 + x1) a23(x1) w: (1 + x1) a12(x1) w: (1 + x1) a35(x1) w: (25317 + 2 * x1) a46(x1) w: (28225 + 2 * x1) Number of strict rules: 6 Direct poly ... removes: 33 a36(x1) w: (3290 + 2 * x1) a25(x1) w: (13 + 2 * x1) a16(x1) w: (12 + x1) a24(x1) w: (24234 + 2 * x1) a45(x1) w: (1 + x1) a34(x1) w: (1 + x1) a26(x1) w: (7 + 2 * x1) a56(x1) w: (x1) a13(x1) w: (29832 + 2 * x1) a15(x1) w: (x1) a14(x1) w: (29 + x1) a23(x1) w: (1 + 2 * x1) a12(x1) w: (1 + x1) a35(x1) w: (1 + 2 * x1) a46(x1) w: (2160 + 2 * x1) Number of strict rules: 5 Direct poly ... removes: 30 31 a36(x1) w: (18330 + 2 * x1) a25(x1) w: (67969 + 2 * x1) a16(x1) w: (12522 + x1) a24(x1) w: (39428 + 2 * x1) a45(x1) w: (10702 + x1) a34(x1) w: (1 + x1) a26(x1) w: (8214 + 2 * x1) a56(x1) w: (x1) a13(x1) w: (18838 + x1) a15(x1) w: (x1) a14(x1) w: (236761 + x1) a23(x1) w: (7885 + 2 * x1) a12(x1) w: (2 + 2 * x1) a35(x1) w: (1 + 2 * x1) a46(x1) w: (29849 + 2 * x1) Number of strict rules: 3 Direct poly ... removes: 34 a36(x1) w: (23014 + 2 * x1) a25(x1) w: (13 + 2 * x1) a16(x1) w: (39 + x1) a24(x1) w: (20602 + 2 * x1)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard