Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432285678
details
property
value
status
complete
benchmark
88172.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n118.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
16.7552 seconds
cpu usage
63.7117
user time
61.5044
system time
2.20735
max virtual memory
5044160.0
max residence set size
219176.0
stage attributes
key
value
starexec-result
YES
output
63.30/16.72 YES 63.30/16.74 63.30/16.74 Problem: 63.30/16.74 0(0(0(0(0(1(1(2(0(0(3(1(3(x1))))))))))))) -> 2(3(3(1(1(2(3(1(2(1(1(2(2(1(0(2(3(x1))))))))))))))))) 63.30/16.74 0(0(0(3(1(2(2(3(2(3(1(0(1(x1))))))))))))) -> 3(2(1(3(0(1(3(1(1(2(1(3(3(3(3(1(3(x1))))))))))))))))) 63.30/16.74 0(0(3(0(1(1(2(1(0(1(3(3(3(x1))))))))))))) -> 1(3(3(1(0(2(1(1(2(2(3(2(1(2(1(1(3(x1))))))))))))))))) 63.30/16.74 0(0(3(2(1(3(2(2(3(2(0(0(0(x1))))))))))))) -> 1(2(1(3(2(3(2(2(3(3(1(0(0(2(1(3(3(x1))))))))))))))))) 63.30/16.74 0(3(0(1(3(1(3(2(2(1(2(2(0(x1))))))))))))) -> 2(3(3(0(3(3(3(1(3(2(0(2(2(1(3(1(2(x1))))))))))))))))) 63.30/16.74 0(3(2(2(0(0(3(2(3(1(1(2(1(x1))))))))))))) -> 2(0(3(3(1(2(0(3(1(2(1(2(1(1(0(3(1(x1))))))))))))))))) 63.30/16.74 0(3(3(3(0(1(2(3(1(1(0(0(3(x1))))))))))))) -> 0(2(2(0(1(2(1(2(1(3(1(3(0(3(3(0(3(x1))))))))))))))))) 63.30/16.74 1(0(1(3(1(1(1(1(3(2(0(3(2(x1))))))))))))) -> 3(3(3(1(3(3(0(1(0(1(2(1(2(1(1(0(3(x1))))))))))))))))) 63.30/16.74 1(0(3(2(3(3(0(0(1(2(1(0(1(x1))))))))))))) -> 2(1(1(1(1(3(2(2(2(1(3(3(1(3(2(2(1(x1))))))))))))))))) 63.30/16.74 1(1(0(0(0(2(3(0(1(2(0(1(3(x1))))))))))))) -> 1(2(2(2(1(3(3(2(1(1(2(1(0(2(0(2(3(x1))))))))))))))))) 63.30/16.74 1(1(2(1(0(2(2(0(3(0(0(0(0(x1))))))))))))) -> 2(2(1(3(3(3(1(2(0(1(0(2(3(1(1(0(3(x1))))))))))))))))) 63.30/16.74 1(3(2(3(1(1(2(0(1(2(3(1(0(x1))))))))))))) -> 1(3(2(2(0(2(3(3(0(1(2(1(2(2(1(3(1(x1))))))))))))))))) 63.30/16.74 2(0(3(3(3(2(2(3(2(0(0(3(3(x1))))))))))))) -> 3(3(2(2(0(1(1(2(1(1(2(1(2(2(1(3(3(x1))))))))))))))))) 63.30/16.74 2(1(2(0(2(1(0(1(1(0(1(2(0(x1))))))))))))) -> 0(0(1(1(3(3(1(1(0(0(3(3(3(3(3(3(2(x1))))))))))))))))) 63.30/16.74 2(2(3(1(3(2(2(0(2(2(2(2(0(x1))))))))))))) -> 2(1(3(0(1(3(2(2(1(0(0(2(1(1(3(0(0(x1))))))))))))))))) 63.30/16.74 2(3(0(3(0(2(1(2(0(3(2(0(1(x1))))))))))))) -> 2(1(3(3(0(2(2(1(3(2(0(2(2(2(1(2(1(x1))))))))))))))))) 63.30/16.74 2(3(1(0(1(0(0(1(1(0(1(2(1(x1))))))))))))) -> 1(3(1(3(3(3(3(2(2(1(3(1(2(1(1(0(3(x1))))))))))))))))) 63.30/16.74 2(3(3(1(2(2(3(0(2(2(0(0(1(x1))))))))))))) -> 2(3(1(2(2(1(1(3(1(3(3(3(3(0(3(0(0(x1))))))))))))))))) 63.30/16.74 2(3(3(1(2(2(3(2(3(1(1(0(1(x1))))))))))))) -> 2(2(1(0(2(1(1(1(2(2(1(1(3(3(2(1(3(x1))))))))))))))))) 63.30/16.74 3(0(3(0(2(3(2(3(3(3(1(2(1(x1))))))))))))) -> 2(1(2(1(3(2(1(3(2(1(2(1(3(1(3(3(1(x1))))))))))))))))) 63.30/16.74 3(0(3(0(2(3(3(2(3(2(2(2(1(x1))))))))))))) -> 2(2(2(1(3(3(3(2(1(1(2(1(1(1(1(3(1(x1))))))))))))))))) 63.30/16.74 3(0(3(1(3(2(0(0(1(2(1(0(0(x1))))))))))))) -> 3(1(3(0(3(3(2(2(1(1(2(2(2(1(1(0(2(x1))))))))))))))))) 63.30/16.74 3(1(2(3(1(1(3(1(1(3(0(1(1(x1))))))))))))) -> 3(3(2(1(3(1(2(3(3(3(2(1(1(2(1(0(1(x1))))))))))))))))) 63.30/16.74 3(2(2(1(0(2(0(3(3(3(3(2(1(x1))))))))))))) -> 3(3(3(2(3(1(1(3(3(2(1(2(1(2(1(3(1(x1))))))))))))))))) 63.30/16.74 3(2(3(0(1(1(3(0(0(0(0(2(1(x1))))))))))))) -> 3(3(2(1(1(2(3(2(1(2(0(3(1(3(2(2(1(x1))))))))))))))))) 63.30/16.74 3(2(3(2(3(2(3(0(3(2(0(1(1(x1))))))))))))) -> 2(2(1(1(2(1(3(3(2(0(0(0(0(0(1(3(3(x1))))))))))))))))) 63.30/16.74 3(3(1(3(1(2(3(2(0(2(2(0(0(x1))))))))))))) -> 2(1(2(1(3(0(2(2(0(2(2(1(1(3(3(3(3(x1))))))))))))))))) 63.30/16.74 3(3(2(1(3(1(2(0(0(3(2(3(3(x1))))))))))))) -> 3(2(1(3(2(2(1(3(3(3(1(0(2(1(3(3(3(x1))))))))))))))))) 63.30/16.74 63.30/16.74 Proof: 63.30/16.74 Bounds Processor: 63.30/16.74 bound: 0 63.30/16.74 enrichment: match 63.30/16.74 automaton: 63.30/16.74 final states: {404,389,375,364,351,335,319,305,290,275,261,250,235, 63.30/16.74 218,202,189,174,161,147,131,116,100,83,66,50,35,19, 63.30/16.74 1} 63.30/16.74 transitions: 63.30/16.74 f40() -> 2* 63.30/16.74 20(70) -> 71* 63.30/16.74 20(252) -> 253* 63.30/16.74 20(40) -> 41* 63.30/16.74 20(237) -> 238* 63.30/16.74 20(227) -> 228* 63.30/16.74 20(25) -> 26* 63.30/16.74 20(20) -> 276* 63.30/16.74 20(10) -> 11* 63.30/16.74 20(5) -> 148* 63.30/16.74 20(394) -> 395* 63.30/16.74 20(384) -> 385* 63.30/16.74 20(172) -> 173* 63.30/16.74 20(369) -> 370* 63.30/16.74 20(162) -> 163* 63.30/16.74 20(157) -> 158* 63.30/16.74 20(354) -> 355* 63.30/16.74 20(344) -> 345* 63.30/16.74 20(132) -> 133* 63.30/16.74 20(324) -> 325* 63.30/16.74 20(304) -> 290* 63.30/16.74 20(299) -> 300* 63.30/16.74 20(294) -> 295* 63.30/16.74 20(289) -> 275* 63.30/16.74 20(82) -> 66* 63.30/16.74 20(274) -> 261* 63.30/16.74 20(52) -> 53* 63.30/16.74 20(249) -> 235* 63.30/16.74 20(244) -> 245* 63.30/16.74 20(234) -> 218* 63.30/16.74 20(416) -> 417* 63.30/16.74 20(7) -> 8* 63.30/16.74 20(2) -> 67* 63.30/16.74 20(401) -> 402* 63.30/16.74 20(199) -> 200* 63.30/16.74 20(396) -> 397* 63.30/16.74 20(194) -> 195* 63.30/16.74 20(159) -> 160* 63.30/16.74 20(139) -> 140* 63.30/16.74 20(316) -> 317* 63.30/16.74 20(114) -> 115* 63.30/16.74 20(311) -> 312* 63.30/16.74 20(99) -> 83* 63.30/16.74 20(296) -> 297* 63.30/16.74 20(94) -> 95* 63.30/16.74 20(84) -> 132* 63.30/16.74 20(281) -> 282* 63.30/16.74 20(271) -> 272* 63.30/16.74 20(64) -> 65* 63.30/16.74 20(59) -> 60* 63.30/16.74 20(44) -> 45* 63.30/16.74 20(236) -> 237* 63.30/16.74 20(413) -> 414* 63.30/16.74 20(403) -> 389* 63.68/16.74 20(393) -> 394* 63.68/16.74 20(191) -> 192* 63.68/16.74 20(388) -> 375* 63.68/16.74 20(186) -> 187* 63.68/16.74 20(176) -> 177*
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