Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS_Relative 2019-03-21 03.54 pair #429988595
details
property
value
status
complete
benchmark
ex6.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n178.star.cs.uiowa.edu
space
INVY_15
run statistics
property
value
solver
ttt2-1.19
configuration
ttt2
runtime (wallclock)
0.61538 seconds
cpu usage
1.16449
user time
0.780983
system time
0.383505
max virtual memory
1181116.0
max residence set size
58092.0
stage attributes
key
value
starexec-result
NO
output
1.01/0.61 NO 1.01/0.61 1.01/0.61 Problem: 1.01/0.61 strict: 1.01/0.61 a() -> b() 1.01/0.61 weak: 1.01/0.61 d() -> c(a(),d()) 1.01/0.61 1.01/0.61 Proof: 1.01/0.61 Unfolding Processor: 1.01/0.61 loop length: 2 1.01/0.61 terms: 1.01/0.61 d() 1.01/0.61 c(a(),d()) 1.01/0.61 context: c(b(),[]) 1.01/0.61 substitution: 1.01/0.61 1.01/0.61 Qed 1.01/0.61 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