./goblint --conf conf/bench-yaml.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 --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.281
vars: 18769, evals: 21747

|rho|=18769
|called|=80
|stable|=15483
|infl|=18650
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=15180
Found 3332 contexts for 107 functions. Top 5 functions:
996	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
374	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
308	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
285	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
284	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=22949.80MB, max=99.81MB, minor=22945.32MB, major=211.23MB, promoted=206.76MB
    minor collections=10949  major collections=17 compactions=0


runtime: 00:00:20.372
vars: 30808, evals: 35384

|rho|=30808
|called|=103
|stable|=23545
|infl|=30686
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=24994
Found 5452 contexts for 130 functions. Top 5 functions:
1487	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
589	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
472	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
425	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
421	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=45656.38MB, max=174.57MB, minor=45629.16MB, major=384.67MB, promoted=357.45MB
    minor collections=21769  major collections=20 compactions=0


runtime: 00:00:30.414
vars: 36965, evals: 42794

|rho|=36965
|called|=108
|stable|=28356
|infl|=36831
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=30051
Found 6551 contexts for 130 functions. Top 5 functions:
1803	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
704	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
592	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
529	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
501	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=70550.71MB, max=200.75MB, minor=70522.35MB, major=522.05MB, promoted=493.69MB
    minor collections=33641  major collections=23 compactions=0


runtime: 00:00:40.461
vars: 43340, evals: 50066

|rho|=43340
|called|=103
|stable|=32789
|infl|=43200
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35293
Found 7684 contexts for 130 functions. Top 5 functions:
2125	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
813	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
721	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
645	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
568	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=95984.72MB, max=230.87MB, minor=95955.19MB, major=666.57MB, promoted=637.04MB
    minor collections=45769  major collections=25 compactions=0


runtime: 00:00:50.484
vars: 49678, evals: 57323

|rho|=49678
|called|=94
|stable|=37714
|infl|=49547
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40508
Found 8807 contexts for 130 functions. Top 5 functions:
2443	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
927	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
844	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
757	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
640	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=121769.53MB, max=265.50MB, minor=121739.75MB, major=805.75MB, promoted=775.97MB
    minor collections=58066  major collections=27 compactions=0


runtime: 00:01:00.535
vars: 55963, evals: 64500

|rho|=55963
|called|=105
|stable|=42472
|infl|=55829
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=45680
Found 9920 contexts for 130 functions. Top 5 functions:
2747	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
1037	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
976	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
865	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
709	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=147122.57MB, max=305.32MB, minor=147092.67MB, major=945.24MB, promoted=915.34MB
    minor collections=70155  major collections=28 compactions=0


runtime: 00:01:10.582
vars: 62039, evals: 71477

|rho|=62039
|called|=98
|stable|=47018
|infl|=61905
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=50673
Found 11003 contexts for 130 functions. Top 5 functions:
3042	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
1145	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1096	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
970	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
774	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=172536.09MB, max=305.32MB, minor=172506.06MB, major=1082.01MB, promoted=1051.97MB
    minor collections=82275  major collections=30 compactions=0


runtime: 00:01:20.624
vars: 67836, evals: 78077

|rho|=67836
|called|=110
|stable|=51285
|infl|=67689
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55440
Found 12033 contexts for 130 functions. Top 5 functions:
3336	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
1246	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1213	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
1074	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
838	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=197711.26MB, max=351.13MB, minor=197679.00MB, major=1218.76MB, promoted=1186.50MB
    minor collections=94279  major collections=31 compactions=0


runtime: 00:01:30.659
vars: 73628, evals: 84734

|rho|=73628
|called|=99
|stable|=55544
|infl|=73493
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=60205
Found 13060 contexts for 130 functions. Top 5 functions:
3626	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
1349	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1326	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
1178	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
902	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=223516.34MB, max=403.80MB, minor=223483.94MB, major=1357.89MB, promoted=1325.49MB
    minor collections=106584  major collections=32 compactions=0


runtime: 00:01:40.697
vars: 79505, evals: 91437

|rho|=79505
|called|=99
|stable|=59851
|infl|=79388
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65037
Found 14105 contexts for 130 functions. Top 5 functions:
3917	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
1452	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
965	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=249700.75MB, max=403.80MB, minor=249668.21MB, major=1498.06MB, promoted=1465.51MB
    minor collections=119070  major collections=33 compactions=0


runtime: 00:01:50.740
vars: 85166, evals: 97938

|rho|=85166
|called|=84
|stable|=63905
|infl|=85045
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=69690
Found 15113 contexts for 130 functions. Top 5 functions:
4194	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
1562	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
1549	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1381	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
1023	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=275176.69MB, max=464.37MB, minor=275142.95MB, major=1636.73MB, promoted=1603.00MB
    minor collections=131218  major collections=34 compactions=0


runtime: 00:02:00.767
vars: 90833, evals: 104474

|rho|=90833
|called|=88
|stable|=68468
|infl|=90708
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=74351
Found 16119 contexts for 130 functions. Top 5 functions:
4472	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
1674	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
1651	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1480	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
1087	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=300841.79MB, max=464.37MB, minor=300806.85MB, major=1775.86MB, promoted=1740.92MB
    minor collections=143456  major collections=35 compactions=0


runtime: 00:02:10.805
vars: 96665, evals: 111120

|rho|=96665
|called|=106
|stable|=72770
|infl|=96531
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79151
Found 17151 contexts for 130 functions. Top 5 functions:
4753	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
1792	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
1754	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1579	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
1151	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=326918.42MB, max=464.37MB, minor=326883.06MB, major=1914.65MB, promoted=1879.30MB
    minor collections=155891  major collections=36 compactions=0


runtime: 00:02:20.852
vars: 102191, evals: 117394

|rho|=102191
|called|=122
|stable|=76707
|infl|=102074
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=83695
Found 18133 contexts for 130 functions. Top 5 functions:
5038	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
1900	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
1851	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1681	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
1212	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=352253.61MB, max=534.03MB, minor=352218.09MB, major=2047.59MB, promoted=2012.08MB
    minor collections=167973  major collections=37 compactions=0


runtime: 00:02:30.915
vars: 107419, evals: 123492

|rho|=107419
|called|=119
|stable|=80754
|infl|=107287
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87995
Found 19061 contexts for 130 functions. Top 5 functions:
5285	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
2008	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
1943	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1769	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
1268	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=377970.68MB, max=534.03MB, minor=377935.01MB, major=2182.00MB, promoted=2146.32MB
    minor collections=180236  major collections=38 compactions=0


runtime: 00:02:40.938
vars: 112937, evals: 129719

|rho|=112937
|called|=86
|stable|=84721
|infl|=112820
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92533
Found 20041 contexts for 130 functions. Top 5 functions:
5569	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
2116	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
2040	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1870	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
1329	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=403696.06MB, max=534.03MB, minor=403660.22MB, major=2316.22MB, promoted=2280.37MB
    minor collections=192503  major collections=39 compactions=0


runtime: 00:02:50.981
vars: 118146, evals: 135681

|rho|=118146
|called|=115
|stable|=88727
|infl|=118010
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96819
Found 20964 contexts for 130 functions. Top 5 functions:
5815	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
2224	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
2131	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1957	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
1385	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=429223.98MB, max=614.13MB, minor=429187.97MB, major=2447.91MB, promoted=2411.90MB
    minor collections=204676  major collections=39 compactions=0


runtime: 00:03:01.016
vars: 122941, evals: 141279

|rho|=122941
|called|=96
|stable|=92314
|infl|=122809
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100761
Found 21817 contexts for 130 functions. Top 5 functions:
6052	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
2320	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
2216	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2042	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
1437	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=454039.13MB, max=614.13MB, minor=454002.96MB, major=2574.49MB, promoted=2538.32MB
    minor collections=216509  major collections=40 compactions=0


runtime: 00:03:11.043
vars: 128207, evals: 147202

|rho|=128207
|called|=110
|stable|=95930
|infl|=128060
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105094
Found 22750 contexts for 130 functions. Top 5 functions:
6318	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
2426	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
2307	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2137	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
1493	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=479694.29MB, max=614.13MB, minor=479657.95MB, major=2706.05MB, promoted=2669.71MB
    minor collections=228743  major collections=41 compactions=0


runtime: 00:03:21.090
vars: 133235, evals: 152952

|rho|=133235
|called|=106
|stable|=99811
|infl|=133118
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=109227
Found 23645 contexts for 130 functions. Top 5 functions:
6572	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
2524	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
2397	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2227	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
1550	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=504712.08MB, max=706.25MB, minor=504671.37MB, major=2837.74MB, promoted=2797.03MB
    minor collections=240671  major collections=41 compactions=0


runtime: 00:03:31.161
vars: 138181, evals: 158625

|rho|=138181
|called|=86
|stable|=103573
|infl|=138061
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=113295
Found 24523 contexts for 130 functions. Top 5 functions:
6813	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
2624	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
2485	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2312	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
1605	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=529634.99MB, max=706.25MB, minor=529594.11MB, major=2965.68MB, promoted=2924.80MB
    minor collections=252556  major collections=42 compactions=0


runtime: 00:03:41.183
vars: 143231, evals: 164455

|rho|=143231
|called|=113
|stable|=107386
|infl|=143097
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117449
Found 25419 contexts for 130 functions. Top 5 functions:
7054	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
2728	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
2573	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2398	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
1658	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=555547.82MB, max=706.25MB, minor=555506.76MB, major=3097.42MB, promoted=3056.35MB
    minor collections=264913  major collections=43 compactions=0


runtime: 00:03:51.222
vars: 148007, evals: 169879

|rho|=148007
|called|=114
|stable|=110953
|infl|=147873
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=121377
Found 26267 contexts for 130 functions. Top 5 functions:
7290	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
2657	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
1710	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=580177.03MB, max=812.19MB, minor=580135.77MB, major=3222.06MB, promoted=3180.81MB
    minor collections=276657  major collections=43 compactions=0


runtime: 00:04:01.253
vars: 152783, evals: 175368

|rho|=152783
|called|=112
|stable|=114505
|infl|=152649
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125305
Found 27115 contexts for 130 functions. Top 5 functions:
7526	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
2920	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
2741	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2566	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
1762	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=605085.62MB, max=812.19MB, minor=605044.18MB, major=3348.63MB, promoted=3307.20MB
    minor collections=288535  major collections=44 compactions=0


runtime: 00:04:11.311
vars: 157340, evals: 180560

|rho|=157340
|called|=80
|stable|=117839
|infl|=157225
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=129048
Found 27929 contexts for 130 functions. Top 5 functions:
7761	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
3011	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
2821	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2649	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
1813	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=629417.01MB, max=812.19MB, minor=629375.39MB, major=3469.31MB, promoted=3427.69MB
    minor collections=300137  major collections=44 compactions=0


runtime: 00:04:21.342
vars: 161891, evals: 185766

|rho|=161891
|called|=88
|stable|=121129
|infl|=161774
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132795
Found 28733 contexts for 130 functions. Top 5 functions:
7988	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
3100	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
2901	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2731	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
1862	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=653177.05MB, max=812.19MB, minor=653133.16MB, major=3590.83MB, promoted=3546.94MB
    minor collections=311466  major collections=45 compactions=0


runtime: 00:04:31.369
vars: 166182, evals: 190725

|rho|=166182
|called|=90
|stable|=124112
|infl|=166055
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136322
Found 29497 contexts for 130 functions. Top 5 functions:
8198	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
3191	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
2975	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2806	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
1907	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=676984.54MB, max=812.19MB, minor=676940.48MB, major=3708.28MB, promoted=3664.22MB
    minor collections=322819  major collections=45 compactions=0


runtime: 00:04:41.384
vars: 170737, evals: 195987

|rho|=170737
|called|=90
|stable|=127870
|infl|=170610
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140069
Found 30305 contexts for 130 functions. Top 5 functions:
8417	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
3280	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
3057	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2883	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
1957	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=701754.27MB, max=812.19MB, minor=701710.01MB, major=3831.12MB, promoted=3786.86MB
    minor collections=334630  major collections=46 compactions=0


runtime: 00:04:51.431
vars: 175167, evals: 200973

|rho|=175167
|called|=95
|stable|=131073
|infl|=175034
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=143712
Found 31091 contexts for 130 functions. Top 5 functions:
8642	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
3366	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
3136	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2963	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
2008	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=725555.18MB, max=934.02MB, minor=725508.64MB, major=3948.59MB, promoted=3902.04MB
    minor collections=345978  major collections=46 compactions=0


runtime: 00:05:01.462
vars: 179749, evals: 206147

|rho|=179749
|called|=95
|stable|=134314
|infl|=179617
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147484
Found 31902 contexts for 130 functions. Top 5 functions:
8870	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
3460	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
3215	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3046	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
2057	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=750560.77MB, max=934.02MB, minor=750514.03MB, major=4070.86MB, promoted=4024.12MB
    minor collections=357902  major collections=46 compactions=0


runtime: 00:05:11.488
vars: 183835, evals: 210996

|rho|=183835
|called|=111
|stable|=137602
|infl|=183703
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=150843
Found 32629 contexts for 130 functions. Top 5 functions:
9061	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
3544	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
3287	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3113	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
2100	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=774962.55MB, max=934.02MB, minor=774915.10MB, major=4190.00MB, promoted=4142.55MB
    minor collections=369538  major collections=47 compactions=0


runtime: 00:05:21.523
vars: 188159, evals: 215857

|rho|=188159
|called|=84
|stable|=140682
|infl|=188042
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=154399
Found 33397 contexts for 130 functions. Top 5 functions:
9286	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
3363	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
2148	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=798883.17MB, max=934.02MB, minor=798835.53MB, major=4305.46MB, promoted=4257.82MB
    minor collections=380944  major collections=47 compactions=0


runtime: 00:05:31.546
vars: 192582, evals: 220935

|rho|=192582
|called|=101
|stable|=143781
|infl|=192444
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158037
Found 34182 contexts for 130 functions. Top 5 functions:
9499	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
3721	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
3438	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3269	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
2193	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=823582.26MB, max=934.02MB, minor=823534.42MB, major=4426.95MB, promoted=4379.11MB
    minor collections=392722  major collections=48 compactions=0


runtime: 00:05:41.585
vars: 196687, evals: 225608

|rho|=196687
|called|=83
|stable|=147085
|infl|=196567
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161413
Found 34911 contexts for 130 functions. Top 5 functions:
9704	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
3800	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
3514	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3341	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
2242	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=847268.16MB, max=1074.12MB, minor=847220.12MB, major=4539.55MB, promoted=4491.51MB
    minor collections=404017  major collections=48 compactions=0


runtime: 00:05:51.608
vars: 201293, evals: 230877

|rho|=201293
|called|=86
|stable|=150433
|infl|=201176
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165201
Found 35729 contexts for 130 functions. Top 5 functions:
9935	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
3892	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
3594	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3424	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
2291	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=872717.31MB, max=1074.12MB, minor=872669.07MB, major=4663.47MB, promoted=4615.23MB
    minor collections=416152  major collections=48 compactions=0


runtime: 00:06:01.627
vars: 205319, evals: 235495

|rho|=205319
|called|=112
|stable|=153577
|infl|=205185
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168513
Found 36443 contexts for 130 functions. Top 5 functions:
10122	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
3976	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
3665	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3490	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
2334	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=896358.82MB, max=1074.12MB, minor=896310.38MB, major=4774.47MB, promoted=4726.03MB
    minor collections=427426  major collections=49 compactions=0


runtime: 00:06:11.670
vars: 209220, evals: 239983

|rho|=209220
|called|=85
|stable|=156135
|infl|=209098
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171719
Found 37138 contexts for 130 functions. Top 5 functions:
10323	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
4055	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
3732	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3562	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
2375	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=919251.96MB, max=1074.12MB, minor=919203.32MB, major=4883.20MB, promoted=4834.57MB
    minor collections=438342  major collections=49 compactions=0


runtime: 00:06:21.697
vars: 213362, evals: 244708

|rho|=213362
|called|=99
|stable|=159476
|infl|=213226
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175127
Found 37872 contexts for 130 functions. Top 5 functions:
10530	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
4134	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
3808	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3635	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
2424	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=942943.23MB, max=1074.12MB, minor=942894.40MB, major=4995.53MB, promoted=4946.69MB
    minor collections=449639  major collections=49 compactions=0


runtime: 00:06:31.727
vars: 217460, evals: 249430

|rho|=217460
|called|=97
|stable|=162659
|infl|=217326
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178497
Found 38600 contexts for 130 functions. Top 5 functions:
10729	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
4220	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
3878	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3707	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
2466	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=966987.62MB, max=1074.12MB, minor=966938.60MB, major=5109.68MB, promoted=5060.66MB
    minor collections=461105  major collections=50 compactions=0


runtime: 00:06:41.758
vars: 221591, evals: 254110

|rho|=221591
|called|=97
|stable|=165523
|infl|=221474
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=181895
Found 39333 contexts for 130 functions. Top 5 functions:
10938	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
4300	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
3951	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3781	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
2512	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=990741.83MB, max=1074.12MB, minor=990692.59MB, major=5221.90MB, promoted=5172.67MB
    minor collections=472432  major collections=50 compactions=0


runtime: 00:06:51.801
vars: 225617, evals: 258764

|rho|=225617
|called|=106
|stable|=168644
|infl|=225483
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=185207
Found 40047 contexts for 130 functions. Top 5 functions:
11125	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
4384	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
4022	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3847	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
2555	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=1015099.57MB, max=1074.12MB, minor=1015050.12MB, major=5337.03MB, promoted=5287.58MB
    minor collections=484046  major collections=50 compactions=0


runtime: 00:07:01.836
vars: 229445, evals: 263162

|rho|=229445
|called|=99
|stable|=171157
|infl|=229309
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=188354
Found 40728 contexts for 130 functions. Top 5 functions:
11322	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
4088	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3918	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
2596	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=1038978.20MB, max=1074.12MB, minor=1038928.56MB, major=5446.91MB, promoted=5397.27MB
    minor collections=495433  major collections=51 compactions=0


runtime: 00:07:11.899
vars: 233531, evals: 267703

|rho|=233531
|called|=81
|stable|=174326
|infl|=233413
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=191715
Found 41453 contexts for 130 functions. Top 5 functions:
11528	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
4540	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
4161	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3991	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
2642	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=1062187.65MB, max=1235.24MB, minor=1062137.77MB, major=5556.08MB, promoted=5506.20MB
    minor collections=506500  major collections=51 compactions=0


runtime: 00:07:21.921
vars: 237421, evals: 272233

|rho|=237421
|called|=107
|stable|=177418
|infl|=237278
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=194914
Found 42144 contexts for 130 functions. Top 5 functions:
11715	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
4624	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
4229	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4057	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
2685	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=1086872.53MB, max=1235.24MB, minor=1086822.45MB, major=5669.00MB, promoted=5618.92MB
    minor collections=518271  major collections=51 compactions=0


runtime: 00:07:31.956
vars: 241478, evals: 276914

|rho|=241478
|called|=92
|stable|=180131
|infl|=241352
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=198249
Found 42866 contexts for 130 functions. Top 5 functions:
11916	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
4703	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
4299	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4129	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
2726	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=1111931.43MB, max=1235.24MB, minor=1111881.12MB, major=5785.62MB, promoted=5735.32MB
    minor collections=530220  major collections=52 compactions=0


runtime: 00:07:41.999
vars: 245429, evals: 281340

|rho|=245429
|called|=87
|stable|=183164
|infl|=245305
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=201502
Found 43564 contexts for 130 functions. Top 5 functions:
12117	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
4780	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
4370	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4201	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
2772	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=1135630.44MB, max=1235.24MB, minor=1135579.90MB, major=5894.01MB, promoted=5843.48MB
    minor collections=541521  major collections=52 compactions=0


runtime: 00:07:52.054
vars: 249199, evals: 285732

|rho|=249199
|called|=92
|stable|=186133
|infl|=249070
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204601
Found 44235 contexts for 130 functions. Top 5 functions:
12300	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
4854	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
4438	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4265	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
2814	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=1160210.78MB, max=1235.24MB, minor=1160160.04MB, major=6005.55MB, promoted=5954.81MB
    minor collections=553242  major collections=52 compactions=0


runtime: 00:08:02.089
vars: 253087, evals: 290282

|rho|=253087
|called|=108
|stable|=189106
|infl|=252955
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=207799
Found 44925 contexts for 130 functions. Top 5 functions:
12483	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
4936	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
4505	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4331	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
2854	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=1184814.45MB, max=1235.24MB, minor=1184763.50MB, major=6119.15MB, promoted=6068.19MB
    minor collections=564974  major collections=53 compactions=0


runtime: 00:08:12.119
vars: 256796, evals: 294485

|rho|=256796
|called|=88
|stable|=191897
|infl|=256671
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=210847
Found 45586 contexts for 130 functions. Top 5 functions:
12673	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
5010	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
4570	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4399	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
2894	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=1208107.85MB, max=1235.24MB, minor=1208056.68MB, major=6225.27MB, promoted=6174.10MB
    minor collections=576082  major collections=53 compactions=0


runtime: 00:08:22.158
vars: 260588, evals: 298808

|rho|=260588
|called|=93
|stable|=194345
|infl|=260463
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213965
Found 46260 contexts for 130 functions. Top 5 functions:
12860	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
5087	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
4635	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4465	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
2934	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=1232500.70MB, max=1420.53MB, minor=1232449.30MB, major=6335.92MB, promoted=6284.52MB
    minor collections=587713  major collections=53 compactions=0


runtime: 00:08:32.180
vars: 264542, evals: 303219

|rho|=264542
|called|=84
|stable|=197381
|infl|=264421
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=217221
Found 46958 contexts for 130 functions. Top 5 functions:
13062	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
5164	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
4706	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4537	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
2980	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=1256622.95MB, max=1420.53MB, minor=1256562.95MB, major=6451.59MB, promoted=6391.58MB
    minor collections=599213  major collections=53 compactions=0


runtime: 00:08:42.203
vars: 268273, evals: 307580

|rho|=268273
|called|=92
|stable|=200311
|infl|=268144
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220289
Found 47621 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
5238	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
4773	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
3022	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=1281758.59MB, max=1420.53MB, minor=1281698.35MB, major=6563.85MB, promoted=6503.62MB
    minor collections=611200  major collections=54 compactions=0


runtime: 00:08:52.226
vars: 271944, evals: 311775

|rho|=271944
|called|=85
|stable|=203065
|infl|=271828
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223305
Found 48276 contexts for 130 functions. Top 5 functions:
13423	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
5313	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
4837	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4664	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
3061	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=1305781.90MB, max=1420.53MB, minor=1305721.44MB, major=6670.71MB, promoted=6610.25MB
    minor collections=622655  major collections=54 compactions=0


runtime: 00:09:02.265
vars: 275754, evals: 316127

|rho|=275754
|called|=115
|stable|=205945
|infl|=275620
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=226443
Found 48948 contexts for 130 functions. Top 5 functions:
13603	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
5392	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
4903	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4729	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
3101	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=1329986.92MB, max=1420.53MB, minor=1329926.23MB, major=6780.20MB, promoted=6719.51MB
    minor collections=634197  major collections=54 compactions=0


runtime: 00:09:12.280
vars: 279422, evals: 320410

|rho|=279422
|called|=87
|stable|=208709
|infl|=279298
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229457
Found 49602 contexts for 130 functions. Top 5 functions:
13788	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
5464	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
4969	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4795	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
3141	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=1355046.45MB, max=1420.53MB, minor=1354985.54MB, major=6893.54MB, promoted=6832.63MB
    minor collections=646146  major collections=54 compactions=0


runtime: 00:09:22.295
vars: 283275, evals: 324782

|rho|=283275
|called|=85
|stable|=211218
|infl|=283153
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=232624
Found 50288 contexts for 130 functions. Top 5 functions:
13981	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
5543	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
5034	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4864	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
3181	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=1379676.64MB, max=1420.53MB, minor=1379615.48MB, major=7004.72MB, promoted=6943.56MB
    minor collections=657891  major collections=55 compactions=0


runtime: 00:09:32.309
vars: 287115, evals: 329102

|rho|=287115
|called|=104
|stable|=214140
|infl|=286974
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235789
Found 50963 contexts for 130 functions. Top 5 functions:
14171	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
5620	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
5101	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4934	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
3223	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=1403977.47MB, max=1420.53MB, minor=1403916.05MB, major=7112.01MB, promoted=7050.60MB
    minor collections=669479  major collections=55 compactions=0


runtime: 00:09:42.356
vars: 290843, evals: 333395

|rho|=290843
|called|=110
|stable|=217026
|infl|=290726
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238851
Found 51629 contexts for 130 functions. Top 5 functions:
14360	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
5692	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
5169	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4999	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
3266	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=1428310.87MB, max=1420.53MB, minor=1428249.22MB, major=7219.46MB, promoted=7157.82MB
    minor collections=681082  major collections=55 compactions=0


runtime: 00:09:52.371
vars: 294551, evals: 337662

|rho|=294551
|called|=99
|stable|=219857
|infl|=294415
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=241901
Found 52287 contexts for 130 functions. Top 5 functions:
14542	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
5766	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
5235	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5063	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
3308	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=1453387.62MB, max=1420.53MB, minor=1453325.76MB, major=7330.55MB, promoted=7268.69MB
    minor collections=693039  major collections=55 compactions=0


runtime: 00:10:02.378
vars: 298208, evals: 341846

|rho|=298208
|called|=92
|stable|=222597
|infl|=298089
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=244906
Found 52939 contexts for 130 functions. Top 5 functions:
14721	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
5840	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
5299	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5126	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
3347	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=1478157.58MB, max=1420.53MB, minor=1478095.48MB, major=7438.00MB, promoted=7375.90MB
    minor collections=704851  major collections=56 compactions=0


runtime: 00:10:12.401
vars: 301718, evals: 345866

|rho|=301718
|called|=99
|stable|=225188
|infl|=301582
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=247795
Found 53560 contexts for 130 functions. Top 5 functions:
14896	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
5910	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
5362	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5189	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
3386	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=1502030.54MB, max=1420.53MB, minor=1501968.19MB, major=7542.69MB, promoted=7480.34MB
    minor collections=716235  major collections=56 compactions=0


runtime: 00:10:22.451
vars: 305260, evals: 349929

|rho|=305260
|called|=105
|stable|=227812
|infl|=305125
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250710
Found 54187 contexts for 130 functions. Top 5 functions:
15071	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
5982	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
5423	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
3424	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=1525815.57MB, max=1633.61MB, minor=1525752.97MB, major=7647.03MB, promoted=7584.44MB
    minor collections=727576  major collections=56 compactions=0


runtime: 00:10:32.478
vars: 308826, evals: 354003

|rho|=308826
|called|=103
|stable|=230460
|infl|=308686
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=253643
Found 54820 contexts for 130 functions. Top 5 functions:
15247	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
6054	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
5485	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5315	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
3462	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=1550374.67MB, max=1633.61MB, minor=1550311.86MB, major=7754.01MB, promoted=7691.20MB
    minor collections=739287  major collections=56 compactions=0


runtime: 00:10:42.489
vars: 312440, evals: 358150

|rho|=312440
|called|=98
|stable|=233156
|infl|=312305
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=256614
Found 55463 contexts for 130 functions. Top 5 functions:
15427	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
6126	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
5550	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5378	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
3503	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=1575418.77MB, max=1633.61MB, minor=1575355.72MB, major=7864.08MB, promoted=7801.02MB
    minor collections=751229  major collections=56 compactions=0


runtime: 00:10:52.508
vars: 315917, evals: 362089

|rho|=315917
|called|=112
|stable|=235661
|infl|=315800
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=259473
Found 56081 contexts for 130 functions. Top 5 functions:
15599	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
6196	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
5610	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5440	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
3539	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=1598835.25MB, max=1633.61MB, minor=1598771.95MB, major=7964.17MB, promoted=7900.88MB
    minor collections=762395  major collections=57 compactions=0


runtime: 00:11:02.539
vars: 318954, evals: 365628

|rho|=318954
|called|=100
|stable|=238143
|infl|=318817
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=261970
Found 56621 contexts for 130 functions. Top 5 functions:
15744	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
6261	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
5663	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5492	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
3571	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=1621365.04MB, max=1633.61MB, minor=1621301.52MB, major=8060.82MB, promoted=7997.30MB
    minor collections=773138  major collections=57 compactions=0


runtime: 00:11:12.601
vars: 322100, evals: 369195

|rho|=322100
|called|=85
|stable|=240369
|infl|=321983
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=264555
Found 57182 contexts for 130 functions. Top 5 functions:
15902	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
6321	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
5719	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5547	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
3607	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=1643498.81MB, max=1633.61MB, minor=1643430.88MB, major=8159.38MB, promoted=8091.46MB
    minor collections=783691  major collections=57 compactions=0


runtime: 00:11:22.624
vars: 325473, evals: 373082

|rho|=325473
|called|=90
|stable|=242823
|infl|=325358
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=267332
Found 57778 contexts for 130 functions. Top 5 functions:
16072	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
6388	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
5778	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5608	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
3643	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=1666977.21MB, max=1633.61MB, minor=1666909.07MB, major=8261.40MB, promoted=8193.26MB
    minor collections=794887  major collections=57 compactions=0


runtime: 00:11:32.655
vars: 328856, evals: 376906

|rho|=328856
|called|=104
|stable|=245171
|infl|=328715
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=270118
Found 58375 contexts for 130 functions. Top 5 functions:
16233	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
6459	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
5836	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5668	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
3678	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=1690407.82MB, max=1633.61MB, minor=1690339.43MB, major=8362.11MB, promoted=8293.72MB
    minor collections=806059  major collections=57 compactions=0


runtime: 00:11:42.674
vars: 331954, evals: 380555

|rho|=331954
|called|=88
|stable|=247777
|infl|=331829
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=272662
Found 58929 contexts for 130 functions. Top 5 functions:
16383	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
6520	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
5893	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5719	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
3713	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=1714143.35MB, max=1633.61MB, minor=1714074.73MB, major=8461.83MB, promoted=8393.22MB
    minor collections=817378  major collections=58 compactions=0


runtime: 00:11:52.693
vars: 335454, evals: 384477

|rho|=335454
|called|=111
|stable|=250345
|infl|=335320
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=275543
Found 59548 contexts for 130 functions. Top 5 functions:
16553	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
6592	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
5953	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5779	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
3751	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=1738135.45MB, max=1633.61MB, minor=1738066.57MB, major=8562.47MB, promoted=8493.59MB
    minor collections=828818  major collections=58 compactions=0


runtime: 00:12:02.771
vars: 338660, evals: 388165

|rho|=338660
|called|=104
|stable|=252644
|infl|=338519
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=278180
Found 60117 contexts for 130 functions. Top 5 functions:
16722	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
6653	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
6010	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5840	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
3787	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=1761641.34MB, max=1633.61MB, minor=1761572.24MB, major=8662.66MB, promoted=8593.56MB
    minor collections=840027  major collections=58 compactions=0


runtime: 00:12:12.792
vars: 342185, evals: 392176

|rho|=342185
|called|=119
|stable|=255210
|infl|=342068
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=281077
Found 60745 contexts for 130 functions. Top 5 functions:
16897	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
6724	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
6072	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5902	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
3825	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=1786354.33MB, max=1633.61MB, minor=1786284.98MB, major=8767.65MB, promoted=8698.30MB
    minor collections=851811  major collections=58 compactions=0


runtime: 00:12:22.815
vars: 345568, evals: 396041

|rho|=345568
|called|=104
|stable|=257599
|infl|=345427
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=283863
Found 61342 contexts for 130 functions. Top 5 functions:
17059	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
6795	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
6130	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5961	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
3860	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=1811653.35MB, max=1633.61MB, minor=1811583.75MB, major=8873.65MB, promoted=8804.05MB
    minor collections=863874  major collections=58 compactions=0


runtime: 00:12:32.825
vars: 348631, evals: 399660

|rho|=348631
|called|=86
|stable|=260170
|infl|=348508
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=286377
Found 61891 contexts for 130 functions. Top 5 functions:
17208	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
6856	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
6185	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6012	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
3894	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=1835987.41MB, max=1633.61MB, minor=1835917.57MB, major=8974.08MB, promoted=8904.24MB
    minor collections=875478  major collections=59 compactions=0


runtime: 00:12:42.852
vars: 351924, evals: 403334

|rho|=351924
|called|=78
|stable|=262526
|infl|=351806
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=289086
Found 62475 contexts for 130 functions. Top 5 functions:
17376	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
6920	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
6244	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6071	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
3932	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=1859288.94MB, max=1633.61MB, minor=1859214.65MB, major=9076.15MB, promoted=9001.86MB
    minor collections=886588  major collections=59 compactions=0


runtime: 00:12:52.891
vars: 355197, evals: 407041

|rho|=355197
|called|=104
|stable|=264780
|infl|=355056
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=291783
Found 63051 contexts for 130 functions. Top 5 functions:
17534	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
6988	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
6300	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6131	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
3966	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=1882843.65MB, max=1878.66MB, minor=1882769.11MB, major=9175.17MB, promoted=9100.63MB
    minor collections=897820  major collections=59 compactions=0


runtime: 00:13:02.922
vars: 358179, evals: 410593

|rho|=358179
|called|=86
|stable|=267270
|infl|=358056
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=294230
Found 63586 contexts for 130 functions. Top 5 functions:
17679	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
7048	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
6353	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6180	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
3998	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=1906286.59MB, max=1878.66MB, minor=1906211.84MB, major=9273.61MB, promoted=9198.86MB
    minor collections=908999  major collections=59 compactions=0


runtime: 00:13:12.941
vars: 361490, evals: 414297

|rho|=361490
|called|=87
|stable|=269661
|infl|=361375
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=296952
Found 64175 contexts for 130 functions. Top 5 functions:
17848	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
7112	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
6412	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
4036	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=1930398.41MB, max=1878.66MB, minor=1930323.41MB, major=9371.62MB, promoted=9296.62MB
    minor collections=920496  major collections=59 compactions=0


runtime: 00:13:22.971
vars: 364871, evals: 418136

|rho|=364871
|called|=113
|stable|=272069
|infl|=364754
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=299735
Found 64773 contexts for 130 functions. Top 5 functions:
18018	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
7180	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
6471	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6301	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
4072	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=1954571.03MB, max=1878.66MB, minor=1954495.77MB, major=9472.95MB, promoted=9397.69MB
    minor collections=932023  major collections=60 compactions=0


runtime: 00:13:32.990
vars: 367711, evals: 421498

|rho|=367711
|called|=118
|stable|=274338
|infl|=367579
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=302071
Found 65277 contexts for 130 functions. Top 5 functions:
18147	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
7240	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
6521	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6347	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
4102	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=1978383.97MB, max=1878.66MB, minor=1978308.48MB, major=9568.56MB, promoted=9493.07MB
    minor collections=943378  major collections=60 compactions=0


runtime: 00:13:43.001
vars: 370946, evals: 425133

|rho|=370946
|called|=94
|stable|=276668
|infl|=370815
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=304732
Found 65851 contexts for 130 functions. Top 5 functions:
18318	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
7302	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
6579	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6407	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
4140	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=2001980.98MB, max=1878.66MB, minor=2001904.18MB, major=9668.36MB, promoted=9591.56MB
    minor collections=954629  major collections=60 compactions=0


runtime: 00:13:53.044
vars: 374122, evals: 428758

|rho|=374122
|called|=84
|stable|=278809
|infl|=374001
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=307340
Found 66419 contexts for 130 functions. Top 5 functions:
18472	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
7370	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
6632	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6463	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
4170	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=2025714.07MB, max=1878.66MB, minor=2025637.02MB, major=9768.26MB, promoted=9691.20MB
    minor collections=965946  major collections=60 compactions=0


runtime: 00:14:03.067
vars: 377393, evals: 432554

|rho|=377393
|called|=86
|stable|=281588
|infl|=377270
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=310031
Found 66999 contexts for 130 functions. Top 5 functions:
18632	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
7434	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
6691	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6520	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
4207	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=2050609.33MB, max=1878.66MB, minor=2050532.03MB, major=9871.05MB, promoted=9793.76MB
    minor collections=977817  major collections=60 compactions=0


runtime: 00:14:13.082
vars: 380777, evals: 436382

|rho|=380777
|called|=120
|stable|=284038
|infl|=380641
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=312820
Found 67594 contexts for 130 functions. Top 5 functions:
18795	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
7504	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
6750	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6577	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
4245	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=2075642.81MB, max=1878.66MB, minor=2075565.26MB, major=9973.15MB, promoted=9895.61MB
    minor collections=989754  major collections=60 compactions=0


runtime: 00:14:23.093
vars: 383975, evals: 440022

|rho|=383975
|called|=108
|stable|=286291
|infl|=383858
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=315447
Found 68165 contexts for 130 functions. Top 5 functions:
18962	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
7564	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
6807	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6637	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
4280	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=2100274.08MB, max=1878.66MB, minor=2100196.26MB, major=10073.68MB, promoted=9995.86MB
    minor collections=1001500  major collections=61 compactions=0


runtime: 00:14:33.119
vars: 387017, evals: 443562

|rho|=387017
|called|=94
|stable|=288336
|infl|=386889
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=317948
Found 68706 contexts for 130 functions. Top 5 functions:
19108	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
7629	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
6860	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6689	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
4312	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=2124547.82MB, max=1878.66MB, minor=2124469.74MB, major=10173.72MB, promoted=10095.64MB
    minor collections=1013074  major collections=61 compactions=0


runtime: 00:14:43.130
vars: 390074, evals: 447024

|rho|=390074
|called|=98
|stable|=290900
|infl|=389939
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=320463
Found 69248 contexts for 130 functions. Top 5 functions:
19262	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
7686	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
6916	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6743	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
4348	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=2148447.96MB, max=1878.66MB, minor=2148369.61MB, major=10269.41MB, promoted=10191.06MB
    minor collections=1024471  major collections=61 compactions=0


runtime: 00:14:53.193
vars: 393123, evals: 450546

|rho|=393123
|called|=85
|stable|=292914
|infl|=393001
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=322968
Found 69792 contexts for 130 functions. Top 5 functions:
19409	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
7751	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
6796	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
4377	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=2172193.39MB, max=2160.46MB, minor=2172114.80MB, major=10369.46MB, promoted=10290.87MB
    minor collections=1035794  major collections=61 compactions=0

