Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432288966
details
property
value
status
complete
benchmark
28293.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n070.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
7.98728 seconds
cpu usage
27.4861
user time
25.7168
system time
1.76933
max virtual memory
4711560.0
max residence set size
148548.0
stage attributes
key
value
starexec-result
YES
output
27.30/7.95 YES 27.30/7.96 27.30/7.96 Problem: 27.30/7.96 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(x1)))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(x1))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 27.30/7.96 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 27.30/7.96 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 27.30/7.96 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 27.30/7.96 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 27.30/7.96 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 27.30/7.96 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 27.30/7.96 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 27.30/7.96 0 27.30/7.96 ( 27.30/7.96 1 27.30/7.96 ( 27.30/7.96 2 27.30/7.96 ( 27.30/7.96 0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 27.30/7.96 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 27.30/7.96 0 27.30/7.96 ( 27.30/7.96 1 27.30/7.96 ( 27.30/7.96 2 27.30/7.96 ( 27.30/7.96 0 27.30/7.96 ( 27.30/7.96 1 27.30/7.96 ( 27.30/7.96 2 27.30/7.96 ( 27.30/7.96 0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 27.30/7.96 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 27.30/7.96 0 27.30/7.96 ( 27.30/7.96 1 27.30/7.96 ( 27.30/7.96 2 27.30/7.96 ( 27.30/7.96 0 27.30/7.96 ( 27.30/7.96 1 27.30/7.96 ( 27.30/7.96 2 27.30/7.96 ( 27.30/7.96 0 27.30/7.96 ( 27.30/7.96 1 27.30/7.96 ( 27.30/7.96 2 27.30/7.96 ( 27.30/7.96 0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 27.30/7.96 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 27.30/7.96 0 27.30/7.96 ( 27.30/7.96 1 27.30/7.96 ( 27.30/7.96 2 27.30/7.96 ( 27.30/7.96 0 27.30/7.96 ( 27.30/7.96 1 27.30/7.96 ( 27.30/7.96 2 27.30/7.96 ( 27.30/7.96 0 27.30/7.96 ( 27.30/7.96 1 27.30/7.96 ( 27.30/7.96 2 27.30/7.96 ( 27.30/7.96 0 27.30/7.96 ( 27.30/7.96 1 27.30/7.96 ( 27.30/7.96 2 27.30/7.96 ( 27.30/7.96 0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))) 27.30/7.96 0(1(2(1(x1)))) -> 27.30/7.96 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2( 27.30/7.96 0 27.30/7.96 ( 27.30/7.96 1 27.30/7.96 ( 27.30/7.96 2
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