Task filter


CPAchecker 2023-01-30 16:47:01 CET imc.nontrivial-inv

Add filter for:

CPAchecker 2023-01-30 19:32:35 CET imc_f-df.nontrivial-inv

Add filter for:

CPAchecker 2023-01-30 17:59:44 CET imc_i-df.overall

Add filter for:

Summary Table Quantile Plot Scatter Plot Info

Benchmark Setup

ToolCPAchecker 2.2.1-svn-42901
Limitstimelimit: 900 s, memlimit: 15000 MB, CPU core limit: 4
Hostapollon*
OSLinux 5.15.0
SystemCPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: disabled; RAM: 33467 MB
Date of execution2023-01-30 16:47:01 CET2023-01-30 19:32:35 CET2023-01-30 17:59:44 CET
Run setimc.nontrivial-invimc_f-df.nontrivial-invimc_i-df.overall
Options
  • -heap 13000M
  • -benchmark
  • -noout
  • -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true
  • -setprop imc.fallBack=false
  • -bmc-interpolation
  • -heap 13000M
  • -benchmark
  • -noout
  • -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true
  • -setprop imc.fallBack=false
  • -bmc-interpolation-ignoreDfInvariants150s
  • -setprop imc.invariants.injectionStrategy=AT_FIXED_POINT_CHECK
  • -heap 13000M
  • -benchmark
  • -noout
  • -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true
  • -setprop imc.fallBack=false
  • -bmc-interpolation-ignoreDfInvariants150s
Propertiesunreach-call

Statistics

CPAchecker 2023-01-30 16:47:01 CET imc.nontrivial-inv
CPAchecker 2023-01-30 19:32:35 CET imc_f-df.nontrivial-inv
CPAchecker 2023-01-30 17:59:44 CET imc_i-df.overall
Click here to select columns
 
status
cputime
(s)
walltime
(s)
memory
(MB)
#bmc-unroll
#itp-call
itp-time
(s)
 
status
cputime
(s)
walltime
(s)
memory
(MB)
#bmc-unroll
#itp-call
itp-time
(s)
 
status
cputime
(s)
walltime
(s)
memory
(MB)
#bmc-unroll
#itp-call
itp-time
(s)
all results
870
301000
292000
1180000
8588
11791
243000
870
315000
270000
2200000
8041
10587
215000
870
309000
265000
2230000
7776
10035
211000
    correct results
534
30000
25700
327000
1529
2854
19200
536
42100
26800
640000
1599
3040
17500
544
43900
28300
646000
1617
2994
18400
        correct true
534
30000
25700
327000
1529
2854
19200
536
42100
26800
640000
1599
3040
17500
544
43900
28300
646000
1617
2994
18400
        correct false
0
-
-
-
-
-
-
0
-
-
-
-
-
-
0
-
-
-
-
-
-
    incorrect results
0
-
-
-
-
-
-
0
-
-
-
-
-
-
0
-
-
-
-
-
-
        incorrect true
0
-
-
-
-
-
-
0
-
-
-
-
-
-
0
-
-
-
-
-
-
        incorrect false
0
-
-
-
-
-
-
0
-
-
-
-
-
-
0
-
-
-
-
-
-

Generated by BenchExec 3.17