Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432286326
details
property
value
status
complete
benchmark
27131.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n041.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
4.62653 seconds
cpu usage
15.8476
user time
14.5459
system time
1.3017
max virtual memory
4640576.0
max residence set size
99604.0
stage attributes
key
value
starexec-result
YES
output
15.54/4.60 YES 15.81/4.61 15.81/4.61 Problem: 15.81/4.61 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(x1)))))))))) 15.81/4.61 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(x1))))))))))))) 15.81/4.61 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))) 15.81/4.61 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))))))))))))))))))) 15.81/4.61 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)))))))))))))))))))))) 15.81/4.61 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))))))))))))))))))))))))) 15.81/4.61 0(1(2(1(x1)))) -> 15.81/4.61 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)))))))))))))))))))))))))))) 15.81/4.61 0(1(2(1(x1)))) -> 15.81/4.61 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))))))))))))))))))))))))))))))) 15.81/4.61 0(1(2(1(x1)))) -> 15.81/4.61 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)))))))))))))))))))))))))))))))))) 15.81/4.61 0(1(2(1(x1)))) -> 15.81/4.61 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))))))))))))))))))))))))))))))))))))) 15.81/4.61 0(1(2(1(x1)))) -> 15.81/4.61 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)))))))))))))))))))))))))))))))))))))))) 15.81/4.61 0(1(2(1(x1)))) -> 15.81/4.61 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))))))))))))))))))))))))))))))))))))))))))) 15.81/4.61 0(1(2(1(x1)))) -> 15.81/4.61 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( 15.81/4.61 0 15.81/4.61 ( 15.81/4.61 1 15.81/4.61 ( 15.81/4.61 2 15.81/4.61 ( 15.81/4.61 0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))) 15.81/4.61 15.81/4.61 Proof: 15.81/4.61 String Reversal Processor: 15.81/4.61 1(2(1(0(x1)))) -> 2(1(0(2(1(0(1(1(2(1(x1)))))))))) 15.81/4.61 1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))) 15.81/4.61 1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))) 15.81/4.61 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))))))))))))))))))) 15.81/4.61 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)))))))))))))))))))))) 15.81/4.61 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))))))))))))))))))))))))) 15.81/4.61 1(2(1(0(x1)))) -> 15.81/4.61 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)))))))))))))))))))))))))))) 15.81/4.61 1(2(1(0(x1)))) -> 15.81/4.61 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))))))))))))))))))))))))))))))) 15.81/4.61 1(2(1(0(x1)))) -> 15.81/4.61 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)))))))))))))))))))))))))))))))))) 15.81/4.61 1(2(1(0(x1)))) -> 15.81/4.61 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))))))))))))))))))))))))))))))))))))) 15.81/4.61 1(2(1(0(x1)))) -> 15.81/4.61 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)))))))))))))))))))))))))))))))))))))))) 15.81/4.61 1(2(1(0(x1)))) -> 15.81/4.61 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 15.81/4.61 ( 15.81/4.61 1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))))))))))))))))))))) 15.81/4.61 1(2(1(0(x1)))) -> 15.81/4.61 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 15.81/4.61 ( 15.81/4.61 1 15.81/4.61 ( 15.81/4.61 0 15.81/4.61 ( 15.81/4.61 2 15.81/4.61 ( 15.81/4.61 1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))))))))))))))))))))) 15.81/4.61 Bounds Processor: 15.81/4.61 bound: 3 15.81/4.61 enrichment: match 15.81/4.61 automaton: 15.81/4.61 final states: {4} 15.81/4.62 transitions: 15.81/4.62 23(92) -> 93* 15.81/4.62 23(87) -> 88* 15.81/4.62 23(95) -> 96* 15.81/4.62 21(25) -> 26* 15.81/4.62 21(22) -> 23* 15.81/4.62 21(17) -> 18* 15.81/4.62 13(97) -> 98* 15.81/4.62 13(94) -> 95* 15.81/4.62 13(89) -> 90* 15.81/4.62 13(91) -> 92* 15.81/4.62 13(86) -> 87* 15.81/4.62 13(103) -> 104* 15.81/4.62 13(88) -> 89* 15.81/4.62 11(24) -> 25* 15.81/4.62 11(19) -> 20* 15.81/4.62 11(21) -> 22* 15.81/4.62 11(16) -> 17* 15.81/4.62 11(48) -> 49* 15.81/4.62 11(33) -> 34* 15.81/4.62 11(18) -> 19* 15.81/4.62 03(99) -> 100* 15.81/4.62 03(93) -> 94* 15.81/4.62 03(90) -> 91* 15.81/4.62 01(20) -> 21* 15.81/4.62 01(27) -> 28* 15.81/4.62 01(23) -> 24* 15.81/4.62 22(59) -> 60* 15.81/4.62 22(56) -> 57* 15.81/4.62 22(51) -> 52* 15.81/4.62 10(4) -> 4* 15.81/4.62 12(65) -> 66*
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