CoCo 2017

loading

job id = 24440

spaces

CoCo 2017

job space id = 862500

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
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) CoCo 2017
status complete
description (click to edit) timing
owner Julian Nagele
benchmarking framework runsolver
created 2017-09-08 01:43:32.0
completed 2017-09-08 11:25:41.0
preprocessor none
postprocessor CoCo 2017
queue unknown
wallclock timeout 60
cpu timeout 500
max memory 128.0
random seed 0
disk usage 23.53 MB
actions
advanced actions

include ids
completed pairs only