LTL-Real 2022-07-11 01.42
job id = 53520
spaces
LTL-Real
job space id = 1471016
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) | LTL-Real 2022-07-11 01.42 |
status | paused |
description (click to edit) | no description |
owner | Guillermo Perez |
benchmarking framework | runsolver |
created | 2022-07-11 01:46:56.0 |
completed | 2022-07-18 08:41:55.0 |
preprocessor | none |
postprocessor | Realizability check for TLSF |
queue | unknown |
wallclock timeout | 3600 |
cpu timeout | 14400 |
max memory | 100.0 |
random seed | 0 |
disk usage | 11.16 MB |
include ids
completed pairs only