Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #487088684
details
property
value
status
complete
benchmark
88283.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n139.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.20
configuration
ttt2
runtime (wallclock)
18.4888 seconds
cpu usage
70.7852
user time
68.7369
system time
2.04828
max virtual memory
7296656.0
max residence set size
214144.0
stage attributes
key
value
starexec-result
YES
output
YES Problem: 0(0(0(0(1(1(2(1(0(2(3(1(2(x1))))))))))))) -> 1(1(2(2(2(2(0(2(0(3(0(2(2(1(2(3(3(x1))))))))))))))))) 0(0(1(3(2(0(1(2(3(2(0(3(1(x1))))))))))))) -> 2(2(3(0(0(2(0(3(3(2(2(3(3(2(2(3(2(x1))))))))))))))))) 0(0(2(0(0(0(0(1(3(3(1(1(2(x1))))))))))))) -> 3(3(3(1(2(2(0(0(2(3(2(3(2(1(2(1(2(x1))))))))))))))))) 0(0(2(1(0(0(0(2(0(1(3(2(1(x1))))))))))))) -> 2(2(3(0(0(0(2(2(3(2(1(3(2(2(3(1(1(x1))))))))))))))))) 0(1(1(1(0(2(0(3(0(2(2(2(0(x1))))))))))))) -> 1(2(2(0(2(2(3(1(2(3(1(2(2(2(2(1(0(x1))))))))))))))))) 0(1(2(2(3(3(2(0(0(3(1(2(2(x1))))))))))))) -> 3(0(2(2(2(1(1(2(2(2(1(1(3(3(2(2(2(x1))))))))))))))))) 0(3(0(2(0(3(2(0(3(2(0(2(1(x1))))))))))))) -> 2(1(0(3(1(2(3(0(2(0(2(2(2(3(1(3(1(x1))))))))))))))))) 0(3(1(1(1(2(2(3(1(3(3(2(1(x1))))))))))))) -> 2(2(0(1(2(1(1(1(1(1(2(0(2(1(0(2(2(x1))))))))))))))))) 0(3(1(2(2(2(1(0(1(0(2(3(3(x1))))))))))))) -> 2(2(2(0(2(3(2(3(3(3(1(3(3(1(2(2(3(x1))))))))))))))))) 0(3(3(2(1(0(2(3(0(2(2(2(0(x1))))))))))))) -> 2(2(0(0(1(2(2(2(3(3(2(1(3(0(2(2(3(x1))))))))))))))))) 1(0(2(3(2(1(0(2(3(3(0(2(2(x1))))))))))))) -> 2(1(0(2(2(3(0(3(1(2(2(2(2(2(2(1(2(x1))))))))))))))))) 1(1(0(2(1(1(3(0(0(3(2(1(2(x1))))))))))))) -> 2(3(2(1(2(2(1(1(0(0(3(2(2(0(1(1(2(x1))))))))))))))))) 1(1(0(2(2(1(0(2(1(1(3(2(3(x1))))))))))))) -> 2(0(2(3(2(0(2(0(0(2(2(1(2(2(3(3(3(x1))))))))))))))))) 1(1(0(2(2(3(1(1(0(0(1(1(2(x1))))))))))))) -> 2(0(0(0(2(0(3(0(1(2(0(2(2(2(2(1(2(x1))))))))))))))))) 1(1(1(3(2(0(2(1(2(0(0(2(0(x1))))))))))))) -> 2(3(2(3(2(0(3(2(2(1(2(3(2(2(2(1(0(x1))))))))))))))))) 1(1(2(0(0(2(1(2(0(1(1(1(1(x1))))))))))))) -> 1(0(0(0(2(2(2(3(3(2(3(3(3(2(0(2(2(x1))))))))))))))))) 1(1(2(1(2(3(3(1(2(1(0(1(0(x1))))))))))))) -> 2(2(2(3(1(2(2(1(2(2(3(2(1(0(3(3(2(x1))))))))))))))))) 1(1(2(2(0(2(2(0(0(3(1(0(2(x1))))))))))))) -> 1(3(2(0(2(2(1(3(3(2(2(1(1(3(2(0(2(x1))))))))))))))))) 1(2(0(2(1(2(1(1(3(1(3(3(0(x1))))))))))))) -> 1(2(1(3(0(3(0(0(0(2(2(2(2(3(2(0(2(x1))))))))))))))))) 1(2(1(0(3(2(1(1(1(0(2(3(3(x1))))))))))))) -> 0(2(3(3(0(2(2(2(1(0(0(2(1(1(3(3(2(x1))))))))))))))))) 1(2(1(2(1(1(3(2(1(3(3(0(1(x1))))))))))))) -> 1(0(0(2(2(0(0(0(2(2(2(2(2(2(2(0(2(x1))))))))))))))))) 1(2(1(3(2(0(3(3(2(1(1(0(2(x1))))))))))))) -> 3(3(2(2(2(1(2(0(1(1(2(0(2(2(1(0(2(x1))))))))))))))))) 1(2(1(3(2(3(3(0(3(1(2(3(3(x1))))))))))))) -> 2(2(1(0(2(2(0(0(2(1(1(2(3(1(1(1(2(x1))))))))))))))))) 1(3(0(1(3(2(3(2(0(0(1(2(3(x1))))))))))))) -> 1(1(3(1(3(2(2(0(2(3(1(2(1(2(1(2(3(x1))))))))))))))))) 2(0(1(1(0(0(2(3(3(0(2(0(1(x1))))))))))))) -> 2(2(2(1(3(1(3(3(2(2(2(2(0(3(0(1(1(x1))))))))))))))))) 2(1(1(3(1(3(3(2(1(1(1(3(3(x1))))))))))))) -> 0(2(2(1(2(3(0(0(1(2(0(2(0(2(1(2(2(x1))))))))))))))))) 2(1(3(2(0(0(3(3(2(1(3(1(2(x1))))))))))))) -> 2(2(2(1(0(2(3(1(1(1(1(3(2(3(3(2(2(x1))))))))))))))))) 2(2(0(0(3(3(0(1(2(0(3(2(2(x1))))))))))))) -> 2(2(2(3(1(1(0(0(2(1(0(1(2(2(0(1(2(x1))))))))))))))))) 3(0(2(3(0(1(2(2(3(2(2(0(3(x1))))))))))))) -> 2(2(1(3(3(2(2(2(3(3(0(2(2(2(3(3(0(x1))))))))))))))))) 3(2(2(2(3(0(3(1(3(0(3(1(2(x1))))))))))))) -> 2(2(2(0(2(3(1(2(1(2(2(3(2(2(3(3(1(x1))))))))))))))))) Proof: Bounds Processor: bound: 0 enrichment: match automaton: final states: {436,420,405,390,375,360,345,331,316,302,288,275,259, 244,230,218,207,192,177,163,149,133,118,102,86,69,52, 36,19,1} transitions: 10(359) -> 345* 10(289) -> 290* 10(386) -> 387* 10(78) -> 79* 10(119) -> 120* 10(334) -> 335* 10(358) -> 359* 10(185) -> 186* 10(433) -> 434* 10(415) -> 416* 10(151) -> 152* 10(37) -> 178* 10(285) -> 286* 10(116) -> 117* 10(184) -> 185* 10(123) -> 124* 10(90) -> 91* 10(349) -> 350* 10(408) -> 409* 10(2) -> 53* 10(135) -> 136* 10(325) -> 326* 10(260) -> 317* 10(442) -> 443* 10(263) -> 264* 10(397) -> 398* 10(91) -> 92* 10(394) -> 395* 10(87) -> 376* 10(293) -> 294* 10(18) -> 1* 10(342) -> 343* 10(251) -> 252* 10(369) -> 370* 10(126) -> 127* 10(168) -> 169* 10(20) -> 37* 10(5) -> 6* 10(254) -> 255* 10(414) -> 415* 10(96) -> 97* 10(246) -> 247* 10(113) -> 114* 10(175) -> 176* 10(410) -> 411* 10(274) -> 259* 10(17) -> 18* 10(188) -> 189* 10(381) -> 382* 10(268) -> 269* 10(70) -> 71* 10(124) -> 125* 10(322) -> 323* 10(48) -> 49* 10(127) -> 128* 10(125) -> 126* 10(395) -> 396*
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard