Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432292218
details
property
value
status
complete
benchmark
z039.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n042.star.cs.uiowa.edu
space
Zantema_04
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
0.70228 seconds
cpu usage
1.60037
user time
1.16378
system time
0.436591
max virtual memory
2859728.0
max residence set size
62336.0
stage attributes
key
value
starexec-result
YES
output
1.48/0.69 YES 1.48/0.69 1.48/0.69 Problem: 1.48/0.69 c(a(a(b(c(a(x1)))))) -> a(a(b(c(c(a(a(b(c(x1))))))))) 1.48/0.69 1.48/0.69 Proof: 1.48/0.69 Bounds Processor: 1.48/0.69 bound: 3 1.48/0.69 enrichment: match 1.48/0.69 automaton: 1.48/0.69 final states: {4} 1.48/0.69 transitions: 1.48/0.69 a3(89) -> 90* 1.48/0.69 a3(84) -> 85* 1.48/0.69 a3(111) -> 112* 1.48/0.69 a3(106) -> 107* 1.48/0.69 a3(88) -> 89* 1.48/0.69 a3(83) -> 84* 1.48/0.69 a3(110) -> 111* 1.48/0.69 a3(105) -> 106* 1.48/0.69 a1(22) -> 23* 1.48/0.69 a1(17) -> 18* 1.48/0.69 a1(23) -> 24* 1.48/0.69 a1(18) -> 19* 1.48/0.69 b3(87) -> 88* 1.48/0.69 b3(82) -> 83* 1.48/0.69 b3(109) -> 110* 1.48/0.69 b3(104) -> 105* 1.48/0.69 b1(21) -> 22* 1.48/0.69 b1(16) -> 17* 1.48/0.69 c3(107) -> 108* 1.48/0.69 c3(86) -> 87* 1.48/0.69 c3(81) -> 82* 1.48/0.69 c3(108) -> 109* 1.48/0.69 c3(103) -> 104* 1.48/0.69 c3(85) -> 86* 1.48/0.69 c1(75) -> 76* 1.48/0.69 c1(20) -> 21* 1.48/0.69 c1(15) -> 16* 1.48/0.69 c1(39) -> 40* 1.48/0.69 c1(19) -> 20* 1.48/0.69 a2(32) -> 33* 1.48/0.69 a2(27) -> 28* 1.48/0.69 a2(59) -> 60* 1.48/0.69 a2(54) -> 55* 1.48/0.69 a2(58) -> 59* 1.48/0.69 a2(53) -> 54* 1.48/0.69 a2(33) -> 34* 1.48/0.69 a2(28) -> 29* 1.48/0.69 c0(4) -> 4* 1.48/0.69 b2(57) -> 58* 1.48/0.69 b2(52) -> 53* 1.48/0.69 b2(31) -> 32* 1.48/0.69 b2(26) -> 27* 1.48/0.69 a0(4) -> 4* 1.48/0.69 c2(55) -> 56* 1.48/0.69 c2(30) -> 31* 1.48/0.69 c2(25) -> 26* 1.48/0.69 c2(29) -> 30* 1.48/0.69 c2(91) -> 92* 1.48/0.69 c2(56) -> 57* 1.48/0.69 c2(51) -> 52* 1.48/0.69 c2(63) -> 64* 1.48/0.69 b0(4) -> 4* 1.48/0.69 4 -> 15* 1.48/0.69 22 -> 63* 1.48/0.69 23 -> 39,25 1.48/0.69 24 -> 16,20,4 1.48/0.69 32 -> 103,91 1.48/0.69 33 -> 81,75,51 1.48/0.69 34 -> 30,16,21,20 1.48/0.69 40 -> 16* 1.48/0.69 60 -> 16,21 1.48/0.69 64 -> 26* 1.48/0.69 76 -> 16* 1.48/0.69 90 -> 31* 1.48/0.69 92 -> 26* 1.48/0.69 112 -> 86,56 1.48/0.69 problem: 1.48/0.69 1.48/0.69 Qed 1.48/0.70 EOF
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