smt-comp 2017-06-13 16.52 pair #290636161

property value
status complete
benchmark add_01_1000_1.smt2
ran by Francois Bobot
cpu timeout 4 seconds
wallclock timeout 10 seconds
memory limit 4294967296 bytes
execution host
space fmcad12
run statistics
property value
solver COLIBRI 13_06_17 c43817e9
configuration default
runtime (wallclock) 0.349602 seconds
cpu usage 0.345122
user time 0.318704
system time 0.026418
max virtual memory 113120.0
max residence set size 28692.0
stage attributes
key value
starexec-result unsat
loading output popout

output may be truncated. 'popout' for the full output.

loading job log

actions all output return to smt-comp 2017-06-13 16.52