Tool CPAchecker 1.7-svn 29913
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Run set cpaseq--concurrency.cpaseq.Concurrency cpachecker-cpaseq--concurrency-validation.witnessValidation.Concurrency
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false -heap 10000M -benchmark -witnessValidation -witness test/results/cpaseq--concurrency.logfiles/cpaseq.${inputfile_name}.files/output/witness.graphml -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
pthread/bigshot_p_false-unreach-call.i error 5.51 2.95 410390528 error 5.37  2.87  258531328
pthread/fib_bench_false-unreach-call.i false(unreach-call) 34.2  24.2  1557188608 false(unreach-call) 4.63  2.52  258134016
pthread/fib_bench_longer_false-unreach-call.i false(unreach-call) 224    205    3946278912 false(unreach-call) 4.94  2.67  265990144
pthread/fib_bench_longest_false-unreach-call.i timeout 905    876    4024459264 error 3.68  2.06  253845504
pthread/lazy01_false-unreach-call.i false(unreach-call) 5.05 2.72 301727744 false(unreach-call) 4.68  2.54  253931520
pthread/queue_false-unreach-call.i false(unreach-call) 7.06 3.79 436260864 false(unreach-call) 5.41  2.92  260734976
pthread/queue_longer_false-unreach-call.i false(unreach-call) 7.59 4.01 439828480 false(unreach-call) 5.49  2.97  260378624
pthread/queue_longest_false-unreach-call.i false(unreach-call) 7.73 4.09 474353664 false(unreach-call) 5.82  3.12  264114176
pthread/reorder_2_false-unreach-call.i error 6.45 3.43 438206464 error 4.26  2.32  257486848
pthread/reorder_5_false-unreach-call.i error 6.57 3.45 443805696 error 4.19  2.26  258682880
pthread/sigma_false-unreach-call.i error 6.35 3.40 428994560 error 4.01  2.18  254124032
pthread/singleton_false-unreach-call.i error 6.38 3.40 411443200 error 4.42  2.41  256237568
pthread/stack_false-unreach-call.i error 7.17 3.78 428699648 error 3.98  2.16  260694016
pthread/stack_longer_false-unreach-call.i error 25.0  14.6  1231994880 error 4.04  2.22  255066112
pthread/stack_longest_false-unreach-call.i error 44.2  32.8  2787778560 error 3.98  2.18  256688128
pthread/stateful01_false-unreach-call.i false(unreach-call) 5.41 2.92 307449856 false(unreach-call) 4.52  2.47  260407296
pthread/triangular-longer_false-unreach-call.i false(unreach-call) 60.7  49.2  3818196992 false(unreach-call) 5.18  2.78  260653056
pthread/triangular-longest_false-unreach-call.i timeout 905    877    3975716864 error 4.35  2.38  255156224
pthread/triangular_false-unreach-call.i false(unreach-call) 14.4  7.62 752345088 false(unreach-call) 4.82  2.60  251367424
pthread/twostage_3_false-unreach-call.i error 6.98 3.68 456249344 error 4.39  2.38  258363392
pthread/bigshot_s2_true-unreach-call.i error 5.27 2.84 407035904 error 4.59  2.50  255225856
pthread/bigshot_s_true-unreach-call.i error 5.60 3.01 412418048 error 4.39  2.41  256745472
pthread/fib_bench_longer_true-unreach-call.i true 818    788    4087332864 error 3.78  2.07  268869632
pthread/fib_bench_longest_true-unreach-call.i timeout 904    874    4033581056 error 3.66  2.05  254529536
pthread/fib_bench_true-unreach-call.i true 85.0  70.6  3823767552 error 3.75  2.09  253988864
pthread/indexer_true-unreach-call.i error 7.52 4.00 442638336 error 3.94  2.18  252948480
pthread/queue_ok_longer_true-unreach-call.i error 47.9  37.8  3689582592 error 4.10  2.24  255561728
pthread/queue_ok_longest_true-unreach-call.i error 131    119    3746332672 error 3.98  2.20  257748992
pthread/queue_ok_true-unreach-call.i error 8.34 4.41 490991616 error 4.35  2.39  254029824
pthread/singleton_with-uninit-problems_true-unreach-call.i error 5.78 3.10 408338432 error 4.43  2.40  256028672
pthread/stack_longer_true-unreach-call.i error 24.1  14.4  1151258624 error 4.17  2.24  270479360
pthread/stack_longest_true-unreach-call.i error 43.1  32.6  2823184384 error 4.05  2.21  259272704
pthread/stack_true-unreach-call.i error 6.55 3.53 428982272 error 3.99  2.17  257253376
pthread/stateful01_true-unreach-call.i true 5.44 2.93 317755392 error 4.03  2.24  253190144
pthread/sync01_true-unreach-call.i true 5.88 3.15 425615360 error 3.92  2.12  254177280
pthread/triangular-longer_true-unreach-call.i true 60.3  48.6  3822268416 error 3.65  2.01  259272704
pthread/triangular-longest_true-unreach-call.i timeout 905    875    3969880064 error 3.78  2.10  253792256
pthread/triangular_true-unreach-call.i true 15.5  8.26 756322304 error 3.79  2.08  256704512
pthread-atomic/qrcu_false-unreach-call.i false(unreach-call) 10.6  5.46 517353472 false(unreach-call) 5.38  2.87  258912256
pthread-atomic/read_write_lock_false-unreach-call.i false(unreach-call) 17.4  9.17 826736640 false(unreach-call) 5.68  3.03  271040512
pthread-atomic/dekker_true-unreach-call.i true 5.69 3.04 338989056 error 3.66  2.02  252461056
pthread-atomic/gcd_true-unreach-call_true-termination.i timeout 912    890    3657465856 error (invalid witness file) .564 .357 40525824
pthread-atomic/lamport_true-unreach-call.i true 6.13 3.30 371838976 error 4.16  2.26  276008960
pthread-atomic/peterson_true-unreach-call.i true 5.32 2.90 323112960 error 3.78  2.06  253173760
pthread-atomic/qrcu_true-unreach-call.i timeout 912    899    7065591808 error (invalid witness file) .606 .360 39702528
pthread-atomic/read_write_lock_true-unreach-call.i true 9.33 4.90 524197888 error 3.99  2.21  252510208
pthread-atomic/scull_true-unreach-call.i timeout 912    894    3594584064 error (invalid witness file) .586 .363 40955904
pthread-atomic/szymanski_true-unreach-call.i true 5.73 3.08 349847552 error 3.77  2.06  254799872
pthread-atomic/time_var_mutex_true-unreach-call.i true 5.27 2.84 318296064 error 3.92  2.18  252035072
pthread-ext/25_stack_longer_false-unreach-call.i error 6.20 3.28 436260864 error 3.74  2.04  250175488
pthread-ext/25_stack_longest_false-unreach-call.i error 6.13 3.29 440406016 error 3.88  2.14  249368576
pthread-ext/26_stack_cas_longer_false-unreach-call.i error 6.45 3.39 429395968 error 3.82  2.09  256630784
pthread-ext/26_stack_cas_longest_false-unreach-call.i error 6.66 3.55 426287104 error 3.78  2.08  254787584
pthread-ext/27_Boop_simple_vf_false-unreach-call.i error 5.38 2.88 317067264 error 4.05  2.23  255758336
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i error 5.18 2.80 302964736 error 3.68  2.02  252899328
pthread-ext/32_pthread5_vs_false-unreach-call.i error 5.36 2.88 337809408 error 3.85  2.11  256589824
pthread-ext/40_barrier_vf_false-unreach-call.i error 5.24 2.83 319942656 error 3.87  2.15  256069632
pthread-ext/01_inc_true-unreach-call.i error 6.53 3.48 307003392 error 3.93  2.13  270036992
pthread-ext/02_inc_cas_true-unreach-call.i error 5.31 2.84 317067264 error 3.75  2.09  252416000
pthread-ext/03_incdec_true-unreach-call.i error 5.46 2.96 341458944 error 3.89  2.13  254599168
pthread-ext/04_incdec_cas_true-unreach-call.i error 6.06 3.24 349773824 error 3.85  2.11  270274560
pthread-ext/05_tas_true-unreach-call.i error 5.54 2.99 337080320 error 3.80  2.07  252764160
pthread-ext/06_ticket_true-unreach-call.i error 6.70 3.61 327929856 error 3.68  2.02  250871808
pthread-ext/07_rand_true-unreach-call.i error 5.66 3.01 350064640 error 3.78  2.10  254758912
pthread-ext/08_rand_cas_true-unreach-call.i error 5.76 3.10 367869952 error 3.72  2.04  253206528
pthread-ext/09_fmaxsym_true-unreach-call.i error 5.40 2.94 331993088 error 4.23  2.24  275484672
pthread-ext/10_fmaxsym_cas_true-unreach-call.i error 5.40 2.89 329682944 error 4.11  2.21  277929984
pthread-ext/11_fmaxsymopt_true-unreach-call.i error 5.61 2.98 336306176 error 3.81  2.09  255565824
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i error 5.57 3.02 342585344 error 4.05  2.21  251850752
pthread-ext/13_unverif_true-unreach-call.i error 5.16 2.76 303575040 error 3.79  2.09  252694528
pthread-ext/14_spin2003_true-unreach-call.i error 4.96 2.70 302735360 error 3.84  2.10  257232896
pthread-ext/15_dekker_true-unreach-call.i true 5.51 2.97 337989632 error 3.98  2.19  252579840
pthread-ext/16_peterson_true-unreach-call.i true 5.54 2.98 326438912 error 3.81  2.09  255242240
pthread-ext/17_szymanski_true-unreach-call.i true 5.92 3.20 373297152 error 3.98  2.17  266608640
pthread-ext/18_read_write_lock_true-unreach-call.i true 5.10 2.76 308387840 error 4.09  2.26  253591552
pthread-ext/19_time_var_mutex_true-unreach-call.i true 5.66 3.08 339394560 error 4.43  2.41  256348160
pthread-ext/20_lamport_true-unreach-call.i true 6.03 3.23 383655936 error 3.85  2.11  256700416
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i true 5.68 3.06 357007360 error 3.90  2.15  253964288
pthread-ext/25_stack_longer_true-unreach-call.i error 6.19 3.34 440430592 error 3.82  2.11  252956672
pthread-ext/25_stack_longest_true-unreach-call.i error 6.39 3.39 436281344 error 3.91  2.16  251437056
pthread-ext/25_stack_true-unreach-call.i error 6.29 3.37 436097024 error 3.88  2.14  252911616
pthread-ext/26_stack_cas_longer_true-unreach-call.i error 6.46 3.48 425500672 error 3.80  2.09  255504384
pthread-ext/26_stack_cas_longest_true-unreach-call.i error 6.29 3.37 429854720 error 4.07  2.19  274935808
pthread-ext/26_stack_cas_true-unreach-call.i error 6.37 3.37 433172480 error 3.71  2.06  253284352
pthread-ext/29_conditionals_vs_true-unreach-call.i error 5.35 2.87 314429440 error 3.91  2.14  254840832
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i error 5.47 2.98 326729728 error 3.65  2.04  250466304
pthread-ext/31_simple_loop5_vs_true-unreach-call.i error 5.21 2.82 318795776 error 3.62  2.02  249577472
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i error 5.61 3.03 345788416 error 3.82  2.09  256086016
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i error 5.81 3.13 344170496 error 3.83  2.10  253067264
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i error 5.51 2.94 339546112 error 3.67  2.06  267137024
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i error 5.74 3.10 350560256 error 3.89  2.14  254828544
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i error 5.70 3.05 341757952 error 3.83  2.09  252080128
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i error 5.47 2.97 333344768 error 3.86  2.10  254865408
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i error 5.47 2.97 324038656 error 3.78  2.09  254140416
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i error 6.26 3.34 436723712 error 3.85  2.08  253849600
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i error 6.48 3.42 426622976 error 3.72  2.07  253833216
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i error 9.04 4.79 471109632 error 3.90  2.15  254717952
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i error 7.36 3.89 445906944 error 3.91  2.14  250736640
pthread-ext/45_monabsex1_vs_true-unreach-call.i error 5.38 2.93 302202880 error 3.81  2.09  252850176
pthread-ext/46_monabsex2_vs_true-unreach-call.i error 5.19 2.81 297619456 error 3.65  2.04  255258624
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i timeout 911    900    6497632256 error (invalid witness file) .567 .367 40824832
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i timeout 911    901    4063539200 error (invalid witness file) .560 .345 40259584
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) 15.3  7.89 622288896 false(unreach-call) 7.45  3.91  324845568
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) 12.5  6.46 539070464 false(unreach-call) 6.65  3.53  277123072
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) 15.0  7.68 692006912 false(unreach-call) 7.13  3.77  314863616
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) 10.9  5.68 535351296 false(unreach-call) 6.47  3.46  274051072
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) 15.9  8.24 628219904 false(unreach-call) 7.55  3.98  326250496
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) 12.9  6.65 541376512 false(unreach-call) 6.62  3.52  277237760
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) 13.9  7.17 638156800 false(unreach-call) 7.31  3.84  313573376
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) 12.2  6.31 546037760 false(unreach-call) 6.49  3.43  284610560
pthread-wmm/mix001_power.oepc_false-unreach-call.i false(unreach-call) 23.4  12.4  803684352 false(unreach-call) 34.0   21.0   1386221568
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 38.7  24.2  1539190784 false(unreach-call) 7.14  3.77  318480384
pthread-wmm/mix001_pso.oepc_false-unreach-call.i false(unreach-call) 22.3  11.6  790065152 false(unreach-call) 34.3   20.4   1440264192
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 42.4  28.2  1570500608 false(unreach-call) 7.24  3.84  319512576
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i false(unreach-call) 20.7  11.4  788549632 false(unreach-call) 32.7   20.0   1380712448
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 34.6  21.7  1422917632 false(unreach-call) 7.22  3.80  315830272
pthread-wmm/mix001_tso.oepc_false-unreach-call.i false(unreach-call) 22.3  12.0  785768448 false(unreach-call) 34.5   20.8   1396236288
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 36.0  22.4  1382252544 false(unreach-call) 7.52  3.94  319377408
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 15.5  7.98 637210624 false(unreach-call) 40.8   26.1   1729347584
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 35.7  23.0  1583128576 false(unreach-call) 7.22  3.80  321024000
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 15.9  8.17 662695936 false(unreach-call) 43.1   27.9   1828282368
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 45.8  29.6  1622544384 false(unreach-call) 7.30  3.87  321814528
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 18.9  9.72 678711296 false(unreach-call) 38.2   24.8   1830322176
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 45.4  28.5  1749590016 false(unreach-call) 7.57  4.00  320835584
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 16.9  8.74 749846528 false(unreach-call) 38.3   24.7   1806172160
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 39.9  25.8  1558368256 false(unreach-call) 7.46  3.95  324038656
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 17.1  8.77 632029184 false(unreach-call) 25.5   14.6   1063759872
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 36.2  22.3  1447612416 false(unreach-call) 6.96  3.67  308834304
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 16.8  8.68 625074176 false(unreach-call) 26.2   14.4   1111302144
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 40.4  24.8  1546702848 false(unreach-call) 7.49  3.94  310038528
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 16.3  8.39 655687680 false(unreach-call) 24.4   13.8   1119866880
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 36.8  23.4  1616560128 false(unreach-call) 7.04  3.73  308928512
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 37.0  23.2  1465208832 false(unreach-call) 7.23  3.79  299843584
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 39.3  24.6  1515188224 false(unreach-call) 7.10  3.75  305733632
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 16.9  8.69 646922240 false(unreach-call) 25.4   14.5   1077501952
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 34.3  20.6  1322631168 false(unreach-call) 7.03  3.70  315252736
pthread-wmm/mix004_power.oepc_false-unreach-call.i false(unreach-call) 26.4  15.8  1195941888 false(unreach-call) 189     152     4754661376
pthread-wmm/mix004_power.opt_false-unreach-call.i false(unreach-call) 297    239    5442256896 false(unreach-call) 15.0   7.75  614699008
pthread-wmm/mix004_pso.oepc_false-unreach-call.i false(unreach-call) 40.1  29.1  1319976960 false(unreach-call) 192     154     4748730368
pthread-wmm/mix004_pso.opt_false-unreach-call.i false(unreach-call) 308    249    5528838144 false(unreach-call) 16.1   8.30  635318272
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i false(unreach-call) 27.2  16.2  1195864064 false(unreach-call) 186     149     4817039360
pthread-wmm/mix004_rmo.opt_false-unreach-call.i false(unreach-call) 303    243    5515067392 false(unreach-call) 15.0   7.70  623972352
pthread-wmm/mix004_tso.oepc_false-unreach-call.i false(unreach-call) 38.6  27.8  1226952704 false(unreach-call) 182     145     4765204480
pthread-wmm/mix004_tso.opt_false-unreach-call.i false(unreach-call) 319    257    5390819328 false(unreach-call) 15.2   7.85  624193536
pthread-wmm/mix005_power.oepc_false-unreach-call.i false(unreach-call) 43.6  32.7  1228357632 false(unreach-call) 181     143     4671369216
pthread-wmm/mix005_power.opt_false-unreach-call.i false(unreach-call) 283    226    5583687680 false(unreach-call) 14.7   7.57  576847872
pthread-wmm/mix005_pso.oepc_false-unreach-call.i false(unreach-call) 30.8  19.5  1167167488 false(unreach-call) 184     147     4704493568
pthread-wmm/mix005_pso.opt_false-unreach-call.i false(unreach-call) 332    261    5600751616 false(unreach-call) 14.6   7.55  655032320
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i false(unreach-call) 38.1  25.5  1247014912 false(unreach-call) 184     145     4736614400
pthread-wmm/mix005_rmo.opt_false-unreach-call.i false(unreach-call) 309    245    5360848896 false(unreach-call) 15.3   7.83  639385600
pthread-wmm/mix005_tso.oepc_false-unreach-call.i false(unreach-call) 105    80.4  4209352704 false(unreach-call) 36.6   22.4   1546915840
pthread-wmm/mix005_tso.opt_false-unreach-call.i false(unreach-call) 296    237    5380984832 false(unreach-call) 14.6   7.61  630784000
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 19.7  10.2  810446848 false(unreach-call) 24.8   14.3   1067163648
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 43.0  27.5  1810026496 false(unreach-call) 6.98  3.70  317059072
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 20.0  10.4  781426688 false(unreach-call) 24.2   13.9   1094897664
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 38.0  25.4  1579286528 false(unreach-call) 6.81  3.61  302882816
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 18.6  9.77 764768256 false(unreach-call) 26.6   15.5   1226067968
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 43.2  27.2  1880297472 false(unreach-call) 7.56  3.96  309608448
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 163    138    3916500992 false(unreach-call) 18.0   9.33  632279040
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 41.7  27.1  1792049152 false(unreach-call) 7.10  3.78  315564032
pthread-wmm/mix007_power.oepc_false-unreach-call.i false(unreach-call) 40.9  24.5  1620291584 false(unreach-call) 199     159     4879085568
pthread-wmm/mix007_power.opt_false-unreach-call.i false(unreach-call) 449    365    6418522112 false(unreach-call) 15.3   7.92  637423616
pthread-wmm/mix007_pso.oepc_false-unreach-call.i false(unreach-call) 37.2  25.1  1332404224 false(unreach-call) 175     137     4643586048
pthread-wmm/mix007_pso.opt_false-unreach-call.i false(unreach-call) 466    383    6216007680 false(unreach-call) 15.6   8.08  638132224
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i false(unreach-call) 36.9  23.0  1530626048 false(unreach-call) 175     139     4651982848
pthread-wmm/mix007_rmo.opt_false-unreach-call.i false(unreach-call) 430    356    6022320128 false(unreach-call) 16.1   8.28  657338368
pthread-wmm/mix007_tso.oepc_false-unreach-call.i false(unreach-call) 37.0  23.0  1446014976 false(unreach-call) 183     144     4807159808
pthread-wmm/mix007_tso.opt_false-unreach-call.i false(unreach-call) 460    376    6345506816 false(unreach-call) 15.4   8.01  647229440
pthread-wmm/mix008_power.oepc_false-unreach-call.i false(unreach-call) 36.9  22.7  1463681024 false(unreach-call) 188     150     4712202240
pthread-wmm/mix008_power.opt_false-unreach-call.i false(unreach-call) 447    363    6180532224 false(unreach-call) 15.7   8.09  630915072
pthread-wmm/mix008_pso.oepc_false-unreach-call.i false(unreach-call) 38.0  23.5  1479868416 false(unreach-call) 190     152     4692656128
pthread-wmm/mix008_pso.opt_false-unreach-call.i false(unreach-call) 481    392    6186524672 false(unreach-call) 15.5   8.04  627617792
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i false(unreach-call) 38.4  24.6  1496682496 false(unreach-call) 189     150     4758204416
pthread-wmm/mix008_rmo.opt_false-unreach-call.i false(unreach-call) 419    346    6062649344 false(unreach-call) 14.9   7.77  649969664
pthread-wmm/mix008_tso.oepc_false-unreach-call.i timeout 935    856    5822832640 error 5.50  2.94  269418496
pthread-wmm/mix008_tso.opt_false-unreach-call.i false(unreach-call) 466    388    6056378368 false(unreach-call) 15.1   7.80  626479104
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 9.51 4.95 550920192 false(unreach-call) 7.38  3.91  321220608
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) 11.6  6.05 548478976 false(unreach-call) 6.60  3.49  276041728
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 10.5  5.46 543154176 false(unreach-call) 6.94  3.83  326549504
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) 13.1  6.77 547573760 false(unreach-call) 7.43  3.92  281628672
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 10.5  5.47 550383616 false(unreach-call) 6.83  3.64  320462848
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) 13.5  7.02 541978624 false(unreach-call) 6.92  3.64  282996736
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 10.8  5.60 555900928 false(unreach-call) 7.23  3.85  328765440
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) 13.4  6.89 551469056 false(unreach-call) 7.04  3.74  287473664
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 18.5  9.54 761118720 false(unreach-call) 24.0   13.7   1097281536
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 41.5  25.4  1491103744 false(unreach-call) 7.14  3.80  312627200
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 15.7  8.13 638795776 false(unreach-call) 28.8   15.5   1076928512
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 42.8  26.5  1624571904 false(unreach-call) 7.30  3.86  320004096
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 17.5  9.02 686714880 false(unreach-call) 24.8   14.2   1070252032
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 40.3  24.7  1515855872 false(unreach-call) 7.05  3.75  313921536
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 17.2  8.88 696827904 false(unreach-call) 26.0   14.4   1095815168
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 37.0  23.1  1586462720 false(unreach-call) 7.12  3.74  314191872
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 16.1  8.33 739049472 false(unreach-call) 23.1   13.6   1062518784
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 35.8  22.5  1617113088 false(unreach-call) 7.39  3.90  321970176
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 15.8  8.16 620400640 false(unreach-call) 23.2   13.5   1099644928
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 38.1  24.5  1586483200 false(unreach-call) 7.30  3.85  325541888
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 18.2  9.33 780034048 false(unreach-call) 24.3   14.2   1072128000
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 40.1  26.4  1636036608 false(unreach-call) 7.14  3.80  314523648
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 21.6  12.3  998572032 false(unreach-call) 21.4   11.3   708755456
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 38.8  24.3  1552769024 false(unreach-call) 7.12  3.76  313245696
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 10.0  5.21 563105792 false(unreach-call) 6.86  3.64  305303552
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 9.43 4.93 538574848 false(unreach-call) 6.65  3.55  307269632
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 10.7  5.58 550604800 false(unreach-call) 7.45  3.98  309108736
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) 11.5  5.95 585494528 false(unreach-call) 6.56  3.50  276164608
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 10.6  5.50 568397824 false(unreach-call) 6.98  3.68  303919104
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 10.1  5.25 529375232 false(unreach-call) 6.92  3.67  308641792
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 9.77 5.08 533917696 false(unreach-call) 6.60  3.53  293216256
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) 12.5  6.44 524640256 false(unreach-call) 6.41  3.40  269275136
pthread-wmm/mix013_power.oepc_false-unreach-call.i false(unreach-call) 26.8  15.9  1325891584 false(unreach-call) 160     128     4614447104
pthread-wmm/mix013_power.opt_false-unreach-call.i false(unreach-call) 323    257    5690515456 false(unreach-call) 15.4   7.94  644014080
pthread-wmm/mix013_pso.oepc_false-unreach-call.i false(unreach-call) 27.9  15.9  1154830336 false(unreach-call) 174     138     4653985792
pthread-wmm/mix013_pso.opt_false-unreach-call.i false(unreach-call) 308    248    5456375808 false(unreach-call) 15.1   7.84  628973568
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i false(unreach-call) 29.2  16.6  1257205760 false(unreach-call) 178     142     4735053824
pthread-wmm/mix013_rmo.opt_false-unreach-call.i false(unreach-call) 305    245    5457723392 false(unreach-call) 15.0   7.80  645632000
pthread-wmm/mix013_tso.oepc_false-unreach-call.i false(unreach-call) 35.3  22.4  1353252864 false(unreach-call) 153     122     4541554688
pthread-wmm/mix013_tso.opt_false-unreach-call.i false(unreach-call) 304    244    5480800256 false(unreach-call) 15.4   8.01  638095360
pthread-wmm/mix014_power.oepc_false-unreach-call.i false(unreach-call) 35.6  22.5  1509560320 false(unreach-call) 167     132     4677615616
pthread-wmm/mix014_power.opt_false-unreach-call.i false(unreach-call) 420    347    6016905216 false(unreach-call) 15.6   8.06  652910592
pthread-wmm/mix014_pso.oepc_false-unreach-call.i false(unreach-call) 39.1  24.7  1482993664 false(unreach-call) 164     128     4665929728
pthread-wmm/mix014_pso.opt_false-unreach-call.i false(unreach-call) 447    364    6174593024 false(unreach-call) 15.6   8.04  632442880
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i false(unreach-call) 36.5  22.2  1494544384 false(unreach-call) 166     130     4777148416
pthread-wmm/mix014_rmo.opt_false-unreach-call.i false(unreach-call) 460    380    5961400320 false(unreach-call) 15.6   8.08  652886016
pthread-wmm/mix014_tso.oepc_false-unreach-call.i timeout 960    858    6253531136 error (invalid witness file) .594 .366 43175936
pthread-wmm/mix014_tso.opt_false-unreach-call.i false(unreach-call) 446    365    6039945216 false(unreach-call) 14.9   7.73  639963136
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 15.5  8.04 609206272 false(unreach-call) 42.3   27.4   1661243392
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 37.7  23.6  1620262912 false(unreach-call) 7.08  3.78  315904000
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 14.5  7.55 601346048 false(unreach-call) 39.9   25.9   1664155648
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 43.2  30.1  1570652160 false(unreach-call) 7.45  3.96  319533056
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 16.7  8.58 711774208 false(unreach-call) 39.5   25.8   1645785088
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 38.2  24.6  1662181376 false(unreach-call) 7.28  3.85  307970048
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 15.3  7.90 608337920 false(unreach-call) 40.1   25.3   1726763008
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 40.5  25.3  1582624768 false(unreach-call) 7.09  3.82  321884160
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 15.8  8.08 605372416 false(unreach-call) 24.9   14.1   1045889024
pthread-wmm/mix016_power.opt_false-unreach-call.i false(unreach-call) 44.6  34.4  1253609472 false(unreach-call) 9.67  5.07  439701504
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 15.7  8.17 606146560 false(unreach-call) 24.4   14.1   1044955136
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 35.9  22.1  1480937472 false(unreach-call) 7.16  3.79  304349184
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 15.9  8.20 615555072 false(unreach-call) 24.4   13.7   1077293056
pthread-wmm/mix016_rmo.opt_false-unreach-call.i false(unreach-call) 28.6  16.1  1335898112 false(unreach-call) 9.82  5.12  443277312
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 15.9  8.19 618577920 false(unreach-call) 24.3   13.8   1061933056
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 30.2  18.9  1304743936 false(unreach-call) 6.88  3.66  306024448
pthread-wmm/mix017_power.oepc_false-unreach-call.i false(unreach-call) 34.1  21.3  1244119040 false(unreach-call) 157     124     4695298048
pthread-wmm/mix017_power.opt_false-unreach-call.i false(unreach-call) 203    159    4936400896 false(unreach-call) 39.7   25.6   1891606528
pthread-wmm/mix017_pso.oepc_false-unreach-call.i false(unreach-call) 45.9  34.7  1304109056 false(unreach-call) 168     131     4666007552
pthread-wmm/mix017_pso.opt_false-unreach-call.i false(unreach-call) 275    222    5220962304 false(unreach-call) 13.8   7.11  521629696
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i false(unreach-call) 29.4  19.3  1276100608 false(unreach-call) 162     127     4689100800
pthread-wmm/mix017_rmo.opt_false-unreach-call.i false(unreach-call) 243    191    4979306496 false(unreach-call) 38.7   25.3   1933107200
pthread-wmm/mix017_tso.oepc_false-unreach-call.i false(unreach-call) 29.7  19.4  1263603712 false(unreach-call) 160     128     4593356800
pthread-wmm/mix017_tso.opt_false-unreach-call.i false(unreach-call) 276    219    5415354368 false(unreach-call) 14.5   7.43  529674240
pthread-wmm/mix018_power.oepc_false-unreach-call.i false(unreach-call) 25.6  15.1  1172221952 false(unreach-call) 166     132     4606595072
pthread-wmm/mix018_power.opt_false-unreach-call.i false(unreach-call) 279    223    5331369984 false(unreach-call) 13.6   7.05  520163328
pthread-wmm/mix018_pso.oepc_false-unreach-call.i false(unreach-call) 33.4  21.1  1203380224 false(unreach-call) 168     133     4758462464
pthread-wmm/mix018_pso.opt_false-unreach-call.i false(unreach-call) 269    215    5242241024 false(unreach-call) 13.6   7.04  522170368
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i false(unreach-call) 28.8  16.5  1223467008 false(unreach-call) 167     135     4641910784
pthread-wmm/mix018_rmo.opt_false-unreach-call.i false(unreach-call) 293    235    5357617152 false(unreach-call) 13.8   7.18  517799936
pthread-wmm/mix018_tso.oepc_false-unreach-call.i false(unreach-call) 99.1  76.0  4081815552 false(unreach-call) 37.6   23.4   1724743680
pthread-wmm/mix018_tso.opt_false-unreach-call.i false(unreach-call) 273    216    5399363584 false(unreach-call) 15.1   7.79  524763136
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 16.6  8.53 600068096 false(unreach-call) 24.0   13.7   1052483584
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 34.7  21.4  1426354176 false(unreach-call) 6.99  3.71  309903360
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 14.6  7.57 609992704 false(unreach-call) 26.3   14.4   1113337856
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 38.0  23.2  1543008256 false(unreach-call) 6.99  3.70  305020928
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 15.9  8.16 608997376 false(unreach-call) 24.9   14.0   1072365568
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 67.6  55.1  1355694080 false(unreach-call) 6.83  3.61  308334592
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 24.6  13.3  959832064 false(unreach-call) 11.0   5.70  440315904
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 35.5  21.7  1515278336 false(unreach-call) 7.24  3.84  304046080
pthread-wmm/mix020_power.oepc_false-unreach-call.i false(unreach-call) 41.6  30.5  1210724352 false(unreach-call) 164     129     4740542464
pthread-wmm/mix020_power.opt_false-unreach-call.i false(unreach-call) 279    222    5252780032 false(unreach-call) 14.4   7.46  550502400
pthread-wmm/mix020_pso.oepc_false-unreach-call.i false(unreach-call) 32.5  22.0  1163698176 false(unreach-call) 176     138     4744105984
pthread-wmm/mix020_pso.opt_false-unreach-call.i false(unreach-call) 291    233    5391872000 false(unreach-call) 14.1   7.26  546078720
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i false(unreach-call) 29.8  17.6  1209483264 false(unreach-call) 156     125     4623761408
pthread-wmm/mix020_rmo.opt_false-unreach-call.i false(unreach-call) 269    215    5266116608 false(unreach-call) 14.3   7.42  556834816
pthread-wmm/mix020_tso.oepc_false-unreach-call.i false(unreach-call) 24.6  14.3  1182437376 false(unreach-call) 176     139     4704710656
pthread-wmm/mix020_tso.opt_false-unreach-call.i false(unreach-call) 295    236    5250953216 false(unreach-call) 15.1   7.75  542810112
pthread-wmm/mix021_power.oepc_false-unreach-call.i false(unreach-call) 34.9  23.2  1210183680 false(unreach-call) 168     133     4745285632
pthread-wmm/mix021_power.opt_false-unreach-call.i false(unreach-call) 261    208    5209542656 false(unreach-call) 14.2   7.34  526073856
pthread-wmm/mix021_pso.oepc_false-unreach-call.i false(unreach-call) 32.6  22.6  1239506944 false(unreach-call) 169     133     4691968000
pthread-wmm/mix021_pso.opt_false-unreach-call.i false(unreach-call) 289    231    5291716608 false(unreach-call) 13.9   7.14  525426688
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i false(unreach-call) 31.7  18.9  1169653760 false(unreach-call) 163     128     4761432064
pthread-wmm/mix021_rmo.opt_false-unreach-call.i false(unreach-call) 290    233    5323673600 false(unreach-call) 14.4   7.41  524644352
pthread-wmm/mix021_tso.oepc_false-unreach-call.i false(unreach-call) 206    172    4798922752 false(unreach-call) 42.1   28.3   1850257408
pthread-wmm/mix021_tso.opt_false-unreach-call.i false(unreach-call) 279    223    5286649856 false(unreach-call) 13.8   7.10  524480512
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 11.0  5.70 563740672 false(unreach-call) 7.39  3.92  295948288
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 11.3  5.86 537427968 false(unreach-call) 7.27  3.84  291627008
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 9.77 5.13 558575616 false(unreach-call) 6.77  3.60  302338048
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 10.7  5.55 560631808 false(unreach-call) 6.63  3.52  296726528
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 11.2  5.82 552857600 false(unreach-call) 7.13  3.79  298172416
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 11.0  5.72 552353792 false(unreach-call) 6.68  3.56  300195840
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 12.1  6.28 543666176 false(unreach-call) 7.47  3.93  334045184
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 12.1  6.24 555323392 false(unreach-call) 7.06  3.75  338333696
pthread-wmm/mix023_power.oepc_false-unreach-call.i false(unreach-call) 39.1  26.2  1780740096 false(unreach-call) 175     141     4637958144
pthread-wmm/mix023_power.opt_false-unreach-call.i false(unreach-call) 488    407    6243835904 false(unreach-call) 55.1   38.6   2457346048
pthread-wmm/mix023_pso.oepc_false-unreach-call.i false(unreach-call) 86.1  72.0  1591947264 false(unreach-call) 163     128     4582735872
pthread-wmm/mix023_pso.opt_false-unreach-call.i false(unreach-call) 497    410    6215852032 false(unreach-call) 53.1   37.4   2520338432
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i false(unreach-call) 41.7  27.1  1628794880 false(unreach-call) 167     133     4767567872
pthread-wmm/mix023_rmo.opt_false-unreach-call.i false(unreach-call) 494    400    6245564416 false(unreach-call) 56.9   40.1   2678034432
pthread-wmm/mix023_tso.oepc_false-unreach-call.i timeout 943    867    5714268160 error 5.31  2.83  281780224
pthread-wmm/mix023_tso.opt_false-unreach-call.i timeout 938    862    5707538432 error 5.37  2.90  270139392
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 18.3  9.41 739598336 false(unreach-call) 42.2   28.2   1897664512
pthread-wmm/mix024_power.opt_false-unreach-call.i false(unreach-call) 47.9  35.6  1507082240 false(unreach-call) 10.3   5.36  491102208
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 18.3  9.40 761196544 false(unreach-call) 42.9   28.3   1909055488
pthread-wmm/mix024_pso.opt_false-unreach-call.i false(unreach-call) 50.9  37.8  1489936384 false(unreach-call) 10.5   5.43  499458048
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 17.3  9.02 824508416 false(unreach-call) 42.9   28.0   1932099584
pthread-wmm/mix024_rmo.opt_false-unreach-call.i false(unreach-call) 46.8  33.4  1500434432 false(unreach-call) 10.8   5.62  501841920
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 18.0  9.37 735703040 false(unreach-call) 42.4   28.2   1836339200
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 19.4  9.98 774881280 false(unreach-call) 42.4   28.3   1902608384
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 17.5  9.16 777990144 false(unreach-call) 24.8   14.3   1030668288
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 17.1  9.11 793944064 false(unreach-call) 26.2   14.5   1096835072
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 18.2  9.49 810856448 false(unreach-call) 24.1   13.8   1111093248
pthread-wmm/mix025_pso.opt_false-unreach-call.i false(unreach-call) 35.9  24.3  1380429824 false(unreach-call) 9.78  5.15  444305408
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 17.9  9.24 753954816 false(unreach-call) 23.8   14.0   1065484288
pthread-wmm/mix025_rmo.opt_false-unreach-call.i false(unreach-call) 38.3  25.1  1513037824 false(unreach-call) 9.91  5.17  438829056
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 17.5  9.15 796999680 false(unreach-call) 27.0   15.0   1096060928
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 17.0  8.89 787320832 false(unreach-call) 25.1   14.7   1060614144
pthread-wmm/mix026_power.oepc_false-unreach-call.i false(unreach-call) 50.7  36.7  1530531840 false(unreach-call) 172     135     4752347136
pthread-wmm/mix026_power.opt_false-unreach-call.i false(unreach-call) 158    124    4509904896 false(unreach-call) 45.4   29.9   2184982528
pthread-wmm/mix026_pso.oepc_false-unreach-call.i false(unreach-call) 28.7  18.0  1408241664 false(unreach-call) 185     149     4659769344
pthread-wmm/mix026_pso.opt_false-unreach-call.i false(unreach-call) 273    219    5272735744 false(unreach-call) 43.1   28.7   2067111936
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i false(unreach-call) 30.8  19.0  1420042240 false(unreach-call) 189     153     4681547776
pthread-wmm/mix026_rmo.opt_false-unreach-call.i false(unreach-call) 283    227    5356617728 false(unreach-call) 42.1   27.4   1980342272
pthread-wmm/mix026_tso.oepc_false-unreach-call.i false(unreach-call) 34.0  21.4  1378779136 false(unreach-call) 172     135     4726124544
pthread-wmm/mix026_tso.opt_false-unreach-call.i false(unreach-call) 170    133    4540649472 false(unreach-call) 45.4   29.6   2214674432
pthread-wmm/mix027_power.oepc_false-unreach-call.i false(unreach-call) 32.6  20.6  1457172480 false(unreach-call) 182     147     4766220288
pthread-wmm/mix027_power.opt_false-unreach-call.i false(unreach-call) 293    234    5411889152 false(unreach-call) 41.8   28.0   1972531200
pthread-wmm/mix027_pso.oepc_false-unreach-call.i false(unreach-call) 31.4  19.0  1377132544 false(unreach-call) 173     138     4682973184
pthread-wmm/mix027_pso.opt_false-unreach-call.i false(unreach-call) 280    226    5320884224 false(unreach-call) 45.0   29.6   2012762112
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i false(unreach-call) 45.9  31.5  1482092544 false(unreach-call) 172     138     4726181888
pthread-wmm/mix027_rmo.opt_false-unreach-call.i false(unreach-call) 291    233    5362769920 false(unreach-call) 43.2   28.0   1943965696
pthread-wmm/mix027_tso.oepc_false-unreach-call.i false(unreach-call) 129    104    4368936960 false(unreach-call) 39.7   25.6   1646718976
pthread-wmm/mix027_tso.opt_false-unreach-call.i false(unreach-call) 139    112    4284112896 false(unreach-call) 57.9   43.5   1609969664
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 17.2  8.88 788455424 false(unreach-call) 23.3   13.4   1101725696
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 26.8  14.7  1169989632 false(unreach-call) 10.9   5.66  438304768
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 17.2  9.04 804806656 false(unreach-call) 24.9   14.6   1065046016
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 25.3  14.8  1260552192 false(unreach-call) 10.7   5.57  431034368
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 18.8  9.72 759431168 false(unreach-call) 24.6   14.2   1103257600
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 36.4  26.2  1252401152 false(unreach-call) 10.6   5.51  442830848
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 31.6  19.8  1360642048 false(unreach-call) 9.05  4.73  442343424
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 36.3  22.5  1434370048 false(unreach-call) 9.05  4.77  438288384
pthread-wmm/mix029_power.oepc_false-unreach-call.i false(unreach-call) 31.2  19.1  1408925696 false(unreach-call) 167     135     4648894464
pthread-wmm/mix029_power.opt_false-unreach-call.i false(unreach-call) 283    236    4841426944 false(unreach-call) 44.3   30.2   2020786176
pthread-wmm/mix029_pso.oepc_false-unreach-call.i false(unreach-call) 38.1  25.5  1421684736 false(unreach-call) 186     148     4679929856
pthread-wmm/mix029_pso.opt_false-unreach-call.i false(unreach-call) 272    228    5078740992 false(unreach-call) 44.4   30.4   1930899456
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i false(unreach-call) 43.5  30.4  1519316992 false(unreach-call) 183     147     4730273792
pthread-wmm/mix029_rmo.opt_false-unreach-call.i false(unreach-call) 269    226    4787986432 false(unreach-call) 45.4   30.7   1990115328
pthread-wmm/mix029_tso.oepc_false-unreach-call.i false(unreach-call) 31.1  18.9  1341894656 false(unreach-call) 166     131     4681310208
pthread-wmm/mix029_tso.opt_false-unreach-call.i false(unreach-call) 30.7  19.2  1454342144 false(unreach-call) 178     143     4772958208
pthread-wmm/mix030_power.oepc_false-unreach-call.i false(unreach-call) 30.7  19.0  1414619136 false(unreach-call) 176     139     4715347968
pthread-wmm/mix030_power.opt_false-unreach-call.i false(unreach-call) 256    218    4920872960 false(unreach-call) 45.6   30.8   2013466624
pthread-wmm/mix030_pso.oepc_false-unreach-call.i false(unreach-call) 37.7  22.7  1465421824 false(unreach-call) 167     133     4676943872
pthread-wmm/mix030_pso.opt_false-unreach-call.i false(unreach-call) 246    207    4973744128 false(unreach-call) 45.8   31.6   1914245120
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i false(unreach-call) 43.4  30.0  1332449280 false(unreach-call) 179     144     4752891904
pthread-wmm/mix030_rmo.opt_false-unreach-call.i false(unreach-call) 260    221    4958670848 false(unreach-call) 45.3   30.8   2010697728
pthread-wmm/mix030_tso.oepc_false-unreach-call.i false(unreach-call) 293    241    5346275328 false(unreach-call) 15.4   7.98  623788032
pthread-wmm/mix030_tso.opt_false-unreach-call.i false(unreach-call) 314    255    5360701440 false(unreach-call) 15.9   8.32  620453888
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 9.78 5.11 547893248 false(unreach-call) 7.29  3.86  317313024
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) 9.78 5.13 509644800 false(unreach-call) 6.31  3.34  269561856
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 10.7  5.57 533155840 false(unreach-call) 7.33  3.89  323096576
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) 9.82 5.11 508821504 false(unreach-call) 6.35  3.36  281931776
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 10.8  5.57 539164672 false(unreach-call) 7.08  3.75  319361024
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) 9.81 5.16 498401280 false(unreach-call) 6.56  3.49  284590080
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 9.38 4.90 538677248 false(unreach-call) 7.23  3.77  322330624
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) 9.53 4.98 506368000 false(unreach-call) 6.18  3.30  269266944
pthread-wmm/mix032_power.oepc_false-unreach-call.i false(unreach-call) 17.7  9.10 742182912 false(unreach-call) 27.2   15.1   1124294656
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 20.4  10.8  875921408 false(unreach-call) 7.80  4.16  432918528
pthread-wmm/mix032_pso.oepc_false-unreach-call.i false(unreach-call) 17.6  9.09 747106304 false(unreach-call) 25.6   14.5   1059323904
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 19.7  10.5  1003929600 false(unreach-call) 7.62  4.03  438317056
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i false(unreach-call) 15.2  7.91 665837568 false(unreach-call) 23.8   13.8   1073078272
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 19.8  10.6  945020928 false(unreach-call) 7.94  4.20  439246848
pthread-wmm/mix032_tso.oepc_false-unreach-call.i false(unreach-call) 17.7  9.18 785666048 false(unreach-call) 24.1   13.8   1097265152
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 20.4  10.8  937857024 false(unreach-call) 7.89  4.20  440016896
pthread-wmm/mix033_power.oepc_false-unreach-call.i false(unreach-call) 17.4  8.94 729796608 false(unreach-call) 24.6   14.2   1065000960
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 21.6  11.3  958382080 false(unreach-call) 7.77  4.07  438423552
pthread-wmm/mix033_pso.oepc_false-unreach-call.i false(unreach-call) 16.5  8.63 760066048 false(unreach-call) 24.9   14.3   1110671360
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 20.4  11.0  946651136 false(unreach-call) 7.40  3.90  431292416
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i false(unreach-call) 15.9  8.22 771465216 false(unreach-call) 23.9   13.9   1078194176
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 20.8  11.0  946819072 false(unreach-call) 7.66  4.05  437522432
pthread-wmm/mix033_tso.oepc_false-unreach-call.i false(unreach-call) 24.5  13.9  1205080064 false(unreach-call) 22.9   11.9   741089280
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 20.6  10.9  922378240 false(unreach-call) 7.90  4.16  437411840
pthread-wmm/mix034_power.oepc_false-unreach-call.i false(unreach-call) 10.7  5.56 561070080 false(unreach-call) 6.96  3.71  296415232
pthread-wmm/mix034_power.opt_false-unreach-call.i false(unreach-call) 10.7  5.57 556052480 false(unreach-call) 6.74  3.59  309391360
pthread-wmm/mix034_pso.oepc_false-unreach-call.i false(unreach-call) 11.2  5.82 539467776 false(unreach-call) 6.99  3.72  309563392
pthread-wmm/mix034_pso.opt_false-unreach-call.i false(unreach-call) 10.1  5.24 469569536 false(unreach-call) 6.39  3.42  273948672
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i false(unreach-call) 10.0  5.23 540803072 false(unreach-call) 6.92  3.66  309501952
pthread-wmm/mix034_rmo.opt_false-unreach-call.i false(unreach-call) 10.8  5.61 547553280 false(unreach-call) 6.89  3.64  310358016
pthread-wmm/mix034_tso.oepc_false-unreach-call.i false(unreach-call) 10.4  5.44 564371456 false(unreach-call) 6.68  3.54  309125120
pthread-wmm/mix034_tso.opt_false-unreach-call.i false(unreach-call) 9.30 4.89 469913600 false(unreach-call) 6.30  3.36  271568896
pthread-wmm/mix035_power.oepc_false-unreach-call.i false(unreach-call) 15.7  8.13 607805440 false(unreach-call) 24.1   13.9   1055010816
pthread-wmm/mix035_power.opt_false-unreach-call.i false(unreach-call) 38.6  25.8  1435623424 false(unreach-call) 9.60  5.02  433315840
pthread-wmm/mix035_pso.oepc_false-unreach-call.i false(unreach-call) 16.6  8.56 619208704 false(unreach-call) 24.6   14.1   1085587456
pthread-wmm/mix035_pso.opt_false-unreach-call.i false(unreach-call) 19.6  10.3  858611712 false(unreach-call) 7.62  4.02  367263744
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i false(unreach-call) 16.9  8.72 618381312 false(unreach-call) 28.5   16.5   1189347328
pthread-wmm/mix035_rmo.opt_false-unreach-call.i false(unreach-call) 28.9  17.0  1397514240 false(unreach-call) 10.0   5.22  449540096
pthread-wmm/mix035_tso.oepc_false-unreach-call.i false(unreach-call) 16.4  8.50 619945984 false(unreach-call) 27.8   15.6   1103134720
pthread-wmm/mix035_tso.opt_false-unreach-call.i false(unreach-call) 20.8  10.8  912257024 false(unreach-call) 7.54  3.98  356290560
pthread-wmm/mix036_power.oepc_false-unreach-call.i false(unreach-call) 32.9  21.0  1242271744 false(unreach-call) 186     146     4694028288
pthread-wmm/mix036_power.opt_false-unreach-call.i false(unreach-call) 237    186    5129457664 false(unreach-call) 44.2   28.9   2074828800
pthread-wmm/mix036_pso.oepc_false-unreach-call.i false(unreach-call) 31.1  20.1  1325694976 false(unreach-call) 182     144     4681338880
pthread-wmm/mix036_pso.opt_false-unreach-call.i false(unreach-call) 201    164    4645629952 false(unreach-call) 18.6   9.64  703057920
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i false(unreach-call) 27.4  16.1  1181671424 false(unreach-call) 169     133     4681293824
pthread-wmm/mix036_rmo.opt_false-unreach-call.i false(unreach-call) 231    180    5155590144 false(unreach-call) 44.3   29.5   1949216768
pthread-wmm/mix036_tso.oepc_false-unreach-call.i false(unreach-call) 28.0  16.5  1231659008 false(unreach-call) 172     135     4707352576
pthread-wmm/mix036_tso.opt_false-unreach-call.i false(unreach-call) 159    121    4747350016 false(unreach-call) 19.5   10.1   696205312
pthread-wmm/mix037_power.oepc_false-unreach-call.i false(unreach-call) 25.2  14.8  1251827712 false(unreach-call) 163     128     4685316096
pthread-wmm/mix037_power.opt_false-unreach-call.i false(unreach-call) 138    104    4639318016 false(unreach-call) 18.5   9.63  706420736
pthread-wmm/mix037_pso.oepc_false-unreach-call.i false(unreach-call) 40.1  29.4  1284739072 false(unreach-call) 179     141     4804087808
pthread-wmm/mix037_pso.opt_false-unreach-call.i false(unreach-call) 139    103    4672995328 false(unreach-call) 18.7   9.63  712105984
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i false(unreach-call) 31.2  18.8  1220841472 false(unreach-call) 174     136     4688584704
pthread-wmm/mix037_rmo.opt_false-unreach-call.i false(unreach-call) 136    100    4721799168 false(unreach-call) 18.8   9.90  717082624
pthread-wmm/mix037_tso.oepc_false-unreach-call.i false(unreach-call) 101    77.3  4310523904 false(unreach-call) 41.7   25.5   1756770304
pthread-wmm/mix037_tso.opt_false-unreach-call.i false(unreach-call) 137    102    4728078336 false(unreach-call) 18.8   9.77  705069056
pthread-wmm/mix038_power.oepc_false-unreach-call.i false(unreach-call) 16.2  8.38 618582016 false(unreach-call) 23.8   13.7   1050497024
pthread-wmm/mix038_power.opt_false-unreach-call.i false(unreach-call) 19.4  10.3  836792320 false(unreach-call) 7.61  4.02  365293568
pthread-wmm/mix038_pso.oepc_false-unreach-call.i false(unreach-call) 14.8  7.70 604520448 false(unreach-call) 24.7   14.2   1109368832
pthread-wmm/mix038_pso.opt_false-unreach-call.i false(unreach-call) 18.8  9.92 869449728 false(unreach-call) 7.78  4.11  359366656
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i false(unreach-call) 14.7  7.56 602112000 false(unreach-call) 24.4   14.2   1110216704
pthread-wmm/mix038_rmo.opt_false-unreach-call.i false(unreach-call) 19.3  10.1  858492928 false(unreach-call) 7.52  3.98  363233280
pthread-wmm/mix038_tso.oepc_false-unreach-call.i false(unreach-call) 22.5  12.6  1014640640 false(unreach-call) 11.2   5.77  441982976
pthread-wmm/mix038_tso.opt_false-unreach-call.i false(unreach-call) 19.4  10.1  854016000 false(unreach-call) 7.77  4.11  365408256
pthread-wmm/mix039_power.oepc_false-unreach-call.i false(unreach-call) 29.2  16.9  1251799040 false(unreach-call) 183     144     4739952640
pthread-wmm/mix039_power.opt_false-unreach-call.i false(unreach-call) 202    163    4752441344 false(unreach-call) 20.3   10.5   681218048
pthread-wmm/mix039_pso.oepc_false-unreach-call.i false(unreach-call) 27.2  16.0  1295204352 false(unreach-call) 167     131     4669366272
pthread-wmm/mix039_pso.opt_false-unreach-call.i false(unreach-call) 134    99.9  4696367104 false(unreach-call) 19.7   10.2   704811008
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i false(unreach-call) 36.9  25.7  1238958080 false(unreach-call) 163     128     4731146240
pthread-wmm/mix039_rmo.opt_false-unreach-call.i false(unreach-call) 186    151    4714844160 false(unreach-call) 20.0   10.3   728440832
pthread-wmm/mix039_tso.oepc_false-unreach-call.i false(unreach-call) 27.4  16.1  1198628864 false(unreach-call) 178     140     4667559936
pthread-wmm/mix039_tso.opt_false-unreach-call.i false(unreach-call) 138    101    4635889664 false(unreach-call) 19.4   10.1   708247552
pthread-wmm/mix040_power.oepc_false-unreach-call.i false(unreach-call) 38.7  28.7  1269260288 false(unreach-call) 173     136     4645535744
pthread-wmm/mix040_power.opt_false-unreach-call.i false(unreach-call) 146    107    4621955072 false(unreach-call) 17.8   9.42  730431488
pthread-wmm/mix040_pso.oepc_false-unreach-call.i false(unreach-call) 25.8  15.4  1299275776 false(unreach-call) 166     130     4719099904
pthread-wmm/mix040_pso.opt_false-unreach-call.i false(unreach-call) 193    159    4703846400 false(unreach-call) 18.3   9.44  700252160
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i false(unreach-call) 29.9  17.0  1217871872 false(unreach-call) 186     146     4619923456
pthread-wmm/mix040_rmo.opt_false-unreach-call.i false(unreach-call) 134    98.4  4705075200 false(unreach-call) 17.9   9.44  694341632
pthread-wmm/mix040_tso.oepc_false-unreach-call.i false(unreach-call) 196    158    4718178304 false(unreach-call) 45.6   30.4   1903218688
pthread-wmm/mix040_tso.opt_false-unreach-call.i false(unreach-call) 181    144    4705251328 false(unreach-call) 18.4   9.47  705187840
pthread-wmm/mix041_power.oepc_false-unreach-call.i false(unreach-call) 10.6  5.53 562851840 false(unreach-call) 7.65  4.02  300216320
pthread-wmm/mix041_power.opt_false-unreach-call.i false(unreach-call) 8.52 4.50 448905216 false(unreach-call) 7.26  3.83  323915776
pthread-wmm/mix041_pso.oepc_false-unreach-call.i false(unreach-call) 10.6  5.55 556556288 false(unreach-call) 7.24  3.83  302735360
pthread-wmm/mix041_pso.opt_false-unreach-call.i false(unreach-call) 8.73 4.59 431120384 false(unreach-call) 7.17  3.77  323227648
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i false(unreach-call) 10.9  5.63 552263680 false(unreach-call) 7.05  3.74  299741184
pthread-wmm/mix041_rmo.opt_false-unreach-call.i false(unreach-call) 8.39 4.40 448143360 false(unreach-call) 7.26  3.87  322129920
pthread-wmm/mix041_tso.oepc_false-unreach-call.i false(unreach-call) 8.47 4.45 448405504 false(unreach-call) 6.79  3.60  317136896
pthread-wmm/mix041_tso.opt_false-unreach-call.i false(unreach-call) 8.22 4.32 433516544 false(unreach-call) 7.02  3.69  320413696
pthread-wmm/mix042_power.oepc_false-unreach-call.i false(unreach-call) 14.9  7.72 596787200 false(unreach-call) 27.5   15.9   1102557184
pthread-wmm/mix042_power.opt_false-unreach-call.i false(unreach-call) 17.0  8.84 642977792 false(unreach-call) 10.2   5.32  435847168
pthread-wmm/mix042_pso.oepc_false-unreach-call.i false(unreach-call) 16.2  8.38 630349824 false(unreach-call) 27.4   16.0   1186889728
pthread-wmm/mix042_pso.opt_false-unreach-call.i false(unreach-call) 17.1  8.86 683929600 false(unreach-call) 9.91  5.20  430702592
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i false(unreach-call) 16.3  8.41 628244480 false(unreach-call) 24.1   13.8   1111977984
pthread-wmm/mix042_rmo.opt_false-unreach-call.i false(unreach-call) 16.8  8.76 690245632 false(unreach-call) 10.3   5.35  436662272
pthread-wmm/mix042_tso.oepc_false-unreach-call.i false(unreach-call) 15.0  7.74 620933120 false(unreach-call) 25.0   14.1   1087029248
pthread-wmm/mix042_tso.opt_false-unreach-call.i false(unreach-call) 16.7  8.62 651542528 false(unreach-call) 9.83  5.13  442859520
pthread-wmm/mix043_power.oepc_false-unreach-call.i false(unreach-call) 40.1  28.3  1296809984 false(unreach-call) 191     151     4720525312
pthread-wmm/mix043_power.opt_false-unreach-call.i false(unreach-call) 89.9  64.7  4264251392 false(unreach-call) 19.1   10.2   682409984
pthread-wmm/mix043_pso.oepc_false-unreach-call.i false(unreach-call) 28.2  16.8  1205723136 false(unreach-call) 165     130     4742471680
pthread-wmm/mix043_pso.opt_false-unreach-call.i false(unreach-call) 118    91.3  4263231488 false(unreach-call) 19.7   10.6   693035008
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i false(unreach-call) 36.8  25.2  1263669248 false(unreach-call) 185     146     4705300480
pthread-wmm/mix043_rmo.opt_false-unreach-call.i false(unreach-call) 180    151    4591378432 false(unreach-call) 20.5   10.9   687955968
pthread-wmm/mix043_tso.oepc_false-unreach-call.i false(unreach-call) 28.4  16.4  1270484992 false(unreach-call) 184     148     4670578688
pthread-wmm/mix043_tso.opt_false-unreach-call.i false(unreach-call) 85.4  62.3  4137832448 false(unreach-call) 20.5   10.6   716296192
pthread-wmm/mix044_power.oepc_false-unreach-call.i false(unreach-call) 27.3  16.2  1191333888 false(unreach-call) 177     138     4715806720
pthread-wmm/mix044_power.opt_false-unreach-call.i false(unreach-call) 91.0  66.1  4235534336 false(unreach-call) 20.5   10.7   689606656
pthread-wmm/mix044_pso.oepc_false-unreach-call.i false(unreach-call) 37.7  26.2  1208803328 false(unreach-call) 165     130     4719509504
pthread-wmm/mix044_pso.opt_false-unreach-call.i false(unreach-call) 96.8  69.4  4231553024 false(unreach-call) 21.7   11.2   700108800
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i false(unreach-call) 28.6  16.7  1203695616 false(unreach-call) 179     142     4750204928
pthread-wmm/mix044_rmo.opt_false-unreach-call.i false(unreach-call) 88.0  64.2  4321095680 false(unreach-call) 21.1   11.0   694108160
pthread-wmm/mix044_tso.oepc_false-unreach-call.i false(unreach-call) 108    83.9  4246237184 false(unreach-call) 66.4   49.6   2167865344
pthread-wmm/mix044_tso.opt_false-unreach-call.i false(unreach-call) 94.2  68.3  4280451072 false(unreach-call) 21.8   11.4   716787712
pthread-wmm/mix045_power.oepc_false-unreach-call.i false(unreach-call) 16.1  8.30 618262528 false(unreach-call) 25.6   14.7   1081851904
pthread-wmm/mix045_power.opt_false-unreach-call.i false(unreach-call) 17.1  8.81 675049472 false(unreach-call) 10.5   5.47  439357440
pthread-wmm/mix045_pso.oepc_false-unreach-call.i false(unreach-call) 14.6  7.55 593592320 false(unreach-call) 24.3   13.9   1063542784
pthread-wmm/mix045_pso.opt_false-unreach-call.i false(unreach-call) 16.5  8.58 642797568 false(unreach-call) 10.6   5.49  439840768
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i false(unreach-call) 17.7  9.05 646381568 false(unreach-call) 23.4   13.6   1093689344
pthread-wmm/mix045_rmo.opt_false-unreach-call.i false(unreach-call) 16.9  8.77 642637824 false(unreach-call) 9.82  5.13  443576320
pthread-wmm/mix045_tso.oepc_false-unreach-call.i false(unreach-call) 17.1  8.80 659845120 false(unreach-call) 9.55  4.97  435396608
pthread-wmm/mix045_tso.opt_false-unreach-call.i false(unreach-call) 17.1  8.85 652709888 false(unreach-call) 10.1   5.22  433004544
pthread-wmm/mix046_power.oepc_false-unreach-call.i false(unreach-call) 53.3  40.2  1367764992 false(unreach-call) 168     132     4709494784
pthread-wmm/mix046_power.opt_false-unreach-call.i false(unreach-call) 101    71.9  4171788288 false(unreach-call) 18.6   10.1   701640704
pthread-wmm/mix046_pso.oepc_false-unreach-call.i false(unreach-call) 26.8  15.5  1344753664 false(unreach-call) 171     134     4712660992
pthread-wmm/mix046_pso.opt_false-unreach-call.i false(unreach-call) 84.7  62.4  4176482304 false(unreach-call) 19.4   10.4   698036224
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i false(unreach-call) 38.0  27.4  1188577280 false(unreach-call) 170     133     4679061504
pthread-wmm/mix046_rmo.opt_false-unreach-call.i false(unreach-call) 84.2  61.5  4049002496 false(unreach-call) 21.7   11.2   712323072
pthread-wmm/mix046_tso.oepc_false-unreach-call.i false(unreach-call) 40.8  29.9  1210654720 false(unreach-call) 175     138     4790448128
pthread-wmm/mix046_tso.opt_false-unreach-call.i false(unreach-call) 136    109    4322115584 false(unreach-call) 19.7   10.6   689844224
pthread-wmm/mix047_power.oepc_false-unreach-call.i false(unreach-call) 26.5  15.6  1280339968 false(unreach-call) 179     142     4756828160
pthread-wmm/mix047_power.opt_false-unreach-call.i false(unreach-call) 206    183    4094660608 false(unreach-call) 19.6   10.4   707133440
pthread-wmm/mix047_pso.oepc_false-unreach-call.i false(unreach-call) 30.3  17.2  1183121408 false(unreach-call) 182     143     4751245312
pthread-wmm/mix047_pso.opt_false-unreach-call.i false(unreach-call) 89.9  65.7  4445810688 false(unreach-call) 20.7   11.0   711532544
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i false(unreach-call) 47.4  36.5  1215275008 false(unreach-call) 168     130     4651601920
pthread-wmm/mix047_rmo.opt_false-unreach-call.i false(unreach-call) 228    205    4153487360 false(unreach-call) 20.3   10.7   705134592
pthread-wmm/mix047_tso.oepc_false-unreach-call.i false(unreach-call) 102    73.6  4005724160 false(unreach-call) 19.7   10.4   722403328
pthread-wmm/mix047_tso.opt_false-unreach-call.i false(unreach-call) 121    98.2  4265930752 false(unreach-call) 20.7   10.9   699547648
pthread-wmm/mix048_power.oepc_false-unreach-call.i false(unreach-call) 10.7  5.55 550559744 false(unreach-call) 6.50  3.44  300568576
pthread-wmm/mix048_power.opt_false-unreach-call.i false(unreach-call) 10.4  5.43 562708480 false(unreach-call) 7.15  3.77  295026688
pthread-wmm/mix048_pso.oepc_false-unreach-call.i false(unreach-call) 12.1  6.27 547278848 false(unreach-call) 7.22  3.81  296140800
pthread-wmm/mix048_pso.opt_false-unreach-call.i false(unreach-call) 10.6  5.49 558505984 false(unreach-call) 6.74  3.57  306913280
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i false(unreach-call) 9.59 5.04 551477248 false(unreach-call) 6.76  3.58  295362560
pthread-wmm/mix048_rmo.opt_false-unreach-call.i false(unreach-call) 10.8  5.58 557465600 false(unreach-call) 6.69  3.55  297754624
pthread-wmm/mix048_tso.oepc_false-unreach-call.i false(unreach-call) 10.5  5.50 558219264 false(unreach-call) 6.68  3.58  299040768
pthread-wmm/mix048_tso.opt_false-unreach-call.i false(unreach-call) 10.6  5.53 543223808 false(unreach-call) 6.68  3.54  295792640
pthread-wmm/mix049_power.oepc_false-unreach-call.i false(unreach-call) 14.1  7.27 608931840 false(unreach-call) 23.9   13.7   1049591808
pthread-wmm/mix049_power.opt_false-unreach-call.i false(unreach-call) 15.4  7.95 589578240 false(unreach-call) 27.6   15.5   1145438208
pthread-wmm/mix049_pso.oepc_false-unreach-call.i false(unreach-call) 16.2  8.29 615014400 false(unreach-call) 23.9   13.8   1054965760
pthread-wmm/mix049_pso.opt_false-unreach-call.i false(unreach-call) 15.7  8.05 619397120 false(unreach-call) 27.3   14.9   1091715072
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i false(unreach-call) 14.3  7.41 608661504 false(unreach-call) 24.6   13.9   1070518272
pthread-wmm/mix049_rmo.opt_false-unreach-call.i false(unreach-call) 14.3  7.39 609415168 false(unreach-call) 25.1   14.0   1081659392
pthread-wmm/mix049_tso.oepc_false-unreach-call.i false(unreach-call) 16.2  8.33 609562624 false(unreach-call) 26.0   14.6   1069879296
pthread-wmm/mix049_tso.opt_false-unreach-call.i false(unreach-call) 14.8  7.65 615010304 false(unreach-call) 25.0   14.0   1048215552
pthread-wmm/mix050_power.oepc_false-unreach-call.i false(unreach-call) 24.8  14.6  1280290816 false(unreach-call) 156     120     4652384256
pthread-wmm/mix050_power.opt_false-unreach-call.i false(unreach-call) 25.3  14.8  1236856832 false(unreach-call) 178     143     4689653760
pthread-wmm/mix050_pso.oepc_false-unreach-call.i false(unreach-call) 31.6  18.5  1204596736 false(unreach-call) 157     125     4671016960
pthread-wmm/mix050_pso.opt_false-unreach-call.i false(unreach-call) 31.5  17.3  1171603456 false(unreach-call) 168     132     4727992320
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i false(unreach-call) 30.7  19.4  1235779584 false(unreach-call) 183     147     4659564544
pthread-wmm/mix050_rmo.opt_false-unreach-call.i false(unreach-call) 31.7  19.0  1233473536 false(unreach-call) 165     131     4598280192
pthread-wmm/mix050_tso.oepc_false-unreach-call.i false(unreach-call) 27.9  16.9  1206067200 false(unreach-call) 158     127     4604649472
pthread-wmm/mix050_tso.opt_false-unreach-call.i false(unreach-call) 25.2  14.9  1179570176 false(unreach-call) 174     137     4677373952
pthread-wmm/mix051_power.oepc_false-unreach-call.i false(unreach-call) 29.4  18.7  1250783232 false(unreach-call) 171     137     4657053696
pthread-wmm/mix051_power.opt_false-unreach-call.i false(unreach-call) 30.8  19.2  1212174336 false(unreach-call) 182     149     4664119296
pthread-wmm/mix051_pso.oepc_false-unreach-call.i false(unreach-call) 27.1  15.5  1133289472 false(unreach-call) 172     140     4605546496
pthread-wmm/mix051_pso.opt_false-unreach-call.i false(unreach-call) 121    89.1  4672966656 false(unreach-call) 12.5   6.43  504205312
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i false(unreach-call) 26.7  15.4  1174753280 false(unreach-call) 169     134     4742307840
pthread-wmm/mix051_rmo.opt_false-unreach-call.i false(unreach-call) 150    118    4590112768 false(unreach-call) 12.5   6.45  517996544
pthread-wmm/mix051_tso.oepc_false-unreach-call.i false(unreach-call) 83.0  63.5  3845234688 false(unreach-call) 35.4   22.4   1678008320
pthread-wmm/mix051_tso.opt_false-unreach-call.i false(unreach-call) 177    143    4649226240 false(unreach-call) 12.5   6.42  489951232
pthread-wmm/mix052_power.oepc_false-unreach-call.i false(unreach-call) 15.9  8.15 629366784 false(unreach-call) 26.1   14.8   1107742720
pthread-wmm/mix052_power.opt_false-unreach-call.i false(unreach-call) 14.2  7.37 593989632 false(unreach-call) 25.5   14.4   1079521280
pthread-wmm/mix052_pso.oepc_false-unreach-call.i false(unreach-call) 15.7  8.06 602988544 false(unreach-call) 24.4   13.8   1042739200
pthread-wmm/mix052_pso.opt_false-unreach-call.i false(unreach-call) 18.3  9.54 875331584 false(unreach-call) 7.02  3.73  283107328
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i false(unreach-call) 15.9  8.22 619589632 false(unreach-call) 26.9   15.7   1155796992
pthread-wmm/mix052_rmo.opt_false-unreach-call.i false(unreach-call) 18.0  9.50 852951040 false(unreach-call) 6.44  3.46  289484800
pthread-wmm/mix052_tso.oepc_false-unreach-call.i false(unreach-call) 22.9  12.4  959401984 false(unreach-call) 10.6   5.53  440406016
pthread-wmm/mix052_tso.opt_false-unreach-call.i false(unreach-call) 18.3  9.62 884359168 false(unreach-call) 6.97  3.72  276721664
pthread-wmm/mix053_power.oepc_false-unreach-call.i false(unreach-call) 29.9  18.1  1214308352 false(unreach-call) 171     136     4689092608
pthread-wmm/mix053_power.opt_false-unreach-call.i false(unreach-call) 174    143    4589178880 false(unreach-call) 12.6   6.55  490790912
pthread-wmm/mix053_pso.oepc_false-unreach-call.i false(unreach-call) 23.9  14.2  1111318528 false(unreach-call) 169     136     4691652608
pthread-wmm/mix053_pso.opt_false-unreach-call.i false(unreach-call) 124    90.7  4585709568 false(unreach-call) 12.1   6.29  498352128
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i false(unreach-call) 25.5  15.4  1220120576 false(unreach-call) 184     147     4678631424
pthread-wmm/mix053_rmo.opt_false-unreach-call.i false(unreach-call) 211    177    4594167808 false(unreach-call) 12.4   6.41  504786944
pthread-wmm/mix053_tso.oepc_false-unreach-call.i false(unreach-call) 177    143    4742950912 false(unreach-call) 41.1   26.3   1809584128
pthread-wmm/mix053_tso.opt_false-unreach-call.i false(unreach-call) 162    126    4625231872 false(unreach-call) 12.8   6.59  502489088
pthread-wmm/mix054_power.oepc_false-unreach-call.i false(unreach-call) 10.5  5.45 552644608 false(unreach-call) 6.97  3.69  306692096
pthread-wmm/mix054_power.opt_false-unreach-call.i false(unreach-call) 10.3  5.39 549376000 false(unreach-call) 6.92  3.69  301711360
pthread-wmm/mix054_pso.oepc_false-unreach-call.i false(unreach-call) 10.4  5.43 561528832 false(unreach-call) 6.88  3.68  299704320
pthread-wmm/mix054_pso.opt_false-unreach-call.i false(unreach-call) 8.18 4.30 448811008 false(unreach-call) 7.59  4.00  322793472
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i false(unreach-call) 10.7  5.60 560480256 false(unreach-call) 6.74  3.59  294256640
pthread-wmm/mix054_rmo.opt_false-unreach-call.i false(unreach-call) 8.29 4.38 451928064 false(unreach-call) 7.01  3.74  320598016
pthread-wmm/mix054_tso.oepc_false-unreach-call.i false(unreach-call) 8.43 4.46 453193728 false(unreach-call) 6.86  3.66  318808064
pthread-wmm/mix054_tso.opt_false-unreach-call.i false(unreach-call) 8.60 4.51 449683456 false(unreach-call) 7.05  3.72  322560000
pthread-wmm/mix055_power.oepc_false-unreach-call.i false(unreach-call) 29.2  16.7  1202270208 false(unreach-call) 156     124     4584804352
pthread-wmm/mix055_power.opt_false-unreach-call.i false(unreach-call) 104    83.0  4284600320 false(unreach-call) 13.2   6.87  502951936
pthread-wmm/mix055_pso.oepc_false-unreach-call.i false(unreach-call) 28.0  15.8  1125388288 false(unreach-call) 149     118     4624707584
pthread-wmm/mix055_pso.opt_false-unreach-call.i false(unreach-call) 121    96.5  4268634112 false(unreach-call) 13.1   6.72  486375424
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i false(unreach-call) 27.7  17.7  1120567296 false(unreach-call) 166     130     4733878272
pthread-wmm/mix055_rmo.opt_false-unreach-call.i false(unreach-call) 119    95.1  4276482048 false(unreach-call) 12.7   6.55  481132544
pthread-wmm/mix055_tso.oepc_false-unreach-call.i false(unreach-call) 150    126    4103454720 false(unreach-call) 39.1   25.4   1607041024
pthread-wmm/mix055_tso.opt_false-unreach-call.i false(unreach-call) 129    107    4277538816 false(unreach-call) 13.4   6.91  488456192
pthread-wmm/mix056_power.oepc_false-unreach-call.i false(unreach-call) 15.8  8.16 612814848 false(unreach-call) 24.7   14.0   1098788864
pthread-wmm/mix056_power.opt_false-unreach-call.i false(unreach-call) 16.3  8.41 635809792 false(unreach-call) 8.78  4.61  433631232
pthread-wmm/mix056_pso.oepc_false-unreach-call.i false(unreach-call) 15.4  7.93 601006080 false(unreach-call) 24.6   13.8   1060945920
pthread-wmm/mix056_pso.opt_false-unreach-call.i false(unreach-call) 16.1  8.34 672301056 false(unreach-call) 8.53  4.47  434204672
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i false(unreach-call) 14.2  7.29 614014976 false(unreach-call) 26.0   14.6   1055326208
pthread-wmm/mix056_rmo.opt_false-unreach-call.i false(unreach-call) 16.5  8.48 652476416 false(unreach-call) 8.38  4.37  426500096
pthread-wmm/mix056_tso.oepc_false-unreach-call.i false(unreach-call) 15.8  8.18 659832832 false(unreach-call) 8.47  4.43  426377216
pthread-wmm/mix056_tso.opt_false-unreach-call.i false(unreach-call) 16.2  8.43 655663104 false(unreach-call) 8.50  4.46  440119296
pthread-wmm/mix057_power.oepc_false-unreach-call.i false(unreach-call) 24.4  14.6  1210961920 false(unreach-call) 181     145     4657012736
pthread-wmm/mix057_power.opt_false-unreach-call.i false(unreach-call) 94.8  72.1  4208418816 false(unreach-call) 13.5   7.00  489332736
pthread-wmm/mix057_pso.oepc_false-unreach-call.i false(unreach-call) 24.2  14.5  1096916992 false(unreach-call) 174     140     4595187712
pthread-wmm/mix057_pso.opt_false-unreach-call.i false(unreach-call) 91.0  65.7  3982020608 false(unreach-call) 14.0   7.23  492404736
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i false(unreach-call) 29.7  16.3  1175379968 false(unreach-call) 185     151     4699828224
pthread-wmm/mix057_rmo.opt_false-unreach-call.i false(unreach-call) 89.4  64.4  3965992960 false(unreach-call) 13.1   6.80  492556288
pthread-wmm/mix057_tso.oepc_false-unreach-call.i false(unreach-call) 108    81.7  4251365376 false(unreach-call) 13.9   7.15  494727168
pthread-wmm/mix057_tso.opt_false-unreach-call.i false(unreach-call) 108    85.6  3824472064 false(unreach-call) 13.7   7.08  491249664
pthread-wmm/podwr000_power.oepc_false-unreach-call.i false(unreach-call) 9.74 5.08 544788480 false(unreach-call) 6.57  3.51  293429248
pthread-wmm/podwr000_power.opt_false-unreach-call.i false(unreach-call) 10.8  5.61 546897920 false(unreach-call) 6.55  3.49  291864576
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i false(unreach-call) 9.45 4.94 536870912 false(unreach-call) 6.82  3.66  305176576
pthread-wmm/podwr000_pso.opt_false-unreach-call.i false(unreach-call) 10.5  5.47 581423104 false(unreach-call) 6.85  3.63  302129152
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i false(unreach-call) 9.76 5.09 560029696 false(unreach-call) 6.94  3.66  307392512
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i false(unreach-call) 9.43 4.92 550711296 false(unreach-call) 6.92  3.67  305467392
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i false(unreach-call) 10.3  5.35 560205824 false(unreach-call) 7.04  3.71  305336320
pthread-wmm/podwr000_tso.opt_false-unreach-call.i false(unreach-call) 10.3  5.40 549982208 false(unreach-call) 6.99  3.69  303005696
pthread-wmm/podwr001_power.oepc_false-unreach-call.i false(unreach-call) 15.9  8.20 611291136 false(unreach-call) 24.3   13.9   1105027072
pthread-wmm/podwr001_power.opt_false-unreach-call.i false(unreach-call) 16.4  8.43 608890880 false(unreach-call) 24.7   14.1   1099161600
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i false(unreach-call) 15.7  8.04 621965312 false(unreach-call) 24.2   13.8   1050173440
pthread-wmm/podwr001_pso.opt_false-unreach-call.i false(unreach-call) 14.6  7.57 601522176 false(unreach-call) 24.7   13.8   1087074304
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i false(unreach-call) 16.4  8.46 613359616 false(unreach-call) 24.3   13.9   1053847552
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i false(unreach-call) 15.4  7.97 603901952 false(unreach-call) 25.8   14.3   1082281984
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i false(unreach-call) 18.2  9.32 608694272 false(unreach-call) 23.9   14.0   1095368704
pthread-wmm/podwr001_tso.opt_false-unreach-call.i false(unreach-call) 14.3  7.41 600768512 false(unreach-call) 25.0   14.1   1099022336
pthread-wmm/rfi000_power.oepc_false-unreach-call.i false(unreach-call) 17.6  9.11 733265920 false(unreach-call) 8.27  4.32  364023808
pthread-wmm/rfi000_power.opt_false-unreach-call.i false(unreach-call) 10.2  5.33 458653696 false(unreach-call) 7.25  3.85  314929152
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i false(unreach-call) 17.5  9.07 701112320 false(unreach-call) 7.85  4.14  359784448
pthread-wmm/rfi000_pso.opt_false-unreach-call.i false(unreach-call) 9.36 4.92 455995392 false(unreach-call) 7.59  4.00  334958592
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i false(unreach-call) 16.9  8.88 743567360 false(unreach-call) 8.35  4.38  361668608
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i false(unreach-call) 10.9  5.72 453734400 false(unreach-call) 7.20  3.82  333316096
pthread-wmm/rfi001_power.oepc_false-unreach-call.i false(unreach-call) 10.8  5.58 560074752 false(unreach-call) 6.99  3.72  301547520
pthread-wmm/rfi001_power.opt_false-unreach-call.i false(unreach-call) 8.40 4.42 449445888 false(unreach-call) 7.01  3.72  315392000
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i false(unreach-call) 11.0  5.77 556724224 false(unreach-call) 6.94  3.69  302366720
pthread-wmm/rfi001_pso.opt_false-unreach-call.i false(unreach-call) 8.55 4.47 447913984 false(unreach-call) 7.33  3.86  325976064
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i false(unreach-call) 10.7  5.55 540966912 false(unreach-call) 6.79  3.61  316653568
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i false(unreach-call) 8.41 4.42 452362240 false(unreach-call) 6.97  3.73  324734976
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i false(unreach-call) 8.42 4.43 449536000 false(unreach-call) 7.14  3.78  317812736
pthread-wmm/rfi001_tso.opt_false-unreach-call.i false(unreach-call) 8.94 4.68 450519040 false(unreach-call) 7.25  3.84  324243456
pthread-wmm/rfi003_power.oepc_false-unreach-call.i false(unreach-call) 10.3  5.35 547983360 false(unreach-call) 7.44  3.93  336539648
pthread-wmm/rfi003_power.opt_false-unreach-call.i false(unreach-call) 10.4  5.43 577978368 false(unreach-call) 7.11  3.73  330956800
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i false(unreach-call) 10.9  5.68 580849664 false(unreach-call) 7.04  3.72  331042816
pthread-wmm/rfi003_pso.opt_false-unreach-call.i false(unreach-call) 10.4  5.43 571756544 false(unreach-call) 7.25  3.82  328105984
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i false(unreach-call) 11.5  5.98 590667776 false(unreach-call) 7.42  3.92  333864960
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i false(unreach-call) 10.6  5.55 577818624 false(unreach-call) 7.23  3.79  328376320
pthread-wmm/rfi004_power.oepc_false-unreach-call.i false(unreach-call) 9.21 4.85 476393472 false(unreach-call) 6.52  3.44  280043520
pthread-wmm/rfi004_power.opt_false-unreach-call.i false(unreach-call) 9.66 5.04 474214400 false(unreach-call) 6.39  3.41  274309120
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i false(unreach-call) 9.30 4.85 475820032 false(unreach-call) 6.20  3.34  266657792
pthread-wmm/rfi004_pso.opt_false-unreach-call.i false(unreach-call) 9.47 4.94 485224448 false(unreach-call) 6.24  3.32  265605120
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i false(unreach-call) 10.3  5.41 468963328 false(unreach-call) 6.53  3.48  278175744
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i false(unreach-call) 9.76 5.10 478257152 false(unreach-call) 6.28  3.35  267034624
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i false(unreach-call) 9.38 4.90 479350784 false(unreach-call) 6.71  3.56  268779520
pthread-wmm/rfi004_tso.opt_false-unreach-call.i false(unreach-call) 9.43 4.97 471404544 false(unreach-call) 6.56  3.46  268591104
pthread-wmm/rfi005_power.oepc_false-unreach-call.i false(unreach-call) 10.4  5.44 536072192 false(unreach-call) 5.81  3.10  266559488
pthread-wmm/rfi005_power.opt_false-unreach-call.i false(unreach-call) 10.9  5.66 583843840 false(unreach-call) 5.80  3.09  268996608
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i false(unreach-call) 9.98 5.21 550178816 false(unreach-call) 6.03  3.20  263372800
pthread-wmm/rfi005_pso.opt_false-unreach-call.i false(unreach-call) 10.7  5.57 583778304 false(unreach-call) 6.00  3.21  268320768
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i false(unreach-call) 9.35 4.99 514875392 false(unreach-call) 5.88  3.16  267452416
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i false(unreach-call) 10.8  5.61 569700352 false(unreach-call) 5.94  3.16  268902400
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i false(unreach-call) 10.4  5.43 569905152 false(unreach-call) 6.08  3.26  266797056
pthread-wmm/rfi005_tso.opt_false-unreach-call.i false(unreach-call) 10.4  5.44 583352320 false(unreach-call) 5.93  3.18  267804672
pthread-wmm/rfi006_power.oepc_false-unreach-call.i false(unreach-call) 11.0  5.74 534278144 false(unreach-call) 6.63  3.53  278245376
pthread-wmm/rfi006_power.opt_false-unreach-call.i false(unreach-call) 10.5  5.45 523165696 false(unreach-call) 6.94  3.69  279191552
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i false(unreach-call) 47.3  31.0  1905668096 false(unreach-call) 13.1   6.77  507813888
pthread-wmm/rfi006_pso.opt_false-unreach-call.i false(unreach-call) 44.4  30.5  1810345984 false(unreach-call) 13.7   7.10  486834176
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i false(unreach-call) 8.88 4.64 519770112 false(unreach-call) 6.44  3.41  268730368
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i false(unreach-call) 8.98 4.68 520757248 false(unreach-call) 6.32  3.38  267296768
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i false(unreach-call) 45.0  29.4  1870082048 false(unreach-call) 11.3   5.88  488763392
pthread-wmm/rfi006_tso.opt_false-unreach-call.i false(unreach-call) 42.9  27.9  1748443136 false(unreach-call) 12.7   6.58  502480896
pthread-wmm/rfi007_power.oepc_false-unreach-call.i false(unreach-call) 11.4  5.95 560836608 false(unreach-call) 6.68  3.55  295895040
pthread-wmm/rfi007_power.opt_false-unreach-call.i false(unreach-call) 11.2  5.79 553553920 false(unreach-call) 7.13  3.78  295673856
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i false(unreach-call) 10.9  5.69 559783936 false(unreach-call) 6.72  3.52  293957632
pthread-wmm/rfi007_pso.opt_false-unreach-call.i false(unreach-call) 12.9  6.68 543281152 false(unreach-call) 6.67  3.56  296574976
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i false(unreach-call) 10.8  5.62 560844800 false(unreach-call) 7.11  3.76  298876928
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i false(unreach-call) 10.5  5.46 563867648 false(unreach-call) 6.78  3.60  300507136
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i false(unreach-call) 11.5  5.99 544628736 false(unreach-call) 8.02  4.21  341708800
pthread-wmm/rfi007_tso.opt_false-unreach-call.i false(unreach-call) 12.6  6.48 546947072 false(unreach-call) 7.66  4.06  339025920
pthread-wmm/rfi008_power.oepc_false-unreach-call.i false(unreach-call) 13.5  6.97 657862656 false(unreach-call) 7.66  4.00  318402560
pthread-wmm/rfi008_power.opt_false-unreach-call.i false(unreach-call) 12.5  6.44 544296960 false(unreach-call) 6.77  3.60  280563712
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i false(unreach-call) 14.0  7.26 701677568 false(unreach-call) 6.89  3.63  318382080
pthread-wmm/rfi008_pso.opt_false-unreach-call.i false(unreach-call) 13.3  6.84 541249536 false(unreach-call) 6.89  3.65  285708288
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i false(unreach-call) 12.3  6.38 591634432 false(unreach-call) 7.14  3.79  318631936
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i false(unreach-call) 12.0  6.23 547753984 false(unreach-call) 6.37  3.41  280657920
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i false(unreach-call) 13.3  6.91 614481920 false(unreach-call) 7.08  3.76  324648960
pthread-wmm/rfi008_tso.opt_false-unreach-call.i false(unreach-call) 12.9  6.65 530157568 false(unreach-call) 6.51  3.47  277307392
pthread-wmm/rfi009_power.oepc_false-unreach-call.i false(unreach-call) 9.82 5.14 535539712 false(unreach-call) 6.72  3.54  280113152
pthread-wmm/rfi009_power.opt_false-unreach-call.i false(unreach-call) 37.2  23.7  1577848832 false(unreach-call) 11.8   6.11  509149184
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i false(unreach-call) 38.5  24.3  1580064768 false(unreach-call) 11.0   5.72  494657536
pthread-wmm/rfi009_pso.opt_false-unreach-call.i false(unreach-call) 42.3  26.3  1552605184 false(unreach-call) 11.7   6.06  516726784
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i false(unreach-call) 9.41 4.95 527544320 false(unreach-call) 6.73  3.55  274214912
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i false(unreach-call) 38.4  24.7  1589391360 false(unreach-call) 11.5   5.91  498548736
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i false(unreach-call) 40.0  25.6  1578373120 false(unreach-call) 11.1   5.74  509718528
pthread-wmm/rfi009_tso.opt_false-unreach-call.i false(unreach-call) 37.4  23.9  1630846976 false(unreach-call) 11.6   6.03  506134528
pthread-wmm/rfi010_power.oepc_false-unreach-call.i false(unreach-call) 12.6  6.53 564191232 false(unreach-call) 6.84  3.61  285073408
pthread-wmm/rfi010_power.opt_false-unreach-call.i false(unreach-call) 12.4  6.40 557895680 false(unreach-call) 6.57  3.47  276533248
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i false(unreach-call) 12.8  6.56 565899264 false(unreach-call) 6.80  3.59  292098048
pthread-wmm/rfi010_pso.opt_false-unreach-call.i false(unreach-call) 11.4  5.90 559411200 false(unreach-call) 6.90  3.64  285032448
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i false(unreach-call) 11.0  5.76 546488320 false(unreach-call) 6.82  3.58  276955136
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i false(unreach-call) 12.6  6.54 558432256 false(unreach-call) 6.49  3.46  271798272
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i false(unreach-call) 12.3  6.40 556703744 false(unreach-call) 6.66  3.53  281903104
pthread-wmm/rfi010_tso.opt_false-unreach-call.i false(unreach-call) 13.9  7.15 537673728 false(unreach-call) 6.82  3.62  284172288
pthread-wmm/safe000_power.oepc_false-unreach-call.i false(unreach-call) 10.2  5.45 641990656 false(unreach-call) 6.79  3.59  274972672
pthread-wmm/safe000_power.opt_false-unreach-call.i false(unreach-call) 28.1  17.5  1036984320 false(unreach-call) 6.80  3.56  279904256
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i false(unreach-call) 9.26 4.80 535515136 false(unreach-call) 6.91  3.68  266547200
pthread-wmm/safe000_rmo.opt_false-unreach-call.i false(unreach-call) 9.89 5.16 547217408 false(unreach-call) 6.67  3.53  274735104
pthread-wmm/safe001_power.oepc_false-unreach-call.i false(unreach-call) 10.6  5.64 630304768 false(unreach-call) 6.87  3.61  280363008
pthread-wmm/safe001_power.opt_false-unreach-call.i false(unreach-call) 129    116    1559953408 false(unreach-call) 13.1   6.77  499175424
pthread-wmm/safe001_pso.oepc_false-unreach-call.i false(unreach-call) 66.9  56.0  1362644992 false(unreach-call) 11.5   6.01  483553280
pthread-wmm/safe001_pso.opt_false-unreach-call.i false(unreach-call) 111    96.3  1475698688 false(unreach-call) 12.7   6.58  487649280
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i false(unreach-call) 10.5  5.43 546205696 false(unreach-call) 6.56  3.49  276373504
pthread-wmm/safe001_rmo.opt_false-unreach-call.i false(unreach-call) 29.5  18.3  1413054464 false(unreach-call) 12.3   6.32  494006272
pthread-wmm/safe002_power.oepc_false-unreach-call.i false(unreach-call) 12.0  6.33 635506688 false(unreach-call) 6.73  3.56  275083264
pthread-wmm/safe002_power.opt_false-unreach-call.i false(unreach-call) 43.4  30.5  1664278528 false(unreach-call) 10.7   5.54  499744768
pthread-wmm/safe002_pso.oepc_false-unreach-call.i false(unreach-call) 401    388    1599619072 false(unreach-call) 11.1   5.73  502706176
pthread-wmm/safe002_pso.opt_false-unreach-call.i false(unreach-call) 48.8  36.4  1720221696 false(unreach-call) 10.5   5.45  500776960
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i false(unreach-call) 10.2  5.32 545390592 false(unreach-call) 6.65  3.54  273780736
pthread-wmm/safe002_rmo.opt_false-unreach-call.i false(unreach-call) 34.0  20.5  1663995904 false(unreach-call) 10.4   5.45  487895040
pthread-wmm/safe003_power.oepc_false-unreach-call.i false(unreach-call) 27.2  15.6  980664320 false(unreach-call) 44.7   29.5   1663148032
pthread-wmm/safe003_power.opt_false-unreach-call.i false(unreach-call) 27.4  17.3  1142169600 false(unreach-call) 6.46  3.42  273166336
pthread-wmm/safe003_pso.oepc_false-unreach-call.i false(unreach-call) 22.7  13.4  1029898240 false(unreach-call) 45.6   29.9   1697824768
pthread-wmm/safe003_pso.opt_false-unreach-call.i false(unreach-call) 25.3  14.6  1003921408 false(unreach-call) 44.1   28.8   1687322624
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i false(unreach-call) 26.4  15.1  1009811456 false(unreach-call) 40.4   27.5   1546539008
pthread-wmm/safe003_rmo.opt_false-unreach-call.i false(unreach-call) 26.2  15.0  1024626688 false(unreach-call) 43.4   30.2   1689915392
pthread-wmm/safe004_power.oepc_false-unreach-call.i false(unreach-call) 24.1  14.1  981417984 false(unreach-call) 43.1   28.1   1668128768
pthread-wmm/safe004_power.opt_false-unreach-call.i false(unreach-call) 88.7  75.6  1574055936 false(unreach-call) 11.5   5.98  483950592
pthread-wmm/safe004_pso.oepc_false-unreach-call.i false(unreach-call) 24.6  14.1  1020375040 false(unreach-call) 43.4   28.5   1663696896
pthread-wmm/safe004_pso.opt_false-unreach-call.i false(unreach-call) 35.1  22.2  1706983424 false(unreach-call) 12.3   6.41  478543872
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i false(unreach-call) 28.5  16.2  1092214784 false(unreach-call) 41.1   27.0   1552809984
pthread-wmm/safe004_rmo.opt_false-unreach-call.i false(unreach-call) 141    127    1646256128 false(unreach-call) 11.9   6.16  483319808
pthread-wmm/safe005_power.oepc_false-unreach-call.i false(unreach-call) 47.2  33.7  1787285504 false(unreach-call) 11.0   5.73  491880448
pthread-wmm/safe005_power.opt_false-unreach-call.i false(unreach-call) 35.4  22.2  1739145216 false(unreach-call) 10.4   5.45  491937792
pthread-wmm/safe005_pso.oepc_false-unreach-call.i false(unreach-call) 34.5  21.4  1622802432 false(unreach-call) 10.8   5.65  497750016
pthread-wmm/safe005_pso.opt_false-unreach-call.i false(unreach-call) 38.8  24.5  1769070592 false(unreach-call) 11.1   5.76  502497280
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i false(unreach-call) 36.7  22.9  1726140416 false(unreach-call) 10.8   5.58  497971200
pthread-wmm/safe005_rmo.opt_false-unreach-call.i false(unreach-call) 48.1  33.1  1740218368 false(unreach-call) 11.5   5.93  493477888
pthread-wmm/safe006_power.oepc_false-unreach-call.i false(unreach-call) 8.76 4.61 508522496 false(unreach-call) 5.94  3.16  266473472
pthread-wmm/safe006_power.opt_false-unreach-call.i false(unreach-call) 12.8  6.56 554024960 false(unreach-call) 5.87  3.14  267026432
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i false(unreach-call) 7.79 4.11 466481152 false(unreach-call) 5.87  3.17  265256960
pthread-wmm/safe006_rmo.opt_false-unreach-call.i false(unreach-call) 8.21 4.32 451076096 false(unreach-call) 5.75  3.10  263352320
pthread-wmm/safe007_power.oepc_false-unreach-call.i false(unreach-call) 8.77 4.59 511860736 false(unreach-call) 6.04  3.20  271896576
pthread-wmm/safe007_power.opt_false-unreach-call.i false(unreach-call) 82.4  66.6  2459897856 false(unreach-call) 7.06  3.71  329846784
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i false(unreach-call) 7.87 4.12 447361024 false(unreach-call) 6.56  3.45  276279296
pthread-wmm/safe007_rmo.opt_false-unreach-call.i false(unreach-call) 7.94 4.20 447885312 false(unreach-call) 6.03  3.22  269930496
pthread-wmm/safe008_power.oepc_false-unreach-call.i false(unreach-call) 11.9  6.20 581898240 false(unreach-call) 18.0   9.46  699838464
pthread-wmm/safe008_power.opt_false-unreach-call.i false(unreach-call) 24.2  14.0  1052753920 false(unreach-call) 6.51  3.44  273383424
pthread-wmm/safe008_pso.oepc_false-unreach-call.i false(unreach-call) 11.7  6.14 578400256 false(unreach-call) 19.2   9.96  712720384
pthread-wmm/safe008_pso.opt_false-unreach-call.i false(unreach-call) 12.3  6.39 574464000 false(unreach-call) 18.5   9.59  722964480
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i false(unreach-call) 11.4  5.95 569921536 false(unreach-call) 19.0   9.94  729579520
pthread-wmm/safe008_rmo.opt_false-unreach-call.i false(unreach-call) 11.8  6.13 587501568 false(unreach-call) 18.3   9.43  719540224
pthread-wmm/safe009_power.oepc_false-unreach-call.i false(unreach-call) 10.1  5.25 552448000 false(unreach-call) 6.22  3.32  267898880
pthread-wmm/safe009_power.opt_false-unreach-call.i false(unreach-call) 24.5  14.3  915329024 false(unreach-call) 6.32  3.33  286425088
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i false(unreach-call) 8.94 4.68 515678208 false(unreach-call) 6.30  3.36  267292672
pthread-wmm/safe009_rmo.opt_false-unreach-call.i false(unreach-call) 18.9  10.4  798314496 false(unreach-call) 6.09  3.26  267182080
pthread-wmm/safe010_power.oepc_false-unreach-call.i false(unreach-call) 8.20 4.35 454451200 false(unreach-call) 7.47  3.94  339812352
pthread-wmm/safe010_power.opt_false-unreach-call.i false(unreach-call) 8.60 4.53 450080768 false(unreach-call) 7.28  3.84  332333056
pthread-wmm/safe010_pso.oepc_false-unreach-call.i false(unreach-call) 8.06 4.26 452124672 false(unreach-call) 7.21  3.82  334372864
pthread-wmm/safe010_pso.opt_false-unreach-call.i false(unreach-call) 8.17 4.27 449847296 false(unreach-call) 7.30  3.87  334012416
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i false(unreach-call) 7.96 4.22 448942080 false(unreach-call) 7.26  3.86  324399104
pthread-wmm/safe010_rmo.opt_false-unreach-call.i false(unreach-call) 8.15 4.28 448704512 false(unreach-call) 7.17  3.78  327299072
pthread-wmm/safe011_power.oepc_false-unreach-call.i false(unreach-call) 11.9  6.23 592986112 false(unreach-call) 19.1   9.91  717459456
pthread-wmm/safe011_power.opt_false-unreach-call.i false(unreach-call) 22.1  12.2  943005696 false(unreach-call) 10.9   5.70  482541568
pthread-wmm/safe011_pso.oepc_false-unreach-call.i false(unreach-call) 11.8  6.11 587231232 false(unreach-call) 18.1   9.42  707391488
pthread-wmm/safe011_pso.opt_false-unreach-call.i false(unreach-call) 20.6  11.9  990089216 false(unreach-call) 10.2   5.32  436215808
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i false(unreach-call) 12.0  6.21 580284416 false(unreach-call) 19.4   9.98  743849984
pthread-wmm/safe011_rmo.opt_false-unreach-call.i false(unreach-call) 12.4  6.42 576311296 false(unreach-call) 17.8   9.39  731963392
pthread-wmm/safe012_power.oepc_false-unreach-call.i false(unreach-call) 9.19 4.82 528056320 false(unreach-call) 6.42  3.40  267345920
pthread-wmm/safe012_power.opt_false-unreach-call.i false(unreach-call) 73.7  60.1  2476113920 false(unreach-call) 7.42  3.92  338923520
pthread-wmm/safe012_pso.oepc_false-unreach-call.i false(unreach-call) 22.8  12.9  1131438080 false(unreach-call) 9.74  5.11  435191808
pthread-wmm/safe012_pso.opt_false-unreach-call.i false(unreach-call) 27.7  15.6  1359921152 false(unreach-call) 9.78  5.13  435212288
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i false(unreach-call) 7.85 4.16 453996544 false(unreach-call) 6.07  3.22  269574144
pthread-wmm/safe012_rmo.opt_false-unreach-call.i false(unreach-call) 39.4  29.8  1241526272 false(unreach-call) 9.95  5.21  437174272
pthread-wmm/safe013_power.oepc_false-unreach-call.i false(unreach-call) 27.2  15.3  1395314688 false(unreach-call) 9.73  5.14  438603776
pthread-wmm/safe013_power.opt_false-unreach-call.i false(unreach-call) 45.6  35.3  1167671296 false(unreach-call) 9.85  5.15  452620288
pthread-wmm/safe013_pso.oepc_false-unreach-call.i false(unreach-call) 44.0  33.0  1256992768 false(unreach-call) 10.3   5.39  447508480
pthread-wmm/safe013_pso.opt_false-unreach-call.i false(unreach-call) 35.2  25.0  1281576960 false(unreach-call) 10.4   5.43  497786880
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i false(unreach-call) 37.0  26.8  1282494464 false(unreach-call) 9.95  5.21  436072448
pthread-wmm/safe013_rmo.opt_false-unreach-call.i false(unreach-call) 52.5  42.5  1312362496 false(unreach-call) 10.2   5.32  490676224
pthread-wmm/safe014_power.oepc_false-unreach-call.i false(unreach-call) 9.48 4.95 527896576 false(unreach-call) 6.27  3.34  272220160
pthread-wmm/safe014_power.opt_false-unreach-call.i false(unreach-call) 9.62 5.05 524918784 false(unreach-call) 6.42  3.43  272076800
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i false(unreach-call) 7.80 4.13 453083136 false(unreach-call) 6.10  3.26  264753152
pthread-wmm/safe014_rmo.opt_false-unreach-call.i false(unreach-call) 50.8  36.8  1884008448 false(unreach-call) 6.50  3.45  271507456
pthread-wmm/safe015_power.oepc_false-unreach-call.i false(unreach-call) 10.5  5.62 636739584 false(unreach-call) 6.51  3.43  294785024
pthread-wmm/safe015_power.opt_false-unreach-call.i false(unreach-call) 57.2  42.5  2276065280 false(unreach-call) 6.77  3.56  276221952
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i false(unreach-call) 52.8  39.5  2012782592 false(unreach-call) 6.43  3.39  269053952
pthread-wmm/safe015_rmo.opt_false-unreach-call.i false(unreach-call) 49.0  36.8  1788432384 false(unreach-call) 6.28  3.33  268267520
pthread-wmm/safe016_power.oepc_false-unreach-call.i false(unreach-call) 10.4  5.43 540426240 false(unreach-call) 6.70  3.55  279085056
pthread-wmm/safe016_power.opt_false-unreach-call.i false(unreach-call) 493    442    4874883072 false(unreach-call) 6.51  3.48  270147584
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i false(unreach-call) 8.79 4.62 549879808 false(unreach-call) 6.57  3.48  279113728
pthread-wmm/safe016_rmo.opt_false-unreach-call.i false(unreach-call) 455    415    4626239488 false(unreach-call) 6.22  3.31  268414976
pthread-wmm/safe017_power.oepc_false-unreach-call.i false(unreach-call) 12.5  6.49 595890176 false(unreach-call) 19.2   9.91  710119424
pthread-wmm/safe017_power.opt_false-unreach-call.i false(unreach-call) 13.4  6.89 590180352 false(unreach-call) 19.4   10.1   703062016
pthread-wmm/safe017_pso.oepc_false-unreach-call.i false(unreach-call) 11.6  6.00 579407872 false(unreach-call) 18.8   9.90  691970048
pthread-wmm/safe017_pso.opt_false-unreach-call.i false(unreach-call) 11.9  6.16 590090240 false(unreach-call) 18.2   9.58  698949632
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i false(unreach-call) 11.5  5.99 583131136 false(unreach-call) 18.0   9.40  714317824
pthread-wmm/safe017_rmo.opt_false-unreach-call.i false(unreach-call) 12.1  6.27 570142720 false(unreach-call) 19.6   10.1   713039872
pthread-wmm/safe018_power.oepc_false-unreach-call.i false(unreach-call) 9.66 5.07 531861504 false(unreach-call) 6.23  3.33  272293888
pthread-wmm/safe018_power.opt_false-unreach-call.i false(unreach-call) 69.2  52.6  2131013632 false(unreach-call) 6.65  3.48  280453120
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i false(unreach-call) 8.58 4.53 452550656 false(unreach-call) 6.02  3.21  269795328
pthread-wmm/safe018_rmo.opt_false-unreach-call.i false(unreach-call) 31.2  20.9  1317703680 false(unreach-call) 6.04  3.24  267214848
pthread-wmm/safe019_power.oepc_false-unreach-call.i false(unreach-call) 9.79 5.12 518180864 false(unreach-call) 6.67  3.54  289882112
pthread-wmm/safe019_power.opt_false-unreach-call.i false(unreach-call) 721    670    4560740352 false(unreach-call) 7.11  3.73  270172160
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i false(unreach-call) 8.84 4.59 538189824 false(unreach-call) 6.70  3.56  276832256
pthread-wmm/safe019_rmo.opt_false-unreach-call.i false(unreach-call) 229    202    4382449664 false(unreach-call) 6.22  3.29  269496320
pthread-wmm/safe020_power.oepc_false-unreach-call.i false(unreach-call) 70.5  53.3  2318696448 false(unreach-call) 6.87  3.60  281350144
pthread-wmm/safe020_power.opt_false-unreach-call.i false(unreach-call) 70.2  52.9  2338476032 false(unreach-call) 6.53  3.48  266985472
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i false(unreach-call) 31.7  20.8  1281871872 false(unreach-call) 6.27  3.35  269758464
pthread-wmm/safe020_rmo.opt_false-unreach-call.i false(unreach-call) 31.4  20.5  1253081088 false(unreach-call) 6.38  3.40  267313152
pthread-wmm/safe021_power.oepc_false-unreach-call.i false(unreach-call) 16.0  8.26 610664448 false(unreach-call) 23.5   13.5   1077755904
pthread-wmm/safe021_power.opt_false-unreach-call.i false(unreach-call) 23.4  12.5  976404480 false(unreach-call) 11.3   5.83  439492608
pthread-wmm/safe021_pso.oepc_false-unreach-call.i false(unreach-call) 16.5  8.48 588300288 false(unreach-call) 25.6   14.2   1068658688
pthread-wmm/safe021_pso.opt_false-unreach-call.i false(unreach-call) 22.7  12.3  988868608 false(unreach-call) 11.8   6.12  435851264
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i false(unreach-call) 15.6  8.03 627126272 false(unreach-call) 27.2   15.7   1187889152
pthread-wmm/safe021_rmo.opt_false-unreach-call.i false(unreach-call) 16.4  8.44 628846592 false(unreach-call) 26.4   14.9   1106341888
pthread-wmm/safe022_power.oepc_false-unreach-call.i false(unreach-call) 11.0  5.68 554176512 false(unreach-call) 6.99  3.70  301457408
pthread-wmm/safe022_power.opt_false-unreach-call.i false(unreach-call) 11.2  5.83 542314496 false(unreach-call) 6.59  3.51  305319936
pthread-wmm/safe022_pso.oepc_false-unreach-call.i false(unreach-call) 9.71 5.07 548159488 false(unreach-call) 7.08  3.76  309055488
pthread-wmm/safe022_pso.opt_false-unreach-call.i false(unreach-call) 10.4  5.46 558317568 false(unreach-call) 7.18  3.78  298266624
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i false(unreach-call) 10.8  5.57 572915712 false(unreach-call) 6.94  3.69  297799680
pthread-wmm/safe022_rmo.opt_false-unreach-call.i false(unreach-call) 9.73 5.10 550117376 false(unreach-call) 7.24  3.83  304422912
pthread-wmm/safe023_power.oepc_false-unreach-call.i false(unreach-call) 91.5  72.6  3598610432 false(unreach-call) 25.9   15.7   1005813760
pthread-wmm/safe023_power.opt_false-unreach-call.i false(unreach-call) 92.9  74.3  3601629184 false(unreach-call) 26.9   16.3   1086205952
pthread-wmm/safe023_pso.oepc_false-unreach-call.i false(unreach-call) 95.8  77.1  3550130176 false(unreach-call) 27.6   16.6   1002909696
pthread-wmm/safe023_pso.opt_false-unreach-call.i false(unreach-call) 91.9  73.0  3625402368 false(unreach-call) 25.7   15.3   1023885312
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i false(unreach-call) 92.3  74.8  3710603264 false(unreach-call) 28.1   16.6   1042718720
pthread-wmm/safe023_rmo.opt_false-unreach-call.i false(unreach-call) 102    82.3  3604348928 false(unreach-call) 26.2   16.1   1016492032
pthread-wmm/safe024_power.oepc_false-unreach-call.i false(unreach-call) 28.0  15.8  1394933760 false(unreach-call) 9.95  5.16  432185344
pthread-wmm/safe024_power.opt_false-unreach-call.i false(unreach-call) 41.7  32.1  1258360832 false(unreach-call) 10.2   5.29  450166784
pthread-wmm/safe024_pso.oepc_false-unreach-call.i false(unreach-call) 51.7  40.9  1296355328 false(unreach-call) 10.2   5.33  432832512
pthread-wmm/safe024_pso.opt_false-unreach-call.i false(unreach-call) 55.8  44.6  1286217728 false(unreach-call) 9.92  5.18  438857728
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i false(unreach-call) 59.0  48.0  1252933632 false(unreach-call) 9.81  5.12  441270272
pthread-wmm/safe024_rmo.opt_false-unreach-call.i false(unreach-call) 54.2  43.0  1321684992 false(unreach-call) 10.1   5.25  447291392
pthread-wmm/safe025_power.oepc_false-unreach-call.i false(unreach-call) 12.3  6.36 635346944 false(unreach-call) 6.67  3.57  276119552
pthread-wmm/safe025_power.opt_false-unreach-call.i false(unreach-call) 11.6  6.05 653881344 false(unreach-call) 6.49  3.47  275197952
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i false(unreach-call) 59.0  42.6  2112978944 false(unreach-call) 6.61  3.50  274079744
pthread-wmm/safe025_rmo.opt_false-unreach-call.i false(unreach-call) 50.4  37.0  1814761472 false(unreach-call) 6.78  3.57  273780736
pthread-wmm/safe026_power.oepc_false-unreach-call.i false(unreach-call) 15.4  7.96 617934848 false(unreach-call) 25.2   14.2   1086398464
pthread-wmm/safe026_power.opt_false-unreach-call.i false(unreach-call) 15.9  8.22 611602432 false(unreach-call) 26.9   14.7   1067163648
pthread-wmm/safe026_pso.oepc_false-unreach-call.i false(unreach-call) 14.5  7.49 611676160 false(unreach-call) 23.8   13.6   1129836544
pthread-wmm/safe026_pso.opt_false-unreach-call.i false(unreach-call) 14.6  7.59 597372928 false(unreach-call) 24.8   14.2   1085366272
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i false(unreach-call) 15.8  8.12 621621248 false(unreach-call) 27.7   15.9   1059741696
pthread-wmm/safe026_rmo.opt_false-unreach-call.i false(unreach-call) 15.7  8.08 616071168 false(unreach-call) 24.6   14.0   1063288832
pthread-wmm/safe027_power.oepc_false-unreach-call.i false(unreach-call) 10.7  5.51 543547392 false(unreach-call) 6.74  3.58  292241408
pthread-wmm/safe027_power.opt_false-unreach-call.i false(unreach-call) 587    545    4460011520 false(unreach-call) 6.50  3.43  276676608
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i false(unreach-call) 9.27 4.82 523751424 false(unreach-call) 6.60  3.53  286781440
pthread-wmm/safe027_rmo.opt_false-unreach-call.i false(unreach-call) 9.25 4.81 529997824 false(unreach-call) 6.92  3.67  298360832
pthread-wmm/safe028_power.oepc_false-unreach-call.i false(unreach-call) 61.5  49.2  2084634624 false(unreach-call) 6.35  3.36  270364672
pthread-wmm/safe028_power.opt_false-unreach-call.i false(unreach-call) 68.1  53.2  2386989056 false(unreach-call) 6.58  3.47  273707008
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i false(unreach-call) 34.4  22.4  1319661568 false(unreach-call) 6.37  3.38  267673600
pthread-wmm/safe028_rmo.opt_false-unreach-call.i false(unreach-call) 33.5  22.0  1400135680 false(unreach-call) 6.26  3.35  265449472
pthread-wmm/safe029_power.oepc_false-unreach-call.i false(unreach-call) 8.04 4.26 450179072 false(unreach-call) 7.03  3.73  334442496
pthread-wmm/safe029_power.opt_false-unreach-call.i false(unreach-call) 8.75 4.58 448962560 false(unreach-call) 7.13  3.78  321081344
pthread-wmm/safe029_pso.oepc_false-unreach-call.i false(unreach-call) 8.26 4.33 448946176 false(unreach-call) 7.08  3.75  326946816
pthread-wmm/safe029_pso.opt_false-unreach-call.i false(unreach-call) 8.20 4.31 447504384 false(unreach-call) 7.09  3.73  322842624
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i false(unreach-call) 8.14 4.29 447512576 false(unreach-call) 7.13  3.78  322572288
pthread-wmm/safe029_rmo.opt_false-unreach-call.i false(unreach-call) 8.54 4.49 450621440 false(unreach-call) 7.06  3.76  320962560
pthread-wmm/safe030_power.oepc_false-unreach-call.i false(unreach-call) 13.4  6.88 587517952 false(unreach-call) 19.5   10.2   727179264
pthread-wmm/safe030_power.opt_false-unreach-call.i false(unreach-call) 15.7  8.16 664326144 false(unreach-call) 8.04  4.23  433246208
pthread-wmm/safe030_pso.oepc_false-unreach-call.i false(unreach-call) 12.1  6.24 576815104 false(unreach-call) 20.0   10.3   719421440
pthread-wmm/safe030_pso.opt_false-unreach-call.i false(unreach-call) 15.6  8.06 648802304 false(unreach-call) 8.51  4.45  435916800
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i false(unreach-call) 12.1  6.28 579678208 false(unreach-call) 18.4   9.56  729993216
pthread-wmm/safe030_rmo.opt_false-unreach-call.i false(unreach-call) 18.4  9.45 643182592 false(unreach-call) 8.27  4.34  430948352
pthread-wmm/safe031_power.oepc_false-unreach-call.i false(unreach-call) 36.9  26.2  1297420288 false(unreach-call) 9.83  5.12  440356864
pthread-wmm/safe031_power.opt_false-unreach-call.i false(unreach-call) 16.2  8.38 657817600 false(unreach-call) 8.51  4.48  436256768
pthread-wmm/safe031_pso.oepc_false-unreach-call.i false(unreach-call) 26.1  15.1  1399144448 false(unreach-call) 10.0   5.23  440504320
pthread-wmm/safe031_pso.opt_false-unreach-call.i false(unreach-call) 16.1  8.37 650117120 false(unreach-call) 8.23  4.33  433278976
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i false(unreach-call) 34.6  23.9  1266790400 false(unreach-call) 10.6   5.52  437903360
pthread-wmm/safe031_rmo.opt_false-unreach-call.i false(unreach-call) 16.1  8.36 660123648 false(unreach-call) 8.44  4.42  429887488
pthread-wmm/safe032_power.oepc_false-unreach-call.i false(unreach-call) 61.5  43.2  2430205952 false(unreach-call) 20.0   10.8   717647872
pthread-wmm/safe032_power.opt_false-unreach-call.i false(unreach-call) 60.7  44.4  2434060288 false(unreach-call) 19.6   10.6   714874880
pthread-wmm/safe032_pso.oepc_false-unreach-call.i false(unreach-call) 59.6  42.6  2412060672 false(unreach-call) 20.9   11.2   691986432
pthread-wmm/safe032_pso.opt_false-unreach-call.i false(unreach-call) 60.0  43.7  2536267776 false(unreach-call) 19.3   10.6   721694720
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i false(unreach-call) 61.6  46.1  2539864064 false(unreach-call) 19.2   10.4   700305408
pthread-wmm/safe032_rmo.opt_false-unreach-call.i false(unreach-call) 56.1  40.0  2588061696 false(unreach-call) 20.8   11.3   691949568
pthread-wmm/safe033_power.oepc_false-unreach-call.i false(unreach-call) 9.29 4.82 446214144 false(unreach-call) 6.40  3.41  276312064
pthread-wmm/safe033_power.opt_false-unreach-call.i false(unreach-call) 9.18 4.84 452587520 false(unreach-call) 6.17  3.29  264032256
pthread-wmm/safe033_pso.oepc_false-unreach-call.i false(unreach-call) 8.76 4.63 457789440 false(unreach-call) 6.39  3.41  272171008
pthread-wmm/safe033_pso.opt_false-unreach-call.i false(unreach-call) 9.24 4.85 457023488 false(unreach-call) 6.36  3.37  270262272
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i false(unreach-call) 8.98 4.69 444542976 false(unreach-call) 6.29  3.37  273592320
pthread-wmm/safe033_rmo.opt_false-unreach-call.i false(unreach-call) 9.20 4.81 455077888 false(unreach-call) 6.31  3.35  269987840
pthread-wmm/safe034_power.oepc_false-unreach-call.i false(unreach-call) 21.2  10.8  884441088 false(unreach-call) 6.71  3.55  298889216
pthread-wmm/safe034_power.opt_false-unreach-call.i false(unreach-call) 18.9  9.89 865521664 false(unreach-call) 6.60  3.49  289177600
pthread-wmm/safe034_pso.oepc_false-unreach-call.i false(unreach-call) 18.8  9.85 849760256 false(unreach-call) 6.73  3.58  291332096
pthread-wmm/safe034_pso.opt_false-unreach-call.i false(unreach-call) 19.7  10.2  857710592 false(unreach-call) 6.87  3.63  298418176
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i false(unreach-call) 18.6  9.80 844394496 false(unreach-call) 6.80  3.58  289468416
pthread-wmm/safe034_rmo.opt_false-unreach-call.i false(unreach-call) 19.1  10.1  833945600 false(unreach-call) 6.73  3.56  290435072
pthread-wmm/thin000_power.oepc_false-unreach-call.i false(unreach-call) 11.6  6.07 526536704 false(unreach-call) 5.88  3.13  266821632
pthread-wmm/thin000_power.opt_false-unreach-call.i false(unreach-call) 12.0  6.29 545828864 false(unreach-call) 5.96  3.18  266870784
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i false(unreach-call) 7.63 4.05 455667712 false(unreach-call) 5.77  3.07  260419584
pthread-wmm/thin000_rmo.opt_false-unreach-call.i false(unreach-call) 7.79 4.13 449150976 false(unreach-call) 5.77  3.07  263491584
pthread-wmm/thin001_power.oepc_false-unreach-call.i false(unreach-call) 9.10 4.73 505217024 false(unreach-call) 6.35  3.41  266203136
pthread-wmm/thin001_power.opt_false-unreach-call.i false(unreach-call) 71.7  58.4  2436874240 false(unreach-call) 7.77  4.09  341168128
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i false(unreach-call) 7.66 4.07 453103616 false(unreach-call) 6.23  3.33  269193216
pthread-wmm/thin001_rmo.opt_false-unreach-call.i false(unreach-call) 8.05 4.21 452476928 false(unreach-call) 6.36  3.36  270667776
pthread-wmm/thin002_power.oepc_false-unreach-call.i false(unreach-call) 9.77 5.11 531845120 false(unreach-call) 7.32  3.88  322392064
pthread-wmm/thin002_power.opt_false-unreach-call.i timeout 921    844    5641822208 error 4.61  2.49  258359296
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i false(unreach-call) 8.18 4.26 453582848 false(unreach-call) 6.65  3.54  288968704
pthread-wmm/thin002_rmo.opt_false-unreach-call.i false(unreach-call) 8.09 4.22 447012864 false(unreach-call) 6.75  3.61  294354944
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i true 31.4  19.4  1262518272 error 5.24  2.83  266792960
pthread-wmm/rfi000_tso.opt_true-unreach-call.i true 29.6  18.4  1222885376 error 5.13  2.78  265871360
pthread-wmm/rfi002_power.oepc_true-unreach-call.i true 31.5  20.0  1295990784 error 4.93  2.68  280100864
pthread-wmm/rfi002_power.opt_true-unreach-call.i true 33.1  20.6  1224155136 error 4.88  2.64  278917120
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i true 30.7  19.7  1247543296 error 4.70  2.55  260550656
pthread-wmm/rfi002_pso.opt_true-unreach-call.i true 32.0  20.4  1238994944 error 4.77  2.63  259096576
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i true 31.4  19.5  1238241280 error 4.71  2.56  259932160
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i true 32.1  20.5  1286160384 error 4.95  2.68  274767872
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i true 58.5  43.7  2100387840 error 5.40  2.88  273031168
pthread-wmm/rfi002_tso.opt_true-unreach-call.i true 56.1  40.6  2120716288 error 5.29  2.82  277405696
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i true 40.6  27.6  1637584896 error 4.87  2.63  267153408
pthread-wmm/rfi003_tso.opt_true-unreach-call.i true 43.8  30.7  1814560768 error 5.04  2.71  266960896
pthread-wmm/safe000_pso.oepc_true-unreach-call.i true 16.2  8.53 721580032 error 4.17  2.26  254341120
pthread-wmm/safe000_pso.opt_true-unreach-call.i true 13.8  7.19 703303680 error 4.35  2.37  278392832
pthread-wmm/safe000_tso.oepc_true-unreach-call.i true 14.9  7.69 715202560 error 4.10  2.27  248770560
pthread-wmm/safe000_tso.opt_true-unreach-call.i true 13.9  7.18 723685376 error 4.10  2.28  252297216
pthread-wmm/safe001_tso.oepc_true-unreach-call.i true 16.5  8.68 734453760 error 4.15  2.23  254066688
pthread-wmm/safe001_tso.opt_true-unreach-call.i true 16.0  8.43 733995008 error 3.92  2.19  252895232
pthread-wmm/safe002_tso.oepc_true-unreach-call.i true 15.8  8.33 723320832 error 5.13  2.76  254631936
pthread-wmm/safe002_tso.opt_true-unreach-call.i true 13.8  7.16 714141696 error 4.06  2.21  253100032
pthread-wmm/safe003_tso.oepc_true-unreach-call.i true 15.8  8.31 743968768 error 4.15  2.26  252026880
pthread-wmm/safe003_tso.opt_true-unreach-call.i true 16.7  8.71 759083008 error 4.04  2.21  253214720
pthread-wmm/safe004_tso.oepc_true-unreach-call.i true 20.0  10.5  762650624 error 4.41  2.38  275451904
pthread-wmm/safe004_tso.opt_true-unreach-call.i true 16.7  8.63 767000576 error 4.09  2.23  252334080
pthread-wmm/safe005_tso.oepc_true-unreach-call.i true 16.4  8.58 866643968 error 4.02  2.18  253771776
pthread-wmm/safe005_tso.opt_true-unreach-call.i true 21.1  11.0  854048768 error 4.15  2.28  254464000
pthread-wmm/safe006_pso.oepc_true-unreach-call.i true 6.11 3.27 369545216 error 4.10  2.27  254218240
pthread-wmm/safe006_pso.opt_true-unreach-call.i true 6.51 3.45 379039744 error 4.47  2.41  275820544
pthread-wmm/safe006_tso.oepc_true-unreach-call.i true 6.31 3.34 373174272 error 4.03  2.21  254091264
pthread-wmm/safe006_tso.opt_true-unreach-call.i true 6.06 3.25 378990592 error 4.11  2.24  251777024
pthread-wmm/safe007_pso.oepc_true-unreach-call.i true 11.0  5.69 512053248 error 4.11  2.24  252194816
pthread-wmm/safe007_pso.opt_true-unreach-call.i true 10.9  5.65 517357568 error 4.02  2.21  251510784
pthread-wmm/safe007_tso.oepc_true-unreach-call.i true 10.8  5.63 522620928 error 4.07  2.23  253243392
pthread-wmm/safe007_tso.opt_true-unreach-call.i true 12.1  6.29 520515584 error 4.15  2.28  254349312
pthread-wmm/safe008_tso.oepc_true-unreach-call.i true 10.6  5.51 514396160 error 4.05  2.22  250073088
pthread-wmm/safe008_tso.opt_true-unreach-call.i true 10.8  5.63 516083712 error 3.92  2.17  253784064
pthread-wmm/safe009_pso.oepc_true-unreach-call.i true 11.2  5.88 593833984 error 4.02  2.22  250372096
pthread-wmm/safe009_pso.opt_true-unreach-call.i true 11.7  6.08 693166080 error 4.38  2.40  254898176
pthread-wmm/safe009_tso.oepc_true-unreach-call.i true 12.8  6.65 620703744 error 4.00  2.19  249389056
pthread-wmm/safe009_tso.opt_true-unreach-call.i true 11.2  5.78 583356416 error 4.11  2.25  251256832
pthread-wmm/safe010_tso.oepc_true-unreach-call.i true 6.07 3.23 379109376 error 3.82  2.13  250875904
pthread-wmm/safe010_tso.opt_true-unreach-call.i true 5.84 3.14 378273792 error 3.94  2.17  252624896
pthread-wmm/safe011_tso.oepc_true-unreach-call.i true 10.9  5.65 515239936 error 4.41  2.41  251351040
pthread-wmm/safe011_tso.opt_true-unreach-call.i true 10.5  5.48 513196032 error 4.15  2.25  260771840
pthread-wmm/safe012_tso.oepc_true-unreach-call.i true 10.3  5.39 516362240 error 4.04  2.23  254853120
pthread-wmm/safe012_tso.opt_true-unreach-call.i true 10.4  5.42 507068416 error 4.03  2.23  253669376
pthread-wmm/safe013_tso.oepc_true-unreach-call.i true 11.1  5.81 540905472 error 4.00  2.21  251969536
pthread-wmm/safe013_tso.opt_true-unreach-call.i true 10.4  5.43 533889024 error 4.22  2.32  254312448
pthread-wmm/safe014_pso.oepc_true-unreach-call.i true 17.1  8.99 755597312 error 4.02  2.19  249974784
pthread-wmm/safe014_pso.opt_true-unreach-call.i true 16.6  8.71 754417664 error 4.20  2.29  252305408
pthread-wmm/safe014_tso.oepc_true-unreach-call.i true 15.0  7.80 772096000 error 4.04  2.21  254316544
pthread-wmm/safe014_tso.opt_true-unreach-call.i true 17.1  9.00 761245696 error 4.08  2.26  252387328
pthread-wmm/safe015_pso.oepc_true-unreach-call.i true 15.4  8.07 764248064 error 4.22  2.26  275324928
pthread-wmm/safe015_pso.opt_true-unreach-call.i true 15.8  8.21 759398400 error 4.03  2.21  250204160
pthread-wmm/safe015_tso.oepc_true-unreach-call.i true 14.5  7.58 756826112 error 4.47  2.38  276918272
pthread-wmm/safe015_tso.opt_true-unreach-call.i true 15.5  8.06 743866368 error 4.46  2.45  254521344
pthread-wmm/safe016_pso.oepc_true-unreach-call.i true 70.9  47.4  3580506112 error 4.07  2.23  253669376
pthread-wmm/safe016_pso.opt_true-unreach-call.i true 65.7  44.5  3283193856 error 4.06  2.25  254763008
pthread-wmm/safe016_tso.oepc_true-unreach-call.i true 76.2  50.6  3529129984 error 4.40  2.37  274870272
pthread-wmm/safe016_tso.opt_true-unreach-call.i true 68.2  45.9  3393593344 error 4.02  2.24  249094144
pthread-wmm/safe017_tso.oepc_true-unreach-call.i true 11.6  6.03 600199168 error 3.94  2.18  253710336
pthread-wmm/safe017_tso.opt_true-unreach-call.i true 10.6  5.51 578404352 error 4.26  2.34  248860672
pthread-wmm/safe018_pso.oepc_true-unreach-call.i true 10.1  5.29 513830912 error 4.09  2.24  253485056
pthread-wmm/safe018_pso.opt_true-unreach-call.i true 10.9  5.67 516395008 error 3.99  2.19  250392576
pthread-wmm/safe018_tso.oepc_true-unreach-call.i true 10.6  5.50 519938048 error 3.99  2.19  254980096
pthread-wmm/safe018_tso.opt_true-unreach-call.i true 10.2  5.31 514969600 error 4.05  2.24  250605568
pthread-wmm/safe019_pso.oepc_true-unreach-call.i true 62.9  42.0  2899128320 error 4.18  2.27  253341696
pthread-wmm/safe019_pso.opt_true-unreach-call.i true 63.9  44.3  2811858944 error 4.24  2.32  253145088
pthread-wmm/safe019_tso.oepc_true-unreach-call.i true 89.8  70.3  2820861952 error 4.00  2.22  254296064
pthread-wmm/safe019_tso.opt_true-unreach-call.i true 69.4  47.9  2808885248 error 4.20  2.28  253829120
pthread-wmm/safe020_pso.oepc_true-unreach-call.i true 10.6  5.57 507568128 error 4.24  2.30  252547072
pthread-wmm/safe020_pso.opt_true-unreach-call.i true 10.5  5.47 515317760 error 3.99  2.20  255070208
pthread-wmm/safe020_tso.oepc_true-unreach-call.i true 10.6  5.53 512122880 error 4.03  2.23  253403136
pthread-wmm/safe020_tso.opt_true-unreach-call.i true 10.3  5.40 511696896 error 4.07  2.22  252231680
pthread-wmm/safe021_tso.oepc_true-unreach-call.i true 10.6  5.56 507346944 error 3.98  2.21  253759488
pthread-wmm/safe021_tso.opt_true-unreach-call.i true 10.7  5.60 516775936 error 4.07  2.24  253739008
pthread-wmm/safe022_tso.oepc_true-unreach-call.i true 6.04 3.24 362528768 error 4.48  2.45  251011072
pthread-wmm/safe022_tso.opt_true-unreach-call.i true 6.01 3.21 370446336 error 4.07  2.20  260300800
pthread-wmm/safe023_tso.oepc_true-unreach-call.i true 16.4  8.58 758497280 error 3.94  2.19  251056128
pthread-wmm/safe023_tso.opt_true-unreach-call.i true 17.9  9.40 763613184 error 4.14  2.29  254390272
pthread-wmm/safe024_tso.oepc_true-unreach-call.i true 10.8  5.65 539897856 error 3.95  2.21  250515456
pthread-wmm/safe024_tso.opt_true-unreach-call.i true 11.4  5.89 573620224 error 4.49  2.43  253792256
pthread-wmm/safe025_pso.oepc_true-unreach-call.i true 15.3  7.98 778096640 error 4.17  2.26  251682816
pthread-wmm/safe025_pso.opt_true-unreach-call.i true 17.4  9.02 777080832 error 3.94  2.18  252227584
pthread-wmm/safe025_tso.oepc_true-unreach-call.i true 16.8  8.92 768040960 error 4.08  2.25  254414848
pthread-wmm/safe025_tso.opt_true-unreach-call.i true 16.9  8.82 769056768 error 4.15  2.27  252932096
pthread-wmm/safe026_tso.oepc_true-unreach-call.i true 10.6  5.55 588009472 error 4.15  2.25  253657088
pthread-wmm/safe026_tso.opt_true-unreach-call.i true 12.0  6.22 617594880 error 4.15  2.28  248934400
pthread-wmm/safe027_pso.oepc_true-unreach-call.i true 48.2  29.5  2416836608 error 4.50  2.44  274972672
pthread-wmm/safe027_pso.opt_true-unreach-call.i true 44.3  27.5  2453454848 error 4.36  2.37  251731968
pthread-wmm/safe027_tso.oepc_true-unreach-call.i true 292    274    2538889216 error 4.05  2.26  255676416
pthread-wmm/safe027_tso.opt_true-unreach-call.i true 47.3  29.6  2424565760 error 4.03  2.24  250753024
pthread-wmm/safe028_pso.oepc_true-unreach-call.i true 10.9  5.66 522366976 error 4.13  2.27  253775872
pthread-wmm/safe028_pso.opt_true-unreach-call.i true 11.0  5.71 514674688 error 4.37  2.36  274894848
pthread-wmm/safe028_tso.oepc_true-unreach-call.i true 10.7  5.56 515223552 error 4.52  2.45  254930944
pthread-wmm/safe028_tso.opt_true-unreach-call.i true 10.7  5.54 514777088 error 4.14  2.25  253874176
pthread-wmm/safe029_tso.oepc_true-unreach-call.i true 6.18 3.28 366915584 error 4.04  2.21  253399040
pthread-wmm/safe029_tso.opt_true-unreach-call.i true 5.93 3.21 364122112 error 4.15  2.27  253411328
pthread-wmm/safe030_tso.oepc_true-unreach-call.i true 10.9  5.68 516259840 error 4.15  2.27  255504384
pthread-wmm/safe030_tso.opt_true-unreach-call.i true 10.8  5.62 516833280 error 4.17  2.28  253808640
pthread-wmm/safe031_tso.oepc_true-unreach-call.i true 10.6  5.48 533749760 error 4.25  2.31  254562304
pthread-wmm/safe031_tso.opt_true-unreach-call.i true 11.0  5.78 536592384 error 3.97  2.18  249655296
pthread-wmm/safe032_tso.oepc_true-unreach-call.i true 16.9  8.98 773476352 error 4.04  2.25  256073728
pthread-wmm/safe032_tso.opt_true-unreach-call.i true 17.8  9.36 797130752 error 4.04  2.21  252481536
pthread-wmm/safe033_tso.oepc_true-unreach-call.i true 5.91 3.19 373624832 error 4.09  2.24  255004672
pthread-wmm/safe033_tso.opt_true-unreach-call.i true 6.12 3.28 379285504 error 3.91  2.14  253202432
pthread-wmm/safe034_tso.oepc_true-unreach-call.i true 10.8  5.66 579346432 error 4.02  2.22  253149184
pthread-wmm/safe034_tso.opt_true-unreach-call.i true 11.4  5.93 661168128 error 4.16  2.30  255455232
pthread-wmm/safe035_power.oepc_true-unreach-call.i timeout 923    849    5140701184 error 5.05  2.70  267591680
pthread-wmm/safe035_power.opt_true-unreach-call.i timeout 942    860    5361356800 error 5.09  2.79  268066816
pthread-wmm/safe035_pso.oepc_true-unreach-call.i true 18.0  9.49 775409664 error 4.08  2.25  251645952
pthread-wmm/safe035_pso.opt_true-unreach-call.i true 19.7  10.3  786161664 error 4.04  2.24  252100608
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i true 18.1  9.57 788303872 error 4.27  2.31  255029248
pthread-wmm/safe035_rmo.opt_true-unreach-call.i true 17.3  8.99 777814016 error 4.37  2.39  251473920
pthread-wmm/safe035_tso.oepc_true-unreach-call.i true 17.5  9.10 774029312 error 4.44  2.40  276733952
pthread-wmm/safe035_tso.opt_true-unreach-call.i true 17.2  8.94 780210176 error 4.34  2.35  275415040
pthread-wmm/safe036_power.oepc_true-unreach-call.i true 5.88 3.17 383160320 error 4.05  2.21  251531264
pthread-wmm/safe036_power.opt_true-unreach-call.i true 6.17 3.26 378224640 error 3.90  2.12  251289600
pthread-wmm/safe036_pso.oepc_true-unreach-call.i true 6.16 3.29 378232832 error 4.29  2.30  275431424
pthread-wmm/safe036_pso.opt_true-unreach-call.i true 5.99 3.26 383959040 error 4.13  2.25  255823872
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i true 5.97 3.21 385261568 error 4.17  2.28  251510784
pthread-wmm/safe036_rmo.opt_true-unreach-call.i true 6.07 3.25 379850752 error 4.30  2.34  275447808
pthread-wmm/safe036_tso.oepc_true-unreach-call.i true 5.93 3.18 382308352 error 3.96  2.17  253251584
pthread-wmm/safe036_tso.opt_true-unreach-call.i true 6.22 3.30 381878272 error 4.06  2.24  250101760
pthread-wmm/safe037_power.oepc_true-unreach-call.i true 14.3  7.54 730591232 error 4.30  2.34  261234688
pthread-wmm/safe037_power.opt_true-unreach-call.i true 12.7  6.58 684584960 error 4.06  2.24  255574016
pthread-wmm/safe037_pso.oepc_true-unreach-call.i true 11.9  6.21 681058304 error 4.05  2.21  252215296
pthread-wmm/safe037_pso.opt_true-unreach-call.i true 11.9  6.19 690520064 error 4.01  2.20  252526592
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i true 12.1  6.28 678731776 error 4.02  2.20  248127488
pthread-wmm/safe037_rmo.opt_true-unreach-call.i true 12.5  6.51 711163904 error 4.01  2.22  255033344
pthread-wmm/safe037_tso.oepc_true-unreach-call.i true 12.6  6.52 693501952 error 4.11  2.25  255918080
pthread-wmm/safe037_tso.opt_true-unreach-call.i true 12.4  6.41 690659328 error 4.31  2.35  272424960
pthread-wmm/thin000_pso.oepc_true-unreach-call.i true 6.19 3.31 368381952 error 4.25  2.29  275456000
pthread-wmm/thin000_pso.opt_true-unreach-call.i true 5.95 3.25 379518976 error 4.14  2.27  251617280
pthread-wmm/thin000_tso.oepc_true-unreach-call.i true 5.98 3.21 367226880 error 4.08  2.24  252964864
pthread-wmm/thin000_tso.opt_true-unreach-call.i true 6.05 3.23 366178304 error 4.03  2.21  254758912
pthread-wmm/thin001_pso.oepc_true-unreach-call.i true 11.1  5.74 512278528 error 4.15  2.28  252215296
pthread-wmm/thin001_pso.opt_true-unreach-call.i true 10.1  5.27 504840192 error 4.01  2.20  250355712
pthread-wmm/thin001_tso.oepc_true-unreach-call.i true 12.0  6.24 526213120 error 4.43  2.39  275353600
pthread-wmm/thin001_tso.opt_true-unreach-call.i true 10.9  5.67 513232896 error 3.98  2.17  252616704
pthread-wmm/thin002_pso.oepc_true-unreach-call.i true 56.5  35.9  2722799616 error 4.51  2.44  276508672
pthread-wmm/thin002_pso.opt_true-unreach-call.i true 57.7  36.4  2748162048 error 4.14  2.26  251211776
pthread-wmm/thin002_tso.oepc_true-unreach-call.i true 53.7  33.7  2628354048 error 4.22  2.31  253325312
pthread-wmm/thin002_tso.opt_true-unreach-call.i true 96.6  78.8  2480521216 error 4.01  2.19  255455232
pthread-lit/fkp2013_false-unreach-call.i error 5.13 2.77 312643584 error 4.11  2.22  275845120
pthread-lit/fkp2013_variant_false-unreach-call.i error 5.27 2.88 321654784 error 4.28  2.29  259293184
pthread-lit/qw2004_false-unreach-call.i false(unreach-call) 5.62 3.02 366997504 false(unreach-call) 4.88  2.63  254869504
pthread-lit/fk2012_true-unreach-call.i error 6.70 3.54 428142592 error 4.20  2.31  254603264
pthread-lit/fkp2013_true-unreach-call.i error 5.26 2.86 317591552 error 4.16  2.23  277295104
pthread-lit/fkp2013_variant_true-unreach-call.i error 5.14 2.80 321167360 error 3.84  2.11  252006400
pthread-lit/fkp2014_true-unreach-call.i error 5.43 2.94 320962560 error 3.77  2.10  253808640
pthread-lit/qw2004_true-unreach-call.i true 5.97 3.20 375488512 error 4.00  2.23  256122880
pthread-lit/qw2004_variant_true-unreach-call.i error 5.59 3.05 335163392 error 3.87  2.11  256192512
pthread-lit/sssc12_true-unreach-call.i error 5.93 3.16 349700096 error 3.74  2.04  254525440
pthread-lit/sssc12_variant_true-unreach-call.i error 5.69 3.10 342376448 error 4.02  2.18  254197760
ldv-races/race-1_1-join_true-unreach-call.i true 7.14 3.79 537047040 error 4.89  2.61  259772416
ldv-races/race-2_1-container_of_true-unreach-call.i false(unreach-call) 9.19 4.85 548712448 false(unreach-call) 5.94  3.16  264187904
ldv-races/race-3_1-container_of-global_true-unreach-call.i false(unreach-call) 9.44 5.00 552198144 false(unreach-call) 5.97  3.17  262901760
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i true 8.56 4.52 571854848 error 4.76  2.57  260792320
ldv-races/race-1_2-join_false-unreach-call.i false(unreach-call) 7.29 3.83 529276928 false(unreach-call) 5.68  3.03  275431424
ldv-races/race-1_3-join_false-unreach-call.i false(unreach-call) 7.06 3.73 531517440 false(unreach-call) 5.54  2.99  261095424
ldv-races/race-2_2-container_of_false-unreach-call.i false(unreach-call) 7.11 3.80 516460544 false(unreach-call) 5.76  3.04  261087232
ldv-races/race-2_3-container_of_false-unreach-call.i false(unreach-call) 7.01 3.70 532258816 false(unreach-call) 5.89  3.13  261046272
ldv-races/race-2_4-container_of_false-unreach-call.i false(unreach-call) 7.63 4.07 517885952 false(unreach-call) 5.89  3.13  264728576
ldv-races/race-2_5-container_of_false-unreach-call.i false(unreach-call) 7.31 3.91 524234752 false(unreach-call) 5.77  3.06  264847360
ldv-races/race-3_2-container_of-global_false-unreach-call.i false(unreach-call) 8.87 4.66 555933696 false(unreach-call) 5.97  3.17  267448320
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i false(unreach-call) 8.36 4.41 572600320 false(unreach-call) 5.83  3.13  262864896
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_false-unreach-call.cil.i error 624    561    4934320128 error 9.15  4.80  329650176
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko_false-unreach-call.cil.i error 364    332    4104085504 error 8.85  4.62  340660224
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i error 121    99.9  2247483392 error 7.75  4.08  279293952
ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko_false-unreach-call.cil.i timeout 914    873    3854585856 error (invalid witness file) .586 .352 41197568
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i timeout 903    861    3986878464 error 6.68  3.50  284725248
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i timeout 921    874    9473036288 error (invalid witness file) .585 .364 41000960
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_true-unreach-call.cil.i error 577    526    4983554048 error 8.83  4.60  334995456
pthread-complex/bounded_buffer_false-unreach-call.i error 9.42 4.94 524165120 error 4.57  2.46  260329472
pthread-complex/elimination_backoff_stack_false-unreach-call.i error 11.3  5.89 578043904 error 5.00  2.68  261689344
pthread-complex/safestack_relacy_false-unreach-call.i timeout 912    896    6868041728 error (invalid witness file) .561 .347 39710720
pthread-complex/workstealqueue_mutex_false-unreach-call.i timeout 920    899    6872481792 error (invalid witness file) .591 .352 41893888
pthread-complex/workstealqueue_mutex_true-unreach-call.i timeout 912    898    7125004288 error (invalid witness file) .581 .349 40247296
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i error 33.9  20.5  2525605888 error 7.38  3.88  338350080
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i error 30.5  18.4  2208874496 error 7.13  3.77  324419584
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i error 29.0  17.9  2189176832 error 7.10  3.73  322719744
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i error 31.1  19.1  2403192832 error 7.19  3.80  337596416
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i error 30.7  18.5  2248089600 error 7.02  3.72  322502656
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i error 36.9  22.3  2564243456 error 7.20  3.79  335933440
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i error 43.8  26.8  2874695680 error 7.67  4.03  331378688
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i error 40.9  24.9  2861617152 error 7.85  4.13  320778240
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i error 43.5  26.3  2832568320 error 7.46  3.95  337145856
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i error 40.5  24.6  2832314368 error 7.83  4.11  342003712
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i error 39.0  23.9  2835742720 error 7.46  3.92  334299136
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i error 39.8  24.1  2824687616 error 7.55  3.97  331956224
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i error 41.3  24.8  2833465344 error 7.43  3.92  333684736
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i error 47.4  28.3  2851553280 error 7.61  4.02  323584000
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i error 41.3  25.0  2760212480 error 7.59  3.99  335507456
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i error 44.3  26.6  3023192064 error 7.49  3.95  331390976
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i error 43.5  26.8  2862714880 error 7.62  4.02  323297280
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i error 33.0  20.2  2301886464 error 7.03  3.72  315777024
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i error 39.0  23.7  2420125696 error 7.46  3.90  334647296
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i error 38.8  23.6  2825682944 error 7.66  4.04  329486336
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i error 36.7  22.5  2379669504 error 7.60  3.97  335368192
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i true 402    383    3804639232 error 4.19  2.30  255295488
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i error 136    113    2506690560 error (threads) 4.42  2.42  256626688
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i error 7.10 3.88 470319104 error (threads) 4.33  2.39  260288512
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i timeout 904    883    3789053952 error 4.24  2.32  258703360
pthread-divine/condvar_spurious_wakeup_false-unreach-call.i false(unreach-call) 5.23 2.85 327696384 false(unreach-call) 4.75  2.60  256737280
pthread-divine/divinefifo-bug_1w1r_false-unreach-call.i false(unreach-call) 8.92 4.71 504037376 true 5.07  2.76  260227072
pthread-divine/one_time_barrier_2t_false-unreach-call.i error 9.01 4.74 489422848 error 4.12  2.26  258007040
pthread-divine/one_time_barrier_3t_false-unreach-call.i error 8.52 4.50 483778560 error 4.14  2.26  254287872
pthread-divine/ring_1w1r_false-unreach-call.i error 6.79 3.62 419778560 error 3.82  2.11  256004096
pthread-divine/ring_2w1r_false-unreach-call.i error 6.75 3.63 431833088 error 4.32  2.34  259153920
pthread-divine/tls_destructor_worker_false-unreach-call.i false(unreach-call) 4.39 2.41 260583424 false(unreach-call) 4.41  2.41  263204864
pthread-divine/barrier_2t_true-unreach-call.i error 8.96 4.73 469901312 error 4.15  2.28  256110592
pthread-divine/barrier_3t_true-unreach-call.i error 10.2  5.43 461668352 error 4.05  2.25  252514304
pthread-divine/condvar_true-unreach-call.i true 7.09 3.76 447549440 error 3.83  2.10  255893504
pthread-divine/divinefifo_1w1r_true-unreach-call.i false(unreach-call) 10.6  5.58 495079424 true 5.13  2.80  262344704
pthread-divine/one_time_barrier_twice_2t_true-unreach-call.i error 8.66 4.57 487931904 error 4.29  2.35  254074880
pthread-divine/one_time_barrier_twice_3t_true-unreach-call.i error 8.50 4.53 484044800 error 3.97  2.18  253104128
pthread-divine/ring_1w1r_true-unreach-call.i error 6.09 3.26 440094720 error 3.92  2.15  253988864
pthread-divine/ring_2w1r_true-unreach-call.i error 7.45 3.92 431243264 error 4.28  2.32  257507328
pthread-divine/tls_basic_true-unreach-call.i false(unreach-call) 4.86 2.66 262262784 false(unreach-call) 4.39  2.38  252317696
pthread-nondet/nondet-array_false-unreach-call.i error 6.52 3.47 357449728 error 3.92  2.17  253583360
pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i error 5.83 3.12 349294592 error 3.92  2.13  251101184
pthread-nondet/nondet-loop-bound_false-unreach-call.i error 5.48 2.95 330444800 error 3.74  2.07  251494400
pthread-nondet/nondet-array_true-unreach-call.i error 6.32 3.37 375918592 error 3.77  2.05  253235200
pthread-nondet/nondet-loop-bound-variant_true-unreach-call.i error 5.72 3.09 348528640 error 3.78  2.09  252231680
pthread-nondet/nondet-loop-bound_true-unreach-call.i error 5.55 2.98 324567040 error 3.86  2.10  255369216
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 1082 74700   60500   1625935634432 1082 28700    20300    968221667328
    correct results 938 50100   37600   1379026251776 772 27400    19600    889062522880
        correct true 166 4560   3300   153702313984 1 5.13 2.80 262344704
        correct false 772 45500   34300   1225323937792 771 27400    19600    888800178176
    incorrect results 4 34.1 18.1 1858252800 4 21.4  11.5  1039634432
        incorrect true 0 1 5.07 2.76 260227072
        incorrect false 4 34.1 18.1 1858252800 3 16.3  8.72 779407360
score (1082 tasks, max score: 1344) 1040 693
Run set cpaseq--concurrency.cpaseq.Concurrency cpachecker-cpaseq--concurrency-validation.witnessValidation.Concurrency