Task filter




Goblint 2024-11-15 12:38:23 UTC before

Add filter for:

Goblint 2024-11-14 08:22:24 UTC after-lazy

Add filter for:

Goblint 2024-11-14 14:42:46 UTC after-eager

Add filter for:

Summary Table Quantile Plot Scatter Plot Info

Benchmark Setup

BenchmarkGoblint
ToolGoblint remotes/origin/no-unrolling-resource-20-g425b1ee53-dirtyGoblint heads/weak-dependencies-0-ga15e91bda-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 execution2024-11-15 12:38:23 UTC2024-11-14 08:22:24 UTC2024-11-14 14:42:46 UTC
Run setbeforeafter-lazyafter-eager
Options
  • --conf conf/svcomp.json
  • -v
  • --conf conf/svcomp.json
  • -v
  • --conf conf/svcomp.json
  • -v
  • --enable solvers.td3.wk_deps.eager

Statistics

Goblint 2024-11-15 12:38:23 UTC before
Goblint 2024-11-14 08:22:24 UTC after-lazy
Goblint 2024-11-14 14:42:46 UTC after-eager
Click here to select columns
 
status
score
cputime
(s)
walltime
(s)
memory
(MB)
vars
evals
 
status
score
cputime
(s)
walltime
(s)
memory
(MB)
vars
evals
 
status
score
cputime
(s)
walltime
(s)
memory
(MB)
vars
evals
all results
3179
2668
4340
4370
122000
3353315
12335461
3179
2668
3420
3450
118000
3379153
6762037
3179
2668
4070
4100
121000
3353871
10421831
    correct results
1334
2668
877
889
43200
1078059
4070615
1334
2668
683
697
42000
1082165
2091676
1334
2668
776
788
42700
1077656
3447471
        correct true
1334
2668
877
889
43200
1078059
4070615
1334
2668
683
697
42000
1082165
2091676
1334
2668
776
788
42700
1077656
3447471
        correct false
0
-
-
-
-
-
-
0
-
-
-
-
-
-
0
-
-
-
-
-
-
    incorrect results
0
-
-
-
-
-
-
0
-
-
-
-
-
-
0
-
-
-
-
-
-
        incorrect true
0
-
-
-
-
-
-
0
-
-
-
-
-
-
0
-
-
-
-
-
-
        incorrect false
0
-
-
-
-
-
-
0
-
-
-
-
-
-
0
-
-
-
-
-
-
score (3179 tasks, max score: 5725)
2668
-
-
-
-
-
-
2668
-
-
-
-
-
-
2668
-
-
-
-
-
-

Generated by BenchExec