Runti Compl Full Rewri 10127
job id = 30091
spaces
S-Runtime Complexity Full Rewriting-2018-07-13 21:31:56.106279 UTC
job space id = 964843
solver | config | solved | wrong | resource out | failed | unknown | incomplete | time | conflics |
---|
There are too many job pairs in this space to display. Please navigate to a subspace with fewer pairs.
benchmark | solver | config | status | time | result |
---|
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 |
include ids
completed pairs only