Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS_Relative 2019-03-21 03.54 pair #429988496
details
property
value
status
complete
benchmark
trafic.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n002.star.cs.uiowa.edu
space
Mixed_relative_TRS
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
299.465 seconds
cpu usage
712.356
user time
703.665
system time
8.69004
max virtual memory
4711772.0
max residence set size
155656.0
stage attributes
key
value
starexec-result
MAYBE
output
712.26/299.45 MAYBE 712.26/299.46 712.26/299.46 Problem: 712.26/299.46 strict: 712.26/299.46 top(north(old(n),e,s,w)) -> top(east(n,e,s,w)) 712.26/299.46 top(north(new(n),old(e),s,w)) -> top(east(n,old(e),s,w)) 712.26/299.46 top(north(new(n),e,old(s),w)) -> top(east(n,e,old(s),w)) 712.26/299.46 top(north(new(n),e,s,old(w))) -> top(east(n,e,s,old(w))) 712.26/299.46 top(east(n,old(e),s,w)) -> top(south(n,e,s,w)) 712.26/299.46 top(east(old(n),new(e),s,w)) -> top(south(old(n),e,s,w)) 712.26/299.46 top(east(n,new(e),old(s),w)) -> top(south(n,e,old(s),w)) 712.26/299.46 top(east(n,new(e),s,old(w))) -> top(south(n,e,s,old(w))) 712.26/299.46 top(south(n,e,old(s),w)) -> top(west(n,e,s,w)) 712.26/299.46 top(south(old(n),e,new(s),w)) -> top(west(old(n),e,s,w)) 712.26/299.46 top(south(n,old(e),new(s),w)) -> top(west(n,old(e),s,w)) 712.26/299.46 top(south(n,e,new(s),old(w))) -> top(west(n,e,s,old(w))) 712.26/299.46 top(west(n,e,s,old(w))) -> top(north(n,e,s,w)) 712.26/299.46 top(west(old(n),e,s,new(w))) -> top(north(old(n),e,s,w)) 712.26/299.46 top(west(n,old(e),s,new(w))) -> top(north(n,old(e),s,w)) 712.26/299.46 top(west(n,e,old(s),new(w))) -> top(north(n,e,old(s),w)) 712.26/299.46 top(north(bot(),old(e),s,w)) -> top(east(bot(),old(e),s,w)) 712.26/299.46 top(north(bot(),e,old(s),w)) -> top(east(bot(),e,old(s),w)) 712.26/299.46 top(north(bot(),e,s,old(w))) -> top(east(bot(),e,s,old(w))) 712.26/299.46 top(east(old(n),bot(),s,w)) -> top(south(old(n),bot(),s,w)) 712.26/299.46 top(east(n,bot(),old(s),w)) -> top(south(n,bot(),old(s),w)) 712.26/299.46 top(east(n,bot(),s,old(w))) -> top(south(n,bot(),s,old(w))) 712.26/299.46 top(south(old(n),e,bot(),w)) -> top(west(old(n),e,bot(),w)) 712.26/299.46 top(south(n,old(e),bot(),w)) -> top(west(n,old(e),bot(),w)) 712.26/299.46 top(south(n,e,bot(),old(w))) -> top(west(n,e,bot(),old(w))) 712.26/299.46 top(west(old(n),e,s,bot())) -> top(north(old(n),e,s,bot())) 712.26/299.46 top(west(n,old(e),s,bot())) -> top(north(n,old(e),s,bot())) 712.26/299.46 top(west(n,e,old(s),bot())) -> top(north(n,e,old(s),bot())) 712.26/299.46 weak: 712.26/299.46 top(north(old(n),e,s,w)) -> top(north(n,e,s,w)) 712.26/299.46 top(north(new(n),e,s,w)) -> top(north(n,e,s,w)) 712.26/299.46 top(east(n,old(e),s,w)) -> top(east(n,e,s,w)) 712.26/299.46 top(east(n,new(e),s,w)) -> top(east(n,e,s,w)) 712.26/299.46 top(south(n,e,old(s),w)) -> top(south(n,e,s,w)) 712.26/299.46 top(south(n,e,new(s),w)) -> top(south(n,e,s,w)) 712.26/299.46 top(west(n,e,s,old(w))) -> top(west(n,e,s,w)) 712.26/299.46 top(west(n,e,s,new(w))) -> top(west(n,e,s,w)) 712.26/299.46 bot() -> new(bot()) 712.26/299.46 712.26/299.46 Proof: 712.26/299.46 Open 712.26/299.46 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