Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432287351
details
property
value
status
timeout (wallclock)
benchmark
140659.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
ICFP_2010
run statistics
property
value
solver
NaTT
configuration
Default
runtime (wallclock)
300.016 seconds
cpu usage
300.21
user time
300.08
system time
0.13
max virtual memory
279300.0
max residence set size
8816.0
stage attributes
unavailable
output
300.21/300.01 /export/starexec/sandbox/solver/bin/starexec_run_Default: line 4: 13193 Done xsltproc "$DIR/xtc2tpdb.xml" "$1" 300.21/300.01 13194 Alarm clock | NaTT.exe 2> $DIR/stderr.txt 300.21/300.01 Input TRS: 300.21/300.01 1: 0(0(0(1(0(2(2(2(2(2(0(0(0(x1))))))))))))) -> 0(1(0(0(0(0(1(2(0(0(0(2(0(1(0(2(0(x1))))))))))))))))) 300.21/300.01 2: 0(0(0(1(2(0(2(2(2(2(2(1(0(x1))))))))))))) -> 0(0(1(1(1(2(2(0(1(2(1(0(0(0(0(2(0(x1))))))))))))))))) 300.21/300.01 3: 0(0(0(1(2(1(2(1(1(1(0(1(2(x1))))))))))))) -> 0(0(1(2(0(0(0(1(0(2(1(0(0(1(1(0(1(x1))))))))))))))))) 300.21/300.01 4: 0(0(0(1(2(1(2(2(2(0(1(2(0(x1))))))))))))) -> 0(0(2(0(1(0(0(1(0(1(0(0(2(0(2(2(0(x1))))))))))))))))) 300.21/300.01 5: 0(0(0(2(2(2(0(2(1(2(0(2(1(x1))))))))))))) -> 0(2(0(1(2(0(0(0(2(1(2(1(1(0(0(0(1(x1))))))))))))))))) 300.21/300.01 6: 0(0(1(1(0(2(0(0(2(2(0(2(1(x1))))))))))))) -> 0(0(1(0(1(2(0(0(0(1(1(0(0(2(1(0(1(x1))))))))))))))))) 300.21/300.01 7: 0(0(1(1(0(2(0(1(1(0(0(1(0(x1))))))))))))) -> 0(0(2(0(0(1(0(1(0(0(0(1(0(0(0(1(0(x1))))))))))))))))) 300.21/300.01 8: 0(0(1(1(0(2(2(2(1(1(2(1(0(x1))))))))))))) -> 0(0(0(2(2(0(0(0(0(1(2(2(0(1(1(1(0(x1))))))))))))))))) 300.21/300.01 9: 0(0(1(1(2(1(1(1(1(0(2(0(2(x1))))))))))))) -> 0(1(0(2(0(2(0(0(0(0(1(0(0(1(0(1(2(x1))))))))))))))))) 300.21/300.01 10: 0(0(1(2(1(2(1(1(1(0(1(0(0(x1))))))))))))) -> 0(2(1(0(1(0(0(0(0(1(0(1(1(2(0(0(0(x1))))))))))))))))) 300.21/300.01 11: 0(0(2(1(0(0(1(1(2(0(0(1(0(x1))))))))))))) -> 0(0(0(0(0(0(2(0(1(0(1(1(0(0(0(2(0(x1))))))))))))))))) 300.21/300.01 12: 0(0(2(1(0(2(0(1(0(2(0(1(0(x1))))))))))))) -> 0(1(1(1(0(0(0(2(2(0(0(0(1(0(1(0(0(x1))))))))))))))))) 300.21/300.01 13: 0(0(2(1(1(2(0(2(1(1(0(2(0(x1))))))))))))) -> 0(0(0(0(0(0(0(0(1(1(2(2(2(2(1(1(0(x1))))))))))))))))) 300.21/300.01 14: 0(0(2(1(2(1(1(1(1(2(0(0(1(x1))))))))))))) -> 0(0(0(0(0(2(0(2(2(1(0(0(1(0(2(0(1(x1))))))))))))))))) 300.21/300.01 15: 0(0(2(1(2(1(2(0(0(0(2(0(1(x1))))))))))))) -> 0(1(1(0(2(0(0(0(0(0(0(2(1(1(1(0(1(x1))))))))))))))))) 300.21/300.01 16: 0(1(0(0(2(0(0(1(1(1(2(1(0(x1))))))))))))) -> 0(0(1(0(0(1(0(1(0(2(1(1(0(1(0(0(0(x1))))))))))))))))) 300.21/300.01 17: 0(1(0(1(1(1(0(0(2(2(1(2(0(x1))))))))))))) -> 0(0(1(2(0(0(0(2(1(2(0(0(1(2(0(0(0(x1))))))))))))))))) 300.21/300.01 18: 0(1(0(1(2(0(0(1(0(1(1(0(1(x1))))))))))))) -> 0(0(0(0(0(0(0(1(2(0(2(1(0(0(0(2(1(x1))))))))))))))))) 300.21/300.01 19: 0(1(0(2(1(2(1(2(1(1(1(0(0(x1))))))))))))) -> 0(1(0(0(2(2(0(2(0(1(0(2(0(0(0(0(0(x1))))))))))))))))) 300.21/300.01 20: 0(1(1(0(1(0(2(1(1(0(0(0(2(x1))))))))))))) -> 0(0(0(0(0(1(1(1(2(1(1(0(0(0(0(0(0(x1))))))))))))))))) 300.21/300.01 21: 0(1(1(0(2(0(2(2(1(1(2(0(0(x1))))))))))))) -> 0(0(2(0(2(2(0(2(0(0(0(2(0(1(0(0(0(x1))))))))))))))))) 300.21/300.01 22: 0(1(1(0(2(1(1(1(2(2(0(2(0(x1))))))))))))) -> 0(0(2(1(2(1(0(0(2(0(1(0(2(2(0(0(0(x1))))))))))))))))) 300.21/300.01 23: 0(1(1(0(2(1(2(2(1(1(0(2(1(x1))))))))))))) -> 0(0(2(1(0(0(0(1(2(0(0(2(1(2(1(0(1(x1))))))))))))))))) 300.21/300.01 24: 0(1(1(1(0(2(1(1(1(0(2(1(0(x1))))))))))))) -> 0(2(1(0(1(0(0(0(0(0(1(0(1(0(1(2(0(x1))))))))))))))))) 300.21/300.01 25: 0(1(2(0(2(1(0(2(0(2(2(2(1(x1))))))))))))) -> 0(2(0(0(1(1(0(0(1(1(1(1(0(1(2(2(1(x1))))))))))))))))) 300.21/300.01 26: 0(1(2(0(2(1(2(0(1(0(0(0(0(x1))))))))))))) -> 0(1(0(0(2(1(0(0(0(0(0(0(0(2(2(1(0(x1))))))))))))))))) 300.21/300.01 27: 0(1(2(2(1(0(1(1(0(1(0(1(1(x1))))))))))))) -> 0(0(0(0(1(0(2(0(2(1(0(0(0(0(2(2(1(x1))))))))))))))))) 300.21/300.01 28: 0(1(2(2(2(0(1(0(0(2(0(0(0(x1))))))))))))) -> 0(1(0(0(0(2(2(0(0(2(1(0(0(1(1(0(0(x1))))))))))))))))) 300.21/300.01 29: 0(1(2(2(2(2(0(2(1(2(0(0(0(x1))))))))))))) -> 0(0(0(1(1(0(2(2(0(1(2(1(1(0(1(1(0(x1))))))))))))))))) 300.21/300.01 30: 0(2(0(0(1(0(0(2(0(2(0(0(1(x1))))))))))))) -> 0(0(0(2(0(0(1(2(0(0(0(0(0(0(0(1(0(x1))))))))))))))))) 300.21/300.01 31: 0(2(0(2(0(2(0(1(2(2(0(2(0(x1))))))))))))) -> 0(1(1(2(0(2(1(0(0(0(2(2(1(0(2(0(0(x1))))))))))))))))) 300.21/300.01 32: 0(2(0(2(1(2(1(0(0(0(2(2(0(x1))))))))))))) -> 0(2(2(1(1(0(0(0(2(0(0(0(0(1(0(2(0(x1))))))))))))))))) 300.21/300.01 33: 0(2(1(0(0(2(0(1(1(2(1(2(2(x1))))))))))))) -> 0(1(0(1(1(1(0(0(1(2(1(1(0(0(0(2(2(x1))))))))))))))))) 300.21/300.01 34: 0(2(1(0(1(1(0(2(2(0(1(0(0(x1))))))))))))) -> 0(2(2(1(2(0(0(1(0(0(2(0(0(0(0(0(0(x1))))))))))))))))) 300.21/300.01 35: 0(2(1(0(1(2(1(2(2(0(0(0(0(x1))))))))))))) -> 0(2(1(0(1(0(0(0(1(2(1(0(0(0(2(0(0(x1))))))))))))))))) 300.21/300.01 36: 0(2(1(2(1(0(0(1(2(2(1(0(2(x1))))))))))))) -> 0(0(0(0(1(1(1(2(1(0(1(1(0(2(1(0(2(x1))))))))))))))))) 300.21/300.01 37: 0(2(1(2(1(0(1(2(0(2(0(1(0(x1))))))))))))) -> 0(1(0(2(2(0(0(2(2(0(0(0(0(1(0(1(0(x1))))))))))))))))) 300.21/300.01 38: 0(2(1(2(1(1(1(2(2(0(0(0(1(x1))))))))))))) -> 0(0(0(0(2(0(0(2(1(0(0(2(1(2(0(2(1(x1))))))))))))))))) 300.21/300.01 39: 1(0(0(0(0(0(1(2(2(1(0(0(2(x1))))))))))))) -> 2(1(0(0(0(0(1(0(0(0(0(0(0(0(0(1(0(x1))))))))))))))))) 300.21/300.01 40: 1(0(1(1(2(1(1(2(0(0(2(0(0(x1))))))))))))) -> 1(0(0(1(1(0(0(1(1(0(0(0(1(2(0(2(0(x1))))))))))))))))) 300.21/300.01 41: 1(0(1(1(2(1(1(2(0(1(2(2(0(x1))))))))))))) -> 1(0(1(1(2(1(2(1(1(1(0(1(2(0(0(0(0(x1))))))))))))))))) 300.21/300.01 42: 1(0(1(2(0(2(2(2(0(1(1(1(0(x1))))))))))))) -> 1(0(0(1(1(0(0(2(1(0(1(2(1(0(1(2(0(x1))))))))))))))))) 300.21/300.01 43: 1(1(1(2(2(1(0(2(1(0(1(1(0(x1))))))))))))) -> 1(1(1(1(0(0(1(0(1(0(1(1(1(0(2(0(0(x1))))))))))))))))) 300.21/300.01 44: 1(2(1(0(2(0(1(0(2(0(0(1(0(x1))))))))))))) -> 1(2(1(1(0(0(2(1(0(0(0(1(0(1(0(0(0(x1))))))))))))))))) 300.21/300.01 45: 2(0(0(1(0(0(2(1(0(1(0(0(1(x1))))))))))))) -> 1(0(0(0(0(1(0(1(0(0(0(0(0(0(2(0(0(x1))))))))))))))))) 300.21/300.01 46: 2(0(1(1(0(0(2(1(2(1(0(0(0(x1))))))))))))) -> 0(2(1(0(0(0(0(1(1(0(0(0(1(2(0(0(0(x1))))))))))))))))) 300.21/300.01 47: 2(0(2(0(1(0(2(1(2(2(1(2(0(x1))))))))))))) -> 2(0(0(0(2(2(1(1(0(0(1(0(2(1(1(2(0(x1))))))))))))))))) 300.21/300.01 48: 2(0(2(1(0(0(2(1(1(1(2(0(0(x1))))))))))))) -> 2(1(0(0(1(0(2(0(1(0(0(1(0(0(2(0(0(x1))))))))))))))))) 300.21/300.01 49: 2(1(1(1(1(0(0(1(2(2(0(2(1(x1))))))))))))) -> 0(0(2(0(0(2(0(0(2(0(1(2(0(1(1(0(1(x1))))))))))))))))) 300.21/300.01 50: 2(1(1(1(1(1(2(2(1(0(0(1(0(x1))))))))))))) -> 0(2(0(2(0(2(0(0(0(2(1(0(2(1(1(0(0(x1))))))))))))))))) 300.21/300.01 51: 2(1(2(0(0(0(0(1(1(1(0(0(1(x1))))))))))))) -> 0(2(0(0(1(0(0(0(2(0(0(0(0(0(0(2(1(x1))))))))))))))))) 300.21/300.01 52: 2(2(0(0(0(0(1(0(0(1(0(2(2(x1))))))))))))) -> 0(0(0(2(0(0(0(0(0(1(1(1(2(1(0(0(1(x1))))))))))))))))) 300.21/300.01 53: 2(2(0(1(1(1(2(0(0(0(0(0(0(x1))))))))))))) -> 0(0(0(0(1(0(0(1(1(0(0(1(0(1(1(1(0(x1))))))))))))))))) 300.21/300.01 54: 2(2(2(1(0(1(2(1(2(0(1(0(2(x1))))))))))))) -> 2(2(2(1(1(0(0(0(0(0(2(1(2(1(1(0(2(x1))))))))))))))))) 300.21/300.01 55: 2(2(2(1(1(0(1(1(0(0(0(1(2(x1))))))))))))) -> 2(1(1(0(0(1(0(0(0(1(0(0(2(1(0(1(2(x1))))))))))))))))) 300.21/300.01 Number of strict rules: 55 300.21/300.01 Direct POLO(bPol) ... failed. 300.21/300.01 Uncurrying ... failed. 300.21/300.01 EOF
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS_Standard 2019-03-29 03.29