Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #487087454
details
property
value
status
complete
benchmark
40708.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n146.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.20
configuration
ttt2
runtime (wallclock)
1.25736 seconds
cpu usage
3.82307
user time
3.14028
system time
0.682795
max virtual memory
6023136.0
max residence set size
68628.0
stage attributes
key
value
starexec-result
YES
output
YES Problem: 0(1(2(3(4(5(1(x1))))))) -> 0(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(x1))))))))))))))))))) 0(1(2(3(4(5(1(x1))))))) -> 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(x1))))))))))))))))))))))))) 0(1(2(3(4(5(1(x1))))))) -> 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(x1))))))))))))))))))))))))))))))) Proof: Bounds Processor: bound: 1 enrichment: match automaton: final states: {34,21,1} transitions: 11(108) -> 109* 11(251) -> 252* 11(59) -> 60* 11(195) -> 196* 11(113) -> 114* 11(143) -> 144* 11(257) -> 258* 11(166) -> 167* 11(171) -> 172* 11(151) -> 152* 11(149) -> 150* 11(152) -> 153* 11(201) -> 202* 11(51) -> 52* 11(107) -> 108* 11(57) -> 58* 11(60) -> 61* 11(252) -> 253* 11(203) -> 204* 11(163) -> 164* 11(105) -> 106* 11(204) -> 205* 11(249) -> 250* 11(165) -> 166* 31(111) -> 112* 31(141) -> 142* 31(255) -> 256* 31(155) -> 156* 31(103) -> 104* 31(147) -> 148* 31(193) -> 194* 31(49) -> 50* 31(207) -> 208* 31(169) -> 170* 31(63) -> 64* 31(161) -> 162* 31(247) -> 248* 31(55) -> 56* 31(199) -> 200* 00(13) -> 14* 00(39) -> 40* 00(20) -> 1* 00(7) -> 8* 00(26) -> 27* f60() -> 2* 10(25) -> 26* 10(15) -> 16* 10(33) -> 21* 10(28) -> 29* 10(27) -> 28* 10(41) -> 42* 10(14) -> 15* 10(38) -> 39* 10(6) -> 7* 10(46) -> 34* 10(40) -> 41* 10(12) -> 13* 50(2) -> 3* 50(16) -> 17* 50(14) -> 22* 50(27) -> 35* 50(8) -> 9* 50(42) -> 43* 50(29) -> 30* 20(24) -> 25* 20(5) -> 6* 20(32) -> 33* 20(11) -> 12* 20(45) -> 46* 20(19) -> 20* 20(37) -> 38* 40(35) -> 36* 40(22) -> 23* 40(30) -> 31* 40(43) -> 44* 40(3) -> 4* 40(17) -> 18* 40(9) -> 10* 30(23) -> 24* 30(36) -> 37* 30(4) -> 5* 30(10) -> 11* 30(18) -> 19* 30(44) -> 45*
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard