Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432288636
details
property
value
status
complete
benchmark
211978.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n084.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
14.3285 seconds
cpu usage
55.1938
user time
52.7643
system time
2.4295
max virtual memory
4954212.0
max residence set size
208868.0
stage attributes
key
value
starexec-result
YES
output
54.90/14.30 YES 54.90/14.31 54.90/14.31 Problem: 54.90/14.31 0(0(1(x1))) -> 0(2(3(0(1(x1))))) 54.90/14.31 0(0(1(x1))) -> 0(4(0(5(4(1(x1)))))) 54.90/14.31 0(0(1(x1))) -> 2(1(0(0(3(4(x1)))))) 54.90/14.31 0(0(1(x1))) -> 4(0(5(4(0(1(x1)))))) 54.90/14.31 0(1(0(x1))) -> 0(0(2(1(2(x1))))) 54.90/14.31 0(1(0(x1))) -> 1(0(0(5(4(x1))))) 54.90/14.31 0(1(0(x1))) -> 0(0(2(5(4(1(x1)))))) 54.90/14.31 0(1(1(x1))) -> 1(0(3(4(1(x1))))) 54.90/14.31 0(1(1(x1))) -> 5(0(3(4(1(1(x1)))))) 54.90/14.31 5(0(1(x1))) -> 0(5(4(1(x1)))) 54.90/14.31 5(0(1(x1))) -> 2(5(4(0(1(x1))))) 54.90/14.31 5(0(1(x1))) -> 5(0(2(1(2(x1))))) 54.90/14.31 5(0(1(x1))) -> 0(1(4(5(4(4(x1)))))) 54.90/14.31 5(0(1(x1))) -> 0(5(4(1(4(4(x1)))))) 54.90/14.31 5(0(1(x1))) -> 5(0(4(3(0(1(x1)))))) 54.90/14.31 5(1(0(x1))) -> 5(0(2(2(1(x1))))) 54.90/14.31 5(1(0(x1))) -> 5(0(5(4(1(x1))))) 54.90/14.31 5(1(0(x1))) -> 0(5(0(2(2(1(x1)))))) 54.90/14.31 5(1(0(x1))) -> 1(4(0(5(2(3(x1)))))) 54.90/14.31 5(1(0(x1))) -> 1(5(0(4(4(2(x1)))))) 54.90/14.31 5(1(0(x1))) -> 4(4(1(0(4(5(x1)))))) 54.90/14.31 5(1(1(x1))) -> 1(1(5(4(x1)))) 54.90/14.31 5(1(1(x1))) -> 5(4(1(1(x1)))) 54.90/14.31 5(1(1(x1))) -> 1(5(3(4(1(x1))))) 54.90/14.31 5(1(1(x1))) -> 1(1(4(5(4(4(x1)))))) 54.90/14.31 5(1(1(x1))) -> 3(5(2(3(1(1(x1)))))) 54.90/14.31 5(1(1(x1))) -> 4(1(2(1(5(4(x1)))))) 54.90/14.31 0(1(3(0(x1)))) -> 0(2(0(2(1(3(x1)))))) 54.90/14.31 0(1(5(0(x1)))) -> 0(0(5(4(1(5(x1)))))) 54.90/14.31 0(1(5(0(x1)))) -> 0(5(4(2(1(0(x1)))))) 54.90/14.31 0(3(0(1(x1)))) -> 0(0(4(1(3(0(x1)))))) 54.90/14.31 0(3(1(0(x1)))) -> 0(0(2(3(1(x1))))) 54.90/14.31 0(3(1(1(x1)))) -> 5(1(1(0(3(4(x1)))))) 54.90/14.31 5(0(1(0(x1)))) -> 5(0(0(4(1(3(x1)))))) 54.90/14.31 5(1(2(0(x1)))) -> 1(4(0(5(4(2(x1)))))) 54.90/14.31 5(1(2(0(x1)))) -> 5(0(4(2(2(1(x1)))))) 54.90/14.31 5(1(4(0(x1)))) -> 1(5(4(0(2(3(x1)))))) 54.90/14.31 5(1(4(0(x1)))) -> 4(5(2(1(3(0(x1)))))) 54.90/14.31 5(1(5(1(x1)))) -> 5(4(1(5(1(x1))))) 54.90/14.31 5(3(0(1(x1)))) -> 0(1(5(2(3(x1))))) 54.90/14.31 5(3(1(0(x1)))) -> 1(4(3(5(0(x1))))) 54.90/14.31 5(3(1(0(x1)))) -> 1(5(0(4(3(x1))))) 54.90/14.31 5(3(1(0(x1)))) -> 5(4(3(1(0(x1))))) 54.90/14.31 5(3(1(0(x1)))) -> 1(3(0(4(3(5(x1)))))) 54.90/14.31 5(3(1(1(x1)))) -> 1(1(5(3(3(4(x1)))))) 54.90/14.31 0(1(2(5(0(x1))))) -> 1(5(4(0(2(0(x1)))))) 54.90/14.31 0(1(4(2(0(x1))))) -> 1(0(4(2(3(0(x1)))))) 54.90/14.31 1(4(5(1(0(x1))))) -> 5(4(2(1(1(0(x1)))))) 54.90/14.31 5(0(1(4(0(x1))))) -> 1(4(5(4(0(0(x1)))))) 54.90/14.31 5(5(1(0(0(x1))))) -> 5(5(0(4(1(0(x1)))))) 54.90/14.31 54.90/14.31 Proof: 54.90/14.31 Bounds Processor: 54.90/14.31 bound: 1 54.90/14.31 enrichment: match 54.90/14.31 automaton: 54.90/14.31 final states: {182,177,173,169,164,160,155,152,148,144,142,138,135, 54.90/14.31 131,128,124,120,117,113,108,102,97,92,89,85,84,82,81, 54.90/14.31 79,73,68,62,61,60,56,53,49,44,43,42,10,37,34,31,27, 54.90/14.31 22,18,12,7,1} 54.90/14.31 transitions: 54.90/14.31 f60() -> 2* 54.90/14.31 00(75) -> 76* 54.90/14.31 00(70) -> 71* 54.90/14.31 00(65) -> 66* 54.90/14.31 00(40) -> 41* 54.90/14.31 00(35) -> 36* 54.90/14.31 00(25) -> 26* 54.90/14.31 00(20) -> 21* 54.90/14.31 00(15) -> 16* 54.90/14.31 00(157) -> 158* 54.90/14.31 00(122) -> 123* 54.90/14.31 00(112) -> 108* 54.90/14.31 00(107) -> 102* 54.90/14.31 00(52) -> 49* 54.90/14.31 00(32) -> 33* 54.90/14.31 00(2) -> 103* 54.90/14.31 00(149) -> 150* 54.90/14.31 00(129) -> 130* 54.90/14.31 00(94) -> 95* 54.90/14.31 00(64) -> 132* 54.90/14.31 00(54) -> 55* 54.90/14.31 00(29) -> 30* 54.90/14.31 00(14) -> 15* 54.90/14.31 00(9) -> 10* 54.90/14.31 00(171) -> 172* 54.90/14.31 00(121) -> 122* 54.90/14.31 00(116) -> 113* 54.90/14.31 00(111) -> 112* 54.90/14.31 00(101) -> 97* 54.90/14.31 00(96) -> 92* 54.90/14.31 00(56) -> 61* 54.90/14.31 00(26) -> 22* 54.90/14.31 00(11) -> 7* 54.90/14.31 00(6) -> 1* 54.90/14.31 00(183) -> 184* 54.90/14.31 00(143) -> 142*
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