Tool 2LS 0.5.0 CBMC 5.6 Ceagle Ceagle 1.3 @ 53cfa89 CIVL ConSequence CPAchecker 1.6.1-svn 23987 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 Lazy-CSeq 1.0-svcomp17 Lazy-CSeq-Abs 0.1-svcomp17 Lazy-CSeq-Swarm 0.1svcomp2017 Mu-CSeq 0.4 SVCOMP17 skink 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-11 10:37:13 CET 2017-01-10 17:21:21 CET 2017-01-10 19:36:00 CET 2017-01-11 10:37:47 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 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-13 12:42:30 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 ceagle.sv-comp17 civl.sv-comp17 consequence.sv-comp17 cpa-bam-bnb.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 lazycseq.sv-comp17 lazycseqabs.sv-comp17 lazycseqswarm.sv-comp17 mucseq.sv-comp17 skink.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 --compiler clang-3.7 verify -svcomp17 -sv-comp17-bam-bnb -disable-java-assertions -heap 10000m -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) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
pthread/bigshot_p_false-unreach-call.i error (5) .19 29 1.9 0 error (1) .20 22 1.9 0 unknown .039 8.3 .19 0 false(unreach-call) 4.9 370 37 1 true 34    260 270   -32 error 3.2 280 28 0 error 4.6 420 32 0 error 4.9 420 39 0 false(unreach-call) 6.3  620 63   1 out of memory 770    15000 9500   0 false(unreach-call) .22  26 2.4  1 false(unreach-call) .20  26 2.9  1 false(unreach-call) .20  26 2.4  1 false(unreach-call) .67 51 7.6 1 false(unreach-call) 1.2 57 13 1 false(unreach-call) 1.6 62 19 1 false(unreach-call) 1.0  72 13   1 error (1) 3.0    220    24      0 error (1) 1.1  63 15   0 unknown .096 9.5 .99 0 unknown .065 10   .69 0 unknown 5.2 300 40 0 unknown 5.1 310 35 0 error (1) 5.3 32 80 0 unknown 5.3 310 41 0 false(unreach-call) .25 31 2.2 1
pthread/fib_bench_false-unreach-call.i error (5) .20 27 1.5 0 false(unreach-call) 2.5  30 27   1 unknown .060 8.1 .14 0 false(unreach-call) 7.7 470 68 1 false(unreach-call) 27    270 160   1 error 3.0 280 28 0 error 4.0 280 31 0 false(unreach-call) 6.8 440 55 1 true 47    79 560   -32 true 230    140 3200   -32 timeout 900     2600 13000    0 true 100     210 1400    -32 true .27  25 3.3  -32 false(unreach-call) 2.8  65 34   1 false(unreach-call) 4.8 69 62 1 false(unreach-call) 6.3 64 84 1 false(unreach-call) 1.0  48 12   1 unknown 540      2500    5500      0 timeout 880    300 11000   0 unknown .10  9.3 .88 0 out of memory 170     15000   2000    0 unknown 5.3 310 39 0 unknown 4.9 310 41 0 timeout 900   470 10000 0 unknown 5.0 310 40 0 false(unreach-call) .26 29 2.1 1
pthread/fib_bench_longer_false-unreach-call.i error (5) .21 26 1.6 0 false(unreach-call) 2.2  31 26   1 unknown .036 8.1 .16 0 false(unreach-call) 9.2 730 76 1 false(unreach-call) 31    260 170   1 error 2.9 280 23 0 error 3.9 280 29 0 false(unreach-call) 8.0 520 57 1 true 120    100 1500   -32 true 610    360 6900   -32 timeout 900     2600 15000    0 true 280     560 4300    -32 true .29  24 3.3  -32 false(unreach-call) 2.7  68 33   1 false(unreach-call) 4.9 71 63 1 false(unreach-call) 6.4 66 89 1 false(unreach-call) 1.5  54 18   1 unknown 640      3300    7200      0 timeout 880    300 12000   0 unknown .081 9.4 .83 0 out of memory 170     15000   2000    0 unknown 6.3 340 47 0 unknown 5.1 310 44 0 timeout 900   470 11000 0 unknown 5.8 330 39 0 false(unreach-call) .41 32 4.3 1
pthread/fib_bench_longest_false-unreach-call.i error (5) .22 27 1.6 0 false(unreach-call) 330    180 4400   1 unknown .028 7.8 .15 0 false(unreach-call) 390   10000 4400 1 false(unreach-call) 63    260 600   1 error 3.1 280 26 0 error 4.2 280 33 0 false(unreach-call) 550   3800 3100 1 timeout 900    630 10000   0 timeout 900    1300 10000   0 timeout 900     2200 12000    0 timeout 900     2300 12000    0 true .27  25 3.8  -32 false(unreach-call) 13    90 160   1 false(unreach-call) 16   93 230 1 false(unreach-call) 17   76 240 1 false(unreach-call) 36    190 530   1 timeout 900      8800    9400      0 timeout 880    270 10000   0 unknown .11  9.5 .91 0 out of memory 170     15000   1800    0 unknown 5.0 310 40 0 unknown 5.0 300 43 0 timeout 900   510 8400 0 unknown 5.1 320 39 0 false(unreach-call) 16    120 190   1
pthread/lazy01_false-unreach-call.i error (5) .19 27 2.1 0 false(unreach-call) .36 31 3.3 1 unknown .023 8.0 .15 0 false(unreach-call) 5.2 340 42 1 false(unreach-call) 3.7  260 27   1 error 3.1 280 25 0 error 3.8 280 29 0 false(unreach-call) 4.5 300 35 1 false(unreach-call) 16    280 200   1 false(unreach-call) 53    98 630   1 false(unreach-call) 4.9   140 71    1 false(unreach-call) 4.9   140 63    1 false(unreach-call) 4.9   140 59    1 false(unreach-call) .66 51 8.4 1 false(unreach-call) 1.2 58 15 1 false(unreach-call) 1.6 64 24 1 false(unreach-call) .65 43 8.5 1 error (1) 3.2    240    25      0 false(unreach-call) 4.1  95 59   1 unknown .10  9.4 .86 0 false(unreach-call) .14  10   .95 1 unknown 5.4 310 41 0 unknown 5.0 310 46 0 false(unreach-call) 5.6 39 83 1 unknown 5.1 310 38 0 false(unreach-call) .21 29 2.0 1
pthread/queue_false-unreach-call.i error (5) .21 29 1.8 0 false(unreach-call) 8.4  450 88   1 unknown .027 8.2 .20 0 false(unreach-call) 6.1 410 48 1 unknown 4.7  270 32   0 error 3.4 280 29 0 error 5.8 440 46 0 false(unreach-call) 7.1 460 47 1 unknown 130    170 1800   0 unknown .86 160 12   0 unknown .16  26 2.1  0 unknown .18  26 1.9  0 unknown .16  26 2.0  0 false(unreach-call) 11    300 130   1 false(unreach-call) 17   310 190 1 false(unreach-call) 15   280 180 1 false(unreach-call) 9.1  230 110   1 error (1) 3.3    240    29      0 false(unreach-call) 60    1800 760   1 unknown .10  9.5 .93 0 false(unreach-call) 2.2   100   26    1 unknown 5.6 320 41 0 unknown 5.8 330 39 0 timeout 900   800 11000 0 unknown 5.5 320 42 0 false(unreach-call) .28 41 3.1 1
pthread/queue_longer_false-unreach-call.i error (5) .22 29 2.1 0 false(unreach-call) 27    5000 250   1 unknown .039 8.4 .17 0 false(unreach-call) 6.3 410 49 1 unknown 6.2  260 45   0 error 3.2 280 27 0 error 5.3 430 42 0 false(unreach-call) 8.4 460 61 1 unknown 850    2500 12000   0 out of memory 110    15000 1500   0 unknown .20  26 1.6  0 unknown .18  26 1.7  0 unknown .19  26 2.0  0 false(unreach-call) 120    9400 1500   1 false(unreach-call) 120   1800 1300 1 false(unreach-call) 100   1700 1100 1 false(unreach-call) 9.5  220 120   1 error (1) 3.4    240    26      0 timeout 900    14000 10000   0 unknown .095 9.6 .93 0 false(unreach-call) 26     740   290    1 unknown 6.2 350 52 0 unknown 5.0 310 40 0 timeout 900   610 12000 0 unknown 5.2 310 38 0 false(unreach-call) 1.4  330 16   1
pthread/queue_longest_false-unreach-call.i error (5) .20 30 2.3 0 false(unreach-call) 48    10000 510   1 unknown .033 8.4 .16 0 false(unreach-call) 6.4 410 52 1 unknown 6.8  260 40   0 error 3.5 280 32 0 error 5.3 430 41 0 exception 7.8 460 59 0 unknown 850    2500 10000   0 out of memory 230    15000 2600   0 unknown .16  26 1.8  0 unknown .16  26 1.9  0 unknown .18  26 2.1  0 out of memory 120    15000 1300   0 false(unreach-call) 150   2900 1500 1 false(unreach-call) 130   2800 1400 1 false(unreach-call) 13    240 180   1 error (1) 3.2    240    27      0 timeout 900    14000 9300   0 unknown .076 9.7 .84 0 false(unreach-call) 71     1400   970    1 unknown 5.1 310 45 0 unknown 5.0 310 43 0 timeout 900   610 11000 0 unknown 5.3 310 42 0 false(unreach-call) 2.5  650 25   1
pthread/reorder_2_false-unreach-call.i error (5) .32 31 2.2 0 error (1) .32 24 3.0 0 unknown .031 8.2 .21 0 false(unreach-call) 6.4 470 46 1 unknown 4.1  260 32   0 error 3.7 280 32 0 error 5.8 450 39 0 error 5.8 450 46 0 unknown 330    15000 3800   0 timeout 900    3400 12000   0 out of memory 290     15000 3400    0 out of memory 290     15000 4200    0 timeout 900     9600 11000    0 false(unreach-call) 2.2  60 30   1 false(unreach-call) 3.2 65 44 1 false(unreach-call) 4.3 65 54 1 false(unreach-call) 1.8  100 25   1 unknown .0054 .82 .017  0 false(unreach-call) 5.0  110 70   1 unknown .082 9.8 .78 0 unknown .12  10   .83 0 unknown 5.1 310 41 0 unknown 5.6 320 44 0 false(unreach-call) 6.5 64 86 1 unknown 5.1 300 44 0 false(unreach-call) .40 34 3.3 1
pthread/reorder_5_false-unreach-call.i error (5) .29 31 3.3 0 error (1) .32 26 3.5 0 unknown .030 8.4 .17 0 false(unreach-call) 7.8 550 60 1 unknown 4.5  270 31   0 error 3.6 290 30 0 error 5.7 440 40 0 error 6.0 440 53 0 unknown 470    15000 5700   0 timeout 900    1000 9900   0 out of memory 500     15000 6200    0 out of memory 500     15000 5900    0 timeout 900     11000 10000    0 false(unreach-call) 5.7  120 76   1 false(unreach-call) 8.3 130 110 1 false(unreach-call) 10   96 140 1 false(unreach-call) 1.8  100 21   1 unknown .0082 .81 .016  0 false(unreach-call) 5.0  110 72   1 unknown .080 9.7 .88 0 unknown .10  10   .90 0 unknown 5.7 320 43 0 unknown 5.3 310 41 0 false(unreach-call) 6.6 71 77 1 unknown 5.5 320 45 0 false(unreach-call) .38 33 3.6 1
pthread/sigma_false-unreach-call.i error (5) .20 30 1.8 0 false(unreach-call) 210    920 1600   1 unknown .039 8.0 .20 0 false(unreach-call) 5.2 380 39 1 unknown 5.7  270 34   0 error 3.7 290 36 0 error 5.2 420 40 0 error 5.6 440 42 0 timeout 900    680 13000   0 timeout 900    520 9700   0 timeout 900     1500 14000    0 timeout 900     1600 11000    0 true 2.2   68 31    -32 false(unreach-call) 6.6  220 91   1 false(unreach-call) 8.7 220 110 1 false(unreach-call) 9.6 200 130 1 false(unreach-call) 6.8  350 84   1 unknown .0080 .82 .015  0 timeout 880    330 11000   0 unknown .11  9.5 .91 0 unknown .063 10   .71 0 unknown 5.3 310 40 0 unknown 5.4 300 40 0 timeout 900   2300 9100 0 unknown 5.2 300 40 0 false(unreach-call) 70    420 660   1
pthread/singleton_false-unreach-call.i error (5) .20 30 2.0 0 error (1) .21 22 2.1 0 unknown .037 8.4 .19 0 false(unreach-call) 5.1 350 41 1 unknown 4.2  270 31   0 error 3.3 280 27 0 error 4.6 400 36 0 error 4.8 410 35 0 timeout 900    930 12000   0 timeout 900    980 12000   0 out of memory 700     15000 8500    0 out of memory 710     15000 8500    0 out of memory 690     15000 8900    0 false(unreach-call) 3.4  69 39   1 false(unreach-call) 5.8 73 73 1 false(unreach-call) 7.4 67 96 1 false(unreach-call) 2.4  160 29   1 error (1) 2.9    210    25      0 false(unreach-call) 370    14000 5000   1 unknown .12  9.6 1.1  0 unknown .061 10   .67 0 unknown 6.0 330 42 0 unknown 5.3 310 44 0 false(unreach-call) 11   62 140 1 unknown 5.7 340 44 0 false(unreach-call) .25 31 2.1 1
pthread/stack_false-unreach-call.i error (5) .23 29 1.9 0 false(unreach-call) .48 36 5.3 1 unknown .038 8.3 .19 0 false(unreach-call) 6.0 420 45 1 unknown 6.7  250 37   0 error 3.3 280 29 0 error 5.6 450 39 0 error 5.9 440 39 0 true 500    15000 6900   -32 timeout 900    5800 11000   0 false(unreach-call) 26     1000 310    1 false(unreach-call) 30     1100 440    1 false(unreach-call) 30     1100 340    1 false(unreach-call) 1.4  74 15   1 false(unreach-call) 2.3 73 29 1 false(unreach-call) 2.8 73 35 1 false(unreach-call) 2.3  120 25   1 error (1) 3.3    230    26      0 false(unreach-call) 24    130 260   1 unknown .076 9.8 1.0  0 false(unreach-call) .67  36   10    1 unknown 5.1 310 39 0 unknown 5.3 320 46 0 false(unreach-call) 38   150 470 1 unknown 6.1 320 47 0 false(unreach-call) .24 31 2.0 1
pthread/stack_longer_false-unreach-call.i error (5) .21 29 1.5 0 false(unreach-call) 7.5  160 110   1 unknown .031 8.2 .17 0 false(unreach-call) 6.1 410 45 1 unknown 6.1  270 37   0 error 3.3 280 25 0 error 4.9 410 37 0 error 97   710 830 0 unknown 480    1500 6300   0 timeout 900    5400 10000   0 false(unreach-call) 27     1000 390    1 false(unreach-call) 30     1100 340    1 false(unreach-call) 30     1100 380    1 false(unreach-call) 140    3900 1700   1 false(unreach-call) 120   2100 1300 1 false(unreach-call) 120   2100 1200 1 false(unreach-call) 2.2  120 29   1 error (1) 3.3    230    28      0 timeout 880    410 11000   0 unknown .093 9.6 .81 0 false(unreach-call) 5.3   210   66    1 unknown 5.1 300 42 0 unknown 4.9 300 38 0 false(unreach-call) 34   140 400 1 unknown 5.5 310 41 0 false(unreach-call) .56 63 5.4 1
pthread/stack_longest_false-unreach-call.i error (5) .20 29 1.9 0 false(unreach-call) 23    280 270   1 unknown .030 8.4 .17 0 false(unreach-call) 6.1 430 46 1 unknown 6.5  250 37   0 error 3.3 280 31 0 error 5.1 420 37 0 error 400   1100 2600 0 unknown 480    1500 6100   0 timeout 900    5700 9900   0 false(unreach-call) 27     1000 380    1 false(unreach-call) 30     1100 360    1 false(unreach-call) 30     1100 350    1 false(unreach-call) 190    7400 2500   1 false(unreach-call) 150   3300 1700 1 false(unreach-call) 140   3200 1700 1 false(unreach-call) 2.2  120 26   1 error (1) 3.2    240    29      0 timeout 880    390 10000   0 unknown .076 9.6 1.1  0 false(unreach-call) 11     380   140    1 unknown 5.4 300 48 0 unknown 6.0 320 47 0 false(unreach-call) 36   140 470 1 unknown 5.7 320 42 0 false(unreach-call) .74 110 6.8 1
pthread/stateful01_false-unreach-call.i error (5) .22 27 1.7 0 false(unreach-call) .41 32 4.3 1 unknown .026 8.0 .19 0 false(unreach-call) 4.9 340 37 1 false(unreach-call) 3.9  250 27   1 error 2.9 280 23 0 error 3.8 280 29 0 false(unreach-call) 4.4 290 35 1 false(unreach-call) 7.9  51 110   1 false(unreach-call) 32    39 380   1 false(unreach-call) 2.6   32 36    1 false(unreach-call) 2.6   32 29    1 false(unreach-call) 2.6   32 38    1 false(unreach-call) .66 51 8.2 1 false(unreach-call) 1.2 58 15 1 false(unreach-call) 1.6 62 21 1 false(unreach-call) .88 51 10   1 error (1) 3.1    220    28      0 false(unreach-call) 4.1  99 52   1 unknown .10  9.2 .82 0 false(unreach-call) .11  11   1.4  1 unknown 5.8 320 51 0 unknown 5.1 310 43 0 false(unreach-call) 5.9 54 77 1 unknown 5.2 310 42 0 false(unreach-call) .23 29 1.9 1
pthread/twostage_3_false-unreach-call.i error (5) .32 31 2.8 0 error (1) .35 24 2.8 0 unknown .086 44   .47 0 false(unreach-call) 11   600 73 1 unknown 4.3  260 30   0 error 3.5 280 28 0 error 6.0 440 47 0 error 6.1 450 47 0 unknown 900    970 11000   0 timeout 900    4200 11000   0 out of memory 470     15000 6400    0 out of memory 470     15000 6400    0 timeout 900     890 12000    0 false(unreach-call) 2.7  66 33   1 false(unreach-call) 3.8 70 49 1 false(unreach-call) 5.1 67 63 1 false(unreach-call) 3.9  170 49   1 unknown .0088 .66 .011  0 false(unreach-call) 70    400 940   1 unknown .12  9.7 .94 0 unknown .13  11   1.1  0 unknown 5.7 320 44 0 unknown 5.0 310 39 0 false(unreach-call) 6.6 76 91 1 unknown 5.1 300 38 0 false(unreach-call) .41 34 3.2 1
pthread/bigshot_s2_true-unreach-call.i error (5) .20 29 1.7 0 error (1) .24 22 1.7 0 unknown .030 8.0 .18 0 true 5.1 360 42 2 true 35    260 270   2 error 3.3 300 31 0 error 4.6 410 34 0 error 4.8 420 40 0 true 290    5200 3500   2 timeout 900    2300 8900   0 out of memory 410     15000 4600    0 true 30     960 420    2 true 2.0   110 25    2 true 3.6  65 44   2 true 6.7 71 82 2 true 9.4 63 140 2 true .96 62 14   2 error (1) 3.1    240    25      0 error (1) .97 64 13   0 unknown .097 9.4 .91 0 unknown .080 10   .65 0 unknown 6.0 320 42 0 unknown 5.1 310 41 0 error (1) 5.3 33 78 0 unknown 5.3 320 39 0 true .21 31 1.8 2
pthread/bigshot_s_true-unreach-call.i error (5) .20 30 1.8 0 error (1) .21 22 2.4 0 unknown .027 8.4 .23 0 true 5.6 370 40 2 true 34    260 280   2 error 3.2 280 26 0 error 4.5 410 35 0 error 4.7 420 38 0 true 290    5200 3300   2 timeout 900    2300 8800   0 out of memory 400     15000 4700    0 true 30     980 390    2 true 2.1   110 24    2 true 3.6  67 41   2 true 6.8 71 78 2 true 9.5 63 130 2 true 1.0  64 11   2 error (1) 3.0    220    26      0 error (1) 1.0  64 12   0 unknown .097 9.5 .94 0 unknown .066 10   .64 0 unknown 5.0 310 46 0 unknown 6.2 330 41 0 error (1) 5.3 32 69 0 unknown 5.2 300 38 0 true .18 31 2.8 2
pthread/fib_bench_longer_true-unreach-call.i error (5) .22 27 1.5 0 true 37    58 430   2 unknown .027 8.1 .16 0 true 11   970 88 2 true 50    260 350   2 error 3.0 280 25 0 error 4.0 280 29 0 true 8.0 520 55 2 true 120    100 1700   2 true 610    360 9000   2 timeout 900     2600 15000    0 true 280     560 3900    2 true .28  24 3.5  2 true 4.3  68 61   2 true 7.4 70 94 2 true 10   66 140 2 true 1.9  54 22   2 unknown 650      3300    8500      0 timeout 880    310 12000   0 unknown .097 9.3 .94 0 out of memory 170     15000   2000    0 unknown 5.4 320 40 0 unknown 4.9 300 44 0 timeout 900   350 11000 0 unknown 5.0 300 43 0 true .68 33 7.2 2
pthread/fib_bench_longest_true-unreach-call.i error (5) .20 27 1.6 0 error (42) 850    180 9700   0 unknown .027 7.9 .16 0 true 600   12000 6600 2 true 130    260 1600   2 error 3.0 280 25 0 error 4.2 290 33 0 timeout 920   3200 5900 0 timeout 900    630 11000   0 timeout 900    1300 14000   0 timeout 900     2200 14000    0 timeout 900     2300 12000    0 true .27  25 3.2  2 true 17    110 200   2 true 21   98 280 2 true 24   81 260 2 true 68    200 820   2 timeout 900      9100    11000      0 timeout 880    340 12000   0 unknown .082 9.1 .88 0 out of memory 170     15000   2200    0 unknown 4.9 310 39 0 unknown 5.3 320 40 0 timeout 900   480 10000 0 unknown 5.7 320 44 0 true 17    130 200   2
pthread/fib_bench_true-unreach-call.i error (5) .19 27 1.6 0 true 6.6  37 90   2 unknown .029 7.9 .11 0 true 7.0 530 52 2 true 51    260 300   2 error 3.1 280 27 0 error 3.9 280 28 0 true 28   410 30 2 true 47    79 660   2 true 230    140 2900   2 timeout 900     2600 11000    0 true 100     210 1100    2 true .28  24 3.8  2 true 3.5  65 41   2 true 6.8 69 90 2 true 9.5 66 130 2 true 1.2  48 16   2 unknown 570      2500    6600      0 timeout 880    310 11000   0 unknown .11  9.4 .91 0 out of memory 170     15000   2100    0 unknown 5.0 300 43 0 unknown 5.3 310 42 0 timeout 900   340 10000 0 unknown 5.7 320 46 0 true .41 31 3.4 2
pthread/indexer_true-unreach-call.i error (5) .19 29 1.9 0 error (42) 850    3700 12000   0 unknown .038 8.2 .18 0 timeout 900   7900 13000 0 unknown 5.7  260 38   0 error 3.2 280 26 0 error 6.0 450 40 0 error 7.2 470 54 0 unknown 75    160 850   0 out of memory 150    15000 1500   0 out of memory 150     15000 1700    0 out of memory 150     15000 1600    0 true .16  26 1.4  2 true 320    3300 3800   2 true 310   3300 4000 2 true 380   3200 4000 2 true 1.3  58 19   2 unknown .0078 .80 .017  0 true 820    530 7000   2 unknown .079 9.5 .81 0 error (1) .70  100   8.6  0 unknown 5.8 320 43 0 unknown 5.2 300 44 0 timeout 900   6000 9500 0 unknown 5.5 320 45 0 true .49 68 5.6 2
pthread/queue_ok_longer_true-unreach-call.i error (5) .23 29 1.8 0 error (134) 56    13000 760   0 unknown .039 8.1 .19 0 true 6.9 450 54 2 unknown 6.0  250 40   0 error 3.2 300 26 0 error 5.3 420 41 0 error 12   660 100 0 unknown 900    180 12000   0 timeout 900    11000 9600   0 timeout 900     2100 11000    0 timeout 900     14000 11000    0 timeout 900     7200 11000    0 true 250    6200 3400   2 true 160   1300 1700 2 true 400   1300 4800 2 true 3.5  170 41   2 error (1) 3.4    240    28      0 timeout 900    300 11000   0 unknown .078 9.5 .83 0 out of memory 520     15000   5700    0 unknown 4.8 310 43 0 unknown 5.1 300 44 0 timeout 900   520 12000 0 unknown 5.1 310 43 0 true .61 150 7.8 2
pthread/queue_ok_longest_true-unreach-call.i error (5) .19 29 2.2 0 error (134) 79    13000 970   0 unknown .026 8.1 .24 0 true 6.9 420 47 2 unknown 6.5  260 40   0 error 3.3 280 26 0 error 5.5 430 43 0 exception 7.1 460 65 0 unknown 900    180 10000   0 timeout 900    11000 11000   0 timeout 900     2100 10000    0 timeout 900     14000 11000    0 timeout 900     7400 11000    0 true 300    11000 3300   2 true 200   2500 2200 2 true 430   2400 5300 2 true 3.7  170 42   2 error (1) 3.4    250    29      0 timeout 890    210 13000   0 unknown .10  9.7 .77 0 out of memory 740     15000   8900    0 unknown 6.0 330 48 0 unknown 4.9 310 45 0 timeout 900   370 10000 0 unknown 5.1 310 39 0 true 1.0  300 13   2
pthread/queue_ok_true-unreach-call.i error (5) .24 29 1.8 0 error (134) 380    12000 3700   0 unknown .035 8.6 .21 0 true 6.4 450 49 2 unknown 6.2  250 38   0 error 3.4 280 31 0 error 5.3 430 38 0 error 7.0 470 57 0 unknown 900    180 11000   0 timeout 900    6400 7100   0 timeout 900     2100 13000    0 timeout 900     14000 12000    0 timeout 900     7400 12000    0 true 96    650 1000   2 true 99   610 1300 2 true 340   580 4600 2 true 3.5  170 41   2 error (1) 3.2    250    28      0 timeout 880    250 9600   0 unknown .11  9.6 .97 0 false(unreach-call) 2.8   120   42    -16 unknown 5.3 320 48 0 unknown 5.1 300 40 0 timeout 900   230 14000 0 unknown 5.2 300 43 0 true .26 35 2.3 2
pthread/singleton_with-uninit-problems_true-unreach-call.i error (5) .22 30 2.0 0 error (1) .22 22 2.0 0 unknown .033 8.3 .17 0 true 5.9 380 42 2 unknown 3.9  260 30   0 error 3.2 280 28 0 error 4.7 400 35 0 error 5.0 420 40 0 timeout 900    930 13000   0 timeout 900    980 11000   0 out of memory 710     15000 9700    0 out of memory 710     15000 8000    0 out of memory 690     15000 8100    0 true 4.3  68 51   2 true 7.9 72 110 2 true 11   67 150 2 true 2.9  130 36   2 error (1) 3.2    240    27      0 timeout 900    14000 9400   0 unknown .097 9.5 1.1  0 unknown .074 10   .49 0 unknown 5.7 320 45 0 unknown 5.8 320 39 0 true 7.7 47 93 2 unknown 5.1 310 43 0 true .24 32 2.2 2
pthread/stack_longer_true-unreach-call.i error (5) .21 29 1.9 0 error (42) 850    980 7900   0 unknown .027 8.3 .14 0 true 9.2 540 63 2 unknown 6.2  250 40   0 error 3.1 270 24 0 error 5.0 400 37 0 error 96   740 590 0 unknown 470    1400 5800   0 timeout 900    5300 12000   0 out of memory 410     15000 5900    0 out of memory 460     15000 5600    0 true 190     4300 2600    2 true 290    4600 3200   2 true 240   2400 3200 2 true 340   2400 4200 2 true 1.9  100 21   2 error (1) 3.2    230    25      0 timeout 880    460 11000   0 unknown .093 9.5 .87 0 false(unreach-call) 4.6   210   55    -16 unknown 5.1 310 42 0 unknown 4.9 310 35 0 timeout 900   300 12000 0 unknown 5.7 330 39 0 true .45 61 4.1 2
pthread/stack_longest_true-unreach-call.i error (5) .21 29 1.7 0 error (42) 850    1700 6800   0 unknown .037 8.2 .17 0 true 9.7 550 65 2 unknown 6.1  250 37   0 error 3.2 280 26 0 error 5.0 400 36 0 error 420   1100 2100 0 unknown 470    1400 5500   0 timeout 900    5600 12000   0 out of memory 410     15000 4800    0 out of memory 460     15000 6300    0 true 190     4300 2700    2 true 520    8700 7400   2 true 280   3700 3200 2 true 340   3700 4400 2 true 2.0  100 23   2 error (1) 3.1    230    29      0 timeout 880    430 13000   0 unknown .076 9.5 .99 0 false(unreach-call) 10     380   150    -16 unknown 5.0 300 40 0 unknown 4.8 300 39 0 timeout 900   280 11000 0 unknown 5.9 330 40 0 true .59 110 5.7 2
pthread/stack_true-unreach-call.i error (5) .20 29 2.0 0 true 380    150 5600   2 unknown .031 8.3 .17 0 true 9.9 680 80 2 unknown 6.0  250 41   0 error 3.3 280 29 0 error 5.1 420 35 0 error 5.8 440 52 0 true 470    15000 6100   2 timeout 900    5200 13000   0 out of memory 410     15000 5200    0 out of memory 480     15000 5000    0 true 200     4300 2500    2 true 38    270 330   2 true 29   160 360 2 true 150   140 2200 2 true 2.0  100 26   2 error (1) 3.2    230    31      0 true 58    120 740   2 unknown .077 9.7 .86 0 false(unreach-call) .59  35   8.6  -16 unknown 5.0 300 45 0 unknown 5.0 310 42 0 timeout 900   370 11000 0 unknown 5.1 310 36 0 true .23 32 2.2 2
pthread/stateful01_true-unreach-call.i error (5) .20 27 1.6 0 true 2.9  35 31   2 unknown .028 7.9 .15 0 true 5.0 350 39 2 true 3.9  250 28   2 error 3.0 280 23 0 error 4.0 280 31 0 true 4.7 300 37 2 true 240    1100 3300   2 true 74    250 960   2 out of memory 290     15000 3400    0 true 120     1700 1500    2 true 120     1700 1400    2 true 3.4  63 47   2 true 6.6 67 79 2 true 9.5 65 110 2 true .86 50 9.6 2 error (1) 3.2    240    26      0 true 3.4  89 38   2 unknown .090 9.4 .92 0 true .11  10   1.2  2 unknown 5.0 310 42 0 unknown 6.3 340 54 0 true 43   95 550 2 unknown 4.9 300 34 0 true .21 29 2.0 2
pthread/sync01_true-unreach-call.i error (5) .24 29 1.6 0 true 1.1  32 14   2 unknown .038 8.3 .18 0 true 5.3 340 42 2 unknown 3.9  260 25   0 error 3.3 280 27 0 error 4.6 380 36 0 true 5.3 440 40 2 unknown 900    15000 11000   0 timeout 900    1000 10000   0 out of memory 360     15000 4800    0 true 190     4000 2600    2 true 190     4000 2200    2 true 4.1  67 51   2 true 7.6 71 90 2 true 10   66 140 2 true 1.1  89 15   2 error (1) 2.9    220    26      0 true 3.9  120 59   2 unknown .080 9.4 .85 0 unknown .060 10   .51 0 unknown 5.5 320 41 0 unknown 5.6 320 45 0 true 87   150 1100 2 unknown 5.4 310 40 0 true .22 31 2.2 2
pthread-atomic/qrcu_false-unreach-call.i error (5) .21 27 2.0 0 false(unreach-call) .71 41 8.0 1 unknown .029 7.9 .16 0 false(unreach-call) 6.1 410 48 1 false(unreach-call) 5.7  260 42   1 error 3.0 270 24 0 error 4.5 300 36 0 false(unreach-call) 9.6 570 76 1 unknown 67    110 810   0 unknown 17    1800 210   0 unknown .11  25 1.2  0 unknown .11  25 1.2  0 unknown .12  25 1.0  0 false(unreach-call) 1.2  64 16   1 false(unreach-call) 1.9 65 24 1 false(unreach-call) 2.5 71 31 1 false(unreach-call) 2.0  100 27   1 unknown .0081 .63 .022  0 false(unreach-call) 10    750 130   1 unknown .12  9.4 .78 0 false(unreach-call) 32     350   470    1 unknown 5.2 320 36 0 unknown 5.2 320 44 0 false(unreach-call) 61   550 740 1 unknown 5.0 310 35 0 false(unreach-call) .28 31 2.4 1
pthread-atomic/read_write_lock_false-unreach-call.i error (5) .22 27 1.8 0 false(unreach-call) .41 31 4.7 1 unknown .029 8.0 .15 0 false(unreach-call) 5.7 410 46 1 false(unreach-call) 4.5  250 30   1 error 3.0 280 26 0 error 3.9 280 29 0 false(unreach-call) 14   760 100 1 true 160    80 1800   -32 true 51    75 600   -32 timeout 900     3400 11000    0 true 42     120 600    -32 true 42     120 590    -32 false(unreach-call) .70 52 8.7 1 false(unreach-call) 1.2 58 15 1 false(unreach-call) 1.7 65 19 1 false(unreach-call) 2.0  84 25   1 timeout 900      9900    7900      0 false(unreach-call) 5.9  160 83   1 unknown .082 9.3 .95 0 false(unreach-call) 1.4   160   18    1 unknown 6.1 320 48 0 unknown 5.1 310 44 0 false(unreach-call) 13   67 160 1 unknown 5.2 300 42 0 false(unreach-call) .26 29 2.3 1
pthread-atomic/dekker_true-unreach-call.i error (5) .18 27 1.5 0 error (1) .18 21 2.2 0 unknown .055 8.0 .13 0 true 4.6 350 35 2 false(unreach-call) 4.0  260 28   -16 error 3.0 280 26 0 error 4.1 280 34 0 true 5.0 330 36 2 true 140    190 1700   2 out of memory 180    15000 2200   0 timeout 900     3200 11000    0 timeout 900     4600 12000    0 true 9.2   140 120    2 true 3.9  58 53   2 true 7.5 65 95 2 true 10   64 130 2 true .85 48 10   2 unknown 5.0    340    42      0 true 2.2  72 27   2 unknown .080 9.3 1.0  0 true .34  16   4.5  2 unknown 5.1 310 46 0 unknown 4.8 300 38 0 true 100   180 1100 2 unknown 5.2 310 36 0 true .20 29 2.2 2
pthread-atomic/gcd_true-unreach-call_true-termination.i error (5) .20 27 1.8 0 error (42) 850    170 11000   0 unknown .017 8.0 .23 0 true 10   470 100 2 true 44    260 360   2 error 3.3 290 28 0 error 4.3 290 35 0 false(unreach-call) 5.5 350 39 -16 unknown 900    450 11000   0 timeout 900    320 9300   0 timeout 900     510 13000    0 timeout 900     800 12000    0 true 60     290 740    2 true 480    340 5500   2 true 460   350 4900 2 true 410   330 4600 2 true 1.1  51 14   2 timeout 900      15000    10000      0 timeout 880    97 11000   0 unknown .082 9.3 .92 0 false(unreach-call) 21     69   300    -16 unknown 4.8 300 41 0 unknown 5.1 310 46 0 unknown 15   190 180 0 unknown 5.0 310 35 0 true 22    100 290   2
pthread-atomic/lamport_true-unreach-call.i error (5) .22 27 1.6 0 error (1) .20 21 1.6 0 unknown .026 8.0 .12 0 true 5.6 360 44 2 false(unreach-call) 4.2  250 32   -16 error 2.9 280 26 0 error 4.1 300 30 0 true 6.0 390 41 2 true 110    160 1500   2 out of memory 160    15000 2100   0 timeout 900     3200 12000    0 timeout 900     4500 10000    0 true 35     380 430    2 true 5.5  62 67   2 true 9.5 67 120 2 true 130   67 2100 2 true 1.0  52 13   2 unknown .0069 .80 .016  0 true 2.3  71 26   2 unknown .11  9.2 .85 0 true .64  43   7.8  2 unknown 5.8 320 42 0 unknown 5.0 300 45 0 timeout 900   360 11000 0 unknown 5.3 330 38 0 true .24 29 2.2 2
pthread-atomic/peterson_true-unreach-call.i error (5) .20 27 1.7 0 error (1) .22 20 1.7 0 unknown .055 7.9 .16 0 true 4.6 340 40 2 false(unreach-call) 3.9  260 29   -16 error 3.0 280 25 0 error 4.0 280 30 0 true 4.6 330 34 2 true 100    150 1300   2 timeout 900    1200 13000   0 timeout 900     3400 11000    0 timeout 900     4300 11000    0 true 7.1   110 110    2 true 3.2  58 40   2 true 6.3 60 80 2 true 9.1 64 130 2 true .78 46 8.6 2 unknown 4.4    330    41      0 true 2.1  70 23   2 unknown .082 9.4 .93 0 true .26  13   2.9  2 unknown 5.6 320 42 0 unknown 5.2 310 39 0 true 11   47 130 2 unknown 5.2 310 43 0 true .22 28 1.8 2
pthread-atomic/qrcu_true-unreach-call.i error (5) .24 27 1.7 0 error (42) 850    480 7800   0 unknown .019 8.2 .16 0 true 18   2000 140 2 false(unreach-call) 5.1  260 39   -16 error 3.0 270 24 0 error 4.6 300 37 0 false(unreach-call) 9.5 570 79 -16 unknown 67    110 840   0 unknown 17    1800 200   0 unknown .12  25 1.1  0 unknown .10  25 1.0  0 unknown .11  25 1.2  0 true 20    120 230   2 true 22   120 290 2 true 82   99 1100 2 true 4.0  100 54   2 unknown .0043 .72 .024  0 timeout 890    790 13000   0 unknown .11  9.3 .85 0 out of memory 570     15000   6700    0 unknown 5.6 330 47 0 unknown 4.8 300 44 0 timeout 900   1300 11000 0 unknown 5.5 320 39 0 true .41 32 3.6 2
pthread-atomic/read_write_lock_true-unreach-call.i error (5) .22 27 1.8 0 true 1.6  31 18   2 unknown .027 8.0 .17 0 true 5.9 390 47 2 false(unreach-call) 4.2  250 30   -16 error 3.0 280 23 0 error 3.9 280 29 0 true 10   560 78 2 true 160    79 2300   2 true 52    74 690   2 timeout 900     3500 12000    0 true 42     120 500    2 true 42     120 580    2 true 4.0  64 49   2 true 7.7 70 100 2 true 11   67 130 2 true 3.1  77 44   2 timeout 900      9900    8000      0 true 31    170 370   2 unknown .099 9.4 .83 0 true 1.8   160   21    2 unknown 6.1 330 44 0 unknown 5.1 310 41 0 true 41   64 570 2 unknown 5.1 300 36 0 true .23 29 2.3 2
pthread-atomic/scull_true-unreach-call.i error (5) .24 28 1.8 0 true 3.6  54 49   2 unknown .032 7.9 .17 0 true 10   790 83 2 unknown 4.9  260 34   0 error 3.1 280 24 0 error 5.0 340 39 0 true 40   1700 270 2 unknown 10    35 120   0 timeout 900    3200 11000   0 out of memory 680     15000 7100    0 out of memory 680     15000 8000    0 out of memory 680     15000 8100    0 true 23    190 280   2 true 22   180 260 2 true 26   150 330 2 true .55 59 6.8 2 error (1) 3.2    240    29      0 error (1) .78 40 9.3 0 unknown .10  9.6 .91 0 true 73     1800   1100    2 unknown 5.1 310 44 0 unknown 5.1 310 43 0 true 540   240 5900 2 unknown 5.0 300 38 0 true .25 30 2.5 2
pthread-atomic/szymanski_true-unreach-call.i error (5) .17 27 2.1 0 error (1) .20 21 1.8 0 unknown .028 7.8 .17 0 true 5.0 330 38 2 true 35    260 270   2 error 3.0 290 26 0 error 4.1 280 28 0 true 5.4 340 38 2 timeout 900    960 12000   0 timeout 900    800 11000   0 timeout 900     4500 13000    0 out of memory 410     15000 4700    0 true 48     1700 590    2 true 3.6  58 44   2 true 7.2 65 89 2 true 130   64 1700 2 true .85 46 11   2 unknown 5.3    330    44      0 true 2.1  68 25   2 unknown .099 9.2 .75 0 true 1.4   72   18    2 unknown 4.8 300 44 0 unknown 4.9 300 44 0 true 16   62 220 2 unknown 5.1 320 42 0 true .23 29 1.8 2
pthread-atomic/time_var_mutex_true-unreach-call.i error (5) .21 35 2.2 0 error (1) .18 21 2.0 0 unknown .030 7.9 .17 0 true 5.4 340 42 2 true 4.0  250 29   2 error 3.0 280 25 0 error 3.9 270 27 0 true 4.8 320 39 2 unknown 3.3  50 50   0 true 14    40 150   2 timeout 900     15000 13000    0 true 16     100 210    2 true 16     100 230    2 true 3.8  62 45   2 true 7.2 67 100 2 true 10   64 140 2 true .87 49 9.8 2 error (1) 3.2    250    28      0 true 2.2  73 30   2 unknown .082 9.1 .88 0 true .19  10   1.9  2 unknown 5.0 300 42 0 unknown 5.0 300 44 0 true 26   69 300 2 unknown 5.4 320 37 0 true .21 29 2.0 2
pthread-ext/25_stack_longer_false-unreach-call.i error (5) .19 27 1.8 0 false(unreach-call) 3.0  790 37   1 unknown .023 8.0 .22 0 false(unreach-call) 4.9 340 35 1 unknown 4.3  270 28   0 error 3.1 270 23 0 error 4.8 320 36 0 error 5.5 470 39 0 false(unreach-call) .65 76 7.8 1 out of memory 73    15000 910   0 false(unreach-call) .093 25 1.0  1 false(unreach-call) .092 25 .97 1 false(unreach-call) .12  25 .93 1 false(unreach-call) 1.6  180 18   1 false(unreach-call) 1.4 67 18 1 false(unreach-call) 2.0 64 25 1 false(unreach-call) 3.8  200 41   1 unknown .0061 .81 .021  0 false(unreach-call) 9.3  170 130   1 unknown .075 9.2 .76 0 out of memory 100     15000   1300    0 unknown 5.4 320 43 0 unknown 5.0 300 44 0 false(unreach-call) 11   360 130 1 unknown 5.6 330 42 0 false(unreach-call) .25 31 2.0 1
pthread-ext/25_stack_longest_false-unreach-call.i error (5) .19 27 1.7 0 false(unreach-call) 7.7  2300 100   1 unknown .028 8.2 .16 0 false(unreach-call) 4.9 350 35 1 unknown 4.5  250 30   0 error 2.9 270 23 0 error 4.6 300 33 0 error 5.8 480 42 0 false(unreach-call) .66 76 8.0 1 out of memory 73    15000 860   0 false(unreach-call) .12  25 .86 1 false(unreach-call) .090 25 1.0  1 false(unreach-call) .091 25 .95 1 false(unreach-call) 3.1  460 33   1 false(unreach-call) 1.8 86 22 1 false(unreach-call) 2.3 69 29 1 false(unreach-call) 3.8  190 45   1 unknown .0078 .79 .018  0 false(unreach-call) 150    540 1800   1 unknown .075 9.3 .84 0 out of memory 180     15000   2000    0 unknown 5.1 310 41 0 unknown 5.0 310 38 0 false(unreach-call) 10   370 130 1 unknown 5.4 300 40 0 false(unreach-call) .26 29 2.5 1
pthread-ext/26_stack_cas_longer_false-unreach-call.i error (5) .19 27 1.6 0 false(unreach-call) 5.8  1600 62   1 unknown .035 8.3 .18 0 false(unreach-call) 5.1 350 37 1 unknown 4.3  260 34   0 error 3.1 280 26 0 error 4.6 300 31 0 error 5.4 460 43 0 false(unreach-call) .68 76 9.2 1 out of memory 110    15000 1400   0 false(unreach-call) .12  25 .97 1 false(unreach-call) .11  25 1.1  1 false(unreach-call) .13  25 .96 1 false(unreach-call) 1.6  180 19   1 false(unreach-call) 1.5 70 19 1 false(unreach-call) 2.1 67 31 1 false(unreach-call) 4.9  200 61   1 unknown .0066 .93 .021  0 false(unreach-call) 8.9  190 120   1 unknown .074 9.5 .98 0 out of memory 110     15000   1200    0 unknown 5.2 310 45 0 unknown 5.5 330 49 0 false(unreach-call) 14   670 180 1 unknown 5.5 320 43 0 false(unreach-call) .25 29 2.6 1
pthread-ext/26_stack_cas_longest_false-unreach-call.i error (5) .20 27 1.6 0 false(unreach-call) 16    4800 170   1 unknown .026 7.9 .17 0 false(unreach-call) 5.1 350 39 1 unknown 4.4  250 33   0 error 3.1 280 27 0 error 4.9 310 35 0 error 6.4 460 46 0 false(unreach-call) .66 76 9.2 1 out of memory 110    15000 1200   0 false(unreach-call) .095 25 1.0  1 false(unreach-call) .12  25 1.0  1 false(unreach-call) .093 25 1.1  1 false(unreach-call) 3.1  450 31   1 false(unreach-call) 1.8 88 24 1 false(unreach-call) 2.4 69 28 1 false(unreach-call) 5.1  200 59   1 unknown .0055 .80 .021  0 false(unreach-call) 130    540 1900   1 unknown .076 9.4 .81 0 out of memory 200     15000   2300    0 unknown 6.3 320 50 0 unknown 5.2 310 45 0 false(unreach-call) 15   660 200 1 unknown 5.2 300 38 0 false(unreach-call) .26 29 2.8 1
pthread-ext/27_Boop_simple_vf_false-unreach-call.i error (5) .19 27 1.6 0 false(unreach-call) .27 26 2.6 1 unknown .029 8.0 .15 0 false(unreach-call) 5.3 340 38 1 false(unreach-call) 4.1  260 34   1 error 3.0 280 25 0 error 4.0 290 33 0 error 4.9 320 36 0 false(unreach-call) 39    1900 490   1 out of memory 14    15000 190   0 false(unreach-call) 12     1200 150    1 false(unreach-call) 12     1200 160    1 false(unreach-call) 12     1200 140    1 false(unreach-call) .71 54 9.7 1 false(unreach-call) 1.3 59 18 1 false(unreach-call) 1.7 63 23 1 false(unreach-call) 1.0  60 12   1 unknown .0077 .79 .017  0 timeout 880    440 9000   0 unknown .080 9.5 .91 0 out of memory 480     15000   6700    0 unknown 6.3 330 52 0 unknown 5.5 320 42 0 false(unreach-call) 16   120 210 1 unknown 5.4 320 44 0 false(unreach-call) .25 29 2.2 1
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i error (5) .18 27 1.4 0 false(unreach-call) .25 21 2.0 1 unknown .031 8.3 .19 0 false(unreach-call) 5.7 370 51 1 false(unreach-call) 7.7  270 56   1 error 2.9 270 25 0 error 4.0 280 30 0 error 4.8 320 40 0 false(unreach-call) .96 130 12   1 out of memory 30    15000 300   0 false(unreach-call) .12  25 1.0  1 false(unreach-call) .11  25 1.1  1 false(unreach-call) .12  25 .89 1 false(unreach-call) .64 51 8.7 1 false(unreach-call) 1.2 56 15 1 false(unreach-call) 1.6 62 23 1 false(unreach-call) .84 41 11   1 unknown .0075 .83 .0066 0 false(unreach-call) 2.9  88 36   1 unknown .081 9.6 .97 0 false(unreach-call) .43  9.9 5.7  1 unknown 5.0 310 42 0 unknown 6.0 320 48 0 false(unreach-call) 6.4 110 80 1 unknown 5.0 310 37 0 false(unreach-call) .23 29 2.0 1
pthread-ext/32_pthread5_vs_false-unreach-call.i error (5) .19 27 1.6 0 false(unreach-call) .42 31 4.8 1 unknown .027 8.0 .18 0 false(unreach-call) 6.6 480 45 1 false(unreach-call) 8.4  250 63   1 error 3.1 280 24 0 error 4.4 290 34 0 error 4.9 340 37 0 true 350    14000 4600   -32 timeout 900    8300 9000   0 out of memory 130     15000 1400    0 out of memory 130     15000 1800    0 true 4.7   240 56    -32 false(unreach-call) .72 51 8.4 1 false(unreach-call) 1.2 59 15 1 false(unreach-call) 1.7 65 21 1 false(unreach-call) 3.2  100 39   1 unknown .0080 .88 .012  0 false(unreach-call) 4.4  220 51   1 unknown .10  9.3 .94 0 false(unreach-call) 28     3600   350    1 unknown 5.4 330 42 0 unknown 5.5 320 42 0 false(unreach-call) 100   720 1200 1 unknown 5.4 320 40 0 false(unreach-call) .26 29 2.1 1
pthread-ext/40_barrier_vf_false-unreach-call.i error (5) .19 27 1.5 0 false(unreach-call) .96 40 9.1 1 unknown .025 8.1 .19 0 false(unreach-call) 4.8 320 39 1 error (2) .27 50 2.3 0 error 3.2 280 28 0 error 4.1 290 31 0 error 4.5 310 35 0 true 260    14000 3400   -32 timeout 900    3800 10000   0 out of memory 130     15000 1400    0 out of memory 120     15000 1400    0 true .15  25 1.3  -32 false(unreach-call) 1.8  51 22   1 false(unreach-call) 3.3 58 45 1 false(unreach-call) 4.6 64 59 1 false(unreach-call) 8.5  180 97   1 unknown .0081 .75 .018  0 false(unreach-call) 5.8  110 69   1 unknown .079 9.3 1.0  0 false(unreach-call) 57     7000   680    1 unknown 4.7 300 35 0 unknown 5.0 300 45 0 false(unreach-call) 6.2 61 89 1 unknown 5.0 300 38 0 false(unreach-call) .24 29 1.8 1
pthread-ext/01_inc_true-unreach-call.i error (5) .19 27 1.5 0 error (42) 850    310 11000   0 unknown .022 7.8 .20 0 true 19   3500 150 2 true 35    260 270   2 error 2.9 270 26 0 error 4.0 290 31 0 error 4.6 320 36 0 timeout 900    450 12000   0 timeout 900    2200 11000   0 timeout 900     2200 9200    0 timeout 900     2200 11000    0 true .15  24 1.4  2 true 3.1  53 38   2 true 6.2 58 81 2 true 9.0 63 130 2 true .82 47 9.3 2 unknown .0073 .75 .021  0 true 880    200 11000   2 unknown .084 9.3 .97 0 out of memory 130     15000   1700    0 unknown 5.2 330 45 0 unknown 4.9 310 39 0 true 220   91 2600 2 unknown 5.5 320 40 0 true .20 29 1.9 2
pthread-ext/02_inc_cas_true-unreach-call.i error (5) .18 27 1.6 0 error (42) 850    400 6200   0 unknown .037 7.8 .17 0 true 42   4700 450 2 unknown 4.1  250 27   0 error 3.0 270 27 0 error 3.9 280 28 0 error 4.5 310 36 0 timeout 900    910 10000   0 timeout 900    2300 9500   0 timeout 900     5100 13000    0 timeout 900     5100 11000    0 unknown .11  24 1.2  0 true 4.0  58 54   2 true 7.5 63 100 2 true 11   67 160 2 true .80 45 9.4 2 unknown .0083 .67 .018  0 true 880    180 13000   2 unknown .085 9.2 .84 0 out of memory 280     15000   3100    0 unknown 5.2 310 44 0 unknown 5.2 320 44 0 true 440   830 5200 2 unknown 5.2 310 45 0 true .23 29 1.9 2
pthread-ext/03_incdec_true-unreach-call.i error (5) .21 27 1.7 0 error (42) 850    440 7000   0 unknown .059 8.0 .14 0 true 13   2100 100 2 true 49    260 380   2 error 3.0 280 27 0 error 4.4 290 35 0 error 4.8 340 38 0 true 370    15000 4500   2 out of memory 650    15000 7700   0 out of memory 180     15000 2200    0 out of memory 180     15000 2300    0 true .46  39 5.2  2 true 4.2  62 49   2 true 8.0 68 88 2 true 10   67 130 2 true 2.0  80 29   2 unknown .0088 .77 .022  0 true 880    210 12000   2 unknown .11  9.2 .79 0 out of memory 440     15000   5600    0 unknown 5.0 310 40 0 unknown 4.9 300 43 0 timeout 900   260 12000 0 unknown 5.1 310 43 0 true .31 30 2.9 2
pthread-ext/04_incdec_cas_true-unreach-call.i error (5) .18 27 1.6 0 error (42) 850    1700 5200   0 unknown .020 8.0 .16 0 true 42   4500 410 2 unknown 4.0  250 29   0 error 2.9 270 23 0 error 4.3 290 33 0 error 5.0 380 42 0 timeout 900    15000 11000   0 out of memory 870    15000 10000   0 out of memory 240     15000 3700    0 out of memory 240     15000 3000    0 unknown .29  29 3.7  0 true 7.2  75 96   2 true 11   79 140 2 true 74   73 1100 2 true 1.5  68 19   2 unknown .0067 .81 .016  0 true 880    190 11000   2 unknown .10  9.3 .75 0 out of memory 600     15000   7600    0 unknown 6.0 320 48 0 unknown 5.4 320 40 0 timeout 900   1300 11000 0 unknown 5.0 310 36 0 true .26 30 2.4 2
pthread-ext/05_tas_true-unreach-call.i error (5) .19 27 1.6 0 error (42) 850    4700 11000   0 unknown .030 8.0 .14 0 true 15   3500 120 2 unknown 3.9  250 27   0 error 3.2 280 26 0 error 4.6 300 32 0 error 4.8 330 42 0 timeout 900    860 12000   0 timeout 900    11000 11000   0 timeout 900     4600 11000    0 timeout 900     4700 10000    0 true .44  28 5.3  2 true 3.9  64 58   2 true 8.0 70 95 2 true 11   74 140 2 true 1.0  49 12   2 unknown .0076 .82 .017  0 timeout 880    200 10000   0 unknown .080 9.2 .98 0 out of memory 130     15000   1400    0 unknown 4.8 300 38 0 unknown 5.1 310 41 0 timeout 900   780 10000 0 unknown 4.9 300 36 0 true .28 29 3.2 2
pthread-ext/06_ticket_true-unreach-call.i error (5) .19 27 1.7 0 error (42) 850    200 12000   0 unknown .029 8.1 .14 0 true 12   1100 83 2 true 39    260 250   2 error 3.1 280 27 0 error 4.1 280 32 0 error 4.7 330 40 0 timeout 900    400 11000   0 timeout 900    8200 8700   0 timeout 900     2000 13000    0 timeout 900     2000 11000    0 true .49  25 5.9  2 true 3.4  59 40   2 true 6.7 63 95 2 true 9.7 65 120 2 true .96 51 12   2 unknown .0077 .83 .018  0 true 880    270 12000   2 unknown .098 9.3 .95 0 out of memory 180     15000   2300    0 unknown 5.4 310 46 0 unknown 4.9 310 39 0 timeout 900   540 12000 0 unknown 5.9 330 42 0 true .22 29 1.9 2
pthread-ext/07_rand_true-unreach-call.i error (5) .21 27 1.6 0 error (42) 850    810 7200   0 unknown .036 7.9 .17 0 true 26   4100 230 2 true 37    260 340   2 error 3.3 280 29 0 error 4.5 290 30 0 error 4.8 340 41 0 timeout 900    14000 12000   0 out of memory 130    15000 1300   0 out of memory 150     15000 2200    0 out of memory 150     15000 1900    0 unknown .14  25 1.2  0 true 4.3  65 54   2 true 8.1 68 110 2 true 71   70 940 2 true 1.3  59 16   2 unknown .0078 .72 .014  0 true 880    220 11000   2 unknown .11  9.2 .90 0 out of memory 720     15000   9100    0 unknown 4.8 300 39 0 unknown 5.0 300 39 0 timeout 900   1300 11000 0 unknown 5.2 310 40 0 true .22 29 2.1 2
pthread-ext/08_rand_cas_true-unreach-call.i error (5) .19 27 1.5 0 error (42) 850    4700 10000   0 unknown .028 8.1 .16 0 true 33   4300 350 2 unknown 4.6  260 30   0 error 3.1 280 28 0 error 4.6 310 33 0 error 5.4 390 41 0 timeout 900    15000 11000   0 out of memory 430    15000 5100   0 out of memory 290     15000 3400    0 out of memory 290     15000 4300    0 unknown .11  25 1.2  0 true 5.5  71 65   2 true 9.8 78 120 2 true 73   77 900 2 true 1.3  58 18   2 unknown .0090 .86 .030  0 true 880    210 10000   2 unknown .083 9.3 .99 0 false(unreach-call) 16     670   220    -16 unknown 5.2 310 45 0 unknown 4.9 300 39 0 timeout 900   2300 8900 0 unknown 5.5 320 46 0 true .24 30 2.2 2
pthread-ext/09_fmaxsym_true-unreach-call.i error (5) .19 27 1.7 0 error (42) 850    3900 12000   0 unknown .026 8.0 .17 0 true 46   4400 440 2 true 40    340 330   2 error 3.0 280 27 0 error 4.2 290 30 0 error 4.7 330 38 0 true 400    15000 5300   2 out of memory 52    15000 580   0 out of memory 180     15000 2400    0 out of memory 180     15000 2100    0 true .35  30 3.8  2 true 5.4  85 62   2 true 11   92 140 2 true 13   82 170 2 true 3.9  130 46   2 unknown .0079 .66 .020  0 true 880    160 12000   2 unknown .099 9.2 .85 0 error (1) .68  10   8.3  0 unknown 4.7 300 41 0 unknown 6.4 320 48 0 timeout 900   380 11000 0 unknown 4.8 310 37 0 true .22 30 2.2 2
pthread-ext/10_fmaxsym_cas_true-unreach-call.i error (5) .19 27 1.6 0 error (42) 850    3200 10000   0 unknown .029 7.9 .14 0 true 17   2000 130 2 false(unreach-call) 12    260 77   -16 error 3.1 280 26 0 error 4.2 300 32 0 error 4.9 340 38 0 true 540    15000 7400   2 out of memory 190    15000 2400   0 out of memory 480     15000 6300    0 out of memory 480     15000 6000    0 true .22  25 2.0  2 true 6.0  96 86   2 true 14   120 180 2 true 17   120 220 2 true 2.5  110 31   2 unknown .0076 .77 .021  0 true 880    190 11000   2 unknown .080 9.3 .84 0 error (1) .71  10   10    0 unknown 5.5 320 42 0 unknown 4.9 310 42 0 true 660   890 7900 2 unknown 5.2 310 36 0 true .29 30 2.0 2
pthread-ext/11_fmaxsymopt_true-unreach-call.i error (5) .20 27 1.6 0 error (42) 850    350 6700   0 unknown .028 8.3 .17 0 true 12   990 91 2 true 44    260 380   2 error 3.1 280 30 0 error 4.5 300 30 0 error 4.9 320 41 0 true 530    15000 7700   2 out of memory 22    15000 240   0 out of memory 490     15000 5500    0 out of memory 490     15000 6000    0 true .23  25 2.5  2 true 4.5  76 69   2 true 8.7 82 96 2 true 12   76 150 2 true 2.0  110 25   2 unknown .0047 .82 .018  0 true 880    230 11000   2 unknown .083 9.3 .78 0 unknown .12  10   1.1  0 unknown 5.0 310 44 0 unknown 5.0 310 41 0 timeout 900   400 14000 0 unknown 5.2 310 41 0 true .22 30 2.3 2
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i error (5) .18 27 2.1 0 error (42) 850    3200 10000   0 unknown .023 8.0 .15 0 true 8.0 440 52 2 false(unreach-call) 12    260 86   -16 error 3.1 280 25 0 error 4.6 300 34 0 error 4.9 330 38 0 true 600    15000 7200   2 out of memory 23    15000 270   0 out of memory 270     15000 3800    0 out of memory 270     15000 3600    0 true .26  28 2.4  2 true 5.1  81 71   2 true 9.4 87 130 2 true 13   81 160 2 true 1.6  91 19   2 unknown .0088 .80 .013  0 true 880    190 11000   2 unknown .11  9.3 .93 0 unknown .096 10   .96 0 unknown 6.0 340 50 0 unknown 5.1 310 42 0 true 430   550 5500 2 unknown 5.0 310 38 0 true .26 29 2.0 2
pthread-ext/13_unverif_true-unreach-call.i error (5) .18 27 1.6 0 error (42) 850    7300 5400   0 unknown .024 8.0 .16 0 true 14   1100 100 2 true 35    260 310   2 error 3.0 280 26 0 error 4.1 280 32 0 error 4.4 300 38 0 timeout 900    360 9900   0 timeout 900    2200 12000   0 timeout 900     2100 11000    0 timeout 900     2100 10000    0 unknown .094 24 1.1  0 true 2.9  55 37   2 true 6.1 58 86 2 true 8.8 63 110 2 true .77 47 8.7 2 unknown .0079 .78 .018  0 true 880    200 11000   2 unknown .11  9.4 .80 0 out of memory 130     15000   1700    0 unknown 5.5 320 42 0 unknown 5.0 310 42 0 true 37   130 490 2 unknown 4.9 310 38 0 true .20 29 2.0 2
pthread-ext/14_spin2003_true-unreach-call.i error (5) .22 27 1.3 0 error (42) 850    210 6800   0 unknown .029 8.0 .15 0 true 6.4 430 50 2 true 34    260 220   2 error 3.0 280 26 0 error 4.0 280 29 0 error 4.3 300 38 0 timeout 900    510 12000   0 timeout 900    2200 10000   0 timeout 900     2300 12000    0 timeout 900     2400 13000    0 true .13  25 1.7  2 true 2.8  52 35   2 true 5.8 57 80 2 true 8.6 63 120 2 true .76 46 8.9 2 unknown .0075 .84 .015  0 true 890    790 9500   2 unknown .080 9.2 1.0  0 out of memory 110     15000   1400    0 unknown 5.4 320 39 0 unknown 5.7 330 42 0 true 80   60 1000 2 unknown 5.0 310 36 0 true .22 29 1.8 2
pthread-ext/15_dekker_true-unreach-call.i error (5) .21 27 1.5 0 error (42) 850    900 10000   0 unknown .025 7.9 .19 0 true 4.3 320 36 2 true 37    260 280   2 error 3.0 280 28 0 error 4.2 280 28 0 true 4.9 330 40 2 true 130    100 1500   2 out of memory 340    15000 4600   0 timeout 900     1000 11000    0 timeout 900     1100 12000    0 true .30  25 3.0  2 true 3.7  56 46   2 true 7.2 61 93 2 true 69   64 1100 2 true .80 46 8.7 2 timeout 900      15000    11000      0 true 2.5  79 33   2 unknown .099 9.2 .88 0 true .22  10   1.7  2 unknown 4.8 330 37 0 unknown 4.9 300 42 0 true 270   350 3800 2 unknown 6.0 360 43 0 true .23 29 1.9 2
pthread-ext/16_peterson_true-unreach-call.i error (5) .18 27 2.1 0 true .45 22 3.9 2 unknown .037 7.9 .16 0 true 4.5 340 41 2 unknown 4.0  250 24   0 error 2.9 280 23 0 error 4.3 290 35 0 true 4.8 320 36 2 true 1.0  76 12   2 true 3.4  190 41   2 unknown .098 25 .85 0 unknown .12  25 .79 0 unknown .11  24 .94 0 true 3.3  55 43   2 true 6.6 62 91 2 true 69   66 1100 2 true .78 45 11   2 true 27      730    260      2 true 2.3  79 33   2 unknown .097 9.4 .88 0 true .15  10   1.6  2 unknown 6.0 330 46 0 unknown 5.2 310 45 0 true 93   300 1200 2 unknown 5.1 300 37 0 true .21 29 1.9 2
pthread-ext/17_szymanski_true-unreach-call.i error (5) .19 27 1.7 0 error (42) 850    890 11000   0 unknown .038 7.9 .13 0 true 4.7 350 36 2 timeout (true) 960    3800 13000   0 error 3.1 280 27 0 error 4.4 290 33 0 true 5.3 380 41 2 timeout 900    980 12000   0 out of memory 9.5  15000 110   0 timeout 900     2000 12000    0 timeout 900     2000 13000    0 true 5.2   33 59    2 true 3.7  57 51   2 true 7.5 62 91 2 true 70   66 1000 2 true .77 45 9.5 2 unknown .0062 .82 .019  0 true 2.4  81 34   2 unknown .11  9.2 .93 0 true 9.9   750   110    2 unknown 5.3 320 37 0 unknown 5.3 320 47 0 true 150   170 2400 2 unknown 5.1 310 38 0 true .40 52 3.7 2
pthread-ext/18_read_write_lock_true-unreach-call.i error (5) .18 27 1.6 0 true .40 22 4.3 2 unknown .028 7.9 .16 0 true 4.7 350 32 2 true 4.0  250 30   2 error 3.1 280 28 0 error 4.0 280 30 0 true 4.4 300 36 2 true .98 49 13   2 true .18 25 1.8 2 timeout 900     6000 12000    0 true .090 25 .98 2 true .091 24 1.1  2 true 2.9  56 40   2 true 6.0 60 73 2 true 8.8 64 120 2 true .77 48 9.4 2 false(unreach-call) 11      520    78      -16 true 2.3  76 26   2 unknown .083 9.3 .83 0 true .092 10   .51 2 unknown 5.0 300 44 0 unknown 5.0 300 41 0 true 7.7 45 96 2 unknown 5.5 320 41 0 true .19 29 1.9 2
pthread-ext/19_time_var_mutex_true-unreach-call.i error (5) .18 27 1.4 0 true .46 23 4.1 2 unknown .034 8.0 .17 0 true 4.4 340 33 2 unknown 4.2  250 29   0 error 3.0 280 24 0 error 4.0 280 28 0 false(unreach-call) 5.1 350 46 -16 true 1.0  50 13   2 true .19 25 1.9 2 timeout 900     9000 11000    0 true .091 25 1.3  2 true .12  25 .96 2 true 3.3  55 43   2 true 6.5 60 92 2 true 9.6 64 120 2 true 1.0  53 11   2 unknown 7.9    370    58      0 true 2.6  71 40   2 unknown .10  9.3 .95 0 true .099 9.8 .74 2 unknown 5.0 310 39 0 unknown 5.3 310 46 0 true 18   67 250 2 unknown 5.8 320 44 0 true .20 29 2.2 2
pthread-ext/20_lamport_true-unreach-call.i error (5) .19 27 1.5 0 true .90 26 9.1 2 unknown .077 44   .42 0 true 5.2 330 44 2 true 53    960 510   2 error 3.1 280 29 0 error 4.4 290 32 0 true 5.7 400 47 2 true 10    160 120   2 out of memory 160    15000 2000   0 timeout 900     1300 11000    0 timeout 900     1500 12000    0 timeout 900     2000 11000    0 true 5.3  61 64   2 true 9.4 65 110 2 true 72   67 1000 2 true .92 48 11   2 unknown .0076 .69 .011  0 true 2.6  88 30   2 unknown .098 9.2 .91 0 true .28  25   3.5  2 unknown 5.5 330 37 0 unknown 4.9 300 42 0 timeout 900   450 12000 0 unknown 5.0 310 40 0 true .22 30 2.2 2
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i error (5) .19 27 1.6 0 true .41 21 3.9 2 unknown .022 8.0 .14 0 true 4.3 320 35 2 unknown 3.9  250 29   0 error 2.9 270 23 0 error 4.3 290 35 0 true 4.7 350 39 2 unknown 49    76 570   0 false(unreach-call) .16 25 1.9 -16 timeout 900     1600 12000    0 out of memory 240     15000 3200    0 true .14  25 1.2  2 true 3.2  57 39   2 true 6.5 62 81 2 true 9.5 66 120 2 true .92 51 11   2 true 25      730    250      2 true 2.6  82 35   2 unknown .083 9.2 .84 0 true .098 9.9 .82 2 unknown 5.5 330 44 0 unknown 4.9 300 39 0 true 7.7 50 110 2 unknown 5.5 320 41 0 true .20 29 1.9 2
pthread-ext/25_stack_longer_true-unreach-call.i error (5) .20 27 1.5 0 error (42) 850    8200 9500   0 unknown .029 8.2 .18 0 true 260   6400 3300 2 unknown 4.4  260 30   0 error 3.0 280 27 0 error 4.5 310 34 0 error 5.7 430 47 0 timeout 900    890 10000   0 out of memory 85    15000 1000   0 timeout 900     5000 11000    0 timeout 900     5000 10000    0 true .25  25 3.3  2 true 21    1200 300   2 true 17   280 240 2 true 19   270 260 2 true 2.9  160 31   2 unknown .0077 .73 .015  0 timeout 880    300 13000   0 unknown .073 9.3 .86 0 out of memory 99     15000   1000    0 unknown 5.8 330 39 0 unknown 5.0 310 40 0 timeout 900   900 10000 0 unknown 5.4 320 39 0 true .34 30 3.5 2
pthread-ext/25_stack_longest_true-unreach-call.i error (5) .22 27 1.5 0 error (42) 850    4100 11000   0 unknown .028 8.0 .15 0 true 250   6400 3200 2 unknown 4.3  260 35   0 error 3.1 280 29 0 error 4.6 320 35 0 error 5.9 470 48 0 unknown 900    970 12000   0 out of memory 86    15000 1200   0 timeout 900     5000 10000    0 timeout 900     5100 10000    0 true .26  25 2.9  2 true 54    3200 530   2 true 43   740 570 2 true 44   710 490 2 true 2.7  160 34   2 unknown .0075 .81 .012  0 timeout 880    590 9100   0 unknown .074 9.3 .93 0 out of memory 170     15000   2000    0 unknown 5.9 320 40 0 unknown 5.3 300 40 0 timeout 900   900 10000 0 unknown 5.0 320 39 0 true .40 30 3.8 2
pthread-ext/25_stack_true-unreach-call.i error (5) .21 27 1.7 0 error (42) 850    10000 11000   0 unknown .027 8.0 .14 0 true 250   6400 3400 2 unknown 4.3  270 30   0 error 3.0 270 24 0 error 5.3 330 40 0 error 5.3 420 44 0 timeout 900    910 10000   0 out of memory 84    15000 1000   0 timeout 900     4800 11000    0 timeout 900     4800 11000    0 true .26  25 2.9  2 true 7.6  160 110   2 true 11   81 140 2 true 14   77 160 2 true 3.4  160 43   2 unknown .0078 .66 .018  0 timeout 880    220 9800   0 unknown .11  9.4 .91 0 out of memory 100     15000   1200    0 unknown 4.9 300 38 0 unknown 5.9 330 48 0 timeout 900   810 11000 0 unknown 5.0 310 34 0 true .36 30 3.8 2
pthread-ext/26_stack_cas_longer_true-unreach-call.i error (5) .18 27 1.8 0 error (42) 850    3100 11000   0 unknown .027 8.3 .16 0 true 290   6500 3100 2 unknown 4.5  260 29   0 error 3.1 280 29 0 error 4.7 300 37 0 error 5.8 470 50 0 timeout 900    840 11000   0 out of memory 130    15000 1500   0 timeout 900     5000 12000    0 timeout 900     4900 10000    0 timeout 900     10000 10000    0 true 28    1300 290   2 true 20   360 250 2 true 22   330 290 2 true 3.5  160 41   2 unknown .0058 .60 .014  0 timeout 880    310 12000   0 unknown .10  9.3 .74 0 out of memory 110     15000   1300    0 unknown 5.1 300 40 0 unknown 5.2 300 40 0 timeout 900   1100 12000 0 unknown 5.1 310 36 0 true .30 30 3.5 2
pthread-ext/26_stack_cas_longest_true-unreach-call.i error (5) .17 27 1.9 0 error (42) 850    4800 11000   0 unknown .027 8.0 .16 0 true 290   6500 3400 2 unknown 4.4  260 29   0 error 3.1 280 27 0 error 4.6 290 33 0 error 6.3 440 48 0 unknown 900    930 11000   0 out of memory 130    15000 1700   0 timeout 900     4900 11000    0 timeout 900     4900 12000    0 timeout 900     10000 10000    0 true 71    3600 790   2 true 49   950 530 2 true 49   920 550 2 true 4.5  170 63   2 unknown .0076 .86 .019  0 timeout 880    630 12000   0 unknown .077 9.4 .85 0 out of memory 200     15000   2200    0 unknown 5.2 310 41 0 unknown 5.1 310 42 0 timeout 900   1100 9200 0 unknown 5.8 340 42 0 true .32 30 3.2 2
pthread-ext/26_stack_cas_true-unreach-call.i error (5) .23 27 1.5 0 error (42) 850    3000 8400   0 unknown .026 8.2 .18 0 true 290   6500 3400 2 unknown 4.2  260 34   0 error 3.0 270 26 0 error 4.5 290 35 0 error 6.2 460 50 0 timeout 900    850 12000   0 out of memory 120    15000 1500   0 timeout 900     4600 11000    0 timeout 900     4600 12000    0 timeout 900     9800 12000    0 true 9.5  180 110   2 true 13   100 160 2 true 16   80 200 2 true 4.1  160 44   2 unknown .0063 .81 .017  0 timeout 880    220 12000   0 unknown .084 9.3 .92 0 out of memory 120     15000   1400    0 unknown 4.9 310 46 0 unknown 5.5 320 45 0 timeout 900   1100 9500 0 unknown 5.2 320 43 0 true .32 31 3.4 2
pthread-ext/29_conditionals_vs_true-unreach-call.i error (5) .20 27 1.7 0 error (42) 850    1700 6200   0 unknown .025 7.9 .13 0 true 6.4 420 48 2 true 35    260 260   2 error 3.0 280 28 0 error 4.1 280 32 0 error 4.6 310 40 0 true 340    14000 4300   2 timeout 900    11000 13000   0 out of memory 130     15000 1800    0 out of memory 130     15000 1500    0 true .14  25 1.8  2 true 3.0  55 33   2 true 6.2 59 67 2 true 9.0 64 130 2 true .70 45 9.1 2 unknown .0065 .67 .014  0 true 890    850 12000   2 unknown .11  9.3 .95 0 out of memory 94     15000   1100    0 unknown 5.2 300 41 0 unknown 5.1 300 45 0 true 18   78 240 2 unknown 4.9 310 40 0 true .22 28 1.8 2
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i error (5) .19 27 1.7 0 error (42) 850    2100 5500   0 unknown .029 8.1 .14 0 true 6.6 500 51 2 error (2) 3.8  260 28   0 error 2.9 270 28 0 error 4.1 300 32 0 error 5.0 320 44 0 unknown 900    1500 12000   0 timeout 900    2400 9800   0 out of memory 140     15000 1600    0 out of memory 140     15000 1800    0 true 1.2   110 15    2 true 3.3  57 42   2 true 6.6 63 88 2 true 9.5 64 110 2 true .83 46 9.8 2 unknown .0083 .79 .019  0 true 880    210 13000   2 unknown .082 9.2 .97 0 unknown .12  10   1.4  0 unknown 6.0 350 44 0 unknown 4.8 300 38 0 true 6.5 53 98 2 unknown 5.1 310 43 0 true .21 29 2.0 2
pthread-ext/31_simple_loop5_vs_true-unreach-call.i error (5) .18 27 1.6 0 error (42) 850    1600 3800   0 unknown .017 7.9 .23 0 true 10   1100 92 2 true 140    2900 1500   2 error 2.9 270 26 0 error 4.1 280 33 0 error 4.8 310 40 0 timeout 900    800 11000   0 timeout 900    8800 8700   0 timeout 900     4800 10000    0 timeout 900     4800 11000    0 out of memory 710     15000 8500    0 true 3.2  56 40   2 true 6.6 62 79 2 true 9.4 66 130 2 true 1.7  65 17   2 unknown .0065 .76 .024  0 true 880    290 10000   2 unknown .087 9.3 .81 0 out of memory 71     15000   940    0 unknown 5.2 340 37 0 unknown 4.9 300 41 0 timeout 900   540 12000 0 unknown 4.9 310 35 0 true .43 29 4.5 2
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i error (5) .19 27 1.8 0 error (42) 850    310 8200   0 unknown .027 8.1 .16 0 true 7.3 470 57 2 unknown 4.1  250 27   0 error 2.9 270 27 0 error 4.5 290 35 0 error 5.2 340 42 0 unknown 900    1400 14000   0 timeout 900    2500 10000   0 out of memory 270     15000 3200    0 out of memory 270     15000 3500    0 true 1.0   49 14    2 true 3.7  60 57   2 true 7.4 63 92 2 true 11   66 140 2 true 1.7  64 20   2 unknown .0064 .76 .012  0 true 880    170 12000   2 unknown .099 9.3 1.0  0 out of memory 330     15000   3800    0 unknown 5.8 320 47 0 unknown 5.4 330 42 0 timeout 900   350 10000 0 unknown 4.9 300 38 0 true .29 29 2.7 2
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i error (5) .20 27 1.7 0 error (42) 850    320 9500   0 unknown .058 8.1 .13 0 true 7.2 530 58 2 unknown 4.0  260 32   0 error 3.1 280 27 0 error 4.5 300 32 0 error 5.1 350 42 0 unknown 900    1300 9500   0 timeout 900    2500 8600   0 out of memory 260     15000 3100    0 out of memory 260     15000 3200    0 true 1.1   51 12    2 true 3.7  61 48   2 true 7.4 63 92 2 true 10   66 130 2 true 1.6  65 20   2 unknown .0052 .90 .020  0 true 880    250 10000   2 unknown .081 9.7 .84 0 out of memory 320     15000   4400    0 unknown 5.5 320 39 0 unknown 5.0 300 35 0 timeout 900   320 11000 0 unknown 5.6 320 44 0 true .24 29 2.7 2
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i error (5) .18 27 1.7 0 error (42) 850    310 7600   0 unknown .068 43   .44 0 true 7.1 550 61 2 unknown 3.8  250 26   0 error 3.1 280 27 0 error 4.2 290 31 0 error 4.8 330 37 0 unknown 900    1200 11000   0 timeout 900    2500 10000   0 out of memory 280     15000 3400    0 out of memory 280     15000 3000    0 true .88  44 11    2 true 3.4  58 42   2 true 6.9 62 95 2 true 9.8 64 120 2 true .93 54 12   2 unknown .0052 .85 .018  0 true 880    280 11000   2 unknown .084 9.3 .91 0 out of memory 640     15000   7700    0 unknown 5.8 330 41 0 unknown 5.1 310 43 0 timeout 900   560 11000 0 unknown 4.9 300 40 0 true .25 30 1.9 2
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i error (5) .20 27 1.5 0 error (42) 850    4400 11000   0 unknown .029 7.9 .16 0 true 7.1 500 55 2 unknown 4.1  250 27   0 error 3.0 280 26 0 error 4.3 290 31 0 error 4.7 350 37 0 timeout 900    740 10000   0 timeout 900    9000 11000   0 timeout 900     4300 10000    0 timeout 900     4400 13000    0 out of memory 550     15000 6900    0 true 5.4  150 74   2 true 9.7 150 120 2 true 13   130 180 2 true 2.5  100 26   2 unknown .0044 .73 .026  0 timeout 880    250 10000   0 unknown .080 9.4 .97 0 out of memory 120     15000   1300    0 unknown 5.0 310 43 0 unknown 5.3 320 42 0 true 420   750 5500 2 unknown 5.2 310 40 0 true .23 29 2.3 2
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i error (5) .19 27 1.6 0 error (42) 850    8400 4900   0 unknown .023 7.9 .21 0 true 6.9 540 52 2 timeout (true) 960    730 8300   0 error 3.1 280 24 0 error 4.4 290 34 0 error 4.8 330 35 0 timeout 900    690 11000   0 timeout 900    2200 9700   0 timeout 900     2400 13000    0 timeout 900     2400 11000    0 true 1.9   87 21    2 true 5.0  120 62   2 true 7.8 74 110 2 true 11   67 130 2 true 3.5  120 41   2 unknown .0065 .66 .015  0 timeout 880    210 9600   0 unknown .10  9.5 .83 0 out of memory 180     15000   2600    0 unknown 5.2 300 43 0 unknown 5.0 310 44 0 true 120   330 1400 2 unknown 5.8 320 44 0 true .21 28 2.1 2
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i error (5) .18 27 1.9 0 error (42) 850    9300 10000   0 unknown .027 8.1 .17 0 true 14   2000 120 2 timeout 960    5400 7200   0 error 3.1 290 29 0 error 4.2 290 28 0 error 4.8 350 44 0 timeout 900    15000 11000   0 out of memory 490    15000 5600   0 out of memory 250     15000 3100    0 out of memory 250     15000 3900    0 unknown .17  25 1.7  0 true 4.0  63 46   2 true 7.6 68 95 2 true 11   70 140 2 true .75 46 8.2 2 unknown .0076 .77 .016  0 true 890    710 9500   2 unknown .10  9.3 .81 0 timeout 900     690   12000    0 unknown 5.8 320 47 0 unknown 5.2 300 42 0 true 69   620 790 2 unknown 5.4 310 39 0 true .23 29 1.9 2
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i error (5) .20 27 1.6 0 error (42) 850    2200 7200   0 unknown .026 7.9 .17 0 true 11   1100 91 2 true 34    260 280   2 error 2.9 270 25 0 error 4.3 300 32 0 error 4.6 320 37 0 timeout 900    14000 12000   0 out of memory 75    15000 790   0 out of memory 150     15000 2000    0 out of memory 150     15000 2100    0 unknown .11  25 1.4  0 true 3.3  56 40   2 true 6.6 63 94 2 true 9.6 65 150 2 true .84 48 8.8 2 unknown .0063 .77 .020  0 true 880    180 12000   2 unknown .083 9.4 .98 0 false(unreach-call) 1.2   21   15    -16 unknown 4.9 300 41 0 unknown 5.4 310 42 0 true 88   390 1100 2 unknown 5.0 310 40 0 true .21 29 2.0 2
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i error (5) .22 27 1.7 0 error (42) 850    4100 8800   0 unknown .028 8.3 .17 0 true 14   1600 100 2 error (2) .31 50 2.5 0 error 3.3 280 29 0 error 4.7 300 35 0 error 5.1 410 36 0 timeout 900    620 13000   0 out of memory 240    15000 2800   0 timeout 900     1400 12000    0 timeout 900     1500 9900    0 unknown .16  25 1.8  0 true 23    79 290   2 true 30   110 320 2 true 90   85 1300 2 true 71    480 690   2 unknown .0056 .89 .027  0 timeout 880    190 13000   0 unknown .083 9.6 .94 0 unknown 34     160   460    0 unknown 5.6 310 41 0 unknown 5.1 300 38 0 timeout 900   1900 12000 0 unknown 5.3 320 38 0 true 3.0  840 34   2
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i error (5) .20 27 1.6 0 error (42) 850    2200 8300   0 unknown .023 8.0 .20 0 true 62   5500 680 2 error (2) .31 50 2.3 0 error 2.9 270 25 0 error 4.8 310 31 0 error 5.7 440 46 0 unknown 900    1100 11000   0 out of memory 240    15000 2800   0 timeout 900     2200 9600    0 timeout 900     2300 11000    0 true 2.3   36 31    2 true 20    83 240   2 true 27   110 310 2 true 88   85 1200 2 true 71    470 820   2 unknown .0057 .84 .012  0 timeout 880    180 10000   0 unknown .11  9.3 .93 0 timeout 900     5000   14000    0 unknown 5.0 300 43 0 unknown 5.1 310 45 0 timeout 900   1200 11000 0 unknown 6.2 330 46 0 true 4.0  1100 42   2
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i error (5) .20 28 1.7 0 error (1) 850    1500 8400   0 unknown .034 8.2 .18 0 true 190   5700 2500 2 error (2) .29 51 2.6 0 error 3.1 270 24 0 error 5.2 400 40 0 error 7.1 460 57 0 true 560    15000 6300   2 out of memory 420    15000 4400   0 out of memory 570     15000 6100    0 out of memory 600     15000 7900    0 true 2.4   110 31    2 true 150    180 2100   2 true 350   420 3600 2 true 160   160 2000 2 true 72    850 830   2 unknown .0081 .82 .014  0 timeout 880    240 12000   0 unknown .084 9.5 1.1  0 unknown .32  10   3.4  0 unknown 5.2 300 41 0 unknown 5.1 310 41 0 out of memory 70   15000 850 0 unknown 5.5 330 41 0 true 16    1400 160   2
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i error (5) .22 27 1.6 0 error (42) 850    3500 9900   0 unknown .029 8.3 .15 0 true 21   4200 180 2 error (2) .34 50 2.6 0 error 3.1 280 26 0 error 5.2 360 41 0 error 6.7 440 54 0 timeout 900    15000 11000   0 timeout 900    6100 9100   0 out of memory 340     15000 4500    0 out of memory 340     15000 4400    0 unknown .24  26 2.5  0 true 97    130 1200   2 true 100   130 1100 2 true 100   110 1400 2 true 71    590 640   2 unknown .0047 .75 .017  0 timeout 880    190 13000   0 unknown .10  9.4 .98 0 unknown .22  10   2.3  0 unknown 5.1 310 39 0 unknown 5.0 310 40 0 timeout 900   3900 7500 0 unknown 5.3 320 39 0 true 1.4  240 14   2
pthread-ext/45_monabsex1_vs_true-unreach-call.i error (5) .18 27 1.7 0 error (42) 850    5500 4600   0 unknown .031 8.1 .14 0 true 6.3 440 50 2 true 30    250 240   2 error 3.0 280 29 0 error 3.9 280 32 0 error 4.2 310 33 0 timeout 900    450 10000   0 timeout 900    2300 10000   0 timeout 900     1000 11000    0 timeout 900     1000 10000    0 true .35  24 3.9  2 true 2.7  53 40   2 true 5.6 58 67 2 true 8.3 63 99 2 true .54 38 6.3 2 unknown .0068 .70 .016  0 true 880    420 9700   2 unknown .083 9.2 .84 0 out of memory 510     15000   7400    0 unknown 5.6 330 49 0 unknown 4.7 310 41 0 true 10   48 120 2 unknown 5.2 310 36 0 true .21 28 1.8 2
pthread-ext/46_monabsex2_vs_true-unreach-call.i error (5) .20 27 1.6 0 error (42) 850    4700 4900   0 unknown .028 7.9 .16 0 true 7.1 440 56 2 error (2) .32 50 2.6 0 error 3.0 280 27 0 error 4.0 280 29 0 error 4.0 300 36 0 timeout 900    390 11000   0 timeout 900    2300 9700   0 timeout 900     1300 12000    0 timeout 900     1300 12000    0 true 1.2   24 15    2 true 2.7  52 30   2 true 5.8 57 74 2 true 8.3 62 110 2 true .39 20 5.0 2 unknown .0043 .80 .025  0 true 880    160 11000   2 unknown .078 9.1 .93 0 out of memory 330     15000   4300    0 unknown 5.7 310 38 0 unknown 4.9 330 42 0 true 6.0 38 80 2 unknown 5.5 320 43 0 true .20 29 1.5 2
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i error (5) .19 27 1.7 0 error (42) 850    2200 4400   0 unknown .030 8.0 .14 0 true 11   1300 83 2 true 34    250 260   2 error 3.0 280 25 0 error 13   910 130 0 error 95   2300 1100 0 timeout 900    850 14000   0 timeout 900    10000 9400   0 timeout 900     3400 12000    0 timeout 900     3500 10000    0 unknown .13  25 1.0  0 true 4.7  61 55   2 true 8.9 70 120 2 true 71   74 1000 2 true 1.5  54 17   2 unknown .0072 .83 .017  0 true 890    780 8500   2 unknown .082 9.3 .85 0 out of memory 150     15000   2000    0 unknown 5.0 310 39 0 unknown 5.1 310 41 0 timeout 900   900 11000 0 unknown 5.2 310 41 0 true .37 29 4.1 2
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i error (5) .19 27 1.8 0 error (42) 850    240 10000   0 unknown .030 7.9 .14 0 true 8.5 700 59 2 true 33    260 250   2 error 3.1 280 28 0 error 4.4 290 31 0 error 4.9 330 43 0 timeout 900    540 11000   0 timeout 900    3800 9900   0 timeout 900     2400 12000    0 timeout 900     2400 12000    0 unknown .10  25 1.3  0 true 3.7  60 49   2 true 7.2 63 89 2 true 10   64 110 2 true 1.3  52 16   2 unknown 9.2    600    81      0 true 890    780 7700   2 unknown .11  9.4 .79 0 out of memory 140     15000   1600    0 unknown 5.2 310 42 0 unknown 4.9 300 44 0 true 410   190 5200 2 unknown 6.7 360 46 0 true .21 29 2.1 2
pthread-wmm/mix000_power.oepc_false-unreach-call.i error (5) .23 28 1.5 0 false(unreach-call) .39 33 4.2 1 unknown .042 8.6 .17 0 false(unreach-call) 6.3 390 44 1 false(unreach-call) 15    270 130   1 error 3.1 280 26 0 error 6.3 450 49 0 false(unreach-call) 15   800 120 1 false(unreach-call) 3.1  71 36   1 false(unreach-call) 8.8  31 120   1 false(unreach-call) .75  43 8.0  1 false(unreach-call) .78  43 8.9  1 false(unreach-call) .77  42 9.7  1 false(unreach-call) 1.1  57 13   1 false(unreach-call) 1.7 64 23 1 false(unreach-call) 2.6 72 31 1 false(unreach-call) 1.3  92 15   1 error (1) 4.0    300    34      0 false(unreach-call) 18    1700 220   1 unknown .096 9.7 .98 0 false(unreach-call) 89     5400   1100    1 unknown 5.2 310 36 0 unknown 4.9 300 38 0 false(unreach-call) 12   72 150 1 unknown 5.1 300 38 0 false(unreach-call) .38 30 3.9 1
pthread-wmm/mix000_power.opt_false-unreach-call.i error (5) .19 28 1.9 0 false(unreach-call) .35 31 4.9 1 unknown .028 8.2 .17 0 false(unreach-call) 6.2 410 53 1 false(unreach-call) 14    260 130   1 error 3.3 280 28 0 error 6.1 460 49 0 false(unreach-call) 14   600 98 1 false(unreach-call) 3.5  58 38   1 false(unreach-call) 11    27 130   1 false(unreach-call) .96  26 11    1 false(unreach-call) .93  26 12    1 false(unreach-call) .97  26 13    1 false(unreach-call) 1.1  56 14   1 false(unreach-call) 1.7 64 26 1 false(unreach-call) 2.5 70 31 1 false(unreach-call) 1.2  86 13   1 error (1) 3.5    270    30      0 false(unreach-call) 12    1600 150   1 unknown .096 9.6 1.1  0 false(unreach-call) 63     2200   800    1 unknown 5.0 300 43 0 unknown 5.0 300 44 0 false(unreach-call) 13   72 160 1 unknown 5.5 320 43 0 false(unreach-call) .40 30 3.8 1
pthread-wmm/mix000_pso.oepc_false-unreach-call.i error (5) .21 28 1.9 0 false(unreach-call) .38 32 4.5 1 unknown .029 8.1 .19 0 false(unreach-call) 6.5 390 55 1 false(unreach-call) 14    260 140   1 error 3.2 280 28 0 error 6.4 500 51 0 false(unreach-call) 15   750 110 1 false(unreach-call) 3.2  70 44   1 false(unreach-call) 8.8  32 120   1 false(unreach-call) .75  43 10    1 false(unreach-call) .78  43 9.8  1 false(unreach-call) .75  43 8.9  1 false(unreach-call) 1.1  57 17   1 false(unreach-call) 1.8 63 21 1 false(unreach-call) 2.6 72 34 1 false(unreach-call) 1.3  89 14   1 error (1) 3.5    280    29      0 false(unreach-call) 18    1600 250   1 unknown .12  9.8 1.1  0 false(unreach-call) 89     5400   1300    1 unknown 5.2 310 41 0 unknown 5.5 310 41 0 false(unreach-call) 16   73 210 1 unknown 5.0 300 39 0 false(unreach-call) .40 30 3.7 1
pthread-wmm/mix000_pso.opt_false-unreach-call.i error (5) .19 28 1.6 0 false(unreach-call) .34 30 4.8 1 unknown .027 8.2 .16 0 false(unreach-call) 6.6 410 55 1 false(unreach-call) 14    260 160   1 error 3.2 280 27 0 error 6.0 450 46 0 false(unreach-call) 13   600 97 1 false(unreach-call) 3.5  58 51   1 false(unreach-call) 11    27 130   1 false(unreach-call) .94  26 14    1 false(unreach-call) .95  26 11    1 false(unreach-call) .96  26 11    1 false(unreach-call) 1.1  56 14   1 false(unreach-call) 1.7 66 23 1 false(unreach-call) 2.5 70 30 1 false(unreach-call) 1.2  87 16   1 error (1) 3.4    270    31      0 false(unreach-call) 12    1500 160   1 unknown .12  9.9 1.1  0 false(unreach-call) 63     2200   880    1 unknown 5.1 300 36 0 unknown 4.8 300 40 0 false(unreach-call) 14   72 170 1 unknown 5.1 310 39 0 false(unreach-call) .35 30 4.0 1
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i error (5) .22 28 1.8 0 false(unreach-call) .38 32 4.5 1 unknown .030 8.4 .19 0 false(unreach-call) 6.7 400 51 1 false(unreach-call) 14    260 150   1 error 3.2 280 31 0 error 6.4 490 51 0 false(unreach-call) 14   800 110 1 false(unreach-call) 3.2  70 38   1 false(unreach-call) 8.8  32 120   1 false(unreach-call) .78  43 9.9  1 false(unreach-call) .76  43 9.3  1 false(unreach-call) .75  43 9.4  1 false(unreach-call) 1.1  56 14   1 false(unreach-call) 1.8 65 24 1 false(unreach-call) 2.6 72 34 1 false(unreach-call) 1.2  89 16   1 error (1) 3.8    280    30      0 false(unreach-call) 18    1600 240   1 unknown .096 9.7 .99 0 false(unreach-call) 89     5400   1100    1 unknown 5.2 300 40 0 unknown 5.4 310 46 0 false(unreach-call) 14   72 190 1 unknown 5.2 310 41 0 false(unreach-call) .38 30 4.7 1
pthread-wmm/mix000_rmo.opt_false-unreach-call.i error (5) .20 28 1.6 0 false(unreach-call) .34 31 3.4 1 unknown .081 44   .49 0 false(unreach-call) 6.1 400 50 1 false(unreach-call) 14    260 140   1 error 3.2 280 29 0 error 6.4 700 44 0 false(unreach-call) 14   610 100 1 false(unreach-call) 3.5  58 54   1 false(unreach-call) 11    27 140   1 false(unreach-call) .96  26 11    1 false(unreach-call) .93  26 14    1 false(unreach-call) .93  26 12    1 false(unreach-call) 1.0  56 11   1 false(unreach-call) 1.7 65 22 1 false(unreach-call) 2.5 70 40 1 false(unreach-call) 1.2  86 13   1 error (1) 3.6    280    29      0 false(unreach-call) 12    1600 150   1 unknown .096 9.9 1.2  0 false(unreach-call) 63     2200   790    1 unknown 4.9 300 38 0 unknown 5.1 310 39 0 false(unreach-call) 14   72 170 1 unknown 5.2 310 41 0 false(unreach-call) .37 30 3.5 1
pthread-wmm/mix000_tso.oepc_false-unreach-call.i error (5) .22 28 1.4 0 false(unreach-call) .41 32 3.6 1 unknown .038 8.3 .18 0 false(unreach-call) 5.6 400 42 1 false(unreach-call) 14    260 170   1 error 3.1 270 28 0 error 6.2 450 44 0 false(unreach-call) 15   790 110 1 false(unreach-call) 3.1  70 35   1 false(unreach-call) 8.8  31 130   1 false(unreach-call) .77  43 10    1 false(unreach-call) .78  43 9.6  1 false(unreach-call) .75  42 9.1  1 false(unreach-call) 1.1  57 16   1 false(unreach-call) 1.8 66 23 1 false(unreach-call) 2.6 70 33 1 false(unreach-call) 1.3  90 14   1 error (1) 4.0    300    32      0 false(unreach-call) 18    1600 200   1 unknown .12  9.8 1.0  0 false(unreach-call) 89     5400   1200    1 unknown 4.8 300 43 0 unknown 5.3 300 36 0 false(unreach-call) 14   75 180 1 unknown 4.9 310 40 0 false(unreach-call) .41 30 3.9 1
pthread-wmm/mix000_tso.opt_false-unreach-call.i error (5) .23 28 1.6 0 false(unreach-call) .32 31 3.8 1 unknown .060 8.4 .16 0 false(unreach-call) 6.2 400 49 1 false(unreach-call) 14    260 140   1 error 3.0 270 25 0 error 6.0 470 48 0 false(unreach-call) 15   590 110 1 false(unreach-call) 3.5  58 41   1 false(unreach-call) 11    27 160   1 false(unreach-call) .97  26 11    1 false(unreach-call) .97  26 13    1 false(unreach-call) .93  26 11    1 false(unreach-call) 1.0  56 13   1 false(unreach-call) 1.7 63 24 1 false(unreach-call) 2.5 70 32 1 false(unreach-call) 1.2  86 14   1 error (1) 4.0    290    33      0 false(unreach-call) 12    1500 140   1 unknown .096 9.8 1.0  0 false(unreach-call) 63     2200   750    1 unknown 6.3 330 47 0 unknown 4.9 300 42 0 false(unreach-call) 13   72 170 1 unknown 4.9 310 40 0 false(unreach-call) .38 30 3.8 1
pthread-wmm/mix001_power.oepc_false-unreach-call.i error (5) .20 28 1.8 0 false(unreach-call) .70 36 8.2 1 unknown .030 8.2 .18 0 false(unreach-call) 8.5 650 62 1 false(unreach-call) 36    460 340   1 error 3.3 280 28 0 error 6.3 540 47 0 false(unreach-call) 22   1000 180 1 false(unreach-call) 140    1400 2000   1 false(unreach-call) 660    540 9400   1 false(unreach-call) 47     750 690    1 false(unreach-call) 48     750 710    1 false(unreach-call) 48     740 660    1 false(unreach-call) 1.2  60 16   1 false(unreach-call) 1.9 68 24 1 false(unreach-call) 2.8 75 37 1 false(unreach-call) 1.7  120 19   1 error (1) 4.0    320    34      0 false(unreach-call) 46    6000 670   1 unknown .12  9.8 1.1  0 out of memory 310     15000   3700    0 unknown 5.1 310 42 0 unknown 5.5 320 46 0 false(unreach-call) 27   82 370 1 unknown 4.9 300 36 0 false(unreach-call) .63 30 7.8 1
pthread-wmm/mix001_power.opt_false-unreach-call.i error (5) .24 28 1.5 0 false(unreach-call) .39 33 4.6 1 unknown .026 8.1 .22 0 false(unreach-call) 12   1000 88 1 false(unreach-call) 26    380 260   1 error 3.2 270 27 0 error 6.4 450 45 0 false(unreach-call) 43   1800 300 1 false(unreach-call) 83    290 1100   1 false(unreach-call) 400    220 4900   1 false(unreach-call) 29     190 420    1 false(unreach-call) 29     190 390    1 false(unreach-call) 29     180 300    1 false(unreach-call) 1.2  59 13   1 false(unreach-call) 1.8 66 26 1 false(unreach-call) 2.7 70 40 1 false(unreach-call) 1.5  110 17   1 error (1) 3.6    290    31      0 false(unreach-call) 29    4200 340   1 unknown .099 9.8 1.2  0 out of memory 180     15000   2300    0 unknown 5.7 340 40 0 unknown 5.2 300 39 0 false(unreach-call) 25   82 350 1 unknown 5.4 310 43 0 false(unreach-call) .39 30 3.3 1
pthread-wmm/mix001_pso.oepc_false-unreach-call.i error (5) .20 28 1.9 0 false(unreach-call) .40 37 4.9 1 unknown .031 8.3 .18 0 false(unreach-call) 9.2 640 64 1 false(unreach-call) 35    470 420   1 error 3.2 280 28 0 error 6.5 450 52 0 false(unreach-call) 22   1100 160 1 false(unreach-call) 140    1400 1700   1 false(unreach-call) 660    540 9400   1 false(unreach-call) 48     750 670    1 false(unreach-call) 48     750 620    1 false(unreach-call) 48     740 560    1 false(unreach-call) 1.2  60 16   1 false(unreach-call) 1.9 68 24 1 false(unreach-call) 2.9 75 36 1 false(unreach-call) 1.7  120 18   1 error (1) 3.9    310    33      0 false(unreach-call) 46    5900 570   1 unknown .12  9.8 .81 0 out of memory 310     15000   4000    0 unknown 5.3 330 45 0 unknown 5.0 300 39 0 false(unreach-call) 32   84 390 1 unknown 5.4 310 42 0 false(unreach-call) .61 30 6.9 1
pthread-wmm/mix001_pso.opt_false-unreach-call.i error (5) .21 29 1.7 0 false(unreach-call) .37 31 4.2 1 unknown .028 8.3 .22 0 false(unreach-call) 11   1000 84 1 false(unreach-call) 27    390 330   1 error 3.3 280 27 0 error 6.5 450 49 0 false(unreach-call) 39   1700 310 1 false(unreach-call) 82    290 1000   1 false(unreach-call) 390    230 5400   1 false(unreach-call) 29     190 410    1 false(unreach-call) 29     190 370    1 false(unreach-call) 29     190 360    1 false(unreach-call) 1.1  59 15   1 false(unreach-call) 1.8 66 23 1 false(unreach-call) 2.7 72 33 1 false(unreach-call) 1.5  110 18   1 error (1) 3.9    300    35      0 false(unreach-call) 30    4200 410   1 unknown .10  9.6 1.1  0 out of memory 180     15000   2200    0 unknown 5.4 310 45 0 unknown 5.5 330 36 0 false(unreach-call) 27   81 300 1 unknown 5.8 320 39 0 false(unreach-call) .35 30 4.1 1
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i error (5) .22 28 2.1 0 false(unreach-call) .42 38 4.4 1 unknown .028 8.4 .18 0 false(unreach-call) 8.2 660 68 1 false(unreach-call) 36    470 420   1 error 3.3 280 28 0 error 6.5 450 49 0 false(unreach-call) 21   1100 150 1 false(unreach-call) 140    1400 2000   1 false(unreach-call) 660    540 8200   1 false(unreach-call) 48     750 660    1 false(unreach-call) 48     750 540    1 false(unreach-call) 47     750 490    1 false(unreach-call) 1.2  60 17   1 false(unreach-call) 1.9 68 23 1 false(unreach-call) 2.9 75 41 1 false(unreach-call) 1.7  120 18   1 error (1) 3.7    310    31      0 false(unreach-call) 46    5900 580   1 unknown .12  9.9 1.0  0 out of memory 300     15000   3800    0 unknown 5.7 320 50 0 unknown 5.0 300 38 0 false(unreach-call) 31   85 390 1 unknown 5.5 320 38 0 false(unreach-call) .64 30 7.0 1
pthread-wmm/mix001_rmo.opt_false-unreach-call.i error (5) .21 28 1.7 0 false(unreach-call) .39 32 4.1 1 unknown .028 8.4 .20 0 false(unreach-call) 12   1000 95 1 false(unreach-call) 26    390 340   1 error 3.3 280 27 0 error 6.2 450 44 0 false(unreach-call) 45   1900 360 1 false(unreach-call) 83    290 1100   1 false(unreach-call) 390    220 5700   1 false(unreach-call) 29     190 360    1 false(unreach-call) 29     190 350    1 false(unreach-call) 29     190 380    1 false(unreach-call) 1.1  58 16   1 false(unreach-call) 1.8 64 24 1 false(unreach-call) 2.7 72 34 1 false(unreach-call) 1.5  110 17   1 error (1) 3.5    280    26      0 false(unreach-call) 30    4200 360   1 unknown .10  9.9 .98 0 out of memory 180     15000   2300    0 unknown 5.1 300 46 0 unknown 5.0 310 35 0 false(unreach-call) 23   81 280 1 unknown 5.2 310 35 0 false(unreach-call) .36 30 3.8 1
pthread-wmm/mix001_tso.oepc_false-unreach-call.i error (5) .21 28 1.7 0 false(unreach-call) .41 38 4.7 1 unknown .032 8.4 .19 0 false(unreach-call) 9.5 650 68 1 false(unreach-call) 35    470 340   1 error 3.3 280 28 0 error 6.3 530 45 0 false(unreach-call) 23   1100 150 1 false(unreach-call) 140    1400 1900   1 false(unreach-call) 660    540 8600   1 false(unreach-call) 47     750 650    1 false(unreach-call) 48     750 550    1 false(unreach-call) 48     740 570    1 false(unreach-call) 1.2  60 18   1 false(unreach-call) 1.9 68 24 1 false(unreach-call) 2.8 75 40 1 false(unreach-call) 1.7  120 23   1 error (1) 3.8    300    31      0 false(unreach-call) 46    5900 540   1 unknown .13  9.7 1.1  0 out of memory 310     15000   4000    0