Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432293976
details
property
value
status
complete
benchmark
3.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n161.star.cs.uiowa.edu
space
Secret_06_SRS
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
2.54323 seconds
cpu usage
8.78977
user time
7.95089
system time
0.838879
max virtual memory
3495240.0
max residence set size
75748.0
stage attributes
key
value
starexec-result
YES
output
8.61/2.53 YES 8.61/2.53 8.61/2.53 Problem: 8.61/2.53 a(a(a(b(x1)))) -> b(a(b(a(x1)))) 8.61/2.53 b(b(a(x1))) -> a(a(a(b(x1)))) 8.61/2.53 8.61/2.53 Proof: 8.61/2.53 Bounds Processor: 8.61/2.53 bound: 6 8.61/2.53 enrichment: match 8.61/2.53 automaton: 8.61/2.53 final states: {6,1} 8.61/2.53 transitions: 8.61/2.53 f20() -> 2* 8.61/2.53 b0(5) -> 1* 8.61/2.53 b0(2) -> 7* 8.61/2.53 b0(3) -> 4* 8.61/2.53 a0(7) -> 8* 8.61/2.53 a0(2) -> 3* 8.61/2.53 a0(9) -> 6* 8.61/2.53 a0(4) -> 5* 8.61/2.53 a0(8) -> 9* 8.61/2.53 b1(45) -> 46* 8.61/2.53 b1(25) -> 26* 8.61/2.53 b1(16) -> 17* 8.61/2.53 b1(18) -> 19* 8.61/2.53 a1(15) -> 16* 8.61/2.53 a1(47) -> 48* 8.61/2.53 a1(27) -> 28* 8.61/2.53 a1(17) -> 18* 8.61/2.53 a1(46) -> 47* 8.61/2.53 a1(26) -> 27* 8.61/2.53 a1(158) -> 159* 8.61/2.53 a1(48) -> 49* 8.61/2.53 a1(28) -> 29* 8.61/2.53 b2(60) -> 61* 8.61/2.53 b2(51) -> 52* 8.61/2.53 b2(31) -> 32* 8.61/2.53 b2(53) -> 54* 8.61/2.53 b2(33) -> 34* 8.61/2.53 a2(50) -> 51* 8.61/2.53 a2(30) -> 31* 8.61/2.53 a2(162) -> 163* 8.61/2.53 a2(62) -> 63* 8.61/2.53 a2(52) -> 53* 8.61/2.53 a2(32) -> 33* 8.61/2.53 a2(104) -> 105* 8.61/2.53 a2(61) -> 62* 8.61/2.53 a2(63) -> 64* 8.61/2.53 a2(80) -> 81* 8.61/2.53 a3(75) -> 76* 8.61/2.53 a3(87) -> 88* 8.61/2.53 a3(77) -> 78* 8.61/2.53 a3(119) -> 120* 8.61/2.53 a3(126) -> 127* 8.61/2.53 a3(86) -> 87* 8.61/2.53 a3(118) -> 119* 8.61/2.53 a3(120) -> 121* 8.61/2.53 a3(85) -> 86* 8.61/2.53 b3(142) -> 143* 8.61/2.53 b3(117) -> 118* 8.61/2.53 b3(164) -> 165* 8.61/2.53 b3(84) -> 85* 8.61/2.53 b3(76) -> 77* 8.61/2.53 b3(108) -> 109* 8.61/2.53 b3(78) -> 79* 8.61/2.53 b4(177) -> 178* 8.61/2.53 b4(102) -> 103* 8.61/2.53 b4(136) -> 137* 8.61/2.53 b4(138) -> 139* 8.61/2.53 b4(100) -> 101* 8.61/2.53 a4(137) -> 138* 8.61/2.53 a4(179) -> 180* 8.61/2.53 a4(154) -> 155* 8.61/2.53 a4(124) -> 125* 8.61/2.53 a4(99) -> 100* 8.61/2.53 a4(236) -> 237* 8.61/2.53 a4(146) -> 147* 8.61/2.53 a4(101) -> 102* 8.61/2.53 a4(178) -> 179* 8.61/2.53 a4(168) -> 169* 8.61/2.53 a4(148) -> 149* 8.61/2.53 a4(180) -> 181* 8.61/2.53 a4(135) -> 136* 8.61/2.53 a5(242) -> 243* 8.61/2.53 a5(187) -> 188* 8.61/2.53 a5(194) -> 195* 8.61/2.53 a5(189) -> 190* 8.61/2.53 a5(241) -> 242* 8.61/2.53 a5(243) -> 244* 8.61/2.53 a5(193) -> 194* 8.61/2.53 a5(250) -> 251* 8.61/2.53 a5(195) -> 196* 8.61/2.53 b5(212) -> 213* 8.61/2.53 b5(192) -> 193* 8.61/2.53 b5(264) -> 265* 8.61/2.53 b5(204) -> 205* 8.61/2.53 b5(206) -> 207* 8.61/2.53 b5(188) -> 189* 8.61/2.53 b5(240) -> 241*
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