Runti Compl Full Rewri 10127

loading

job id = 30091

spaces

S-Runtime Complexity Full Rewriting-2018-07-13 21:31:56.106279 UTC

job space id = 964843

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) Runti Compl Full Rewri 10127
status complete
description (click to edit) Runtime Complexity Full Rewriting
owner Akihisa Yamada
benchmarking framework benchexec
created 2018-07-13 16:33:01.0
completed 2018-07-13 20:32:40.0
preprocessor none
postprocessor plain.6
queue unknown
wallclock timeout 300
cpu timeout 1200
max memory 128.0
random seed 0
disk usage 28.77 MB
actions
advanced actions

include ids
completed pairs only