Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS_Relative 2019-03-21 03.54 pair #429988694
details
property
value
status
complete
benchmark
rt3-1.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n144.star.cs.uiowa.edu
space
Relative_05
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
0.946457 seconds
cpu usage
2.60835
user time
1.92727
system time
0.681082
max virtual memory
3497212.0
max residence set size
65096.0
stage attributes
key
value
starexec-result
YES
output
2.51/0.93 YES 2.51/0.94 2.51/0.94 Problem: 2.51/0.94 strict: 2.51/0.94 f(g(x),y,z) -> f(x,y,g(z)) 2.51/0.94 weak: 2.51/0.94 f(x,y,g(z)) -> f(x,g(y),z) 2.51/0.94 f(x,a(),z) -> f(x,g(a()),z) 2.51/0.94 f(x,y,z) -> f(x,y,g(z)) 2.51/0.94 2.51/0.94 Proof: 2.51/0.94 Matrix Interpretation Processor: dim=2 2.51/0.94 2.51/0.94 interpretation: 2.51/0.94 [0] 2.51/0.94 [a] = [0], 2.51/0.94 2.51/0.94 [2 1] [2 0] [1 0] [0] 2.51/0.94 [f](x0, x1, x2) = [0 0]x0 + [0 0]x1 + [0 0]x2 + [2], 2.51/0.94 2.51/0.94 [1 0] [0] 2.51/0.94 [g](x0) = [1 1]x0 + [2] 2.51/0.94 orientation: 2.51/0.94 [3 1] [2 0] [1 0] [2] [2 1] [2 0] [1 0] [0] 2.51/0.94 f(g(x),y,z) = [0 0]x + [0 0]y + [0 0]z + [2] >= [0 0]x + [0 0]y + [0 0]z + [2] = f(x,y,g(z)) 2.51/0.94 2.51/0.94 [2 1] [2 0] [1 0] [0] [2 1] [2 0] [1 0] [0] 2.51/0.94 f(x,y,g(z)) = [0 0]x + [0 0]y + [0 0]z + [2] >= [0 0]x + [0 0]y + [0 0]z + [2] = f(x,g(y),z) 2.51/0.94 2.51/0.94 [2 1] [1 0] [0] [2 1] [1 0] [0] 2.51/0.94 f(x,a(),z) = [0 0]x + [0 0]z + [2] >= [0 0]x + [0 0]z + [2] = f(x,g(a()),z) 2.51/0.94 2.51/0.94 [2 1] [2 0] [1 0] [0] [2 1] [2 0] [1 0] [0] 2.51/0.94 f(x,y,z) = [0 0]x + [0 0]y + [0 0]z + [2] >= [0 0]x + [0 0]y + [0 0]z + [2] = f(x,y,g(z)) 2.51/0.94 problem: 2.51/0.94 strict: 2.51/0.94 2.51/0.94 weak: 2.51/0.94 f(x,y,g(z)) -> f(x,g(y),z) 2.51/0.94 f(x,a(),z) -> f(x,g(a()),z) 2.51/0.94 f(x,y,z) -> f(x,y,g(z)) 2.51/0.94 Qed 2.51/0.94 EOF
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to TRS_Relative 2019-03-21 03.54