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