Tool ULTIMATE Automizer 0.1.24-91b1670e
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 ultimateautomizer--concurrency.ultimateautomizer.Concurrency ultimateautomizer-ultimateautomizer--concurrency-validation.witnessValidation.Concurrency
Options --full-output --full-output --validate test/results/ultimateautomizer--concurrency.logfiles/ultimateautomizer.${inputfile_name}.files/witness.graphml
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
pthread/bigshot_p_false-unreach-call.i false(unreach-call) 12.9  7.51 454184960 error (7) 19.0    11.2    363376640
pthread/fib_bench_false-unreach-call.i timeout 961    905    1078738944 error (2) .0193 .0197 5402624
pthread/fib_bench_longer_false-unreach-call.i timeout 961    893    1075920896 error (2) .0204 .0208 5595136
pthread/fib_bench_longest_false-unreach-call.i timeout 961    894    1052655616 error (2) .0199 .0203 5619712
pthread/lazy01_false-unreach-call.i false(unreach-call) 11.8  6.85 428421120 error (7) 15.3    9.36   327671808
pthread/queue_false-unreach-call.i error (7) 12.4  7.04 298168320 error (2) .0201 .0205 5615616
pthread/queue_longer_false-unreach-call.i error (7) 11.9  7.07 300568576 error (2) .0322 .0330 5533696
pthread/queue_longest_false-unreach-call.i error (7) 12.4  6.70 298299392 error (2) .0257 .0265 5521408
pthread/reorder_2_false-unreach-call.i error (7) 12.5  7.40 298942464 error (2) .0498 .0528 5521408
pthread/reorder_5_false-unreach-call.i error (7) 13.2  7.74 294776832 error (2) .0197 .0203 5615616
pthread/sigma_false-unreach-call.i error (7) 15.5  9.02 323182592 error (2) .0196 .0199 5615616
pthread/singleton_false-unreach-call.i false(unreach-call) 144    108    4744900608 error (7) 19.9    11.4    386461696
pthread/stack_false-unreach-call.i false(unreach-call) 30.0  17.3  804732928 error (7) 17.5    10.3    337465344
pthread/stack_longer_false-unreach-call.i false(unreach-call) 35.4  21.5  791232512 error (7) 17.7    10.1    352649216
pthread/stack_longest_false-unreach-call.i false(unreach-call) 41.5  25.4  923348992 error (7) 17.6    10.1    355667968
pthread/stateful01_false-unreach-call.i false(unreach-call) 10.5  6.26 332898304 error (7) 15.5    9.44   319893504
pthread/triangular-longer_false-unreach-call.i false(unreach-call) 46.9  28.8  665235456 error (7) 15.1    9.27   313884672
pthread/triangular-longest_false-unreach-call.i false(unreach-call) 107    74.1  1298784256 error (7) 15.3    9.00   318263296
pthread/triangular_false-unreach-call.i false(unreach-call) 27.4  16.2  513941504 error (7) 14.9    9.15   315842560
pthread/twostage_3_false-unreach-call.i error (7) 14.3  8.28 300220416 error (2) .0542 .0553 5541888
pthread/bigshot_s2_true-unreach-call.i unknown 21.8  12.5  342110208 error (2) .0200 .0203 5611520
pthread/bigshot_s_true-unreach-call.i unknown 22.4  12.9  366186496 error (2) .0198 .0201 5615616
pthread/fib_bench_longer_true-unreach-call.i timeout 961    891    1069961216 error (2) .0264 .0274 5525504
pthread/fib_bench_longest_true-unreach-call.i timeout 960    905    848125952 error (2) .0199 .0204 5615616
pthread/fib_bench_true-unreach-call.i timeout 961    902    1026170880 error (2) .0195 .0198 5615616
pthread/indexer_true-unreach-call.i error (7) 16.6  9.77 319578112 error (2) .0196 .0205 5742592
pthread/queue_ok_longer_true-unreach-call.i error (7) 12.3  7.23 297463808 error (2) .0198 .0203 5586944
pthread/queue_ok_longest_true-unreach-call.i error (7) 14.0  8.27 298885120 error (2) .0195 .0201 5611520
pthread/queue_ok_true-unreach-call.i error (7) 12.0  7.01 298344448 error (2) .0188 .0192 5611520
pthread/singleton_with-uninit-problems_true-unreach-call.i true 115    83.8  4470657024 error (7) 19.8    11.0    396128256
pthread/stack_longer_true-unreach-call.i timeout 960    928    2647248896 error (2) .0200 .0204 5615616
pthread/stack_longest_true-unreach-call.i timeout 960    929    2633773056 error (2) .0240 .0246 5611520
pthread/stack_true-unreach-call.i timeout 961    917    2760392704 error (2) .0241 .0251 5623808
pthread/stateful01_true-unreach-call.i true 12.4  7.29 385863680 error (7) 14.6    8.71   320593920
pthread/sync01_true-unreach-call.i unknown 6.65 3.99 296058880 error (2) .0200 .0204 5623808
pthread/triangular-longer_true-unreach-call.i true 51.6  31.8  697991168 error (7) 15.1    9.06   315011072
pthread/triangular-longest_true-unreach-call.i true 120    83.1  1166368768 error (7) 14.4    8.86   311037952
pthread/triangular_true-unreach-call.i true 30.9  18.1  522194944 error (7) 15.1    8.44   313356288
pthread-atomic/qrcu_false-unreach-call.i error (7) 13.6  7.67 308854784 error (2) .0194 .0203 5607424
pthread-atomic/read_write_lock_false-unreach-call.i error (7) 49.1  27.8  1528643584 error (2) .0194 .0198 5623808
pthread-atomic/dekker_true-unreach-call.i true 9.83 5.92 340766720 error (7) 15.0    9.19   315420672
pthread-atomic/gcd_true-unreach-call_true-termination.i error (7) 16.2  9.52 313896960 error (2) .0267 .0275 5722112
pthread-atomic/lamport_true-unreach-call.i true 12.4  7.20 464019456 error (7) 15.7    9.25   316145664
pthread-atomic/peterson_true-unreach-call.i true 9.77 5.77 333307904 error (7) 14.7    9.02   314888192
pthread-atomic/qrcu_true-unreach-call.i error (7) 14.1  8.43 305995776 error (2) .0199 .0203 5615616
pthread-atomic/read_write_lock_true-unreach-call.i true 25.8  14.2  1025060864 error (7) 13.9    8.28   310939648
pthread-atomic/scull_true-unreach-call.i timeout 961    912    7418855424 error (2) .0216 .0222 5607424
pthread-atomic/szymanski_true-unreach-call.i true 11.7  6.49 396005376 error (7) 15.3    8.96   325586944
pthread-atomic/time_var_mutex_true-unreach-call.i true 11.0  5.99 366399488 error (7) 15.2    8.57   319090688
pthread-ext/25_stack_longer_false-unreach-call.i error (7) 15.0  9.01 315199488 error (2) .0388 .0396 5537792
pthread-ext/25_stack_longest_false-unreach-call.i error (7) 14.1  8.58 317308928 error (2) .0263 .0269 5541888
pthread-ext/26_stack_cas_longer_false-unreach-call.i error (7) 14.0  8.48 313917440 error (2) .0202 .0207 5611520
pthread-ext/26_stack_cas_longest_false-unreach-call.i error (7) 16.7  9.75 317403136 error (2) .0308 .0313 5537792
pthread-ext/27_Boop_simple_vf_false-unreach-call.i error (7) 14.3  8.73 312406016 error (2) .0268 .0287 5742592
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i error (7) 16.6  10.0  316518400 error (2) .0197 .0201 5746688
pthread-ext/32_pthread5_vs_false-unreach-call.i error (7) 14.0  8.37 315346944 error (2) .0199 .0205 5615616
pthread-ext/40_barrier_vf_false-unreach-call.i error (7) 15.8  9.20 317399040 error (2) .0201 .0206 5611520
pthread-ext/01_inc_true-unreach-call.i error (7) 13.8  8.38 312692736 error (2) .0201 .0205 5619712
pthread-ext/02_inc_cas_true-unreach-call.i error (7) 12.5  7.43 302452736 error (2) .0247 .0258 5615616
pthread-ext/03_incdec_true-unreach-call.i error (7) 14.6  9.00 318451712 error (2) .0485 .0493 5533696
pthread-ext/04_incdec_cas_true-unreach-call.i error (7) 13.4  7.84 310755328 error (2) .0199 .0203 5615616
pthread-ext/05_tas_true-unreach-call.i error (7) 15.8  9.23 312594432 error (2) .0247 .0257 5615616
pthread-ext/06_ticket_true-unreach-call.i error (7) 15.1  8.78 312004608 error (2) .0199 .0202 5611520
pthread-ext/07_rand_true-unreach-call.i error (7) 14.2  8.75 310755328 error (2) .0197 .0205 5623808
pthread-ext/08_rand_cas_true-unreach-call.i error (7) 14.9  8.86 308805632 error (2) .0295 .0304 5533696
pthread-ext/09_fmaxsym_true-unreach-call.i error (7) 14.5  8.55 308666368 error (2) .0199 .0203 5615616
pthread-ext/10_fmaxsym_cas_true-unreach-call.i error (7) 13.3  8.33 300204032 error (2) .0199 .0203 5611520
pthread-ext/11_fmaxsymopt_true-unreach-call.i error (7) 17.1  10.1  313974784 error (2) .0227 .0237 5586944
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i error (7) 14.4  8.67 311971840 error (2) .0253 .0257 5746688
pthread-ext/13_unverif_true-unreach-call.i error (7) 14.1  8.33 313073664 error (2) .0261 .0270 5537792
pthread-ext/14_spin2003_true-unreach-call.i error (7) 14.4  8.68 309473280 error (2) .0218 .0222 5545984
pthread-ext/15_dekker_true-unreach-call.i true 9.82 5.99 325570560 error (7) 14.6    8.28   314683392
pthread-ext/16_peterson_true-unreach-call.i true 9.64 5.79 337387520 error (7) 14.8    8.74   316542976
pthread-ext/17_szymanski_true-unreach-call.i true 11.1  6.42 338980864 error (7) 15.0    8.88   322789376
pthread-ext/18_read_write_lock_true-unreach-call.i true 10.3  5.72 317292544 error (7) 14.0    7.80   308940800
pthread-ext/19_time_var_mutex_true-unreach-call.i true 11.1  6.63 344252416 error (7) 13.8    8.63   308482048
pthread-ext/20_lamport_true-unreach-call.i true 10.9  6.50 379527168 error (7) 14.6    9.02   311201792
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i error (7) 14.9  9.14 303931392 error (2) .0198 .0204 5742592
pthread-ext/25_stack_longer_true-unreach-call.i error (7) 13.0  7.32 308854784 error (2) .0197 .0201 5615616
pthread-ext/25_stack_longest_true-unreach-call.i error (7) 14.2  8.64 316473344 error (2) .0216 .0222 5591040
pthread-ext/25_stack_true-unreach-call.i error (7) 13.1  8.05 312090624 error (2) .0196 .0199 5611520
pthread-ext/26_stack_cas_longer_true-unreach-call.i error (7) 15.4  9.00 315502592 error (2) .0199 .0203 5607424
pthread-ext/26_stack_cas_longest_true-unreach-call.i error (7) 16.9  9.92 315109376 error (2) .0241 .0248 5607424
pthread-ext/26_stack_cas_true-unreach-call.i error (7) 13.1  7.70 311607296 error (2) .0264 .0271 5644288
pthread-ext/29_conditionals_vs_true-unreach-call.i error (7) 13.4  8.11 312483840 error (2) .0445 .0452 5529600
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i error (7) 14.9  9.22 318660608 error (2) .0198 .0200 5734400
pthread-ext/31_simple_loop5_vs_true-unreach-call.i error (7) 14.5  8.90 312627200 error (2) .0198 .0202 5595136
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i error (7) 14.2  8.40 309927936 error (2) .0196 .0202 5718016
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i error (7) 14.5  8.96 320258048 error (2) .0198 .0202 5603328
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i error (7) 14.1  8.03 308826112 error (2) .0262 .0273 5611520
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i error (7) 14.8  8.93 301285376 error (2) .0192 .0196 5611520
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i error (7) 14.2  8.63 300691456 error (2) .0498 .0512 5545984
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i error (7) 15.8  9.40 322506752 error (2) .0496 .0504 5525504
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i error (7) 14.0  7.99 311889920 error (2) .0206 .0210 5611520
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i error (7) 15.8  9.34 310214656 error (2) .0200 .0204 5603328
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i error (7) 14.8  8.64 312360960 error (2) .0195 .0201 5619712
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i error (7) 7.40 4.50 299823104 error (2) .0260 .0269 5611520
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i error (7) 15.3  9.36 316121088 error (2) .0254 .0261 5611520
pthread-ext/45_monabsex1_vs_true-unreach-call.i error (7) 13.5  8.46 310464512 error (2) .0237 .0242 5537792
pthread-ext/46_monabsex2_vs_true-unreach-call.i error (7) 15.9  9.73 310984704 error (2) .0207 .0211 5591040
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i error (7) 13.5  8.53 310853632 error (2) .0510 .0540 5537792
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i error (7) 14.5  8.49 314724352 error (2) .0542 .0560 5533696
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) 246    169    7660544000 error (7) 15.6    9.49   319188992
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) 64.1  40.8  3234611200 error (7) 16.5    9.57   328773632
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) 218    148    7613779968 error (7) 15.1    9.34   333553664
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) 68.0  43.6  2969542656 error (7) 17.2    9.63   319139840
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) 205    143    7572926464 error (7) 14.7    8.65   318308352
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) 62.0  39.9  2877124608 error (7) 15.9    9.39   324866048
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) 137    94.5  5576060928 error (7) 15.7    9.25   317710336
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) 63.0  41.0  3370774528 error (7) 16.8    9.70   330313728
pthread-wmm/mix001_power.oepc_false-unreach-call.i timeout 961    917    7095963648 error (2) .0200 .0205 5595136
pthread-wmm/mix001_power.opt_false-unreach-call.i timeout 961    623    13529665536 error (2) .0445 .0455 5541888
pthread-wmm/mix001_pso.oepc_false-unreach-call.i timeout 961    919    6970101760 error (2) .0199 .0203 5607424
pthread-wmm/mix001_pso.opt_false-unreach-call.i timeout 962    630    13474459648 error (2) .0212 .0216 5611520
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i timeout 961    912    7169650688 error (2) .0203 .0208 5611520
pthread-wmm/mix001_rmo.opt_false-unreach-call.i timeout 962    632    13532487680 error (2) .0492 .0500 5537792
pthread-wmm/mix001_tso.oepc_false-unreach-call.i timeout 961    918    7124738048 error (2) .0202 .0206 5595136
pthread-wmm/mix001_tso.opt_false-unreach-call.i timeout 962    634    13498437632 error (2) .0201 .0205 5611520
pthread-wmm/mix002_power.oepc_false-unreach-call.i timeout 962    739    13223702528 error (2) .0254 .0262 5619712
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 474    367    10645188608 error (7) 16.3    9.54   332414976
pthread-wmm/mix002_pso.oepc_false-unreach-call.i timeout 962    725    12917497856 error (2) .0488 .0496 5517312
pthread-wmm/mix002_pso.opt_false-unreach-call.i timeout 961    640    13535690752 error (2) .0411 .0423 5533696
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i timeout 962    721    13170339840 error (2) .0196 .0200 5619712
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 457    350    10249138176 error (7) 17.5    9.98   334168064
pthread-wmm/mix002_tso.oepc_false-unreach-call.i timeout 962    743    13196533760 error (2) .0212 .0218 5595136
pthread-wmm/mix002_tso.opt_false-unreach-call.i timeout 961    628    13518647296 error (2) .0201 .0205 5595136
pthread-wmm/mix003_power.oepc_false-unreach-call.i timeout 962    712    13322571776 error (2) .0202 .0206 5595136
pthread-wmm/mix003_power.opt_false-unreach-call.i timeout 961    641    13513412608 error (2) .0456 .0528 5656576
pthread-wmm/mix003_pso.oepc_false-unreach-call.i timeout 962    742    12855017472 error (2) .0195 .0199 5599232
pthread-wmm/mix003_pso.opt_false-unreach-call.i timeout 962    637    13414088704 error (2) .0245 .0251 5541888
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i timeout 962    746    12787826688 error (2) .0401 .0409 5537792
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i timeout 961    633    13534879744 error (2) .0203 .0208 5611520
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i timeout 961    639    13240213504 error (2) .0215 .0220 5726208
pthread-wmm/mix003_rmo.opt_false-unreach-call.i timeout 961    641    13380173824 error (2) .0268 .0277 5611520
pthread-wmm/mix003_tso.oepc_false-unreach-call.i timeout 962    749    13094834176 error (2) .0281 .0366 5541888
pthread-wmm/mix003_tso.opt_false-unreach-call.i timeout 962    635    13512724480 error (2) .0500 .0508 5529600
pthread-wmm/mix004_power.oepc_false-unreach-call.i timeout 961    909    7009120256 error (2) .0260 .0268 5521408
pthread-wmm/mix004_power.opt_false-unreach-call.i timeout 961    919    6874357760 error (2) .0371 .0377 5517312
pthread-wmm/mix004_pso.oepc_false-unreach-call.i timeout 961    915    6988988416 error (2) .0287 .0295 5607424
pthread-wmm/mix004_pso.opt_false-unreach-call.i timeout 961    917    6881292288 error (2) .0197 .0207 5742592
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i timeout 961    918    6947962880 error (2) .0198 .0204 5611520
pthread-wmm/mix004_rmo.opt_false-unreach-call.i timeout 961    919    6899621888 error (2) .0367 .0373 5533696
pthread-wmm/mix004_tso.oepc_false-unreach-call.i timeout 961    918    6854103040 error (2) .0199 .0205 5611520
pthread-wmm/mix004_tso.opt_false-unreach-call.i timeout 961    920    7000231936 error (2) .0503 .0512 5517312
pthread-wmm/mix005_power.oepc_false-unreach-call.i timeout 961    918    6951436288 error (2) .0196 .0200 5607424
pthread-wmm/mix005_power.opt_false-unreach-call.i timeout 961    914    7349035008 error (2) .0201 .0205 5615616
pthread-wmm/mix005_pso.oepc_false-unreach-call.i timeout 961    917    6778937344 error (2) .0196 .0200 5599232
pthread-wmm/mix005_pso.opt_false-unreach-call.i timeout 961    912    7124353024 error (2) .0198 .0201 5615616
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i timeout 961    914    7214788608 error (2) .0200 .0204 5595136
pthread-wmm/mix005_rmo.opt_false-unreach-call.i timeout 961    914    7253086208 error (2) .0219 .0223 5595136
pthread-wmm/mix005_tso.oepc_false-unreach-call.i timeout 961    917    7157415936 error (2) .0210 .0215 5537792
pthread-wmm/mix005_tso.opt_false-unreach-call.i timeout 961    914    7162527744 error (2) .0194 .0200 5611520
pthread-wmm/mix006_power.oepc_false-unreach-call.i timeout 960    756    12706394112 error (2) .0458 .0468 5603328
pthread-wmm/mix006_power.opt_false-unreach-call.i timeout 961    637    13512204288 error (2) .0344 .0361 5545984
pthread-wmm/mix006_pso.oepc_false-unreach-call.i timeout 962    725    12755070976 error (2) .0198 .0204 5607424
pthread-wmm/mix006_pso.opt_false-unreach-call.i timeout 961    638    13361934336 error (2) .0270 .0279 5591040
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i timeout 962    771    13529305088 error (2) .0196 .0202 5595136
pthread-wmm/mix006_rmo.opt_false-unreach-call.i timeout 962    642    13513883648 error (2) .0248 .0253 5615616
pthread-wmm/mix006_tso.oepc_false-unreach-call.i timeout 961    907    7839223808 error (2) .0196 .0200 5611520
pthread-wmm/mix006_tso.opt_false-unreach-call.i timeout 960    637    13453377536 error (2) .0197 .0200 5607424
pthread-wmm/mix007_power.oepc_false-unreach-call.i timeout 961    920    6927073280 error (2) .0506 .0515 5517312
pthread-wmm/mix007_power.opt_false-unreach-call.i timeout 961    913    6948827136 error (2) .0202 .0206 5615616
pthread-wmm/mix007_pso.oepc_false-unreach-call.i timeout 961    912    6928453632 error (2) .0215 .0219 5541888
pthread-wmm/mix007_pso.opt_false-unreach-call.i timeout 961    909    7126675456 error (2) .0196 .0201 5595136
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i timeout 961    915    7252529152 error (2) .0500 .0508 5525504
pthread-wmm/mix007_rmo.opt_false-unreach-call.i timeout 961    914    7151824896 error (2) .0249 .0262 5615616
pthread-wmm/mix007_tso.oepc_false-unreach-call.i timeout 961    917    6976360448 error (2) .0188 .0194 5611520
pthread-wmm/mix007_tso.opt_false-unreach-call.i timeout 961    916    7054970880 error (2) .0312 .0316 5611520
pthread-wmm/mix008_power.oepc_false-unreach-call.i timeout 961    919    6920794112 error (2) .0248 .0253 5537792
pthread-wmm/mix008_power.opt_false-unreach-call.i timeout 961    915    7052767232 error (2) .0198 .0202 5595136
pthread-wmm/mix008_pso.oepc_false-unreach-call.i timeout 961    916    7108857856 error (2) .0237 .0246 5746688
pthread-wmm/mix008_pso.opt_false-unreach-call.i timeout 961    917    6990032896 error (2) .0198 .0202 5599232
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i timeout 961    914    7259668480 error (2) .0199 .0203 5619712
pthread-wmm/mix008_rmo.opt_false-unreach-call.i timeout 961    911    6871900160 error (2) .0300 .0308 5537792
pthread-wmm/mix008_tso.oepc_false-unreach-call.i timeout 961    911    7690444800 error (2) .0199 .0205 5722112
pthread-wmm/mix008_tso.opt_false-unreach-call.i timeout 961    915    7033307136 error (2) .0195 .0198 5611520
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 58.2  36.5  2583076864 error (7) 18.6    10.8    319660032
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) 67.9  43.9  3155161088 error (7) 16.7    10.1    334815232
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 60.6  37.9  2196709376 error (7) 15.4    9.11   312025088
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) 65.3  42.1  2556997632 error (7) 16.7    9.86   326692864
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 66.7  40.7  2305204224 error (7) 15.9    9.04   318795776
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) 59.0  37.5  2913931264 error (7) 16.5    9.62   326799360
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 67.7  42.0  2609008640 error (7) 15.7    9.51   318550016
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) 62.9  40.7  2762649600 error (7) 16.4    9.90   326520832
pthread-wmm/mix010_power.oepc_false-unreach-call.i timeout 962    721    12917317632 error (2) .0415 .0423 5541888
pthread-wmm/mix010_power.opt_false-unreach-call.i timeout 961    628    13448839168 error (2) .0274 .0280 5603328
pthread-wmm/mix010_pso.oepc_false-unreach-call.i timeout 962    711    12912238592 error (2) .0246 .0250 5517312
pthread-wmm/mix010_pso.opt_false-unreach-call.i timeout 962    620    13508530176 error (2) .0275 .0280 5505024
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i timeout 962    729    12773470208 error (2) .0483 .0519 5574656
pthread-wmm/mix010_rmo.opt_false-unreach-call.i timeout 961    623    13526511616 error (2) .0224 .0228 5611520
pthread-wmm/mix010_tso.oepc_false-unreach-call.i timeout 962    717    13329215488 error (2) .0197 .0205 5615616
pthread-wmm/mix010_tso.opt_false-unreach-call.i timeout 962    627    13525463040 error (2) .0199 .0203 5595136
pthread-wmm/mix011_power.oepc_false-unreach-call.i timeout 961    724    13094035456 error (2) .0504 .0512 5525504
pthread-wmm/mix011_power.opt_false-unreach-call.i timeout 961    640    13529755648 error (2) .0235 .0239 5541888
pthread-wmm/mix011_pso.oepc_false-unreach-call.i timeout 962    708    13098704896 error (2) .0198 .0202 5615616
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 438    343    9948409856 error (7) 17.7    10.1    330735616
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i timeout 962    714    12826370048 error (2) .0242 .0246 5586944
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 449    356    9465380864 error (7) 16.7    10.1    322543616
pthread-wmm/mix011_tso.oepc_false-unreach-call.i timeout 962    646    13523480576 error (2) .0499 .0508 5521408
pthread-wmm/mix011_tso.opt_false-unreach-call.i timeout 961    639    13517942784 error (2) .0419 .0427 5533696
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 91.6  59.2  4093591552 error (7) 15.9    9.39   322748416
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 103    64.5  3888222208 error (7) 15.2    8.97   319078400
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 76.7  50.3  3625623552 error (7) 15.0    9.20   316108800
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) 160    105    7487705088 error (7) 17.0    10.2    322228224
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 88.9  58.4  3983814656 error (7) 14.9    8.73   313094144
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 74.0  48.2  3751673856 error (7) 15.3    9.03   321994752
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 69.3  46.9  3678240768 error (7) 15.5    8.73   313933824
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) 73.3  45.3  2967040000 error (7) 17.5    10.2    326053888
pthread-wmm/mix013_power.oepc_false-unreach-call.i timeout 961    919    6768951296 error (2) .0217 .0222 5611520
pthread-wmm/mix013_power.opt_false-unreach-call.i timeout 961    917    6990721024 error (2) .0196 .0200 5586944
pthread-wmm/mix013_pso.oepc_false-unreach-call.i timeout 961    918    6872166400 error (2) .0312 .0319 5537792
pthread-wmm/mix013_pso.opt_false-unreach-call.i timeout 961    916    6878416896 error (2) .0196 .0205 5746688
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i timeout 961    919    6814179328 error (2) .0245 .0250 5611520
pthread-wmm/mix013_rmo.opt_false-unreach-call.i timeout 961    917    6963355648 error (2) .0203 .0208 5611520
pthread-wmm/mix013_tso.oepc_false-unreach-call.i timeout 961    919    7032295424 error (2) .0202 .0206 5615616
pthread-wmm/mix013_tso.opt_false-unreach-call.i timeout 961    917    6862049280 error (2) .0197 .0200 5611520
pthread-wmm/mix014_power.oepc_false-unreach-call.i timeout 961    916    6989336576 error (2) .0526 .0535 5529600
pthread-wmm/mix014_power.opt_false-unreach-call.i timeout 961    917    7052529664 error (2) .0199 .0203 5603328
pthread-wmm/mix014_pso.oepc_false-unreach-call.i timeout 961    917    7132934144 error (2) .0196 .0200 5615616
pthread-wmm/mix014_pso.opt_false-unreach-call.i timeout 961    915    7183171584 error (2) .0199 .0203 5607424
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i timeout 961    913    7174656000 error (2) .0461 .0490 5525504
pthread-wmm/mix014_rmo.opt_false-unreach-call.i timeout 961    915    7131938816 error (2) .0408 .0427 5541888
pthread-wmm/mix014_tso.oepc_false-unreach-call.i timeout 961    907    7977639936 error (2) .0440 .0457 5660672
pthread-wmm/mix014_tso.opt_false-unreach-call.i timeout 961    918    7041875968 error (2) .0482 .0490 5533696
pthread-wmm/mix015_power.oepc_false-unreach-call.i timeout 961    724    12913434624 error (2) .0198 .0202 5595136
pthread-wmm/mix015_power.opt_false-unreach-call.i timeout 962    627    13536567296 error (2) .0246 .0259 5607424
pthread-wmm/mix015_pso.oepc_false-unreach-call.i timeout 962    696    13310791680 error (2) .0205 .0215 5558272
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 589    446    10759278592 error (7) 17.1    9.86   336883712
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i timeout 962    721    12915703808 error (2) .0199 .0203 5615616
pthread-wmm/mix015_rmo.opt_false-unreach-call.i timeout 962    632    13341593600 error (2) .0518 .0526 5533696
pthread-wmm/mix015_tso.oepc_false-unreach-call.i timeout 962    718    12788146176 error (2) .0255 .0262 5591040
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 527    405    10243891200 error (7) 16.9    10.3    322736128
pthread-wmm/mix016_power.oepc_false-unreach-call.i timeout 962    737    12921245696 error (2) .0240 .0247 5607424
pthread-wmm/mix016_power.opt_false-unreach-call.i timeout 962    692    13178757120 error (2) .0232 .0237 5607424
pthread-wmm/mix016_pso.oepc_false-unreach-call.i timeout 962    722    12922662912 error (2) .0189 .0193 5619712
pthread-wmm/mix016_pso.opt_false-unreach-call.i timeout 962    630    13530914816 error (2) .0543 .0552 5541888
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i timeout 962    740    12812918784 error (2) .0246 .0251 5599232
pthread-wmm/mix016_rmo.opt_false-unreach-call.i timeout 961    690    12787441664 error (2) .0196 .0200 5611520
pthread-wmm/mix016_tso.oepc_false-unreach-call.i timeout 962    740    12842221568 error (2) .0524 .0533 5394432
pthread-wmm/mix016_tso.opt_false-unreach-call.i timeout 962    636    13523017728 error (2) .0370 .0376 5545984
pthread-wmm/mix017_power.oepc_false-unreach-call.i timeout 961    914    7176527872 error (2) .0262 .0276 5738496
pthread-wmm/mix017_power.opt_false-unreach-call.i timeout 961    916    7078313984 error (2) .0474 .0509 5668864
pthread-wmm/mix017_pso.oepc_false-unreach-call.i timeout 961    912    7148220416 error (2) .0263 .0270 5607424
pthread-wmm/mix017_pso.opt_false-unreach-call.i timeout 961    914    7155380224 error (2) .0439 .0445 5521408
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i timeout 961    915    7155990528 error (2) .0197 .0201 5541888
pthread-wmm/mix017_rmo.opt_false-unreach-call.i timeout 961    918    6971318272 error (2) .0199 .0202 5615616
pthread-wmm/mix017_tso.oepc_false-unreach-call.i timeout 961    919    7004774400 error (2) .0461 .0469 5517312
pthread-wmm/mix017_tso.opt_false-unreach-call.i timeout 961    916    7185227776 error (2) .0201 .0205 5738496
pthread-wmm/mix018_power.oepc_false-unreach-call.i timeout 961    918    6896427008 error (2) .0197 .0201 5611520
pthread-wmm/mix018_power.opt_false-unreach-call.i timeout 961    916    6883676160 error (2) .0238 .0247 5603328
pthread-wmm/mix018_pso.oepc_false-unreach-call.i timeout 961    913    7134650368 error (2) .0278 .0283 5533696
pthread-wmm/mix018_pso.opt_false-unreach-call.i timeout 961    917    7017746432 error (2) .0234 .0244 5722112
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i timeout 961    920    6963449856 error (2) .0373 .0378 5615616
pthread-wmm/mix018_rmo.opt_false-unreach-call.i timeout 961    914    7071531008 error (2) .0521 .0529 5513216
pthread-wmm/mix018_tso.oepc_false-unreach-call.i timeout 961    916    7077756928 error (2) .0441 .0448 5541888
pthread-wmm/mix018_tso.opt_false-unreach-call.i timeout 961    916    6914867200 error (2) .0199 .0203 5599232
pthread-wmm/mix019_power.oepc_false-unreach-call.i timeout 961    710    12923363328 error (2) .0275 .0298 5607424
pthread-wmm/mix019_power.opt_false-unreach-call.i timeout 962    630    13518729216 error (2) .0234 .0239 5591040
pthread-wmm/mix019_pso.oepc_false-unreach-call.i timeout 962    725    13407666176 error (2) .0200 .0204 5619712
pthread-wmm/mix019_pso.opt_false-unreach-call.i timeout 962    623    13531574272 error (2) .0307 .0312 5595136
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i timeout 961    703    12922773504 error (2) .0221 .0226 5615616
pthread-wmm/mix019_rmo.opt_false-unreach-call.i timeout 962    635    13532037120 error (2) .0202 .0206 5615616
pthread-wmm/mix019_tso.oepc_false-unreach-call.i timeout 962    622    13097742336 error (2) .0197 .0203 5615616
pthread-wmm/mix019_tso.opt_false-unreach-call.i timeout 962    616    13523697664 error (2) .0427 .0441 5529600
pthread-wmm/mix020_power.oepc_false-unreach-call.i timeout 961    908    6987321344 error (2) .0231 .0239 5611520
pthread-wmm/mix020_power.opt_false-unreach-call.i timeout 961    918    6998687744 error (2) .0306 .0312 5529600
pthread-wmm/mix020_pso.oepc_false-unreach-call.i timeout 961    917    7021105152 error (2) .0198 .0204 5611520
pthread-wmm/mix020_pso.opt_false-unreach-call.i timeout 961    918    6931931136 error (2) .0190 .0194 5611520
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i timeout 961    918    7122518016 error (2) .0197 .0201 5611520
pthread-wmm/mix020_rmo.opt_false-unreach-call.i timeout 961    913    6961975296 error (2) .0198 .0201 5599232
pthread-wmm/mix020_tso.oepc_false-unreach-call.i timeout 961    916    6895452160 error (2) .0200 .0203 5591040
pthread-wmm/mix020_tso.opt_false-unreach-call.i timeout 961    917    6858633216 error (2) .0206 .0212 5742592
pthread-wmm/mix021_power.oepc_false-unreach-call.i timeout 961    916    6923251712 error (2) .0497 .0603 5533696
pthread-wmm/mix021_power.opt_false-unreach-call.i timeout 961    917    6874279936 error (2) .0198 .0201 5619712
pthread-wmm/mix021_pso.oepc_false-unreach-call.i timeout 961    911    6846205952 error (2) .0519 .0528 5533696
pthread-wmm/mix021_pso.opt_false-unreach-call.i timeout 961    914    6985003008 error (2) .0199 .0202 5611520
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i timeout 961    916    6852431872 error (2) .0502 .0515 5525504
pthread-wmm/mix021_rmo.opt_false-unreach-call.i timeout 961    915    6876164096 error (2) .0337 .0344 5533696
pthread-wmm/mix021_tso.oepc_false-unreach-call.i timeout 961    917    7045795840 error (2) .0200 .0204 5619712
pthread-wmm/mix021_tso.opt_false-unreach-call.i timeout 961    917    6941048832 error (2) .0384 .0392 5533696
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 61.6  38.5  2380775424 error (7) 16.0    9.11   340873216
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 63.2  39.7  2263859200 error (7) 15.9    9.20   319934464
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 59.5  37.1  2362994688 error (7) 18.4    10.9    313114624
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 62.7  38.9  2355867648 error (7) 14.8    8.73   313733120
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 60.2  38.1  2294321152 error (7) 15.5    8.78   318930944
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 59.9  37.2  2002984960 error (7) 15.5    9.55   320372736
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 103    67.7  5421608960 error (7) 17.1    10.2    336379904
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 102    66.8  5248077824 error (7) 17.5    10.1    336551936
pthread-wmm/mix023_power.oepc_false-unreach-call.i timeout 961    915    7064645632 error (2) .0198 .0202 5599232
pthread-wmm/mix023_power.opt_false-unreach-call.i timeout 961    920    6841765888 error (2) .0354 .0387 5607424
pthread-wmm/mix023_pso.oepc_false-unreach-call.i timeout 961    917    7134076928 error (2) .0199 .0203 5591040
pthread-wmm/mix023_pso.opt_false-unreach-call.i timeout 961    915    6888968192 error (2) .0221 .0226 5611520
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i timeout 961    919    6897840128 error (2) .0256 .0263 5537792
pthread-wmm/mix023_rmo.opt_false-unreach-call.i timeout 961    917    6969458688 error (2) .0464 .0471 5529600
pthread-wmm/mix023_tso.oepc_false-unreach-call.i timeout 961    895    8207118336 error (2) .0409 .0417 5533696
pthread-wmm/mix023_tso.opt_false-unreach-call.i timeout 961    907    7788507136 error (2) .0206 .0213 5607424
pthread-wmm/mix024_power.oepc_false-unreach-call.i timeout 962    730    12711735296 error (2) .0228 .0236 5607424
pthread-wmm/mix024_power.opt_false-unreach-call.i timeout 962    675    13448040448 error (2) .0429 .0437 5533696
pthread-wmm/mix024_pso.oepc_false-unreach-call.i timeout 962    709    12889632768 error (2) .0201 .0205 5595136
pthread-wmm/mix024_pso.opt_false-unreach-call.i timeout 962    693    13424148480 error (2) .0463 .0475 5533696
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i timeout 962    730    12768698368 error (2) .0192 .0196 5615616
pthread-wmm/mix024_rmo.opt_false-unreach-call.i timeout 962    686    13232676864 error (2) .0237 .0243 5611520
pthread-wmm/mix024_tso.oepc_false-unreach-call.i timeout 962    725    13270966272 error (2) .0202 .0206 5599232
pthread-wmm/mix024_tso.opt_false-unreach-call.i timeout 962    743    12966494208 error (2) .0200 .0204 5726208
pthread-wmm/mix025_power.oepc_false-unreach-call.i timeout 962    721    12886810624 error (2) .0197 .0201 5599232
pthread-wmm/mix025_power.opt_false-unreach-call.i timeout 962    733    12789948416 error (2) .0250 .0259 5533696
pthread-wmm/mix025_pso.oepc_false-unreach-call.i timeout 962    728    13011419136 error (2) .0501 .0509 5537792
pthread-wmm/mix025_pso.opt_false-unreach-call.i timeout 961    655    12919955456 error (2) .0200 .0204 5611520
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i timeout 962    736    12835721216 error (2) .0360 .0369 5545984
pthread-wmm/mix025_rmo.opt_false-unreach-call.i timeout 962    685    13510754304 error (2) .0194 .0198 5611520
pthread-wmm/mix025_tso.oepc_false-unreach-call.i timeout 962    726    13185552384 error (2) .0476 .0483 5533696
pthread-wmm/mix025_tso.opt_false-unreach-call.i timeout 962    720    12788785152 error (2) .0231 .0237 5529600
pthread-wmm/mix026_power.oepc_false-unreach-call.i timeout 961    918    6876114944 error (2) .0204 .0210 5607424
pthread-wmm/mix026_power.opt_false-unreach-call.i timeout 961    914    7259213824 error (2) .0193 .0197 5615616
pthread-wmm/mix026_pso.oepc_false-unreach-call.i timeout 961    914    7230287872 error (2) .0202 .0206 5591040
pthread-wmm/mix026_pso.opt_false-unreach-call.i timeout 961    919    6725988352 error (2) .0195 .0198 5611520
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i timeout 961    918    6891704320 error (2) .0316 .0322 5615616
pthread-wmm/mix026_rmo.opt_false-unreach-call.i timeout 961    918    6797168640 error (2) .0197 .0200 5619712
pthread-wmm/mix026_tso.oepc_false-unreach-call.i timeout 961    919    6832717824 error (2) .0198 .0202 5595136
pthread-wmm/mix026_tso.opt_false-unreach-call.i timeout 961    916    7234154496 error (2) .0433 .0441 5537792
pthread-wmm/mix027_power.oepc_false-unreach-call.i timeout 961    916    7001763840 error (2) .0193 .0197 5615616
pthread-wmm/mix027_power.opt_false-unreach-call.i timeout 961    916    6887981056 error (2) .0192 .0198 5644288
pthread-wmm/mix027_pso.oepc_false-unreach-call.i timeout 961    918    6888644608 error (2) .0516 .0531 5611520
pthread-wmm/mix027_pso.opt_false-unreach-call.i timeout 961    919    6963945472 error (2) .0197 .0201 5611520
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i timeout 961    915    7021326336 error (2) .0200 .0204 5595136
pthread-wmm/mix027_rmo.opt_false-unreach-call.i timeout 961    918    6727438336 error (2) .0215 .0225 5611520
pthread-wmm/mix027_tso.oepc_false-unreach-call.i timeout 961    915    7086956544 error (2) .0201 .0205 5615616
pthread-wmm/mix027_tso.opt_false-unreach-call.i timeout 961    915    7064682496 error (2) .0267 .0275 5615616
pthread-wmm/mix028_power.oepc_false-unreach-call.i timeout 962    738    12713746432 error (2) .0245 .0344 5603328
pthread-wmm/mix028_power.opt_false-unreach-call.i timeout 961    628    13531791360 error (2) .0216 .0221 5513216
pthread-wmm/mix028_pso.oepc_false-unreach-call.i timeout 962    745    13332307968 error (2) .0200 .0204 5595136
pthread-wmm/mix028_pso.opt_false-unreach-call.i timeout 962    630    13570879488 error (2) .0291 .0299 5533696
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i timeout 962    723    12903944192 error (2) .0193 .0198 5611520
pthread-wmm/mix028_rmo.opt_false-unreach-call.i timeout 962    640    13530054656 error (2) .0200 .0205 5595136
pthread-wmm/mix028_tso.oepc_false-unreach-call.i timeout 962    642    13533458432 error (2) .0541 .0550 5533696
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 518    365    12602626048 error (7) 17.1    9.97   326041600
pthread-wmm/mix029_power.oepc_false-unreach-call.i timeout 961    919    6880141312 error (2) .0200 .0204 5586944
pthread-wmm/mix029_power.opt_false-unreach-call.i timeout 961    917    7257194496 error (2) .0198 .0202 5615616
pthread-wmm/mix029_pso.oepc_false-unreach-call.i timeout 961    915    6963200000 error (2) .0291 .0297 5619712
pthread-wmm/mix029_pso.opt_false-unreach-call.i timeout 961    917    7156310016 error (2) .0403 .0411 5537792
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i timeout 961    915    6866132992 error (2) .0195 .0200 5615616
pthread-wmm/mix029_rmo.opt_false-unreach-call.i timeout 961    914    7216922624 error (2) .0221 .0227 5509120
pthread-wmm/mix029_tso.oepc_false-unreach-call.i timeout 961    913    6984822784 error (2) .0284 .0294 5595136
pthread-wmm/mix029_tso.opt_false-unreach-call.i timeout 961    916    6939111424 error (2) .0197 .0207 5595136
pthread-wmm/mix030_power.oepc_false-unreach-call.i timeout 961    919    6882177024 error (2) .0198 .0202 5599232
pthread-wmm/mix030_power.opt_false-unreach-call.i timeout 961    913    7190601728 error (2) .0193 .0197 5595136
pthread-wmm/mix030_pso.oepc_false-unreach-call.i timeout 961    916    6830841856 error (2) .0200 .0204 5619712
pthread-wmm/mix030_pso.opt_false-unreach-call.i timeout 961    914    7209955328 error (2) .0200 .0208 5619712
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i timeout 961    916    7123374080 error (2) .0200 .0203 5599232
pthread-wmm/mix030_rmo.opt_false-unreach-call.i timeout 961    916    7157886976 error (2) .0197 .0201 5595136
pthread-wmm/mix030_tso.oepc_false-unreach-call.i timeout 961    914    7051718656 error (2) .0202 .0208 5603328
pthread-wmm/mix030_tso.opt_false-unreach-call.i timeout 961    916    6968688640 error (2) .0551 .0562 5541888
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 56.8  34.5  2203697152 error (7) 15.1    9.18   313217024
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) 34.9  20.5  1345019904 error (7) 16.0    9.61   321126400
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 57.5  34.8  1806966784 error (7) 19.4    11.2    335319040
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) 42.2  25.6  1978032128 error (7) 16.4    9.32   323006464
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 54.6  32.5  2105753600 error (7) 15.1    9.44   314548224
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) 41.2  25.3  1786302464 error (7) 16.6    9.98   320585728
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 72.4  42.7  2447093760 error (7) 15.0    8.46   313323520
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) 38.7  22.1  1243578368 error (7) 16.9    9.51   322584576
pthread-wmm/mix032_power.oepc_false-unreach-call.i timeout 962    702    12894408704 error (2) .0437 .0453 5521408
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 311    206    10408755200 error (7) 17.4    10.2    332713984
pthread-wmm/mix032_pso.oepc_false-unreach-call.i timeout 962    733    12808278016 error (2) .0287 .0292 5619712
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 318    210    9613402112 error (7) 16.5    9.89   323563520
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i timeout 961    706    12875751424 error (2) .0199 .0204 5599232
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 314    207    10418081792 error (7) 16.3    9.68   322363392
pthread-wmm/mix032_tso.oepc_false-unreach-call.i timeout 962    709    12927066112 error (2) .0237 .0241 5607424
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 316    206    10198593536 error (7) 16.4    9.82   322338816
pthread-wmm/mix033_power.oepc_false-unreach-call.i timeout 962    721    13021188096 error (2) .0245 .0253 5607424
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 131    93.1  6352429056 error (7) 15.6    9.58   323805184
pthread-wmm/mix033_pso.oepc_false-unreach-call.i timeout 962    720    12891283456 error (2) .0199 .0204 5615616
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 150    104    6040268800 error (7) 16.3    9.53   320589824
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i timeout 962    714    12926586880 error (2) .0196 .0200 5611520
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 345    228    9511997440 error (7) 16.8    9.50   347160576
pthread-wmm/mix033_tso.oepc_false-unreach-call.i timeout 962    613    13511610368 error (2) .0201 .0204 5595136
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 298    196    10345570304 error (7) 16.5    9.83   329175040
pthread-wmm/mix034_power.oepc_false-unreach-call.i false(unreach-call) 52.3  31.3  1639641088 error (7) 15.3    8.90   314167296
pthread-wmm/mix034_power.opt_false-unreach-call.i false(unreach-call) 75.3  43.6  1934307328 error (7) 15.3    9.00   315453440
pthread-wmm/mix034_pso.oepc_false-unreach-call.i false(unreach-call) 51.4  31.7  1868709888 error (7) 14.8    8.46   318681088
pthread-wmm/mix034_pso.opt_false-unreach-call.i false(unreach-call) 65.8  41.1  3523645440 error (7) 16.2    9.79   322736128
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i false(unreach-call) 61.5  37.5  1732853760 error (7) 15.7    9.44   312950784
pthread-wmm/mix034_rmo.opt_false-unreach-call.i false(unreach-call) 53.8  33.2  2152333312 error (7) 15.6    9.32   317714432
pthread-wmm/mix034_tso.oepc_false-unreach-call.i false(unreach-call) 54.5  33.4  1754734592 error (7) 14.9    9.16   316350464
pthread-wmm/mix034_tso.opt_false-unreach-call.i false(unreach-call) 53.4  33.6  2775830528 error (7) 17.1    9.88   330186752
pthread-wmm/mix035_power.oepc_false-unreach-call.i timeout 962    726    12899962880 error (2) .0193 .0196 5603328
pthread-wmm/mix035_power.opt_false-unreach-call.i timeout 962    684    12854857728 error (2) .0198 .0202 5615616
pthread-wmm/mix035_pso.oepc_false-unreach-call.i timeout 962    754    13180051456 error (2) .0545 .0553 5537792
pthread-wmm/mix035_pso.opt_false-unreach-call.i false(unreach-call) 258    175    8973852672 error (7) 15.8    9.25   321986560
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i timeout 962    731    13023887360 error (2) .0198 .0202 5595136
pthread-wmm/mix035_rmo.opt_false-unreach-call.i timeout 962    688    12717449216 error (2) .0200 .0205 5742592
pthread-wmm/mix035_tso.oepc_false-unreach-call.i timeout 962    740    12875497472 error (2) .0202 .0206 5591040
pthread-wmm/mix035_tso.opt_false-unreach-call.i false(unreach-call) 274    182    8806072320 error (7) 15.7    9.31   328200192
pthread-wmm/mix036_power.oepc_false-unreach-call.i timeout 961    920    7060299776 error (2) .0189 .0193 5591040
pthread-wmm/mix036_power.opt_false-unreach-call.i timeout 961    913    7007232000 error (2) .0200 .0204 5619712
pthread-wmm/mix036_pso.oepc_false-unreach-call.i timeout 961    916    6919512064 error (2) .0328 .0332 5615616
pthread-wmm/mix036_pso.opt_false-unreach-call.i timeout 962    914    8946126848 error (2) .0273 .0287 5595136
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i timeout 961    915    6914457600 error (2) .0408 .0421 5513216
pthread-wmm/mix036_rmo.opt_false-unreach-call.i timeout 961    919    6794186752 error (2) .0496 .0504 5525504
pthread-wmm/mix036_tso.oepc_false-unreach-call.i timeout 961    922    6924005376 error (2) .0204 .0208 5619712
pthread-wmm/mix036_tso.opt_false-unreach-call.i timeout 960    902    8698748928 error (2) .0198 .0203 5591040
pthread-wmm/mix037_power.oepc_false-unreach-call.i timeout 961    917    7115571200 error (2) .0188 .0194 5599232
pthread-wmm/mix037_power.opt_false-unreach-call.i timeout 962    857    13144780800 error (2) .0259 .0266 5607424
pthread-wmm/mix037_pso.oepc_false-unreach-call.i timeout 961    917    7012311040 error (2) .0200 .0203 5591040
pthread-wmm/mix037_pso.opt_false-unreach-call.i timeout 962    803    13459697664 error (2) .0287 .0292 5537792
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i timeout 961    919    6893907968 error (2) .0200 .0204 5611520
pthread-wmm/mix037_rmo.opt_false-unreach-call.i timeout 961    824    13440483328 error (2) .0197 .0201 5611520
pthread-wmm/mix037_tso.oepc_false-unreach-call.i timeout 961    914    7053553664 error (2) .0196 .0201 5726208
pthread-wmm/mix037_tso.opt_false-unreach-call.i timeout 962    865    12875890688 error (2) .0197 .0201 5595136
pthread-wmm/mix038_power.oepc_false-unreach-call.i timeout 962    722    12938752000 error (2) .0232 .0237 5595136
pthread-wmm/mix038_power.opt_false-unreach-call.i false(unreach-call) 252    167    9291472896 error (7) 16.4    9.81   322191360
pthread-wmm/mix038_pso.oepc_false-unreach-call.i timeout 962    745    12993286144 error (2) .0366 .0372 5541888
pthread-wmm/mix038_pso.opt_false-unreach-call.i false(unreach-call) 258    166    9370009600 error (7) 17.1    10.1    323948544
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i timeout 962    722    13119082496 error (2) .0196 .0199 5611520
pthread-wmm/mix038_rmo.opt_false-unreach-call.i false(unreach-call) 252    166    9287376896 error (7) 16.5    9.62   328691712
pthread-wmm/mix038_tso.oepc_false-unreach-call.i timeout 962    620    13473751040 error (2) .0198 .0202 5599232
pthread-wmm/mix038_tso.opt_false-unreach-call.i false(unreach-call) 270    175    9664585728 error (7) 16.7    10.0    322154496
pthread-wmm/mix039_power.oepc_false-unreach-call.i timeout 961    913    7086219264 error (2) .0218 .0222 5537792
pthread-wmm/mix039_power.opt_false-unreach-call.i timeout 961    872    10970025984 error (2) .0232 .0237 5591040
pthread-wmm/mix039_pso.oepc_false-unreach-call.i timeout 961    915    7163047936 error (2) .0188 .0199 5615616
pthread-wmm/mix039_pso.opt_false-unreach-call.i timeout 962    856    13064896512 error (2) .0225 .0229 5591040
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i timeout 961    918    6931509248 error (2) .0493 .0503 5529600
pthread-wmm/mix039_rmo.opt_false-unreach-call.i timeout 962    813    13484081152 error (2) .0272 .0280 5615616
pthread-wmm/mix039_tso.oepc_false-unreach-call.i timeout 961    916    6915256320 error (2) .0289 .0295 5591040
pthread-wmm/mix039_tso.opt_false-unreach-call.i timeout 961    840    13342670848 error (2) .0199 .0203 5611520
pthread-wmm/mix040_power.oepc_false-unreach-call.i timeout 961    908    6973566976 error (2) .0198 .0202 5607424
pthread-wmm/mix040_power.opt_false-unreach-call.i timeout 962    813    13505015808 error (2) .0223 .0232 5615616
pthread-wmm/mix040_pso.oepc_false-unreach-call.i timeout 961    914    7255515136 error (2) .0540 .0550 5545984
pthread-wmm/mix040_pso.opt_false-unreach-call.i timeout 962    854    13006385152 error (2) .0199 .0202 5591040
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i timeout 961    916    7077158912 error (2) .0501 .0509 5529600
pthread-wmm/mix040_rmo.opt_false-unreach-call.i timeout 962    803    13484605440 error (2) .0200 .0204 5615616
pthread-wmm/mix040_tso.oepc_false-unreach-call.i timeout 961    916    7087767552 error (2) .0203 .0206 5615616
pthread-wmm/mix040_tso.opt_false-unreach-call.i timeout 962    837    12841500672 error (2) .0204 .0208 5607424
pthread-wmm/mix041_power.oepc_false-unreach-call.i false(unreach-call) 58.6  35.6  1873702912 error (7) 15.1    9.40   325586944
pthread-wmm/mix041_power.opt_false-unreach-call.i false(unreach-call) 54.8  31.9  2447880192 error (7) 17.4    10.2    322174976
pthread-wmm/mix041_pso.oepc_false-unreach-call.i false(unreach-call) 67.2  43.0  3583434752 error (7) 15.0    9.02   312614912
pthread-wmm/mix041_pso.opt_false-unreach-call.i false(unreach-call) 50.1  30.1  2173288448 error (7) 16.6    9.70   321675264
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i false(unreach-call) 79.7  50.7  3661422592 error (7) 18.7    11.2    318038016
pthread-wmm/mix041_rmo.opt_false-unreach-call.i false(unreach-call) 81.4  50.3  3084836864 error (7) 16.7    9.74   328138752
pthread-wmm/mix041_tso.oepc_false-unreach-call.i false(unreach-call) 45.3  26.9  2269003776 error (7) 17.7    10.2    332341248
pthread-wmm/mix041_tso.opt_false-unreach-call.i false(unreach-call) 63.7  40.4  3452428288 error (7) 17.4    10.4    335568896
pthread-wmm/mix042_power.oepc_false-unreach-call.i timeout 961    750    12690366464 error (2) .0220 .0225 5607424
pthread-wmm/mix042_power.opt_false-unreach-call.i false(unreach-call) 468    303    10782605312 error (7) 17.1    10.2    326127616
pthread-wmm/mix042_pso.oepc_false-unreach-call.i timeout 962    736    12879450112 error (2) .0248 .0274 5595136
pthread-wmm/mix042_pso.opt_false-unreach-call.i false(unreach-call) 278    181    9288089600 error (7) 16.5    10.2    323354624
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i timeout 962    747    12768239616 error (2) .0223 .0228 5599232
pthread-wmm/mix042_rmo.opt_false-unreach-call.i false(unreach-call) 232    152    8437727232 error (7) 17.2    10.4    322564096
pthread-wmm/mix042_tso.oepc_false-unreach-call.i timeout 962    747    12883296256 error (2) .0201 .0209 5591040
pthread-wmm/mix042_tso.opt_false-unreach-call.i false(unreach-call) 553    354    12134113280 error (7) 16.9    9.81   321175552
pthread-wmm/mix043_power.oepc_false-unreach-call.i timeout 961    914    7085846528 error (2) .0199 .0203 5615616
pthread-wmm/mix043_power.opt_false-unreach-call.i timeout 962    735    13521883136 error (2) .0197 .0202 5611520
pthread-wmm/mix043_pso.oepc_false-unreach-call.i timeout 961    917    6922436608 error (2) .0189 .0195 5615616
pthread-wmm/mix043_pso.opt_false-unreach-call.i timeout 961    769    13511585792 error (2) .0245 .0254 5611520
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i timeout 961    919    6860017664 error (2) .0527 .0538 5545984
pthread-wmm/mix043_rmo.opt_false-unreach-call.i timeout 962    759    13406826496 error (2) .0537 .0546 5509120
pthread-wmm/mix043_tso.oepc_false-unreach-call.i timeout 961    916    7048011776 error (2) .0448 .0458 5611520
pthread-wmm/mix043_tso.opt_false-unreach-call.i timeout 962    750    13527195648 error (2) .0199 .0203 5615616
pthread-wmm/mix044_power.oepc_false-unreach-call.i timeout 961    918    7082438656 error (2) .0423 .0432 5513216
pthread-wmm/mix044_power.opt_false-unreach-call.i timeout 962    777    12792770560 error (2) .0253 .0262 5591040
pthread-wmm/mix044_pso.oepc_false-unreach-call.i timeout 961    916    7068762112 error (2) .0215 .0219 5619712
pthread-wmm/mix044_pso.opt_false-unreach-call.i timeout 962    769    13458997248 error (2) .0200 .0204 5595136
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i timeout 961    917    7157796864 error (2) .0537 .0547 5537792
pthread-wmm/mix044_rmo.opt_false-unreach-call.i timeout 962    768    13505884160 error (2) .0534 .0543 5533696
pthread-wmm/mix044_tso.oepc_false-unreach-call.i timeout 961    913    7203655680 error (2) .0271 .0279 5615616
pthread-wmm/mix044_tso.opt_false-unreach-call.i timeout 962    778    12869259264 error (2) .0198 .0202 5611520
pthread-wmm/mix045_power.oepc_false-unreach-call.i timeout 962    713    12911161344 error (2) .0206 .0211 5595136
pthread-wmm/mix045_power.opt_false-unreach-call.i false(unreach-call) 180    117    8446529536 error (7) 17.2    10.0    327561216
pthread-wmm/mix045_pso.oepc_false-unreach-call.i timeout 962    751    12717572096 error (2) .0202 .0206 5615616
pthread-wmm/mix045_pso.opt_false-unreach-call.i false(unreach-call) 671    439    12477530112 error (7) 18.5    10.6    336191488
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i timeout 962    726    12811821056 error (2) .0200 .0205 5607424
pthread-wmm/mix045_rmo.opt_false-unreach-call.i false(unreach-call) 201    132    8096350208 error (7) 18.1    10.9    324763648
pthread-wmm/mix045_tso.oepc_false-unreach-call.i false(unreach-call) 757    474    13032411136 error (7) 17.4    10.4    332644352
pthread-wmm/mix045_tso.opt_false-unreach-call.i false(unreach-call) 175    112    7995420672 error (7) 17.2    9.92   325451776
pthread-wmm/mix046_power.oepc_false-unreach-call.i timeout 961    918    7077212160 error (2) .0489 .0496 5525504
pthread-wmm/mix046_power.opt_false-unreach-call.i timeout 962    731    13480046592 error (2) .0198 .0202 5603328
pthread-wmm/mix046_pso.oepc_false-unreach-call.i timeout 961    913    7043895296 error (2) .0198 .0204 5615616
pthread-wmm/mix046_pso.opt_false-unreach-call.i timeout 962    758    13507358720 error (2) .0196 .0200 5611520
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i timeout 961    913    7164121088 error (2) .0200 .0204 5595136
pthread-wmm/mix046_rmo.opt_false-unreach-call.i timeout 962    776    12745752576 error (2) .0395 .0419 5521408
pthread-wmm/mix046_tso.oepc_false-unreach-call.i timeout 961    915    6993125376 error (2) .0226 .0270 5836800
pthread-wmm/mix046_tso.opt_false-unreach-call.i timeout 962    750    13502771200 error (2) .0269 .0278 5586944
pthread-wmm/mix047_power.oepc_false-unreach-call.i timeout 961    920    6917734400 error (2) .0197 .0202 5730304
pthread-wmm/mix047_power.opt_false-unreach-call.i timeout 961    737    13545971712 error (2) .0538 .0546 5521408
pthread-wmm/mix047_pso.oepc_false-unreach-call.i timeout 961    916    6985347072 error (2) .0195 .0203 5734400
pthread-wmm/mix047_pso.opt_false-unreach-call.i timeout 962    741    13512724480 error (2) .0197 .0200 5611520
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i timeout 961    915    7002939392 error (2) .0256 .0264 5615616
pthread-wmm/mix047_rmo.opt_false-unreach-call.i timeout 960    739    13518979072 error (2) .0201 .0205 5599232
pthread-wmm/mix047_tso.oepc_false-unreach-call.i timeout 961    736    13522382848 error (2) .0209 .0216 5611520
pthread-wmm/mix047_tso.opt_false-unreach-call.i timeout 962    731    13473927168 error (2) .0512 .0543 5521408
pthread-wmm/mix048_power.oepc_false-unreach-call.i false(unreach-call) 64.1  39.1  2009133056 error (7) 15.0    8.41   314372096
pthread-wmm/mix048_power.opt_false-unreach-call.i false(unreach-call) 57.3  35.4  1907212288 error (7) 14.6    8.94   314068992
pthread-wmm/mix048_pso.oepc_false-unreach-call.i false(unreach-call) 65.4  40.3  2184634368 error (7) 14.9    8.47   318693376
pthread-wmm/mix048_pso.opt_false-unreach-call.i false(unreach-call) 63.5  38.6  2095202304 error (7) 15.8    9.28   317939712
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i false(unreach-call) 60.4  37.1  1922531328 error (7) 14.7    8.81   315486208
pthread-wmm/mix048_rmo.opt_false-unreach-call.i false(unreach-call) 68.5  42.0  2129494016 error (7) 18.0    10.4    317468672
pthread-wmm/mix048_tso.oepc_false-unreach-call.i false(unreach-call) 56.5  35.8  2457645056 error (7) 15.2    9.31   314318848
pthread-wmm/mix048_tso.opt_false-unreach-call.i false(unreach-call) 69.1  42.9  2693156864 error (7) 14.9    8.71   314720256
pthread-wmm/mix049_power.oepc_false-unreach-call.i timeout 962    712    13267816448 error (2) .0260 .0269 5541888
pthread-wmm/mix049_power.opt_false-unreach-call.i timeout 962    717    12968443904 error (2) .0399 .0413 5533696
pthread-wmm/mix049_pso.oepc_false-unreach-call.i timeout 962    708    13085933568 error (2) .0263 .0271 5533696
pthread-wmm/mix049_pso.opt_false-unreach-call.i timeout 962    737    12731699200 error (2) .0410 .0420 5611520
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i timeout 962    723    13338591232 error (2) .0197 .0201 5619712
pthread-wmm/mix049_rmo.opt_false-unreach-call.i timeout 962    742    12702654464 error (2) .0418 .0428 5537792
pthread-wmm/mix049_tso.oepc_false-unreach-call.i timeout 962    738    12780826624 error (2) .0199 .0205 5599232
pthread-wmm/mix049_tso.opt_false-unreach-call.i timeout 962    717    12908908544 error (2) .0506 .0514 5537792
pthread-wmm/mix050_power.oepc_false-unreach-call.i timeout 961    917    7124111360 error (2) .0200 .0206 5599232
pthread-wmm/mix050_power.opt_false-unreach-call.i timeout 961    917    7104749568 error (2) .0347 .0355 5513216
pthread-wmm/mix050_pso.oepc_false-unreach-call.i timeout 961    915    7089885184 error (2) .0273 .0282 5607424
pthread-wmm/mix050_pso.opt_false-unreach-call.i timeout 961    914    7247323136 error (2) .0197 .0201 5607424
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i timeout 961    910    7353716736 error (2) .0267 .0275 5595136
pthread-wmm/mix050_rmo.opt_false-unreach-call.i timeout 961    913    7153856512 error (2) .0198 .0201 5615616
pthread-wmm/mix050_tso.oepc_false-unreach-call.i timeout 961    918    7051264000 error (2) .0261 .0269 5545984
pthread-wmm/mix050_tso.opt_false-unreach-call.i timeout 961    918    7109066752 error (2) .0240 .0244 5591040
pthread-wmm/mix051_power.oepc_false-unreach-call.i timeout 961    920    6796005376 error (2) .0533 .0551 5517312
pthread-wmm/mix051_power.opt_false-unreach-call.i timeout 961    921    6756749312 error (2) .0477 .0486 5541888
pthread-wmm/mix051_pso.oepc_false-unreach-call.i timeout 961    919    6881419264 error (2) .0199 .0203 5619712
pthread-wmm/mix051_pso.opt_false-unreach-call.i timeout 962    840    13135306752 error (2) .0458 .0466 5525504
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i timeout 961    916    6728474624 error (2) .0269 .0281 5607424
pthread-wmm/mix051_rmo.opt_false-unreach-call.i timeout 962    794    13506568192 error (2) .0272 .0279 5537792
pthread-wmm/mix051_tso.oepc_false-unreach-call.i timeout 961    916    7192678400 error (2) .0219 .0224 5537792
pthread-wmm/mix051_tso.opt_false-unreach-call.i timeout 962    815    13503238144 error (2) .0221 .0225 5586944
pthread-wmm/mix052_power.oepc_false-unreach-call.i timeout 961    716    12907782144 error (2) .0200 .0204 5603328
pthread-wmm/mix052_power.opt_false-unreach-call.i timeout 961    729    12929732608 error (2) .0191 .0195 5615616
pthread-wmm/mix052_pso.oepc_false-unreach-call.i timeout 961    729    12899397632 error (2) .0195 .0199 5619712
pthread-wmm/mix052_pso.opt_false-unreach-call.i false(unreach-call) 287    188    9591107584 error (7) 16.9    10.1    326307840
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i timeout 961    720    12811022336 error (2) .0200 .0204 5615616
pthread-wmm/mix052_rmo.opt_false-unreach-call.i false(unreach-call) 272    177    9739444224 error (7) 16.8    9.80   324694016
pthread-wmm/mix052_tso.oepc_false-unreach-call.i timeout 962    614    13503901696 error (2) .0321 .0326 5619712
pthread-wmm/mix052_tso.opt_false-unreach-call.i false(unreach-call) 302    196    9527672832 error (7) 16.3    9.12   321724416
pthread-wmm/mix053_power.oepc_false-unreach-call.i timeout 961    919    6783913984 error (2) .0326 .0339 5595136
pthread-wmm/mix053_power.opt_false-unreach-call.i timeout 962    858    11319107584 error (2) .0199 .0205 5611520
pthread-wmm/mix053_pso.oepc_false-unreach-call.i timeout 961    918    6800748544 error (2) .0196 .0200 5611520
pthread-wmm/mix053_pso.opt_false-unreach-call.i timeout 962    867    10520518656 error (2) .0258 .0266 5619712
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i timeout 961    919    6814412800 error (2) .0544 .0553 5537792
pthread-wmm/mix053_rmo.opt_false-unreach-call.i timeout 961    805    13463126016 error (2) .0201 .0209 5615616
pthread-wmm/mix053_tso.oepc_false-unreach-call.i timeout 961    914    7131295744 error (2) .0199 .0205 5595136
pthread-wmm/mix053_tso.opt_false-unreach-call.i timeout 962    863    10273189888 error (2) .0309 .0315 5505024
pthread-wmm/mix054_power.oepc_false-unreach-call.i false(unreach-call) 59.4  35.9  2038087680 error (7) 14.4    8.97   315006976
pthread-wmm/mix054_power.opt_false-unreach-call.i false(unreach-call) 57.3  35.3  2159099904 error (7) 15.5    9.45   311455744
pthread-wmm/mix054_pso.oepc_false-unreach-call.i false(unreach-call) 58.1  35.4  2243903488 error (7) 14.5    9.07   310730752
pthread-wmm/mix054_pso.opt_false-unreach-call.i false(unreach-call) 48.5  27.7  1710792704 error (7) 17.8    9.95   337260544
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i false(unreach-call) 51.7  31.6  1859338240 error (7) 15.6    8.87   315432960
pthread-wmm/mix054_rmo.opt_false-unreach-call.i false(unreach-call) 43.6  25.3  1493082112 error (7) 16.7    9.64   324640768
pthread-wmm/mix054_tso.oepc_false-unreach-call.i false(unreach-call) 44.3  25.8  1711276032 error (7) 18.0    9.98   323321856
pthread-wmm/mix054_tso.opt_false-unreach-call.i false(unreach-call) 43.1  24.8  1546612736 error (7) 16.0    9.29   323547136
pthread-wmm/mix055_power.oepc_false-unreach-call.i timeout 961    918    6838550528 error (2) .0207 .0212 5611520
pthread-wmm/mix055_power.opt_false-unreach-call.i timeout 962    765    13533810688 error (2) .0234 .0242 5591040
pthread-wmm/mix055_pso.oepc_false-unreach-call.i timeout 961    917    6866116608 error (2) .0479 .0503 5525504
pthread-wmm/mix055_pso.opt_false-unreach-call.i timeout 962    765    13515915264 error (2) .0265 .0279 5595136
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i timeout 961    916    6928220160 error (2) .0199 .0203 5615616
pthread-wmm/mix055_rmo.opt_false-unreach-call.i timeout 961    744    13530202112 error (2) .0285 .0293 5611520
pthread-wmm/mix055_tso.oepc_false-unreach-call.i timeout 961    915    7138054144 error (2) .0257 .0265 5615616
pthread-wmm/mix055_tso.opt_false-unreach-call.i timeout 962    768    13512073216 error (2) .0462 .0471 5533696
pthread-wmm/mix056_power.oepc_false-unreach-call.i timeout 962    735    13005365248 error (2) .0204 .0209 5599232
pthread-wmm/mix056_power.opt_false-unreach-call.i false(unreach-call) 621    397    12954451968 error (7) 16.9    9.92   325677056
pthread-wmm/mix056_pso.oepc_false-unreach-call.i timeout 962    758    12682674176 error (2) .0221 .0226 5615616
pthread-wmm/mix056_pso.opt_false-unreach-call.i false(unreach-call) 437    278    12271529984 error (7) 17.1    10.3    325603328
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i timeout 961    740    12721963008 error (2) .0200 .0203 5615616
pthread-wmm/mix056_rmo.opt_false-unreach-call.i false(unreach-call) 602    383    12022349824 error (7) 17.1    10.0    328937472
pthread-wmm/mix056_tso.oepc_false-unreach-call.i false(unreach-call) 161    104    7845048320 error (7) 16.7    9.42   323371008
pthread-wmm/mix056_tso.opt_false-unreach-call.i false(unreach-call) 137    90.7  7108284416 error (7) 17.8    10.3    326553600
pthread-wmm/mix057_power.oepc_false-unreach-call.i timeout 961    918    6935576576 error (2) .0197 .0203 5599232
pthread-wmm/mix057_power.opt_false-unreach-call.i timeout 962    773    13477113856 error (2) .0498 .0508 5525504
pthread-wmm/mix057_pso.oepc_false-unreach-call.i timeout 961    919    7076909056 error (2) .0314 .0320 5611520
pthread-wmm/mix057_pso.opt_false-unreach-call.i timeout 962    761    13529911296 error (2) .0429 .0472 5664768
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i timeout 961    916    7220183040 error (2) .0263 .0270 5656576
pthread-wmm/mix057_rmo.opt_false-unreach-call.i timeout 962    789    13521272832 error (2) .0195 .0199 5607424
pthread-wmm/mix057_tso.oepc_false-unreach-call.i timeout 962    790    13513764864 error (2) .0248 .0252 5537792
pthread-wmm/mix057_tso.opt_false-unreach-call.i timeout 962    794    13543890944 error (2) .0200 .0204 5591040
pthread-wmm/podwr000_power.oepc_false-unreach-call.i false(unreach-call) 59.2  37.8  2091741184 error (7) 15.5    9.02   317829120
pthread-wmm/podwr000_power.opt_false-unreach-call.i false(unreach-call) 59.6  36.6  2178875392 error (7) 15.0    9.23   315699200
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i false(unreach-call) 60.5  37.2  2294194176 error (7) 15.3    9.33   319594496
pthread-wmm/podwr000_pso.opt_false-unreach-call.i false(unreach-call) 59.8  36.9  2380021760 error (7) 15.4    9.52   316858368
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i false(unreach-call) 59.6  36.2  1962577920 error (7) 15.4    9.02   312721408
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i false(unreach-call) 67.5  41.7  2206515200 error (7) 16.4    10.0    316256256
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i false(unreach-call) 66.0  39.6  1957867520 error (7) 15.0    8.77   311382016
pthread-wmm/podwr000_tso.opt_false-unreach-call.i false(unreach-call) 65.8  40.9  2185502720 error (7) 15.5    9.57   314613760
pthread-wmm/podwr001_power.oepc_false-unreach-call.i timeout 962    727    13421400064 error (2) .0304 .0309 5550080
pthread-wmm/podwr001_power.opt_false-unreach-call.i timeout 961    716    12938477568 error (2) .0187 .0191 5599232
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i timeout 962    738    12818931712 error (2) .0501 .0509 5513216
pthread-wmm/podwr001_pso.opt_false-unreach-call.i timeout 961    738    12735782912 error (2) .0419 .0427 5517312
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i timeout 962    728    12872585216 error (2) .0197 .0203 5619712
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i timeout 962    730    12863770624 error (2) .0201 .0205 5615616
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i timeout 962    726    12917964800 error (2) .0444 .0452 5505024
pthread-wmm/podwr001_tso.opt_false-unreach-call.i timeout 962    724    13252952064 error (2) .0205 .0208 5615616
pthread-wmm/rfi000_power.oepc_false-unreach-call.i false(unreach-call) 191    136    7100215296 error (7) 16.6    10.0    321417216
pthread-wmm/rfi000_power.opt_false-unreach-call.i false(unreach-call) 47.0  28.5  2164125696 error (7) 17.3    10.0    319012864
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i false(unreach-call) 209    149    6135730176 error (7) 16.5    9.65   328212480
pthread-wmm/rfi000_pso.opt_false-unreach-call.i false(unreach-call) 49.8  29.5  2237677568 error (7) 16.1    9.09   326983680
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i false(unreach-call) 187    132    6805848064 error (7) 16.5    9.96   327864320
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i false(unreach-call) 55.4  32.8  2179301376 error (7) 18.0    10.4    318828544
pthread-wmm/rfi001_power.oepc_false-unreach-call.i false(unreach-call) 90.3  56.7  3642941440 error (7) 14.9    8.89   314974208
pthread-wmm/rfi001_power.opt_false-unreach-call.i false(unreach-call) 44.6  25.5  2111246336 error (7) 16.5    10.1    322273280
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i false(unreach-call) 57.5  35.3  2273452032 error (7) 15.2    9.12   314986496
pthread-wmm/rfi001_pso.opt_false-unreach-call.i false(unreach-call) 104    71.0  4693757952 error (7) 16.4    9.90   325521408
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i false(unreach-call) 95.1  60.1  4041338880 error (7) 15.4    9.07   316071936
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i false(unreach-call) 102    70.0  4734730240 error (7) 16.6    9.58   325967872
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i false(unreach-call) 49.1  28.2  2173108224 error (7) 16.0    9.38   331493376
pthread-wmm/rfi001_tso.opt_false-unreach-call.i false(unreach-call) 113    76.9  5566046208 error (7) 17.7    10.7    337555456
pthread-wmm/rfi003_power.oepc_false-unreach-call.i false(unreach-call) 79.2  48.9  3631341568 error (7) 16.5    9.63   325193728
pthread-wmm/rfi003_power.opt_false-unreach-call.i false(unreach-call) 69.1  42.6  3580436480 error (7) 16.1    9.76   319647744
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i false(unreach-call) 79.1  48.8  2749001728 error (7) 16.4    10.1    326410240
pthread-wmm/rfi003_pso.opt_false-unreach-call.i false(unreach-call) 69.1  41.9  3485466624 error (7) 16.7    10.1    329412608
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i false(unreach-call) 69.3  43.3  3443978240 error (7) 16.3    9.31   321769472
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i false(unreach-call) 73.9  45.6  3746263040 error (7) 15.9    9.26   319721472
pthread-wmm/rfi004_power.oepc_false-unreach-call.i false(unreach-call) 74.0  46.2  3400982528 error (7) 16.9    10.5    324399104
pthread-wmm/rfi004_power.opt_false-unreach-call.i false(unreach-call) 63.9  40.4  3024908288 error (7) 17.8    10.4    322932736
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i false(unreach-call) 56.1  34.5  1882902528 error (7) 16.7    9.75   327118848
pthread-wmm/rfi004_pso.opt_false-unreach-call.i false(unreach-call) 51.7  32.0  2046455808 error (7) 15.7    9.50   318808064
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i false(unreach-call) 54.4  33.6  2037497856 error (7) 17.8    10.2    322387968
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i false(unreach-call) 44.4  26.5  1313361920 error (7) 15.4    9.55   322871296
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i false(unreach-call) 56.5  36.2  3109863424 error (7) 16.5    10.0    324124672
pthread-wmm/rfi004_tso.opt_false-unreach-call.i false(unreach-call) 62.4  39.2  3804495872 error (7) 16.7    9.58   319823872
pthread-wmm/rfi005_power.oepc_false-unreach-call.i error (7) 170    132    5141827584 error (2) .0243 .0248 5545984
pthread-wmm/rfi005_power.opt_false-unreach-call.i error (7) 160    123    5432803328 error (2) .0231 .0236 5615616
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i error (7) 165    126    5023178752 error (2) .0199 .0203 5599232
pthread-wmm/rfi005_pso.opt_false-unreach-call.i error (7) 164    126    5357060096 error (2) .0427 .0438 5541888
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i error (7) 153    119    4856205312 error (2) .0199 .0203 5615616
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i error (7) 156    119    4682735616 error (2) .0200 .0203 5607424
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i error (7) 153    118    4817518592 error (2) .0520 .0527 5410816
pthread-wmm/rfi005_tso.opt_false-unreach-call.i error (7) 178    137    5044379648 error (2) .0267 .0278 5611520
pthread-wmm/rfi006_power.oepc_false-unreach-call.i timeout 961    914    7291281408 error (2) .0275 .0282 5607424
pthread-wmm/rfi006_power.opt_false-unreach-call.i timeout 961    914    7014547456 error (2) .0237 .0242 5619712
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i timeout 961    915    6977867776 error (2) .0214 .0219 5619712
pthread-wmm/rfi006_pso.opt_false-unreach-call.i timeout 961    917    7036276736 error (2) .0255 .0262 5664768
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i timeout 961    914    7144366080 error (2) .0393 .0480 5541888
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i timeout 961    917    6976688128 error (2) .0198 .0201 5611520
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i timeout 961    916    6979993600 error (2) .0221 .0226 5537792
pthread-wmm/rfi006_tso.opt_false-unreach-call.i timeout 961    915    7063367680 error (2) .0410 .0434 5492736
pthread-wmm/rfi007_power.oepc_false-unreach-call.i false(unreach-call) 63.4  39.8  2126774272 error (7) 15.0    8.92   316579840
pthread-wmm/rfi007_power.opt_false-unreach-call.i false(unreach-call) 69.9  43.2  2103496704 error (7) 15.2    9.59   320811008
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i false(unreach-call) 67.7  41.2  2161123328 error (7) 15.4    9.33   318455808
pthread-wmm/rfi007_pso.opt_false-unreach-call.i false(unreach-call) 70.9  43.9  2273046528 error (7) 15.3    9.03   312492032
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i false(unreach-call) 59.9  37.1  2366119936 error (7) 14.8    8.42   319414272
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i false(unreach-call) 55.1  34.4  2356994048 error (7) 15.8    9.50   322572288
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i false(unreach-call) 85.9  56.5  4877541376 error (7) 16.8    9.90   342253568
pthread-wmm/rfi007_tso.opt_false-unreach-call.i false(unreach-call) 90.6  56.4  4080820224 error (7) 16.7    9.28   321417216
pthread-wmm/rfi008_power.oepc_false-unreach-call.i false(unreach-call) 238    161    8222228480 error (7) 15.1    9.20   316231680
pthread-wmm/rfi008_power.opt_false-unreach-call.i false(unreach-call) 133    88.6  6860881920 error (7) 16.6    10.1    325615616
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i false(unreach-call) 102    72.2  4960354304 error (7) 15.3    9.27   310882304
pthread-wmm/rfi008_pso.opt_false-unreach-call.i false(unreach-call) 149    97.4  7284748288 error (7) 16.4    9.77   321462272
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i false(unreach-call) 103    71.4  4962684928 error (7) 18.4    11.1    321191936
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i false(unreach-call) 142    94.5  6818058240 error (7) 17.2    9.94   331923456
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i false(unreach-call) 242    162    8883830784 error (7) 15.5    8.68   314294272
pthread-wmm/rfi008_tso.opt_false-unreach-call.i false(unreach-call) 160    106    6468509696 error (7) 15.9    9.70   324157440
pthread-wmm/rfi009_power.oepc_false-unreach-call.i timeout 961    911    6987710464 error (2) .0199 .0202 5595136
pthread-wmm/rfi009_power.opt_false-unreach-call.i timeout 961    914    6881906688 error (2) .0193 .0196 5619712
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i timeout 961    916    7061803008 error (2) .0202 .0205 5615616
pthread-wmm/rfi009_pso.opt_false-unreach-call.i timeout 961    913    7073705984 error (2) .0398 .0423 5537792
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i timeout 961    914    7029362688 error (2) .0198 .0202 5619712
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i timeout 961    913    6934462464 error (2) .0259 .0268 5722112
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i timeout 961    914    7044505600 error (2) .0199 .0202 5595136
pthread-wmm/rfi009_tso.opt_false-unreach-call.i timeout 961    917    7035400192 error (2) .0201 .0207 5615616
pthread-wmm/rfi010_power.oepc_false-unreach-call.i false(unreach-call) 160    106    6914842624 error (7) 16.3    9.93   329797632
pthread-wmm/rfi010_power.opt_false-unreach-call.i false(unreach-call) 174    118    7383547904 error (7) 17.1    10.1    322646016
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i false(unreach-call) 170    111    6988996608 error (7) 20.1    11.5    317431808
pthread-wmm/rfi010_pso.opt_false-unreach-call.i false(unreach-call) 150    101    7024033792 error (7) 18.9    11.2    325898240
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i false(unreach-call) 146    96.4  6403973120 error (7) 16.8    10.1    323346432
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i false(unreach-call) 144    94.5  6393667584 error (7) 17.4    10.4    328912896
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i false(unreach-call) 149    99.0  7041339392 error (7) 16.6    9.55   322768896
pthread-wmm/rfi010_tso.opt_false-unreach-call.i false(unreach-call) 201    133    7877496832 error (7) 16.5    10.1    323256320
pthread-wmm/safe000_power.oepc_false-unreach-call.i timeout 961    911    7303462912 error (2) .0204 .0207 5595136
pthread-wmm/safe000_power.opt_false-unreach-call.i timeout 961    912    7143718912 error (2) .0191 .0195 5529600
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i timeout 961    912    7421366272 error (2) .0201 .0205 5615616
pthread-wmm/safe000_rmo.opt_false-unreach-call.i timeout 961    915    7146196992 error (2) .0480 .0495 5533696
pthread-wmm/safe001_power.oepc_false-unreach-call.i timeout 961    913    7365033984 error (2) .0198 .0204 5599232
pthread-wmm/safe001_power.opt_false-unreach-call.i timeout 962    638    13301997568 error (2) .0204 .0207 5619712
pthread-wmm/safe001_pso.oepc_false-unreach-call.i timeout 962    623    13258125312 error (2) .0253 .0257 5591040
pthread-wmm/safe001_pso.opt_false-unreach-call.i timeout 962    624    13119954944 error (2) .0203 .0207 5595136
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i timeout 961    907    7178051584 error (2) .0199 .0203 5615616
pthread-wmm/safe001_rmo.opt_false-unreach-call.i timeout 962    637    13529628672 error (2) .0305 .0310 5537792
pthread-wmm/safe002_power.oepc_false-unreach-call.i timeout 961    914    7332900864 error (2) .0307 .0315 5521408
pthread-wmm/safe002_power.opt_false-unreach-call.i timeout 962    696    13523329024 error (2) .0270 .0278 5599232
pthread-wmm/safe002_pso.oepc_false-unreach-call.i timeout 960    672    13346820096 error (2) .0198 .0203 5595136
pthread-wmm/safe002_pso.opt_false-unreach-call.i timeout 962    688    12826537984 error (2) .0305 .0310 5595136
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i timeout 961    916    7234867200 error (2) .0265 .0273 5529600
pthread-wmm/safe002_rmo.opt_false-unreach-call.i timeout 962    685    13005783040 error (2) .0197 .0201 5595136
pthread-wmm/safe003_power.oepc_false-unreach-call.i timeout 961    913    7296094208 error (2) .0347 .0355 5607424
pthread-wmm/safe003_power.opt_false-unreach-call.i timeout 961    914    7286689792 error (2) .0421 .0430 5537792
pthread-wmm/safe003_pso.oepc_false-unreach-call.i timeout 961    905    7311708160 error (2) .0302 .0311 5595136
pthread-wmm/safe003_pso.opt_false-unreach-call.i timeout 961    910    7334678528 error (2) .0187 .0191 5615616
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i timeout 961    913    7317938176 error (2) .0499 .0507 5541888
pthread-wmm/safe003_rmo.opt_false-unreach-call.i timeout 961    913    7393415168 error (2) .0232 .0237 5545984
pthread-wmm/safe004_power.oepc_false-unreach-call.i timeout 961    913    7033864192 error (2) .0197 .0201 5599232
pthread-wmm/safe004_power.opt_false-unreach-call.i timeout 962    645    13524922368 error (2) .0282 .0294 5533696
pthread-wmm/safe004_pso.oepc_false-unreach-call.i timeout 961    916    7209357312 error (2) .0188 .0192 5545984
pthread-wmm/safe004_pso.opt_false-unreach-call.i timeout 962    628    13175500800 error (2) .0201 .0204 5615616
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i timeout 961    914    7137710080 error (2) .0251 .0260 5615616
pthread-wmm/safe004_rmo.opt_false-unreach-call.i timeout 962    620    13472514048 error (2) .0442 .0452 5525504
pthread-wmm/safe005_power.oepc_false-unreach-call.i timeout 961    688    13372620800 error (2) .0296 .0302 5603328
pthread-wmm/safe005_power.opt_false-unreach-call.i timeout 962    696    12413779968 error (2) .0200 .0205 5603328
pthread-wmm/safe005_pso.oepc_false-unreach-call.i timeout 961    677    12805246976 error (2) .0233 .0237 5525504
pthread-wmm/safe005_pso.opt_false-unreach-call.i timeout 962    686    13024583680 error (2) .0288 .0295 5615616
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i timeout 961    674    13499543552 error (2) .0388 .0466 5537792
pthread-wmm/safe005_rmo.opt_false-unreach-call.i timeout 961    678    12481605632 error (2) .0191 .0194 5615616
pthread-wmm/safe006_power.oepc_false-unreach-call.i false(unreach-call) 58.4  34.3  3196862464 error (7) 19.9    11.5    346976256
pthread-wmm/safe006_power.opt_false-unreach-call.i false(unreach-call) 87.2  55.7  3881463808 error (7) 16.2    9.81   322883584
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i false(unreach-call) 36.3  20.5  1264852992 error (7) 20.2    11.4    347299840
pthread-wmm/safe006_rmo.opt_false-unreach-call.i false(unreach-call) 36.6  20.3  1234980864 error (7) 18.8    11.1    343851008
pthread-wmm/safe007_power.oepc_false-unreach-call.i false(unreach-call) 178    122    8387674112 error (7) 20.5    12.0    348434432
pthread-wmm/safe007_power.opt_false-unreach-call.i false(unreach-call) 354    262    9679474688 error (7) 16.1    9.69   321155072
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i false(unreach-call) 86.6  56.3  5177561088 error (7) 18.2    10.9    334442496
pthread-wmm/safe007_rmo.opt_false-unreach-call.i false(unreach-call) 104    69.1  5722427392 error (7) 17.9    10.5    339623936
pthread-wmm/safe008_power.oepc_false-unreach-call.i timeout 962    629    13509935104 error (2) .0197 .0200 5599232
pthread-wmm/safe008_power.opt_false-unreach-call.i timeout 961    913    7291437056 error (2) .0200 .0204 5611520
pthread-wmm/safe008_pso.oepc_false-unreach-call.i timeout 962    634    13504798720 error (2) .0239 .0247 5615616
pthread-wmm/safe008_pso.opt_false-unreach-call.i timeout 961    647    13535219712 error (2) .0198 .0204 5611520
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i timeout 962    622    13239365632 error (2) .0324 .0330 5541888
pthread-wmm/safe008_rmo.opt_false-unreach-call.i timeout 962    654    13132881920 error (2) .0267 .0275 5586944
pthread-wmm/safe009_power.oepc_false-unreach-call.i timeout 961    914    7234994176 error (2) .0198 .0202 5615616
pthread-wmm/safe009_power.opt_false-unreach-call.i timeout 961    917    6998228992 error (2) .0202 .0206 5619712
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i timeout 961    916    7230087168 error (2) .0199 .0203 5611520
pthread-wmm/safe009_rmo.opt_false-unreach-call.i timeout 960    716    12855853056 error (2) .0282 .0290 5615616
pthread-wmm/safe010_power.oepc_false-unreach-call.i false(unreach-call) 40.3  23.5  1697398784 error (7) 17.3    10.4    322510848
pthread-wmm/safe010_power.opt_false-unreach-call.i false(unreach-call) 47.8  26.4  1660289024 error (7) 15.6    9.24   313864192
pthread-wmm/safe010_pso.oepc_false-unreach-call.i false(unreach-call) 38.8  22.9  1627586560 error (7) 17.2    10.1    320897024
pthread-wmm/safe010_pso.opt_false-unreach-call.i false(unreach-call) 41.0  23.4  1482686464 error (7) 15.7    9.60   325410816
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i false(unreach-call) 59.8  32.7  1733668864 error (7) 17.2    10.2    320110592
pthread-wmm/safe010_rmo.opt_false-unreach-call.i false(unreach-call) 43.5  25.5  1847296000 error (7) 16.1    10.0    323035136
pthread-wmm/safe011_power.oepc_false-unreach-call.i timeout 962    634    13532786688 error (2) .0199 .0203 5607424
pthread-wmm/safe011_power.opt_false-unreach-call.i timeout 962    609    13156847616 error (2) .0202 .0206 5599232
pthread-wmm/safe011_pso.oepc_false-unreach-call.i timeout 962    644    13506613248 error (2) .0236 .0241 5595136
pthread-wmm/safe011_pso.opt_false-unreach-call.i timeout 962    632    13170249728 error (2) .0194 .0202 5619712
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i timeout 962    643    13166526464 error (2) .0196 .0200 5599232
pthread-wmm/safe011_rmo.opt_false-unreach-call.i timeout 961    647    13532135424 error (2) .0494 .0503 5545984
pthread-wmm/safe012_power.oepc_false-unreach-call.i false(unreach-call) 148    107    7336706048 error (7) 19.5    11.7    352800768
pthread-wmm/safe012_power.opt_false-unreach-call.i false(unreach-call) 308    231    9459474432 error (7) 15.9    9.69   323993600
pthread-wmm/safe012_pso.oepc_false-unreach-call.i timeout 962    690    12717023232 error (2) .0202 .0206 5599232
pthread-wmm/safe012_pso.opt_false-unreach-call.i timeout 961    682    12798070784 error (2) .0402 .0416 5537792
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i false(unreach-call) 94.8  65.0  5266849792 error (7) 18.8    11.3    349556736
pthread-wmm/safe012_rmo.opt_false-unreach-call.i timeout 961    669    13428613120 error (2) .0195 .0201 5607424
pthread-wmm/safe013_power.oepc_false-unreach-call.i timeout 962    701    12587089920 error (2) .0194 .0198 5603328
pthread-wmm/safe013_power.opt_false-unreach-call.i timeout 962    658    13524267008 error (2) .0304 .0312 5537792
pthread-wmm/safe013_pso.oepc_false-unreach-call.i timeout 962    698    12589531136 error (2) .0250 .0258 5537792
pthread-wmm/safe013_pso.opt_false-unreach-call.i timeout 960    676    12841959424 error (2) .0280 .0286 5607424
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i timeout 962    664    13527056384 error (2) .0286 .0292 5595136
pthread-wmm/safe013_rmo.opt_false-unreach-call.i timeout 962    678    13129682944 error (2) .0200 .0205 5591040
pthread-wmm/safe014_power.oepc_false-unreach-call.i false(unreach-call) 159    117    7368400896 error (7) 20.5    12.1    346087424
pthread-wmm/safe014_power.opt_false-unreach-call.i false(unreach-call) 294    203    9796575232 error (7) 19.6    11.7    344301568
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i false(unreach-call) 105    72.9  5661290496 error (7) 19.4    11.3    347873280
pthread-wmm/safe014_rmo.opt_false-unreach-call.i timeout 961    910    7154081792 error (2) .0270 .0278 5607424
pthread-wmm/safe015_power.oepc_false-unreach-call.i timeout 961    910    7373242368 error (2) .0200 .0204 5607424
pthread-wmm/safe015_power.opt_false-unreach-call.i timeout 961    904    7551070208 error (2) .0236 .0241 5627904
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i timeout 961    914    7057698816 error (2) .0525 .0534 5533696
pthread-wmm/safe015_rmo.opt_false-unreach-call.i timeout 961    914    7199248384 error (2) .0202 .0206 5599232
pthread-wmm/safe016_power.oepc_false-unreach-call.i timeout 961    912    7503659008 error (2) .0217 .0223 5615616
pthread-wmm/safe016_power.opt_false-unreach-call.i timeout 961    914    7301775360 error (2) .0224 .0232 5611520
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i timeout 961    916    7282343936 error (2) .0208 .0214 5607424
pthread-wmm/safe016_rmo.opt_false-unreach-call.i timeout 961    910    7441670144 error (2) .0287 .0301 5599232
pthread-wmm/safe017_power.oepc_false-unreach-call.i timeout 962    626    13512916992 error (2) .0502 .0537 5668864
pthread-wmm/safe017_power.opt_false-unreach-call.i timeout 962    640    13524774912 error (2) .0263 .0277 5595136
pthread-wmm/safe017_pso.oepc_false-unreach-call.i timeout 962    629    13511655424 error (2) .0257 .0265 5541888
pthread-wmm/safe017_pso.opt_false-unreach-call.i timeout 962    626    13501607936 error (2) .0539 .0550 5533696
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i timeout 962    636    13522735104 error (2) .0254 .0259 5591040
pthread-wmm/safe017_rmo.opt_false-unreach-call.i timeout 962    626    13520457728 error (2) .0228 .0233 5607424
pthread-wmm/safe018_power.oepc_false-unreach-call.i false(unreach-call) 162    111    8444342272 error (7) 19.0    11.0    349900800
pthread-wmm/safe018_power.opt_false-unreach-call.i timeout 961    919    6945386496 error (2) .0266 .0272 5599232
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i false(unreach-call) 103    68.1  6013988864 error (7) 18.7    11.2    340140032
pthread-wmm/safe018_rmo.opt_false-unreach-call.i timeout 961    917    7150665728 error (2) .0196 .0199 5611520
pthread-wmm/safe019_power.oepc_false-unreach-call.i timeout 961    911    7430316032 error (2) .0283 .0289 5525504
pthread-wmm/safe019_power.opt_false-unreach-call.i timeout 961    911    7358906368 error (2) .0199 .0203 5615616
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i timeout 961    912    7479521280 error (2) .0437 .0450 5513216
pthread-wmm/safe019_rmo.opt_false-unreach-call.i timeout 961    915    7257833472 error (2) .0239 .0245 5541888
pthread-wmm/safe020_power.oepc_false-unreach-call.i timeout 961    913    7240232960 error (2) .0422 .0437 5529600
pthread-wmm/safe020_power.opt_false-unreach-call.i timeout 961    912    7223300096 error (2) .0356 .0365 5529600
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i timeout 961    910    7100706816 error (2) .0198 .0203 5591040
pthread-wmm/safe020_rmo.opt_false-unreach-call.i timeout 961    913    7047389184 error (2) .0199 .0203 5615616
pthread-wmm/safe021_power.oepc_false-unreach-call.i timeout 962    742    12819574784 error (2) .0487 .0514 5541888
pthread-wmm/safe021_power.opt_false-unreach-call.i timeout 962    643    13497319424 error (2) .0494 .0503 5529600
pthread-wmm/safe021_pso.oepc_false-unreach-call.i timeout 962    733    12817096704 error (2) .0204 .0208 5599232
pthread-wmm/safe021_pso.opt_false-unreach-call.i timeout 962    630    13522165760 error (2) .0423 .0431 5517312
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i timeout 962    737    12800548864 error (2) .0447 .0454 5541888
pthread-wmm/safe021_rmo.opt_false-unreach-call.i timeout 961    745    12803485696 error (2) .0246 .0250 5652480
pthread-wmm/safe022_power.oepc_false-unreach-call.i false(unreach-call) 63.1  37.2  1717551104 error (7) 15.1    9.43   307453952
pthread-wmm/safe022_power.opt_false-unreach-call.i false(unreach-call) 53.1  32.4  1711509504 error (7) 15.1    9.22   310018048
pthread-wmm/safe022_pso.oepc_false-unreach-call.i false(unreach-call) 61.4  37.1  1858535424 error (7) 15.4    8.86   317931520
pthread-wmm/safe022_pso.opt_false-unreach-call.i false(unreach-call) 52.6  32.3  2150871040 error (7) 15.2    9.26   322772992
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i false(unreach-call) 52.5  32.0  1788567552 error (7) 15.4    9.42   319201280
pthread-wmm/safe022_rmo.opt_false-unreach-call.i false(unreach-call) 60.0  36.9  2142203904 error (7) 15.3    9.03   318365696
pthread-wmm/safe023_power.oepc_false-unreach-call.i timeout 961    913    7481188352 error (2) .0270 .0278 5611520
pthread-wmm/safe023_power.opt_false-unreach-call.i timeout 961    912    7176065024 error (2) .0307 .0312 5648384
pthread-wmm/safe023_pso.oepc_false-unreach-call.i timeout 961    910    7324729344 error (2) .0540 .0549 5398528
pthread-wmm/safe023_pso.opt_false-unreach-call.i timeout 961    913    7342612480 error (2) .0411 .0423 5521408
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i timeout 961    909    7351185408 error (2) .0214 .0219 5591040
pthread-wmm/safe023_rmo.opt_false-unreach-call.i timeout 961    910    7439106048 error (2) .0422 .0433 5545984
pthread-wmm/safe024_power.oepc_false-unreach-call.i timeout 961    672    13011451904 error (2) .0200 .0204 5595136
pthread-wmm/safe024_power.opt_false-unreach-call.i timeout 962    684    13098999808 error (2) .0195 .0199 5615616
pthread-wmm/safe024_pso.oepc_false-unreach-call.i timeout 962    665    13368692736 error (2) .0189 .0193 5619712
pthread-wmm/safe024_pso.opt_false-unreach-call.i timeout 961    664    12764774400 error (2) .0491 .0499 5537792
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i timeout 962    685    12775100416 error (2) .0198 .0202 5595136
pthread-wmm/safe024_rmo.opt_false-unreach-call.i timeout 962    665    13300862976 error (2) .0276 .0281 5521408
pthread-wmm/safe025_power.oepc_false-unreach-call.i timeout 961    909    7317794816 error (2) .0236 .0241 5595136
pthread-wmm/safe025_power.opt_false-unreach-call.i timeout 961    913    7316525056 error (2) .0198 .0204 5611520
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i timeout 961    912    7162290176 error (2) .0225 .0233 5681152
pthread-wmm/safe025_rmo.opt_false-unreach-call.i timeout 961    918    7152156672 error (2) .0199 .0203 5615616
pthread-wmm/safe026_power.oepc_false-unreach-call.i timeout 962    749    12922982400 error (2) .0240 .0244 5611520
pthread-wmm/safe026_power.opt_false-unreach-call.i timeout 962    752    12790149120 error (2) .0525 .0552 5541888
pthread-wmm/safe026_pso.oepc_false-unreach-call.i timeout 962    762    12919902208 error (2) .0347 .0353 5525504
pthread-wmm/safe026_pso.opt_false-unreach-call.i timeout 962    756    12690587648 error (2) .0199 .0204 5722112
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i timeout 962    761    12706226176 error (2) .0196 .0201 5619712
pthread-wmm/safe026_rmo.opt_false-unreach-call.i timeout 962    766    13407449088 error (2) .0546 .0556 5517312
pthread-wmm/safe027_power.oepc_false-unreach-call.i timeout 961    908    7525117952 error (2) .0360 .0383 5656576
pthread-wmm/safe027_power.opt_false-unreach-call.i timeout 961    910    7387934720 error (2) .0377 .0382 5505024
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i timeout 961    911    7104401408 error (2) .0201 .0205 5611520
pthread-wmm/safe027_rmo.opt_false-unreach-call.i timeout 961    914    7311327232 error (2) .0200 .0204 5615616
pthread-wmm/safe028_power.oepc_false-unreach-call.i timeout 961    918    7051640832 error (2) .0267 .0275 5525504
pthread-wmm/safe028_power.opt_false-unreach-call.i timeout 961    918    7047487488 error (2) .0195 .0201 5595136
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i timeout 961    908    7041257472 error (2) .0198 .0204 5746688
pthread-wmm/safe028_rmo.opt_false-unreach-call.i timeout 961    915    7078305792 error (2) .0234 .0238 5603328
pthread-wmm/safe029_power.oepc_false-unreach-call.i false(unreach-call) 59.3  35.6  2385522688 error (7) 16.3    9.60   321019904
pthread-wmm/safe029_power.opt_false-unreach-call.i false(unreach-call) 60.7  35.5  1931493376 error (7) 16.6    10.0    329658368
pthread-wmm/safe029_pso.oepc_false-unreach-call.i false(unreach-call) 70.5  41.9  2342608896 error (7) 16.1    9.39   323301376
pthread-wmm/safe029_pso.opt_false-unreach-call.i false(unreach-call) 53.4  31.1  2138988544 error (7) 16.5    9.93   320790528
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i false(unreach-call) 59.2  35.7  2371604480 error (7) 15.9    9.36   325967872
pthread-wmm/safe029_rmo.opt_false-unreach-call.i false(unreach-call) 51.6  30.7  2300657664 error (7) 16.3    9.96   321040384
pthread-wmm/safe030_power.oepc_false-unreach-call.i timeout 961    622    13481730048 error (2) .0504 .0513 5533696
pthread-wmm/safe030_power.opt_false-unreach-call.i false(unreach-call) 242    158    8574193664 error (7) 16.9    9.97   331206656
pthread-wmm/safe030_pso.oepc_false-unreach-call.i timeout 962    629    13501669376 error (2) .0353 .0360 5533696
pthread-wmm/safe030_pso.opt_false-unreach-call.i false(unreach-call) 264    172    9013760000 error (7) 18.9    11.4    338096128
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i timeout 962    637    13517266944 error (2) .0222 .0229 5611520
pthread-wmm/safe030_rmo.opt_false-unreach-call.i false(unreach-call) 351    230    9026998272 error (7) 17.1    10.1    323846144
pthread-wmm/safe031_power.oepc_false-unreach-call.i timeout 962    679    13402841088 error (2) .0282 .0291 5537792
pthread-wmm/safe031_power.opt_false-unreach-call.i false(unreach-call) 163    108    7626784768 error (7) 17.7    10.2    333103104
pthread-wmm/safe031_pso.oepc_false-unreach-call.i timeout 962    680    13511573504 error (2) .0199 .0203 5615616
pthread-wmm/safe031_pso.opt_false-unreach-call.i false(unreach-call) 172    111    7933698048 error (7) 17.0    10.4    328060928
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i timeout 962    680    13095641088 error (2) .0501 .0509 5607424
pthread-wmm/safe031_rmo.opt_false-unreach-call.i false(unreach-call) 178    115    7494135808 error (7) 17.2    10.3    346497024
pthread-wmm/safe032_power.oepc_false-unreach-call.i timeout 961    913    7198887936 error (2) .0202 .0207 5677056
pthread-wmm/safe032_power.opt_false-unreach-call.i timeout 961    913    7116374016 error (2) .0312 .0317 5529600
pthread-wmm/safe032_pso.oepc_false-unreach-call.i timeout 961    910    7137976320 error (2) .0200 .0204 5599232
pthread-wmm/safe032_pso.opt_false-unreach-call.i timeout 961    911    7296618496 error (2) .0532 .0550 5509120
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i timeout 961    911    7319785472 error (2) .0198 .0203 5599232
pthread-wmm/safe032_rmo.opt_false-unreach-call.i timeout 961    917    7122075648 error (2) .0417 .0425 5517312
pthread-wmm/safe033_power.oepc_false-unreach-call.i false(unreach-call) 34.3  19.3  1227747328 error (7) 16.1    10.1    322072576
pthread-wmm/safe033_power.opt_false-unreach-call.i false(unreach-call) 37.7  22.6  1546551296 error (7) 17.3    10.6    324468736
pthread-wmm/safe033_pso.oepc_false-unreach-call.i false(unreach-call) 33.1  18.7  1229991936 error (7) 16.8    10.1    319696896
pthread-wmm/safe033_pso.opt_false-unreach-call.i false(unreach-call) 44.9  26.1  1677660160 error (7) 15.8    9.33   318992384
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i false(unreach-call) 35.6  20.6  1250918400 error (7) 16.5    9.45   332509184
pthread-wmm/safe033_rmo.opt_false-unreach-call.i false(unreach-call) 39.8  23.8  1499602944 error (7) 17.1    9.92   323244032
pthread-wmm/safe034_power.oepc_false-unreach-call.i false(unreach-call) 297    195    10299142144 error (7) 16.3    9.55   329179136
pthread-wmm/safe034_power.opt_false-unreach-call.i false(unreach-call) 292    188    10199396352 error (7) 16.6    10.2    328302592
pthread-wmm/safe034_pso.oepc_false-unreach-call.i false(unreach-call) 300    198    10135502848 error (7) 16.8    10.1    326684672
pthread-wmm/safe034_pso.opt_false-unreach-call.i false(unreach-call) 300    196    10196443136 error (7) 16.7    9.89   326201344
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i false(unreach-call) 266    176    9694662656 error (7) 16.4    9.66   319090688
pthread-wmm/safe034_rmo.opt_false-unreach-call.i false(unreach-call) 307    201    10332594176 error (7) 17.3    10.3    325226496
pthread-wmm/thin000_power.oepc_false-unreach-call.i false(unreach-call) 57.8  34.9  3602579456 error (7) 19.8    11.3    354418688
pthread-wmm/thin000_power.opt_false-unreach-call.i false(unreach-call) 111    75.2  5457018880 error (7) 16.0    9.42   325316608
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i false(unreach-call) 39.0  21.4  1244958720 error (7) 18.3    10.6    346300416
pthread-wmm/thin000_rmo.opt_false-unreach-call.i false(unreach-call) 37.0  21.0  1404923904 error (7) 18.7    10.8    342384640
pthread-wmm/thin001_power.oepc_false-unreach-call.i false(unreach-call) 154    112    7221739520 error (7) 19.2    11.2    361844736
pthread-wmm/thin001_power.opt_false-unreach-call.i false(unreach-call) 289    225    8560799744 error (7) 15.1    9.21   319414272
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i false(unreach-call) 101    67.6  5572435968 error (7) 18.1    10.8    337641472
pthread-wmm/thin001_rmo.opt_false-unreach-call.i false(unreach-call) 107    69.7  5965176832 error (7) 19.3    11.5    345223168
pthread-wmm/thin002_power.oepc_false-unreach-call.i timeout 961    911    7183486976 error (2) .0203 .0207 5611520
pthread-wmm/thin002_power.opt_false-unreach-call.i timeout 961    916    7118577664 error (2) .0222 .0226 5541888
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i timeout 961    781    13247000576 error (2) .0198 .0202 5722112
pthread-wmm/thin002_rmo.opt_false-unreach-call.i timeout 962    765    13116862464 error (2) .0212 .0218 5615616
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i false(unreach-call) 167    115    6816002048 error (7) 17.1    9.67   327610368
pthread-wmm/rfi000_tso.opt_true-unreach-call.i false(unreach-call) 158    109    6744449024 error (7) 16.7    9.73   328310784
pthread-wmm/rfi002_power.oepc_true-unreach-call.i timeout 960    664    13547966464 error (2) .0211 .0214 5603328
pthread-wmm/rfi002_power.opt_true-unreach-call.i timeout 962    671    13495590912 error (2) .0336 .0351 5525504
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i timeout 962    693    13047500800 error (2) .0199 .0204 5734400
pthread-wmm/rfi002_pso.opt_true-unreach-call.i timeout 962    668    13529112576 error (2) .0195 .0201 5595136
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i timeout 962    658    13530812416 error (2) .0504 .0513 5517312
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i timeout 962    666    13542395904 error (2) .0205 .0208 5607424
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i timeout 962    741    13509812224 error (2) .0226 .0233 5611520
pthread-wmm/rfi002_tso.opt_true-unreach-call.i timeout 962    702    13108535296 error (2) .0198 .0203 5586944
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i timeout 962    616    13527228416 error (2) .0518 .0617 5517312
pthread-wmm/rfi003_tso.opt_true-unreach-call.i timeout 962    605    13524357120 error (2) .0198 .0202 5607424
pthread-wmm/safe000_pso.oepc_true-unreach-call.i true 13.3  7.84 470110208 error (7) 15.6    8.80   322670592
pthread-wmm/safe000_pso.opt_true-unreach-call.i true 15.1  8.78 471740416 error (7) 15.2    8.96   324366336
pthread-wmm/safe000_tso.oepc_true-unreach-call.i true 17.4  9.70 462815232 error (7) 14.4    8.70   319684608
pthread-wmm/safe000_tso.opt_true-unreach-call.i true 20.2  11.1  481636352 error (7) 15.7    9.16   312426496
pthread-wmm/safe001_tso.oepc_true-unreach-call.i true 15.6  8.92 474927104 error (7) 15.8    9.45   318754816
pthread-wmm/safe001_tso.opt_true-unreach-call.i true 14.5  8.50 471150592 error (7) 15.6    9.24   326750208
pthread-wmm/safe002_tso.oepc_true-unreach-call.i true 14.5  8.44 475742208 error (7) 15.4    9.00   324415488
pthread-wmm/safe002_tso.opt_true-unreach-call.i true 14.6  8.63 468574208 error (7) 19.3    11.0    325521408
pthread-wmm/safe003_tso.oepc_true-unreach-call.i true 15.1  8.39 476512256 error (7) 15.0    9.19   317140992
pthread-wmm/safe003_tso.opt_true-unreach-call.i true 16.2  9.18 470192128 error (7) 15.4    9.03   317857792
pthread-wmm/safe004_tso.oepc_true-unreach-call.i true 15.2  8.87 490184704 error (7) 15.5    9.00   313237504
pthread-wmm/safe004_tso.opt_true-unreach-call.i true 14.7  8.22 470167552 error (7) 14.8    8.41   319090688
pthread-wmm/safe005_tso.oepc_true-unreach-call.i true 15.0  8.74 524795904 error (7) 15.5    9.10   323670016
pthread-wmm/safe005_tso.opt_true-unreach-call.i true 15.7  9.00 454529024 error (7) 15.2    8.57   330981376
pthread-wmm/safe006_pso.oepc_true-unreach-call.i true 10.8  6.10 357023744 error (7) 15.0    9.19   313962496
pthread-wmm/safe006_pso.opt_true-unreach-call.i true 10.8  6.55 367173632 error (7) 14.5    8.86   312696832
pthread-wmm/safe006_tso.oepc_true-unreach-call.i true 12.1  6.85 370761728 error (7) 14.6    9.02   306868224
pthread-wmm/safe006_tso.opt_true-unreach-call.i true 12.6  7.43 359800832 error (7) 15.4    9.23   321269760
pthread-wmm/safe007_pso.oepc_true-unreach-call.i true 15.1  8.35 480079872 error (7) 15.6    9.64   322789376
pthread-wmm/safe007_pso.opt_true-unreach-call.i true 15.4  9.08 464781312 error (7) 15.1    9.36   318078976
pthread-wmm/safe007_tso.oepc_true-unreach-call.i true 13.7  8.16 465379328 error (7) 15.5    9.01   320802816
pthread-wmm/safe007_tso.opt_true-unreach-call.i true 14.1  8.34 467787776 error (7) 15.1    9.49   314736640
pthread-wmm/safe008_tso.oepc_true-unreach-call.i true 14.2  7.91 468107264 error (7) 14.7    8.74   326008832
pthread-wmm/safe008_tso.opt_true-unreach-call.i true 15.9  9.03 457756672 error (7) 15.2    9.06   315318272
pthread-wmm/safe009_pso.oepc_true-unreach-call.i true 14.6  8.58 467206144 error (7) 15.6    9.45   318173184
pthread-wmm/safe009_pso.opt_true-unreach-call.i true 13.9  8.28 469839872 error (7) 15.1    9.17   319516672
pthread-wmm/safe009_tso.oepc_true-unreach-call.i true 15.4  8.97 511963136 error (7) 15.8    9.20   324587520
pthread-wmm/safe009_tso.opt_true-unreach-call.i true 14.0  8.08 467607552 error (7) 16.3    9.67   322154496
pthread-wmm/safe010_tso.oepc_true-unreach-call.i true 10.9  6.57 376360960 error (7) 14.8    8.39   315363328
pthread-wmm/safe010_tso.opt_true-unreach-call.i true 11.5  6.58 387002368 error (7) 15.4    9.39   312729600
pthread-wmm/safe011_tso.oepc_true-unreach-call.i true 15.4  8.55 486547456 error (7) 15.3    9.00   320442368
pthread-wmm/safe011_tso.opt_true-unreach-call.i true 14.5  8.47 467718144 error (7) 15.8    9.36   325652480
pthread-wmm/safe012_tso.oepc_true-unreach-call.i true 17.3  9.91 482222080 error (7) 16.1    9.27   320380928
pthread-wmm/safe012_tso.opt_true-unreach-call.i true 15.0  8.34 467353600 error (7) 14.7    8.72   320901120
pthread-wmm/safe013_tso.oepc_true-unreach-call.i true 17.4  10.0  466399232 error (7) 15.2    8.90   320114688
pthread-wmm/safe013_tso.opt_true-unreach-call.i true 15.4  8.95 483106816 error (7) 15.4    9.38   323383296
pthread-wmm/safe014_pso.oepc_true-unreach-call.i true 16.0  8.97 523378688 error (7) 15.4    9.42   318443520
pthread-wmm/safe014_pso.opt_true-unreach-call.i true 16.2  8.93 529436672 error (7) 15.5    9.48   312877056
pthread-wmm/safe014_tso.oepc_true-unreach-call.i true 16.2  9.33 472879104 error (7) 15.2    8.55   316125184
pthread-wmm/safe014_tso.opt_true-unreach-call.i true 16.8  9.68 468103168 error (7) 15.3    8.97   314929152
pthread-wmm/safe015_pso.oepc_true-unreach-call.i true 13.8  7.77 465645568 error (7) 14.7    8.37   319594496
pthread-wmm/safe015_pso.opt_true-unreach-call.i true 13.4  7.60 517083136 error (7) 15.1    9.34   315846656
pthread-wmm/safe015_tso.oepc_true-unreach-call.i true 15.1  8.72 463339520 error (7) 15.5    9.48   316801024
pthread-wmm/safe015_tso.opt_true-unreach-call.i true 14.9  8.33 466161664 error (7) 15.1    9.26   319209472
pthread-wmm/safe016_pso.oepc_true-unreach-call.i true 23.7  13.1  646995968 error (7) 14.9    9.09   319787008
pthread-wmm/safe016_pso.opt_true-unreach-call.i true 18.3  10.5  662425600 error (7) 15.1    9.34   320778240
pthread-wmm/safe016_tso.oepc_true-unreach-call.i true 22.6  12.7  657022976 error (7) 16.0    8.91   323579904
pthread-wmm/safe016_tso.opt_true-unreach-call.i true 20.3  11.2  634826752 error (7) 15.7    9.23   315547648
pthread-wmm/safe017_tso.oepc_true-unreach-call.i true 16.9  9.35 465879040 error (7) 15.0    9.36   315752448
pthread-wmm/safe017_tso.opt_true-unreach-call.i true 15.2  8.54 521187328 error (7) 15.1    8.87   320663552
pthread-wmm/safe018_pso.oepc_true-unreach-call.i true 17.5  10.1  468561920 error (7) 15.0    8.82   321105920
pthread-wmm/safe018_pso.opt_true-unreach-call.i true 15.6  8.92 468979712 error (7) 15.1    9.32   316268544
pthread-wmm/safe018_tso.oepc_true-unreach-call.i true 15.5  8.56 501161984 error (7) 15.1    8.96   320823296
pthread-wmm/safe018_tso.opt_true-unreach-call.i true 14.9  8.78 524144640 error (7) 15.1    8.87   326627328
pthread-wmm/safe019_pso.oepc_true-unreach-call.i true 18.3  10.6  670633984 error (7) 15.3    9.39   321409024
pthread-wmm/safe019_pso.opt_true-unreach-call.i true 19.7  11.0  639606784 error (7) 15.6    9.04   323522560
pthread-wmm/safe019_tso.oepc_true-unreach-call.i true 19.5  11.1  691732480 error (7) 15.3    8.59   329715712
pthread-wmm/safe019_tso.opt_true-unreach-call.i true 20.9  11.4  766619648 error (7) 15.6    8.85   322531328
pthread-wmm/safe020_pso.oepc_true-unreach-call.i true 18.5  10.3  508338176 error (7) 15.2    9.20   316022784
pthread-wmm/safe020_pso.opt_true-unreach-call.i true 13.7  8.08 467701760 error (7) 15.3    8.94   312872960
pthread-wmm/safe020_tso.oepc_true-unreach-call.i true 13.2  7.82 504659968 error (7) 15.4    9.26   316022784
pthread-wmm/safe020_tso.opt_true-unreach-call.i true 15.3  8.54 509562880 error (7) 14.7    9.10   328826880
pthread-wmm/safe021_tso.oepc_true-unreach-call.i true 15.0  8.29 463237120 error (7) 15.5    8.96   315420672
pthread-wmm/safe021_tso.opt_true-unreach-call.i true 15.7  8.96 463712256 error (7) 16.0    9.60   322625536
pthread-wmm/safe022_tso.oepc_true-unreach-call.i true 14.0  7.77 381231104 error (7) 14.8    9.06   316239872
pthread-wmm/safe022_tso.opt_true-unreach-call.i true 11.8  7.00 358293504 error (7) 14.8    8.91   311791616
pthread-wmm/safe023_tso.oepc_true-unreach-call.i true 15.8  9.20 480788480 error (7) 15.8    9.13   325365760
pthread-wmm/safe023_tso.opt_true-unreach-call.i true 16.4  9.53 482836480 error (7) 14.9    8.76   317673472
pthread-wmm/safe024_tso.oepc_true-unreach-call.i true 13.7  7.92 468406272 error (7) 15.5    9.01   319836160
pthread-wmm/safe024_tso.opt_true-unreach-call.i true 14.1  8.06 494882816 error (7) 15.1    9.17   318046208
pthread-wmm/safe025_pso.oepc_true-unreach-call.i true 15.3  8.86 498290688 error (7) 15.4    8.74   317128704
pthread-wmm/safe025_pso.opt_true-unreach-call.i true 16.3  9.39 476155904 error (7) 15.3    8.89   315125760
pthread-wmm/safe025_tso.oepc_true-unreach-call.i true 16.2  9.22 500236288 error (7) 14.9    8.71   318820352
pthread-wmm/safe025_tso.opt_true-unreach-call.i true 17.8  10.1  503603200 error (7) 15.2    8.90   326955008
pthread-wmm/safe026_tso.oepc_true-unreach-call.i true 17.1  9.83 500428800 error (7) 16.7    9.84   328245248
pthread-wmm/safe026_tso.opt_true-unreach-call.i true 13.8  8.06 469086208 error (7) 14.8    8.71   312528896
pthread-wmm/safe027_pso.oepc_true-unreach-call.i true 21.9  12.4  742834176 error (7) 15.6    9.00   321875968
pthread-wmm/safe027_pso.opt_true-unreach-call.i true 20.3  11.7  742854656 error (7) 16.1    9.82   323477504
pthread-wmm/safe027_tso.oepc_true-unreach-call.i true 19.1  11.0  703098880 error (7) 15.5    9.65   320491520
pthread-wmm/safe027_tso.opt_true-unreach-call.i true 20.8  11.5  720904192 error (7) 15.5    9.56   319266816
pthread-wmm/safe028_pso.oepc_true-unreach-call.i true 14.9  8.62 476753920 error (7) 14.9    9.11   315170816
pthread-wmm/safe028_pso.opt_true-unreach-call.i true 15.6  9.08 489615360 error (7) 15.1    9.26   317227008
pthread-wmm/safe028_tso.oepc_true-unreach-call.i true 16.7  9.69 462962688 error (7) 15.0    8.87   320733184
pthread-wmm/safe028_tso.opt_true-unreach-call.i true 17.1  9.78 475799552 error (7) 14.7    8.75   321777664
pthread-wmm/safe029_tso.oepc_true-unreach-call.i true 10.6  6.30 361164800 error (7) 14.9    8.80   312283136
pthread-wmm/safe029_tso.opt_true-unreach-call.i true 11.2  6.57 349237248 error (7) 14.7    9.19   311971840
pthread-wmm/safe030_tso.oepc_true-unreach-call.i true 16.2  9.32 490889216 error (7) 14.8    9.10   317399040
pthread-wmm/safe030_tso.opt_true-unreach-call.i true 14.4  8.08 469594112 error (7) 15.1    9.31   318242816
pthread-wmm/safe031_tso.oepc_true-unreach-call.i true 14.0  7.82 474595328 error (7) 15.3    9.41   316731392
pthread-wmm/safe031_tso.opt_true-unreach-call.i true 16.3  8.99 472092672 error (7) 14.9    9.12   314535936
pthread-wmm/safe032_tso.oepc_true-unreach-call.i true 15.9  9.19 501874688 error (7) 15.2    8.84   321019904
pthread-wmm/safe032_tso.opt_true-unreach-call.i true 15.6  9.04 475107328 error (7) 15.0    9.20   316289024
pthread-wmm/safe033_tso.oepc_true-unreach-call.i true 11.1  6.28 377262080 error (7) 15.3    8.92   318619648
pthread-wmm/safe033_tso.opt_true-unreach-call.i true 12.0  7.08 373735424 error (7) 15.1    9.14   316145664
pthread-wmm/safe034_tso.oepc_true-unreach-call.i true 15.5  8.92 467402752 error (7) 15.3    8.90   323670016
pthread-wmm/safe034_tso.opt_true-unreach-call.i true 18.3  10.5  505643008 error (7) 15.6    9.34   323477504
pthread-wmm/safe035_power.oepc_true-unreach-call.i timeout 961    914    7218503680 error (2) .0200 .0204 5611520
pthread-wmm/safe035_power.opt_true-unreach-call.i timeout 961    910    7531405312 error (2) .0193 .0198 5591040
pthread-wmm/safe035_pso.oepc_true-unreach-call.i true 15.4  8.56 514228224 error (7) 14.8    9.08   321085440
pthread-wmm/safe035_pso.opt_true-unreach-call.i true 15.4  8.99 475373568 error (7) 15.7    8.77   323297280
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i true 16.2  9.53 531230720 error (7) 14.9    8.89   318058496
pthread-wmm/safe035_rmo.opt_true-unreach-call.i true 14.5  8.27 470368256 error (7) 15.7    9.28   315133952
pthread-wmm/safe035_tso.oepc_true-unreach-call.i true 15.0  8.67 504279040 error (7) 14.9    9.19   318193664
pthread-wmm/safe035_tso.opt_true-unreach-call.i true 14.8  8.67 536809472 error (7) 15.3    8.64   324063232
pthread-wmm/safe036_power.oepc_true-unreach-call.i true 11.3  6.72 365309952 error (7) 14.5    8.90   313122816
pthread-wmm/safe036_power.opt_true-unreach-call.i true 11.0  6.50 354107392 error (7) 15.1    9.29   315224064
pthread-wmm/safe036_pso.oepc_true-unreach-call.i true 11.3  6.70 362426368 error (7) 15.0    8.87   311853056
pthread-wmm/safe036_pso.opt_true-unreach-call.i true 11.7  6.59 379547648 error (7) 14.6    8.29   316751872
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i true 11.8  7.02 368586752 error (7) 14.6    8.96   310939648
pthread-wmm/safe036_rmo.opt_true-unreach-call.i true 10.6  6.37 367177728 error (7) 15.1    8.82   318930944
pthread-wmm/safe036_tso.oepc_true-unreach-call.i true 10.8  6.43 356671488 error (7) 14.8    8.77   318414848
pthread-wmm/safe036_tso.opt_true-unreach-call.i true 11.6  6.46 368508928 error (7) 15.0    9.15   321372160
pthread-wmm/safe037_power.oepc_true-unreach-call.i true 16.1  8.94 504332288 error (7) 15.4    9.01   322347008
pthread-wmm/safe037_power.opt_true-unreach-call.i true 13.6  7.64 488501248 error (7) 15.7    9.71   327741440
pthread-wmm/safe037_pso.oepc_true-unreach-call.i true 19.7  11.3  465313792 error (7) 15.8    9.28   313868288
pthread-wmm/safe037_pso.opt_true-unreach-call.i true 17.8  9.83 509480960 error (7) 15.6    9.47   322260992
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i true 15.5  8.60 508948480 error (7) 15.7    9.20   326774784
pthread-wmm/safe037_rmo.opt_true-unreach-call.i true 13.2  7.99 471871488 error (7) 16.4    10.0    323584000
pthread-wmm/safe037_tso.oepc_true-unreach-call.i true 15.0  8.75 510320640 error (7) 15.2    9.36   316944384
pthread-wmm/safe037_tso.opt_true-unreach-call.i true 14.6  8.50 495022080 error (7) 15.9    9.59   318066688
pthread-wmm/thin000_pso.oepc_true-unreach-call.i true 13.5  7.96 365645824 error (7) 15.3    8.55   316334080
pthread-wmm/thin000_pso.opt_true-unreach-call.i true 11.6  6.55 362835968 error (7) 14.6    8.69   319692800
pthread-wmm/thin000_tso.oepc_true-unreach-call.i true 12.2  7.34 356544512 error (7) 15.3    8.99   318275584
pthread-wmm/thin000_tso.opt_true-unreach-call.i true 12.4  7.31 366448640 error (7) 14.7    8.73   314605568
pthread-wmm/thin001_pso.oepc_true-unreach-call.i true 18.1  9.85 474685440 error (7) 15.2    9.20   319766528
pthread-wmm/thin001_pso.opt_true-unreach-call.i true 15.6  8.97 490254336 error (7) 15.5    9.61   321466368
pthread-wmm/thin001_tso.oepc_true-unreach-call.i true 13.7  7.79 471699456 error (7) 14.7    8.94   316628992
pthread-wmm/thin001_tso.opt_true-unreach-call.i true 15.5  9.10 516452352 error (7) 14.8    8.31   324743168
pthread-wmm/thin002_pso.oepc_true-unreach-call.i true 19.7  11.4  632446976 error (7) 15.1    9.00   316497920
pthread-wmm/thin002_pso.opt_true-unreach-call.i true 20.9  11.9  638623744 error (7) 15.4    9.19   321290240
pthread-wmm/thin002_tso.oepc_true-unreach-call.i true 23.2  12.8  727085056 error (7) 15.3    9.27   320262144
pthread-wmm/thin002_tso.opt_true-unreach-call.i true 22.2  12.5  638033920 error (7) 15.5    9.22   321617920
pthread-lit/fkp2013_false-unreach-call.i error (7) 16.0  9.25 314753024 error (2) .0498 .0505 5529600
pthread-lit/fkp2013_variant_false-unreach-call.i error (7) 16.6  9.51 317267968 error (2) .0261 .0280 5541888
pthread-lit/qw2004_false-unreach-call.i false(unreach-call) 13.1  7.25 410279936 error (7) 14.2    8.62   308871168
pthread-lit/fk2012_true-unreach-call.i error (7) 15.2  9.30 318570496 error (2) .0209 .0218 5623808
pthread-lit/fkp2013_true-unreach-call.i error (7) 14.2  8.39 309932032 error (2) .0446 .0453 5529600
pthread-lit/fkp2013_variant_true-unreach-call.i error (7) 14.4  8.59 314912768 error (2) .0451 .0459 5533696
pthread-lit/fkp2014_true-unreach-call.i error (7) 13.6  8.73 307830784 error (2) .0208 .0211 5611520
pthread-lit/qw2004_true-unreach-call.i error (7) 15.1  9.22 311513088 error (2) .0361 .0368 5615616
pthread-lit/qw2004_variant_true-unreach-call.i error (7) 13.6  8.39 310386688 error (2) .0534 .0541 5394432
pthread-lit/sssc12_true-unreach-call.i error (7) 16.0  9.74 319823872 error (2) .0199 .0202 5611520
pthread-lit/sssc12_variant_true-unreach-call.i error (7) 15.7  9.13 309583872 error (2) .0242 .0246 5615616
ldv-races/race-1_1-join_true-unreach-call.i true 18.5  10.5  509079552 error (7) 20.6    12.0    460333056
ldv-races/race-2_1-container_of_true-unreach-call.i timeout 961    843    1965142016 error (2) .0202 .0209 5607424
ldv-races/race-3_1-container_of-global_true-unreach-call.i timeout 960    850    1650372608 error (2) .0199 .0205 5734400
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i error (7) 22.5  13.3  470970368 error (2) .0206 .0213 5595136
ldv-races/race-1_2-join_false-unreach-call.i false(unreach-call) 13.7  8.12 507940864 error (7) 20.4    12.3    472653824
ldv-races/race-1_3-join_false-unreach-call.i false(unreach-call) 13.5  7.87 520511488 error (7) 20.3    11.9    463540224
ldv-races/race-2_2-container_of_false-unreach-call.i timeout 960    846    1521291264 error (2) .0317 .0323 5529600
ldv-races/race-2_3-container_of_false-unreach-call.i error (7) 64.8  38.2  880209920 error (2) .0310 .0316 5623808
ldv-races/race-2_4-container_of_false-unreach-call.i error (7) 57.9  34.4  888754176 error (2) .0383 .0397 5529600
ldv-races/race-2_5-container_of_false-unreach-call.i false(unreach-call) 49.5  31.8  863498240 error (7) 20.9    12.0    492220416
ldv-races/race-3_2-container_of-global_false-unreach-call.i false(unreach-call) 307    259    1535029248 error (7) 21.6    12.8    484958208
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i error (7) 24.5  13.9  473927680 error (2) .0250 .0256 5611520
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_false-unreach-call.cil.i unknown 10.3  5.54 326324224 error (2) .0196 .0200 5603328
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko_false-unreach-call.cil.i error (7) 24.1  13.2  375861248 error (2) .0197 .0201 5615616
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i timeout 962    655    13289324544 error (2) .0502 .0511 5541888
ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko_false-unreach-call.cil.i error (7) 250    184    4094525440 error (2) .0348 .0357 5537792
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i timeout 962    749    13338066944 error (2) .0430 .0438 5537792
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i timeout 961    754    13349535744 error (2) .0496 .0504 5521408
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_true-unreach-call.cil.i unknown 11.0  5.83 334290944 error (2) .0233 .0240 5611520
pthread-complex/bounded_buffer_false-unreach-call.i unknown 8.06 4.42 306688000 error (2) .0234 .0247 5595136
pthread-complex/elimination_backoff_stack_false-unreach-call.i timeout 961    836    12786659328 error (2) .0235 .0242 5529600
pthread-complex/safestack_relacy_false-unreach-call.i error (7) 20.1  11.4  438853632 error (2) .0285 .0291 5525504
pthread-complex/workstealqueue_mutex_false-unreach-call.i error (7) 14.0  8.24 309719040 error (2) .0262 .0270 5582848
pthread-complex/workstealqueue_mutex_true-unreach-call.i error (7) 13.4  8.11 296235008 error (2) .0282 .0291 5603328
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i unknown 10.8  6.31 317820928 error (2) .0194 .0199 5537792
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i unknown 14.7  8.13 322994176 error (2) .0204 .0208 5615616
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i unknown 11.4  6.47 321462272 error (2) .0420 .0428 5517312
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i unknown 13.0  7.34 324722688 error (2) .0235 .0244 5599232
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i unknown 10.6  6.55 321396736 error (2) .0500 .0507 5529600
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i unknown 13.7  7.83 322166784 error (2) .0381 .0388 5615616
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i unknown 11.3  6.84 316792832 error (2) .0201 .0206 5611520
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i unknown 10.9  6.52 321134592 error (2) .0321 .0330 5537792
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i unknown 11.7  6.75 320479232 error (2) .0429 .0445 5500928
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i unknown 13.7  7.63 335466496 error (2) .0277 .0289 5742592
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i unknown 12.8  7.48 322301952 error (2) .0199 .0202 5607424
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i unknown 11.1  6.48 321617920 error (2) .0202 .0206 5591040
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i unknown 13.4  8.00 318119936 error (2) .0197 .0200 5603328
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i unknown 13.0  7.13 329465856 error (2) .0192 .0196 5586944
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i unknown 11.0  6.35 314863616 error (2) .0266 .0283 5738496
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i unknown 11.2  6.48 314183680 error (2) .0201 .0207 5619712
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i unknown 11.5  6.89 315396096 error (2) .0197 .0201 5615616
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i unknown 15.2  8.18 325632000 error (2) .0200 .0204 5509120
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i unknown 12.6  7.38 318369792 error (2) .0282 .0299 5599232
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i unknown 12.9  7.63 321101824 error (2) .0515 .0545 5541888
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i unknown 12.5  7.71 313708544 error (2) .0199 .0203 5607424
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i timeout 960    797    5772992512 error (2) .0198 .0202 5738496
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i unknown 6.98 4.09 295751680 error (2) .0224 .0228 5615616
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i unknown 7.00 4.06 298049536 error (2) .0304 .0310 5525504
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i false(unreach-call) 449    370    4617592832 error (7) 19.5    11.4    399380480
pthread-divine/condvar_spurious_wakeup_false-unreach-call.i unknown 6.17 3.38 288587776 error (2) .0200 .0204 5607424
pthread-divine/divinefifo-bug_1w1r_false-unreach-call.i timeout 961    825    4932296704 error (2) .0203 .0208 5607424
pthread-divine/one_time_barrier_2t_false-unreach-call.i unknown 6.36 3.87 290234368 error (2) .0198 .0202 5603328
pthread-divine/one_time_barrier_3t_false-unreach-call.i unknown 6.33 3.85 290119680 error (2) .0290 .0295 5533696
pthread-divine/ring_1w1r_false-unreach-call.i false(unreach-call) 10.3  6.31 361316352 error (7) 17.3    10.1    331345920
pthread-divine/ring_2w1r_false-unreach-call.i timeout 961    781    8329183232 error (2) .0195 .0198 5611520
pthread-divine/tls_destructor_worker_false-unreach-call.i unknown 6.08 3.67 268910592 error (2) .0242 .0255 5586944
pthread-divine/barrier_2t_true-unreach-call.i unknown 6.50 3.84 286941184 error (2) .0307 .0315 5537792
pthread-divine/barrier_3t_true-unreach-call.i unknown 6.20 3.45 291438592 error (2) .0243 .0251 5611520
pthread-divine/condvar_true-unreach-call.i unknown 6.29 3.40 280309760 error (2) .0200 .0204 5615616
pthread-divine/divinefifo_1w1r_true-unreach-call.i timeout 961    832    4940132352 error (2) .0201 .0205 5615616
pthread-divine/one_time_barrier_twice_2t_true-unreach-call.i unknown 7.92 4.54 291741696 error (2) .0283 .0289 5611520
pthread-divine/one_time_barrier_twice_3t_true-unreach-call.i unknown 8.05 4.52 292794368 error (2) .0204 .0208 5595136
pthread-divine/ring_1w1r_true-unreach-call.i timeout 961    818    1393328128 error (2) .0271 .0278 5615616
pthread-divine/ring_2w1r_true-unreach-call.i timeout 961    780    8468750336 error (2) .0197 .0201 5615616
pthread-divine/tls_basic_true-unreach-call.i unknown 6.27 3.76 274509824 error (2) .0198 .0203 5611520
pthread-nondet/nondet-array_false-unreach-call.i error (7) 14.7  8.25 316362752 error (2) .0429 .0437 5533696
pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i error (7) 14.4  8.95 315420672 error (2) .0200 .0204 5611520
pthread-nondet/nondet-loop-bound_false-unreach-call.i error (7) 14.1  8.39 309850112 error (2) .0196 .0200 5611520
pthread-nondet/nondet-array_true-unreach-call.i error (7) 15.9  9.59 312557568 error (2) .0411 .0420 5611520
pthread-nondet/nondet-loop-bound-variant_true-unreach-call.i error (7) 14.5  9.07 312352768 error (2) .0202 .0207 5599232
pthread-nondet/nondet-loop-bound_true-unreach-call.i error (7) 13.6  7.79 315473920 error (2) .0194 .0204 5599232
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 1082 569000 474000 6750848581632 1082 6430 3820 132945084416
    correct results 395 36000 23800 1214487003136 0
        correct true 148 2500 1470 76015636480 0
        correct false 247 33500 22300 1138471366656 0
    incorrect results 2 325 224 13560451072 0
        incorrect true 0 0
        incorrect false 2 325 224 13560451072 0
score (1082 tasks, max score: 1344) 511 0
Run set ultimateautomizer--concurrency.ultimateautomizer.Concurrency ultimateautomizer-ultimateautomizer--concurrency-validation.witnessValidation.Concurrency