Tool 2LS 0.5.0 CBMC 5.6 CIVL ConSequence CPAchecker 1.6.1-svn 24048 DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 ESBMC ESBMC version 3.1 64-bit x86_64 linux skink Lazy-CSeq 1.0-svcomp17 Lazy-CSeq-Abs 0.1-svcomp17 Lazy-CSeq-Swarm 0.1svcomp2017 Mu-CSeq 0.4 SVCOMP17 SMACK+Corral 1.7.2 symbiotic KLEE:7f3c74aa-dg:96e851cf-symbiotic:69a1d8e6-minisat:3db58943-stp:39fa956f-LLVMInstrumentation:f750b24a SymDIVINE ULTIMATE Automizer f7c3ed31 ULTIMATE Kojak f7c3ed31 UL-CSeq UL-CSeq version 0.2 - May 2016 ULTIMATE Taipan f7c3ed31 Yogar-CBMC
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic Linux 4.4.0-57-generic [Linux 4.4.0-57-generic; Linux 4.4.0-59-generic] Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-11 10:50:47 CET 2017-01-11 11:31:58 CET 2017-01-10 17:21:21 CET 2017-01-10 19:36:00 CET 2017-01-11 11:04:12 CET 2017-01-13 05:30:26 CET 2017-01-13 06:18:40 CET 2017-01-13 05:40:48 CET 2017-01-13 06:16:08 CET 2017-01-13 07:06:29 CET 2017-01-13 08:12:16 CET 2017-01-13 12:42:30 CET 2017-01-13 10:55:30 CET 2017-01-13 10:56:17 CET 2017-01-13 11:05:10 CET 2017-01-13 11:07:29 CET 2017-01-14 06:38:37 CET 2017-01-14 13:06:07 CET 2017-01-14 05:49:34 CET 2017-01-14 07:26:17 CET 2017-01-14 07:25:30 CET 2017-01-13 15:52:11 CET 2017-01-14 16:51:47 CET 2017-01-14 09:46:18 CET
Run set 2ls.sv-comp17 cbmc.sv-comp17 civl.sv-comp17 consequence.sv-comp17 cpa-kind.sv-comp17 cpa-seq.sv-comp17 depthk.sv-comp17 esbmc.sv-comp17 esbmc-falsi.sv-comp17 esbmc-incr.sv-comp17 esbmc-kind.sv-comp17 skink.sv-comp17 lazycseq.sv-comp17 lazycseqabs.sv-comp17 lazycseqswarm.sv-comp17 mucseq.sv-comp17 smack.sv-comp17 symbiotic4.sv-comp17 symdivine.sv-comp17 uautomizer.sv-comp17 ukojak.sv-comp17 ulcseq.sv-comp17 utaipan.sv-comp17 yogar-cbmc.sv-comp17
Options --graphml-witness witness.graphml --graphml-witness witness.graphml verify -svcomp17 -sv-comp17-k-induction -heap 10000M -disable-java-assertions -sv-comp17 -heap 10000M -disable-java-assertions -s fixed -s falsi -s incr -s kinduction --witness error-witness.graphml --witness error-witness.graphml --witness error-witness.graphml -w error-witness.graphml --witness witness.graphml --fix_volatile --fix_inline --silent -Os --witness error-witness.graphml
../../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J)
pthread/bigshot_p_false-unreach-call.i .19 29 1.9 .20 22 1.9 4.9 370 37 34    260 270   4.6 420 32 4.9 420 39 6.3  620 63   770    15000 9500   .22  26 2.4  .20  26 2.9  .20  26 2.4  3.0    220    24      .67 51 7.6 1.2 57 13 1.6 62 19 1.0  72 13   1.1  63 15   .096 9.5 .99 .065 10   .69 5.2 300 40 5.1 310 35 5.3 32 80 5.3 310 41 .25 31 2.2
pthread/fib_bench_false-unreach-call.i .20 27 1.5 2.5  30 27   7.7 470 68 27    270 160   4.0 280 31 6.8 440 55 47    79 560   230    140 3200   900     2600 13000    100     210 1400    .27  25 3.3  540      2500    5500      2.8  65 34   4.8 69 62 6.3 64 84 1.0  48 12   880    300 11000   .10  9.3 .88 170     15000   2000    5.3 310 39 4.9 310 41 900   470 10000 5.0 310 40 .26 29 2.1
pthread/fib_bench_longer_false-unreach-call.i .21 26 1.6 2.2  31 26   9.2 730 76 31    260 170   3.9 280 29 8.0 520 57 120    100 1500   610    360 6900   900     2600 15000    280     560 4300    .29  24 3.3  640      3300    7200      2.7  68 33   4.9 71 63 6.4 66 89 1.5  54 18   880    300 12000   .081 9.4 .83 170     15000   2000    6.3 340 47 5.1 310 44 900   470 11000 5.8 330 39 .41 32 4.3
pthread/fib_bench_longest_false-unreach-call.i .22 27 1.6 330    180 4400   390   10000 4400 63    260 600   4.2 280 33 550   3800 3100 900    630 10000   900    1300 10000   900     2200 12000    900     2300 12000    .27  25 3.8  900      8800    9400      13    90 160   16   93 230 17   76 240 36    190 530   880    270 10000   .11  9.5 .91 170     15000   1800    5.0 310 40 5.0 300 43 900   510 8400 5.1 320 39 16    120 190  
pthread/lazy01_false-unreach-call.i .19 27 2.1 .36 31 3.3 5.2 340 42 3.7  260 27   3.8 280 29 4.5 300 35 16    280 200   53    98 630   4.9   140 71    4.9   140 63    4.9   140 59    3.2    240    25      .66 51 8.4 1.2 58 15 1.6 64 24 .65 43 8.5 4.1  95 59   .10  9.4 .86 .14  10   .95 5.4 310 41 5.0 310 46 5.6 39 83 5.1 310 38 .21 29 2.0
pthread/queue_false-unreach-call.i .21 29 1.8 8.4  450 88   6.1 410 48 4.7  270 32   5.8 440 46 7.1 460 47 130    170 1800   .86 160 12   .16  26 2.1  .18  26 1.9  .16  26 2.0  3.3    240    29      11    300 130   17   310 190 15   280 180 9.1  230 110   60    1800 760   .10  9.5 .93 2.2   100   26    5.6 320 41 5.8 330 39 900   800 11000 5.5 320 42 .28 41 3.1
pthread/queue_longer_false-unreach-call.i .22 29 2.1 27    5000 250   6.3 410 49 6.2  260 45   5.3 430 42 8.4 460 61 850    2500 12000   110    15000 1500   .20  26 1.6  .18  26 1.7  .19  26 2.0  3.4    240    26      120    9400 1500   120   1800 1300 100   1700 1100 9.5  220 120   900    14000 10000   .095 9.6 .93 26     740   290    6.2 350 52 5.0 310 40 900   610 12000 5.2 310 38 1.4  330 16  
pthread/queue_longest_false-unreach-call.i .20 30 2.3 48    10000 510   6.4 410 52 6.8  260 40   5.3 430 41 7.8 460 59 850    2500 10000   230    15000 2600   .16  26 1.8  .16  26 1.9  .18  26 2.1  3.2    240    27      120    15000 1300   150   2900 1500 130   2800 1400 13    240 180   900    14000 9300   .076 9.7 .84 71     1400   970    5.1 310 45 5.0 310 43 900   610 11000 5.3 310 42 2.5  650 25  
pthread/reorder_2_false-unreach-call.i .32 31 2.2 .32 24 3.0 6.4 470 46 4.1  260 32   5.8 450 39 5.8 450 46 330    15000 3800   900    3400 12000   290     15000 3400    290     15000 4200    900     9600 11000    .0054 .82 .017  2.2  60 30   3.2 65 44 4.3 65 54 1.8  100 25   5.0  110 70   .082 9.8 .78 .12  10   .83 5.1 310 41 5.6 320 44 6.5 64 86 5.1 300 44 .40 34 3.3
pthread/reorder_5_false-unreach-call.i .29 31 3.3 .32 26 3.5 7.8 550 60 4.5  270 31   5.7 440 40 6.0 440 53 470    15000 5700   900    1000 9900   500     15000 6200    500     15000 5900    900     11000 10000    .0082 .81 .016  5.7  120 76   8.3 130 110 10   96 140 1.8  100 21   5.0  110 72   .080 9.7 .88 .10  10   .90 5.7 320 43 5.3 310 41 6.6 71 77 5.5 320 45 .38 33 3.6
pthread/sigma_false-unreach-call.i .20 30 1.8 210    920 1600   5.2 380 39 5.7  270 34   5.2 420 40 5.6 440 42 900    680 13000   900    520 9700   900     1500 14000    900     1600 11000    2.2   68 31    .0080 .82 .015  6.6  220 91   8.7 220 110 9.6 200 130 6.8  350 84   880    330 11000   .11  9.5 .91 .063 10   .71 5.3 310 40 5.4 300 40 900   2300 9100 5.2 300 40 70    420 660  
pthread/singleton_false-unreach-call.i .20 30 2.0 .21 22 2.1 5.1 350 41 4.2  270 31   4.6 400 36 4.8 410 35 900    930 12000   900    980 12000   700     15000 8500    710     15000 8500    690     15000 8900    2.9    210    25      3.4  69 39   5.8 73 73 7.4 67 96 2.4  160 29   370    14000 5000   .12  9.6 1.1  .061 10   .67 6.0 330 42 5.3 310 44 11   62 140 5.7 340 44 .25 31 2.1
pthread/stack_false-unreach-call.i .23 29 1.9 .48 36 5.3 6.0 420 45 6.7  250 37   5.6 450 39 5.9 440 39 500    15000 6900   900    5800 11000   26     1000 310    30     1100 440    30     1100 340    3.3    230    26      1.4  74 15   2.3 73 29 2.8 73 35 2.3  120 25   24    130 260   .076 9.8 1.0  .67  36   10    5.1 310 39 5.3 320 46 38   150 470 6.1 320 47 .24 31 2.0
pthread/stack_longer_false-unreach-call.i .21 29 1.5 7.5  160 110   6.1 410 45 6.1  270 37   4.9 410 37 97   710 830 480    1500 6300   900    5400 10000   27     1000 390    30     1100 340    30     1100 380    3.3    230    28      140    3900 1700   120   2100 1300 120   2100 1200 2.2  120 29   880    410 11000   .093 9.6 .81 5.3   210   66    5.1 300 42 4.9 300 38 34   140 400 5.5 310 41 .56 63 5.4
pthread/stack_longest_false-unreach-call.i .20 29 1.9 23    280 270   6.1 430 46 6.5  250 37   5.1 420 37 400   1100 2600 480    1500 6100   900    5700 9900   27     1000 380    30     1100 360    30     1100 350    3.2    240    29      190    7400 2500   150   3300 1700 140   3200 1700 2.2  120 26   880    390 10000   .076 9.6 1.1  11     380   140    5.4 300 48 6.0 320 47 36   140 470 5.7 320 42 .74 110 6.8
pthread/stateful01_false-unreach-call.i .22 27 1.7 .41 32 4.3 4.9 340 37 3.9  250 27   3.8 280 29 4.4 290 35 7.9  51 110   32    39 380   2.6   32 36    2.6   32 29    2.6   32 38    3.1    220    28      .66 51 8.2 1.2 58 15 1.6 62 21 .88 51 10   4.1  99 52   .10  9.2 .82 .11  11   1.4  5.8 320 51 5.1 310 43 5.9 54 77 5.2 310 42 .23 29 1.9
pthread/twostage_3_false-unreach-call.i .32 31 2.8 .35 24 2.8 11   600 73 4.3  260 30   6.0 440 47 6.1 450 47 900    970 11000   900    4200 11000   470     15000 6400    470     15000 6400    900     890 12000    .0088 .66 .011  2.7  66 33   3.8 70 49 5.1 67 63 3.9  170 49   70    400 940   .12  9.7 .94 .13  11   1.1  5.7 320 44 5.0 310 39 6.6 76 91 5.1 300 38 .41 34 3.2
pthread/bigshot_s2_true-unreach-call.i .20 29 1.7 .24 22 1.7 5.1 360 42 35    260 270   4.6 410 34 4.8 420 40 290    5200 3500   900    2300 8900   410     15000 4600    30     960 420    2.0   110 25    3.1    240    25      3.6  65 44   6.7 71 82 9.4 63 140 .96 62 14   .97 64 13   .097 9.4 .91 .080 10   .65 6.0 320 42 5.1 310 41 5.3 33 78 5.3 320 39 .21 31 1.8
pthread/bigshot_s_true-unreach-call.i .20 30 1.8 .21 22 2.4 5.6 370 40 34    260 280   4.5 410 35 4.7 420 38 290    5200 3300   900    2300 8800   400     15000 4700    30     980 390    2.1   110 24    3.0    220    26      3.6  67 41   6.8 71 78 9.5 63 130 1.0  64 11   1.0  64 12   .097 9.5 .94 .066 10   .64 5.0 310 46 6.2 330 41 5.3 32 69 5.2 300 38 .18 31 2.8
pthread/fib_bench_longer_true-unreach-call.i .22 27 1.5 37    58 430   11   970 88 50    260 350   4.0 280 29 8.0 520 55 120    100 1700   610    360 9000   900     2600 15000    280     560 3900    .28  24 3.5  650      3300    8500      4.3  68 61   7.4 70 94 10   66 140 1.9  54 22   880    310 12000   .097 9.3 .94 170     15000   2000    5.4 320 40 4.9 300 44 900   350 11000 5.0 300 43 .68 33 7.2
pthread/fib_bench_longest_true-unreach-call.i .20 27 1.6 850    180 9700   600   12000 6600 130    260 1600   4.2 290 33 920   3200 5900 900    630 11000   900    1300 14000   900     2200 14000    900     2300 12000    .27  25 3.2  900      9100    11000      17    110 200   21   98 280 24   81 260 68    200 820   880    340 12000   .082 9.1 .88 170     15000   2200    4.9 310 39 5.3 320 40 900   480 10000 5.7 320 44 17    130 200  
pthread/fib_bench_true-unreach-call.i .19 27 1.6 6.6  37 90   7.0 530 52 51    260 300   3.9 280 28 28   410 30 47    79 660   230    140 2900   900     2600 11000    100     210 1100    .28  24 3.8  570      2500    6600      3.5  65 41   6.8 69 90 9.5 66 130 1.2  48 16   880    310 11000   .11  9.4 .91 170     15000   2100    5.0 300 43 5.3 310 42 900   340 10000 5.7 320 46 .41 31 3.4
pthread/indexer_true-unreach-call.i .19 29 1.9 850    3700 12000   900   7900 13000 5.7  260 38   6.0 450 40 7.2 470 54 75    160 850   150    15000 1500   150     15000 1700    150     15000 1600    .16  26 1.4  .0078 .80 .017  320    3300 3800   310   3300 4000 380   3200 4000 1.3  58 19   820    530 7000   .079 9.5 .81 .70  100   8.6  5.8 320 43 5.2 300 44 900   6000 9500 5.5 320 45 .49 68 5.6
pthread/queue_ok_longer_true-unreach-call.i .23 29 1.8 56    13000 760   6.9 450 54 6.0  250 40   5.3 420 41 12   660 100 900    180 12000   900    11000 9600   900     2100 11000    900     14000 11000    900     7200 11000    3.4    240    28      250    6200 3400   160   1300 1700 400   1300 4800 3.5  170 41   900    300 11000   .078 9.5 .83 520     15000   5700    4.8 310 43 5.1 300 44 900   520 12000 5.1 310 43 .61 150 7.8
pthread/queue_ok_longest_true-unreach-call.i .19 29 2.2 79    13000 970   6.9 420 47 6.5  260 40   5.5 430 43 7.1 460 65 900    180 10000   900    11000 11000   900     2100 10000    900     14000 11000    900     7400 11000    3.4    250    29      300    11000 3300   200   2500 2200 430   2400 5300 3.7  170 42   890    210 13000   .10  9.7 .77 740     15000   8900    6.0 330 48 4.9 310 45 900   370 10000 5.1 310 39 1.0  300 13  
pthread/queue_ok_true-unreach-call.i .24 29 1.8 380    12000 3700   6.4 450 49 6.2  250 38   5.3 430 38 7.0 470 57 900    180 11000   900    6400 7100   900     2100 13000    900     14000 12000    900     7400 12000    3.2    250    28      96    650 1000   99   610 1300 340   580 4600 3.5  170 41   880    250 9600   .11  9.6 .97 2.8   120   42    5.3 320 48 5.1 300 40 900   230 14000 5.2 300 43 .26 35 2.3
pthread/singleton_with-uninit-problems_true-unreach-call.i .22 30 2.0 .22 22 2.0 5.9 380 42 3.9  260 30   4.7 400 35 5.0 420 40 900    930 13000   900    980 11000   710     15000 9700    710     15000 8000    690     15000 8100    3.2    240    27      4.3  68 51   7.9 72 110 11   67 150 2.9  130 36   900    14000 9400   .097 9.5 1.1  .074 10   .49 5.7 320 45 5.8 320 39 7.7 47 93 5.1 310 43 .24 32 2.2
pthread/stack_longer_true-unreach-call.i .21 29 1.9 850    980 7900   9.2 540 63 6.2  250 40   5.0 400 37 96   740 590 470    1400 5800   900    5300 12000   410     15000 5900    460     15000 5600    190     4300 2600    3.2    230    25      290    4600 3200   240   2400 3200 340   2400 4200 1.9  100 21   880    460 11000   .093 9.5 .87 4.6   210   55    5.1 310 42 4.9 310 35 900   300 12000 5.7 330 39 .45 61 4.1
pthread/stack_longest_true-unreach-call.i .21 29 1.7 850    1700 6800   9.7 550 65 6.1  250 37   5.0 400 36 420   1100 2100 470    1400 5500   900    5600 12000   410     15000 4800    460     15000 6300    190     4300 2700    3.1    230    29      520    8700 7400   280   3700 3200 340   3700 4400 2.0  100 23   880    430 13000   .076 9.5 .99 10     380   150    5.0 300 40 4.8 300 39 900   280 11000 5.9 330 40 .59 110 5.7
pthread/stack_true-unreach-call.i .20 29 2.0 380    150 5600   9.9 680 80 6.0  250 41   5.1 420 35 5.8 440 52 470    15000 6100   900    5200 13000   410     15000 5200    480     15000 5000    200     4300 2500    3.2    230    31      38    270 330   29   160 360 150   140 2200 2.0  100 26   58    120 740   .077 9.7 .86 .59  35   8.6  5.0 300 45 5.0 310 42 900   370 11000 5.1 310 36 .23 32 2.2
pthread/stateful01_true-unreach-call.i .20 27 1.6 2.9  35 31   5.0 350 39 3.9  250 28   4.0 280 31 4.7 300 37 240    1100 3300   74    250 960   290     15000 3400    120     1700 1500    120     1700 1400    3.2    240    26      3.4  63 47   6.6 67 79 9.5 65 110 .86 50 9.6 3.4  89 38   .090 9.4 .92 .11  10   1.2  5.0 310 42 6.3 340 54 43   95 550 4.9 300 34 .21 29 2.0
pthread/sync01_true-unreach-call.i .24 29 1.6 1.1  32 14   5.3 340 42 3.9  260 25   4.6 380 36 5.3 440 40 900    15000 11000   900    1000 10000   360     15000 4800    190     4000 2600    190     4000 2200    2.9    220    26      4.1  67 51   7.6 71 90 10   66 140 1.1  89 15   3.9  120 59   .080 9.4 .85 .060 10   .51 5.5 320 41 5.6 320 45 87   150 1100 5.4 310 40 .22 31 2.2
pthread-atomic/qrcu_false-unreach-call.i .21 27 2.0 .71 41 8.0 6.1 410 48 5.7  260 42   4.5 300 36 9.6 570 76 67    110 810   17    1800 210   .11  25 1.2  .11  25 1.2  .12  25 1.0  .0081 .63 .022  1.2  64 16   1.9 65 24 2.5 71 31 2.0  100 27   10    750 130   .12  9.4 .78 32     350   470    5.2 320 36 5.2 320 44 61   550 740 5.0 310 35 .28 31 2.4
pthread-atomic/read_write_lock_false-unreach-call.i .22 27 1.8 .41 31 4.7 5.7 410 46 4.5  250 30   3.9 280 29 14   760 100 160    80 1800   51    75 600   900     3400 11000    42     120 600    42     120 590    900      9900    7900      .70 52 8.7 1.2 58 15 1.7 65 19 2.0  84 25   5.9  160 83   .082 9.3 .95 1.4   160   18    6.1 320 48 5.1 310 44 13   67 160 5.2 300 42 .26 29 2.3
pthread-atomic/dekker_true-unreach-call.i .18 27 1.5 .18 21 2.2 4.6 350 35 4.0  260 28   4.1 280 34 5.0 330 36 140    190 1700   180    15000 2200   900     3200 11000    900     4600 12000    9.2   140 120    5.0    340    42      3.9  58 53   7.5 65 95 10   64 130 .85 48 10   2.2  72 27   .080 9.3 1.0  .34  16   4.5  5.1 310 46 4.8 300 38 100   180 1100 5.2 310 36 .20 29 2.2
pthread-atomic/gcd_true-unreach-call_true-termination.i .20 27 1.8 850    170 11000   10   470 100 44    260 360   4.3 290 35 5.5 350 39 900    450 11000   900    320 9300   900     510 13000    900     800 12000    60     290 740    900      15000    10000      480    340 5500   460   350 4900 410   330 4600 1.1  51 14   880    97 11000   .082 9.3 .92 21     69   300    4.8 300 41 5.1 310 46 15   190 180 5.0 310 35 22    100 290  
pthread-atomic/lamport_true-unreach-call.i .22 27 1.6 .20 21 1.6 5.6 360 44 4.2  250 32   4.1 300 30 6.0 390 41 110    160 1500   160    15000 2100   900     3200 12000    900     4500 10000    35     380 430    .0069 .80 .016  5.5  62 67   9.5 67 120 130   67 2100 1.0  52 13   2.3  71 26   .11  9.2 .85 .64  43   7.8  5.8 320 42 5.0 300 45 900   360 11000 5.3 330 38 .24 29 2.2
pthread-atomic/peterson_true-unreach-call.i .20 27 1.7 .22 20 1.7 4.6 340 40 3.9  260 29   4.0 280 30 4.6 330 34 100    150 1300   900    1200 13000   900     3400 11000    900     4300 11000    7.1   110 110    4.4    330    41      3.2  58 40   6.3 60 80 9.1 64 130 .78 46 8.6 2.1  70 23   .082 9.4 .93 .26  13   2.9  5.6 320 42 5.2 310 39 11   47 130 5.2 310 43 .22 28 1.8
pthread-atomic/qrcu_true-unreach-call.i .24 27 1.7 850    480 7800   18   2000 140 5.1  260 39   4.6 300 37 9.5 570 79 67    110 840   17    1800 200   .12  25 1.1  .10  25 1.0  .11  25 1.2  .0043 .72 .024  20    120 230   22   120 290 82   99 1100 4.0  100 54   890    790 13000   .11  9.3 .85 570     15000   6700    5.6 330 47 4.8 300 44 900   1300 11000 5.5 320 39 .41 32 3.6
pthread-atomic/read_write_lock_true-unreach-call.i .22 27 1.8 1.6  31 18   5.9 390 47 4.2  250 30   3.9 280 29 10   560 78 160    79 2300   52    74 690   900     3500 12000    42     120 500    42     120 580    900      9900    8000      4.0  64 49   7.7 70 100 11   67 130 3.1  77 44   31    170 370   .099 9.4 .83 1.8   160   21    6.1 330 44 5.1 310 41 41   64 570 5.1 300 36 .23 29 2.3
pthread-atomic/scull_true-unreach-call.i .24 28 1.8 3.6  54 49   10   790 83 4.9  260 34   5.0 340 39 40   1700 270 10    35 120   900    3200 11000   680     15000 7100    680     15000 8000    680     15000 8100    3.2    240    29      23    190 280   22   180 260 26   150 330 .55 59 6.8 .78 40 9.3 .10  9.6 .91 73     1800   1100    5.1 310 44 5.1 310 43 540   240 5900 5.0 300 38 .25 30 2.5
pthread-atomic/szymanski_true-unreach-call.i .17 27 2.1 .20 21 1.8 5.0 330 38 35    260 270   4.1 280 28 5.4 340 38 900    960 12000   900    800 11000   900     4500 13000    410     15000 4700    48     1700 590    5.3    330    44      3.6  58 44   7.2 65 89 130   64 1700 .85 46 11   2.1  68 25   .099 9.2 .75 1.4   72   18    4.8 300 44 4.9 300 44 16   62 220 5.1 320 42 .23 29 1.8
pthread-atomic/time_var_mutex_true-unreach-call.i .21 35 2.2 .18 21 2.0 5.4 340 42 4.0  250 29   3.9 270 27 4.8 320 39 3.3  50 50   14    40 150   900     15000 13000    16     100 210    16     100 230    3.2    250    28      3.8  62 45   7.2 67 100 10   64 140 .87 49 9.8 2.2  73 30   .082 9.1 .88 .19  10   1.9  5.0 300 42 5.0 300 44 26   69 300 5.4 320 37 .21 29 2.0
pthread-ext/25_stack_longer_false-unreach-call.i .19 27 1.8 3.0  790 37   4.9 340 35 4.3  270 28   4.8 320 36 5.5 470 39 .65 76 7.8 73    15000 910   .093 25 1.0  .092 25 .97 .12  25 .93 .0061 .81 .021  1.6  180 18   1.4 67 18 2.0 64 25 3.8  200 41   9.3  170 130   .075 9.2 .76 100     15000   1300    5.4 320 43 5.0 300 44 11   360 130 5.6 330 42 .25 31 2.0
pthread-ext/25_stack_longest_false-unreach-call.i .19 27 1.7 7.7  2300 100   4.9 350 35 4.5  250 30   4.6 300 33 5.8 480 42 .66 76 8.0 73    15000 860   .12  25 .86 .090 25 1.0  .091 25 .95 .0078 .79 .018  3.1  460 33   1.8 86 22 2.3 69 29 3.8  190 45   150    540 1800   .075 9.3 .84 180     15000   2000    5.1 310 41 5.0 310 38 10   370 130 5.4 300 40 .26 29 2.5
pthread-ext/26_stack_cas_longer_false-unreach-call.i .19 27 1.6 5.8  1600 62   5.1 350 37 4.3  260 34   4.6 300 31 5.4 460 43 .68 76 9.2 110    15000 1400   .12  25 .97 .11  25 1.1  .13  25 .96 .0066 .93 .021  1.6  180 19   1.5 70 19 2.1 67 31 4.9  200 61   8.9  190 120   .074 9.5 .98 110     15000   1200    5.2 310 45 5.5 330 49 14   670 180 5.5 320 43 .25 29 2.6
pthread-ext/26_stack_cas_longest_false-unreach-call.i .20 27 1.6 16    4800 170   5.1 350 39 4.4  250 33   4.9 310 35 6.4 460 46 .66 76 9.2 110    15000 1200   .095 25 1.0  .12  25 1.0  .093 25 1.1  .0055 .80 .021  3.1  450 31   1.8 88 24 2.4 69 28 5.1  200 59   130    540 1900   .076 9.4 .81 200     15000   2300    6.3 320 50 5.2 310 45 15   660 200 5.2 300 38 .26 29 2.8
pthread-ext/27_Boop_simple_vf_false-unreach-call.i .19 27 1.6 .27 26 2.6 5.3 340 38 4.1  260 34   4.0 290 33 4.9 320 36 39    1900 490   14    15000 190   12     1200 150    12     1200 160    12     1200 140    .0077 .79 .017  .71 54 9.7 1.3 59 18 1.7 63 23 1.0  60 12   880    440 9000   .080 9.5 .91 480     15000   6700    6.3 330 52 5.5 320 42 16   120 210 5.4 320 44 .25 29 2.2
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i .18 27 1.4 .25 21 2.0 5.7 370 51 7.7  270 56   4.0 280 30 4.8 320 40 .96 130 12   30    15000 300   .12  25 1.0  .11  25 1.1  .12  25 .89 .0075 .83 .0066 .64 51 8.7 1.2 56 15 1.6 62 23 .84 41 11   2.9  88 36   .081 9.6 .97 .43  9.9 5.7  5.0 310 42 6.0 320 48 6.4 110 80 5.0 310 37 .23 29 2.0
pthread-ext/32_pthread5_vs_false-unreach-call.i .19 27 1.6 .42 31 4.8 6.6 480 45 8.4  250 63   4.4 290 34 4.9 340 37 350    14000 4600   900    8300 9000   130     15000 1400    130     15000 1800    4.7   240 56    .0080 .88 .012  .72 51 8.4 1.2 59 15 1.7 65 21 3.2  100 39   4.4  220 51   .10  9.3 .94 28     3600   350    5.4 330 42 5.5 320 42 100   720 1200 5.4 320 40 .26 29 2.1
pthread-ext/40_barrier_vf_false-unreach-call.i .19 27 1.5 .96 40 9.1 4.8 320 39 .27 50 2.3 4.1 290 31 4.5 310 35 260    14000 3400   900    3800 10000   130     15000 1400    120     15000 1400    .15  25 1.3  .0081 .75 .018  1.8  51 22   3.3 58 45 4.6 64 59 8.5  180 97   5.8  110 69   .079 9.3 1.0  57     7000   680    4.7 300 35 5.0 300 45 6.2 61 89 5.0 300 38 .24 29 1.8
pthread-ext/01_inc_true-unreach-call.i .19 27 1.5 850    310 11000   19   3500 150 35    260 270   4.0 290 31 4.6 320 36 900    450 12000   900    2200 11000   900     2200 9200    900     2200 11000    .15  24 1.4  .0073 .75 .021  3.1  53 38   6.2 58 81 9.0 63 130 .82 47 9.3 880    200 11000   .084 9.3 .97 130     15000   1700    5.2 330 45 4.9 310 39 220   91 2600 5.5 320 40 .20 29 1.9
pthread-ext/02_inc_cas_true-unreach-call.i .18 27 1.6 850    400 6200   42   4700 450 4.1  250 27   3.9 280 28 4.5 310 36 900    910 10000   900    2300 9500   900     5100 13000    900     5100 11000    .11  24 1.2  .0083 .67 .018  4.0  58 54   7.5 63 100 11   67 160 .80 45 9.4 880    180 13000   .085 9.2 .84 280     15000   3100    5.2 310 44 5.2 320 44 440   830 5200 5.2 310 45 .23 29 1.9
pthread-ext/03_incdec_true-unreach-call.i .21 27 1.7 850    440 7000   13   2100 100 49    260 380   4.4 290 35 4.8 340 38 370    15000 4500   650    15000 7700   180     15000 2200    180     15000 2300    .46  39 5.2  .0088 .77 .022  4.2  62 49   8.0 68 88 10   67 130 2.0  80 29   880    210 12000   .11  9.2 .79 440     15000   5600    5.0 310 40 4.9 300 43 900   260 12000 5.1 310 43 .31 30 2.9
pthread-ext/04_incdec_cas_true-unreach-call.i .18 27 1.6 850    1700 5200   42   4500 410 4.0  250 29   4.3 290 33 5.0 380 42 900    15000 11000   870    15000 10000   240     15000 3700    240     15000 3000    .29  29 3.7  .0067 .81 .016  7.2  75 96   11   79 140 74   73 1100 1.5  68 19   880    190 11000   .10  9.3 .75 600     15000   7600    6.0 320 48 5.4 320 40 900   1300 11000 5.0 310 36 .26 30 2.4
pthread-ext/05_tas_true-unreach-call.i .19 27 1.6 850    4700 11000   15   3500 120 3.9  250 27   4.6 300 32 4.8 330 42 900    860 12000   900    11000 11000   900     4600 11000    900     4700 10000    .44  28 5.3  .0076 .82 .017  3.9  64 58   8.0 70 95 11   74 140 1.0  49 12   880    200 10000   .080 9.2 .98 130     15000   1400    4.8 300 38 5.1 310 41 900   780 10000 4.9 300 36 .28 29 3.2
pthread-ext/06_ticket_true-unreach-call.i .19 27 1.7 850    200 12000   12   1100 83 39    260 250   4.1 280 32 4.7 330 40 900    400 11000   900    8200 8700   900     2000 13000    900     2000 11000    .49  25 5.9  .0077 .83 .018  3.4  59 40   6.7 63 95 9.7 65 120 .96 51 12   880    270 12000   .098 9.3 .95 180     15000   2300    5.4 310 46 4.9 310 39 900   540 12000 5.9 330 42 .22 29 1.9
pthread-ext/07_rand_true-unreach-call.i .21 27 1.6 850    810 7200   26   4100 230 37    260 340   4.5 290 30 4.8 340 41 900    14000 12000   130    15000 1300   150     15000 2200    150     15000 1900    .14  25 1.2  .0078 .72 .014  4.3  65 54   8.1 68 110 71   70 940 1.3  59 16   880    220 11000   .11  9.2 .90 720     15000   9100    4.8 300 39 5.0 300 39 900   1300 11000 5.2 310 40 .22 29 2.1
pthread-ext/08_rand_cas_true-unreach-call.i .19 27 1.5 850    4700 10000   33   4300 350 4.6  260 30   4.6 310 33 5.4 390 41 900    15000 11000   430    15000 5100   290     15000 3400    290     15000 4300    .11  25 1.2  .0090 .86 .030  5.5  71 65   9.8 78 120 73   77 900 1.3  58 18   880    210 10000   .083 9.3 .99 16     670   220    5.2 310 45 4.9 300 39 900   2300 8900 5.5 320 46 .24 30 2.2
pthread-ext/09_fmaxsym_true-unreach-call.i .19 27 1.7 850    3900 12000   46   4400 440 40    340 330   4.2 290 30 4.7 330 38 400    15000 5300   52    15000 580   180     15000 2400    180     15000 2100    .35  30 3.8  .0079 .66 .020  5.4  85 62   11   92 140 13   82 170 3.9  130 46   880    160 12000   .099 9.2 .85 .68  10   8.3  4.7 300 41 6.4 320 48 900   380 11000 4.8 310 37 .22 30 2.2
pthread-ext/10_fmaxsym_cas_true-unreach-call.i .19 27 1.6 850    3200 10000   17   2000 130 12    260 77   4.2 300 32 4.9 340 38 540    15000 7400   190    15000 2400   480     15000 6300    480     15000 6000    .22  25 2.0  .0076 .77 .021  6.0  96 86   14   120 180 17   120 220 2.5  110 31   880    190 11000   .080 9.3 .84 .71  10   10    5.5 320 42 4.9 310 42 660   890 7900 5.2 310 36 .29 30 2.0
pthread-ext/11_fmaxsymopt_true-unreach-call.i .20 27 1.6 850    350 6700   12   990 91 44    260 380   4.5 300 30 4.9 320 41 530    15000 7700   22    15000 240   490     15000 5500    490     15000 6000    .23  25 2.5  .0047 .82 .018  4.5  76 69   8.7 82 96 12   76 150 2.0  110 25   880    230 11000   .083 9.3 .78 .12  10   1.1  5.0 310 44 5.0 310 41 900   400 14000 5.2 310 41 .22 30 2.3
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i .18 27 2.1 850    3200 10000   8.0 440 52 12    260 86   4.6 300 34 4.9 330 38 600    15000 7200   23    15000 270   270     15000 3800    270     15000 3600    .26  28 2.4  .0088 .80 .013  5.1  81 71   9.4 87 130 13   81 160 1.6  91 19   880    190 11000   .11  9.3 .93 .096 10   .96 6.0 340 50 5.1 310 42 430   550 5500 5.0 310 38 .26 29 2.0
pthread-ext/13_unverif_true-unreach-call.i .18 27 1.6 850    7300 5400   14   1100 100 35    260 310   4.1 280 32 4.4 300 38 900    360 9900   900    2200 12000   900     2100 11000    900     2100 10000    .094 24 1.1  .0079 .78 .018  2.9  55 37   6.1 58 86 8.8 63 110 .77 47 8.7 880    200 11000   .11  9.4 .80 130     15000   1700    5.5 320 42 5.0 310 42 37   130 490 4.9 310 38 .20 29 2.0
pthread-ext/14_spin2003_true-unreach-call.i .22 27 1.3 850    210 6800   6.4 430 50 34    260 220   4.0 280 29 4.3 300 38 900    510 12000   900    2200 10000   900     2300 12000    900     2400 13000    .13  25 1.7  .0075 .84 .015  2.8  52 35   5.8 57 80 8.6 63 120 .76 46 8.9 890    790 9500   .080 9.2 1.0  110     15000   1400    5.4 320 39 5.7 330 42 80   60 1000 5.0 310 36 .22 29 1.8
pthread-ext/15_dekker_true-unreach-call.i .21 27 1.5 850    900 10000   4.3 320 36 37    260 280   4.2 280 28 4.9 330 40 130    100 1500   340    15000 4600   900     1000 11000    900     1100 12000    .30  25 3.0  900      15000    11000      3.7  56 46   7.2 61 93 69   64 1100 .80 46 8.7 2.5  79 33   .099 9.2 .88 .22  10   1.7  4.8 330 37 4.9 300 42 270   350 3800 6.0 360 43 .23 29 1.9
pthread-ext/16_peterson_true-unreach-call.i .18 27 2.1 .45 22 3.9 4.5 340 41 4.0  250 24   4.3 290 35 4.8 320 36 1.0  76 12   3.4  190 41   .098 25 .85 .12  25 .79 .11  24 .94 27      730    260      3.3  55 43   6.6 62 91 69   66 1100 .78 45 11   2.3  79 33   .097 9.4 .88 .15  10   1.6  6.0 330 46 5.2 310 45 93   300 1200 5.1 300 37 .21 29 1.9
pthread-ext/17_szymanski_true-unreach-call.i .19 27 1.7 850    890 11000   4.7 350 36 960    3800 13000   4.4 290 33 5.3 380 41 900    980 12000   9.5  15000 110   900     2000 12000    900     2000 13000    5.2   33 59    .0062 .82 .019  3.7  57 51   7.5 62 91 70   66 1000 .77 45 9.5 2.4  81 34   .11  9.2 .93 9.9   750   110    5.3 320 37 5.3 320 47 150   170 2400 5.1 310 38 .40 52 3.7
pthread-ext/18_read_write_lock_true-unreach-call.i .18 27 1.6 .40 22 4.3 4.7 350 32 4.0  250 30   4.0 280 30 4.4 300 36 .98 49 13   .18 25 1.8 900     6000 12000    .090 25 .98 .091 24 1.1  11      520    78      2.9  56 40   6.0 60 73 8.8 64 120 .77 48 9.4 2.3  76 26   .083 9.3 .83 .092 10   .51 5.0 300 44 5.0 300 41 7.7 45 96 5.5 320 41 .19 29 1.9
pthread-ext/19_time_var_mutex_true-unreach-call.i .18 27 1.4 .46 23 4.1 4.4 340 33 4.2  250 29   4.0 280 28 5.1 350 46 1.0  50 13   .19 25 1.9 900     9000 11000    .091 25 1.3  .12  25 .96 7.9    370    58      3.3  55 43   6.5 60 92 9.6 64 120 1.0  53 11   2.6  71 40   .10  9.3 .95 .099 9.8 .74 5.0 310 39 5.3 310 46 18   67 250 5.8 320 44 .20 29 2.2
pthread-ext/20_lamport_true-unreach-call.i .19 27 1.5 .90 26 9.1 5.2 330 44 53    960 510   4.4 290 32 5.7 400 47 10    160 120   160    15000 2000   900     1300 11000    900     1500 12000    900     2000 11000    .0076 .69 .011  5.3  61 64   9.4 65 110 72   67 1000 .92 48 11   2.6  88 30   .098 9.2 .91 .28  25   3.5  5.5 330 37 4.9 300 42 900   450 12000 5.0 310 40 .22 30 2.2
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i .19 27 1.6 .41 21 3.9 4.3 320 35 3.9  250 29   4.3 290 35 4.7 350 39 49    76 570   .16 25 1.9 900     1600 12000    240     15000 3200    .14  25 1.2  25      730    250      3.2  57 39   6.5 62 81 9.5 66 120 .92 51 11   2.6  82 35   .083 9.2 .84 .098 9.9 .82 5.5 330 44 4.9 300 39 7.7 50 110 5.5 320 41 .20 29 1.9
pthread-ext/25_stack_longer_true-unreach-call.i .20 27 1.5 850    8200 9500   260   6400 3300 4.4  260 30   4.5 310 34 5.7 430 47 900    890 10000   85    15000 1000   900     5000 11000    900     5000 10000    .25  25 3.3  .0077 .73 .015  21    1200 300   17   280 240 19   270 260 2.9  160 31   880    300 13000   .073 9.3 .86 99     15000   1000    5.8 330 39 5.0 310 40 900   900 10000 5.4 320 39 .34 30 3.5
pthread-ext/25_stack_longest_true-unreach-call.i .22 27 1.5 850    4100 11000   250   6400 3200 4.3  260 35   4.6 320 35 5.9 470 48 900    970 12000   86    15000 1200   900     5000 10000    900     5100 10000    .26  25 2.9  .0075 .81 .012  54    3200 530   43   740 570 44   710 490 2.7  160 34   880    590 9100   .074 9.3 .93 170     15000   2000    5.9 320 40 5.3 300 40 900   900 10000 5.0 320 39 .40 30 3.8
pthread-ext/25_stack_true-unreach-call.i .21 27 1.7 850    10000 11000   250   6400 3400 4.3  270 30   5.3 330 40 5.3 420 44 900    910 10000   84    15000 1000   900     4800 11000    900     4800 11000    .26  25 2.9  .0078 .66 .018  7.6  160 110   11   81 140 14   77 160 3.4  160 43   880    220 9800   .11  9.4 .91 100     15000   1200    4.9 300 38 5.9 330 48 900   810 11000 5.0 310 34 .36 30 3.8
pthread-ext/26_stack_cas_longer_true-unreach-call.i .18 27 1.8 850    3100 11000   290   6500 3100 4.5  260 29   4.7 300 37 5.8 470 50 900    840 11000   130    15000 1500   900     5000 12000    900     4900 10000    900     10000 10000    .0058 .60 .014  28    1300 290   20   360 250 22   330 290 3.5  160 41   880    310 12000   .10  9.3 .74 110     15000   1300    5.1 300 40 5.2 300 40 900   1100 12000 5.1 310 36 .30 30 3.5
pthread-ext/26_stack_cas_longest_true-unreach-call.i .17 27 1.9 850    4800 11000   290   6500 3400 4.4  260 29   4.6 290 33 6.3 440 48 900    930 11000   130    15000 1700   900     4900 11000    900     4900 12000    900     10000 10000    .0076 .86 .019  71    3600 790   49   950 530 49   920 550 4.5  170 63   880    630 12000   .077 9.4 .85 200     15000   2200    5.2 310 41 5.1 310 42 900   1100 9200 5.8 340 42 .32 30 3.2
pthread-ext/26_stack_cas_true-unreach-call.i .23 27 1.5 850    3000 8400   290   6500 3400 4.2  260 34   4.5 290 35 6.2 460 50 900    850 12000   120    15000 1500   900     4600 11000    900     4600 12000    900     9800 12000    .0063 .81 .017  9.5  180 110   13   100 160 16   80 200 4.1  160 44   880    220 12000   .084 9.3 .92 120     15000   1400    4.9 310 46 5.5 320 45 900   1100 9500 5.2 320 43 .32 31 3.4
pthread-ext/29_conditionals_vs_true-unreach-call.i .20 27 1.7 850    1700 6200   6.4 420 48 35    260 260   4.1 280 32 4.6 310 40 340    14000 4300   900    11000 13000   130     15000 1800    130     15000 1500    .14  25 1.8  .0065 .67 .014  3.0  55 33   6.2 59 67 9.0 64 130 .70 45 9.1 890    850 12000   .11  9.3 .95 94     15000   1100    5.2 300 41 5.1 300 45 18   78 240 4.9 310 40 .22 28 1.8
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i .19 27 1.7 850    2100 5500   6.6 500 51 3.8  260 28   4.1 300 32 5.0 320 44 900    1500 12000   900    2400 9800   140     15000 1600    140     15000 1800    1.2   110 15    .0083 .79 .019  3.3  57 42   6.6 63 88 9.5 64 110 .83 46 9.8 880    210 13000   .082 9.2 .97 .12  10   1.4  6.0 350 44 4.8 300 38 6.5 53 98 5.1 310 43 .21 29 2.0
pthread-ext/31_simple_loop5_vs_true-unreach-call.i .18 27 1.6 850    1600 3800   10   1100 92 140    2900 1500   4.1 280 33 4.8 310 40 900    800 11000   900    8800 8700   900     4800 10000    900     4800 11000    710     15000 8500    .0065 .76 .024  3.2  56 40   6.6 62 79 9.4 66 130 1.7  65 17   880    290 10000   .087 9.3 .81 71     15000   940    5.2 340 37 4.9 300 41 900   540 12000 4.9 310 35 .43 29 4.5
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i .19 27 1.8 850    310 8200   7.3 470 57 4.1  250 27   4.5 290 35 5.2 340 42 900    1400 14000   900    2500 10000   270     15000 3200    270     15000 3500    1.0   49 14    .0064 .76 .012  3.7  60 57   7.4 63 92 11   66 140 1.7  64 20   880    170 12000   .099 9.3 1.0  330     15000   3800    5.8 320 47 5.4 330 42 900   350 10000 4.9 300 38 .29 29 2.7
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i .20 27 1.7 850    320 9500   7.2 530 58 4.0  260 32   4.5 300 32 5.1 350 42 900    1300 9500   900    2500 8600   260     15000 3100    260     15000 3200    1.1   51 12    .0052 .90 .020  3.7  61 48   7.4 63 92 10   66 130 1.6  65 20   880    250 10000   .081 9.7 .84 320     15000   4400    5.5 320 39 5.0 300 35 900   320 11000 5.6 320 44 .24 29 2.7
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i .18 27 1.7 850    310 7600   7.1 550 61 3.8  250 26   4.2 290 31 4.8 330 37 900    1200 11000   900    2500 10000   280     15000 3400    280     15000 3000    .88  44 11    .0052 .85 .018  3.4  58 42   6.9 62 95 9.8 64 120 .93 54 12   880    280 11000   .084 9.3 .91 640     15000   7700    5.8 330 41 5.1 310 43 900   560 11000 4.9 300 40 .25 30 1.9
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i .20 27 1.5 850    4400 11000   7.1 500 55 4.1  250 27   4.3 290 31 4.7 350 37 900    740 10000   900    9000 11000   900     4300 10000    900     4400 13000    550     15000 6900    .0044 .73 .026  5.4  150 74   9.7 150 120 13   130 180 2.5  100 26   880    250 10000   .080 9.4 .97 120     15000   1300    5.0 310 43 5.3 320 42 420   750 5500 5.2 310 40 .23 29 2.3
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i .19 27 1.6 850    8400 4900   6.9 540 52 960    730 8300   4.4 290 34 4.8 330 35 900    690 11000   900    2200 9700   900     2400 13000    900     2400 11000    1.9   87 21    .0065 .66 .015  5.0  120 62   7.8 74 110 11   67 130 3.5  120 41   880    210 9600   .10  9.5 .83 180     15000   2600    5.2 300 43 5.0 310 44 120   330 1400 5.8 320 44 .21 28 2.1
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i .18 27 1.9 850    9300 10000   14   2000 120 960    5400 7200   4.2 290 28 4.8 350 44 900    15000 11000   490    15000 5600   250     15000 3100    250     15000 3900    .17  25 1.7  .0076 .77 .016  4.0  63 46   7.6 68 95 11   70 140 .75 46 8.2 890    710 9500   .10  9.3 .81 900     690   12000    5.8 320 47 5.2 300 42 69   620 790 5.4 310 39 .23 29 1.9
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i .20 27 1.6 850    2200 7200   11   1100 91 34    260 280   4.3 300 32 4.6 320 37 900    14000 12000   75    15000 790   150     15000 2000    150     15000 2100    .11  25 1.4  .0063 .77 .020  3.3  56 40   6.6 63 94 9.6 65 150 .84 48 8.8 880    180 12000   .083 9.4 .98 1.2   21   15    4.9 300 41 5.4 310 42 88   390 1100 5.0 310 40 .21 29 2.0
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i .22 27 1.7 850    4100 8800   14   1600 100 .31 50 2.5 4.7 300 35 5.1 410 36 900    620 13000   240    15000 2800   900     1400 12000    900     1500 9900    .16  25 1.8  .0056 .89 .027  23    79 290   30   110 320 90   85 1300 71    480 690   880    190 13000   .083 9.6 .94 34     160   460    5.6 310 41 5.1 300 38 900   1900 12000 5.3 320 38 3.0  840 34  
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i .20 27 1.6 850    2200 8300   62   5500 680 .31 50 2.3 4.8 310 31 5.7 440 46 900    1100 11000   240    15000 2800   900     2200 9600    900     2300 11000    2.3   36 31    .0057 .84 .012  20    83 240   27   110 310 88   85 1200 71    470 820   880    180 10000   .11  9.3 .93 900     5000   14000    5.0 300 43 5.1 310 45 900   1200 11000 6.2 330 46 4.0  1100 42  
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i .20 28 1.7 850    1500 8400   190   5700 2500 .29 51 2.6 5.2 400 40 7.1 460 57 560    15000 6300   420    15000 4400   570     15000 6100    600     15000 7900    2.4   110 31    .0081 .82 .014  150    180 2100   350   420 3600 160   160 2000 72    850 830   880    240 12000   .084 9.5 1.1  .32  10   3.4  5.2 300 41 5.1 310 41 70   15000 850 5.5 330 41 16    1400 160  
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i .22 27 1.6 850    3500 9900   21   4200 180 .34 50 2.6 5.2 360 41 6.7 440 54 900    15000 11000   900    6100 9100   340     15000 4500    340     15000 4400    .24  26 2.5  .0047 .75 .017  97    130 1200   100   130 1100 100   110 1400 71    590 640   880    190 13000   .10  9.4 .98 .22  10   2.3  5.1 310 39 5.0 310 40 900   3900 7500 5.3 320 39 1.4  240 14  
pthread-ext/45_monabsex1_vs_true-unreach-call.i .18 27 1.7 850    5500 4600   6.3 440 50 30    250 240   3.9 280 32 4.2 310 33 900    450 10000   900    2300 10000   900     1000 11000    900     1000 10000    .35  24 3.9  .0068 .70 .016  2.7  53 40   5.6 58 67 8.3 63 99 .54 38 6.3 880    420 9700   .083 9.2 .84 510     15000   7400    5.6 330 49 4.7 310 41 10   48 120 5.2 310 36 .21 28 1.8
pthread-ext/46_monabsex2_vs_true-unreach-call.i .20 27 1.6 850    4700 4900   7.1 440 56 .32 50 2.6 4.0 280 29 4.0 300 36 900    390 11000   900    2300 9700   900     1300 12000    900     1300 12000    1.2   24 15    .0043 .80 .025  2.7  52 30   5.8 57 74 8.3 62 110 .39 20 5.0 880    160 11000   .078 9.1 .93 330     15000   4300    5.7 310 38 4.9 330 42 6.0 38 80 5.5 320 43 .20 29 1.5
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i .19 27 1.7 850    2200 4400   11   1300 83 34    250 260   13   910 130 95   2300 1100 900    850 14000   900    10000 9400   900     3400 12000    900     3500 10000    .13  25 1.0  .0072 .83 .017  4.7  61 55   8.9 70 120 71   74 1000 1.5  54 17   890    780 8500   .082 9.3 .85 150     15000   2000    5.0 310 39 5.1 310 41 900   900 11000 5.2 310 41 .37 29 4.1
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i .19 27 1.8 850    240 10000   8.5 700 59 33    260 250   4.4 290 31 4.9 330 43 900    540 11000   900    3800 9900   900     2400 12000    900     2400 12000    .10  25 1.3  9.2    600    81      3.7  60 49   7.2 63 89 10   64 110 1.3  52 16   890    780 7700   .11  9.4 .79 140     15000   1600    5.2 310 42 4.9 300 44 410   190 5200 6.7 360 46 .21 29 2.1
pthread-wmm/mix000_power.oepc_false-unreach-call.i .23 28 1.5 .39 33 4.2 6.3 390 44 15    270 130   6.3 450 49 15   800 120 3.1  71 36   8.8  31 120   .75  43 8.0  .78  43 8.9  .77  42 9.7  4.0    300    34      1.1  57 13   1.7 64 23 2.6 72 31 1.3  92 15   18    1700 220   .096 9.7 .98 89     5400   1100    5.2 310 36 4.9 300 38 12   72 150 5.1 300 38 .38 30 3.9
pthread-wmm/mix000_power.opt_false-unreach-call.i .19 28 1.9 .35 31 4.9 6.2 410 53 14    260 130   6.1 460 49 14   600 98 3.5  58 38   11    27 130   .96  26 11    .93  26 12    .97  26 13    3.5    270    30      1.1  56 14   1.7 64 26 2.5 70 31 1.2  86 13   12    1600 150   .096 9.6 1.1  63     2200   800    5.0 300 43 5.0 300 44 13   72 160 5.5 320 43 .40 30 3.8
pthread-wmm/mix000_pso.oepc_false-unreach-call.i .21 28 1.9 .38 32 4.5 6.5 390 55 14    260 140   6.4 500 51 15   750 110 3.2  70 44   8.8  32 120   .75  43 10    .78  43 9.8  .75  43 8.9  3.5    280    29      1.1  57 17   1.8 63 21 2.6 72 34 1.3  89 14   18    1600 250   .12  9.8 1.1  89     5400   1300    5.2 310 41 5.5 310 41 16   73 210 5.0 300 39 .40 30 3.7
pthread-wmm/mix000_pso.opt_false-unreach-call.i .19 28 1.6 .34 30 4.8 6.6 410 55 14    260 160   6.0 450 46 13   600 97 3.5  58 51   11    27 130   .94  26 14    .95  26 11    .96  26 11    3.4    270    31      1.1  56 14   1.7 66 23 2.5 70 30 1.2  87 16   12    1500 160   .12  9.9 1.1  63     2200   880    5.1 300 36 4.8 300 40 14   72 170 5.1 310 39 .35 30 4.0
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i .22 28 1.8 .38 32 4.5 6.7 400 51 14    260 150   6.4 490 51 14   800 110 3.2  70 38   8.8  32 120   .78  43 9.9  .76  43 9.3  .75  43 9.4  3.8    280    30      1.1  56 14   1.8 65 24 2.6 72 34 1.2  89 16   18    1600 240   .096 9.7 .99 89     5400   1100    5.2 300 40 5.4 310 46 14   72 190 5.2 310 41 .38 30 4.7
pthread-wmm/mix000_rmo.opt_false-unreach-call.i .20 28 1.6 .34 31 3.4 6.1 400 50 14    260 140   6.4 700 44 14   610 100 3.5  58 54   11    27 140   .96  26 11    .93  26 14    .93  26 12    3.6    280    29      1.0  56 11   1.7 65 22 2.5 70 40 1.2  86 13   12    1600 150   .096 9.9 1.2  63     2200   790    4.9 300 38 5.1 310 39 14   72 170 5.2 310 41 .37 30 3.5
pthread-wmm/mix000_tso.oepc_false-unreach-call.i .22 28 1.4 .41 32 3.6 5.6 400 42 14    260 170   6.2 450 44 15   790 110 3.1  70 35   8.8  31 130   .77  43 10    .78  43 9.6  .75  42 9.1  4.0    300    32      1.1  57 16   1.8 66 23 2.6 70 33 1.3  90 14   18    1600 200   .12  9.8 1.0  89     5400   1200    4.8 300 43 5.3 300 36 14   75 180 4.9 310 40 .41 30 3.9
pthread-wmm/mix000_tso.opt_false-unreach-call.i .23 28 1.6 .32 31 3.8 6.2 400 49 14    260 140   6.0 470 48 15   590 110 3.5  58 41   11    27 160   .97  26 11    .97  26 13    .93  26 11    4.0    290    33      1.0  56 13   1.7 63 24 2.5 70 32 1.2  86 14   12    1500 140   .096 9.8 1.0  63     2200   750    6.3 330 47 4.9 300 42 13   72 170 4.9 310 40 .38 30 3.8
pthread-wmm/mix001_power.oepc_false-unreach-call.i .20 28 1.8 .70 36 8.2 8.5 650 62 36    460 340   6.3 540 47 22   1000 180 140    1400 2000   660    540 9400   47     750 690    48     750 710    48     740 660    4.0    320    34      1.2  60 16   1.9 68 24 2.8 75 37 1.7  120 19   46    6000 670   .12  9.8 1.1  310     15000   3700    5.1 310 42 5.5 320 46 27   82 370 4.9 300 36 .63 30 7.8
pthread-wmm/mix001_power.opt_false-unreach-call.i .24 28 1.5 .39 33 4.6 12   1000 88 26    380 260   6.4 450 45 43   1800 300 83    290 1100   400    220 4900   29     190 420    29     190 390    29     180 300    3.6    290    31      1.2  59 13   1.8 66 26 2.7 70 40 1.5  110 17   29    4200 340   .099 9.8 1.2  180     15000   2300    5.7 340 40 5.2 300 39 25   82 350 5.4 310 43 .39 30 3.3
pthread-wmm/mix001_pso.oepc_false-unreach-call.i .20 28 1.9 .40 37 4.9 9.2 640 64 35    470 420   6.5 450 52 22   1100 160 140    1400 1700   660    540 9400   48     750 670    48     750 620    48     740 560    3.9    310    33      1.2  60 16   1.9 68 24 2.9 75 36 1.7  120 18   46    5900 570   .12  9.8 .81 310     15000   4000    5.3 330 45 5.0 300 39 32   84 390 5.4 310 42 .61 30 6.9
pthread-wmm/mix001_pso.opt_false-unreach-call.i .21 29 1.7 .37 31 4.2 11   1000 84 27    390 330   6.5 450 49 39   1700 310 82    290 1000   390    230 5400   29     190 410    29     190 370    29     190 360    3.9    300    35      1.1  59 15   1.8 66 23 2.7 72 33 1.5  110 18   30    4200 410   .10  9.6 1.1  180     15000   2200    5.4 310 45 5.5 330 36 27   81 300 5.8 320 39 .35 30 4.1
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i .22 28 2.1 .42 38 4.4 8.2 660 68 36    470 420   6.5 450 49 21   1100 150 140    1400 2000   660    540 8200   48     750 660    48     750 540    47     750 490    3.7    310    31      1.2  60 17   1.9 68 23 2.9 75 41 1.7  120 18   46    5900 580   .12  9.9 1.0  300     15000   3800    5.7 320 50 5.0 300 38 31   85 390 5.5 320 38 .64 30 7.0
pthread-wmm/mix001_rmo.opt_false-unreach-call.i .21 28 1.7 .39 32 4.1 12   1000 95 26    390 340   6.2 450 44 45   1900 360 83    290 1100   390    220 5700   29     190 360    29     190 350    29     190 380    3.5    280    26      1.1  58 16   1.8 64 24 2.7 72 34 1.5  110 17   30    4200 360   .10  9.9 .98 180     15000   2300    5.1 300 46 5.0 310 35 23   81 280 5.2 310 35 .36 30 3.8
pthread-wmm/mix001_tso.oepc_false-unreach-call.i .21 28 1.7 .41 38 4.7 9.5 650 68 35    470 340   6.3 530 45 23   1100 150 140    1400 1900   660    540 8600   47     750 650    48     750 550    48     740 570    3.8    300    31      1.2  60 18   1.9 68 24 2.8 75 40 1.7  120 23   46    5900 540   .13  9.7 1.1  310     15000   4000    5.2 310 44 5.3 320 36 28   82 340 5.8 330 47 .65 31 7.6
pthread-wmm/mix001_tso.opt_false-unreach-call.i .22 28 1.9 .38 31 4.2 12   1000 89 27    390 260   6.3 460 50 43   1900 290 82    290 890   400    220 4300   29     190 360    29     190 350    29     190 350    3.7    280    29      1.1  59 16   1.8 64 23 2.7 72 33 1.5  110 17   29    4200 430   .10  9.7 1.2  180     15000   2300    5.5 330 45 5.2 300 40 32   84 390 5.7 330 44 .35 30 4.1
pthread-wmm/mix002_power.oepc_false-unreach-call.i .19 28 2.2 .39 33 4.3 7.6 520 61 21    350 230   5.9 450 40 16   820 130 94    230 1100   480    240 5900   33     160 400    33     160 420    33     150 370    3.7    280    32      1.1  58 14   1.7 65 25 2.6 73 29 1.5  100 18   33    3800 490   .12  9.8 .96 160     15000   1900    5.4 340 43 6.1 330 40 23   80 280 5.7 320 45 .61 30 6.6
pthread-wmm/mix002_power.opt_false-unreach-call.i .21 28 2.1 .37 31 5.2 13   1100 97 27    400 280   6.1 450 47 47   2000 350 88    300 1200   430    240 5500   31     200 390    31     200 360    31     190 380    3.8    290    32      1.2  59 14   1.8 66 22 2.7 72 37 1.6  110 19   29    4300 400   .13  10   1.1  180     15000   2600    4.7 300 40 5.8 340 43 30   83 410 5.9 330 39 .40 30 3.8
pthread-wmm/mix002_pso.oepc_false-unreach-call.i .21 28 1.9 .39 33 4.1 7.6 510 61 22    350 240   6.1 430 43 18   800 140 94    230 1100   480    240 6400   33     160 440    33     160 380    33     150 420    3.4    270    28      1.1  58 14   1.7 67 23 2.5 73 33 1.5  100 18   33    3800 400   .11  9.9 1.0  160     15000   2200    5.3 330 37 5.3 310 43 23   78 270 5.5 320 41 .61 30 7.3
pthread-wmm/mix002_pso.opt_false-unreach-call.i .20 28 1.9 .38 31 4.8 13   1100 98 27    400 310   6.2 450 54 40   1700 280 88    300 1100   430    240 5300   31     200 420    31     200 400    31     190 360    3.7    300    32      1.1  58 16   1.8 64 23 2.7 72 34 1.6  110 18   29    4200 380   .13  9.9 1.1  180     15000   2200    5.3 310 46 5.5 330 45 28   82 370 5.1 300 37 .40 32 4.0
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i .22 28 1.7 .41 33 4.0 8.2 520 61 22    340 250   5.9 430 42 16   830 130 94    220 1300   480    240 6000   34     160 380    33     160 380    34     150 380    3.7    290    32      1.1  58 13   1.7 67 25 2.6 73 31 1.5  110 17   33    3800 430   .095 9.8 .95 160     15000   1900    6.1 330 49 5.1 310 39 25   79 300 5.0 310 40 .59 30 6.8
pthread-wmm/mix002_rmo.opt_false-unreach-call.i .22 28 1.7 .39 32 4.5 13   1100 100 27    400 290   6.5 460 47 42   1900 270 88    300 1100   430    240 5000   31     200 390    31     200 370    31     190 400    3.5    280    27      1.2  58 14   1.8 66 22 2.7 72 38 1.6  110 17   29    4400 370   .13  9.7 1.0  180     15000   2300    4.8 300 38 5.0 300 37 26   83 380 5.8 320 44 .41 30 3.8
pthread-wmm/mix002_tso.oepc_false-unreach-call.i .21 28 1.6 .40 33 3.9 7.4 520 60 22    340 250   5.8 430 45 17   860 130 94    230 1100   480    240 6200   33     160 420    33     160 410    34     150 400    4.1    280    33      1.1  58 12   1.7 64 22 2.6 73 32 1.5  110 17   33    3800 420   .11  9.8 1.0  160     15000   1800    5.2 310 46 5.4 310 43 24   79 300 5.1 300 41 .60 30 6.9
pthread-wmm/mix002_tso.opt_false-unreach-call.i .20 28 1.8 .41 31 4.4 13   1100 99 27    400 290   6.5 500 50 45   2100 330 88    300 1100   430    240 5900   31     200 450    31     200 400    31     190 470    3.8    280    32      1.1  59 15   1.8 66 25 2.7 70 38 1.6  110 20   29    4200 410   .096 9.8 1.0  180     15000   2500    5.1 310 44 5.0 300 38 29   82 340 5.8 330 46 .39 30 4.8
pthread-wmm/mix003_power.oepc_false-unreach-call.i .21 28 1.4 .44 32 4.3 7.4 500 59 17    300 220   5.7 430 41 18   840 130 82    220 1200   420    220 5200   29     150 330    29     150 360    30     150 350    3.7    290    33      1.1  60 13   1.7 66 20 2.6 70 33 1.3  98 15   39    3300 500   .12  9.7 1.1  150     15000   2100    5.9 320 49 5.2 300 43 24   77 270 5.1 320 41 .72 31 8.4
pthread-wmm/mix003_power.opt_false-unreach-call.i .19 28 2.2 .46 33 4.8 11   920 93 22    350 270   6.2 500 48 39   1700 290 77    280 950   370    210 5000   27     180 310    27     180 350    27     180 370    3.6    270    30      1.1  58 14   1.8 66 24 2.7 73 34 1.5  100 16   30    3900 320   .099 9.8 1.0  180     15000   2200    5.4 310 40 5.0 310 45 23   79 320 6.4 320 41 .31 30 3.2
pthread-wmm/mix003_pso.oepc_false-unreach-call.i .23 28 1.7 .39 32 3.5 7.6 510 63 17    300 160   5.7 430 47 20   800 150 83    220 1000   420    220 5700   29     150 340    29     150 340    30     140 410    4.0    290    30      1.1  57 14   1.7 63 25 2.5 70 36 1.3  100 14   39    3300 470   .12  9.7 1.1  150     15000   2300    5.9 320 45 5.0 310 40 20   75 260 5.1 310 43 .73 30 7.4
pthread-wmm/mix003_pso.opt_false-unreach-call.i .20 29 1.7 .46 32 5.9 12   920 98 22    350 230   6.0 450 45 45   1800 270 77    280 870   360    210 4600   27     180 350    27     180 300    27     180 320    3.9    290    31      1.1  58 16   1.8 64 25 2.7 73 32 1.4  100 16   30    3900 360   .12  9.9 .93 180     15000   2500    4.7 300 42 5.0 300 35 30   81 400 5.1 300 36 .32 31 3.3
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i .19 28 1.6 .40 32 4.5 8.4 510 58 17    300 190   5.6 440 46 17   850 130 83    220 1100   420    220 5300   29     150 380    29     150 410    29     150 400    4.0    290    32      1.0  58 12   1.7 63 23 2.5 72 30 1.3  99 14   40    3300 550   .12  9.7 .87 150     15000   2000    5.5 310 43 5.2 310 46 20   76 230 5.6 320 46 .72 30 8.0
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i .21 28 1.8 .40 32 4.1 11   920 88 22    350 220   6.5 450 45 39   1700 250 77    280 960   370    210 5000   27     180 360    27     180 360    27     180 330    3.8    300    34      1.1  58 14   1.8 64 27 2.7 71 35 1.4  100 16   30    3900 360   .12  9.9 1.1  180     15000   2600    5.0 300 44 5.3 310 43 28   81 320 5.2 320 40 .33 30 3.0
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i .22 28 1.7 .46 32 5.2 11   910 89 22    350 230   6.2 460 48 40   1700 280 77    280 900   360    210 4400   27     180 340    27     180 370    27     180 320    3.8    300    36      1.1  58 13   1.8 64 20 2.6 71 33 1.5  100 18   31    3900 380   .10  9.7 1.1  180     15000   2200    5.0 300 42 5.6 300 45 24   80 280 5.1 300 41 .31 30 3.2
pthread-wmm/mix003_rmo.opt_false-unreach-call.i .21 28 1.9 .47 32 4.9 11   920 96 22    350 220   6.6 490 48 40   1700 260 77    280 970   370    210 4600   27     180 360    27     180 360    27     180 330    3.8    280    30      1.1  58 17   1.8 66 25 2.7 73 34 1.5  100 17   30    3900 390   .12  9.8 .95 180     15000   2400    5.0 310 38 5.0 310 46 26   80 320 6.0 330 45 .34 30 3.2
pthread-wmm/mix003_tso.oepc_false-unreach-call.i .19 28 2.2 .39 33 3.7 7.4 510 57 17    300 170   5.6 450 42 16   830 120 83    220 1200   420    220 5100   29     150 410    29     150 390    29     140 360    4.1    300    37      1.0  58 12   1.8 66 23 2.5 72 32 1.3  100 16   39    3300 460   .094 9.9 1.0  150     15000   1700    5.1 310 41 5.0 300 40 23   77 280 5.3 320 44 .72 30 7.9
pthread-wmm/mix003_tso.opt_false-unreach-call.i .20 29 1.7 .46 32 6.2 13   920 98 22    350 230   6.5 460 50 41   1700 350 77    270 1000   360    210 4500   27     180 390    27     180 400    27     180 330    3.7    290    34      1.1  58 16   1.8 66 25 2.7 73 35 1.5  100 17   30    3900 390   .12  9.8 1.0  180     15000   2300    5.3 330 43 5.1 320 40 26   81 360 5.3 310 39 .32 30 3.2
pthread-wmm/mix004_power.oepc_false-unreach-call.i .24 28 2.1 .49 36 5.0 15   1600 130 36    480 420   5.5 450 41 28   1500 190 900    3600 10000   900    1100 12000   900     4400 12000    900     4400 9800    900