Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Relative 2019-03-29 08.12 pair #432296887
details
property
value
status
complete
benchmark
r2.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n084.star.cs.uiowa.edu
space
Waldmann_06_relative
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
5.3254 seconds
cpu usage
19.7601
user time
17.5595
system time
2.20059
max virtual memory
4009128.0
max residence set size
96276.0
stage attributes
key
value
starexec-result
YES
output
19.51/5.31 YES 19.51/5.32 19.51/5.32 Problem: 19.51/5.32 strict: 19.51/5.32 c(a(c(x1))) -> x1 19.51/5.32 a(c(a(x1))) -> a(a(a(a(x1)))) 19.51/5.32 weak: 19.51/5.32 x1 -> c(c(c(c(x1)))) 19.51/5.32 19.51/5.32 Proof: 19.51/5.32 Arctic Interpretation Processor: 19.51/5.32 dimension: 3 19.51/5.32 interpretation: 19.51/5.32 [0 2 0 ] 19.51/5.32 [a](x0) = [-& 0 -&]x0 19.51/5.32 [1 3 0 ] , 19.51/5.32 19.51/5.32 [0 -& -&] 19.51/5.32 [c](x0) = [-& -& 0 ]x0 19.51/5.32 [-& 0 -&] 19.51/5.32 orientation: 19.51/5.32 [0 0 2 ] 19.51/5.32 c(a(c(x1))) = [1 0 3 ]x1 >= x1 = x1 19.51/5.32 [-& -& 0 ] 19.51/5.32 19.51/5.32 [3 5 2] [2 4 1 ] 19.51/5.32 a(c(a(x1))) = [1 3 0]x1 >= [-& 0 -&]x1 = a(a(a(a(x1)))) 19.51/5.32 [4 6 3] [2 4 2 ] 19.51/5.32 19.51/5.32 19.51/5.32 x1 = x1 >= x1 = c(c(c(c(x1)))) 19.51/5.32 19.51/5.32 problem: 19.51/5.32 strict: 19.51/5.32 c(a(c(x1))) -> x1 19.51/5.32 weak: 19.51/5.32 x1 -> c(c(c(c(x1)))) 19.51/5.32 Arctic Interpretation Processor: 19.51/5.32 dimension: 2 19.51/5.32 interpretation: 19.51/5.32 [1 7] 19.51/5.32 [a](x0) = [2 7]x0, 19.51/5.32 19.51/5.32 19.51/5.32 [c](x0) = x0 19.51/5.32 orientation: 19.51/5.32 [1 7] 19.51/5.32 c(a(c(x1))) = [2 7]x1 >= x1 = x1 19.51/5.32 19.51/5.32 19.51/5.32 x1 = x1 >= x1 = c(c(c(c(x1)))) 19.51/5.32 problem: 19.51/5.32 strict: 19.51/5.32 19.51/5.32 weak: 19.51/5.32 x1 -> c(c(c(c(x1)))) 19.51/5.32 Qed 19.51/5.32 EOF
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS_Relative 2019-03-29 08.12