Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432288558
details
property
value
status
complete
benchmark
86857.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n062.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
8.10483 seconds
cpu usage
29.6632
user time
27.9961
system time
1.6671
max virtual memory
4659652.0
max residence set size
143376.0
stage attributes
key
value
starexec-result
YES
output
29.50/8.08 YES 29.50/8.09 29.50/8.09 Problem: 29.50/8.09 0(0(1(2(x1)))) -> 0(3(4(2(x1)))) 29.50/8.09 2(0(1(0(5(3(x1)))))) -> 2(0(3(1(3(3(x1)))))) 29.50/8.09 4(1(1(5(0(4(x1)))))) -> 4(4(2(2(0(4(x1)))))) 29.50/8.09 2(3(2(5(5(0(0(0(x1)))))))) -> 0(2(1(4(2(5(3(2(x1)))))))) 29.50/8.09 5(0(0(5(3(3(4(3(x1)))))))) -> 5(3(1(3(0(3(0(3(x1)))))))) 29.50/8.09 1(0(0(1(5(5(4(2(4(x1))))))))) -> 4(3(1(0(4(1(0(3(3(x1))))))))) 29.50/8.09 3(0(0(1(0(4(5(4(2(x1))))))))) -> 4(4(5(3(1(2(3(4(2(x1))))))))) 29.50/8.09 3(2(3(1(2(2(2(4(3(5(x1)))))))))) -> 5(3(4(4(4(4(0(4(0(x1))))))))) 29.50/8.09 0(0(1(2(5(1(4(4(5(5(4(x1))))))))))) -> 0(0(0(4(1(1(3(5(3(4(2(x1))))))))))) 29.50/8.09 1(5(2(2(5(1(1(2(4(4(5(4(x1)))))))))))) -> 1(2(2(3(3(3(3(0(1(1(3(4(x1)))))))))))) 29.50/8.09 4(1(5(3(3(5(0(4(5(1(4(4(1(x1))))))))))))) -> 5(4(3(2(2(3(3(2(1(2(5(0(5(x1))))))))))))) 29.50/8.09 1(0(3(0(0(0(0(2(3(1(4(0(2(0(4(x1))))))))))))))) -> 1(4(4(0(4(1(4(0(3(2(4(1(0(2(4(x1))))))))))))))) 29.50/8.09 2(5(0(5(1(5(2(3(5(3(1(3(5(4(5(x1))))))))))))))) -> 2(2(5(4(2(0(1(5(1(1(4(1(0(3(4(x1))))))))))))))) 29.50/8.09 5(2(5(1(1(5(0(0(3(0(5(5(3(3(2(x1))))))))))))))) -> 5(5(3(3(1(5(0(3(1(0(4(3(1(3(2(x1))))))))))))))) 29.50/8.09 2(1(1(5(2(5(5(0(1(3(4(1(4(4(5(3(x1)))))))))))))))) -> 29.50/8.09 2(5(2(3(3(5(4(3(5(4(5(5(0(0(3(1(x1)))))))))))))))) 29.50/8.09 0(4(4(5(0(4(5(0(5(2(3(0(0(2(4(4(2(x1))))))))))))))))) -> 29.50/8.09 0(4(4(3(0(2(5(0(5(4(1(3(5(4(4(1(0(x1))))))))))))))))) 29.50/8.09 1(1(0(0(3(1(3(0(2(1(2(5(2(5(0(2(0(x1))))))))))))))))) -> 29.50/8.09 2(2(4(3(2(1(3(2(2(1(4(3(0(2(2(5(5(x1))))))))))))))))) 29.50/8.09 2(5(4(4(4(2(3(5(4(0(4(0(0(5(4(5(5(x1))))))))))))))))) -> 29.50/8.09 5(3(1(4(4(5(0(5(0(3(1(2(1(1(2(4(3(x1))))))))))))))))) 29.50/8.09 5(0(0(1(3(3(2(5(3(4(0(3(4(3(5(4(4(2(x1)))))))))))))))))) -> 29.50/8.09 5(5(0(0(1(1(1(0(2(2(2(1(3(2(1(2(2(2(x1)))))))))))))))))) 29.50/8.09 4(4(0(2(2(1(1(4(1(1(1(0(0(0(2(3(4(4(4(x1))))))))))))))))))) -> 29.50/8.09 3(1(0(3(4(2(2(1(0(1(5(2(0(5(4(4(2(1(4(x1))))))))))))))))))) 29.50/8.09 0(3(2(2(1(4(5(3(3(5(5(1(5(1(0(5(1(5(5(1(x1)))))))))))))))))))) -> 29.50/8.09 0(3(1(4(0(2(0(0(2(4(5(0(2(3(0(5(2(1(5(1(x1)))))))))))))))))))) 29.50/8.09 4(2(3(1(4(3(0(3(1(1(5(0(4(1(3(4(3(1(4(4(x1)))))))))))))))))))) -> 29.50/8.09 4(1(4(4(2(5(5(1(5(4(5(5(2(0(5(0(2(0(5(x1))))))))))))))))))) 29.50/8.09 1(4(1(4(2(5(4(5(5(0(5(0(4(0(4(5(0(0(5(4(2(x1))))))))))))))))))))) -> 29.50/8.09 1(5(5(1(1(3(0(3(5(5(3(2(4(2(0(3(5(1(0(3(2(x1))))))))))))))))))))) 29.50/8.09 2(2(4(0(0(1(4(3(1(4(4(3(1(2(1(1(5(0(4(5(0(x1))))))))))))))))))))) -> 29.50/8.09 4(3(0(2(4(0(4(3(0(4(2(0(5(1(4(2(3(2(3(0(0(x1))))))))))))))))))))) 29.50/8.09 4(2(4(2(5(5(2(0(2(0(2(0(3(1(5(3(0(1(4(4(2(x1))))))))))))))))))))) -> 29.50/8.09 4(2(4(5(1(3(5(2(4(4(2(0(5(0(1(2(5(2(4(5(0(x1))))))))))))))))))))) 29.50/8.09 29.50/8.09 Proof: 29.50/8.09 Bounds Processor: 29.50/8.09 bound: 0 29.50/8.09 enrichment: match 29.50/8.09 automaton: 29.50/8.09 final states: {300,280,261,244,225,207,190,174,158,142,126,113,100, 29.50/8.09 86,73,62,54,45,39,32,25,18,12,6,1} 29.50/8.09 transitions: 29.50/8.09 f60() -> 2* 29.50/8.09 00(65) -> 66* 29.50/8.09 00(60) -> 61* 29.50/8.09 00(247) -> 248* 29.50/8.09 00(237) -> 238* 29.50/8.09 00(35) -> 36* 29.50/8.09 00(232) -> 233* 29.50/8.09 00(222) -> 223* 29.50/8.09 00(212) -> 213* 29.50/8.09 00(10) -> 11* 29.50/8.09 00(5) -> 1* 29.50/8.09 00(157) -> 142* 29.50/8.09 00(107) -> 108* 29.50/8.09 00(294) -> 295* 29.50/8.09 00(92) -> 93* 29.50/8.09 00(87) -> 88* 29.50/8.09 00(47) -> 48* 29.50/8.09 00(239) -> 240* 29.50/8.09 00(229) -> 230* 29.50/8.09 00(27) -> 28* 29.50/8.09 00(7) -> 26* 29.50/8.09 00(204) -> 205* 29.50/8.09 00(2) -> 46* 29.50/8.09 00(199) -> 200* 29.50/8.09 00(129) -> 130* 29.50/8.09 00(119) -> 120* 29.50/8.09 00(306) -> 307* 29.50/8.09 00(291) -> 292* 29.50/8.09 00(74) -> 75* 29.50/8.09 00(59) -> 60* 29.50/8.09 00(236) -> 237* 29.50/8.09 00(24) -> 18* 29.50/8.09 00(19) -> 262* 29.50/8.09 00(216) -> 217* 29.50/8.09 00(181) -> 182* 29.50/8.09 00(161) -> 162* 29.50/8.09 00(116) -> 117* 29.50/8.09 00(308) -> 309* 29.50/8.09 00(96) -> 97* 29.50/8.09 00(288) -> 289* 29.50/8.09 00(273) -> 274* 29.50/8.09 00(61) -> 54* 29.50/8.09 00(46) -> 281* 29.50/8.09 00(243) -> 225* 29.50/8.09 00(203) -> 204* 29.50/8.09 00(183) -> 184* 29.50/8.09 00(153) -> 154* 29.50/8.09 00(128) -> 129* 29.50/8.09 00(265) -> 266* 29.50/8.09 00(63) -> 101* 29.50/8.09 00(245) -> 246* 29.50/8.09 00(13) -> 14*
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