Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS_Relative 2019-03-21 03.54 pair #429988598
details
property
value
status
complete
benchmark
ex1.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n136.star.cs.uiowa.edu
space
INVY_15
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
0.563047 seconds
cpu usage
0.907717
user time
0.611609
system time
0.296108
max virtual memory
62164.0
max residence set size
57380.0
stage attributes
key
value
starexec-result
NO
output
0.33/0.55 NO 0.33/0.55 0.33/0.55 Problem: 0.33/0.55 strict: 0.33/0.55 a() -> b() 0.33/0.55 weak: 0.33/0.55 b() -> a() 0.33/0.55 0.33/0.55 Proof: 0.33/0.55 Unfolding Processor: 0.33/0.55 loop length: 2 0.33/0.55 terms: 0.33/0.55 a() 0.33/0.55 b() 0.33/0.55 context: [] 0.33/0.55 substitution: 0.33/0.55 0.33/0.55 Qed 0.33/0.56 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