Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432287796
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
n126.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
14.0449 seconds
cpu usage
53.152
user time
51.0724
system time
2.07953
max virtual memory
4794412.0
max residence set size
231068.0
stage attributes
key
value
starexec-result
YES
output
53.04/14.02 YES 53.04/14.03 53.04/14.03 Problem: 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 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))))))))))))))))) 53.04/14.03 53.04/14.03 Proof: 53.04/14.03 Bounds Processor: 53.04/14.03 bound: 0 53.04/14.03 enrichment: match 53.04/14.03 automaton: 53.04/14.03 final states: {262,251,237,223,209,195,179,165,149,137,124,109,92,77,63,50,35,19,1} 53.04/14.03 transitions: 53.04/14.03 f30() -> 2* 53.04/14.03 00(65) -> 66* 53.04/14.03 00(252) -> 253* 53.04/14.03 00(247) -> 248* 53.04/14.03 00(45) -> 46* 53.04/14.03 00(30) -> 31* 53.04/14.03 00(227) -> 228* 53.04/14.03 00(20) -> 36* 53.04/14.03 00(15) -> 16* 53.04/14.03 00(212) -> 213* 53.04/14.03 00(10) -> 11* 53.04/14.03 00(5) -> 6* 53.04/14.03 00(202) -> 203* 53.04/14.03 00(187) -> 188* 53.04/14.03 00(177) -> 178* 53.04/14.03 00(172) -> 173* 53.04/14.03 00(162) -> 163* 53.04/14.03 00(157) -> 158* 53.04/14.03 00(132) -> 133* 53.04/14.03 00(127) -> 128* 53.04/14.03 00(102) -> 103* 53.04/14.03 00(87) -> 88* 53.04/14.03 00(82) -> 83* 53.04/14.03 00(274) -> 275* 53.04/14.03 00(62) -> 50* 53.04/14.03 00(57) -> 58* 53.04/14.03 00(52) -> 53* 53.04/14.03 00(22) -> 125* 53.04/14.03 00(17) -> 18* 53.04/14.03 00(12) -> 13* 53.04/14.03 00(7) -> 8* 53.04/14.03 00(204) -> 205* 53.04/14.03 00(2) -> 93* 53.04/14.03 00(199) -> 200* 53.04/14.03 00(189) -> 190* 53.04/14.03 00(184) -> 185* 53.04/14.03 00(169) -> 170* 53.04/14.03 00(159) -> 160* 53.04/14.03 00(154) -> 155* 53.04/14.03 00(139) -> 140* 53.04/14.03 00(129) -> 130* 53.04/14.03 00(119) -> 120* 53.04/14.03 00(84) -> 85* 53.04/14.03 00(79) -> 80* 53.04/14.03 00(276) -> 262* 53.04/14.03 00(74) -> 75* 53.04/14.03 00(266) -> 267* 53.04/14.03 00(59) -> 60* 53.04/14.03 00(256) -> 257* 53.04/14.03 00(49) -> 35* 53.04/14.03 00(39) -> 40* 53.04/14.03 00(236) -> 223* 53.04/14.03 00(34) -> 19* 53.04/14.03 00(231) -> 232* 53.04/14.03 00(221) -> 222* 53.04/14.03 00(9) -> 10* 53.04/14.03 00(4) -> 110* 53.04/14.03 00(186) -> 187* 53.04/14.03 00(181) -> 182* 53.04/14.03 00(166) -> 167* 53.04/14.03 00(146) -> 147* 53.04/14.03 00(136) -> 124* 53.04/14.03 00(131) -> 132* 53.04/14.03 00(121) -> 122* 53.04/14.03 00(116) -> 117* 53.04/14.03 00(111) -> 112* 53.04/14.03 00(96) -> 97* 53.04/14.03 00(91) -> 77* 53.04/14.03 00(86) -> 87* 53.04/14.03 00(76) -> 63*
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