Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432295212
details
property
value
status
complete
benchmark
11.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n067.star.cs.uiowa.edu
space
Zantema_06
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
1.32548 seconds
cpu usage
4.00487
user time
3.25138
system time
0.753493
max virtual memory
3574964.0
max residence set size
70604.0
stage attributes
key
value
starexec-result
YES
output
3.70/1.31 YES 3.70/1.32 3.70/1.32 Problem: 3.70/1.32 a(l(x1)) -> l(a(x1)) 3.70/1.32 a(c(x1)) -> c(a(x1)) 3.70/1.32 c(a(r(x1))) -> r(a(x1)) 3.70/1.32 l(r(a(x1))) -> a(l(c(c(r(x1))))) 3.70/1.32 3.70/1.32 Proof: 3.70/1.32 Bounds Processor: 3.70/1.32 bound: 2 3.70/1.32 enrichment: match 3.70/1.32 automaton: 3.70/1.32 final states: {6,5,4,1} 3.70/1.32 transitions: 3.70/1.32 l1(12) -> 13* 3.70/1.32 l1(38) -> 39* 3.70/1.32 a1(20) -> 21* 3.70/1.32 a1(32) -> 33* 3.70/1.32 a1(11) -> 12* 3.70/1.32 a1(23) -> 24* 3.70/1.32 c1(37) -> 38* 3.70/1.32 c1(24) -> 25* 3.70/1.32 c1(36) -> 37* 3.70/1.32 c1(21) -> 22* 3.70/1.32 r1(35) -> 36* 3.70/1.32 r1(51) -> 52* 3.70/1.32 r1(33) -> 34* 3.70/1.32 l2(49) -> 50* 3.70/1.32 a2(70) -> 71* 3.70/1.32 a2(61) -> 62* 3.70/1.32 a2(73) -> 74* 3.70/1.32 a2(58) -> 59* 3.70/1.32 a2(48) -> 49* 3.70/1.32 f40() -> 2* 3.70/1.32 c2(62) -> 63* 3.70/1.32 c2(59) -> 60* 3.70/1.32 l0(9) -> 10* 3.70/1.32 l0(3) -> 1* 3.70/1.32 r2(71) -> 72* 3.70/1.32 a0(10) -> 6* 3.70/1.32 a0(2) -> 3* 3.70/1.32 c0(7) -> 8* 3.70/1.32 c0(8) -> 9* 3.70/1.32 c0(3) -> 4* 3.70/1.32 r0(2) -> 7* 3.70/1.32 r0(3) -> 5* 3.70/1.32 1 -> 74,33,3 3.70/1.32 2 -> 35,32 3.70/1.32 4 -> 33,3 3.70/1.32 5 -> 4* 3.70/1.32 7 -> 23* 3.70/1.32 8 -> 20* 3.70/1.32 9 -> 11* 3.70/1.32 13 -> 6* 3.70/1.32 22 -> 12* 3.70/1.32 25 -> 21* 3.70/1.32 32 -> 51* 3.70/1.32 33 -> 1,3 3.70/1.32 34 -> 25,21 3.70/1.32 35 -> 70* 3.70/1.32 36 -> 61* 3.70/1.32 37 -> 58* 3.70/1.32 38 -> 48* 3.70/1.32 39 -> 32* 3.70/1.32 50 -> 74,71,1 3.70/1.32 51 -> 73* 3.70/1.32 52 -> 36* 3.70/1.32 60 -> 49* 3.70/1.32 63 -> 59* 3.70/1.32 72 -> 63,59 3.70/1.32 74 -> 71* 3.70/1.32 problem: 3.70/1.32 3.70/1.32 Qed 3.70/1.32 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