Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #487086242
details
property
value
status
complete
benchmark
140654.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n143.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.20
configuration
ttt2
runtime (wallclock)
13.4662 seconds
cpu usage
51.1974
user time
49.4333
system time
1.76409
max virtual memory
7476880.0
max residence set size
217968.0
stage attributes
key
value
starexec-result
YES
output
YES Problem: 0(0(0(1(2(1(1(1(0(0(1(0(1(x1))))))))))))) -> 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(x1))))))))))))))))) 0(0(1(0(0(1(1(1(0(1(2(0(1(x1))))))))))))) -> 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(x1))))))))))))))))) 0(0(1(0(1(0(1(0(0(1(0(2(0(x1))))))))))))) -> 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(x1))))))))))))))))) 0(0(1(1(1(1(1(2(1(1(2(1(1(x1))))))))))))) -> 0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(x1))))))))))))))))) 0(1(0(2(0(2(1(0(0(1(0(1(1(x1))))))))))))) -> 0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(x1))))))))))))))))) 0(1(0(2(2(1(1(2(1(2(2(0(1(x1))))))))))))) -> 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(x1))))))))))))))))) 0(1(1(0(1(1(0(1(0(2(1(0(0(x1))))))))))))) -> 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(x1))))))))))))))))) 0(1(1(1(2(1(2(0(1(2(1(0(1(x1))))))))))))) -> 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(x1))))))))))))))))) 0(2(0(0(1(1(2(0(1(0(1(0(2(x1))))))))))))) -> 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(x1))))))))))))))))) 1(0(2(0(0(2(0(1(2(0(1(0(1(x1))))))))))))) -> 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(x1))))))))))))))))) 1(0(2(0(2(1(0(2(0(1(1(2(0(x1))))))))))))) -> 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(x1))))))))))))))))) 1(1(0(0(2(2(2(0(1(2(0(1(1(x1))))))))))))) -> 1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(x1))))))))))))))))) 1(2(0(1(0(2(0(1(0(1(2(1(0(x1))))))))))))) -> 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(x1))))))))))))))))) 1(2(1(2(0(0(0(1(1(1(0(0(1(x1))))))))))))) -> 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(x1))))))))))))))))) 2(0(0(0(2(2(0(2(2(0(1(0(1(x1))))))))))))) -> 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(x1))))))))))))))))) 2(0(2(1(0(0(1(0(0(0(1(1(1(x1))))))))))))) -> 0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(x1))))))))))))))))) 2(0(2(1(1(1(1(0(2(0(1(0(1(x1))))))))))))) -> 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(x1))))))))))))))))) 2(1(2(2(1(1(2(2(0(1(1(0(1(x1))))))))))))) -> 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(x1))))))))))))))))) 2(2(1(1(1(1(0(1(1(2(0(1(0(x1))))))))))))) -> 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(x1))))))))))))))))) Proof: Bounds Processor: bound: 0 enrichment: match automaton: final states: {262,251,237,223,209,195,179,165,149,137,124,109,92,77,63,50,35,19,1} transitions: 10(164) -> 149* 10(128) -> 129* 10(4) -> 5* 10(269) -> 270* 10(226) -> 227* 10(69) -> 70* 10(265) -> 266* 10(230) -> 231* 10(78) -> 210* 10(207) -> 208* 10(16) -> 17* 10(249) -> 250* 10(242) -> 243* 10(3) -> 20* 10(234) -> 235* 10(185) -> 186* 10(182) -> 183* 10(205) -> 206* 10(150) -> 263* 10(174) -> 175* 10(191) -> 192* 10(25) -> 26* 10(83) -> 84* 10(156) -> 157* 10(27) -> 28* 10(43) -> 44* 10(114) -> 115* 10(36) -> 37* 10(200) -> 201* 10(197) -> 198* 10(32) -> 33* 10(61) -> 62* 10(37) -> 38* 10(232) -> 233* 10(72) -> 73* 10(244) -> 245* 10(90) -> 91* 10(21) -> 238* 10(216) -> 217* 10(215) -> 216* 10(2) -> 3* 10(46) -> 47* 10(176) -> 177* 10(272) -> 273* 10(141) -> 142* 10(120) -> 121* 10(218) -> 219* 10(258) -> 259* 10(260) -> 261* 10(147) -> 148* 10(263) -> 264* 10(51) -> 138* 10(98) -> 99* 10(55) -> 56* 10(73) -> 74* 10(271) -> 272* 10(14) -> 15* 10(126) -> 127* 10(228) -> 229* 10(168) -> 169* 10(80) -> 81* 10(171) -> 172* 10(20) -> 21* 10(208) -> 195* 10(206) -> 207* 10(275) -> 276* 10(117) -> 118* 10(5) -> 64* 10(192) -> 193* 10(122) -> 123*
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard