Task filter



CoVeriTeam 2022-08-31 23:39:13 CEST verifier-utaipan-plus-complete.SV-COMP22_unreach-call

Add filter for:

ULTIMATE Taipan 2021-12-09 20:22:38 CET utaipan.SV-COMP22_unreach-call

Add filter for:

Benchmark Setup

BenchmarkVerifier-utaipan-plus-complete
ToolCoVeriTeam 1.0-devULTIMATE Taipan 0.2.2-839c364b
Limitstimelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Hostapollon*Unknown
OSLinux 5.4.0-125-genericUnknown
SystemCPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: disabled; RAM: 33488 MBUnknown
Date of execution2022-08-31 23:39:13 CEST2021-12-09 20:22:38 CET
Run setverifier-utaipan-plus-complete.SV-COMP22_unreach-callutaipan.SV-COMP22_unreach-call
Options
  • coveriteam-input/cvt-programs/coveriteam-verifier.cvt
  • --cache-dir coveriteam/cache
  • --no-cache-update
  • --allow-cgroup-access-to-actors
  • --input verifier_path=coveriteam-input/actor-definitions/verifier+validator-portfolio-standalone.yml
  • --input verifier_name=utaipan
  • --full-output
Propertiesunreach-call

Statistics

CoVeriTeam 2022-08-31 23:39:13 CEST verifier-utaipan-plus-complete.SV-COMP22_unreach-call
ULTIMATE Taipan 2021-12-09 20:22:38 CET utaipan.SV-COMP22_unreach-call
Click here to select columns
 
status
cputime
(s)
walltime
(s)
memory
(MB)
cpuenergy
(J)
 
status
cputime
(s)
walltime
(s)
memory
(MB)
cpuenergy
(J)
all results
5400
3200000
2500000
26000000
36000000
5400
3100000
2500000
24000000
36000000
    correct results
1792
230000
110000
2100000
2000000
1969
180000
120000
1700000
1800000
        correct true
1194
160000
77000
1600000
1400000
1277
110000
76000
1100000
1200000
        correct false
598
63000
38000
530000
610000
692
64000
42000
610000
660000
    incorrect results
2
340
170
2000
2800
7
400
230
3400
4100
        incorrect true
2
340
170
2000
2800
7
400
230
3400
4100
        incorrect false
0
-
-
-
-
0
-
-
-
-
score (5400 tasks, max score: 8594)
2922
-
-
-
-
3022
-
-
-
-

Generated by BenchExec 3.13-dev