Task filter
Goblint 2025-05-05 12:51:21 UTC before
Add filter for:
Goblint 2025-05-06 16:17:21 UTC after
Add filter for:
Benchmark Setup
| Benchmark | Goblint | |||||||
|---|---|---|---|---|---|---|---|---|
| Tool | Goblint heads/master-0-gcff1d5fed-dirty | Goblint heads/pr/H-Innos/1739-0-g2663fe383-dirty | ||||||
| Limits | timelimit: 60 s, memlimit: 1000 MB, CPU core limit: 1 | |||||||
| Host | goblint-new | |||||||
| OS | Linux-6.8.0-47-generic-x86_64-with-glibc2.39 | |||||||
| System | CPU: AMD EPYC Processor (with IBPB), cores: 16, frequency: 2250 MHz; RAM: 33652 MB | |||||||
| Date of execution | 2025-05-05 12:51:21 UTC | 2025-05-06 16:17:21 UTC | ||||||
| Run set | before | after | ||||||
| Options |
|
| ||||||
Statistics
Goblint 2025-05-05 12:51:21 UTC before
Goblint 2025-05-06 16:17:21 UTC after
Click here to select columns
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
all results
437
9460
9460
319000
437
7500
7510
131000
correct results
5
240
240
4520
70
360
361
5090
correct true
5
240
240
4520
70
360
361
5090
correct false
0
-
-
-
0
-
-
-
incorrect results
0
-
-
-
10
99.5
99.5
649
incorrect true
0
-
-
-
10
99.5
99.5
649
incorrect false
0
-
-
-
0
-
-
-
score (437 tasks, max score: 774)
10
-
-
-
-180
-
-
-
Generated by BenchExec 3.30-dev