./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.275
vars: 18505, evals: 21530

|rho|=18505
|called|=96
|stable|=15219
|infl|=18369
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=14963
Found 3285 contexts for 107 functions. Top 5 functions:
977	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
367	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
304	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
281	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
277	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=22578.62MB, max=99.81MB, minor=22574.14MB, major=209.23MB, promoted=204.76MB
    minor collections=10772  major collections=17 compactions=0


runtime: 00:00:20.346
vars: 30558, evals: 35118

|rho|=30558
|called|=95
|stable|=23331
|infl|=30427
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=24792
Found 5404 contexts for 130 functions. Top 5 functions:
1470	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
588	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
466	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
414	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=44981.33MB, max=174.57MB, minor=44954.12MB, major=380.95MB, promoted=353.73MB
    minor collections=21447  major collections=20 compactions=0


runtime: 00:00:30.373
vars: 36722, evals: 42473

|rho|=36722
|called|=86
|stable|=28125
|infl|=36607
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=29848
Found 6511 contexts for 130 functions. Top 5 functions:
1800	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
700	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
584	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
527	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
500	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=69440.50MB, max=200.75MB, minor=69412.14MB, major=516.03MB, promoted=487.67MB
    minor collections=33111  major collections=23 compactions=0


runtime: 00:00:40.428
vars: 42910, evals: 49548

|rho|=42910
|called|=128
|stable|=32769
|infl|=42760
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34941
Found 7605 contexts for 130 functions. Top 5 functions:
2098	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
808	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
712	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
634	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
566	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=93745.54MB, max=230.87MB, minor=93716.03MB, major=653.78MB, promoted=624.26MB
    minor collections=44701  major collections=25 compactions=0


runtime: 00:00:50.471
vars: 48905, evals: 56439

|rho|=48905
|called|=113
|stable|=37249
|infl|=48771
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39871
Found 8671 contexts for 130 functions. Top 5 functions:
2393	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
914	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
832	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
739	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
631	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=118365.08MB, max=265.50MB, minor=118335.32MB, major=789.18MB, promoted=759.41MB
    minor collections=56442  major collections=27 compactions=0


runtime: 00:01:00.513
vars: 54883, evals: 63346

|rho|=54883
|called|=110
|stable|=41684
|infl|=54751
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44787
Found 9733 contexts for 130 functions. Top 5 functions:
2689	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
1019	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
952	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
845	contexts for entry state of switch_bank (5531) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:6683:1-6691:1
696	contexts for entry state of printk (2788) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:12705:1-12707:1

Memory statistics: total=143305.36MB, max=305.32MB, minor=143275.48MB, major=926.01MB, promoted=896.13MB
    minor collections=68335  major collections=28 compactions=0


runtime: 00:01:10.548
vars: 60983, evals: 70299

|rho|=60983
|called|=84
|stable|=46268
|infl|=60862
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=49801
Found 10819 contexts for 130 functions. Top 5 functions:
2997	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
1126	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1074	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
955	contexts for entry state of switch_bank (5531) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:6683:1-6691:1
762	contexts for entry state of printk (2788) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:12705:1-12707:1

Memory statistics: total=168474.13MB, max=305.32MB, minor=168444.12MB, major=1064.96MB, promoted=1034.95MB
    minor collections=80337  major collections=30 compactions=0


runtime: 00:01:20.587
vars: 66760, evals: 76865

|rho|=66760
|called|=118
|stable|=50499
|infl|=66624
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=54558
Found 11839 contexts for 130 functions. Top 5 functions:
3278	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
1227	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1192	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
1054	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
826	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=193011.70MB, max=351.13MB, minor=192979.47MB, major=1198.75MB, promoted=1166.52MB
    minor collections=92037  major collections=31 compactions=0


runtime: 00:01:30.630
vars: 72269, evals: 83102

|rho|=72269
|called|=101
|stable|=54374
|infl|=72131
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=59089
Found 12817 contexts for 130 functions. Top 5 functions:
3556	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
1325	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1300	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
1155	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
887	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=217102.08MB, max=351.13MB, minor=217069.71MB, major=1326.64MB, promoted=1294.28MB
    minor collections=103525  major collections=32 compactions=0


runtime: 00:01:40.677
vars: 77561, evals: 89227

|rho|=77561
|called|=108
|stable|=58562
|infl|=77427
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=63439
Found 13759 contexts for 130 functions. Top 5 functions:
3809	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
1418	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1408	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
1243	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
943	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=241019.20MB, max=403.80MB, minor=240986.71MB, major=1454.15MB, promoted=1421.66MB
    minor collections=114930  major collections=33 compactions=0


runtime: 00:01:50.716
vars: 83176, evals: 95667

|rho|=83176
|called|=104
|stable|=62644
|infl|=83041
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=68058
Found 14755 contexts for 130 functions. Top 5 functions:
4097	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
1518	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
1517	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1346	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
1006	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=265881.04MB, max=464.37MB, minor=265847.36MB, major=1588.61MB, promoted=1554.93MB
    minor collections=126785  major collections=34 compactions=0


runtime: 00:02:00.747
vars: 88652, evals: 101954

|rho|=88652
|called|=91
|stable|=66473
|infl|=88527
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72557
Found 15732 contexts for 130 functions. Top 5 functions:
4364	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
1631	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
1611	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1441	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
1062	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=291125.13MB, max=464.37MB, minor=291090.26MB, major=1725.91MB, promoted=1691.04MB
    minor collections=138823  major collections=35 compactions=0


runtime: 00:02:10.782
vars: 94285, evals: 108470

|rho|=94285
|called|=111
|stable|=71001
|infl|=94153
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=77193
Found 16729 contexts for 130 functions. Top 5 functions:
4636	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
1744	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
1712	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1538	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
1125	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=316674.70MB, max=464.37MB, minor=316639.40MB, major=1863.85MB, promoted=1828.56MB
    minor collections=151006  major collections=36 compactions=0


runtime: 00:02:20.793
vars: 99973, evals: 114881

|rho|=99973
|called|=85
|stable|=75157
|infl|=99853
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81871
Found 17739 contexts for 130 functions. Top 5 functions:
4925	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
1856	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
1813	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1640	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
1189	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=342261.01MB, max=464.37MB, minor=342225.56MB, major=1999.48MB, promoted=1964.03MB
    minor collections=163207  major collections=37 compactions=0


runtime: 00:02:30.836
vars: 105432, evals: 121153

|rho|=105432
|called|=88
|stable|=78969
|infl|=105307
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86360
Found 18709 contexts for 130 functions. Top 5 functions:
5194	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
1969	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
1905	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1737	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
1244	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=367961.85MB, max=534.03MB, minor=367926.24MB, major=2135.08MB, promoted=2099.47MB
    minor collections=175463  major collections=38 compactions=0


runtime: 00:02:40.879
vars: 110694, evals: 127159

|rho|=110694
|called|=94
|stable|=83124
|infl|=110563
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90688
Found 19643 contexts for 130 functions. Top 5 functions:
5456	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
2070	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
2002	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1829	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
1306	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=393258.94MB, max=534.03MB, minor=393223.17MB, major=2266.03MB, promoted=2230.26MB
    minor collections=187525  major collections=38 compactions=0


runtime: 00:02:50.918
vars: 115823, evals: 133113

|rho|=115823
|called|=85
|stable|=87032
|infl|=115701
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94905
Found 20555 contexts for 130 functions. Top 5 functions:
5703	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
2176	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
2092	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1917	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
1360	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=418668.48MB, max=614.13MB, minor=418632.54MB, major=2397.47MB, promoted=2361.53MB
    minor collections=199642  major collections=39 compactions=0


runtime: 00:03:00.965
vars: 121133, evals: 139075

|rho|=121133
|called|=106
|stable|=90692
|infl|=120990
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=99277
Found 21493 contexts for 130 functions. Top 5 functions:
5969	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
2284	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
2182	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2014	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
1416	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=444215.18MB, max=614.13MB, minor=444179.07MB, major=2529.60MB, promoted=2493.49MB
    minor collections=211824  major collections=40 compactions=0


runtime: 00:03:10.988
vars: 126284, evals: 145007

|rho|=126284
|called|=88
|stable|=94737
|infl|=126164
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103507
Found 22414 contexts for 130 functions. Top 5 functions:
6226	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
2385	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
2275	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2103	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
1475	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=469693.35MB, max=614.13MB, minor=469657.07MB, major=2660.17MB, promoted=2623.89MB
    minor collections=223974  major collections=41 compactions=0


runtime: 00:03:21.034
vars: 131155, evals: 150570

|rho|=131155
|called|=106
|stable|=98386
|infl|=131012
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107516
Found 23276 contexts for 130 functions. Top 5 functions:
6464	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
2488	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
2360	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2188	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
1528	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=494398.40MB, max=706.25MB, minor=494359.85MB, major=2788.65MB, promoted=2750.11MB
    minor collections=235753  major collections=41 compactions=0


runtime: 00:03:31.053
vars: 136075, evals: 156315

|rho|=136075
|called|=118
|stable|=102081
|infl|=135943
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111563
Found 24149 contexts for 130 functions. Top 5 functions:
6701	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
2584	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
2447	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2273	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
1580	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=519463.97MB, max=706.25MB, minor=519423.16MB, major=2920.86MB, promoted=2880.05MB
    minor collections=247705  major collections=42 compactions=0


runtime: 00:03:41.096
vars: 141137, evals: 162042

|rho|=141137
|called|=93
|stable|=105493
|infl|=141007
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=115724
Found 25050 contexts for 130 functions. Top 5 functions:
6959	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
2687	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
2535	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2365	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
1634	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=544887.20MB, max=706.25MB, minor=544846.21MB, major=3050.93MB, promoted=3009.95MB
    minor collections=259828  major collections=42 compactions=0


runtime: 00:03:51.135
vars: 145952, evals: 167544

|rho|=145952
|called|=92
|stable|=109085
|infl|=145824
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119685
Found 25904 contexts for 130 functions. Top 5 functions:
7196	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
2783	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
2619	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2449	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
1686	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=569844.49MB, max=706.25MB, minor=569803.32MB, major=3176.88MB, promoted=3135.71MB
    minor collections=271729  major collections=43 compactions=0


runtime: 00:04:01.170
vars: 150815, evals: 173107

|rho|=150815
|called|=88
|stable|=112724
|infl|=150690
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123684
Found 26768 contexts for 130 functions. Top 5 functions:
7437	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
2881	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
2703	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2536	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
1738	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=595347.37MB, max=812.19MB, minor=595306.01MB, major=3305.97MB, promoted=3264.62MB
    minor collections=283891  major collections=44 compactions=0


runtime: 00:04:11.213
vars: 155504, evals: 178480

|rho|=155504
|called|=92
|stable|=116189
|infl|=155376
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127541
Found 27600 contexts for 130 functions. Top 5 functions:
7668	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
2975	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
2787	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2617	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
1790	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=619994.99MB, max=812.19MB, minor=619953.45MB, major=3427.58MB, promoted=3386.04MB
    minor collections=295644  major collections=44 compactions=0


runtime: 00:04:21.232
vars: 160289, evals: 183966

|rho|=160289
|called|=91
|stable|=119750
|infl|=160164
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131475
Found 28451 contexts for 130 functions. Top 5 functions:
7904	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
3071	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
2871	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2701	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
1842	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=645318.52MB, max=812.19MB, minor=645274.69MB, major=3555.85MB, promoted=3512.02MB
    minor collections=307718  major collections=45 compactions=0


runtime: 00:04:31.267
vars: 164858, evals: 189226

|rho|=164858
|called|=88
|stable|=123521
|infl|=164733
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=135233
Found 29262 contexts for 130 functions. Top 5 functions:
8130	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
3162	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
2953	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2782	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
1893	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=669724.25MB, max=812.19MB, minor=669680.23MB, major=3677.78MB, promoted=3633.76MB
    minor collections=319356  major collections=45 compactions=0


runtime: 00:04:41.306
vars: 169553, evals: 194628

|rho|=169553
|called|=86
|stable|=126992
|infl|=169430
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=139095
Found 30095 contexts for 130 functions. Top 5 functions:
8358	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
3256	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
3037	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2862	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
1945	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=695323.73MB, max=812.19MB, minor=695279.52MB, major=3803.90MB, promoted=3759.70MB
    minor collections=331563  major collections=45 compactions=0


runtime: 00:04:51.329
vars: 174169, evals: 199833

|rho|=174169
|called|=104
|stable|=130384
|infl|=174035
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=142898
Found 30908 contexts for 130 functions. Top 5 functions:
8588	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
3352	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
3116	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
2944	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
1996	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=719806.30MB, max=812.19MB, minor=719761.89MB, major=3923.90MB, promoted=3879.49MB
    minor collections=343238  major collections=46 compactions=0


runtime: 00:05:01.368
vars: 178656, evals: 204981

|rho|=178656
|called|=105
|stable|=133644
|infl|=178514
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=146586
Found 31707 contexts for 130 functions. Top 5 functions:
8815	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
3437	contexts for entry state of inb (5473) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5986:1-5993:1
3196	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3025	contexts for entry state of switch_bank (5531) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:6683:1-6691:1
2045	contexts for entry state of printk (2788) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:12705:1-12707:1

Memory statistics: total=745024.56MB, max=934.02MB, minor=744977.86MB, major=4048.01MB, promoted=4001.32MB
    minor collections=355262  major collections=46 compactions=0


runtime: 00:05:11.383
vars: 183075, evals: 210033

|rho|=183075
|called|=81
|stable|=136722
|infl|=182957
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=150215
Found 32497 contexts for 130 functions. Top 5 functions:
9032	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
3530	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
3271	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3103	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
2089	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=770139.15MB, max=934.02MB, minor=770092.27MB, major=4170.37MB, promoted=4123.48MB
    minor collections=367238  major collections=47 compactions=0


runtime: 00:05:21.414
vars: 187417, evals: 215096

|rho|=187417
|called|=112
|stable|=140265
|infl|=187285
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=153789
Found 33265 contexts for 130 functions. Top 5 functions:
9238	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
3616	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
3350	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3176	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
2139	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=795288.33MB, max=934.02MB, minor=795240.73MB, major=4291.80MB, promoted=4244.19MB
    minor collections=379230  major collections=47 compactions=0


runtime: 00:05:31.449
vars: 192130, evals: 220400

|rho|=192130
|called|=119
|stable|=143739
|infl|=191993
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=157668
Found 34099 contexts for 130 functions. Top 5 functions:
9473	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
3712	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
3432	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3259	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
2191	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=820676.38MB, max=934.02MB, minor=820628.56MB, major=4416.20MB, promoted=4368.37MB
    minor collections=391336  major collections=48 compactions=0


runtime: 00:05:41.491
vars: 196406, evals: 225238

|rho|=196406
|called|=101
|stable|=146687
|infl|=196268
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161185
Found 34858 contexts for 130 functions. Top 5 functions:
9688	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
3796	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
3508	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3338	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
2238	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=845018.85MB, max=1074.12MB, minor=844970.82MB, major=4533.08MB, promoted=4485.05MB
    minor collections=402944  major collections=48 compactions=0


runtime: 00:05:51.514
vars: 200814, evals: 230374

|rho|=200814
|called|=88
|stable|=149870
|infl|=200689
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=164806
Found 35645 contexts for 130 functions. Top 5 functions:
9909	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
3887	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
3584	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3415	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
2284	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=870578.53MB, max=1074.12MB, minor=870530.31MB, major=4656.52MB, promoted=4608.30MB
    minor collections=415131  major collections=48 compactions=0


runtime: 00:06:01.529
vars: 205049, evals: 235182

|rho|=205049
|called|=77
|stable|=153307
|infl|=204934
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168290
Found 36396 contexts for 130 functions. Top 5 functions:
10118	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
3968	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
3661	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3488	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
2333	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=895238.79MB, max=1074.12MB, minor=895190.36MB, major=4773.26MB, promoted=4724.83MB
    minor collections=426891  major collections=49 compactions=0


runtime: 00:06:11.608
vars: 209403, evals: 240161

|rho|=209403
|called|=108
|stable|=156318
|infl|=209258
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171873
Found 37167 contexts for 130 functions. Top 5 functions:
10330	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
4059	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
3735	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3565	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
2377	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=919897.54MB, max=1074.12MB, minor=919848.90MB, major=4889.84MB, promoted=4841.19MB
    minor collections=438649  major collections=49 compactions=0


runtime: 00:06:21.631
vars: 213685, evals: 245171

|rho|=213685
|called|=106
|stable|=159802
|infl|=213553
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175393
Found 37929 contexts for 130 functions. Top 5 functions:
10536	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
4144	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
3812	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3638	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
2425	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=945432.61MB, max=1074.12MB, minor=945383.76MB, major=5011.39MB, promoted=4962.53MB
    minor collections=450826  major collections=50 compactions=0


runtime: 00:06:31.654
vars: 218009, evals: 250029

|rho|=218009
|called|=85
|stable|=162879
|infl|=217892
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178949
Found 38697 contexts for 130 functions. Top 5 functions:
10761	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
4228	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
3888	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3718	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
2473	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=969813.39MB, max=1074.12MB, minor=969764.34MB, major=5127.30MB, promoted=5078.24MB
    minor collections=462452  major collections=50 compactions=0


runtime: 00:06:41.708
vars: 222138, evals: 254818

|rho|=222138
|called|=96
|stable|=166113
|infl|=222005
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182345
Found 39430 contexts for 130 functions. Top 5 functions:
10958	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
4312	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
3961	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3788	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
2517	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=994679.37MB, max=1074.12MB, minor=994630.11MB, major=5244.88MB, promoted=5195.61MB
    minor collections=474309  major collections=50 compactions=0


runtime: 00:06:51.743
vars: 226452, evals: 259697

|rho|=226452
|called|=104
|stable|=169200
|infl|=226317
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=185895
Found 40194 contexts for 130 functions. Top 5 functions:
11176	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
4398	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
4037	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3866	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
2566	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=1019867.80MB, max=1074.12MB, minor=1019818.31MB, major=5362.50MB, promoted=5313.01MB
    minor collections=486320  major collections=51 compactions=0


runtime: 00:07:01.762
vars: 230393, evals: 264223

|rho|=230393
|called|=110
|stable|=172225
|infl|=230259
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189135
Found 40895 contexts for 130 functions. Top 5 functions:
11361	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
4480	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
4106	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
3931	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
2607	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=1044242.53MB, max=1074.12MB, minor=1044192.82MB, major=5475.29MB, promoted=5425.58MB
    minor collections=497943  major collections=51 compactions=0


runtime: 00:07:11.809
vars: 234477, evals: 268868

|rho|=234477
|called|=110
|stable|=174966
|infl|=234330
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=192495
Found 41619 contexts for 130 functions. Top 5 functions:
11569	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
4563	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
4176	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4006	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
2650	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=1068551.22MB, max=1235.24MB, minor=1068501.29MB, major=5590.74MB, promoted=5540.81MB
    minor collections=509534  major collections=51 compactions=0


runtime: 00:07:21.844
vars: 238481, evals: 273458

|rho|=238481
|called|=77
|stable|=178171
|infl|=238366
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=195786
Found 42332 contexts for 130 functions. Top 5 functions:
11770	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
4640	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
4249	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4076	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
2697	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=1093636.64MB, max=1235.24MB, minor=1093586.49MB, major=5704.66MB, promoted=5654.52MB
    minor collections=521496  major collections=51 compactions=0


runtime: 00:07:31.858
vars: 242420, evals: 278042

|rho|=242420
|called|=84
|stable|=181193
|infl|=242299
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199024
Found 43033 contexts for 130 functions. Top 5 functions:
11961	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
4720	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
4318	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4145	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
2738	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=1118064.38MB, max=1235.24MB, minor=1118014.01MB, major=5818.66MB, promoted=5768.30MB
    minor collections=533144  major collections=52 compactions=0


runtime: 00:07:41.917
vars: 246261, evals: 282405

|rho|=246261
|called|=84
|stable|=183690
|infl|=246140
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=202182
Found 43716 contexts for 130 functions. Top 5 functions:
12152	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
4799	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
4383	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4213	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
2778	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=1141974.72MB, max=1235.24MB, minor=1141924.14MB, major=5929.22MB, promoted=5878.64MB
    minor collections=544546  major collections=52 compactions=0


runtime: 00:07:51.944
vars: 250352, evals: 287066

|rho|=250352
|called|=92
|stable|=186980
|infl|=250223
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=205550
Found 44439 contexts for 130 functions. Top 5 functions:
12359	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
4878	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
4458	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4286	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
2827	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=1166973.99MB, max=1235.24MB, minor=1166923.19MB, major=6043.18MB, promoted=5992.38MB
    minor collections=556466  major collections=52 compactions=0


runtime: 00:08:01.963
vars: 254273, evals: 291586

|rho|=254273
|called|=120
|stable|=189970
|infl|=254139
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208775
Found 45135 contexts for 130 functions. Top 5 functions:
12541	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
4960	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
4526	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4351	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
2867	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=1191706.90MB, max=1235.24MB, minor=1191655.87MB, major=6156.02MB, promoted=6104.99MB
    minor collections=568260  major collections=53 compactions=0


runtime: 00:08:11.986
vars: 257855, evals: 295687

|rho|=257855
|called|=114
|stable|=192634
|infl|=257721
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=211721
Found 45771 contexts for 130 functions. Top 5 functions:
12718	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
5032	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
4589	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4414	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
2906	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=1214460.93MB, max=1235.24MB, minor=1214409.69MB, major=6258.01MB, promoted=6206.77MB
    minor collections=579110  major collections=53 compactions=0


runtime: 00:08:22.028
vars: 261437, evals: 299744

|rho|=261437
|called|=116
|stable|=195313
|infl|=261303
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=214667
Found 46407 contexts for 130 functions. Top 5 functions:
12895	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
5104	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
4652	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4477	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
2945	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=1237141.47MB, max=1420.53MB, minor=1237090.02MB, major=6359.36MB, promoted=6307.91MB
    minor collections=589925  major collections=53 compactions=0


runtime: 00:08:32.067
vars: 264913, evals: 303725

|rho|=264913
|called|=106
|stable|=197872
|infl|=264779
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=217530
Found 47020 contexts for 130 functions. Top 5 functions:
13072	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
5176	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
4712	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4540	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
2984	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=1259830.82MB, max=1420.53MB, minor=1259770.79MB, major=6469.88MB, promoted=6409.85MB
    minor collections=600743  major collections=53 compactions=0


runtime: 00:08:42.094
vars: 268601, evals: 307967

|rho|=268601
|called|=112
|stable|=200641
|infl|=268467
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220559
Found 47679 contexts for 130 functions. Top 5 functions:
13249	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
5248	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
4778	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4603	contexts for entry state of switch_bank (5531) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:6683:1-6691:1
3023	contexts for entry state of printk (2788) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:12705:1-12707:1

Memory statistics: total=1283702.19MB, max=1420.53MB, minor=1283641.93MB, major=6577.36MB, promoted=6517.11MB
    minor collections=612126  major collections=54 compactions=0


runtime: 00:08:52.109
vars: 272123, evals: 311985

|rho|=272123
|called|=118
|stable|=203230
|infl|=271989
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223458
Found 48302 contexts for 130 functions. Top 5 functions:
13426	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
5320	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
4839	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4666	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
3062	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=1306432.64MB, max=1420.53MB, minor=1306372.17MB, major=6679.38MB, promoted=6618.90MB
    minor collections=622965  major collections=54 compactions=0


runtime: 00:09:02.172
vars: 275659, evals: 316028

|rho|=275659
|called|=110
|stable|=205864
|infl|=275525
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=226368
Found 48928 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
4901	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=1329517.91MB, max=1420.53MB, minor=1329457.23MB, major=6781.99MB, promoted=6721.31MB
    minor collections=633973  major collections=54 compactions=0


runtime: 00:09:12.191
vars: 279174, evals: 320036

|rho|=279174
|called|=109
|stable|=208461
|infl|=279028
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229254
Found 49557 contexts for 130 functions. Top 5 functions:
13779	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
5461	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
4963	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4791	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
3139	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=1352651.84MB, max=1420.53MB, minor=1352590.95MB, major=6885.59MB, promoted=6824.70MB
    minor collections=645004  major collections=54 compactions=0


runtime: 00:09:22.218
vars: 282644, evals: 324020

|rho|=282644
|called|=87
|stable|=211010
|infl|=282520
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=232109
Found 50172 contexts for 130 functions. Top 5 functions:
13952	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
5526	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
5026	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4853	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
3178	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=1375467.32MB, max=1420.53MB, minor=1375406.20MB, major=6987.46MB, promoted=6926.34MB
    minor collections=655884  major collections=55 compactions=0


runtime: 00:09:32.228
vars: 286172, evals: 328076

|rho|=286172
|called|=97
|stable|=213620
|infl|=286038
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235010
Found 50799 contexts for 130 functions. Top 5 functions:
14129	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
5598	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
5088	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4916	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
3217	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=1398445.47MB, max=1420.53MB, minor=1398384.12MB, major=7090.19MB, promoted=7028.84MB
    minor collections=666841  major collections=55 compactions=0


runtime: 00:09:42.291
vars: 289854, evals: 332280

|rho|=289854
|called|=85
|stable|=216385
|infl|=289738
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238035
Found 51456 contexts for 130 functions. Top 5 functions:
14308	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
5673	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
5152	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4979	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
3256	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=1422677.33MB, max=1420.53MB, minor=1422615.75MB, major=7197.20MB, promoted=7135.62MB
    minor collections=678395  major collections=55 compactions=0


runtime: 00:09:52.310
vars: 293675, evals: 336653

|rho|=293675
|called|=112
|stable|=219289
|infl|=293541
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=241181
Found 52131 contexts for 130 functions. Top 5 functions:
14488	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
5752	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
5219	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5044	contexts for entry state of switch_bank (5531) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:6683:1-6691:1
3296	contexts for entry state of printk (2788) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:12705:1-12707:1

Memory statistics: total=1447294.68MB, max=1420.53MB, minor=1447232.88MB, major=7306.77MB, promoted=7244.96MB
    minor collections=690134  major collections=55 compactions=0


runtime: 00:10:02.341
vars: 297265, evals: 340861

|rho|=297265
|called|=108
|stable|=221962
|infl|=297133
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=244133
Found 52769 contexts for 130 functions. Top 5 functions:
14666	contexts for entry state of outb (5472) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5979:1-5985:1
5824	contexts for entry state of inb (5473) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:5986:1-5993:1
5282	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5108	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
3335	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=1472160.59MB, max=1420.53MB, minor=1472098.55MB, major=7417.71MB, promoted=7355.67MB
    minor collections=701991  major collections=56 compactions=0


runtime: 00:10:12.360
vars: 300839, evals: 344901

|rho|=300839
|called|=111
|stable|=224604
|infl|=300705
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=247073
Found 53403 contexts for 130 functions. Top 5 functions:
14842	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
5896	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
5345	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5170	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
3374	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=1496151.67MB, max=1420.53MB, minor=1496089.38MB, major=7522.32MB, promoted=7460.04MB
    minor collections=713431  major collections=56 compactions=0


runtime: 00:10:22.411
vars: 304278, evals: 348779

|rho|=304278
|called|=114
|stable|=227138
|infl|=304135
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=249901
Found 54014 contexts for 130 functions. Top 5 functions:
15019	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
5968	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
5404	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5233	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
3412	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=1519441.80MB, max=1633.61MB, minor=1519379.27MB, major=7622.87MB, promoted=7560.34MB
    minor collections=724537  major collections=56 compactions=0


runtime: 00:10:32.438
vars: 307948, evals: 352999

|rho|=307948
|called|=115
|stable|=229875
|infl|=307814
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=252922
Found 54663 contexts for 130 functions. Top 5 functions:
15196	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
6040	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
5469	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5296	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
3452	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=1544355.09MB, max=1633.61MB, minor=1544292.33MB, major=7732.17MB, promoted=7669.41MB
    minor collections=736416  major collections=56 compactions=0


runtime: 00:10:42.453
vars: 311535, evals: 357104

|rho|=311535
|called|=114
|stable|=232544
|infl|=311401
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=255872
Found 55300 contexts for 130 functions. Top 5 functions:
15373	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
6112	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
5532	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5359	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
3491	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=1569078.55MB, max=1633.61MB, minor=1569015.56MB, major=7840.87MB, promoted=7777.87MB
    minor collections=748206  major collections=56 compactions=0


runtime: 00:10:52.472
vars: 315061, evals: 361138

|rho|=315061
|called|=112
|stable|=235167
|infl|=314927
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=258774
Found 55924 contexts for 130 functions. Top 5 functions:
15550	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
6184	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
5594	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5422	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
3530	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=1593517.29MB, max=1633.61MB, minor=1593454.05MB, major=7945.77MB, promoted=7882.53MB
    minor collections=759859  major collections=57 compactions=0


runtime: 00:11:02.507
vars: 318413, evals: 364988

|rho|=318413
|called|=92
|stable|=237599
|infl|=318284
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=261527
Found 56523 contexts for 130 functions. Top 5 functions:
15722	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
6246	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
5655	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5483	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
3568	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=1617520.44MB, max=1633.61MB, minor=1617456.96MB, major=8048.76MB, promoted=7985.27MB
    minor collections=771305  major collections=57 compactions=0


runtime: 00:11:12.554
vars: 321891, evals: 368981

|rho|=321891
|called|=83
|stable|=240159
|infl|=321776
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=264386
Found 57142 contexts for 130 functions. Top 5 functions:
15895	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
6316	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
5715	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5545	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
3604	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=1641734.88MB, max=1633.61MB, minor=1641666.98MB, major=8157.35MB, promoted=8089.45MB
    minor collections=782851  major collections=57 compactions=0


runtime: 00:11:22.569
vars: 325469, evals: 373047

|rho|=325469
|called|=85
|stable|=242787
|infl|=325352
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=267329
Found 57777 contexts for 130 functions. Top 5 functions:
16071	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=1666703.72MB, max=1633.61MB, minor=1666635.58MB, major=8265.85MB, promoted=8197.71MB
    minor collections=794757  major collections=57 compactions=0


runtime: 00:11:32.592
vars: 329051, evals: 377126

|rho|=329051
|called|=106
|stable|=245429
|infl|=328934
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=270275
Found 58413 contexts for 130 functions. Top 5 functions:
16248	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
6460	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
5841	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5671	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
3682	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=1691550.77MB, max=1633.61MB, minor=1691482.37MB, major=8371.30MB, promoted=8302.90MB
    minor collections=806605  major collections=58 compactions=0


runtime: 00:11:42.607
vars: 332280, evals: 380874

|rho|=332280
|called|=100
|stable|=247677
|infl|=332143
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=272931
Found 58986 contexts for 130 functions. Top 5 functions:
16402	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
6529	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
5895	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5726	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
3714	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=1715978.91MB, max=1633.61MB, minor=1715910.27MB, major=8475.16MB, promoted=8406.53MB
    minor collections=818253  major collections=58 compactions=0


runtime: 00:11:52.634
vars: 335600, evals: 384707

|rho|=335600
|called|=88
|stable|=250505
|infl|=335475
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=275659
Found 59578 contexts for 130 functions. Top 5 functions:
16567	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
6594	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
5956	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5785	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
3752	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=1739960.36MB, max=1633.61MB, minor=1739891.47MB, major=8576.70MB, promoted=8507.81MB
    minor collections=829689  major collections=58 compactions=0


runtime: 00:12:02.709
vars: 338987, evals: 388537

|rho|=338987
|called|=118
|stable|=252958
|infl|=338853
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=278450
Found 60174 contexts for 130 functions. Top 5 functions:
16730	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
6664	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
6015	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5842	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
3790	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=1764120.95MB, max=1633.61MB, minor=1764051.84MB, major=8676.40MB, promoted=8607.28MB
    minor collections=841209  major collections=58 compactions=0


runtime: 00:12:12.720
vars: 342355, evals: 392382

|rho|=342355
|called|=81
|stable|=255421
|infl|=342237
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=281217
Found 60775 contexts for 130 functions. Top 5 functions:
16902	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
6728	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
6076	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5903	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
3828	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=1788675.27MB, max=1633.61MB, minor=1788605.90MB, major=8780.50MB, promoted=8711.14MB
    minor collections=852918  major collections=58 compactions=0


runtime: 00:12:22.735
vars: 345767, evals: 396298

|rho|=345767
|called|=85
|stable|=257895
|infl|=345650
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=284023
Found 61381 contexts for 130 functions. Top 5 functions:
17074	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
6796	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
6135	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5965	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
3864	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=1813487.59MB, max=1633.61MB, minor=1813417.97MB, major=8884.80MB, promoted=8815.18MB
    minor collections=864750  major collections=59 compactions=0


runtime: 00:12:32.762
vars: 348941, evals: 399952

|rho|=348941
|called|=92
|stable|=260054
|infl|=348815
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=286631
Found 61947 contexts for 130 functions. Top 5 functions:
17226	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
6863	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
6189	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6019	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
3896	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=1837698.54MB, max=1633.61MB, minor=1837628.68MB, major=8985.18MB, promoted=8915.31MB
    minor collections=876294  major collections=59 compactions=0


runtime: 00:12:42.793
vars: 352170, evals: 403615

|rho|=352170
|called|=109
|stable|=262777
|infl|=352036
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=289291
Found 62516 contexts for 130 functions. Top 5 functions:
17379	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
6928	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
6247	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6073	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
3933	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=1860547.24MB, max=1633.61MB, minor=1860472.93MB, major=9085.05MB, promoted=9010.74MB
    minor collections=887188  major collections=59 compactions=0


runtime: 00:12:52.864
vars: 355323, evals: 407255

|rho|=355323
|called|=90
|stable|=265021
|infl|=355208
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=291882
Found 63078 contexts for 130 functions. Top 5 functions:
17547	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
6303	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6133	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
3968	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=1884428.96MB, max=1878.66MB, minor=1884354.41MB, major=9186.10MB, promoted=9111.55MB
    minor collections=898576  major collections=59 compactions=0


runtime: 00:13:02.899
vars: 358829, evals: 411182

|rho|=358829
|called|=99
|stable|=267494
|infl|=358693
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=294769
Found 63697 contexts for 130 functions. Top 5 functions:
17716	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
7060	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
6365	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6195	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
4007	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=1909375.48MB, max=1878.66MB, minor=1909300.68MB, major=9290.82MB, promoted=9216.02MB
    minor collections=910472  major collections=59 compactions=0


runtime: 00:13:12.918
vars: 362004, evals: 414919

|rho|=362004
|called|=92
|stable|=269750
|infl|=361875
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=297376
Found 64265 contexts for 130 functions. Top 5 functions:
17874	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
7127	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
6419	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6250	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
4039	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=1934327.48MB, max=1878.66MB, minor=1934252.44MB, major=9393.71MB, promoted=9318.67MB
    minor collections=922370  major collections=59 compactions=0


runtime: 00:13:22.937
vars: 365315, evals: 418673

|rho|=365315
|called|=112
|stable|=272569
|infl|=365181
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=300101
Found 64851 contexts for 130 functions. Top 5 functions:
18028	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
7192	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
6479	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6304	contexts for entry state of switch_bank (5531) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:6683:1-6691:1
4076	contexts for entry state of printk (2788) on /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i:12705:1-12707:1

Memory statistics: total=1958667.67MB, max=1878.66MB, minor=1958592.36MB, major=9493.75MB, promoted=9418.45MB
    minor collections=933976  major collections=60 compactions=0


runtime: 00:13:32.955
vars: 368225, evals: 421987

|rho|=368225
|called|=106
|stable|=274442
|infl|=368082
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=302494
Found 65368 contexts for 130 functions. Top 5 functions:
18180	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
7251	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
6528	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6360	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
4106	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=1981413.24MB, max=1878.66MB, minor=1981336.66MB, major=9588.70MB, promoted=9512.12MB
    minor collections=944822  major collections=60 compactions=0


runtime: 00:13:42.982
vars: 371179, evals: 425387

|rho|=371179
|called|=112
|stable|=276903
|infl|=371045
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=304928
Found 65888 contexts for 130 functions. Top 5 functions:
18323	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
7312	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
6581	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6409	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
4141	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=2003773.71MB, max=1878.66MB, minor=2003696.89MB, major=9679.96MB, promoted=9603.14MB
    minor collections=955484  major collections=60 compactions=0


runtime: 00:13:53.037
vars: 374269, evals: 428885

|rho|=374269
|called|=104
|stable|=278956
|infl|=374128
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=307467
Found 66439 contexts for 130 functions. Top 5 functions:
18478	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
7372	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
6634	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6467	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
4172	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=2026170.75MB, max=1878.66MB, minor=2026093.69MB, major=9774.62MB, promoted=9697.56MB
    minor collections=966164  major collections=60 compactions=0


runtime: 00:14:03.060
vars: 377255, evals: 432343

|rho|=377255
|called|=114
|stable|=281449
|infl|=377121
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=309921
Found 66971 contexts for 130 functions. Top 5 functions:
18618	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
7432	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
6689	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6514	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
4206	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=2048787.71MB, max=1878.66MB, minor=2048710.42MB, major=9868.97MB, promoted=9791.68MB
    minor collections=976949  major collections=60 compactions=0


runtime: 00:14:13.095
vars: 380393, evals: 435921

|rho|=380393
|called|=88
|stable|=283627
|infl|=380276
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=312501
Found 67529 contexts for 130 functions. Top 5 functions:
18785	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
7492	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
6744	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6574	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
4241	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=2072532.49MB, max=1878.66MB, minor=2072454.97MB, major=9967.86MB, promoted=9890.35MB
    minor collections=988271  major collections=60 compactions=0


runtime: 00:14:23.114
vars: 383233, evals: 439284

|rho|=383233
|called|=114
|stable|=285897
|infl|=383101
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=314837
Found 68033 contexts for 130 functions. Top 5 functions:
18914	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
7552	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
6794	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6620	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
4271	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=2096135.40MB, max=1878.66MB, minor=2096057.63MB, major=10063.95MB, promoted=9986.18MB
    minor collections=999526  major collections=61 compactions=0


runtime: 00:14:33.153
vars: 386452, evals: 442878

|rho|=386452
|called|=99
|stable|=288196
|infl|=386317
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=317486
Found 68603 contexts for 130 functions. Top 5 functions:
19083	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
7614	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
6851	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6680	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
4308	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=2119591.82MB, max=1878.66MB, minor=2119513.78MB, major=10160.54MB, promoted=10082.50MB
    minor collections=1010711  major collections=61 compactions=0


runtime: 00:14:43.172
vars: 389306, evals: 446204

|rho|=389306
|called|=96
|stable|=290441
|infl|=389173
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=319831
Found 69112 contexts for 130 functions. Top 5 functions:
19218	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
7673	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
6901	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6729	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
4337	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=2143122.36MB, max=1878.66MB, minor=2143044.08MB, major=10256.02MB, promoted=10177.74MB
    minor collections=1021931  major collections=61 compactions=0


runtime: 00:14:53.243
vars: 392400, evals: 449688

|rho|=392400
|called|=107
|stable|=292614
|infl|=392256
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=322378
Found 69659 contexts for 130 functions. Top 5 functions:
19377	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
7734	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
6955	contexts for entry state of __VERIFIER_nondet_int (320) on lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
6785	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
4372	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=2166136.78MB, max=1878.66MB, minor=2166058.24MB, major=10349.74MB, promoted=10271.20MB
    minor collections=1032906  major collections=61 compactions=0

