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:
Goblint 2025-05-07 12:54:27 UTC after2
Add filter for:
Benchmark Setup
Benchmark | Goblint | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Tool | Goblint heads/master-0-gcff1d5fed-dirty | Goblint heads/pr/H-Innos/1739-0-g2663fe383-dirty | Goblint heads/pr/H-Innos/1739-0-g98b8e827f-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 | 2025-05-07 12:54:27 UTC | |||||||||
Run set | before | after | after2 | |||||||||
Options |
|
|
|
Statistics
Goblint 2025-05-05 12:51:21 UTC before
Goblint 2025-05-06 16:17:21 UTC after
Goblint 2025-05-07 12:54:27 UTC after2
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)
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
all results
454
10400
10400
333000
454
8400
8410
146000
454
9040
9050
149000
correct results
5
240
240
4520
70
360
361
5090
29
190
190
2530
correct true
5
240
240
4520
70
360
361
5090
29
190
190
2530
correct false
0
-
-
-
0
-
-
-
0
-
-
-
incorrect results
0
-
-
-
10
99.5
99.5
649
0
-
-
-
incorrect true
0
-
-
-
10
99.5
99.5
649
0
-
-
-
incorrect false
0
-
-
-
0
-
-
-
0
-
-
-
score (454 tasks, max score: 805)
10
-
-
-
-180
-
-
-
58
-
-
-
Generated by BenchExec 3.30-dev