./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-900-2/ourtool.2023-02-02_14-22-20.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-900-2/ourtool.2023-02-02_14-22-20.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.305
vars: 21175, evals: 23843

|rho|=21175
|called|=62
|stable|=17889
|infl|=21073
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17166
Found 3752 contexts for 107 functions. Top 5 functions:
1118	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
426	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=21885.26MB, max=114.78MB, minor=21879.87MB, major=226.95MB, promoted=221.56MB
    minor collections=10440  major collections=16 compactions=0


runtime: 00:00:20.385
vars: 34089, evals: 39247

|rho|=34089
|called|=108
|stable|=26024
|infl|=33972
|wpoint|=3
|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=47450.04MB, max=174.57MB, minor=47421.37MB, major=434.83MB, promoted=406.17MB
    minor collections=22624  major collections=20 compactions=0


runtime: 00:00:30.428
vars: 40815, evals: 46991

|rho|=40815
|called|=93
|stable|=30876
|infl|=40690
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33219
Found 7232 contexts for 130 functions. Top 5 functions:
1985	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
772	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=74674.87MB, max=200.75MB, minor=74645.57MB, major=589.19MB, promoted=559.89MB
    minor collections=35607  major collections=23 compactions=0


runtime: 00:00:40.487
vars: 47619, evals: 54726

|rho|=47619
|called|=110
|stable|=36269
|infl|=47485
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38819
Found 8436 contexts for 130 functions. Top 5 functions:
2309	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
718	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=101533.67MB, max=265.50MB, minor=101503.59MB, major=741.51MB, promoted=711.43MB
    minor collections=48415  major collections=25 compactions=0


runtime: 00:00:50.538
vars: 54281, evals: 62248

|rho|=54281
|called|=82
|stable|=40976
|infl|=54162
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44300
Found 9617 contexts for 130 functions. Top 5 functions:
2648	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
1011	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
940	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
841	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
693	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=128613.19MB, max=265.50MB, minor=128582.97MB, major=892.99MB, promoted=862.78MB
    minor collections=61328  major collections=27 compactions=0


runtime: 00:01:00.574
vars: 60709, evals: 69713

|rho|=60709
|called|=106
|stable|=45994
|infl|=60575
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=49588
Found 10757 contexts for 130 functions. Top 5 functions:
2947	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
1125	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1072	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
949	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
762	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=155805.81MB, max=305.32MB, minor=155775.47MB, major=1044.59MB, promoted=1014.24MB
    minor collections=74296  major collections=29 compactions=0


runtime: 00:01:10.638
vars: 66869, evals: 76722

|rho|=66869
|called|=92
|stable|=50197
|infl|=66741
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=54654
Found 11851 contexts for 130 functions. Top 5 functions:
3255	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
1233	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1197	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
1061	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
829	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=182683.42MB, max=351.13MB, minor=182650.84MB, major=1192.77MB, promoted=1160.20MB
    minor collections=87112  major collections=30 compactions=0


runtime: 00:01:20.685
vars: 73359, evals: 83990

|rho|=73359
|called|=81
|stable|=55158
|infl|=73241
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=59994
Found 13001 contexts for 130 functions. Top 5 functions:
3576	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
1348	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1324	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
1177	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
901	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=210116.75MB, max=351.13MB, minor=210084.01MB, major=1344.58MB, promoted=1311.84MB
    minor collections=100194  major collections=31 compactions=0


runtime: 00:01:30.737
vars: 79309, evals: 90875

|rho|=79309
|called|=83
|stable|=59678
|infl|=79192
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64889
Found 14056 contexts for 130 functions. Top 5 functions:
3866	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
1453	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1444	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
1282	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
966	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=237277.34MB, max=403.80MB, minor=237244.46MB, major=1492.53MB, promoted=1459.65MB
    minor collections=113146  major collections=33 compactions=0


runtime: 00:01:40.773
vars: 85480, evals: 97895

|rho|=85480
|called|=79
|stable|=64339
|infl|=85365
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=69962
Found 15154 contexts for 130 functions. Top 5 functions:
4164	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
1571	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
1562	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1389	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
1034	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=264342.83MB, max=403.80MB, minor=264308.74MB, major=1643.19MB, promoted=1609.11MB
    minor collections=126052  major collections=34 compactions=0


runtime: 00:01:50.828
vars: 91649, evals: 104935

|rho|=91649
|called|=112
|stable|=68977
|infl|=91515
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75042
Found 16243 contexts for 130 functions. Top 5 functions:
4455	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
1696	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
1671	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1495	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
1100	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=291494.53MB, max=464.37MB, minor=291458.97MB, major=1795.73MB, promoted=1760.17MB
    minor collections=138999  major collections=35 compactions=0


runtime: 00:02:00.868
vars: 97599, evals: 111766

|rho|=97599
|called|=111
|stable|=73384
|infl|=97465
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79937
Found 17298 contexts for 130 functions. Top 5 functions:
4745	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
1816	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
1776	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1600	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
1165	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=318870.64MB, max=464.37MB, minor=318834.91MB, major=1943.65MB, promoted=1907.93MB
    minor collections=152053  major collections=36 compactions=0


runtime: 00:02:10.907
vars: 103549, evals: 118551

|rho|=103549
|called|=114
|stable|=77804
|infl|=103415
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=84832
Found 18353 contexts for 130 functions. Top 5 functions:
5035	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
1936	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
1881	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1705	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
1230	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=346241.53MB, max=534.03MB, minor=346205.64MB, major=2090.17MB, promoted=2054.27MB
    minor collections=165105  major collections=37 compactions=0


runtime: 00:02:20.939
vars: 109293, evals: 125046

|rho|=109293
|called|=83
|stable|=82032
|infl|=109173
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=89553
Found 19376 contexts for 130 functions. Top 5 functions:
5324	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
2052	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
1982	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1809	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
1294	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=373406.96MB, max=534.03MB, minor=373370.88MB, major=2234.44MB, promoted=2198.36MB
    minor collections=178059  major collections=38 compactions=0


runtime: 00:02:30.975
vars: 115013, evals: 131589

|rho|=115013
|called|=79
|stable|=86203
|infl|=114897
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94262
Found 20387 contexts for 130 functions. Top 5 functions:
5607	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
2164	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
2083	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1912	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
1356	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=400900.43MB, max=534.03MB, minor=400864.17MB, major=2381.83MB, promoted=2345.57MB
    minor collections=191170  major collections=39 compactions=0


runtime: 00:02:41.031
vars: 120551, evals: 137920

|rho|=120551
|called|=91
|stable|=90110
|infl|=120426
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=98816
Found 21371 contexts for 130 functions. Top 5 functions:
5871	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
2279	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
2179	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2008	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
1414	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=428283.38MB, max=614.13MB, minor=428246.95MB, major=2526.48MB, promoted=2490.05MB
    minor collections=204228  major collections=40 compactions=0


runtime: 00:02:51.086
vars: 126159, evals: 144289

|rho|=126159
|called|=106
|stable|=94614
|infl|=126025
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103433
Found 22362 contexts for 130 functions. Top 5 functions:
6137	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
2392	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
2280	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2104	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
1477	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=454813.84MB, max=614.13MB, minor=454777.22MB, major=2668.95MB, promoted=2632.34MB
    minor collections=216878  major collections=40 compactions=0


runtime: 00:03:01.126
vars: 131533, evals: 150375

|rho|=131533
|called|=103
|stable|=98338
|infl|=131393
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107857
Found 23312 contexts for 130 functions. Top 5 functions:
6406	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
2500	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
2373	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2204	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
1535	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=481365.03MB, max=614.13MB, minor=481324.03MB, major=2811.94MB, promoted=2770.94MB
    minor collections=229538  major collections=41 compactions=0


runtime: 00:03:11.157
vars: 136877, evals: 156594

|rho|=136877
|called|=111
|stable|=102564
|infl|=136745
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=112250
Found 24263 contexts for 130 functions. Top 5 functions:
6660	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
2608	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
2469	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2294	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
1594	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=508193.62MB, max=614.13MB, minor=508152.44MB, major=2954.56MB, promoted=2913.39MB
    minor collections=242331  major collections=42 compactions=0


runtime: 00:03:21.201
vars: 142379, evals: 162779

|rho|=142379
|called|=86
|stable|=106513
|infl|=142262
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=116776
Found 25239 contexts for 130 functions. Top 5 functions:
6940	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
2716	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
2566	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2395	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
1655	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=535298.37MB, max=706.25MB, minor=535257.00MB, major=3095.75MB, promoted=3054.38MB
    minor collections=255256  major collections=42 compactions=0


runtime: 00:03:31.237
vars: 147579, evals: 168735

|rho|=147579
|called|=111
|stable|=110525
|infl|=147445
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=121055
Found 26160 contexts for 130 functions. Top 5 functions:
7181	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
2824	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
2658	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2482	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
1711	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=561588.65MB, max=706.25MB, minor=561547.08MB, major=3234.00MB, promoted=3192.43MB
    minor collections=267792  major collections=43 compactions=0


runtime: 00:03:41.260
vars: 152988, evals: 174830

|rho|=152988
|called|=101
|stable|=114285
|infl|=152850
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125508
Found 27116 contexts for 130 functions. Top 5 functions:
7452	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
2932	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
2753	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2582	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
1771	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=588831.07MB, max=706.25MB, minor=588789.30MB, major=3375.11MB, promoted=3333.34MB
    minor collections=280783  major collections=44 compactions=0


runtime: 00:03:51.316
vars: 158008, evals: 180600

|rho|=158008
|called|=85
|stable|=118198
|infl|=157887
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=129635
Found 28009 contexts for 130 functions. Top 5 functions:
7698	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
3031	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
2843	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2669	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
1827	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=615540.72MB, max=812.19MB, minor=615498.75MB, major=3511.45MB, promoted=3469.47MB
    minor collections=293519  major collections=44 compactions=0


runtime: 00:04:01.335
vars: 163057, evals: 186461

|rho|=163057
|called|=110
|stable|=122025
|infl|=162925
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=133788
Found 28905 contexts for 130 functions. Top 5 functions:
7936	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
3136	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
2931	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2756	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
1880	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=642269.54MB, max=812.19MB, minor=642225.26MB, major=3652.05MB, promoted=3607.77MB
    minor collections=306264  major collections=45 compactions=0


runtime: 00:04:11.383
vars: 168019, evals: 192080

|rho|=168019
|called|=90
|stable|=125337
|infl|=167892
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=137869
Found 29786 contexts for 130 functions. Top 5 functions:
8185	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
3237	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
3018	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2846	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
1934	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=668946.03MB, max=812.19MB, minor=668901.55MB, major=3787.46MB, promoted=3742.98MB
    minor collections=318985  major collections=45 compactions=0


runtime: 00:04:21.418
vars: 173243, evals: 197919

|rho|=173243
|called|=104
|stable|=129338
|infl|=173102
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=142171
Found 30708 contexts for 130 functions. Top 5 functions:
8440	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
3340	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
3111	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2940	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
1993	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=695569.40MB, max=812.19MB, minor=695524.70MB, major=3922.60MB, promoted=3877.90MB
    minor collections=331680  major collections=46 compactions=0


runtime: 00:04:31.466
vars: 178079, evals: 203503

|rho|=178079
|called|=90
|stable|=133047
|infl|=177962
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=146146
Found 31569 contexts for 130 functions. Top 5 functions:
8680	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
3436	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
3196	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3025	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
2045	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=722447.40MB, max=812.19MB, minor=722400.40MB, major=4059.80MB, promoted=4012.81MB
    minor collections=344496  major collections=46 compactions=0


runtime: 00:04:41.486
vars: 182839, evals: 208916

|rho|=182839
|called|=88
|stable|=136568
|infl|=182722
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=150062
Found 32413 contexts for 130 functions. Top 5 functions:
8912	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
3532	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
3280	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3109	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
2097	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=748623.84MB, max=812.19MB, minor=748576.63MB, major=4190.92MB, promoted=4143.70MB
    minor collections=356978  major collections=47 compactions=0


runtime: 00:04:51.521
vars: 187599, evals: 214350

|rho|=187599
|called|=83
|stable|=140110
|infl|=187482
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=153978
Found 33257 contexts for 130 functions. Top 5 functions:
9144	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
3628	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
3364	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3193	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
2149	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=775260.17MB, max=934.02MB, minor=775212.22MB, major=4323.39MB, promoted=4275.45MB
    minor collections=369679  major collections=47 compactions=0


runtime: 00:05:01.549
vars: 192408, evals: 219850

|rho|=192408
|called|=104
|stable|=143724
|infl|=192267
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=157937
Found 34107 contexts for 130 functions. Top 5 functions:
9377	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
3725	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
3449	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3277	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
2202	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=801806.83MB, max=934.02MB, minor=801758.66MB, major=4456.37MB, promoted=4408.21MB
    minor collections=382338  major collections=48 compactions=0


runtime: 00:05:11.600
vars: 197123, evals: 225238

|rho|=197123
|called|=89
|stable|=147215
|infl|=197008
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161813
Found 34946 contexts for 130 functions. Top 5 functions:
9609	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
3820	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
3532	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3361	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
2253	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=828377.36MB, max=934.02MB, minor=828328.99MB, major=4587.84MB, promoted=4539.46MB
    minor collections=395008  major collections=48 compactions=0


runtime: 00:05:21.620
vars: 201879, evals: 230622

|rho|=201879
|called|=114
|stable|=150706
|infl|=201762
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165726
Found 35789 contexts for 130 functions. Top 5 functions:
9840	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
3916	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
3616	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3445	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
2305	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=854115.48MB, max=934.02MB, minor=854066.88MB, major=4716.59MB, promoted=4667.98MB
    minor collections=407282  major collections=49 compactions=0


runtime: 00:05:31.675
vars: 206200, evals: 235586

|rho|=206200
|called|=90
|stable|=153726
|infl|=206073
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169279
Found 36557 contexts for 130 functions. Top 5 functions:
10046	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
4007	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
3691	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3520	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
2350	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=879486.95MB, max=1074.12MB, minor=879438.14MB, major=4841.27MB, promoted=4792.45MB
    minor collections=419380  major collections=49 compactions=0


runtime: 00:05:41.711
vars: 210791, evals: 240849

|rho|=210791
|called|=82
|stable|=157520
|infl|=210672
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173055
Found 37372 contexts for 130 functions. Top 5 functions:
10270	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
4098	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
3773	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3601	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
2401	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=905450.16MB, max=1074.12MB, minor=905401.12MB, major=4970.17MB, promoted=4921.13MB
    minor collections=431761  major collections=50 compactions=0


runtime: 00:05:51.742
vars: 215135, evals: 245747

|rho|=215135
|called|=79
|stable|=160639
|infl|=215020
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=176632
Found 38139 contexts for 130 functions. Top 5 functions:
10482	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
4184	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
3851	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3677	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
2451	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=929664.79MB, max=1074.12MB, minor=929615.55MB, major=5089.28MB, promoted=5040.04MB
    minor collections=443307  major collections=50 compactions=0


runtime: 00:06:01.806
vars: 219841, evals: 251125

|rho|=219841
|called|=94
|stable|=164119
|infl|=219710
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180504
Found 38973 contexts for 130 functions. Top 5 functions:
10714	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
4278	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
3934	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3761	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
2503	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=956383.60MB, max=1074.12MB, minor=956334.12MB, major=5220.76MB, promoted=5171.28MB
    minor collections=456048  major collections=50 compactions=0


runtime: 00:06:11.834
vars: 224489, evals: 256430

|rho|=224489
|called|=81
|stable|=167527
|infl|=224372
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=184327
Found 39798 contexts for 130 functions. Top 5 functions:
10942	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
4372	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
4015	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3844	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
2552	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=983302.48MB, max=1074.12MB, minor=983252.76MB, major=5352.30MB, promoted=5302.59MB
    minor collections=468884  major collections=51 compactions=0


runtime: 00:06:21.889
vars: 228835, evals: 261397

|rho|=228835
|called|=93
|stable|=170548
|infl|=228710
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=187901
Found 40570 contexts for 130 functions. Top 5 functions:
11149	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
4463	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
4090	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3919	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
2597	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=1009538.35MB, max=1074.12MB, minor=1009488.39MB, major=5477.52MB, promoted=5427.57MB
    minor collections=481394  major collections=51 compactions=0


runtime: 00:06:31.913
vars: 233469, evals: 266701

|rho|=233469
|called|=96
|stable|=173956
|infl|=233341
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=191714
Found 41391 contexts for 130 functions. Top 5 functions:
11375	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
4557	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
4173	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4001	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
2649	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=1036737.33MB, max=1074.12MB, minor=1036687.13MB, major=5609.33MB, promoted=5559.13MB
    minor collections=494364  major collections=51 compactions=0


runtime: 00:06:41.941
vars: 237800, evals: 271589

|rho|=237800
|called|=78
|stable|=177489
|infl|=237685
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=195274
Found 42162 contexts for 130 functions. Top 5 functions:
11588	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
4643	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
4250	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4077	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
2698	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=1062716.49MB, max=1074.12MB, minor=1062666.04MB, major=5732.65MB, promoted=5682.20MB
    minor collections=506752  major collections=52 compactions=0


runtime: 00:06:51.996
vars: 242322, evals: 276670

|rho|=242322
|called|=90
|stable|=180669
|infl|=242195
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=198998
Found 42960 contexts for 130 functions. Top 5 functions:
11812	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
4732	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
4330	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4159	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
2747	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=1088704.72MB, max=1235.24MB, minor=1088654.04MB, major=5856.89MB, promoted=5806.22MB
    minor collections=519144  major collections=52 compactions=0


runtime: 00:07:02.016
vars: 246500, evals: 281568

|rho|=246500
|called|=84
|stable|=184049
|infl|=246379
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=202434
Found 43702 contexts for 130 functions. Top 5 functions:
12010	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
4818	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
4403	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4231	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
2791	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=1115634.32MB, max=1235.24MB, minor=1115583.42MB, major=5984.76MB, promoted=5933.86MB
    minor collections=531985  major collections=52 compactions=0


runtime: 00:07:12.035
vars: 250794, evals: 286417

|rho|=250794
|called|=97
|stable|=187116
|infl|=250660
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=205968
Found 44462 contexts for 130 functions. Top 5 functions:
12222	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
4902	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
4481	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4307	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
2841	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=1141331.67MB, max=1235.24MB, minor=1141280.53MB, major=6106.88MB, promoted=6055.74MB
    minor collections=544239  major collections=53 compactions=0


runtime: 00:07:22.091
vars: 255021, evals: 291261

|rho|=255021
|called|=92
|stable|=190002
|infl|=254895
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=209443
Found 45214 contexts for 130 functions. Top 5 functions:
12425	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
4991	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
4552	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4381	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
2883	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=1167425.47MB, max=1235.24MB, minor=1167374.08MB, major=6231.18MB, promoted=6179.80MB
    minor collections=556682  major collections=53 compactions=0


runtime: 00:07:32.114
vars: 259439, evals: 296273

|rho|=259439
|called|=106
|stable|=193622
|infl|=259305
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213081
Found 45994 contexts for 130 functions. Top 5 functions:
12633	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
5080	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
4632	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4456	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
2933	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=1194251.08MB, max=1235.24MB, minor=1194199.43MB, major=6356.51MB, promoted=6304.87MB
    minor collections=569474  major collections=53 compactions=0


runtime: 00:07:42.138
vars: 263386, evals: 300805

|rho|=263386
|called|=104
|stable|=196225
|infl|=263245
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=216329
Found 46693 contexts for 130 functions. Top 5 functions:
12831	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
5159	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
4699	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4528	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
2974	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=1219190.84MB, max=1235.24MB, minor=1219130.58MB, major=6482.81MB, promoted=6422.55MB
    minor collections=581364  major collections=54 compactions=0


runtime: 00:07:52.169
vars: 267495, evals: 305455

|rho|=267495
|called|=78
|stable|=199535
|infl|=267380
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219708
Found 47423 contexts for 130 functions. Top 5 functions:
13034	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
5240	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
4775	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4601	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
3023	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=1244841.68MB, max=1235.24MB, minor=1244781.16MB, major=6600.69MB, promoted=6540.17MB
    minor collections=593596  major collections=54 compactions=0


runtime: 00:08:02.189
vars: 271841, evals: 310407

|rho|=271841
|called|=110
|stable|=202538
|infl|=271694
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223285
Found 48192 contexts for 130 functions. Top 5 functions:
13244	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
5331	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
4849	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4678	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
3067	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=1271667.70MB, max=1235.24MB, minor=1271606.93MB, major=6726.13MB, promoted=6665.36MB
    minor collections=606387  major collections=54 compactions=0


runtime: 00:08:12.212
vars: 275948, evals: 315076

|rho|=275948
|called|=109
|stable|=205847
|infl|=275803
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=226663
Found 48921 contexts for 130 functions. Top 5 functions:
13445	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
5414	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
4922	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4750	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
3114	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=1297756.11MB, max=1235.24MB, minor=1297695.09MB, major=6845.83MB, promoted=6784.81MB
    minor collections=618828  major collections=55 compactions=0


runtime: 00:08:22.248
vars: 279862, evals: 319600

|rho|=279862
|called|=100
|stable|=208843
|infl|=279725
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229882
Found 49616 contexts for 130 functions. Top 5 functions:
13635	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
5491	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
4992	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4820	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
3156	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=1323094.31MB, max=1420.53MB, minor=1323033.05MB, major=6964.82MB, promoted=6903.56MB
    minor collections=630910  major collections=55 compactions=0


runtime: 00:08:32.288
vars: 284114, evals: 324413

|rho|=284114
|called|=97
|stable|=211868
|infl|=283980
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=233380
Found 50370 contexts for 130 functions. Top 5 functions:
13846	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
5574	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
5069	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4895	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
3205	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=1349609.71MB, max=1420.53MB, minor=1349548.18MB, major=7087.68MB, promoted=7026.15MB
    minor collections=643554  major collections=55 compactions=0


runtime: 00:08:42.323
vars: 288331, evals: 329238

|rho|=288331
|called|=94
|stable|=214744
|infl|=288200
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=236848
Found 51119 contexts for 130 functions. Top 5 functions:
14049	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
5663	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
5140	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4969	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
3247	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=1376259.88MB, max=1420.53MB, minor=1376198.09MB, major=7211.17MB, promoted=7149.39MB
    minor collections=656262  major collections=56 compactions=0


runtime: 00:08:52.339
vars: 292420, evals: 333893

|rho|=292420
|called|=95
|stable|=218032
|infl|=292288
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=240214
Found 51842 contexts for 130 functions. Top 5 functions:
14252	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
5742	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
5215	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5042	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
3296	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=1401989.77MB, max=1420.53MB, minor=1401927.71MB, major=7331.10MB, promoted=7269.04MB
    minor collections=668531  major collections=56 compactions=0


runtime: 00:09:02.378
vars: 296329, evals: 338399

|rho|=296329
|called|=102
|stable|=221026
|infl|=296195
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=243430
Found 52535 contexts for 130 functions. Top 5 functions:
14431	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
5824	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
5283	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5107	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
3336	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=1427548.85MB, max=1420.53MB, minor=1427486.53MB, major=7448.18MB, promoted=7385.87MB
    minor collections=680718  major collections=56 compactions=0


runtime: 00:09:12.402
vars: 300462, evals: 343026

|rho|=300462
|called|=100
|stable|=223815
|infl|=300325
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=246832
Found 53266 contexts for 130 functions. Top 5 functions:
14641	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
5907	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
5354	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5185	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
3380	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=1454570.40MB, max=1420.53MB, minor=1454507.84MB, major=7569.45MB, promoted=7506.89MB
    minor collections=693603  major collections=56 compactions=0


runtime: 00:09:22.425
vars: 304402, evals: 347536

|rho|=304402
|called|=78
|stable|=226938
|infl|=304284
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250070
Found 53968 contexts for 130 functions. Top 5 functions:
14834	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
5984	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
5426	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5252	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
3426	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=1481046.50MB, max=1420.53MB, minor=1480983.66MB, major=7688.82MB, promoted=7625.98MB
    minor collections=706229  major collections=57 compactions=0


runtime: 00:09:32.449
vars: 308229, evals: 351953

|rho|=308229
|called|=120
|stable|=229850
|infl|=308095
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=253220
Found 54645 contexts for 130 functions. Top 5 functions:
15011	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
6064	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
5493	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5317	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
3466	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=1506509.26MB, max=1420.53MB, minor=1506446.15MB, major=7805.66MB, promoted=7742.56MB
    minor collections=718370  major collections=57 compactions=0


runtime: 00:09:42.500
vars: 312135, evals: 356387

|rho|=312135
|called|=92
|stable|=232428
|infl|=312010
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=256431
Found 55340 contexts for 130 functions. Top 5 functions:
15209	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
6143	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
5560	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5389	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
3507	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=1532615.79MB, max=1633.61MB, minor=1532552.43MB, major=7924.62MB, promoted=7861.27MB
    minor collections=730819  major collections=57 compactions=0


runtime: 00:09:52.520
vars: 316123, evals: 360938

|rho|=316123
|called|=92
|stable|=235615
|infl|=316008
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=259713
Found 56046 contexts for 130 functions. Top 5 functions:
15409	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
6220	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
5632	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5461	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
3553	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=1559144.06MB, max=1633.61MB, minor=1559080.44MB, major=8044.23MB, promoted=7980.61MB
    minor collections=743469  major collections=57 compactions=0


runtime: 00:10:02.539
vars: 319879, evals: 365199

|rho|=319879
|called|=90
|stable|=238454
|infl|=319764
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=262802
Found 56713 contexts for 130 functions. Top 5 functions:
15588	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
6296	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
5699	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5525	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
3595	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=1584930.86MB, max=1633.61MB, minor=1584862.77MB, major=8162.93MB, promoted=8094.84MB
    minor collections=755765  major collections=58 compactions=0


runtime: 00:10:12.559
vars: 323649, evals: 369496

|rho|=323649
|called|=116
|stable|=241292
|infl|=323513
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=265908
Found 57377 contexts for 130 functions. Top 5 functions:
15765	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
6376	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
5764	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5590	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
3635	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=1610562.33MB, max=1633.61MB, minor=1610493.97MB, major=8277.26MB, promoted=8208.90MB
    minor collections=767987  major collections=58 compactions=0


runtime: 00:10:22.623
vars: 327277, evals: 373727

|rho|=327277
|called|=112
|stable|=244017
|infl|=327145
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=268890
Found 58023 contexts for 130 functions. Top 5 functions:
15940	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
6448	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
5829	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5654	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
3674	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=1636452.41MB, max=1633.61MB, minor=1636383.80MB, major=8394.22MB, promoted=8325.61MB
    minor collections=780332  major collections=58 compactions=0


runtime: 00:10:32.642
vars: 331184, evals: 378123

|rho|=331184
|called|=91
|stable|=246581
|infl|=331059
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=272101
Found 58719 contexts for 130 functions. Top 5 functions:
16137	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
6527	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
5896	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5725	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
3715	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=1663329.23MB, max=1633.61MB, minor=1663260.37MB, major=8513.93MB, promoted=8445.06MB
    minor collections=793148  major collections=58 compactions=0


runtime: 00:10:42.662
vars: 335159, evals: 382582

|rho|=335159
|called|=118
|stable|=249690
|infl|=335042
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=275374
Found 59421 contexts for 130 functions. Top 5 functions:
16336	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
6604	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
5968	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5797	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
3761	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=1689391.43MB, max=1633.61MB, minor=1689322.28MB, major=8629.56MB, promoted=8560.41MB
    minor collections=805576  major collections=59 compactions=0


runtime: 00:10:52.677
vars: 338729, evals: 386684

|rho|=338729
|called|=86
|stable|=252373
|infl|=338612
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=278311
Found 60054 contexts for 130 functions. Top 5 functions:
16510	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
6676	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
6031	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5860	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
3800	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=1715176.01MB, max=1633.61MB, minor=1715106.58MB, major=8742.87MB, promoted=8673.45MB
    minor collections=817871  major collections=59 compactions=0


runtime: 00:11:02.761
vars: 342299, evals: 390773

|rho|=342299
|called|=81
|stable|=255043
|infl|=342182
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=281248
Found 60687 contexts for 130 functions. Top 5 functions:
16684	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
6748	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
6094	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5923	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
3839	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=1740415.71MB, max=1633.61MB, minor=1740346.01MB, major=8854.17MB, promoted=8784.47MB
    minor collections=829906  major collections=59 compactions=0


runtime: 00:11:12.780
vars: 345966, evals: 394955

|rho|=345966
|called|=98
|stable|=257808
|infl|=345831
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=284266
Found 61336 contexts for 130 functions. Top 5 functions:
16861	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
6822	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
6160	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5987	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
3881	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=1766730.93MB, max=1633.61MB, minor=1766660.98MB, major=8968.81MB, promoted=8898.86MB
    minor collections=842454  major collections=59 compactions=0


runtime: 00:11:22.796
vars: 349669, evals: 399157

|rho|=349669
|called|=86
|stable|=260596
|infl|=349546
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=287308
Found 61997 contexts for 130 functions. Top 5 functions:
17040	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
6899	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
6224	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6051	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
3920	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=1793581.68MB, max=1633.61MB, minor=1793511.45MB, major=9084.41MB, promoted=9014.19MB
    minor collections=855258  major collections=60 compactions=0


runtime: 00:11:32.816
vars: 353175, evals: 403157

|rho|=353175
|called|=87
|stable|=263181
|infl|=353055
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=290196
Found 62615 contexts for 130 functions. Top 5 functions:
17210	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
6968	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
6287	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6113	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
3959	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=1818553.46MB, max=1633.61MB, minor=1818478.78MB, major=9198.39MB, promoted=9123.71MB
    minor collections=867164  major collections=60 compactions=0


runtime: 00:11:42.843
vars: 356668, evals: 407162

|rho|=356668
|called|=101
|stable|=265756
|infl|=356533
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=293071
Found 63233 contexts for 130 functions. Top 5 functions:
17383	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
7038	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
6348	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6176	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
3997	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=1843304.39MB, max=1633.61MB, minor=1843229.43MB, major=9306.55MB, promoted=9231.60MB
    minor collections=878966  major collections=60 compactions=0


runtime: 00:11:52.911
vars: 360206, evals: 411193

|rho|=360206
|called|=105
|stable|=268376
|infl|=360064
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=295982
Found 63860 contexts for 130 functions. Top 5 functions:
17556	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
7109	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
6410	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6239	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
4035	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=1868956.83MB, max=1878.66MB, minor=1868881.60MB, major=9417.13MB, promoted=9341.90MB
    minor collections=891198  major collections=60 compactions=0


runtime: 00:12:02.926
vars: 363820, evals: 415313

|rho|=363820
|called|=94
|stable|=271072
|infl|=363689
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=298954
Found 64502 contexts for 130 functions. Top 5 functions:
17732	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
7182	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
6475	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6302	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
4076	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=1895285.34MB, max=1878.66MB, minor=1895209.84MB, major=9531.66MB, promoted=9456.16MB
    minor collections=903753  major collections=60 compactions=0


runtime: 00:12:12.966
vars: 367367, evals: 419352

|rho|=367367
|called|=105
|stable|=273701
|infl|=367225
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=301873
Found 65130 contexts for 130 functions. Top 5 functions:
17904	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
7254	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
6536	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6365	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
4114	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=1921679.73MB, max=1878.66MB, minor=1921603.97MB, major=9644.49MB, promoted=9568.73MB
    minor collections=916339  major collections=61 compactions=0


runtime: 00:12:22.997
vars: 370940, evals: 423425

|rho|=370940
|called|=105
|stable|=276356
|infl|=370798
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=304812
Found 65764 contexts for 130 functions. Top 5 functions:
18078	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
7326	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
6600	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6428	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
4153	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=1947055.42MB, max=1878.66MB, minor=1946978.32MB, major=9755.90MB, promoted=9678.79MB
    minor collections=928439  major collections=61 compactions=0


runtime: 00:12:33.037
vars: 374429, evals: 427387

|rho|=374429
|called|=114
|stable|=278886
|infl|=374312
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=307681
Found 66384 contexts for 130 functions. Top 5 functions:
18250	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
7396	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
6661	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6490	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
4190	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=1972207.63MB, max=1878.66MB, minor=1972130.24MB, major=9863.92MB, promoted=9786.53MB
    minor collections=940432  major collections=61 compactions=0


runtime: 00:12:43.096
vars: 377999, evals: 431459

|rho|=377999
|called|=97
|stable|=281539
|infl|=377882
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=310618
Found 67017 contexts for 130 functions. Top 5 functions:
18424	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
7468	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
6724	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6553	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
4229	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=1998385.28MB, max=1878.66MB, minor=1998307.64MB, major=9977.93MB, promoted=9900.29MB
    minor collections=952915  major collections=61 compactions=0


runtime: 00:12:53.132
vars: 381569, evals: 435516

|rho|=381569
|called|=106
|stable|=284177
|infl|=381452
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=313555
Found 67650 contexts for 130 functions. Top 5 functions:
18598	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
7540	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
6787	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6616	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
4268	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=2024792.93MB, max=1878.66MB, minor=2024714.99MB, major=10089.30MB, promoted=10011.37MB
    minor collections=965507  major collections=61 compactions=0


runtime: 00:13:03.151
vars: 385139, evals: 439585

|rho|=385139
|called|=126
|stable|=286827
|infl|=385022
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=316492
Found 68283 contexts for 130 functions. Top 5 functions:
18772	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
7612	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
6850	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6679	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
4307	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=2051165.75MB, max=1878.66MB, minor=2051087.53MB, major=10201.50MB, promoted=10123.28MB
    minor collections=978083  major collections=62 compactions=0


runtime: 00:13:13.167
vars: 388368, evals: 443314

|rho|=388368
|called|=96
|stable|=289077
|infl|=388235
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=319148
Found 68856 contexts for 130 functions. Top 5 functions:
18925	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
7681	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
6904	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6735	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
4339	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=2076593.78MB, max=1878.66MB, minor=2076515.28MB, major=10309.60MB, promoted=10231.11MB
    minor collections=990208  major collections=62 compactions=0


runtime: 00:13:23.203
vars: 391714, evals: 447152

|rho|=391714
|called|=102
|stable|=291931
|infl|=391575
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=321902
Found 69448 contexts for 130 functions. Top 5 functions:
19086	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
7747	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
6966	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6793	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
4378	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=2101573.54MB, max=1878.66MB, minor=2101494.75MB, major=10416.15MB, promoted=10337.37MB
    minor collections=1002119  major collections=62 compactions=0


runtime: 00:13:33.274
vars: 395099, evals: 450991

|rho|=395099
|called|=115
|stable|=294397
|infl|=394965
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=324687
Found 70048 contexts for 130 functions. Top 5 functions:
19245	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
7816	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
7026	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6850	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
4415	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=2126710.40MB, max=1878.66MB, minor=2126631.34MB, major=10521.70MB, promoted=10442.64MB
    minor collections=1014106  major collections=62 compactions=0


runtime: 00:13:43.306
vars: 398652, evals: 455013

|rho|=398652
|called|=121
|stable|=297017
|infl|=398510
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=327611
Found 70677 contexts for 130 functions. Top 5 functions:
19419	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
7888	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
7088	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6913	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
4454	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=2153131.33MB, max=1878.66MB, minor=2153051.99MB, major=10633.91MB, promoted=10554.57MB
    minor collections=1026704  major collections=62 compactions=0


runtime: 00:13:53.317
vars: 402029, evals: 458865

|rho|=402029
|called|=86
|stable|=299492
|infl|=401906
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=330384
Found 71281 contexts for 130 functions. Top 5 functions:
19592	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
7955	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
7148	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6975	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
4492	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=2179517.47MB, max=1878.66MB, minor=2179437.84MB, major=10744.74MB, promoted=10665.11MB
    minor collections=1039286  major collections=62 compactions=0


runtime: 00:14:03.333
vars: 405458, evals: 462799

|rho|=405458
|called|=98
|stable|=302000
|infl|=405323
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=333210
Found 71884 contexts for 130 functions. Top 5 functions:
19761	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
8022	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
7209	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
7037	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
4530	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=2205082.55MB, max=1878.66MB, minor=2205002.63MB, major=10853.60MB, promoted=10773.67MB
    minor collections=1051477  major collections=63 compactions=0


runtime: 00:14:13.349
vars: 408699, evals: 466468

|rho|=408699
|called|=112
|stable|=304206
|infl|=408550
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=335876
Found 72459 contexts for 130 functions. Top 5 functions:
19915	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
8091	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
7264	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
7094	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
4562	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=2230358.45MB, max=1878.66MB, minor=2230278.25MB, major=10958.84MB, promoted=10878.63MB
    minor collections=1063529  major collections=63 compactions=0


runtime: 00:14:23.392
vars: 411767, evals: 470075

|rho|=411767
|called|=108
|stable|=306782
|infl|=411635
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=338399
Found 73004 contexts for 130 functions. Top 5 functions:
20058	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
8152	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
7320	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
7145	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
4597	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=2255059.44MB, max=1878.66MB, minor=2254978.96MB, major=11062.00MB, promoted=10981.51MB
    minor collections=1075308  major collections=63 compactions=0


runtime: 00:14:33.456
vars: 415269, evals: 473977

|rho|=415269
|called|=126
|stable|=309350
|infl|=415127
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=341283
Found 73622 contexts for 130 functions. Top 5 functions:
20231	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
8224	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
7381	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
7207	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
4636	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=2280961.82MB, max=2160.46MB, minor=2280881.07MB, major=11170.10MB, promoted=11089.35MB
    minor collections=1087659  major collections=63 compactions=0


runtime: 00:14:43.479
vars: 418556, evals: 477732

|rho|=418556
|called|=100
|stable|=311732
|infl|=418419
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=343985
Found 74207 contexts for 130 functions. Top 5 functions:
20399	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
8286	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
7441	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
7268	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
4674	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=2306789.17MB, max=2160.46MB, minor=2306708.14MB, major=11278.56MB, promoted=11197.53MB
    minor collections=1099975  major collections=63 compactions=0


runtime: 00:14:53.499
vars: 421977, evals: 481550

|rho|=421977
|called|=93
|stable|=314118
|infl|=421847
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=346800
Found 74813 contexts for 130 functions. Top 5 functions:
20567	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
8356	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
7500	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
7330	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
4710	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=2332943.72MB, max=2160.46MB, minor=2332862.40MB, major=11387.23MB, promoted=11305.91MB
    minor collections=1112447  major collections=64 compactions=0

