Overview of job-results
flexible query (experimental) | consistency check | view original jobs on star-exec:18371, | conceptsStatistics
293 of 294 pairs, 10455.4 / 3247.1 sResults
Legend
YES | NO | MAYBE | CERTIFIED | ERROR | BOUNDS | OTHER | NOTHING |
result | cpu-time/wallclock-time in seconds | complexity-score