Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432286206
details
property
value
status
complete
benchmark
212795.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n034.star.cs.uiowa.edu
space
ICFP_2010
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
5.88846 seconds
cpu usage
21.4892
user time
20.0006
system time
1.48865
max virtual memory
4189012.0
max residence set size
122500.0
stage attributes
key
value
starexec-result
YES
output
21.31/5.87 YES 21.31/5.88 21.31/5.88 Problem: 21.31/5.88 0(1(0(2(x1)))) -> 3(0(1(2(0(x1))))) 21.31/5.88 1(0(0(2(x1)))) -> 2(3(0(0(1(x1))))) 21.31/5.88 1(0(0(2(x1)))) -> 1(0(1(1(2(0(x1)))))) 21.31/5.88 1(0(0(2(x1)))) -> 1(3(3(0(2(0(x1)))))) 21.31/5.88 1(0(0(2(x1)))) -> 3(0(0(1(1(2(x1)))))) 21.31/5.88 1(0(2(2(x1)))) -> 2(1(2(3(0(x1))))) 21.31/5.88 1(0(2(2(x1)))) -> 1(1(1(2(2(0(x1)))))) 21.31/5.88 1(3(4(2(x1)))) -> 1(1(2(3(4(x1))))) 21.31/5.88 1(3(4(2(x1)))) -> 1(2(3(3(4(5(x1)))))) 21.31/5.88 1(3(4(2(x1)))) -> 1(2(3(4(4(4(x1)))))) 21.31/5.88 1(3(4(2(x1)))) -> 1(2(3(4(4(5(x1)))))) 21.31/5.88 1(3(4(2(x1)))) -> 1(2(3(5(4(5(x1)))))) 21.31/5.88 1(3(4(2(x1)))) -> 1(2(3(5(5(4(x1)))))) 21.31/5.88 1(3(5(2(x1)))) -> 2(3(1(0(5(x1))))) 21.31/5.88 1(3(5(2(x1)))) -> 4(5(1(2(3(x1))))) 21.31/5.88 3(1(0(2(x1)))) -> 3(0(1(2(0(x1))))) 21.31/5.88 3(4(0(2(x1)))) -> 3(0(0(2(4(x1))))) 21.31/5.88 3(4(0(2(x1)))) -> 3(0(1(2(4(x1))))) 21.31/5.88 3(4(0(2(x1)))) -> 3(0(5(2(4(x1))))) 21.31/5.88 3(4(0(2(x1)))) -> 3(1(0(2(4(x1))))) 21.31/5.88 3(4(0(2(x1)))) -> 4(1(2(3(0(x1))))) 21.31/5.88 3(4(0(2(x1)))) -> 2(0(4(3(3(0(x1)))))) 21.31/5.88 3(4(0(2(x1)))) -> 3(0(2(1(1(4(x1)))))) 21.31/5.88 3(4(0(2(x1)))) -> 3(3(0(5(2(4(x1)))))) 21.31/5.88 3(4(0(2(x1)))) -> 4(2(3(3(3(0(x1)))))) 21.31/5.88 3(5(0(2(x1)))) -> 3(0(3(2(5(x1))))) 21.31/5.88 3(5(0(2(x1)))) -> 2(5(3(0(0(0(x1)))))) 21.31/5.88 3(5(0(2(x1)))) -> 3(0(0(2(5(4(x1)))))) 21.31/5.88 3(5(0(2(x1)))) -> 5(5(2(3(0(3(x1)))))) 21.31/5.88 0(2(3(4(2(x1))))) -> 3(0(2(2(4(5(x1)))))) 21.31/5.88 0(3(4(0(2(x1))))) -> 0(3(1(0(4(2(x1)))))) 21.31/5.88 0(3(5(0(2(x1))))) -> 2(1(0(5(3(0(x1)))))) 21.31/5.88 1(0(0(4(2(x1))))) -> 0(4(5(1(0(2(x1)))))) 21.31/5.88 1(0(3(5(2(x1))))) -> 4(5(3(1(2(0(x1)))))) 21.31/5.88 1(1(0(2(2(x1))))) -> 1(1(2(0(1(2(x1)))))) 21.31/5.88 1(3(4(0(2(x1))))) -> 1(2(3(0(1(4(x1)))))) 21.31/5.88 1(3(5(0(2(x1))))) -> 1(0(2(5(2(3(x1)))))) 21.31/5.88 3(1(0(0(2(x1))))) -> 3(0(1(2(2(0(x1)))))) 21.31/5.88 3(1(3(5(2(x1))))) -> 3(0(3(5(1(2(x1)))))) 21.31/5.88 3(3(4(0(2(x1))))) -> 3(0(0(4(2(3(x1)))))) 21.31/5.88 3(4(0(0(2(x1))))) -> 3(0(0(4(4(2(x1)))))) 21.31/5.88 3(4(1(0(2(x1))))) -> 3(1(2(3(0(4(x1)))))) 21.31/5.88 3(4(1(5(2(x1))))) -> 2(3(0(1(4(5(x1)))))) 21.31/5.88 3(4(2(0(2(x1))))) -> 3(2(0(4(2(3(x1)))))) 21.31/5.88 3(4(2(0(2(x1))))) -> 4(2(2(3(0(3(x1)))))) 21.31/5.88 3(5(0(0(2(x1))))) -> 0(3(0(2(4(5(x1)))))) 21.31/5.88 3(5(0(4(2(x1))))) -> 2(0(4(4(5(3(x1)))))) 21.31/5.88 3(5(0(4(2(x1))))) -> 2(5(4(3(0(0(x1)))))) 21.31/5.88 3(5(3(4(2(x1))))) -> 0(5(4(2(3(3(x1)))))) 21.31/5.88 21.31/5.88 Proof: 21.31/5.88 Bounds Processor: 21.31/5.88 bound: 1 21.31/5.88 enrichment: match 21.31/5.88 automaton: 21.31/5.88 final states: {187,183,178,175,173,171,167,162,158,154,150,148,144, 21.31/5.88 140,136,133,128,124,119,115,110,106,101,97,94,93,88, 21.31/5.88 84,83,81,78,75,71,66,62,57,53,49,44,38,33,29,25,19, 21.31/5.88 15,12,7,1} 21.31/5.88 transitions: 21.31/5.88 f60() -> 2* 21.31/5.88 30(50) -> 51* 21.31/5.88 30(40) -> 41* 21.31/5.88 30(10) -> 11* 21.31/5.88 30(5) -> 134* 21.31/5.88 30(172) -> 171* 21.31/5.88 30(157) -> 154* 21.31/5.88 30(122) -> 123* 21.31/5.88 30(102) -> 184* 21.31/5.88 30(92) -> 88* 21.31/5.88 30(82) -> 81* 21.31/5.88 30(77) -> 75* 21.31/5.88 30(67) -> 188* 21.31/5.88 30(17) -> 18* 21.31/5.88 30(2) -> 67* 21.31/5.88 30(169) -> 170* 21.31/5.88 30(149) -> 148* 21.31/5.88 30(109) -> 106* 21.31/5.88 30(74) -> 71* 21.31/5.88 30(64) -> 65* 21.31/5.88 30(59) -> 60* 21.31/5.88 30(54) -> 55* 21.31/5.88 30(34) -> 35* 21.31/5.88 30(24) -> 19* 21.31/5.88 30(176) -> 177* 21.31/5.88 30(166) -> 162* 21.31/5.88 30(161) -> 158* 21.31/5.88 30(151) -> 152* 21.31/5.88 30(141) -> 142* 21.31/5.88 30(111) -> 112* 21.31/5.88 30(46) -> 47* 21.31/5.88 30(41) -> 42* 21.31/5.88 30(26) -> 85* 21.31/5.88 30(16) -> 17* 21.31/5.88 30(6) -> 1* 21.31/5.88 30(163) -> 164* 21.31/5.88 30(153) -> 150*
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