Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432288888
details
property
value
status
complete
benchmark
27134.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n044.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
5.23133 seconds
cpu usage
18.0026
user time
16.6175
system time
1.3851
max virtual memory
4698040.0
max residence set size
111512.0
stage attributes
key
value
starexec-result
YES
output
17.95/5.21 YES 17.95/5.22 17.95/5.22 Problem: 17.95/5.22 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(x1)))))))))) 17.95/5.22 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(x1))))))))))))) 17.95/5.22 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))) 17.95/5.22 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))))))))))))))))))) 17.95/5.22 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)))))))))))))))))))))) 17.95/5.22 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))))))))))))))))))))))))) 17.95/5.22 0(1(2(1(x1)))) -> 17.95/5.22 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)))))))))))))))))))))))))))) 17.95/5.22 0(1(2(1(x1)))) -> 17.95/5.22 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))))))))))))))))))))))))))))))) 17.95/5.22 0(1(2(1(x1)))) -> 17.95/5.22 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)))))))))))))))))))))))))))))))))) 17.95/5.22 0(1(2(1(x1)))) -> 17.95/5.22 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))))))))))))))))))))))))))))))))))))) 17.95/5.22 0(1(2(1(x1)))) -> 17.95/5.22 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)))))))))))))))))))))))))))))))))))))))) 17.95/5.22 0(1(2(1(x1)))) -> 17.95/5.22 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))))))))))))))))))))))))))))))))))))))))))) 17.95/5.22 0(1(2(1(x1)))) -> 17.95/5.22 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( 17.95/5.22 0 17.95/5.22 ( 17.95/5.22 1 17.95/5.22 ( 17.95/5.22 2 17.95/5.22 ( 17.95/5.22 0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))) 17.95/5.22 0(1(2(1(x1)))) -> 17.95/5.22 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( 17.95/5.22 0 17.95/5.22 ( 17.95/5.22 1 17.95/5.22 ( 17.95/5.22 2 17.95/5.22 ( 17.95/5.22 0 17.95/5.22 ( 17.95/5.22 1 17.95/5.22 ( 17.95/5.22 2 17.95/5.22 ( 17.95/5.22 0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))) 17.95/5.22 17.95/5.22 Proof: 17.95/5.22 String Reversal Processor: 17.95/5.22 1(2(1(0(x1)))) -> 2(1(0(2(1(0(1(1(2(1(x1)))))))))) 17.95/5.22 1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))) 17.95/5.22 1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))) 17.95/5.22 1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))))))))) 17.95/5.22 1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))) 17.95/5.22 1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))) 17.95/5.22 1(2(1(0(x1)))) -> 17.95/5.22 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))) 17.95/5.22 1(2(1(0(x1)))) -> 17.95/5.22 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))))))))) 17.95/5.22 1(2(1(0(x1)))) -> 17.95/5.22 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))) 17.95/5.22 1(2(1(0(x1)))) -> 17.95/5.22 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))))))))))))))) 17.95/5.22 1(2(1(0(x1)))) -> 17.95/5.22 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))))))))) 17.95/5.22 1(2(1(0(x1)))) -> 17.95/5.22 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2 17.95/5.22 ( 17.95/5.22 1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))))))))))))))))))))) 17.95/5.22 1(2(1(0(x1)))) -> 17.95/5.22 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2 17.95/5.22 ( 17.95/5.22 1 17.95/5.22 ( 17.95/5.22 0 17.95/5.22 ( 17.95/5.22 2 17.95/5.22 ( 17.95/5.22 1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))))))))))))))) 17.95/5.22 1(2(1(0(x1)))) -> 17.95/5.22 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2 17.95/5.22 ( 17.95/5.22 1 17.95/5.22 ( 17.95/5.22 0 17.95/5.22 ( 17.95/5.22 2 17.95/5.22 ( 17.95/5.22 1 17.95/5.22 ( 17.95/5.22 0 17.95/5.22 ( 17.95/5.22 2 17.95/5.22 ( 17.95/5.22 1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))))))))))))))))))))))))))) 17.95/5.22 Bounds Processor: 17.95/5.22 bound: 3 17.95/5.22 enrichment: match 17.95/5.22 automaton: 17.95/5.22 final states: {4} 17.95/5.22 transitions:
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