Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432294372
details
property
value
status
complete
benchmark
dup13.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n173.star.cs.uiowa.edu
space
Trafo_06
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
2.66032 seconds
cpu usage
9.23659
user time
8.13469
system time
1.1019
max virtual memory
3634580.0
max residence set size
90540.0
stage attributes
key
value
starexec-result
YES
output
9.04/2.64 YES 9.04/2.65 9.04/2.65 Problem: 9.04/2.65 a(a(a(a(x1)))) -> a(a(b(b(b(b(b(b(x1)))))))) 9.04/2.65 b(b(a(a(x1)))) -> b(b(b(b(c(c(x1)))))) 9.04/2.65 a(a(b(b(b(b(c(c(x1)))))))) -> a(a(a(a(a(a(b(b(x1)))))))) 9.04/2.65 9.04/2.65 Proof: 9.04/2.65 Bounds Processor: 9.04/2.65 bound: 3 9.04/2.65 enrichment: match 9.04/2.65 automaton: 9.04/2.65 final states: {16,10,1} 9.04/2.65 transitions: 9.04/2.65 f30() -> 2* 9.04/2.65 a0(20) -> 21* 9.04/2.65 a0(17) -> 18* 9.04/2.65 a0(19) -> 20* 9.04/2.65 a0(9) -> 1* 9.04/2.65 a0(4) -> 17* 9.04/2.65 a0(21) -> 16* 9.04/2.65 a0(18) -> 19* 9.04/2.65 a0(8) -> 9* 9.04/2.65 b0(15) -> 10* 9.04/2.65 b0(5) -> 6* 9.04/2.65 b0(12) -> 13* 9.04/2.65 b0(7) -> 8* 9.04/2.65 b0(2) -> 3* 9.04/2.65 b0(14) -> 15* 9.04/2.65 b0(4) -> 5* 9.04/2.65 b0(6) -> 7* 9.04/2.65 b0(13) -> 14* 9.04/2.65 b0(3) -> 4* 9.04/2.65 c0(2) -> 11* 9.04/2.65 c0(11) -> 12* 9.04/2.65 a1(92) -> 93* 9.04/2.65 a1(47) -> 48* 9.04/2.65 a1(37) -> 38* 9.04/2.65 a1(159) -> 160* 9.04/2.65 a1(89) -> 90* 9.04/2.65 a1(74) -> 75* 9.04/2.65 a1(91) -> 92* 9.04/2.65 a1(46) -> 47* 9.04/2.65 a1(93) -> 94* 9.04/2.65 a1(88) -> 89* 9.04/2.65 a1(73) -> 74* 9.04/2.65 a1(38) -> 39* 9.04/2.65 a1(160) -> 161* 9.04/2.65 a1(90) -> 91* 9.04/2.65 b1(70) -> 71* 9.04/2.65 b1(45) -> 46* 9.04/2.65 b1(40) -> 41* 9.04/2.65 b1(35) -> 36* 9.04/2.65 b1(222) -> 223* 9.04/2.65 b1(212) -> 213* 9.04/2.65 b1(162) -> 163* 9.04/2.65 b1(157) -> 158* 9.04/2.65 b1(87) -> 88* 9.04/2.65 b1(72) -> 73* 9.04/2.65 b1(67) -> 68* 9.04/2.65 b1(42) -> 43* 9.04/2.65 b1(32) -> 33* 9.04/2.65 b1(214) -> 215* 9.04/2.65 b1(204) -> 205* 9.04/2.65 b1(154) -> 155* 9.04/2.65 b1(69) -> 70* 9.04/2.65 b1(44) -> 45* 9.04/2.65 b1(34) -> 35* 9.04/2.65 b1(206) -> 207* 9.04/2.65 b1(156) -> 157* 9.04/2.65 b1(86) -> 87* 9.04/2.65 b1(76) -> 77* 9.04/2.65 b1(71) -> 72* 9.04/2.65 b1(41) -> 42* 9.04/2.65 b1(36) -> 37* 9.04/2.65 b1(31) -> 32* 9.04/2.65 b1(228) -> 229* 9.04/2.65 b1(158) -> 159* 9.04/2.65 b1(153) -> 154* 9.04/2.65 b1(68) -> 69* 9.04/2.65 b1(43) -> 44* 9.04/2.65 b1(33) -> 34* 9.04/2.65 b1(220) -> 221* 9.04/2.65 b1(155) -> 156* 9.04/2.65 b1(140) -> 141* 9.04/2.65 c1(84) -> 85* 9.04/2.65 c1(83) -> 84* 9.04/2.65 b2(232) -> 233* 9.04/2.65 b2(177) -> 178* 9.04/2.65 b2(132) -> 133* 9.04/2.65 b2(329) -> 330* 9.04/2.65 b2(309) -> 310* 9.04/2.65 b2(107) -> 108* 9.04/2.65 b2(289) -> 290* 9.04/2.65 b2(259) -> 260* 9.04/2.65 b2(234) -> 235* 9.04/2.65 b2(194) -> 195* 9.04/2.65 b2(179) -> 180* 9.04/2.65 b2(366) -> 367* 9.04/2.65 b2(134) -> 135*
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