Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432286488
details
property
value
status
complete
benchmark
213051.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n110.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
15.5701 seconds
cpu usage
59.71
user time
57.1634
system time
2.54657
max virtual memory
4955640.0
max residence set size
229228.0
stage attributes
key
value
starexec-result
YES
output
59.31/15.54 YES 59.68/15.55 59.68/15.55 Problem: 59.68/15.55 0(0(1(x1))) -> 0(1(2(0(3(x1))))) 59.68/15.55 0(0(1(x1))) -> 0(1(2(0(3(2(x1)))))) 59.68/15.55 0(0(1(x1))) -> 1(2(0(0(3(2(x1)))))) 59.68/15.55 0(1(0(x1))) -> 2(0(3(1(2(0(x1)))))) 59.68/15.55 0(4(1(x1))) -> 4(0(3(1(x1)))) 59.68/15.55 0(4(1(x1))) -> 2(4(0(3(2(1(x1)))))) 59.68/15.55 0(4(1(x1))) -> 2(4(0(5(3(1(x1)))))) 59.68/15.55 0(4(1(x1))) -> 4(2(1(2(0(3(x1)))))) 59.68/15.55 4(1(0(x1))) -> 1(2(0(4(x1)))) 59.68/15.55 0(0(1(1(x1)))) -> 1(2(0(0(3(1(x1)))))) 59.68/15.55 0(0(2(1(x1)))) -> 2(2(0(3(0(1(x1)))))) 59.68/15.55 0(0(4(1(x1)))) -> 1(4(0(3(0(3(x1)))))) 59.68/15.55 0(0(5(1(x1)))) -> 0(0(3(1(2(5(x1)))))) 59.68/15.55 0(1(1(0(x1)))) -> 1(2(0(0(1(2(x1)))))) 59.68/15.55 0(1(4(1(x1)))) -> 0(1(2(4(1(2(x1)))))) 59.68/15.55 0(1(5(0(x1)))) -> 1(2(5(0(0(3(x1)))))) 59.68/15.55 0(2(4(1(x1)))) -> 4(0(5(3(1(2(x1)))))) 59.68/15.55 0(4(1(0(x1)))) -> 0(4(0(1(2(x1))))) 59.68/15.55 0(4(2(1(x1)))) -> 4(0(3(2(2(1(x1)))))) 59.68/15.55 0(4(2(1(x1)))) -> 4(0(3(5(1(2(x1)))))) 59.68/15.55 0(4(4(1(x1)))) -> 2(4(0(3(4(1(x1)))))) 59.68/15.55 0(5(0(1(x1)))) -> 0(2(0(3(5(1(x1)))))) 59.68/15.55 0(5(0(1(x1)))) -> 5(2(0(3(0(1(x1)))))) 59.68/15.55 0(5(1(0(x1)))) -> 0(1(2(0(3(5(x1)))))) 59.68/15.55 0(5(1(0(x1)))) -> 2(0(1(3(5(0(x1)))))) 59.68/15.55 4(0(5(1(x1)))) -> 1(4(0(5(3(2(x1)))))) 59.68/15.55 4(1(0(0(x1)))) -> 0(4(1(2(0(x1))))) 59.68/15.56 4(1(0(1(x1)))) -> 1(1(2(0(4(x1))))) 59.68/15.56 4(1(5(0(x1)))) -> 1(2(0(5(4(x1))))) 59.68/15.56 4(1(5(0(x1)))) -> 1(4(0(3(5(x1))))) 59.68/15.56 4(3(1(0(x1)))) -> 1(4(2(0(3(x1))))) 59.68/15.56 4(3(1(0(x1)))) -> 2(0(2(1(3(4(x1)))))) 59.68/15.56 4(3(1(0(x1)))) -> 2(1(4(2(0(3(x1)))))) 59.68/15.56 4(3(1(0(x1)))) -> 2(2(4(0(1(3(x1)))))) 59.68/15.56 5(0(1(0(x1)))) -> 0(3(5(1(2(0(x1)))))) 59.68/15.56 5(0(1(0(x1)))) -> 1(5(2(0(3(0(x1)))))) 59.68/15.56 5(4(1(0(x1)))) -> 0(1(2(4(5(2(x1)))))) 59.68/15.56 0(0(5(5(1(x1))))) -> 1(0(0(3(5(5(x1)))))) 59.68/15.56 0(1(0(5(0(x1))))) -> 0(1(5(2(0(0(x1)))))) 59.68/15.56 0(2(5(0(1(x1))))) -> 2(0(3(5(0(1(x1)))))) 59.68/15.56 0(3(1(0(0(x1))))) -> 0(0(3(0(1(2(x1)))))) 59.68/15.56 0(4(1(4(1(x1))))) -> 4(4(0(1(2(1(x1)))))) 59.68/15.56 0(5(5(4(1(x1))))) -> 4(1(0(5(5(3(x1)))))) 59.68/15.56 4(1(5(0(0(x1))))) -> 1(2(0(4(5(0(x1)))))) 59.68/15.56 4(1(5(5(0(x1))))) -> 5(1(3(0(5(4(x1)))))) 59.68/15.56 4(3(1(0(1(x1))))) -> 1(1(2(3(0(4(x1)))))) 59.68/15.56 4(3(1(1(0(x1))))) -> 1(2(0(1(4(3(x1)))))) 59.68/15.56 4(3(1(5(0(x1))))) -> 5(1(0(3(2(4(x1)))))) 59.68/15.56 4(4(1(0(5(x1))))) -> 4(0(5(3(4(1(x1)))))) 59.68/15.56 59.68/15.56 Proof: 59.68/15.56 Bounds Processor: 59.68/15.56 bound: 1 59.68/15.56 enrichment: match 59.68/15.56 automaton: 59.68/15.56 final states: {193,188,183,179,176,172,167,163,160,156,151,146,141, 59.68/15.56 136,133,128,127,122,120,118,114,113,111,107,102,97, 59.68/15.56 96,91,86,82,78,76,72,68,64,59,53,49,44,41,37,35,31, 59.68/15.56 26,22,16,13,7,1} 59.68/15.56 transitions: 59.68/15.56 11(424) -> 425* 59.68/15.56 11(369) -> 370* 59.68/15.56 11(344) -> 345* 59.68/15.56 11(314) -> 315* 59.68/15.56 11(511) -> 512* 59.68/15.56 11(249) -> 250* 59.68/15.56 11(441) -> 442* 59.68/15.56 11(214) -> 215* 59.68/15.56 11(411) -> 412* 59.68/15.56 11(199) -> 200* 59.68/15.56 11(361) -> 362* 59.68/15.56 11(538) -> 539* 59.68/15.56 11(518) -> 519* 59.68/15.56 11(493) -> 494* 59.68/15.56 11(286) -> 287* 59.68/15.56 11(271) -> 272* 59.68/15.56 11(266) -> 267* 59.68/15.56 11(393) -> 394* 59.68/15.56 11(435) -> 436* 59.68/15.56 11(462) -> 463* 59.68/15.56 11(225) -> 226* 59.68/15.56 11(307) -> 308* 59.68/15.56 11(489) -> 490* 59.68/15.56 21(282) -> 283* 59.68/15.56 21(434) -> 435* 59.68/15.56 21(414) -> 415* 59.68/15.56 21(394) -> 395* 59.68/15.56 21(374) -> 375* 59.68/15.56 21(324) -> 325* 59.68/15.56 21(309) -> 310* 59.68/15.56 21(471) -> 472* 59.68/15.56 21(234) -> 235* 59.68/15.56 21(346) -> 347* 59.68/15.56 21(296) -> 297* 59.68/15.56 21(488) -> 489* 59.68/15.56 21(458) -> 459* 59.68/15.56 21(438) -> 439*
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