Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432286278
details
property
value
status
complete
benchmark
140631.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n050.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
34.6668 seconds
cpu usage
134.372
user time
131.899
system time
2.47338
max virtual memory
5019868.0
max residence set size
214000.0
stage attributes
key
value
starexec-result
YES
output
134.25/34.64 YES 134.25/34.65 134.25/34.65 Problem: 134.25/34.65 0(0(0(0(0(2(2(1(2(0(0(1(0(x1))))))))))))) -> 0(2(2(0(2(2(0(1(0(2(2(2(2(2(0(2(0(x1))))))))))))))))) 134.25/34.65 0(0(0(0(2(0(0(1(0(2(2(2(0(x1))))))))))))) -> 0(2(2(0(2(2(0(0(0(0(2(0(2(0(0(0(2(x1))))))))))))))))) 134.25/34.65 0(0(0(0(2(2(1(2(0(2(2(1(0(x1))))))))))))) -> 0(1(0(0(1(0(2(0(2(2(1(0(0(2(0(2(0(x1))))))))))))))))) 134.25/34.65 0(0(0(1(1(0(2(0(1(0(0(2(2(x1))))))))))))) -> 0(0(2(0(0(0(0(1(0(1(2(2(2(0(0(2(0(x1))))))))))))))))) 134.25/34.65 0(0(1(0(0(0(0(0(0(0(2(1(0(x1))))))))))))) -> 0(2(0(0(1(0(2(0(2(0(0(2(0(2(0(2(0(x1))))))))))))))))) 134.25/34.65 0(0(1(0(2(0(1(0(0(2(0(1(0(x1))))))))))))) -> 1(2(1(0(0(0(0(0(2(0(0(2(0(2(2(2(2(x1))))))))))))))))) 134.25/34.65 0(0(1(1(2(0(0(1(0(2(0(2(2(x1))))))))))))) -> 0(1(2(0(2(0(0(2(0(2(2(0(2(2(2(1(0(x1))))))))))))))))) 134.25/34.65 0(0(1(2(0(0(2(0(1(0(0(2(2(x1))))))))))))) -> 0(0(2(0(0(0(1(2(0(2(0(0(0(0(2(2(2(x1))))))))))))))))) 134.25/34.65 0(0(2(0(0(1(0(1(2(0(0(0(2(x1))))))))))))) -> 0(0(0(2(0(2(0(1(0(2(0(2(2(0(1(0(0(x1))))))))))))))))) 134.25/34.65 0(0(2(0(2(1(1(1(0(2(2(1(0(x1))))))))))))) -> 0(0(0(0(0(0(1(2(2(2(2(0(1(2(2(0(0(x1))))))))))))))))) 134.25/34.65 0(0(2(1(0(1(0(1(2(2(0(2(0(x1))))))))))))) -> 0(0(2(2(1(1(0(2(2(0(0(1(0(2(2(0(0(x1))))))))))))))))) 134.25/34.65 0(0(2(2(2(0(2(1(1(0(0(0(2(x1))))))))))))) -> 0(0(0(0(1(0(2(2(0(0(0(1(0(0(2(0(0(x1))))))))))))))))) 134.25/34.65 0(1(0(0(2(2(0(0(1(2(2(2(0(x1))))))))))))) -> 1(2(1(0(2(0(0(2(0(0(2(2(0(0(2(2(2(x1))))))))))))))))) 134.25/34.65 0(1(0(2(1(0(1(1(0(0(2(0(0(x1))))))))))))) -> 0(2(0(1(2(0(0(0(0(0(2(0(1(2(0(0(2(x1))))))))))))))))) 134.25/34.65 0(1(1(0(2(2(0(1(0(0(0(0(0(x1))))))))))))) -> 0(0(0(0(1(1(2(2(0(2(2(2(2(0(2(0(0(x1))))))))))))))))) 134.25/34.65 0(1(1(2(1(0(2(2(0(2(0(2(2(x1))))))))))))) -> 0(0(0(1(0(1(0(2(0(2(1(2(0(0(2(0(0(x1))))))))))))))))) 134.25/34.65 0(1(2(0(0(1(0(2(1(0(2(2(1(x1))))))))))))) -> 0(1(2(1(0(0(0(2(0(0(1(0(0(2(0(0(1(x1))))))))))))))))) 134.25/34.65 0(1(2(2(2(1(0(0(2(1(1(0(0(x1))))))))))))) -> 0(0(0(1(0(1(2(0(1(2(0(2(2(2(2(0(2(x1))))))))))))))))) 134.25/34.65 0(2(2(0(0(1(2(1(0(0(1(0(2(x1))))))))))))) -> 0(2(2(2(1(0(2(2(1(0(0(0(2(0(0(1(0(x1))))))))))))))))) 134.25/34.65 0(2(2(0(2(2(0(0(1(0(0(0(0(x1))))))))))))) -> 0(0(0(2(2(2(0(2(0(2(2(2(2(2(2(2(2(x1))))))))))))))))) 134.25/34.65 0(2(2(0(2(2(1(2(2(2(2(2(2(x1))))))))))))) -> 0(2(1(2(0(2(0(0(0(2(0(2(2(0(0(2(0(x1))))))))))))))))) 134.25/34.65 1(0(0(0(2(2(2(0(0(1(0(1(0(x1))))))))))))) -> 0(1(0(0(0(0(2(2(2(0(0(2(0(0(2(1(0(x1))))))))))))))))) 134.25/34.65 1(0(1(0(2(2(0(2(0(0(0(0(1(x1))))))))))))) -> 2(1(0(0(0(2(0(2(0(0(0(2(2(2(2(0(1(x1))))))))))))))))) 134.25/34.65 1(0(1(2(0(1(0(2(1(2(1(0(0(x1))))))))))))) -> 1(1(2(2(1(2(2(0(0(2(0(1(0(1(0(2(2(x1))))))))))))))))) 134.25/34.65 1(0(2(2(0(2(0(2(2(2(0(1(0(x1))))))))))))) -> 2(2(2(0(2(0(2(2(0(2(0(2(0(2(2(2(2(x1))))))))))))))))) 134.25/34.65 1(1(0(0(0(0(2(1(0(0(2(2(0(x1))))))))))))) -> 2(2(2(0(0(0(0(0(0(2(2(0(0(0(1(0(2(x1))))))))))))))))) 134.25/34.65 1(2(2(2(2(1(0(0(0(2(2(0(2(x1))))))))))))) -> 0(0(2(2(1(1(0(0(0(0(1(0(0(0(2(0(2(x1))))))))))))))))) 134.25/34.65 2(0(0(0(2(0(1(2(2(2(0(2(2(x1))))))))))))) -> 2(0(0(2(2(2(0(2(0(2(0(2(0(2(1(1(0(x1))))))))))))))))) 134.25/34.65 2(0(0(2(0(0(1(1(0(0(2(0(0(x1))))))))))))) -> 1(0(2(2(0(2(2(2(1(0(2(2(2(0(2(2(2(x1))))))))))))))))) 134.25/34.65 2(0(0(2(2(1(0(1(0(0(2(2(0(x1))))))))))))) -> 2(2(0(0(2(1(0(2(0(2(0(0(0(0(2(0(2(x1))))))))))))))))) 134.25/34.65 2(2(0(0(0(2(1(0(0(0(2(0(2(x1))))))))))))) -> 0(0(2(0(2(2(2(0(2(0(2(0(0(2(0(2(0(x1))))))))))))))))) 134.25/34.65 134.25/34.65 Proof: 134.25/34.65 Bounds Processor: 134.25/34.65 bound: 0 134.25/34.65 enrichment: match 134.25/34.65 automaton: 134.25/34.65 final states: {423,412,399,384,370,355,345,330,315,301,290,277,262, 134.25/34.65 247,230,218,205,191,179,165,152,137,121,107,91,75,63, 134.25/34.65 49,36,19,1} 134.25/34.65 transitions: 134.25/34.65 f30() -> 2* 134.25/34.65 00(267) -> 268* 134.25/34.65 00(65) -> 66* 134.25/34.65 00(257) -> 258* 134.25/34.65 00(45) -> 46* 134.25/34.65 00(242) -> 243* 134.25/34.65 00(237) -> 238* 134.25/34.65 00(35) -> 19* 134.25/34.65 00(232) -> 233* 134.25/34.65 00(227) -> 228* 134.25/34.65 00(424) -> 425* 134.25/34.65 00(20) -> 21* 134.25/34.65 00(419) -> 420* 134.25/34.65 00(217) -> 205* 134.25/34.65 00(15) -> 16* 134.25/34.65 00(414) -> 415* 134.25/34.65 00(10) -> 11* 134.25/34.65 00(5) -> 50* 134.25/34.65 00(202) -> 203* 134.25/34.65 00(197) -> 198* 134.25/34.65 00(187) -> 188* 134.25/34.65 00(182) -> 183* 134.25/34.65 00(177) -> 178* 134.25/34.65 00(374) -> 375* 134.25/34.65 00(364) -> 365* 134.25/34.65 00(349) -> 350* 134.25/34.65 00(147) -> 148* 134.25/34.65 00(334) -> 335* 134.25/34.65 00(132) -> 133* 134.25/34.65 00(319) -> 320* 134.25/34.65 00(117) -> 118* 134.25/34.65 00(314) -> 301* 134.25/34.65 00(112) -> 113* 134.25/34.65 00(309) -> 310* 134.25/34.65 00(304) -> 305* 134.25/34.65 00(294) -> 295* 134.25/34.65 00(92) -> 263* 134.25/34.65 00(289) -> 277* 134.25/34.65 00(87) -> 88* 134.25/34.65 00(77) -> 108* 134.25/34.65 00(72) -> 73* 134.25/34.65 00(67) -> 68* 134.25/34.65 00(62) -> 49* 134.25/34.65 00(259) -> 260* 134.25/34.65 00(57) -> 58* 134.25/34.65 00(254) -> 255* 134.25/34.65 00(52) -> 291* 134.25/34.65 00(37) -> 38* 134.25/34.65 00(234) -> 235* 134.25/34.65 00(32) -> 33* 134.25/34.65 00(229) -> 218* 134.25/34.65 00(27) -> 28* 134.25/34.65 00(426) -> 427* 134.25/34.65 00(22) -> 23* 134.25/34.65 00(416) -> 417* 134.25/34.65 00(214) -> 215*
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