Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #516968377
details
property
value
status
complete
benchmark
z113.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n010.star.cs.uiowa.edu
space
Zantema_04
run statistics
property
value
solver
NaTT 2.1
configuration
default
runtime (wallclock)
0.0988419055939 seconds
cpu usage
0.040110242
max memory
5816320.0
stage attributes
key
value
output-size
1171
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: 1(1(x1)) -> 4(3(x1)) 2: 1(2(x1)) -> 2(1(x1)) 3: 2(2(x1)) -> 1(1(1(x1))) 4: 3(3(x1)) -> 5(6(x1)) 5: 3(4(x1)) -> 1(1(x1)) 6: 4(4(x1)) -> 3(x1) 7: 5(5(x1)) -> 6(2(x1)) 8: 5(6(x1)) -> 1(2(x1)) 9: 6(6(x1)) -> 2(1(x1)) Number of strict rules: 9 Direct poly ... removes: 4 8 3 7 9 1(x1) w: (459249 + x1) 4(x1) w: (306166 + x1) 5(x1) w: (642948 + x1) 3(x1) w: (612332 + x1) 2(x1) w: (704180 + x1) 6(x1) w: (581715 + x1) Number of strict rules: 4 Direct poly ... removes: 6 1(x1) w: (463088 + x1) 4(x1) w: (313840 + x1) 5(x1) w: (642948 + x1) 3(x1) w: (612336 + x1) 2(x1) w: (694632 + x1) 6(x1) w: (579141 + x1) Number of strict rules: 3 Direct poly ... removes: 1 5 2 1(x1) w: (18 + 2 * x1) 4(x1) w: (33 + 2 * x1) 5(x1) w: (96897 + x1) 3(x1) w: (6 + 2 * x1) 2(x1) w: (64598 + 2 * x1) 6(x1) w: (32317 + x1) Number of strict rules: 0
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard