Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #487087135
details
property
value
status
timeout (wallclock)
benchmark
161930.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 v.1.6c
configuration
Default
runtime (wallclock)
300.089 seconds
cpu usage
301.66
user time
301.29
system time
0.37
max virtual memory
482256.0
max residence set size
9268.0
stage attributes
unavailable
output
/export/starexec/sandbox/solver/bin/starexec_run_Default: line 4: 62494 Done xsltproc "$DIR/xtc2tpdb.xml" "$1" 62495 Alarm clock | NaTT.exe 2> "$2/stdout.txt" 2> $DIR/stderr.txt Input TRS: 1: 0(0(x1)) -> 1(1(0(x1))) 2: 0(0(x1)) -> 1(1(1(1(x1)))) 3: 2(0(2(x1))) -> 2(1(1(1(x1)))) 4: 2(0(0(1(x1)))) -> 1(1(1(2(2(1(x1)))))) 5: 2(2(2(1(x1)))) -> 2(1(1(2(1(x1))))) 6: 0(0(0(2(0(x1))))) -> 1(2(2(1(1(2(x1)))))) 7: 0(0(0(2(0(x1))))) -> 2(1(2(1(1(1(0(x1))))))) 8: 0(1(0(1(0(1(x1)))))) -> 2(1(2(1(1(2(1(1(1(x1))))))))) 9: 0(2(0(0(0(1(0(x1))))))) -> 1(1(1(2(1(1(0(0(x1)))))))) 10: 0(2(0(0(1(2(2(x1))))))) -> 1(1(1(0(1(0(1(1(x1)))))))) 11: 0(2(2(1(0(1(0(x1))))))) -> 0(2(2(1(2(1(1(1(x1)))))))) 12: 1(0(1(2(0(0(1(x1))))))) -> 2(2(2(1(0(1(1(1(x1)))))))) 13: 1(0(2(0(2(2(0(x1))))))) -> 0(1(1(1(1(1(0(0(1(x1))))))))) 14: 2(1(0(2(0(2(1(x1))))))) -> 0(2(0(0(2(1(1(1(x1)))))))) 15: 0(0(0(0(0(2(2(2(x1)))))))) -> 1(2(2(1(1(1(1(1(2(1(x1)))))))))) 16: 0(0(1(2(2(0(1(2(x1)))))))) -> 2(0(0(1(2(2(1(1(1(x1))))))))) 17: 2(1(2(1(0(2(1(2(x1)))))))) -> 1(0(1(2(1(1(1(2(1(x1))))))))) 18: 0(0(2(2(1(0(0(2(0(x1))))))))) -> 1(2(0(0(1(2(1(1(0(1(1(x1))))))))))) 19: 2(0(0(2(2(0(0(0(2(x1))))))))) -> 1(1(2(0(2(0(1(1(2(0(1(x1))))))))))) 20: 2(2(2(0(2(0(1(2(2(x1))))))))) -> 2(1(2(1(1(1(2(1(1(2(x1)))))))))) 21: 1(2(2(1(2(2(0(1(1(0(x1)))))))))) -> 1(2(1(2(0(1(1(0(1(1(1(1(x1)))))))))))) 22: 0(1(0(0(1(2(1(0(2(1(2(x1))))))))))) -> 2(2(2(1(1(1(1(1(1(1(1(0(1(2(2(0(2(x1))))))))))))))))) 23: 0(2(2(1(0(0(1(2(0(0(1(x1))))))))))) -> 0(1(0(1(2(2(1(1(2(1(1(1(x1)))))))))))) 24: 1(1(2(0(2(0(0(0(0(0(2(x1))))))))))) -> 0(2(2(0(1(1(1(1(1(0(1(1(2(1(1(1(1(x1))))))))))))))))) 25: 2(2(0(0(2(0(1(2(2(0(0(x1))))))))))) -> 2(2(1(2(2(1(2(1(1(1(1(1(1(x1))))))))))))) 26: 0(0(0(0(2(0(2(1(2(2(0(0(x1)))))))))))) -> 1(0(2(2(1(1(1(1(1(0(2(1(1(0(x1)))))))))))))) 27: 0(1(0(2(0(0(0(0(0(0(0(2(x1)))))))))))) -> 2(2(1(1(1(0(1(0(1(1(0(1(1(x1))))))))))))) 28: 2(0(0(0(2(2(2(0(2(1(0(2(x1)))))))))))) -> 2(0(1(2(2(1(1(0(1(0(2(0(2(x1))))))))))))) 29: 2(2(0(2(2(1(1(2(2(0(1(0(x1)))))))))))) -> 0(1(2(0(2(1(1(1(1(1(0(2(1(x1))))))))))))) 30: 0(0(2(0(1(1(2(2(0(0(0(0(0(x1))))))))))))) -> 1(1(0(1(1(1(1(2(1(2(2(2(1(1(2(x1))))))))))))))) 31: 0(1(2(2(2(2(1(2(0(0(0(1(2(x1))))))))))))) -> 1(1(1(2(1(2(2(0(2(0(0(0(1(2(x1)))))))))))))) 32: 1(0(2(0(0(0(0(2(0(0(0(0(2(x1))))))))))))) -> 0(2(2(2(1(1(1(1(0(0(1(2(0(0(2(x1))))))))))))))) 33: 2(2(0(0(0(2(2(1(2(0(2(2(1(x1))))))))))))) -> 2(0(1(2(0(1(1(0(2(2(1(1(1(2(1(x1))))))))))))))) 34: 0(2(0(0(0(1(0(1(0(1(0(1(0(0(x1)))))))))))))) -> 2(0(1(1(1(0(0(1(2(0(2(0(1(1(1(2(1(1(x1)))))))))))))))))) 35: 1(0(0(1(0(2(0(1(2(0(2(2(0(0(x1)))))))))))))) -> 1(2(1(1(1(1(1(1(0(2(2(1(0(0(2(2(2(x1))))))))))))))))) 36: 2(0(1(0(2(0(2(0(0(0(0(0(0(2(x1)))))))))))))) -> 1(0(2(0(0(0(1(2(1(0(2(0(1(1(2(x1))))))))))))))) 37: 0(1(1(1(2(2(0(2(0(2(1(1(2(2(0(x1))))))))))))))) -> 2(0(2(2(2(0(2(1(1(1(1(1(0(2(0(x1))))))))))))))) 38: 1(0(1(0(0(1(0(2(0(1(0(0(2(1(2(x1))))))))))))))) -> 2(0(2(0(2(1(1(1(0(1(1(2(2(0(2(1(x1)))))))))))))))) 39: 0(0(2(0(0(2(0(2(2(1(1(0(1(1(0(2(x1)))))))))))))))) -> 1(1(2(2(2(2(1(2(1(1(2(0(0(0(1(1(2(x1))))))))))))))))) 40: 0(1(2(0(1(0(1(0(0(2(1(2(0(2(2(0(x1)))))))))))))))) -> 1(2(1(2(1(1(2(2(2(0(2(1(1(1(2(1(1(1(x1)))))))))))))))))) 41: 0(2(1(1(0(1(0(2(2(2(0(2(2(0(0(0(x1)))))))))))))))) -> 0(1(1(0(0(1(0(1(1(1(2(2(2(1(1(1(2(2(2(x1))))))))))))))))))) 42: 1(0(1(1(0(1(1(2(1(1(2(0(2(0(2(0(x1)))))))))))))))) -> 1(1(1(2(1(1(1(0(0(2(1(0(2(1(1(1(1(1(1(x1))))))))))))))))))) 43: 1(2(0(1(0(0(2(2(0(1(1(0(1(0(1(1(x1)))))))))))))))) -> 1(0(1(1(1(2(2(1(1(2(2(1(1(2(1(2(1(x1))))))))))))))))) 44: 2(0(0(2(2(0(0(2(2(0(2(2(2(1(2(2(x1)))))))))))))))) -> 2(2(1(0(1(1(1(0(0(1(0(0(0(1(2(2(1(1(x1)))))))))))))))))) 45: 2(1(1(0(1(0(0(1(2(0(1(1(0(0(2(2(x1)))))))))))))))) -> 0(1(1(2(2(2(1(1(1(0(1(1(2(0(1(0(2(x1))))))))))))))))) 46: 2(1(2(1(0(0(1(1(2(1(2(2(0(1(0(1(x1)))))))))))))))) -> 1(1(2(0(1(1(1(0(0(1(2(1(2(2(2(1(1(x1))))))))))))))))) 47: 0(0(0(0(1(2(2(2(1(2(0(2(1(1(1(0(2(x1))))))))))))))))) -> 2(2(1(0(1(1(0(2(2(1(2(0(1(1(1(2(0(2(x1)))))))))))))))))) 48: 0(0(0(0(2(0(0(0(2(2(2(2(2(1(0(2(0(x1))))))))))))))))) -> 2(0(1(0(1(1(0(0(1(1(2(2(2(2(2(1(2(1(1(0(x1)))))))))))))))))))) 49: 0(0(2(2(0(2(2(1(2(2(0(0(0(1(0(0(0(x1))))))))))))))))) -> 0(1(1(2(0(0(1(0(2(1(1(2(1(2(0(1(1(0(1(1(1(x1))))))))))))))))))))) 50: 0(2(2(1(2(2(1(1(2(1(2(1(0(0(2(2(2(x1))))))))))))))))) -> 0(2(0(2(2(1(0(1(1(2(1(2(2(2(1(2(2(x1))))))))))))))))) 51: 1(2(1(2(0(1(0(1(0(0(2(0(1(0(0(2(0(x1))))))))))))))))) -> 2(1(1(2(0(2(2(0(1(1(0(1(0(1(2(2(1(2(x1)))))))))))))))))) 52: 2(1(0(2(2(2(1(0(2(1(0(1(0(2(0(0(2(x1))))))))))))))))) -> 0(2(2(2(2(1(0(1(1(2(2(0(2(1(0(1(1(1(1(x1))))))))))))))))))) 53: 2(1(1(0(2(1(2(0(2(0(0(0(0(2(0(2(0(x1))))))))))))))))) -> 1(1(1(1(0(1(1(2(1(0(0(1(0(0(0(1(2(0(x1)))))))))))))))))) 54: 2(1(2(0(1(0(1(2(2(2(2(1(2(0(2(1(0(x1))))))))))))))))) -> 0(2(0(2(2(1(1(0(1(1(1(1(0(1(1(0(0(2(1(1(0(x1))))))))))))))))))))) 55: 0(0(0(1(2(0(2(0(0(0(1(2(1(2(1(0(2(2(x1)))))))))))))))))) -> 0(0(1(0(0(2(1(1(2(2(1(0(1(1(1(1(2(2(2(2(1(1(x1)))))))))))))))))))))) 56: 0(0(1(0(2(1(1(0(2(0(0(2(1(0(2(1(0(1(x1)))))))))))))))))) -> 2(1(2(1(0(1(2(2(1(0(1(2(0(1(1(1(0(1(1(x1))))))))))))))))))) 57: 0(0(2(2(1(2(0(0(2(2(1(0(0(2(2(2(0(0(x1)))))))))))))))))) -> 0(1(1(0(2(2(2(1(1(2(2(0(2(1(1(2(0(1(1(1(x1)))))))))))))))))))) 58: 0(1(1(0(2(2(1(0(2(1(0(2(0(2(2(0(2(0(x1)))))))))))))))))) -> 0(2(1(1(2(0(0(1(0(1(1(1(1(1(2(0(1(2(1(1(1(1(1(0(1(0(x1)))))))))))))))))))))))))) 59: 0(2(1(0(0(1(2(0(1(1(2(0(0(1(0(2(2(0(x1)))))))))))))))))) -> 0(2(1(1(1(2(2(2(1(1(1(0(1(2(0(2(0(2(1(0(x1)))))))))))))))))))) 60: 1(0(1(0(2(2(2(0(0(2(0(1(0(0(2(0(2(2(x1)))))))))))))))))) -> 1(0(1(2(0(1(2(2(1(1(2(1(1(1(1(0(0(2(2(x1))))))))))))))))))) 61: 1(0(2(1(0(2(0(1(0(1(2(1(2(0(0(1(2(0(x1)))))))))))))))))) -> 1(0(0(1(1(1(1(2(2(0(1(2(2(2(0(0(1(0(0(x1))))))))))))))))))) 62: 2(0(0(2(0(0(1(0(2(0(1(2(0(0(1(0(1(0(x1)))))))))))))))))) -> 0(2(0(1(0(0(2(0(0(1(2(1(1(0(2(1(1(1(0(x1))))))))))))))))))) 63: 1(0(2(2(2(2(2(2(2(2(1(0(1(2(1(0(1(2(1(x1))))))))))))))))))) -> 1(0(2(2(2(1(2(2(0(2(2(1(2(0(2(1(1(2(1(x1))))))))))))))))))) 64: 1(2(1(0(0(0(0(2(1(0(1(0(1(2(1(0(1(0(2(x1))))))))))))))))))) -> 0(1(1(1(2(1(1(1(1(2(1(1(2(0(2(1(1(1(2(2(1(2(2(0(2(x1))))))))))))))))))))))))) 65: 2(0(2(2(1(2(0(2(2(2(2(1(2(0(0(1(0(1(0(x1))))))))))))))))))) -> 1(1(2(2(0(2(2(2(2(0(1(0(2(1(0(0(0(1(1(1(1(1(1(x1))))))))))))))))))))))) 66: 1(0(0(1(0(1(1(2(2(1(0(1(1(0(0(0(2(2(2(0(x1)))))))))))))))))))) -> 1(0(1(1(2(1(0(2(1(0(2(1(1(1(2(0(1(0(2(0(0(x1))))))))))))))))))))) 67: 1(1(0(0(2(2(0(0(1(0(0(2(1(2(0(1(2(1(1(0(x1)))))))))))))))))))) -> 1(1(2(0(1(1(0(0(2(2(0(0(1(0(1(1(0(1(1(0(0(x1))))))))))))))))))))) 68: 1(2(2(0(0(0(1(2(0(1(2(1(0(1(0(0(0(0(2(2(x1)))))))))))))))))))) -> 2(1(1(1(0(2(2(0(1(2(0(0(0(1(1(0(0(0(1(1(2(x1))))))))))))))))))))) 69: 1(2(2(2(1(0(1(2(2(1(1(0(2(0(1(0(1(2(0(1(x1)))))))))))))))))))) -> 2(0(1(2(0(1(2(1(1(0(0(1(1(1(0(2(0(1(2(0(1(1(x1)))))))))))))))))))))) 70: 2(2(0(0(0(0(0(1(1(0(1(2(0(2(0(1(1(0(0(0(x1)))))))))))))))))))) -> 2(2(2(2(1(1(1(0(0(1(1(1(1(2(2(1(0(0(0(1(1(1(1(0(1(x1))))))))))))))))))))))))) 71: 2(2(0(0(2(0(0(0(2(1(2(1(2(0(1(1(0(0(1(1(x1)))))))))))))))))))) -> 1(2(1(0(1(2(1(2(0(1(1(2(1(1(2(0(2(2(0(1(1(x1))))))))))))))))))))) 72: 2(2(0(2(2(0(0(0(1(2(1(2(2(2(2(2(2(0(2(1(x1)))))))))))))))))))) -> 1(1(0(0(0(1(2(1(0(0(1(2(0(2(1(0(1(0(1(2(1(1(1(x1))))))))))))))))))))))) 73: 0(2(1(2(1(2(1(0(0(2(2(1(0(2(0(1(1(0(0(2(0(x1))))))))))))))))))))) -> 1(0(0(1(1(2(2(2(1(0(2(0(2(0(1(1(1(2(0(0(1(1(2(1(x1)))))))))))))))))))))))) 74: 1(0(1(0(0(1(2(1(1(0(2(1(1(0(2(1(1(1(1(2(1(x1))))))))))))))))))))) -> 1(1(2(0(0(1(2(1(1(1(2(2(1(0(0(1(1(1(1(0(1(x1))))))))))))))))))))) 75: 2(0(2(1(2(0(1(0(1(0(2(1(2(1(1(0(1(2(2(2(2(x1))))))))))))))))))))) -> 0(2(1(2(1(2(1(0(1(0(1(1(1(2(2(1(1(0(1(1(1(1(x1)))))))))))))))))))))) 76: 2(2(1(2(0(2(1(0(2(2(1(1(0(2(2(2(1(0(2(1(2(x1))))))))))))))))))))) -> 1(1(1(2(2(1(1(1(2(2(1(2(1(2(1(1(0(1(0(2(1(2(x1)))))))))))))))))))))) 77: 0(0(1(2(0(2(0(2(1(1(2(2(0(1(1(2(0(0(0(0(2(0(1(x1))))))))))))))))))))))) -> 1(0(1(1(2(1(0(0(1(0(1(1(0(2(2(0(1(2(1(2(1(0(1(1(x1)))))))))))))))))))))))) 78: 0(1(1(2(2(2(2(1(0(0(0(1(0(0(2(0(1(2(0(2(1(0(0(x1))))))))))))))))))))))) -> 2(1(2(0(0(1(2(1(0(1(2(2(1(1(0(2(0(2(0(1(2(2(1(1(x1)))))))))))))))))))))))) 79: 2(0(1(0(2(2(0(2(2(2(1(1(0(1(2(2(2(2(2(1(0(1(0(x1))))))))))))))))))))))) -> 0(2(1(1(1(1(0(1(0(0(0(0(1(1(0(2(2(0(2(0(1(1(1(2(1(0(x1)))))))))))))))))))))))))) 80: 0(0(2(1(2(0(0(2(2(0(0(0(1(2(2(0(1(1(0(2(2(1(0(0(x1)))))))))))))))))))))))) -> 1(2(0(0(2(0(2(1(1(2(1(1(0(1(2(0(2(0(1(1(1(0(0(1(2(0(1(1(x1)))))))))))))))))))))))))))) 81: 1(0(0(2(2(0(2(1(1(0(0(1(2(0(1(0(1(1(2(1(0(1(2(2(x1)))))))))))))))))))))))) -> 0(1(1(0(2(1(1(0(0(2(1(2(1(1(1(1(1(2(1(0(2(1(1(0(0(2(x1)))))))))))))))))))))))))) 82: 1(0(2(1(0(1(0(2(2(2(2(0(1(1(2(2(0(0(1(2(0(2(0(2(x1)))))))))))))))))))))))) -> 1(2(2(0(1(2(0(1(1(0(0(2(1(0(1(1(2(0(1(0(2(1(0(1(1(2(x1)))))))))))))))))))))))))) 83: 2(2(1(1(2(0(2(0(1(0(0(0(2(1(0(2(1(2(2(0(2(2(1(1(x1)))))))))))))))))))))))) -> 2(2(1(2(2(1(1(2(2(1(1(2(0(0(0(2(0(0(2(0(1(2(0(1(x1)))))))))))))))))))))))) 84: 0(0(0(0(1(1(0(0(1(0(2(0(2(2(1(2(1(2(0(2(2(0(0(2(2(x1))))))))))))))))))))))))) -> 1(0(2(0(2(1(2(0(0(2(1(2(1(0(0(0(2(0(2(2(0(2(1(1(1(1(2(x1))))))))))))))))))))))))))) 85: 0(1(0(1(1(0(1(0(1(1(2(2(0(0(2(0(2(1(0(0(2(2(2(2(2(x1))))))))))))))))))))))))) -> 0(2(0(1(1(1(2(2(2(0(1(2(2(1(2(1(2(0(2(2(2(1(1(1(0(2(1(x1))))))))))))))))))))))))))) 86: 0(1(2(1(0(2(0(0(0(1(0(1(0(0(2(2(0(0(2(2(2(1(2(2(2(x1))))))))))))))))))))))))) -> 1(0(0(1(1(1(2(2(1(1(0(1(2(0(1(0(0(0(2(0(1(0(1(2(0(1(x1)))))))))))))))))))))))))) 87: 0(1(2(2(0(1(1(2(1(0(0(2(2(0(2(1(2(2(2(0(0(1(2(0(0(x1))))))))))))))))))))))))) -> 2(1(1(0(2(1(1(0(2(2(2(2(1(2(1(0(0(2(1(1(2(2(1(1(1(2(x1)))))))))))))))))))))))))) 88: 1(0(0(2(1(0(0(2(1(2(1(2(2(0(0(2(1(0(0(0(2(2(0(2(0(x1))))))))))))))))))))))))) -> 1(1(0(1(1(1(1(2(2(2(0(1(1(0(1(1(1(2(0(1(0(2(2(2(2(0(1(1(x1)))))))))))))))))))))))))))) 89: 1(0(1(0(1(1(1(2(1(1(1(0(2(1(2(1(2(0(0(2(0(0(1(2(2(x1))))))))))))))))))))))))) -> 1(1(1(1(1(1(1(2(2(0(1(2(1(1(2(1(2(0(1(1(2(2(2(0(1(1(2(1(2(x1))))))))))))))))))))))))))))) 90: 1(1(1(1(0(0(2(0(2(0(2(1(2(2(1(2(1(0(0(0(1(0(1(2(0(x1))))))))))))))))))))))))) -> 1(0(2(2(2(0(1(1(0(2(0(2(1(1(1(1(1(0(0(1(0(2(0(2(0(x1))))))))))))))))))))))))) 91: 2(0(1(2(0(0(0(2(1(1(1(2(1(1(0(2(2(0(1(0(0(0(0(1(2(x1))))))))))))))))))))))))) -> 0(0(0(2(1(1(1(2(1(1(1(1(2(1(0(1(0(0(0(0(0(0(1(1(0(2(x1)))))))))))))))))))))))))) 92: 0(2(2(2(1(0(1(2(1(0(1(1(1(0(0(2(0(1(2(1(2(1(1(1(1(1(x1)))))))))))))))))))))))))) -> 2(2(2(1(0(0(2(2(1(1(1(1(1(1(0(1(0(0(2(0(1(2(1(1(1(1(x1)))))))))))))))))))))))))) 93: 1(1(1(2(2(2(0(2(2(1(0(2(2(1(0(2(0(0(1(2(1(0(0(2(1(2(x1)))))))))))))))))))))))))) -> 1(0(0(1(1(2(0(0(0(2(0(2(1(0(0(1(1(2(1(2(2(1(1(0(1(1(1(x1))))))))))))))))))))))))))) 94: 2(0(0(2(1(2(1(2(2(2(2(2(2(2(0(0(1(0(0(0(1(1(2(2(1(0(x1)))))))))))))))))))))))))) -> 2(1(2(1(1(2(1(1(1(1(0(0(2(0(0(1(1(0(0(0(0(2(2(0(0(1(1(0(0(0(x1)))))))))))))))))))))))))))))) 95: 2(1(0(1(1(0(1(0(1(0(0(1(2(0(2(0(1(1(2(0(1(1(0(0(1(0(x1)))))))))))))))))))))))))) -> 1(1(1(0(1(2(0(1(2(1(1(2(1(1(1(0(1(2(1(2(2(2(0(1(0(0(1(1(1(x1))))))))))))))))))))))))))))) 96: 0(0(2(2(2(2(2(0(2(1(2(0(1(1(0(0(0(1(1(0(0(0(1(2(2(1(1(x1))))))))))))))))))))))))))) -> 2(1(0(2(2(1(0(1(1(0(2(1(2(1(1(1(2(2(1(2(2(0(0(1(0(1(1(1(x1)))))))))))))))))))))))))))) 97: 0(2(0(0(1(0(0(0(0(2(0(2(1(2(2(0(0(0(0(2(2(2(1(2(1(2(0(x1))))))))))))))))))))))))))) -> 0(0(0(2(0(0(2(2(2(1(1(2(0(2(1(0(1(1(0(2(2(2(0(1(1(2(1(0(2(x1)))))))))))))))))))))))))))))
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard