Incremental 2020-05-28 13.54

loading

job id = 40375

spaces

Competition - Incremental Track

job space id = 1145241

solver summary

There are too many job pairs in this space hierarchy to efficiently compile them into stats and graphs. Please navigate to a subspace with fewer pairs

subspace summaries
solver summary
solver config solved wrong resource out failed unknown incomplete time conflics
graphs

options
space overview options use log scale
solver comparison options
pair vs time options
job pairs

There are too many job pairs in this space to display. Please navigate to a subspace with fewer pairs.

job pairs
benchmark solver config status time result
job overview
property value
name (click to edit) Incremental 2020-05-28 13.54
status complete
description (click to edit) no description
owner Jochen Hoenicke
benchmarking framework runsolver
created May 28 2020 01:56:32 PM
completed May 31 2020 03:13:21 AM
preprocessor SMT-COMP 2020 Incremental Scrambler
postprocessor SMT-COMP 2020 Incremental
queue smtcomp.q
wallclock timeout 1200
cpu timeout 4800
max memory 60.0
random seed 332349782
disk usage 1.67 GB
actions
advanced actions

include ids
completed pairs only