TACAS20_Flata
job id = 37742
spaces
flata
job space id = 1096304
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) | TACAS20_Flata |
status | complete |
description (click to edit) | no description |
owner | Florian Frohn |
benchmarking framework | runsolver |
created | 2020-01-03 08:38:49.0 |
completed | 2020-01-03 08:50:12.0 |
preprocessor | none |
postprocessor | plain.4 |
queue | all.q |
wallclock timeout | 60 |
cpu timeout | 1200 |
max memory | 128.0 |
random seed | 0 |
disk usage | 425.16 KB |
include ids
completed pairs only