Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432295176
details
property
value
status
complete
benchmark
08.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n070.star.cs.uiowa.edu
space
Zantema_06
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
1.5219 seconds
cpu usage
4.77294
user time
3.91936
system time
0.853579
max virtual memory
3543360.0
max residence set size
72648.0
stage attributes
key
value
starexec-result
YES
output
4.64/1.51 YES 4.64/1.51 4.64/1.51 Problem: 4.64/1.51 a(b(a(a(b(x1))))) -> c(c(c(c(a(x1))))) 4.64/1.51 c(x1) -> b(a(a(b(x1)))) 4.64/1.51 4.64/1.51 Proof: 4.64/1.51 Bounds Processor: 4.64/1.51 bound: 3 4.64/1.51 enrichment: match 4.64/1.51 automaton: 4.64/1.51 final states: {7,1} 4.64/1.51 transitions: 4.64/1.51 b1(49) -> 50* 4.64/1.51 b1(34) -> 35* 4.64/1.51 b1(29) -> 30* 4.64/1.51 b1(14) -> 15* 4.64/1.51 b1(46) -> 47* 4.64/1.51 b1(31) -> 32* 4.64/1.51 b1(26) -> 27* 4.64/1.51 b1(11) -> 12* 4.64/1.51 a1(47) -> 48* 4.64/1.51 a1(32) -> 33* 4.64/1.51 a1(27) -> 28* 4.64/1.51 a1(12) -> 13* 4.64/1.51 a1(48) -> 49* 4.64/1.51 a1(33) -> 34* 4.64/1.51 a1(28) -> 29* 4.64/1.51 a1(13) -> 14* 4.64/1.51 c2(65) -> 66* 4.64/1.51 c2(60) -> 61* 4.64/1.51 c2(177) -> 178* 4.64/1.51 c2(117) -> 118* 4.64/1.51 c2(67) -> 68* 4.64/1.51 c2(174) -> 175* 4.64/1.51 c2(119) -> 120* 4.64/1.51 c2(64) -> 65* 4.64/1.51 c2(59) -> 60* 4.64/1.51 c2(176) -> 177* 4.64/1.51 c2(116) -> 117* 4.64/1.51 c2(66) -> 67* 4.64/1.51 c2(61) -> 62* 4.64/1.51 c2(118) -> 119* 4.64/1.51 c2(58) -> 59* 4.64/1.51 c2(175) -> 176* 4.64/1.51 a2(57) -> 58* 4.64/1.51 a2(173) -> 174* 4.64/1.51 a2(63) -> 64* 4.64/1.51 a2(115) -> 116* 4.64/1.51 b3(80) -> 81* 4.64/1.51 b3(247) -> 248* 4.64/1.51 b3(232) -> 233* 4.64/1.51 b3(227) -> 228* 4.64/1.51 b3(212) -> 213* 4.64/1.51 b3(207) -> 208* 4.64/1.51 b3(202) -> 203* 4.64/1.51 b3(197) -> 198* 4.64/1.51 b3(182) -> 183* 4.64/1.51 b3(157) -> 158* 4.64/1.51 b3(147) -> 148* 4.64/1.51 b3(137) -> 138* 4.64/1.51 b3(132) -> 133* 4.64/1.51 b3(244) -> 245* 4.64/1.51 b3(229) -> 230* 4.64/1.51 b3(224) -> 225* 4.64/1.51 b3(209) -> 210* 4.64/1.51 b3(204) -> 205* 4.64/1.51 b3(199) -> 200* 4.64/1.51 b3(194) -> 195* 4.64/1.51 b3(179) -> 180* 4.64/1.51 b3(113) -> 114* 4.64/1.51 b3(103) -> 104* 4.64/1.51 b3(88) -> 89* 4.64/1.51 b3(83) -> 84* 4.64/1.51 b3(160) -> 161* 4.64/1.51 b3(150) -> 151* 4.64/1.51 b3(140) -> 141* 4.64/1.51 b3(135) -> 136* 4.64/1.51 b3(110) -> 111* 4.64/1.51 b3(100) -> 101* 4.64/1.51 b3(85) -> 86* 4.64/1.51 f30() -> 2* 4.64/1.51 a3(112) -> 113* 4.64/1.51 a3(102) -> 103* 4.64/1.51 a3(87) -> 88* 4.64/1.51 a3(82) -> 83* 4.64/1.51 a3(159) -> 160* 4.64/1.51 a3(149) -> 150* 4.64/1.51 a3(139) -> 140* 4.64/1.51 a3(134) -> 135* 4.64/1.51 a3(246) -> 247* 4.64/1.51 a3(231) -> 232* 4.64/1.51 a3(226) -> 227* 4.64/1.51 a3(211) -> 212* 4.64/1.51 a3(206) -> 207* 4.64/1.51 a3(201) -> 202* 4.64/1.51 a3(196) -> 197* 4.64/1.51 a3(181) -> 182* 4.64/1.51 a3(111) -> 112* 4.64/1.51 a3(101) -> 102*
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