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

BenchmarkGoblint
ToolGoblint heads/master-0-gcff1d5fed-dirtyGoblint heads/pr/H-Innos/1739-0-g2663fe383-dirtyGoblint heads/pr/H-Innos/1739-0-g98b8e827f-dirty
Limitstimelimit: 60 s, memlimit: 1000 MB, CPU core limit: 1
Hostgoblint-new
OSLinux-6.8.0-47-generic-x86_64-with-glibc2.39
SystemCPU: AMD EPYC Processor (with IBPB), cores: 16, frequency: 2250 MHz; RAM: 33652 MB
Date of execution2025-05-05 12:51:21 UTC2025-05-06 16:17:21 UTC2025-05-07 12:54:27 UTC
Run setbeforeafterafter2
Options
  • --conf conf/svcomp.json
  • --conf conf/svcomp.json
  • --conf conf/svcomp.json

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)
walltime
(s)
memory
(MB)
 
status
cputime
(s)
walltime
(s)
memory
(MB)
 
status
cputime
(s)
walltime
(s)
memory
(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