./goblint --conf conf/bench-yaml-validate.json --enable dbg.timing.enabled --enable witness.invariant.loop-head --enable witness.invariant.after-lock --disable witness.invariant.other --disable witness.invariant.accessed --ana.base.privatization mine --witness.yaml.unassume /mnt/thread-witnesses/replication/bench/thread-witnesses/mt/../../../results/mt/ourtool.2023-01-31_08-56-44.files/protection-read/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml/witness.yml --witness.yaml.validate /mnt/thread-witnesses/replication/bench/thread-witnesses/mt/../../../results/mt/ourtool.2023-01-31_08-56-44.files/mine/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml/witness.yml --sets exp.architecture 32bit /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.

runtime: 00:00:10.323
vars: 21420, evals: 24056

|rho|=21420
|called|=60
|stable|=18019
|infl|=21339
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17277
Found 3773 contexts for 107 functions. Top 5 functions:
1120	contexts for entry state of outb (5472) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5979:1-5985:1
428	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
349	contexts for entry state of inb (5473) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5986:1-5993:1
324	contexts for entry state of printk (2788) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:12705:1-12707:1
321	contexts for entry state of switch_bank (5531) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:6683:1-6691:1

Memory statistics: total=22101.34MB, max=114.78MB, minor=22095.95MB, major=230.02MB, promoted=224.63MB
    minor collections=10543  major collections=16 compactions=0


runtime: 00:00:20.382
vars: 34235, evals: 39270

|rho|=34235
|called|=114
|stable|=26193
|infl|=34118
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27687
Found 6038 contexts for 130 functions. Top 5 functions:
1662	contexts for entry state of outb (5472) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5979:1-5985:1
655	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
532	contexts for entry state of inb (5473) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5986:1-5993:1
484	contexts for entry state of switch_bank (5531) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:6683:1-6691:1
472	contexts for entry state of printk (2788) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:12705:1-12707:1

Memory statistics: total=47562.27MB, max=174.57MB, minor=47533.61MB, major=438.97MB, promoted=410.30MB
    minor collections=22677  major collections=20 compactions=0


runtime: 00:00:30.417
vars: 40886, evals: 46922

|rho|=40886
|called|=94
|stable|=30946
|infl|=40755
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33157
Found 7219 contexts for 130 functions. Top 5 functions:
1983	contexts for entry state of outb (5472) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5979:1-5985:1
771	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
671	contexts for entry state of inb (5473) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5986:1-5993:1
601	contexts for entry state of switch_bank (5531) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:6683:1-6691:1
543	contexts for entry state of printk (2788) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:12705:1-12707:1

Memory statistics: total=74524.96MB, max=200.75MB, minor=74495.66MB, major=592.56MB, promoted=563.27MB
    minor collections=35535  major collections=23 compactions=0


runtime: 00:00:40.464
vars: 47773, evals: 54817

|rho|=47773
|called|=120
|stable|=36408
|infl|=47641
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38825
Found 8438 contexts for 130 functions. Top 5 functions:
2310	contexts for entry state of outb (5472) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5979:1-5985:1
894	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
808	contexts for entry state of inb (5473) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5986:1-5993:1
719	contexts for entry state of switch_bank (5531) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:6683:1-6691:1
619	contexts for entry state of printk (2788) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:12705:1-12707:1

Memory statistics: total=102214.28MB, max=265.50MB, minor=102184.20MB, major=749.15MB, promoted=719.07MB
    minor collections=48740  major collections=25 compactions=0


runtime: 00:00:50.491
vars: 54652, evals: 62569

|rho|=54652
|called|=79
|stable|=41448
|infl|=54533
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44483
Found 9659 contexts for 130 functions. Top 5 functions:
2654	contexts for entry state of outb (5472) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5979:1-5985:1
1016	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
944	contexts for entry state of inb (5473) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5986:1-5993:1
842	contexts for entry state of switch_bank (5531) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:6683:1-6691:1
696	contexts for entry state of printk (2788) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:12705:1-12707:1

Memory statistics: total=129930.03MB, max=265.50MB, minor=129899.81MB, major=905.83MB, promoted=875.61MB
    minor collections=61957  major collections=27 compactions=0


runtime: 00:01:00.526
vars: 61267, evals: 70141

|rho|=61267
|called|=88
|stable|=46126
|infl|=61142
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=49925
Found 10832 contexts for 130 functions. Top 5 functions:
2975	contexts for entry state of outb (5472) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5979:1-5985:1
1129	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1081	contexts for entry state of inb (5473) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5986:1-5993:1
960	contexts for entry state of switch_bank (5531) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:6683:1-6691:1
764	contexts for entry state of printk (2788) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:12705:1-12707:1

Memory statistics: total=157594.78MB, max=305.32MB, minor=157564.43MB, major=1061.50MB, promoted=1031.15MB
    minor collections=75149  major collections=29 compactions=0

