Tool ULTIMATE Automizer 0.1.24-91b1670e CPAchecker 1.7-svn 29913
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Run set ultimateautomizer--concurrency.ultimateautomizer.Concurrency cpachecker-ultimateautomizer--concurrency-validation.witnessValidation.Concurrency
Options --full-output -heap 10000M -benchmark -witnessValidation -witness test/results/ultimateautomizer--concurrency.logfiles/ultimateautomizer.${inputfile_name}.files/witness.graphml -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
pthread/bigshot_p_false-unreach-call.i false(unreach-call) 12.9  7.51 454184960 error 4.90  2.64  255221760
pthread/fib_bench_false-unreach-call.i timeout 961    905    1078738944 error (invalid witness file) .592 .360 42336256
pthread/fib_bench_longer_false-unreach-call.i timeout 961    893    1075920896 error (invalid witness file) .584 .357 40144896
pthread/fib_bench_longest_false-unreach-call.i timeout 961    894    1052655616 error (invalid witness file) .585 .376 40505344
pthread/lazy01_false-unreach-call.i false(unreach-call) 11.8  6.85 428421120 false(unreach-call) 5.17  2.76  276930560
pthread/queue_false-unreach-call.i error (7) 12.4  7.04 298168320 error (invalid witness file) .563 .345 40706048
pthread/queue_longer_false-unreach-call.i error (7) 11.9  7.07 300568576 error (invalid witness file) .590 .349 41156608
pthread/queue_longest_false-unreach-call.i error (7) 12.4  6.70 298299392 error (invalid witness file) .561 .348 39895040
pthread/reorder_2_false-unreach-call.i error (7) 12.5  7.40 298942464 error (invalid witness file) .575 .354 41775104
pthread/reorder_5_false-unreach-call.i error (7) 13.2  7.74 294776832 error (invalid witness file) .608 .439 40058880
pthread/sigma_false-unreach-call.i error (7) 15.5  9.02 323182592 error (invalid witness file) .562 .342 40349696
pthread/singleton_false-unreach-call.i false(unreach-call) 144    108    4744900608 error 6.72  3.60  318054400
pthread/stack_false-unreach-call.i false(unreach-call) 30.0  17.3  804732928 error 5.83  3.11  265203712
pthread/stack_longer_false-unreach-call.i false(unreach-call) 35.4  21.5  791232512 error 5.77  3.07  273612800
pthread/stack_longest_false-unreach-call.i false(unreach-call) 41.5  25.4  923348992 error 5.90  3.18  279150592
pthread/stateful01_false-unreach-call.i false(unreach-call) 10.5  6.26 332898304 true 5.77  3.07  279953408
pthread/triangular-longer_false-unreach-call.i false(unreach-call) 46.9  28.8  665235456 timeout 904     826     4814106624
pthread/triangular-longest_false-unreach-call.i false(unreach-call) 107    74.1  1298784256 timeout 911     893     2625470464
pthread/triangular_false-unreach-call.i false(unreach-call) 27.4  16.2  513941504 true 159     134     3084525568
pthread/twostage_3_false-unreach-call.i error (7) 14.3  8.28 300220416 error (invalid witness file) .584 .350 40955904
pthread/bigshot_s2_true-unreach-call.i unknown 21.8  12.5  342110208 error (invalid witness file) .578 .358 40181760
pthread/bigshot_s_true-unreach-call.i unknown 22.4  12.9  366186496 error (invalid witness file) .579 .380 39661568
pthread/fib_bench_longer_true-unreach-call.i timeout 961    891    1069961216 error (invalid witness file) .597 .376 40112128
pthread/fib_bench_longest_true-unreach-call.i timeout 960    905    848125952 error (invalid witness file) .575 .348 39641088
pthread/fib_bench_true-unreach-call.i timeout 961    902    1026170880 error (invalid witness file) .558 .353 40071168
pthread/indexer_true-unreach-call.i error (7) 16.6  9.77 319578112 error (invalid witness file) .557 .334 40742912
pthread/queue_ok_longer_true-unreach-call.i error (7) 12.3  7.23 297463808 error (invalid witness file) .569 .353 40697856
pthread/queue_ok_longest_true-unreach-call.i error (7) 14.0  8.27 298885120 error (invalid witness file) .574 .346 40648704
pthread/queue_ok_true-unreach-call.i error (7) 12.0  7.01 298344448 error (invalid witness file) .646 .385 41029632
pthread/singleton_with-uninit-problems_true-unreach-call.i true 115    83.8  4470657024 error 4.34  2.37  257908736
pthread/stack_longer_true-unreach-call.i timeout 960    928    2647248896 error (invalid witness file) .560 .351 39809024
pthread/stack_longest_true-unreach-call.i timeout 960    929    2633773056 error (invalid witness file) .610 .385 42082304
pthread/stack_true-unreach-call.i timeout 961    917    2760392704 error (invalid witness file) .551 .360 40054784
pthread/stateful01_true-unreach-call.i true 12.4  7.29 385863680 error 4.43  2.39  254578688
pthread/sync01_true-unreach-call.i unknown 6.65 3.99 296058880 error (invalid witness file) .583 .352 40787968
pthread/triangular-longer_true-unreach-call.i true 51.6  31.8  697991168 error 3.79  2.11  252502016
pthread/triangular-longest_true-unreach-call.i true 120    83.1  1166368768 error 3.92  2.14  253210624
pthread/triangular_true-unreach-call.i true 30.9  18.1  522194944 error 3.73  2.06  253206528
pthread-atomic/qrcu_false-unreach-call.i error (7) 13.6  7.67 308854784 error (invalid witness file) .616 .384 41267200
pthread-atomic/read_write_lock_false-unreach-call.i error (7) 49.1  27.8  1528643584 error (invalid witness file) .574 .360 40448000
pthread-atomic/dekker_true-unreach-call.i true 9.83 5.92 340766720 error 4.01  2.20  254619648
pthread-atomic/gcd_true-unreach-call_true-termination.i error (7) 16.2  9.52 313896960 error (invalid witness file) .578 .353 41078784
pthread-atomic/lamport_true-unreach-call.i true 12.4  7.20 464019456 error 3.99  2.17  276938752
pthread-atomic/peterson_true-unreach-call.i true 9.77 5.77 333307904 error 3.88  2.11  253911040
pthread-atomic/qrcu_true-unreach-call.i error (7) 14.1  8.43 305995776 error (invalid witness file) .594 .363 39886848
pthread-atomic/read_write_lock_true-unreach-call.i true 25.8  14.2  1025060864 error 4.17  2.26  255291392
pthread-atomic/scull_true-unreach-call.i timeout 961    912    7418855424 error (invalid witness file) .571 .344 40337408
pthread-atomic/szymanski_true-unreach-call.i true 11.7  6.49 396005376 error 3.79  2.07  254906368
pthread-atomic/time_var_mutex_true-unreach-call.i true 11.0  5.99 366399488 error 3.83  2.11  253788160
pthread-ext/25_stack_longer_false-unreach-call.i error (7) 15.0  9.01 315199488 error (invalid witness file) .591 .374 40505344
pthread-ext/25_stack_longest_false-unreach-call.i error (7) 14.1  8.58 317308928 error (invalid witness file) .576 .351 40337408
pthread-ext/26_stack_cas_longer_false-unreach-call.i error (7) 14.0  8.48 313917440 error (invalid witness file) .581 .354 40292352
pthread-ext/26_stack_cas_longest_false-unreach-call.i error (7) 16.7  9.75 317403136 error (invalid witness file) .605 .365 40595456
pthread-ext/27_Boop_simple_vf_false-unreach-call.i error (7) 14.3  8.73 312406016 error (invalid witness file) .573 .353 41066496
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i error (7) 16.6  10.0  316518400 error (invalid witness file) .577 .359 40787968
pthread-ext/32_pthread5_vs_false-unreach-call.i error (7) 14.0  8.37 315346944 error (invalid witness file) .562 .343 40120320
pthread-ext/40_barrier_vf_false-unreach-call.i error (7) 15.8  9.20 317399040 error (invalid witness file) .593 .364 40570880
pthread-ext/01_inc_true-unreach-call.i error (7) 13.8  8.38 312692736 error (invalid witness file) .608 .385 40026112
pthread-ext/02_inc_cas_true-unreach-call.i error (7) 12.5  7.43 302452736 error (invalid witness file) .571 .352 40222720
pthread-ext/03_incdec_true-unreach-call.i error (7) 14.6  9.00 318451712 error (invalid witness file) .576 .346 40103936
pthread-ext/04_incdec_cas_true-unreach-call.i error (7) 13.4  7.84 310755328 error (invalid witness file) .569 .357 40726528
pthread-ext/05_tas_true-unreach-call.i error (7) 15.8  9.23 312594432 error (invalid witness file) .622 .390 42405888
pthread-ext/06_ticket_true-unreach-call.i error (7) 15.1  8.78 312004608 error (invalid witness file) .571 .342 40148992
pthread-ext/07_rand_true-unreach-call.i error (7) 14.2  8.75 310755328 error (invalid witness file) .557 .355 40038400
pthread-ext/08_rand_cas_true-unreach-call.i error (7) 14.9  8.86 308805632 error (invalid witness file) .587 .352 41291776
pthread-ext/09_fmaxsym_true-unreach-call.i error (7) 14.5  8.55 308666368 error (invalid witness file) .559 .352 39567360
pthread-ext/10_fmaxsym_cas_true-unreach-call.i error (7) 13.3  8.33 300204032 error (invalid witness file) .593 .361 40828928
pthread-ext/11_fmaxsymopt_true-unreach-call.i error (7) 17.1  10.1  313974784 error (invalid witness file) .600 .390 40128512
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i error (7) 14.4  8.67 311971840 error (invalid witness file) .567 .354 40726528
pthread-ext/13_unverif_true-unreach-call.i error (7) 14.1  8.33 313073664 error (invalid witness file) .586 .361 41058304
pthread-ext/14_spin2003_true-unreach-call.i error (7) 14.4  8.68 309473280 error (invalid witness file) .556 .339 40210432
pthread-ext/15_dekker_true-unreach-call.i true 9.82 5.99 325570560 error 3.83  2.12  255029248
pthread-ext/16_peterson_true-unreach-call.i true 9.64 5.79 337387520 error 3.81  2.13  253648896
pthread-ext/17_szymanski_true-unreach-call.i true 11.1  6.42 338980864 error 3.76  2.05  252858368
pthread-ext/18_read_write_lock_true-unreach-call.i true 10.3  5.72 317292544 error 3.97  2.17  252362752
pthread-ext/19_time_var_mutex_true-unreach-call.i true 11.1  6.63 344252416 error 3.93  2.21  251641856
pthread-ext/20_lamport_true-unreach-call.i true 10.9  6.50 379527168 error 3.82  2.08  256692224
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i error (7) 14.9  9.14 303931392 error (invalid witness file) .574 .355 40259584
pthread-ext/25_stack_longer_true-unreach-call.i error (7) 13.0  7.32 308854784 error (invalid witness file) .584 .355 39956480
pthread-ext/25_stack_longest_true-unreach-call.i error (7) 14.2  8.64 316473344 error (invalid witness file) .571 .343 40566784
pthread-ext/25_stack_true-unreach-call.i error (7) 13.1  8.05 312090624 error (invalid witness file) .588 .367 40443904
pthread-ext/26_stack_cas_longer_true-unreach-call.i error (7) 15.4  9.00 315502592 error (invalid witness file) .588 .365 40726528
pthread-ext/26_stack_cas_longest_true-unreach-call.i error (7) 16.9  9.92 315109376 error (invalid witness file) .568 .345 40693760
pthread-ext/26_stack_cas_true-unreach-call.i error (7) 13.1  7.70 311607296 error (invalid witness file) .572 .347 41250816
pthread-ext/29_conditionals_vs_true-unreach-call.i error (7) 13.4  8.11 312483840 error (invalid witness file) .569 .367 40755200
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i error (7) 14.9  9.22 318660608 error (invalid witness file) .580 .340 41390080
pthread-ext/31_simple_loop5_vs_true-unreach-call.i error (7) 14.5  8.90 312627200 error (invalid witness file) .581 .366 40747008
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i error (7) 14.2  8.40 309927936 error (invalid witness file) .569 .346 39534592
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i error (7) 14.5  8.96 320258048 error (invalid witness file) .582 .352 39694336
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i error (7) 14.1  8.03 308826112 error (invalid witness file) .613 .383 41738240
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i error (7) 14.8  8.93 301285376 error (invalid witness file) .595 .374 41533440
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i error (7) 14.2  8.63 300691456 error (invalid witness file) .595 .354 41218048
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i error (7) 15.8  9.40 322506752 error (invalid witness file) .572 .355 39694336
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i error (7) 14.0  7.99 311889920 error (invalid witness file) .576 .353 39890944
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i error (7) 15.8  9.34 310214656 error (invalid witness file) .579 .367 39878656
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i error (7) 14.8  8.64 312360960 error (invalid witness file) .589 .370 41377792
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i error (7) 7.40 4.50 299823104 error (invalid witness file) .587 .355 40407040
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i error (7) 15.3  9.36 316121088 error (invalid witness file) .625 .381 41877504
pthread-ext/45_monabsex1_vs_true-unreach-call.i error (7) 13.5  8.46 310464512 error (invalid witness file) .595 .360 40964096
pthread-ext/46_monabsex2_vs_true-unreach-call.i error (7) 15.9  9.73 310984704 error (invalid witness file) .588 .363 40382464
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i error (7) 13.5  8.53 310853632 error (invalid witness file) .554 .341 40288256
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i error (7) 14.5  8.49 314724352 error (invalid witness file) .576 .357 40656896
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) 246    169    7660544000 true 125     106     3596976128
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) 64.1  40.8  3234611200 true 63.7   47.4   2066448384
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) 218    148    7613779968 true 129     110     3646144512
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) 68.0  43.6  2969542656 true 58.3   43.0   2138247168
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) 205    143    7572926464 true 125     105     3722379264
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) 62.0  39.9  2877124608 true 55.6   41.0   2114433024
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) 137    94.5  5576060928 true 124     105     3815436288
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) 63.0  41.0  3370774528 true 55.4   41.5   2093031424
pthread-wmm/mix001_power.oepc_false-unreach-call.i timeout 961    917    7095963648 error (invalid witness file) .598 .367 41332736
pthread-wmm/mix001_power.opt_false-unreach-call.i timeout 961    623    13529665536 error (invalid witness file) .572 .342 40443904
pthread-wmm/mix001_pso.oepc_false-unreach-call.i timeout 961    919    6970101760 error (invalid witness file) .613 .379 41512960
pthread-wmm/mix001_pso.opt_false-unreach-call.i timeout 962    630    13474459648 error (invalid witness file) .565 .339 39976960
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i timeout 961    912    7169650688 error (invalid witness file) .591 .372 41349120
pthread-wmm/mix001_rmo.opt_false-unreach-call.i timeout 962    632    13532487680 error (invalid witness file) .569 .344 40001536
pthread-wmm/mix001_tso.oepc_false-unreach-call.i timeout 961    918    7124738048 error (invalid witness file) .589 .363 40611840
pthread-wmm/mix001_tso.opt_false-unreach-call.i timeout 962    634    13498437632 error (invalid witness file) .561 .345 39804928
pthread-wmm/mix002_power.oepc_false-unreach-call.i timeout 962    739    13223702528 error (invalid witness file) .606 .379 42065920
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 474    367    10645188608 true 639     545     6039470080
pthread-wmm/mix002_pso.oepc_false-unreach-call.i timeout 962    725    12917497856 error (invalid witness file) .569 .358 39751680
pthread-wmm/mix002_pso.opt_false-unreach-call.i timeout 961    640    13535690752 error (invalid witness file) .580 .356 40448000
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i timeout 962    721    13170339840 error (invalid witness file) .602 .370 40402944
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 457    350    10249138176 true 609     515     6184960000
pthread-wmm/mix002_tso.oepc_false-unreach-call.i timeout 962    743    13196533760 error (invalid witness file) .733 .445 39960576
pthread-wmm/mix002_tso.opt_false-unreach-call.i timeout 961    628    13518647296 error (invalid witness file) .598 .375 40665088
pthread-wmm/mix003_power.oepc_false-unreach-call.i timeout 962    712    13322571776 error (invalid witness file) .609 .419 40218624
pthread-wmm/mix003_power.opt_false-unreach-call.i timeout 961    641    13513412608 error (invalid witness file) .624 .379 40693760
pthread-wmm/mix003_pso.oepc_false-unreach-call.i timeout 962    742    12855017472 error (invalid witness file) .556 .338 40173568
pthread-wmm/mix003_pso.opt_false-unreach-call.i timeout 962    637    13414088704 error (invalid witness file) .572 .353 40071168
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i timeout 962    746    12787826688 error (invalid witness file) .557 .355 39878656
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i timeout 961    633    13534879744 error (invalid witness file) .590 .394 40161280
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i timeout 961    639    13240213504 error (invalid witness file) .604 .371 39751680
pthread-wmm/mix003_rmo.opt_false-unreach-call.i timeout 961    641    13380173824 error (invalid witness file) .568 .343 41668608
pthread-wmm/mix003_tso.oepc_false-unreach-call.i timeout 962    749    13094834176 error (invalid witness file) .589 .357 39829504
pthread-wmm/mix003_tso.opt_false-unreach-call.i timeout 962    635    13512724480 error (invalid witness file) .552 .347 39628800
pthread-wmm/mix004_power.oepc_false-unreach-call.i timeout 961    909    7009120256 error (invalid witness file) .587 .355 41181184
pthread-wmm/mix004_power.opt_false-unreach-call.i timeout 961    919    6874357760 error (invalid witness file) .596 .385 40177664
pthread-wmm/mix004_pso.oepc_false-unreach-call.i timeout 961    915    6988988416 error (invalid witness file) .577 .351 39759872
pthread-wmm/mix004_pso.opt_false-unreach-call.i timeout 961    917    6881292288 error (invalid witness file) .610 .371 41279488
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i timeout 961    918    6947962880 error (invalid witness file) .597 .381 40214528
pthread-wmm/mix004_rmo.opt_false-unreach-call.i timeout 961    919    6899621888 error (invalid witness file) .595 .375 40886272
pthread-wmm/mix004_tso.oepc_false-unreach-call.i timeout 961    918    6854103040 error (invalid witness file) .576 .360 40615936
pthread-wmm/mix004_tso.opt_false-unreach-call.i timeout 961    920    7000231936 error (invalid witness file) .570 .362 40173568
pthread-wmm/mix005_power.oepc_false-unreach-call.i timeout 961    918    6951436288 error (invalid witness file) .570 .345 39849984
pthread-wmm/mix005_power.opt_false-unreach-call.i timeout 961    914    7349035008 error (invalid witness file) .562 .350 40624128
pthread-wmm/mix005_pso.oepc_false-unreach-call.i timeout 961    917    6778937344 error (invalid witness file) .593 .375 40837120
pthread-wmm/mix005_pso.opt_false-unreach-call.i timeout 961    912    7124353024 error (invalid witness file) .568 .349 41127936
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i timeout 961    914    7214788608 error (invalid witness file) .603 .376 40726528
pthread-wmm/mix005_rmo.opt_false-unreach-call.i timeout 961    914    7253086208 error (invalid witness file) .582 .361 40579072
pthread-wmm/mix005_tso.oepc_false-unreach-call.i timeout 961    917    7157415936 error (invalid witness file) .569 .354 39718912
pthread-wmm/mix005_tso.opt_false-unreach-call.i timeout 961    914    7162527744 error (invalid witness file) .570 .350 39997440
pthread-wmm/mix006_power.oepc_false-unreach-call.i timeout 960    756    12706394112 error (invalid witness file) .566 .346 40132608
pthread-wmm/mix006_power.opt_false-unreach-call.i timeout 961    637    13512204288 error (invalid witness file) .574 .356 40914944
pthread-wmm/mix006_pso.oepc_false-unreach-call.i timeout 962    725    12755070976 error (invalid witness file) .559 .344 40345600
pthread-wmm/mix006_pso.opt_false-unreach-call.i timeout 961    638    13361934336 error (invalid witness file) .586 .353 41533440
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i timeout 962    771    13529305088 error (invalid witness file) .574 .352 40337408
pthread-wmm/mix006_rmo.opt_false-unreach-call.i timeout 962    642    13513883648 error (invalid witness file) .585 .359 40161280
pthread-wmm/mix006_tso.oepc_false-unreach-call.i timeout 961    907    7839223808 error (invalid witness file) .574 .350 41521152
pthread-wmm/mix006_tso.opt_false-unreach-call.i timeout 960    637    13453377536 error (invalid witness file) .581 .346 40345600
pthread-wmm/mix007_power.oepc_false-unreach-call.i timeout 961    920    6927073280 error (invalid witness file) .581 .353 40046592
pthread-wmm/mix007_power.opt_false-unreach-call.i timeout 961    913    6948827136 error (invalid witness file) .580 .359 40853504
pthread-wmm/mix007_pso.oepc_false-unreach-call.i timeout 961    912    6928453632 error (invalid witness file) .599 .363 41050112
pthread-wmm/mix007_pso.opt_false-unreach-call.i timeout 961    909    7126675456 error (invalid witness file) .617 .397 40767488
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i timeout 961    915    7252529152 error (invalid witness file) .566 .349 40308736
pthread-wmm/mix007_rmo.opt_false-unreach-call.i timeout 961    914    7151824896 error (invalid witness file) .561 .350 40243200
pthread-wmm/mix007_tso.oepc_false-unreach-call.i timeout 961    917    6976360448 error (invalid witness file) .557 .358 39723008
pthread-wmm/mix007_tso.opt_false-unreach-call.i timeout 961    916    7054970880 error (invalid witness file) .568 .354 39878656
pthread-wmm/mix008_power.oepc_false-unreach-call.i timeout 961    919    6920794112 error (invalid witness file) .590 .366 41230336
pthread-wmm/mix008_power.opt_false-unreach-call.i timeout 961    915    7052767232 error (invalid witness file) .569 .362 40280064
pthread-wmm/mix008_pso.oepc_false-unreach-call.i timeout 961    916    7108857856 error (invalid witness file) .573 .344 40665088
pthread-wmm/mix008_pso.opt_false-unreach-call.i timeout 961    917    6990032896 error (invalid witness file) .577 .360 40222720
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i timeout 961    914    7259668480 error (invalid witness file) .590 .361 41316352
pthread-wmm/mix008_rmo.opt_false-unreach-call.i timeout 961    911    6871900160 error (invalid witness file) .560 .339 40349696
pthread-wmm/mix008_tso.oepc_false-unreach-call.i timeout 961    911    7690444800 error (invalid witness file) .572 .346 40390656
pthread-wmm/mix008_tso.opt_false-unreach-call.i timeout 961    915    7033307136 error (invalid witness file) .572 .348 41455616
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 58.2  36.5  2583076864 true 46.0   30.7   1869856768
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) 67.9  43.9  3155161088 true 66.2   49.8   2347098112
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 60.6  37.9  2196709376 true 49.2   32.9   1788796928
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) 65.3  42.1  2556997632 true 68.3   50.8   2314051584
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 66.7  40.7  2305204224 true 44.1   29.7   1748189184
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) 59.0  37.5  2913931264 true 60.2   45.1   2166571008
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 67.7  42.0  2609008640 true 51.7   33.7   1723346944
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) 62.9  40.7  2762649600 true 64.5   48.7   2329858048
pthread-wmm/mix010_power.oepc_false-unreach-call.i timeout 962    721    12917317632 error (invalid witness file) .609 .374 40103936
pthread-wmm/mix010_power.opt_false-unreach-call.i timeout 961    628    13448839168 error (invalid witness file) .570 .343 40759296
pthread-wmm/mix010_pso.oepc_false-unreach-call.i timeout 962    711    12912238592 error (invalid witness file) .566 .349 40292352
pthread-wmm/mix010_pso.opt_false-unreach-call.i timeout 962    620    13508530176 error (invalid witness file) .597 .376 40599552
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i timeout 962    729    12773470208 error (invalid witness file) .583 .365 40357888
pthread-wmm/mix010_rmo.opt_false-unreach-call.i timeout 961    623    13526511616 error (invalid witness file) .571 .346 40869888
pthread-wmm/mix010_tso.oepc_false-unreach-call.i timeout 962    717    13329215488 error (invalid witness file) .574 .358 39882752
pthread-wmm/mix010_tso.opt_false-unreach-call.i timeout 962    627    13525463040 error (invalid witness file) .581 .352 40046592
pthread-wmm/mix011_power.oepc_false-unreach-call.i timeout 961    724    13094035456 error (invalid witness file) .572 .348 39911424
pthread-wmm/mix011_power.opt_false-unreach-call.i timeout 961    640    13529755648 error (invalid witness file) .559 .347 40304640
pthread-wmm/mix011_pso.oepc_false-unreach-call.i timeout 962    708    13098704896 error (invalid witness file) .569 .344 40771584
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 438    343    9948409856 true 469     389     5611241472
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i timeout 962    714    12826370048 error (invalid witness file) .567 .352 40534016
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 449    356    9465380864 true 488     410     5592293376
pthread-wmm/mix011_tso.oepc_false-unreach-call.i timeout 962    646    13523480576 error (invalid witness file) .580 .355 40886272
pthread-wmm/mix011_tso.opt_false-unreach-call.i timeout 961    639    13517942784 error (invalid witness file) .557 .341 39485440
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 91.6  59.2  4093591552 true 41.7   27.6   1588797440
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 103    64.5  3888222208 true 44.2   29.2   1678065664
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 76.7  50.3  3625623552 true 43.1   27.6   1546448896
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) 160    105    7487705088 true 56.3   41.1   2182410240
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 88.9  58.4  3983814656 true 45.8   30.0   1701203968
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 74.0  48.2  3751673856 true 44.7   28.5   1522368512
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 69.3  46.9  3678240768 true 44.6   29.6   1604042752
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) 73.3  45.3  2967040000 true 59.5   45.1   2050809856
pthread-wmm/mix013_power.oepc_false-unreach-call.i timeout 961    919    6768951296 error (invalid witness file) .576 .352 39858176
pthread-wmm/mix013_power.opt_false-unreach-call.i timeout 961    917    6990721024 error (invalid witness file) .568 .355 41263104
pthread-wmm/mix013_pso.oepc_false-unreach-call.i timeout 961    918    6872166400 error (invalid witness file) .578 .359 40726528
pthread-wmm/mix013_pso.opt_false-unreach-call.i timeout 961    916    6878416896 error (invalid witness file) .585 .358 41070592
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i timeout 961    919    6814179328 error (invalid witness file) .582 .356 40370176
pthread-wmm/mix013_rmo.opt_false-unreach-call.i timeout 961    917    6963355648 error (invalid witness file) .599 .361 40214528
pthread-wmm/mix013_tso.oepc_false-unreach-call.i timeout 961    919    7032295424 error (invalid witness file) .563 .343 40292352
pthread-wmm/mix013_tso.opt_false-unreach-call.i timeout 961    917    6862049280 error (invalid witness file) .569 .357 39985152
pthread-wmm/mix014_power.oepc_false-unreach-call.i timeout 961    916    6989336576 error (invalid witness file) .586 .362 40198144
pthread-wmm/mix014_power.opt_false-unreach-call.i timeout 961    917    7052529664 error (invalid witness file) .583 .359 39895040
pthread-wmm/mix014_pso.oepc_false-unreach-call.i timeout 961    917    7132934144 error (invalid witness file) .566 .344 40755200
pthread-wmm/mix014_pso.opt_false-unreach-call.i timeout 961    915    7183171584 error (invalid witness file) .600 .377 40759296
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i timeout 961    913    7174656000 error (invalid witness file) .560 .337 40103936
pthread-wmm/mix014_rmo.opt_false-unreach-call.i timeout 961    915    7131938816 error (invalid witness file) .612 .364 40730624
pthread-wmm/mix014_tso.oepc_false-unreach-call.i timeout 961    907    7977639936 error (invalid witness file) .562 .344 40439808
pthread-wmm/mix014_tso.opt_false-unreach-call.i timeout 961    918    7041875968 error (invalid witness file) .562 .344 40779776
pthread-wmm/mix015_power.oepc_false-unreach-call.i timeout 961    724    12913434624 error (invalid witness file) .552 .355 40452096
pthread-wmm/mix015_power.opt_false-unreach-call.i timeout 962    627    13536567296 error (invalid witness file) .612 .388 40734720
pthread-wmm/mix015_pso.oepc_false-unreach-call.i timeout 962    696    13310791680 error (invalid witness file) .590 .379 40243200
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 589    446    10759278592 true 624     531     5977448448
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i timeout 962    721    12915703808 error (invalid witness file) .596 .354 42176512
pthread-wmm/mix015_rmo.opt_false-unreach-call.i timeout 962    632    13341593600 error (invalid witness file) .572 .342 41181184
pthread-wmm/mix015_tso.oepc_false-unreach-call.i timeout 962    718    12788146176 error (invalid witness file) .616 .371 41340928
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 527    405    10243891200 true 619     530     5786075136
pthread-wmm/mix016_power.oepc_false-unreach-call.i timeout 962    737    12921245696 error (invalid witness file) .598 .371 40087552
pthread-wmm/mix016_power.opt_false-unreach-call.i timeout 962    692    13178757120 error (invalid witness file) .579 .347 40325120
pthread-wmm/mix016_pso.oepc_false-unreach-call.i timeout 962    722    12922662912 error (invalid witness file) .605 .360 41275392
pthread-wmm/mix016_pso.opt_false-unreach-call.i timeout 962    630    13530914816 error (invalid witness file) .562 .354 40218624
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i timeout 962    740    12812918784 error (invalid witness file) .586 .362 41611264
pthread-wmm/mix016_rmo.opt_false-unreach-call.i timeout 961    690    12787441664 error (invalid witness file) .579 .355 40058880
pthread-wmm/mix016_tso.oepc_false-unreach-call.i timeout 962    740    12842221568 error (invalid witness file) .563 .347 40103936
pthread-wmm/mix016_tso.opt_false-unreach-call.i timeout 962    636    13523017728 error (invalid witness file) .573 .362 40726528
pthread-wmm/mix017_power.oepc_false-unreach-call.i timeout 961    914    7176527872 error (invalid witness file) .569 .346 40275968
pthread-wmm/mix017_power.opt_false-unreach-call.i timeout 961    916    7078313984 error (invalid witness file) .578 .366 39841792
pthread-wmm/mix017_pso.oepc_false-unreach-call.i timeout 961    912    7148220416 error (invalid witness file) .572 .362 41340928
pthread-wmm/mix017_pso.opt_false-unreach-call.i timeout 961    914    7155380224 error (invalid witness file) .570 .347 40894464
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i timeout 961    915    7155990528 error (invalid witness file) .565 .353 42283008
pthread-wmm/mix017_rmo.opt_false-unreach-call.i timeout 961    918    6971318272 error (invalid witness file) .574 .348 39739392
pthread-wmm/mix017_tso.oepc_false-unreach-call.i timeout 961    919    7004774400 error (invalid witness file) .575 .352 39989248
pthread-wmm/mix017_tso.opt_false-unreach-call.i timeout 961    916    7185227776 error (invalid witness file) .574 .355 41345024
pthread-wmm/mix018_power.oepc_false-unreach-call.i timeout 961    918    6896427008 error (invalid witness file) .584 .352 40476672
pthread-wmm/mix018_power.opt_false-unreach-call.i timeout 961    916    6883676160 error (invalid witness file) .575 .359 40022016
pthread-wmm/mix018_pso.oepc_false-unreach-call.i timeout 961    913    7134650368 error (invalid witness file) .574 .344 40046592
pthread-wmm/mix018_pso.opt_false-unreach-call.i timeout 961    917    7017746432 error (invalid witness file) .584 .377 39591936
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i timeout 961    920    6963449856 error (invalid witness file) .577 .387 40435712
pthread-wmm/mix018_rmo.opt_false-unreach-call.i timeout 961    914    7071531008 error (invalid witness file) .578 .355 40480768
pthread-wmm/mix018_tso.oepc_false-unreach-call.i timeout 961    916    7077756928 error (invalid witness file) .588 .364 40607744
pthread-wmm/mix018_tso.opt_false-unreach-call.i timeout 961    916    6914867200 error (invalid witness file) .572 .346 40423424
pthread-wmm/mix019_power.oepc_false-unreach-call.i timeout 961    710    12923363328 error (invalid witness file) .598 .394 40919040
pthread-wmm/mix019_power.opt_false-unreach-call.i timeout 962    630    13518729216 error (invalid witness file) .598 .375 40194048
pthread-wmm/mix019_pso.oepc_false-unreach-call.i timeout 962    725    13407666176 error (invalid witness file) .576 .361 40951808
pthread-wmm/mix019_pso.opt_false-unreach-call.i timeout 962    623    13531574272 error (invalid witness file) .582 .376 40468480
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i timeout 961    703    12922773504 error (invalid witness file) .575 .346 41209856
pthread-wmm/mix019_rmo.opt_false-unreach-call.i timeout 962    635    13532037120 error (invalid witness file) .556 .338 40022016
pthread-wmm/mix019_tso.oepc_false-unreach-call.i timeout 962    622    13097742336 error (invalid witness file) .592 .380 39796736
pthread-wmm/mix019_tso.opt_false-unreach-call.i timeout 962    616    13523697664 error (invalid witness file) .591 .367 42823680
pthread-wmm/mix020_power.oepc_false-unreach-call.i timeout 961    908    6987321344 error (invalid witness file) .570 .354 40398848
pthread-wmm/mix020_power.opt_false-unreach-call.i timeout 961    918    6998687744 error (invalid witness file) .584 .367 41250816
pthread-wmm/mix020_pso.oepc_false-unreach-call.i timeout 961    917    7021105152 error (invalid witness file) .627 .391 41390080
pthread-wmm/mix020_pso.opt_false-unreach-call.i timeout 961    918    6931931136 error (invalid witness file) .619 .384 41132032
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i timeout 961    918    7122518016 error (invalid witness file) .566 .359 40001536
pthread-wmm/mix020_rmo.opt_false-unreach-call.i timeout 961    913    6961975296 error (invalid witness file) .620 .384 41451520
pthread-wmm/mix020_tso.oepc_false-unreach-call.i timeout 961    916    6895452160 error (invalid witness file) .569 .355 40943616
pthread-wmm/mix020_tso.opt_false-unreach-call.i timeout 961    917    6858633216 error (invalid witness file) .600 .387 41168896
pthread-wmm/mix021_power.oepc_false-unreach-call.i timeout 961    916    6923251712 error (invalid witness file) .571 .352 40325120
pthread-wmm/mix021_power.opt_false-unreach-call.i timeout 961    917    6874279936 error (invalid witness file) .567 .344 40251392
pthread-wmm/mix021_pso.oepc_false-unreach-call.i timeout 961    911    6846205952 error (invalid witness file) .588 .351 39825408
pthread-wmm/mix021_pso.opt_false-unreach-call.i timeout 961    914    6985003008 error (invalid witness file) .601 .367 39960576
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i timeout 961    916    6852431872 error (invalid witness file) .608 .380 40218624
pthread-wmm/mix021_rmo.opt_false-unreach-call.i timeout 961    915    6876164096 error (invalid witness file) .573 .367 40103936
pthread-wmm/mix021_tso.oepc_false-unreach-call.i timeout 961    917    7045795840 error (invalid witness file) .569 .356 40312832
pthread-wmm/mix021_tso.opt_false-unreach-call.i timeout 961    917    6941048832 error (invalid witness file) .568 .348 40869888
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 61.6  38.5  2380775424 true 48.0   33.7   2053746688
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 63.2  39.7  2263859200 true 51.1   35.0   1897009152
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 59.5  37.1  2362994688 true 49.9   34.8   1947635712
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 62.7  38.9  2355867648 true 50.5   34.9   2008793088
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 60.2  38.1  2294321152 true 48.8   33.9   1831428096
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 59.9  37.2  2002984960 true 47.0   32.8   1784545280
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 103    67.7  5421608960 true 56.7   40.7   2143768576
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 102    66.8  5248077824 true 60.0   44.4   2055720960
pthread-wmm/mix023_power.oepc_false-unreach-call.i timeout 961    915    7064645632 error (invalid witness file) .566 .352 40386560
pthread-wmm/mix023_power.opt_false-unreach-call.i timeout 961    920    6841765888 error (invalid witness file) .569 .344 39870464
pthread-wmm/mix023_pso.oepc_false-unreach-call.i timeout 961    917    7134076928 error (invalid witness file) .568 .347 39276544
pthread-wmm/mix023_pso.opt_false-unreach-call.i timeout 961    915    6888968192 error (invalid witness file) .575 .354 40128512
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i timeout 961    919    6897840128 error (invalid witness file) .579 .346 41029632
pthread-wmm/mix023_rmo.opt_false-unreach-call.i timeout 961    917    6969458688 error (invalid witness file) .605 .384 40996864
pthread-wmm/mix023_tso.oepc_false-unreach-call.i timeout 961    895    8207118336 error (invalid witness file) .581 .368 39763968
pthread-wmm/mix023_tso.opt_false-unreach-call.i timeout 961    907    7788507136 error (invalid witness file) .570 .357 40124416
pthread-wmm/mix024_power.oepc_false-unreach-call.i timeout 962    730    12711735296 error (invalid witness file) .570 .342 39714816
pthread-wmm/mix024_power.opt_false-unreach-call.i timeout 962    675    13448040448 error (invalid witness file) .615 .383 41807872
pthread-wmm/mix024_pso.oepc_false-unreach-call.i timeout 962    709    12889632768 error (invalid witness file) .599 .381 39981056
pthread-wmm/mix024_pso.opt_false-unreach-call.i timeout 962    693    13424148480 error (invalid witness file) .572 .363 40980480
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i timeout 962    730    12768698368 error (invalid witness file) .602 .380 40087552
pthread-wmm/mix024_rmo.opt_false-unreach-call.i timeout 962    686    13232676864 error (invalid witness file) .570 .337 40067072
pthread-wmm/mix024_tso.oepc_false-unreach-call.i timeout 962    725    13270966272 error (invalid witness file) .593 .366 40480768
pthread-wmm/mix024_tso.opt_false-unreach-call.i timeout 962    743    12966494208 error (invalid witness file) .580 .343 41275392
pthread-wmm/mix025_power.oepc_false-unreach-call.i timeout 962    721    12886810624 error (invalid witness file) .568 .360 40558592
pthread-wmm/mix025_power.opt_false-unreach-call.i timeout 962    733    12789948416 error (invalid witness file) .546 .338 40247296
pthread-wmm/mix025_pso.oepc_false-unreach-call.i timeout 962    728    13011419136 error (invalid witness file) .578 .364 40947712
pthread-wmm/mix025_pso.opt_false-unreach-call.i timeout 961    655    12919955456 error (invalid witness file) .574 .364 41455616
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i timeout 962    736    12835721216 error (invalid witness file) .602 .380 40624128
pthread-wmm/mix025_rmo.opt_false-unreach-call.i timeout 962    685    13510754304 error (invalid witness file) .597 .376 42020864
pthread-wmm/mix025_tso.oepc_false-unreach-call.i timeout 962    726    13185552384 error (invalid witness file) .568 .350 40214528
pthread-wmm/mix025_tso.opt_false-unreach-call.i timeout 962    720    12788785152 error (invalid witness file) .608 .382 41738240
pthread-wmm/mix026_power.oepc_false-unreach-call.i timeout 961    918    6876114944 error (invalid witness file) .571 .343 40005632
pthread-wmm/mix026_power.opt_false-unreach-call.i timeout 961    914    7259213824 error (invalid witness file) .583 .352 40689664
pthread-wmm/mix026_pso.oepc_false-unreach-call.i timeout 961    914    7230287872 error (invalid witness file) .580 .346 40030208
pthread-wmm/mix026_pso.opt_false-unreach-call.i timeout 961    919    6725988352 error (invalid witness file) .565 .352 40185856
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i timeout 961    918    6891704320 error (invalid witness file) .649 .406 40411136
pthread-wmm/mix026_rmo.opt_false-unreach-call.i timeout 961    918    6797168640 error (invalid witness file) .576 .361 40714240
pthread-wmm/mix026_tso.oepc_false-unreach-call.i timeout 961    919    6832717824 error (invalid witness file) .597 .357 41484288
pthread-wmm/mix026_tso.opt_false-unreach-call.i timeout 961    916    7234154496 error (invalid witness file) .605 .381 40566784
pthread-wmm/mix027_power.oepc_false-unreach-call.i timeout 961    916    7001763840 error (invalid witness file) .559 .341 40464384
pthread-wmm/mix027_power.opt_false-unreach-call.i timeout 961    916    6887981056 error (invalid witness file) .567 .343 40669184
pthread-wmm/mix027_pso.oepc_false-unreach-call.i timeout 961    918    6888644608 error (invalid witness file) .600 .365 40873984
pthread-wmm/mix027_pso.opt_false-unreach-call.i timeout 961    919    6963945472 error (invalid witness file) .563 .341 39702528
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i timeout 961    915    7021326336 error (invalid witness file) .587 .371 39870464
pthread-wmm/mix027_rmo.opt_false-unreach-call.i timeout 961    918    6727438336 error (invalid witness file) .579 .360 39944192
pthread-wmm/mix027_tso.oepc_false-unreach-call.i timeout 961    915    7086956544 error (invalid witness file) .583 .348 41148416
pthread-wmm/mix027_tso.opt_false-unreach-call.i timeout 961    915    7064682496 error (invalid witness file) .578 .364 39927808
pthread-wmm/mix028_power.oepc_false-unreach-call.i timeout 962    738    12713746432 error (invalid witness file) .604 .382 40235008
pthread-wmm/mix028_power.opt_false-unreach-call.i timeout 961    628    13531791360 error (invalid witness file) .578 .374 39698432
pthread-wmm/mix028_pso.oepc_false-unreach-call.i timeout 962    745    13332307968 error (invalid witness file) .561 .350 39751680
pthread-wmm/mix028_pso.opt_false-unreach-call.i timeout 962    630    13570879488 error (invalid witness file) .580 .354 41082880
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i timeout 962    723    12903944192 error (invalid witness file) .572 .350 41316352
pthread-wmm/mix028_rmo.opt_false-unreach-call.i timeout 962    640    13530054656 error (invalid witness file) .578 .352 40157184
pthread-wmm/mix028_tso.oepc_false-unreach-call.i timeout 962    642    13533458432 error (invalid witness file) .588 .363 40693760
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 518    365    12602626048 true 486     420     5067460608
pthread-wmm/mix029_power.oepc_false-unreach-call.i timeout 961    919    6880141312 error (invalid witness file) .610 .391 40198144
pthread-wmm/mix029_power.opt_false-unreach-call.i timeout 961    917    7257194496 error (invalid witness file) .577 .348 40218624
pthread-wmm/mix029_pso.oepc_false-unreach-call.i timeout 961    915    6963200000 error (invalid witness file) .672 .418 40124416
pthread-wmm/mix029_pso.opt_false-unreach-call.i timeout 961    917    7156310016 error (invalid witness file) .594 .350 41054208
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i timeout 961    915    6866132992 error (invalid witness file) .551 .351 39874560
pthread-wmm/mix029_rmo.opt_false-unreach-call.i timeout 961    914    7216922624 error (invalid witness file) .545 .340 39874560
pthread-wmm/mix029_tso.oepc_false-unreach-call.i timeout 961    913    6984822784 error (invalid witness file) .562 .343 40050688
pthread-wmm/mix029_tso.opt_false-unreach-call.i timeout 961    916    6939111424 error (invalid witness file) .558 .348 39960576
pthread-wmm/mix030_power.oepc_false-unreach-call.i timeout 961    919    6882177024 error (invalid witness file) .572 .360 40443904
pthread-wmm/mix030_power.opt_false-unreach-call.i timeout 961    913    7190601728 error (invalid witness file) .653 .400 41922560
pthread-wmm/mix030_pso.oepc_false-unreach-call.i timeout 961    916    6830841856 error (invalid witness file) .593 .382 40177664
pthread-wmm/mix030_pso.opt_false-unreach-call.i timeout 961    914    7209955328 error (invalid witness file) .601 .388 40411136
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i timeout 961    916    7123374080 error (invalid witness file) .624 .387 40390656
pthread-wmm/mix030_rmo.opt_false-unreach-call.i timeout 961    916    7157886976 error (invalid witness file) .572 .350 39817216
pthread-wmm/mix030_tso.oepc_false-unreach-call.i timeout 961    914    7051718656 error (invalid witness file) .590 .367 40235008
pthread-wmm/mix030_tso.opt_false-unreach-call.i timeout 961    916    6968688640 error (invalid witness file) .598 .385 40386560
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 56.8  34.5  2203697152 true 52.9   36.2   1935523840
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) 34.9  20.5  1345019904 true 29.4   17.6   1333542912
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 57.5  34.8  1806966784 true 46.1   30.7   1781551104
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) 42.2  25.6  1978032128 true 33.6   19.2   1333997568
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 54.6  32.5  2105753600 true 53.1   34.9   1812127744
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) 41.2  25.3  1786302464 true 33.4   20.3   1524228096
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 72.4  42.7  2447093760 true 47.6   31.2   1710067712
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) 38.7  22.1  1243578368 true 32.5   19.1   1479733248
pthread-wmm/mix032_power.oepc_false-unreach-call.i timeout 962    702    12894408704 error (invalid witness file) .579 .359 41148416
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 311    206    10408755200 true 237     184     4964265984
pthread-wmm/mix032_pso.oepc_false-unreach-call.i timeout 962    733    12808278016 error (invalid witness file) .564 .349 39288832
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 318    210    9613402112 true 222     169     4896645120
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i timeout 961    706    12875751424 error (invalid witness file) .574 .350 39899136
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 314    207    10418081792 true 203     155     4946640896
pthread-wmm/mix032_tso.oepc_false-unreach-call.i timeout 962    709    12927066112 error (invalid witness file) .577 .347 41304064
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 316    206    10198593536 true 208     159     4888842240
pthread-wmm/mix033_power.oepc_false-unreach-call.i timeout 962    721    13021188096 error (invalid witness file) .617 .367 39956480
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 131    93.1  6352429056 true 222     170     4886687744
pthread-wmm/mix033_pso.oepc_false-unreach-call.i timeout 962    720    12891283456 error (invalid witness file) .595 .386 40517632
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 150    104    6040268800 true 205     157     4898521088
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i timeout 962    714    12926586880 error (invalid witness file) .623 .387 42496000
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 345    228    9511997440 true 226     168     5244354560
pthread-wmm/mix033_tso.oepc_false-unreach-call.i timeout 962    613    13511610368 error (invalid witness file) .552 .332 40058880
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 298    196    10345570304 true 208     158     4909264896
pthread-wmm/mix034_power.oepc_false-unreach-call.i false(unreach-call) 52.3  31.3  1639641088 true 47.0   33.0   1684353024
pthread-wmm/mix034_power.opt_false-unreach-call.i false(unreach-call) 75.3  43.6  1934307328 true 46.8   31.1   1772204032
pthread-wmm/mix034_pso.oepc_false-unreach-call.i false(unreach-call) 51.4  31.7  1868709888 true 46.8   32.1   1776123904
pthread-wmm/mix034_pso.opt_false-unreach-call.i false(unreach-call) 65.8  41.1  3523645440 true 26.9   16.2   1276764160
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i false(unreach-call) 61.5  37.5  1732853760 true 67.2   48.8   1785614336
pthread-wmm/mix034_rmo.opt_false-unreach-call.i false(unreach-call) 53.8  33.2  2152333312 true 53.7   39.0   1668329472
pthread-wmm/mix034_tso.oepc_false-unreach-call.i false(unreach-call) 54.5  33.4  1754734592 true 45.6   29.8   1734299648
pthread-wmm/mix034_tso.opt_false-unreach-call.i false(unreach-call) 53.4  33.6  2775830528 true 37.3   24.4   1216659456
pthread-wmm/mix035_power.oepc_false-unreach-call.i timeout 962    726    12899962880 error (invalid witness file) .576 .366 41037824
pthread-wmm/mix035_power.opt_false-unreach-call.i timeout 962    684    12854857728 error (invalid witness file) .579 .346 39878656
pthread-wmm/mix035_pso.oepc_false-unreach-call.i timeout 962    754    13180051456 error (invalid witness file) .584 .360 40361984
pthread-wmm/mix035_pso.opt_false-unreach-call.i false(unreach-call) 258    175    8973852672 true 199     153     4828991488
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i timeout 962    731    13023887360 error (invalid witness file) .555 .349 39579648
pthread-wmm/mix035_rmo.opt_false-unreach-call.i timeout 962    688    12717449216 error (invalid witness file) .578 .356 40415232
pthread-wmm/mix035_tso.oepc_false-unreach-call.i timeout 962    740    12875497472 error (invalid witness file) .549 .348 40022016
pthread-wmm/mix035_tso.opt_false-unreach-call.i false(unreach-call) 274    182    8806072320 true 207     157     4873170944
pthread-wmm/mix036_power.oepc_false-unreach-call.i timeout 961    920    7060299776 error (invalid witness file) .618 .386 41836544
pthread-wmm/mix036_power.opt_false-unreach-call.i timeout 961    913    7007232000 error (invalid witness file) .589 .384 39604224
pthread-wmm/mix036_pso.oepc_false-unreach-call.i timeout 961    916    6919512064 error (invalid witness file) .569 .343 40873984
pthread-wmm/mix036_pso.opt_false-unreach-call.i timeout 962    914    8946126848 error (invalid witness file) .564 .348 40120320
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i timeout 961    915    6914457600 error (invalid witness file) .545 .332 39583744
pthread-wmm/mix036_rmo.opt_false-unreach-call.i timeout 961    919    6794186752 error (invalid witness file) .579 .359 40185856
pthread-wmm/mix036_tso.oepc_false-unreach-call.i timeout 961    922    6924005376 error (invalid witness file) .574 .363 40902656
pthread-wmm/mix036_tso.opt_false-unreach-call.i timeout 960    902    8698748928 error (invalid witness file) .565 .356 40341504
pthread-wmm/mix037_power.oepc_false-unreach-call.i timeout 961    917    7115571200 error (invalid witness file) .580 .355 40206336
pthread-wmm/mix037_power.opt_false-unreach-call.i timeout 962    857    13144780800 error (invalid witness file) .579 .350 41488384
pthread-wmm/mix037_pso.oepc_false-unreach-call.i timeout 961    917    7012311040 error (invalid witness file) .580 .348 40460288
pthread-wmm/mix037_pso.opt_false-unreach-call.i timeout 962    803    13459697664 error (invalid witness file) .565 .342 39960576
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i timeout 961    919    6893907968 error (invalid witness file) .580 .343 40931328
pthread-wmm/mix037_rmo.opt_false-unreach-call.i timeout 961    824    13440483328 error (invalid witness file) .559 .349 39915520
pthread-wmm/mix037_tso.oepc_false-unreach-call.i timeout 961    914    7053553664 error (invalid witness file) .599 .366 40955904
pthread-wmm/mix037_tso.opt_false-unreach-call.i timeout 962    865    12875890688 error (invalid witness file) .581 .353 40071168
pthread-wmm/mix038_power.oepc_false-unreach-call.i timeout 962    722    12938752000 error (invalid witness file) .585 .392 40873984
pthread-wmm/mix038_power.opt_false-unreach-call.i false(unreach-call) 252    167    9291472896 true 194     147     4805615616
pthread-wmm/mix038_pso.oepc_false-unreach-call.i timeout 962    745    12993286144 error (invalid witness file) .592 .359 40026112
pthread-wmm/mix038_pso.opt_false-unreach-call.i false(unreach-call) 258    166    9370009600 true 192     146     4853968896
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i timeout 962    722    13119082496 error (invalid witness file) .595 .377 40366080
pthread-wmm/mix038_rmo.opt_false-unreach-call.i false(unreach-call) 252    166    9287376896 true 199     152     4809482240
pthread-wmm/mix038_tso.oepc_false-unreach-call.i timeout 962    620    13473751040 error (invalid witness file) .582 .365 39780352
pthread-wmm/mix038_tso.opt_false-unreach-call.i false(unreach-call) 270    175    9664585728 true 222     168     4771635200
pthread-wmm/mix039_power.oepc_false-unreach-call.i timeout 961    913    7086219264 error (invalid witness file) .587 .355 41623552
pthread-wmm/mix039_power.opt_false-unreach-call.i timeout 961    872    10970025984 error (invalid witness file) .571 .340 39800832
pthread-wmm/mix039_pso.oepc_false-unreach-call.i timeout 961    915    7163047936 error (invalid witness file) .580 .349 40112128
pthread-wmm/mix039_pso.opt_false-unreach-call.i timeout 962    856    13064896512 error (invalid witness file) .632 .397 41013248
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i timeout 961    918    6931509248 error (invalid witness file) .585 .364 40468480
pthread-wmm/mix039_rmo.opt_false-unreach-call.i timeout 962    813    13484081152 error (invalid witness file) .562 .339 40103936
pthread-wmm/mix039_tso.oepc_false-unreach-call.i timeout 961    916    6915256320 error (invalid witness file) .561 .342 40259584
pthread-wmm/mix039_tso.opt_false-unreach-call.i timeout 961    840    13342670848 error (invalid witness file) .597 .378 40329216
pthread-wmm/mix040_power.oepc_false-unreach-call.i timeout 961    908    6973566976 error (invalid witness file) .597 .363 41111552
pthread-wmm/mix040_power.opt_false-unreach-call.i timeout 962    813    13505015808 error (invalid witness file) .598 .395 40448000
pthread-wmm/mix040_pso.oepc_false-unreach-call.i timeout 961    914    7255515136 error (invalid witness file) .592 .386 40837120
pthread-wmm/mix040_pso.opt_false-unreach-call.i timeout 962    854    13006385152 error (invalid witness file) .641 .395 41005056
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i timeout 961    916    7077158912 error (invalid witness file) .592 .353 41893888
pthread-wmm/mix040_rmo.opt_false-unreach-call.i timeout 962    803    13484605440 error (invalid witness file) .591 .360 41205760
pthread-wmm/mix040_tso.oepc_false-unreach-call.i timeout 961    916    7087767552 error (invalid witness file) .594 .368 41299968
pthread-wmm/mix040_tso.opt_false-unreach-call.i timeout 962    837    12841500672 error (invalid witness file) .580 .361 39976960
pthread-wmm/mix041_power.oepc_false-unreach-call.i false(unreach-call) 58.6  35.6  1873702912 true 43.2   29.1   1766699008
pthread-wmm/mix041_power.opt_false-unreach-call.i false(unreach-call) 54.8  31.9  2447880192 true 28.1   16.9   1234083840
pthread-wmm/mix041_pso.oepc_false-unreach-call.i false(unreach-call) 67.2  43.0  3583434752 true 45.6   30.3   1826779136
pthread-wmm/mix041_pso.opt_false-unreach-call.i false(unreach-call) 50.1  30.1  2173288448 true 25.8   14.9   1024593920
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i false(unreach-call) 79.7  50.7  3661422592 true 43.3   28.4   1724194816
pthread-wmm/mix041_rmo.opt_false-unreach-call.i false(unreach-call) 81.4  50.3  3084836864 true 26.1   15.2   1203617792
pthread-wmm/mix041_tso.oepc_false-unreach-call.i false(unreach-call) 45.3  26.9  2269003776 true 28.9   17.0   1178996736
pthread-wmm/mix041_tso.opt_false-unreach-call.i false(unreach-call) 63.7  40.4  3452428288 true 30.5   17.4   1203646464
pthread-wmm/mix042_power.oepc_false-unreach-call.i timeout 961    750    12690366464 error (invalid witness file) .597 .370 41160704
pthread-wmm/mix042_power.opt_false-unreach-call.i false(unreach-call) 468    303    10782605312 true 140     107     4519227392
pthread-wmm/mix042_pso.oepc_false-unreach-call.i timeout 962    736    12879450112 error (invalid witness file) .568 .354 40677376
pthread-wmm/mix042_pso.opt_false-unreach-call.i false(unreach-call) 278    181    9288089600 true 148     111     4745990144
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i timeout 962    747    12768239616 error (invalid witness file) .584 .352 40284160
pthread-wmm/mix042_rmo.opt_false-unreach-call.i false(unreach-call) 232    152    8437727232 true 142     108     4543770624
pthread-wmm/mix042_tso.oepc_false-unreach-call.i timeout 962    747    12883296256 error (invalid witness file) .555 .353 40730624
pthread-wmm/mix042_tso.opt_false-unreach-call.i false(unreach-call) 553    354    12134113280 true 140     108     4419289088
pthread-wmm/mix043_power.oepc_false-unreach-call.i timeout 961    914    7085846528 error (invalid witness file) .573 .344 40390656
pthread-wmm/mix043_power.opt_false-unreach-call.i timeout 962    735    13521883136 error (invalid witness file) .578 .345 40247296
pthread-wmm/mix043_pso.oepc_false-unreach-call.i timeout 961    917    6922436608 error (invalid witness file) .600 .385 40443904
pthread-wmm/mix043_pso.opt_false-unreach-call.i timeout 961    769    13511585792 error (invalid witness file) .558 .353 39583744
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i timeout 961    919    6860017664 error (invalid witness file) .574 .355 40386560
pthread-wmm/mix043_rmo.opt_false-unreach-call.i timeout 962    759    13406826496 error (invalid witness file) .591 .364 41324544
pthread-wmm/mix043_tso.oepc_false-unreach-call.i timeout 961    916    7048011776 error (invalid witness file) .620 .394 41205760
pthread-wmm/mix043_tso.opt_false-unreach-call.i timeout 962    750    13527195648 error (invalid witness file) .559 .345 40153088
pthread-wmm/mix044_power.oepc_false-unreach-call.i timeout 961    918    7082438656 error (invalid witness file) .590 .350 40566784
pthread-wmm/mix044_power.opt_false-unreach-call.i timeout 962    777    12792770560 error (invalid witness file) .546 .337 40165376
pthread-wmm/mix044_pso.oepc_false-unreach-call.i timeout 961    916    7068762112 error (invalid witness file) .603 .384 39895040
pthread-wmm/mix044_pso.opt_false-unreach-call.i timeout 962    769    13458997248 error (invalid witness file) .595 .363 40787968
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i timeout 961    917    7157796864 error (invalid witness file) .579 .362 41209856
pthread-wmm/mix044_rmo.opt_false-unreach-call.i timeout 962    768    13505884160 error (invalid witness file) .594 .370 40284160
pthread-wmm/mix044_tso.oepc_false-unreach-call.i timeout 961    913    7203655680 error (invalid witness file) .577 .347 40890368
pthread-wmm/mix044_tso.opt_false-unreach-call.i timeout 962    778    12869259264 error (invalid witness file) .578 .352 40722432
pthread-wmm/mix045_power.oepc_false-unreach-call.i timeout 962    713    12911161344 error (invalid witness file) .575 .359 40943616
pthread-wmm/mix045_power.opt_false-unreach-call.i false(unreach-call) 180    117    8446529536 true 133     96.9   4588691456
pthread-wmm/mix045_pso.oepc_false-unreach-call.i timeout 962    751    12717572096 error (invalid witness file) .566 .355 40091648
pthread-wmm/mix045_pso.opt_false-unreach-call.i false(unreach-call) 671    439    12477530112 true 125     90.5   4741554176
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i timeout 962    726    12811821056 error (invalid witness file) .565 .359 40263680
pthread-wmm/mix045_rmo.opt_false-unreach-call.i false(unreach-call) 201    132    8096350208 true 125     90.4   4636131328
pthread-wmm/mix045_tso.oepc_false-unreach-call.i false(unreach-call) 757    474    13032411136 true 128     93.6   4682637312
pthread-wmm/mix045_tso.opt_false-unreach-call.i false(unreach-call) 175    112    7995420672 true 129     93.4   4655009792
pthread-wmm/mix046_power.oepc_false-unreach-call.i timeout 961    918    7077212160 error (invalid witness file) .554 .352 39505920
pthread-wmm/mix046_power.opt_false-unreach-call.i timeout 962    731    13480046592 error (invalid witness file) .572 .350 40689664
pthread-wmm/mix046_pso.oepc_false-unreach-call.i timeout 961    913    7043895296 error (invalid witness file) .573 .377 40996864
pthread-wmm/mix046_pso.opt_false-unreach-call.i timeout 962    758    13507358720 error (invalid witness file) .592 .371 40890368
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i timeout 961    913    7164121088 error (invalid witness file) .557 .343 40222720
pthread-wmm/mix046_rmo.opt_false-unreach-call.i timeout 962    776    12745752576 error (invalid witness file) .593 .363 40316928
pthread-wmm/mix046_tso.oepc_false-unreach-call.i timeout 961    915    6993125376 error (invalid witness file) .555 .338 39829504
pthread-wmm/mix046_tso.opt_false-unreach-call.i timeout 962    750    13502771200 error (invalid witness file) .584 .362 41771008
pthread-wmm/mix047_power.oepc_false-unreach-call.i timeout 961    920    6917734400 error (invalid witness file) .582 .365 40574976
pthread-wmm/mix047_power.opt_false-unreach-call.i timeout 961    737    13545971712 error (invalid witness file) .592 .357 42291200
pthread-wmm/mix047_pso.oepc_false-unreach-call.i timeout 961    916    6985347072 error (invalid witness file) .570 .354 40271872
pthread-wmm/mix047_pso.opt_false-unreach-call.i timeout 962    741    13512724480 error (invalid witness file) .591 .371 40382464
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i timeout 961    915    7002939392 error (invalid witness file) .572 .346 40665088
pthread-wmm/mix047_rmo.opt_false-unreach-call.i timeout 960    739    13518979072 error (invalid witness file) .572 .350 40112128
pthread-wmm/mix047_tso.oepc_false-unreach-call.i timeout 961    736    13522382848 error (invalid witness file) .562 .346 39915520
pthread-wmm/mix047_tso.opt_false-unreach-call.i timeout 962    731    13473927168 error (invalid witness file) .577 .352 39813120
pthread-wmm/mix048_power.oepc_false-unreach-call.i false(unreach-call) 64.1  39.1  2009133056 true 42.4   27.2   1563680768
pthread-wmm/mix048_power.opt_false-unreach-call.i false(unreach-call) 57.3  35.4  1907212288 true 43.0   27.3   1594060800
pthread-wmm/mix048_pso.oepc_false-unreach-call.i false(unreach-call) 65.4  40.3  2184634368 true 42.6   28.1   1603022848
pthread-wmm/mix048_pso.opt_false-unreach-call.i false(unreach-call) 63.5  38.6  2095202304 true 43.9   28.6   1588768768
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i false(unreach-call) 60.4  37.1  1922531328 true 43.2   27.7   1544704000
pthread-wmm/mix048_rmo.opt_false-unreach-call.i false(unreach-call) 68.5  42.0  2129494016 true 40.9   26.9   1589870592
pthread-wmm/mix048_tso.oepc_false-unreach-call.i false(unreach-call) 56.5  35.8  2457645056 true 43.5   28.8   1632555008
pthread-wmm/mix048_tso.opt_false-unreach-call.i false(unreach-call) 69.1  42.9  2693156864 true 44.9   29.8   1600479232
pthread-wmm/mix049_power.oepc_false-unreach-call.i timeout 962    712    13267816448 error (invalid witness file) .582 .347 40910848
pthread-wmm/mix049_power.opt_false-unreach-call.i timeout 962    717    12968443904 error (invalid witness file) .590 .363 40849408
pthread-wmm/mix049_pso.oepc_false-unreach-call.i timeout 962    708    13085933568 error (invalid witness file) .590 .361 40132608
pthread-wmm/mix049_pso.opt_false-unreach-call.i timeout 962    737    12731699200 error (invalid witness file) .570 .345 39907328
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i timeout 962    723    13338591232 error (invalid witness file) .579 .350 41291776
pthread-wmm/mix049_rmo.opt_false-unreach-call.i timeout 962    742    12702654464 error (invalid witness file) .584 .352 41836544
pthread-wmm/mix049_tso.oepc_false-unreach-call.i timeout 962    738    12780826624 error (invalid witness file) .581 .354 40452096
pthread-wmm/mix049_tso.opt_false-unreach-call.i timeout 962    717    12908908544 error (invalid witness file) .603 .396 41398272
pthread-wmm/mix050_power.oepc_false-unreach-call.i timeout 961    917    7124111360 error (invalid witness file) .589 .351 41107456
pthread-wmm/mix050_power.opt_false-unreach-call.i timeout 961    917    7104749568 error (invalid witness file) .587 .362 42639360
pthread-wmm/mix050_pso.oepc_false-unreach-call.i timeout 961    915    7089885184 error (invalid witness file) .560 .349 40583168
pthread-wmm/mix050_pso.opt_false-unreach-call.i timeout 961    914    7247323136 error (invalid witness file) .592 .368 41164800
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i timeout 961    910    7353716736 error (invalid witness file) .547 .340 39219200
pthread-wmm/mix050_rmo.opt_false-unreach-call.i timeout 961    913    7153856512 error (invalid witness file) .571 .357 40181760
pthread-wmm/mix050_tso.oepc_false-unreach-call.i timeout 961    918    7051264000 error (invalid witness file) .564 .361 39587840
pthread-wmm/mix050_tso.opt_false-unreach-call.i timeout 961    918    7109066752 error (invalid witness file) .615 .384 41459712
pthread-wmm/mix051_power.oepc_false-unreach-call.i timeout 961    920    6796005376 error (invalid witness file) .716 .428 39538688
pthread-wmm/mix051_power.opt_false-unreach-call.i timeout 961    921    6756749312 error (invalid witness file) .565 .342 40165376
pthread-wmm/mix051_pso.oepc_false-unreach-call.i timeout 961    919    6881419264 error (invalid witness file) .591 .349 41332736
pthread-wmm/mix051_pso.opt_false-unreach-call.i timeout 962    840    13135306752 error (invalid witness file) .579 .355 39297024
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i timeout 961    916    6728474624 error (invalid witness file) .560 .337 39882752
pthread-wmm/mix051_rmo.opt_false-unreach-call.i timeout 962    794    13506568192 error (invalid witness file) .585 .363 41328640
pthread-wmm/mix051_tso.oepc_false-unreach-call.i timeout 961    916    7192678400 error (invalid witness file) .593 .359 41570304
pthread-wmm/mix051_tso.opt_false-unreach-call.i timeout 962    815    13503238144 error (invalid witness file) .568 .353 40325120
pthread-wmm/mix052_power.oepc_false-unreach-call.i timeout 961    716    12907782144 error (invalid witness file) .574 .347 40673280
pthread-wmm/mix052_power.opt_false-unreach-call.i timeout 961    729    12929732608 error (invalid witness file) .605 .391 41140224
pthread-wmm/mix052_pso.oepc_false-unreach-call.i timeout 961    729    12899397632 error (invalid witness file) .562 .363 39878656
pthread-wmm/mix052_pso.opt_false-unreach-call.i false(unreach-call) 287    188    9591107584 true 170     127     4772048896
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i timeout 961    720    12811022336 error (invalid witness file) .563 .342 39878656
pthread-wmm/mix052_rmo.opt_false-unreach-call.i false(unreach-call) 272    177    9739444224 true 166     125     4744949760
pthread-wmm/mix052_tso.oepc_false-unreach-call.i timeout 962    614    13503901696 error (invalid witness file) .606 .390 40583168
pthread-wmm/mix052_tso.opt_false-unreach-call.i false(unreach-call) 302    196    9527672832 true 173     129     4741464064
pthread-wmm/mix053_power.oepc_false-unreach-call.i timeout 961    919    6783913984 error (invalid witness file) .571 .343 41525248
pthread-wmm/mix053_power.opt_false-unreach-call.i timeout 962    858    11319107584 error (invalid witness file) .584 .354 40468480
pthread-wmm/mix053_pso.oepc_false-unreach-call.i timeout 961    918    6800748544 error (invalid witness file) .586 .362 40431616
pthread-wmm/mix053_pso.opt_false-unreach-call.i timeout 962    867    10520518656 error (invalid witness file) .569 .360 40198144
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i timeout 961    919    6814412800 error (invalid witness file) .563 .344 40194048
pthread-wmm/mix053_rmo.opt_false-unreach-call.i timeout 961    805    13463126016 error (invalid witness file) .576 .351 40472576
pthread-wmm/mix053_tso.oepc_false-unreach-call.i timeout 961    914    7131295744 error (invalid witness file) .540 .339 39469056
pthread-wmm/mix053_tso.opt_false-unreach-call.i timeout 962    863    10273189888 error (invalid witness file) .582 .364 39727104
pthread-wmm/mix054_power.oepc_false-unreach-call.i false(unreach-call) 59.4  35.9  2038087680 true 43.9   29.4   1691750400
pthread-wmm/mix054_power.opt_false-unreach-call.i false(unreach-call) 57.3  35.3  2159099904 true 41.5   27.8   1633894400
pthread-wmm/mix054_pso.oepc_false-unreach-call.i false(unreach-call) 58.1  35.4  2243903488 true 43.3   28.4   1745203200
pthread-wmm/mix054_pso.opt_false-unreach-call.i false(unreach-call) 48.5  27.7  1710792704 true 27.1   14.9   996401152
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i false(unreach-call) 51.7  31.6  1859338240 true 44.6   30.1   1826832384
pthread-wmm/mix054_rmo.opt_false-unreach-call.i false(unreach-call) 43.6  25.3  1493082112 true 25.1   14.2   1041195008
pthread-wmm/mix054_tso.oepc_false-unreach-call.i false(unreach-call) 44.3  25.8  1711276032 true 24.8   14.0   983621632
pthread-wmm/mix054_tso.opt_false-unreach-call.i false(unreach-call) 43.1  24.8  1546612736 true 27.5   15.2   980721664
pthread-wmm/mix055_power.oepc_false-unreach-call.i timeout 961    918    6838550528 error (invalid witness file) .569 .350 40095744
pthread-wmm/mix055_power.opt_false-unreach-call.i timeout 962    765    13533810688 error (invalid witness file) .577 .357 41250816
pthread-wmm/mix055_pso.oepc_false-unreach-call.i timeout 961    917    6866116608 error (invalid witness file) .566 .343 41111552
pthread-wmm/mix055_pso.opt_false-unreach-call.i timeout 962    765    13515915264 error (invalid witness file) .564 .347 40079360
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i timeout 961    916    6928220160 error (invalid witness file) .596 .363 41078784
pthread-wmm/mix055_rmo.opt_false-unreach-call.i timeout 961    744    13530202112 error (invalid witness file) .592 .381 40214528
pthread-wmm/mix055_tso.oepc_false-unreach-call.i timeout 961    915    7138054144 error (invalid witness file) .614 .388 40939520
pthread-wmm/mix055_tso.opt_false-unreach-call.i timeout 962    768    13512073216 error (invalid witness file) .572 .351 40275968
pthread-wmm/mix056_power.oepc_false-unreach-call.i timeout 962    735    13005365248 error (invalid witness file) .588 .355 40964096
pthread-wmm/mix056_power.opt_false-unreach-call.i false(unreach-call) 621    397    12954451968 true 121     89.8   4454268928
pthread-wmm/mix056_pso.oepc_false-unreach-call.i timeout 962    758    12682674176 error (invalid witness file) .561 .341 40099840
pthread-wmm/mix056_pso.opt_false-unreach-call.i false(unreach-call) 437    278    12271529984 true 124     91.8   4447072256
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i timeout 961    740    12721963008 error (invalid witness file) .572 .349 40128512
pthread-wmm/mix056_rmo.opt_false-unreach-call.i false(unreach-call) 602    383    12022349824 true 119     88.8   4499853312
pthread-wmm/mix056_tso.oepc_false-unreach-call.i false(unreach-call) 161    104    7845048320 true 121     90.8   4425195520
pthread-wmm/mix056_tso.opt_false-unreach-call.i false(unreach-call) 137    90.7  7108284416 true 140     108     4577579008
pthread-wmm/mix057_power.oepc_false-unreach-call.i timeout 961    918    6935576576 error (invalid witness file) .568 .348 39866368
pthread-wmm/mix057_power.opt_false-unreach-call.i timeout 962    773    13477113856 error (invalid witness file) .562 .336 40304640
pthread-wmm/mix057_pso.oepc_false-unreach-call.i timeout 961    919    7076909056 error (invalid witness file) .573 .347 39936000
pthread-wmm/mix057_pso.opt_false-unreach-call.i timeout 962    761    13529911296 error (invalid witness file) .603 .378 41373696
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i timeout 961    916    7220183040 error (invalid witness file) .586 .363 40742912
pthread-wmm/mix057_rmo.opt_false-unreach-call.i timeout 962    789    13521272832 error (invalid witness file) .599 .387 41431040
pthread-wmm/mix057_tso.oepc_false-unreach-call.i timeout 962    790    13513764864 error (invalid witness file) .559 .338 40935424
pthread-wmm/mix057_tso.opt_false-unreach-call.i timeout 962    794    13543890944 error (invalid witness file) .560 .341 40189952
pthread-wmm/podwr000_power.oepc_false-unreach-call.i false(unreach-call) 59.2  37.8  2091741184 true 44.2   28.8   1584226304
pthread-wmm/podwr000_power.opt_false-unreach-call.i false(unreach-call) 59.6  36.6  2178875392 true 47.3   33.8   1577123840
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i false(unreach-call) 60.5  37.2  2294194176 true 47.5   30.6   1626824704
pthread-wmm/podwr000_pso.opt_false-unreach-call.i false(unreach-call) 59.8  36.9  2380021760 true 43.5   27.9   1566228480
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i false(unreach-call) 59.6  36.2  1962577920 true 45.4   29.3   1624227840
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i false(unreach-call) 67.5  41.7  2206515200 true 43.7   28.8   1627942912
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i false(unreach-call) 66.0  39.6  1957867520 true 42.5   28.0   1637675008
pthread-wmm/podwr000_tso.opt_false-unreach-call.i false(unreach-call) 65.8  40.9  2185502720 true 42.6   27.7   1611341824
pthread-wmm/podwr001_power.oepc_false-unreach-call.i timeout 962    727    13421400064 error (invalid witness file) .572 .345 41672704
pthread-wmm/podwr001_power.opt_false-unreach-call.i timeout 961    716    12938477568 error (invalid witness file) .560 .342 40521728
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i timeout 962    738    12818931712 error (invalid witness file) .579 .354 39886848
pthread-wmm/podwr001_pso.opt_false-unreach-call.i timeout 961    738    12735782912 error (invalid witness file) .564 .339 40116224
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i timeout 962    728    12872585216 error (invalid witness file) .563 .347 39591936
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i timeout 962    730    12863770624 error (invalid witness file) .602 .370 41209856
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i timeout 962    726    12917964800 error (invalid witness file) .594 .379 39809024
pthread-wmm/podwr001_tso.opt_false-unreach-call.i timeout 962    724    13252952064 error (invalid witness file) .573 .356 39940096
pthread-wmm/rfi000_power.oepc_false-unreach-call.i false(unreach-call) 191    136    7100215296 true 123     101     3231674368
pthread-wmm/rfi000_power.opt_false-unreach-call.i false(unreach-call) 47.0  28.5  2164125696 true 32.0   21.1   1341100032
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i false(unreach-call) 209    149    6135730176 true 118     98.6   3186823168
pthread-wmm/rfi000_pso.opt_false-unreach-call.i false(unreach-call) 49.8  29.5  2237677568 true 31.9   19.9   1376034816
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i false(unreach-call) 187    132    6805848064 true 128     105     3244482560
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i false(unreach-call) 55.4  32.8  2179301376 true 32.9   20.6   1385480192
pthread-wmm/rfi001_power.oepc_false-unreach-call.i false(unreach-call) 90.3  56.7  3642941440 true 43.0   28.3   1742180352
pthread-wmm/rfi001_power.opt_false-unreach-call.i false(unreach-call) 44.6  25.5  2111246336 true 32.5   17.7   1215995904
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i false(unreach-call) 57.5  35.3  2273452032 true 44.2   29.3   1692626944
pthread-wmm/rfi001_pso.opt_false-unreach-call.i false(unreach-call) 104    71.0  4693757952 true 26.9   15.6   1022676992
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i false(unreach-call) 95.1  60.1  4041338880 true 46.4   31.4   1810006016
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i false(unreach-call) 102    70.0  4734730240 true 27.7   15.8   1246101504
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i false(unreach-call) 49.1  28.2  2173108224 true 26.7   15.6   1074925568
pthread-wmm/rfi001_tso.opt_false-unreach-call.i false(unreach-call) 113    76.9  5566046208 true 27.7   16.6   1220259840
pthread-wmm/rfi003_power.oepc_false-unreach-call.i false(unreach-call) 79.2  48.9  3631341568 true 41.8   26.6   1869758464
pthread-wmm/rfi003_power.opt_false-unreach-call.i false(unreach-call) 69.1  42.6  3580436480 true 68.9   53.4   1833811968
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i false(unreach-call) 79.1  48.8  2749001728 true 39.8   26.5   1755623424
pthread-wmm/rfi003_pso.opt_false-unreach-call.i false(unreach-call) 69.1  41.9  3485466624 true 39.7   25.6   1687445504
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i false(unreach-call) 69.3  43.3  3443978240 true 43.5   27.2   1701228544
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i false(unreach-call) 73.9  45.6  3746263040 true 43.9   28.0   1639071744
pthread-wmm/rfi004_power.oepc_false-unreach-call.i false(unreach-call) 74.0  46.2  3400982528 true 28.8   17.6   1314529280
pthread-wmm/rfi004_power.opt_false-unreach-call.i false(unreach-call) 63.9  40.4  3024908288 true 29.6   17.6   1304649728
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i false(unreach-call) 56.1  34.5  1882902528 true 28.6   17.5   1302982656
pthread-wmm/rfi004_pso.opt_false-unreach-call.i false(unreach-call) 51.7  32.0  2046455808 true 29.7   18.9   1289084928
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i false(unreach-call) 54.4  33.6  2037497856 true 29.7   18.0   1334996992
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i false(unreach-call) 44.4  26.5  1313361920 true 32.5   18.9   1300127744
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i false(unreach-call) 56.5  36.2  3109863424 true 34.4   20.7   1527746560
pthread-wmm/rfi004_tso.opt_false-unreach-call.i false(unreach-call) 62.4  39.2  3804495872 true 31.2   18.6   1305878528
pthread-wmm/rfi005_power.oepc_false-unreach-call.i error (7) 170    132    5141827584 error (invalid witness file) .584 .365 40574976
pthread-wmm/rfi005_power.opt_false-unreach-call.i error (7) 160    123    5432803328 error (invalid witness file) .588 .376 40042496
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i error (7) 165    126    5023178752 error (invalid witness file) .611 .387 39833600
pthread-wmm/rfi005_pso.opt_false-unreach-call.i error (7) 164    126    5357060096 error (invalid witness file) .558 .353 39383040
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i error (7) 153    119    4856205312 error (invalid witness file) .554 .356 40525824
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i error (7) 156    119    4682735616 error (invalid witness file) .574 .349 39755776
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i error (7) 153    118    4817518592 error (invalid witness file) .573 .351 40669184
pthread-wmm/rfi005_tso.opt_false-unreach-call.i error (7) 178    137    5044379648 error (invalid witness file) .567 .340 39706624
pthread-wmm/rfi006_power.oepc_false-unreach-call.i timeout 961    914    7291281408 error (invalid witness file) .567 .345 40009728
pthread-wmm/rfi006_power.opt_false-unreach-call.i timeout 961    914    7014547456 error (invalid witness file) .564 .351 40132608
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i timeout 961    915    6977867776 error (invalid witness file) .555 .340 39567360
pthread-wmm/rfi006_pso.opt_false-unreach-call.i timeout 961    917    7036276736 error (invalid witness file) .581 .361 40280064
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i timeout 961    914    7144366080 error (invalid witness file) .593 .389 40349696
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i timeout 961    917    6976688128 error (invalid witness file) .583 .352 40673280
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i timeout 961    916    6979993600 error (invalid witness file) .597 .374 40665088
pthread-wmm/rfi006_tso.opt_false-unreach-call.i timeout 961    915    7063367680 error (invalid witness file) .582 .354 40132608
pthread-wmm/rfi007_power.oepc_false-unreach-call.i false(unreach-call) 63.4  39.8  2126774272 true 53.6   37.4   2054914048
pthread-wmm/rfi007_power.opt_false-unreach-call.i false(unreach-call) 69.9  43.2  2103496704 true 50.5   34.7   1818554368
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i false(unreach-call) 67.7  41.2  2161123328 true 53.6   36.6   1850560512
pthread-wmm/rfi007_pso.opt_false-unreach-call.i false(unreach-call) 70.9  43.9  2273046528 true 52.2   35.7   1804435456
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i false(unreach-call) 59.9  37.1  2366119936 true 50.5   34.5   1975328768
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i false(unreach-call) 55.1  34.4  2356994048 true 49.0   34.4   1983029248
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i false(unreach-call) 85.9  56.5  4877541376 true 57.1   41.4   1953939456
pthread-wmm/rfi007_tso.opt_false-unreach-call.i false(unreach-call) 90.6  56.4  4080820224 true 55.9   40.7   2034294784
pthread-wmm/rfi008_power.oepc_false-unreach-call.i false(unreach-call) 238    161    8222228480 true 144     125     3679604736
pthread-wmm/rfi008_power.opt_false-unreach-call.i false(unreach-call) 133    88.6  6860881920 true 59.3   44.4   2152546304
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i false(unreach-call) 102    72.2  4960354304 true 130     110     3635965952
pthread-wmm/rfi008_pso.opt_false-unreach-call.i false(unreach-call) 149    97.4  7284748288 true 61.2   45.5   2322726912
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i false(unreach-call) 103    71.4  4962684928 true 121     103     3823951872
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i false(unreach-call) 142    94.5  6818058240 true 62.0   45.0   2063970304
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i false(unreach-call) 242    162    8883830784 true 132     111     3803295744
pthread-wmm/rfi008_tso.opt_false-unreach-call.i false(unreach-call) 160    106    6468509696 true 71.9   56.2   2403835904
pthread-wmm/rfi009_power.oepc_false-unreach-call.i timeout 961    911    6987710464 error (invalid witness file) .587 .367 39833600
pthread-wmm/rfi009_power.opt_false-unreach-call.i timeout 961    914    6881906688 error (invalid witness file) .571 .345 40046592
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i timeout 961    916    7061803008 error (invalid witness file) .576 .355 40030208
pthread-wmm/rfi009_pso.opt_false-unreach-call.i timeout 961    913    7073705984 error (invalid witness file) .589 .358 41586688
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i timeout 961    914    7029362688 error (invalid witness file) .562 .361 40128512
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i timeout 961    913    6934462464 error (invalid witness file) .570 .356 40677376
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i timeout 961    914    7044505600 error (invalid witness file) .596 .379 40697856
pthread-wmm/rfi009_tso.opt_false-unreach-call.i timeout 961    917    7035400192 error (invalid witness file) .581 .354 40677376
pthread-wmm/rfi010_power.oepc_false-unreach-call.i false(unreach-call) 160    106    6914842624 true 60.5   45.3   2068336640
pthread-wmm/rfi010_power.opt_false-unreach-call.i false(unreach-call) 174    118    7383547904 true 59.2   43.7   2079977472
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i false(unreach-call) 170    111    6988996608 true 59.4   44.2   2187706368
pthread-wmm/rfi010_pso.opt_false-unreach-call.i false(unreach-call) 150    101    7024033792 true 63.5   46.5   2332626944
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i false(unreach-call) 146    96.4  6403973120 true 64.4   46.5   2140676096
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i false(unreach-call) 144    94.5  6393667584 true 56.4   40.5   2113568768
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i false(unreach-call) 149    99.0  7041339392 true 56.7   41.7   2098147328
pthread-wmm/rfi010_tso.opt_false-unreach-call.i false(unreach-call) 201    133    7877496832 true 61.7   46.7   2298089472
pthread-wmm/safe000_power.oepc_false-unreach-call.i timeout 961    911    7303462912 error (invalid witness file) .596 .370 40484864
pthread-wmm/safe000_power.opt_false-unreach-call.i timeout 961    912    7143718912 error (invalid witness file) .569 .348 40054784
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i timeout 961    912    7421366272 error (invalid witness file) .560 .352 40062976
pthread-wmm/safe000_rmo.opt_false-unreach-call.i timeout 961    915    7146196992 error (invalid witness file) .600 .371 40890368
pthread-wmm/safe001_power.oepc_false-unreach-call.i timeout 961    913    7365033984 error (invalid witness file) .605 .385 40476672
pthread-wmm/safe001_power.opt_false-unreach-call.i timeout 962    638    13301997568 error (invalid witness file) .602 .369 40996864
pthread-wmm/safe001_pso.oepc_false-unreach-call.i timeout 962    623    13258125312 error (invalid witness file) .582 .357 42332160
pthread-wmm/safe001_pso.opt_false-unreach-call.i timeout 962    624    13119954944 error (invalid witness file) .566 .359 41078784
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i timeout 961    907    7178051584 error (invalid witness file) .594 .361 41189376
pthread-wmm/safe001_rmo.opt_false-unreach-call.i timeout 962    637    13529628672 error (invalid witness file) .576 .371 39829504
pthread-wmm/safe002_power.oepc_false-unreach-call.i timeout 961    914    7332900864 error (invalid witness file) .582 .350 40194048
pthread-wmm/safe002_power.opt_false-unreach-call.i timeout 962    696    13523329024 error (invalid witness file) .573 .363 40620032
pthread-wmm/safe002_pso.oepc_false-unreach-call.i timeout 960    672    13346820096 error (invalid witness file) .589 .361 41078784
pthread-wmm/safe002_pso.opt_false-unreach-call.i timeout 962    688    12826537984 error (invalid witness file) .589 .363 40521728
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i timeout 961    916    7234867200 error (invalid witness file) .562 .344 39665664
pthread-wmm/safe002_rmo.opt_false-unreach-call.i timeout 962    685    13005783040 error (invalid witness file) .557 .349 40796160
pthread-wmm/safe003_power.oepc_false-unreach-call.i timeout 961    913    7296094208 error (invalid witness file) .586 .356 40660992
pthread-wmm/safe003_power.opt_false-unreach-call.i timeout 961    914    7286689792 error (invalid witness file) .572 .351 42012672
pthread-wmm/safe003_pso.oepc_false-unreach-call.i timeout 961    905    7311708160 error (invalid witness file) .593 .367 40108032
pthread-wmm/safe003_pso.opt_false-unreach-call.i timeout 961    910    7334678528 error (invalid witness file) .605 .377 40275968
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i timeout 961    913    7317938176 error (invalid witness file) .600 .377 39342080
pthread-wmm/safe003_rmo.opt_false-unreach-call.i timeout 961    913    7393415168 error (invalid witness file) .563 .341 40206336
pthread-wmm/safe004_power.oepc_false-unreach-call.i timeout 961    913    7033864192 error (invalid witness file) .563 .356 40247296
pthread-wmm/safe004_power.opt_false-unreach-call.i timeout 962    645    13524922368 error (invalid witness file) .556 .343 40321024
pthread-wmm/safe004_pso.oepc_false-unreach-call.i timeout 961    916    7209357312 error (invalid witness file) .573 .344 39776256
pthread-wmm/safe004_pso.opt_false-unreach-call.i timeout 962    628    13175500800 error (invalid witness file) .588 .353 41562112
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i timeout 961    914    7137710080 error (invalid witness file) .588 .359 40312832
pthread-wmm/safe004_rmo.opt_false-unreach-call.i timeout 962    620    13472514048 error (invalid witness file) .577 .351 40017920
pthread-wmm/safe005_power.oepc_false-unreach-call.i timeout 961    688    13372620800 error (invalid witness file) .563 .349 40660992
pthread-wmm/safe005_power.opt_false-unreach-call.i timeout 962    696    12413779968 error (invalid witness file) .569 .341 40239104
pthread-wmm/safe005_pso.oepc_false-unreach-call.i timeout 961    677    12805246976 error (invalid witness file) .590 .357 41017344
pthread-wmm/safe005_pso.opt_false-unreach-call.i timeout 962    686    13024583680 error (invalid witness file) .589 .360 41107456
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i timeout 961    674    13499543552 error (invalid witness file) .678 .411 39469056
pthread-wmm/safe005_rmo.opt_false-unreach-call.i timeout 961    678    12481605632 error (invalid witness file) .581 .379 40136704
pthread-wmm/safe006_power.oepc_false-unreach-call.i false(unreach-call) 58.4  34.3  3196862464 true 40.5   26.2   1386373120
pthread-wmm/safe006_power.opt_false-unreach-call.i false(unreach-call) 87.2  55.7  3881463808 true 191     173     3322155008
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i false(unreach-call) 36.3  20.5  1264852992 true 36.0   24.5   1237037056
pthread-wmm/safe006_rmo.opt_false-unreach-call.i false(unreach-call) 36.6  20.3  1234980864 true 35.6   23.9   1395396608
pthread-wmm/safe007_power.oepc_false-unreach-call.i false(unreach-call) 178    122    8387674112 true 154     120     4499030016
pthread-wmm/safe007_power.opt_false-unreach-call.i false(unreach-call) 354    262    9679474688 timeout 907     844     4847878144
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i false(unreach-call) 86.6  56.3  5177561088 true 175     136     4770340864
pthread-wmm/safe007_rmo.opt_false-unreach-call.i false(unreach-call) 104    69.1  5722427392 true 185     145     4815511552
pthread-wmm/safe008_power.oepc_false-unreach-call.i timeout 962    629    13509935104 error (invalid witness file) .557 .335 40550400
pthread-wmm/safe008_power.opt_false-unreach-call.i timeout 961    913    7291437056 error (invalid witness file) .568 .359 40067072
pthread-wmm/safe008_pso.oepc_false-unreach-call.i timeout 962    634    13504798720 error (invalid witness file) .571 .345 40914944
pthread-wmm/safe008_pso.opt_false-unreach-call.i timeout 961    647    13535219712 error (invalid witness file) .595 .371 40677376
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i timeout 962    622    13239365632 error (invalid witness file) .594 .374 40394752
pthread-wmm/safe008_rmo.opt_false-unreach-call.i timeout 962    654    13132881920 error (invalid witness file) .566 .357 40206336
pthread-wmm/safe009_power.oepc_false-unreach-call.i timeout 961    914    7234994176 error (invalid witness file) .574 .359 40628224
pthread-wmm/safe009_power.opt_false-unreach-call.i timeout 961    917    6998228992 error (invalid witness file) .586 .367 40529920
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i timeout 961    916    7230087168 error (invalid witness file) .590 .364 41701376
pthread-wmm/safe009_rmo.opt_false-unreach-call.i timeout 960    716    12855853056 error (invalid witness file) .594 .365 41078784
pthread-wmm/safe010_power.oepc_false-unreach-call.i false(unreach-call) 40.3  23.5  1697398784 true 25.2   14.6   974200832
pthread-wmm/safe010_power.opt_false-unreach-call.i false(unreach-call) 47.8  26.4  1660289024 true 28.8   16.7   1194598400
pthread-wmm/safe010_pso.oepc_false-unreach-call.i false(unreach-call) 38.8  22.9  1627586560 true 27.1   15.8   1213853696
pthread-wmm/safe010_pso.opt_false-unreach-call.i false(unreach-call) 41.0  23.4  1482686464 true 25.8   15.1   991694848
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i false(unreach-call) 59.8  32.7  1733668864 true 26.0   15.5   1083195392
pthread-wmm/safe010_rmo.opt_false-unreach-call.i false(unreach-call) 43.5  25.5  1847296000 true 25.6   14.8   998850560
pthread-wmm/safe011_power.oepc_false-unreach-call.i timeout 962    634    13532786688 error (invalid witness file) .557 .352 39952384
pthread-wmm/safe011_power.opt_false-unreach-call.i timeout 962    609    13156847616 error (invalid witness file) .592 .372 39890944
pthread-wmm/safe011_pso.oepc_false-unreach-call.i timeout 962    644    13506613248 error (invalid witness file) .574 .356 40431616
pthread-wmm/safe011_pso.opt_false-unreach-call.i timeout 962    632    13170249728 error (invalid witness file) .567 .350 40316928
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i timeout 962    643    13166526464 error (invalid witness file) .615 .389 42508288
pthread-wmm/safe011_rmo.opt_false-unreach-call.i timeout 961    647    13532135424 error (invalid witness file) .557 .335 39264256
pthread-wmm/safe012_power.oepc_false-unreach-call.i false(unreach-call) 148    107    7336706048 true 204     170     4274589696
pthread-wmm/safe012_power.opt_false-unreach-call.i false(unreach-call) 308    231    9459474432 timeout 909     850     4944908288
pthread-wmm/safe012_pso.oepc_false-unreach-call.i timeout 962    690    12717023232 error (invalid witness file) .616 .374 40636416
pthread-wmm/safe012_pso.opt_false-unreach-call.i timeout 961    682    12798070784 error (invalid witness file) .573 .358 42426368
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i false(unreach-call) 94.8  65.0  5266849792 true 180     139     4748402688
pthread-wmm/safe012_rmo.opt_false-unreach-call.i timeout 961    669    13428613120 error (invalid witness file) .567 .347 40640512
pthread-wmm/safe013_power.oepc_false-unreach-call.i timeout 962    701    12587089920 error (invalid witness file) .579 .349 40628224
pthread-wmm/safe013_power.opt_false-unreach-call.i timeout 962    658    13524267008 error (invalid witness file) .564 .348 39923712
pthread-wmm/safe013_pso.oepc_false-unreach-call.i timeout 962    698    12589531136 error (invalid witness file) .573 .353 40357888
pthread-wmm/safe013_pso.opt_false-unreach-call.i timeout 960    676    12841959424 error (invalid witness file) .591 .371 39755776
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i timeout 962    664    13527056384 error (invalid witness file) .572 .357 41943040
pthread-wmm/safe013_rmo.opt_false-unreach-call.i timeout 962    678    13129682944 error (invalid witness file) .594 .361 40591360
pthread-wmm/safe014_power.oepc_false-unreach-call.i false(unreach-call) 159    117    7368400896 true 183     147     4672483328
pthread-wmm/safe014_power.opt_false-unreach-call.i false(unreach-call) 294    203    9796575232 true 510     461     4458369024
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i false(unreach-call) 105    72.9  5661290496 true 162     130     4483604480
pthread-wmm/safe014_rmo.opt_false-unreach-call.i timeout 961    910    7154081792 error (invalid witness file) .598 .375 41488384
pthread-wmm/safe015_power.oepc_false-unreach-call.i timeout 961    910    7373242368 error (invalid witness file) .585 .363 40235008
pthread-wmm/safe015_power.opt_false-unreach-call.i timeout 961    904    7551070208 error (invalid witness file) .584 .355 41136128
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i timeout 961    914    7057698816 error (invalid witness file) .613 .382 42807296
pthread-wmm/safe015_rmo.opt_false-unreach-call.i timeout 961    914    7199248384 error (invalid witness file) .601 .385 41938944
pthread-wmm/safe016_power.oepc_false-unreach-call.i timeout 961    912    7503659008 error (invalid witness file) .560 .341 40386560
pthread-wmm/safe016_power.opt_false-unreach-call.i timeout 961    914    7301775360 error (invalid witness file) .581 .357 40771584
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i timeout 961    916    7282343936 error (invalid witness file) .618 .391 43204608
pthread-wmm/safe016_rmo.opt_false-unreach-call.i timeout 961    910    7441670144 error (invalid witness file) .597 .368 41889792
pthread-wmm/safe017_power.oepc_false-unreach-call.i timeout 962    626    13512916992 error (invalid witness file) .643 .394 40001536
pthread-wmm/safe017_power.opt_false-unreach-call.i timeout 962    640    13524774912 error (invalid witness file) .562 .338 40742912
pthread-wmm/safe017_pso.oepc_false-unreach-call.i timeout 962    629    13511655424 error (invalid witness file) .576 .362 40435712
pthread-wmm/safe017_pso.opt_false-unreach-call.i timeout 962    626    13501607936 error (invalid witness file) .559 .346 39919616
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i timeout 962    636    13522735104 error (invalid witness file) .606 .368 40865792
pthread-wmm/safe017_rmo.opt_false-unreach-call.i timeout 962    626    13520457728 error (invalid witness file) .551 .355 39460864
pthread-wmm/safe018_power.oepc_false-unreach-call.i false(unreach-call) 162    111    8444342272 false(unreach-call) 7.33  3.89  311644160
pthread-wmm/safe018_power.opt_false-unreach-call.i timeout 961    919    6945386496 error (invalid witness file) .570 .357 40321024
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i false(unreach-call) 103    68.1  6013988864 true 135     104     4328841216
pthread-wmm/safe018_rmo.opt_false-unreach-call.i timeout 961    917    7150665728 error (invalid witness file) .598 .375 41496576
pthread-wmm/safe019_power.oepc_false-unreach-call.i timeout 961    911    7430316032 error (invalid witness file) .603 .359 41762816
pthread-wmm/safe019_power.opt_false-unreach-call.i timeout 961    911    7358906368 error (invalid witness file) .585 .354 40816640
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i timeout 961    912    7479521280 error (invalid witness file) .563 .342 39886848
pthread-wmm/safe019_rmo.opt_false-unreach-call.i timeout 961    915    7257833472 error (invalid witness file) .584 .350 42311680
pthread-wmm/safe020_power.oepc_false-unreach-call.i timeout 961    913    7240232960 error (invalid witness file) .580 .359 40103936
pthread-wmm/safe020_power.opt_false-unreach-call.i timeout 961    912    7223300096 error (invalid witness file) .571 .347 39829504
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i timeout 961    910    7100706816 error (invalid witness file) .574 .350 40071168
pthread-wmm/safe020_rmo.opt_false-unreach-call.i timeout 961    913    7047389184 error (invalid witness file) .590 .372 40382464
pthread-wmm/safe021_power.oepc_false-unreach-call.i timeout 962    742    12819574784 error (invalid witness file) .607 .398 40296448
pthread-wmm/safe021_power.opt_false-unreach-call.i timeout 962    643    13497319424 error (invalid witness file) .597 .359 40960000
pthread-wmm/safe021_pso.oepc_false-unreach-call.i timeout 962    733    12817096704 error (invalid witness file) .569 .351 40374272
pthread-wmm/safe021_pso.opt_false-unreach-call.i timeout 962    630    13522165760 error (invalid witness file) .569 .343 39546880
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i timeout 962    737    12800548864 error (invalid witness file) .570 .343 39874560
pthread-wmm/safe021_rmo.opt_false-unreach-call.i timeout 961    745    12803485696 error (invalid witness file) .592 .364 41218048
pthread-wmm/safe022_power.oepc_false-unreach-call.i false(unreach-call) 63.1  37.2  1717551104 true 41.1   27.2   1626464256
pthread-wmm/safe022_power.opt_false-unreach-call.i false(unreach-call) 53.1  32.4  1711509504 true 44.5   28.5   1569202176
pthread-wmm/safe022_pso.oepc_false-unreach-call.i false(unreach-call) 61.4  37.1  1858535424 true 40.4   26.4   1649459200
pthread-wmm/safe022_pso.opt_false-unreach-call.i false(unreach-call) 52.6  32.3  2150871040 true 44.7   28.7   1518260224
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i false(unreach-call) 52.5  32.0  1788567552 true 42.5   27.1   1589133312
pthread-wmm/safe022_rmo.opt_false-unreach-call.i false(unreach-call) 60.0  36.9  2142203904 true 41.2   26.8   1650167808
pthread-wmm/safe023_power.oepc_false-unreach-call.i timeout 961    913    7481188352 error (invalid witness file) .607 .373 41349120
pthread-wmm/safe023_power.opt_false-unreach-call.i timeout 961    912    7176065024 error (invalid witness file) .592 .366 40534016
pthread-wmm/safe023_pso.oepc_false-unreach-call.i timeout 961    910    7324729344 error (invalid witness file) .588 .380 39673856
pthread-wmm/safe023_pso.opt_false-unreach-call.i timeout 961    913    7342612480 error (invalid witness file) .614 .377 41877504
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i timeout 961    909    7351185408 error (invalid witness file) .574 .367 40169472
pthread-wmm/safe023_rmo.opt_false-unreach-call.i timeout 961    910    7439106048 error (invalid witness file) .583 .348 41099264
pthread-wmm/safe024_power.oepc_false-unreach-call.i timeout 961    672    13011451904 error (invalid witness file) .585 .365 41082880
pthread-wmm/safe024_power.opt_false-unreach-call.i timeout 962    684    13098999808 error (invalid witness file) .583 .361 42287104
pthread-wmm/safe024_pso.oepc_false-unreach-call.i timeout 962    665    13368692736 error (invalid witness file) .586 .352 41332736
pthread-wmm/safe024_pso.opt_false-unreach-call.i timeout 961    664    12764774400 error (invalid witness file) .581 .362 40034304
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i timeout 962    685    12775100416 error (invalid witness file) .583 .359 40960000
pthread-wmm/safe024_rmo.opt_false-unreach-call.i timeout 962    665    13300862976 error (invalid witness file) .574 .349 41123840
pthread-wmm/safe025_power.oepc_false-unreach-call.i timeout 961    909    7317794816 error (invalid witness file) .579 .363 40382464
pthread-wmm/safe025_power.opt_false-unreach-call.i timeout 961    913    7316525056 error (invalid witness file) .581 .347 39907328
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i timeout 961    912    7162290176 error (invalid witness file) .571 .347 40570880
pthread-wmm/safe025_rmo.opt_false-unreach-call.i timeout 961    918    7152156672 error (invalid witness file) .579 .348 41046016
pthread-wmm/safe026_power.oepc_false-unreach-call.i timeout 962    749    12922982400 error (invalid witness file) .575 .351 40624128
pthread-wmm/safe026_power.opt_false-unreach-call.i timeout 962    752    12790149120 error (invalid witness file) .580 .345 40685568
pthread-wmm/safe026_pso.oepc_false-unreach-call.i timeout 962    762    12919902208 error (invalid witness file) .574 .342 41308160
pthread-wmm/safe026_pso.opt_false-unreach-call.i timeout 962    756    12690587648 error (invalid witness file) .613 .389 41811968
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i timeout 962    761    12706226176 error (invalid witness file) .563 .342 41857024
pthread-wmm/safe026_rmo.opt_false-unreach-call.i timeout 962    766    13407449088 error (invalid witness file) .570 .352 39907328
pthread-wmm/safe027_power.oepc_false-unreach-call.i timeout 961    908    7525117952 error (invalid witness file) .563 .364 40239104
pthread-wmm/safe027_power.opt_false-unreach-call.i timeout 961    910    7387934720 error (invalid witness file) .589 .355 40173568
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i timeout 961    911    7104401408 error (invalid witness file) .579 .359 40366080
pthread-wmm/safe027_rmo.opt_false-unreach-call.i timeout 961    914    7311327232 error (invalid witness file) .588 .354 41656320
pthread-wmm/safe028_power.oepc_false-unreach-call.i timeout 961    918    7051640832 error (invalid witness file) .580 .360 40890368
pthread-wmm/safe028_power.opt_false-unreach-call.i timeout 961    918    7047487488 error (invalid witness file) .572 .350 40493056
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i timeout 961    908    7041257472 error (invalid witness file) .629 .399 39493632
pthread-wmm/safe028_rmo.opt_false-unreach-call.i timeout 961    915    7078305792 error (invalid witness file) .605 .380 41295872
pthread-wmm/safe029_power.oepc_false-unreach-call.i false(unreach-call) 59.3  35.6  2385522688 true 29.9   18.0   1209139200
pthread-wmm/safe029_power.opt_false-unreach-call.i false(unreach-call) 60.7  35.5  1931493376 true 28.8   16.2   1014063104
pthread-wmm/safe029_pso.oepc_false-unreach-call.i false(unreach-call) 70.5  41.9  2342608896 true 29.4   17.9   1290375168
pthread-wmm/safe029_pso.opt_false-unreach-call.i false(unreach-call) 53.4  31.1  2138988544 true 26.6   14.9   980246528
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i false(unreach-call) 59.2  35.7  2371604480 true 31.1   19.1   1342197760
pthread-wmm/safe029_rmo.opt_false-unreach-call.i false(unreach-call) 51.6  30.7  2300657664 true 28.7   16.1   1011232768
pthread-wmm/safe030_power.oepc_false-unreach-call.i timeout 961    622    13481730048 error (invalid witness file) .635 .387 41037824
pthread-wmm/safe030_power.opt_false-unreach-call.i false(unreach-call) 242    158    8574193664 true 120     88.7   4403990528
pthread-wmm/safe030_pso.oepc_false-unreach-call.i timeout 962    629    13501669376 error (invalid witness file) .572 .369 39919616
pthread-wmm/safe030_pso.opt_false-unreach-call.i false(unreach-call) 264    172    9013760000 true 125     93.7   4459520000
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i timeout 962    637    13517266944 error (invalid witness file) .561 .351 39456768
pthread-wmm/safe030_rmo.opt_false-unreach-call.i false(unreach-call) 351    230    9026998272 true 132     98.7   4459917312
pthread-wmm/safe031_power.oepc_false-unreach-call.i timeout 962    679    13402841088 error (invalid witness file) .565 .345 40701952
pthread-wmm/safe031_power.opt_false-unreach-call.i false(unreach-call) 163    108    7626784768 true 124     92.8   4581703680
pthread-wmm/safe031_pso.oepc_false-unreach-call.i timeout 962    680    13511573504 error (invalid witness file) .608 .368 39526400
pthread-wmm/safe031_pso.opt_false-unreach-call.i false(unreach-call) 172    111    7933698048 true 125     93.6   4535468032
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i timeout 962    680    13095641088 error (invalid witness file) .596 .370 41758720
pthread-wmm/safe031_rmo.opt_false-unreach-call.i false(unreach-call) 178    115    7494135808 true 131     95.5   4656357376
pthread-wmm/safe032_power.oepc_false-unreach-call.i timeout 961    913    7198887936 error (invalid witness file) .606 .371 40517632
pthread-wmm/safe032_power.opt_false-unreach-call.i timeout 961    913    7116374016 error (invalid witness file) .581 .368 40099840
pthread-wmm/safe032_pso.oepc_false-unreach-call.i timeout 961    910    7137976320 error (invalid witness file) .536 .335 39821312
pthread-wmm/safe032_pso.opt_false-unreach-call.i timeout 961    911    7296618496 error (invalid witness file) .572 .348 40013824
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i timeout 961    911    7319785472 error (invalid witness file) .598 .385 40390656
pthread-wmm/safe032_rmo.opt_false-unreach-call.i timeout 961    917    7122075648 error (invalid witness file) .584 .368 42143744
pthread-wmm/safe033_power.oepc_false-unreach-call.i false(unreach-call) 34.3  19.3  1227747328 true 30.1   16.5   1066242048
pthread-wmm/safe033_power.opt_false-unreach-call.i false(unreach-call) 37.7  22.6  1546551296 true 25.9   14.9   1090740224
pthread-wmm/safe033_pso.oepc_false-unreach-call.i false(unreach-call) 33.1  18.7  1229991936 true 27.3   15.1   1043623936
pthread-wmm/safe033_pso.opt_false-unreach-call.i false(unreach-call) 44.9  26.1  1677660160 true 25.6   14.5   1073872896
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i false(unreach-call) 35.6  20.6  1250918400 true 26.7   15.3   1333526528
pthread-wmm/safe033_rmo.opt_false-unreach-call.i false(unreach-call) 39.8  23.8  1499602944 true 28.7   16.3   1296375808
pthread-wmm/safe034_power.oepc_false-unreach-call.i false(unreach-call) 297    195    10299142144 true 197     149     4838768640
pthread-wmm/safe034_power.opt_false-unreach-call.i false(unreach-call) 292    188    10199396352 true 185     141     4910317568
pthread-wmm/safe034_pso.oepc_false-unreach-call.i false(unreach-call) 300    198    10135502848 true 182     137     4831776768
pthread-wmm/safe034_pso.opt_false-unreach-call.i false(unreach-call) 300    196    10196443136 true 199     152     4866965504
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i false(unreach-call) 266    176    9694662656 true 193     147     4775538688
pthread-wmm/safe034_rmo.opt_false-unreach-call.i false(unreach-call) 307    201    10332594176 true 192     143     4785795072
pthread-wmm/thin000_power.oepc_false-unreach-call.i false(unreach-call) 57.8  34.9  3602579456 true 36.8   23.3   1413660672
pthread-wmm/thin000_power.opt_false-unreach-call.i false(unreach-call) 111    75.2  5457018880 true 179     162     3292487680
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i false(unreach-call) 39.0  21.4  1244958720 true 40.1   25.0   1387106304
pthread-wmm/thin000_rmo.opt_false-unreach-call.i false(unreach-call) 37.0  21.0  1404923904 true 34.9   23.3   1284407296
pthread-wmm/thin001_power.oepc_false-unreach-call.i false(unreach-call) 154    112    7221739520 true 745     710     4326264832
pthread-wmm/thin001_power.opt_false-unreach-call.i false(unreach-call) 289    225    8560799744 timeout 910     839     5561565184
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i false(unreach-call) 101    67.6  5572435968 true 187     150     4710178816
pthread-wmm/thin001_rmo.opt_false-unreach-call.i false(unreach-call) 107    69.7  5965176832 true 180     140     4738007040
pthread-wmm/thin002_power.oepc_false-unreach-call.i timeout 961    911    7183486976 error (invalid witness file) .580 .358 41340928
pthread-wmm/thin002_power.opt_false-unreach-call.i timeout 961    916    7118577664 error (invalid witness file) .591 .370 40853504
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i timeout 961    781    13247000576 error (invalid witness file) .560 .339 40087552
pthread-wmm/thin002_rmo.opt_false-unreach-call.i timeout 962    765    13116862464 error (invalid witness file) .575 .369 40525824
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i false(unreach-call) 167    115    6816002048 true 343     319     3749126144
pthread-wmm/rfi000_tso.opt_true-unreach-call.i false(unreach-call) 158    109    6744449024 true 324     299     3894599680
pthread-wmm/rfi002_power.oepc_true-unreach-call.i timeout 960    664    13547966464 error (invalid witness file) .586 .378 40677376
pthread-wmm/rfi002_power.opt_true-unreach-call.i timeout 962    671    13495590912 error (invalid witness file) .597 .378 40869888
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i timeout 962    693    13047500800 error (invalid witness file) .551 .339 40054784
pthread-wmm/rfi002_pso.opt_true-unreach-call.i timeout 962    668    13529112576 error (invalid witness file) .598 .383 40509440
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i timeout 962    658    13530812416 error (invalid witness file) .581 .361 40632320
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i timeout 962    666    13542395904 error (invalid witness file) .609 .381 41316352
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i timeout 962    741    13509812224 error (invalid witness file) .564 .341 40202240
pthread-wmm/rfi002_tso.opt_true-unreach-call.i timeout 962    702    13108535296 error (invalid witness file) .581 .377 39923712
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i timeout 962    616    13527228416 error (invalid witness file) .595 .368 40374272
pthread-wmm/rfi003_tso.opt_true-unreach-call.i timeout 962    605    13524357120 error (invalid witness file) .579 .369 41549824
pthread-wmm/safe000_pso.oepc_true-unreach-call.i true 13.3  7.84 470110208 error 4.20  2.28  253067264
pthread-wmm/safe000_pso.opt_true-unreach-call.i true 15.1  8.78 471740416 error 4.43  2.38  267214848
pthread-wmm/safe000_tso.oepc_true-unreach-call.i true 17.4  9.70 462815232 error 4.16  2.26  254783488
pthread-wmm/safe000_tso.opt_true-unreach-call.i true 20.2  11.1  481636352 error 4.14  2.28  250208256
pthread-wmm/safe001_tso.oepc_true-unreach-call.i true 15.6  8.92 474927104 error 4.03  2.22  249278464
pthread-wmm/safe001_tso.opt_true-unreach-call.i true 14.5  8.50 471150592 error 4.24  2.33  254709760
pthread-wmm/safe002_tso.oepc_true-unreach-call.i true 14.5  8.44 475742208 error 4.37  2.37  255168512
pthread-wmm/safe002_tso.opt_true-unreach-call.i true 14.6  8.63 468574208 error 4.13  2.24  252694528
pthread-wmm/safe003_tso.oepc_true-unreach-call.i true 15.1  8.39 476512256 error 4.05  2.24  254177280
pthread-wmm/safe003_tso.opt_true-unreach-call.i true 16.2  9.18 470192128 error 4.22  2.31  254365696
pthread-wmm/safe004_tso.oepc_true-unreach-call.i true 15.2  8.87 490184704 error 4.08  2.23  252280832
pthread-wmm/safe004_tso.opt_true-unreach-call.i true 14.7  8.22 470167552 error 4.26  2.33  252239872
pthread-wmm/safe005_tso.oepc_true-unreach-call.i true 15.0  8.74 524795904 error 4.16  2.26  254808064
pthread-wmm/safe005_tso.opt_true-unreach-call.i true 15.7  9.00 454529024 error 4.22  2.32  252882944
pthread-wmm/safe006_pso.oepc_true-unreach-call.i true 10.8  6.10 357023744 error 4.00  2.22  252149760
pthread-wmm/safe006_pso.opt_true-unreach-call.i true 10.8  6.55 367173632 error 4.05  2.24  255340544
pthread-wmm/safe006_tso.oepc_true-unreach-call.i true 12.1  6.85 370761728 error 4.09  2.26  249978880
pthread-wmm/safe006_tso.opt_true-unreach-call.i true 12.6  7.43 359800832 error 3.86  2.14  253083648
pthread-wmm/safe007_pso.oepc_true-unreach-call.i true 15.1  8.35 480079872 error 4.17  2.27  251101184
pthread-wmm/safe007_pso.opt_true-unreach-call.i true 15.4  9.08 464781312 error 4.08  2.25  249876480
pthread-wmm/safe007_tso.oepc_true-unreach-call.i true 13.7  8.16 465379328 error 4.05  2.24  253923328
pthread-wmm/safe007_tso.opt_true-unreach-call.i true 14.1  8.34 467787776 error 3.99  2.19  252354560
pthread-wmm/safe008_tso.oepc_true-unreach-call.i true 14.2  7.91 468107264 error 4.26  2.33  251781120
pthread-wmm/safe008_tso.opt_true-unreach-call.i true 15.9  9.03 457756672 error 3.88  2.14  253132800
pthread-wmm/safe009_pso.oepc_true-unreach-call.i true 14.6  8.58 467206144 error 4.00  2.21  255905792
pthread-wmm/safe009_pso.opt_true-unreach-call.i true 13.9  8.28 469839872 error 4.07  2.22  251478016
pthread-wmm/safe009_tso.oepc_true-unreach-call.i true 15.4  8.97 511963136 error 4.16  2.27  254480384
pthread-wmm/safe009_tso.opt_true-unreach-call.i true 14.0  8.08 467607552 error 4.05  2.22  253771776
pthread-wmm/safe010_tso.oepc_true-unreach-call.i true 10.9  6.57 376360960 error 4.06  2.22  252194816
pthread-wmm/safe010_tso.opt_true-unreach-call.i true 11.5  6.58 387002368 error 4.32  2.32  275746816
pthread-wmm/safe011_tso.oepc_true-unreach-call.i true 15.4  8.55 486547456 error 3.93  2.16  250777600
pthread-wmm/safe011_tso.opt_true-unreach-call.i true 14.5  8.47 467718144 error 3.93  2.17  246833152
pthread-wmm/safe012_tso.oepc_true-unreach-call.i true 17.3  9.91 482222080 error 4.01  2.21  251875328
pthread-wmm/safe012_tso.opt_true-unreach-call.i true 15.0  8.34 467353600 error 4.07  2.22  255172608
pthread-wmm/safe013_tso.oepc_true-unreach-call.i true 17.4  10.0  466399232 error 4.76  2.58  275963904
pthread-wmm/safe013_tso.opt_true-unreach-call.i true 15.4  8.95 483106816 error 4.27  2.32  253739008
pthread-wmm/safe014_pso.oepc_true-unreach-call.i true 16.0  8.97 523378688 error 4.08  2.25  252907520
pthread-wmm/safe014_pso.opt_true-unreach-call.i true 16.2  8.93 529436672 error 4.28  2.35  256077824
pthread-wmm/safe014_tso.oepc_true-unreach-call.i true 16.2  9.33 472879104 error 4.28  2.32  255266816
pthread-wmm/safe014_tso.opt_true-unreach-call.i true 16.8  9.68 468103168 error 4.09  2.23  252153856
pthread-wmm/safe015_pso.oepc_true-unreach-call.i true 13.8  7.77 465645568 error 4.09  2.25  255324160
pthread-wmm/safe015_pso.opt_true-unreach-call.i true 13.4  7.60 517083136 error 3.99  2.22  250200064
pthread-wmm/safe015_tso.oepc_true-unreach-call.i true 15.1  8.72 463339520 error 4.48  2.42  274141184
pthread-wmm/safe015_tso.opt_true-unreach-call.i true 14.9  8.33 466161664 error 4.02  2.21  256004096
pthread-wmm/safe016_pso.oepc_true-unreach-call.i true 23.7  13.1  646995968 error 3.99  2.20  254881792
pthread-wmm/safe016_pso.opt_true-unreach-call.i true 18.3  10.5  662425600 error 4.26  2.30  275402752
pthread-wmm/safe016_tso.oepc_true-unreach-call.i true 22.6  12.7  657022976 error 4.23  2.32  251961344
pthread-wmm/safe016_tso.opt_true-unreach-call.i true 20.3  11.2  634826752 error 4.38  2.37  276357120
pthread-wmm/safe017_tso.oepc_true-unreach-call.i true 16.9  9.35 465879040 error 4.32  2.35  251170816
pthread-wmm/safe017_tso.opt_true-unreach-call.i true 15.2  8.54 521187328 error 4.11  2.24  254939136
pthread-wmm/safe018_pso.oepc_true-unreach-call.i true 17.5  10.1  468561920 error 4.14  2.26  250167296
pthread-wmm/safe018_pso.opt_true-unreach-call.i true 15.6  8.92 468979712 error 4.18  2.28  255737856
pthread-wmm/safe018_tso.oepc_true-unreach-call.i true 15.5  8.56 501161984 error 4.23  2.32  253374464
pthread-wmm/safe018_tso.opt_true-unreach-call.i true 14.9  8.78 524144640 error 4.10  2.26  254214144
pthread-wmm/safe019_pso.oepc_true-unreach-call.i true 18.3  10.6  670633984 error 4.17  2.29  252444672
pthread-wmm/safe019_pso.opt_true-unreach-call.i true 19.7  11.0  639606784 error 4.16  2.28  254898176
pthread-wmm/safe019_tso.oepc_true-unreach-call.i true 19.5  11.1  691732480 error 3.96  2.16  251842560
pthread-wmm/safe019_tso.opt_true-unreach-call.i true 20.9  11.4  766619648 error 4.05  2.23  250970112
pthread-wmm/safe020_pso.oepc_true-unreach-call.i true 18.5  10.3  508338176 error 4.14  2.24  249786368
pthread-wmm/safe020_pso.opt_true-unreach-call.i true 13.7  8.08 467701760 error 4.09  2.22  252624896
pthread-wmm/safe020_tso.oepc_true-unreach-call.i true 13.2  7.82 504659968 error 3.95  2.18  252178432
pthread-wmm/safe020_tso.opt_true-unreach-call.i true 15.3  8.54 509562880 error 4.16  2.26  253509632
pthread-wmm/safe021_tso.oepc_true-unreach-call.i true 15.0  8.29 463237120 error 4.26  2.32  273534976
pthread-wmm/safe021_tso.opt_true-unreach-call.i true 15.7  8.96 463712256 error 4.50  2.46  255959040
pthread-wmm/safe022_tso.oepc_true-unreach-call.i true 14.0  7.77 381231104 error 4.14  2.25  251850752
pthread-wmm/safe022_tso.opt_true-unreach-call.i true 11.8  7.00 358293504 error 4.08  2.25  252436480
pthread-wmm/safe023_tso.oepc_true-unreach-call.i true 15.8  9.20 480788480 error 4.25  2.30  253091840
pthread-wmm/safe023_tso.opt_true-unreach-call.i true 16.4  9.53 482836480 error 4.11  2.25  248426496
pthread-wmm/safe024_tso.oepc_true-unreach-call.i true 13.7  7.92 468406272 error 4.45  2.42  252096512
pthread-wmm/safe024_tso.opt_true-unreach-call.i true 14.1  8.06 494882816 error 4.19  2.29  255639552
pthread-wmm/safe025_pso.oepc_true-unreach-call.i true 15.3  8.86 498290688 error 4.16  2.27  252542976
pthread-wmm/safe025_pso.opt_true-unreach-call.i true 16.3  9.39 476155904 error 4.33  2.35  272498688
pthread-wmm/safe025_tso.oepc_true-unreach-call.i true 16.2  9.22 500236288 error 4.11  2.26  252014592
pthread-wmm/safe025_tso.opt_true-unreach-call.i true 17.8  10.1  503603200 error 4.05  2.24  254140416
pthread-wmm/safe026_tso.oepc_true-unreach-call.i true 17.1  9.83 500428800 error 4.13  2.26  260857856
pthread-wmm/safe026_tso.opt_true-unreach-call.i true 13.8  8.06 469086208 error 4.05  2.25  252698624
pthread-wmm/safe027_pso.oepc_true-unreach-call.i true 21.9  12.4  742834176 error 4.05  2.22  250667008
pthread-wmm/safe027_pso.opt_true-unreach-call.i true 20.3  11.7  742854656 error 3.95  2.16  249839616
pthread-wmm/safe027_tso.oepc_true-unreach-call.i true 19.1  11.0  703098880 error 4.25  2.32  254369792
pthread-wmm/safe027_tso.opt_true-unreach-call.i true 20.8  11.5  720904192 error 5.03  2.72  276758528
pthread-wmm/safe028_pso.oepc_true-unreach-call.i true 14.9  8.62 476753920 error 4.15  2.27  255475712
pthread-wmm/safe028_pso.opt_true-unreach-call.i true 15.6  9.08 489615360 error 4.07  2.24  254902272
pthread-wmm/safe028_tso.oepc_true-unreach-call.i true 16.7  9.69 462962688 error 4.30  2.34  276238336
pthread-wmm/safe028_tso.opt_true-unreach-call.i true 17.1  9.78 475799552 error 4.21  2.29  253116416
pthread-wmm/safe029_tso.oepc_true-unreach-call.i true 10.6  6.30 361164800 error 4.09  2.25  255094784
pthread-wmm/safe029_tso.opt_true-unreach-call.i true 11.2  6.57 349237248 error 3.91  2.16  252530688
pthread-wmm/safe030_tso.oepc_true-unreach-call.i true 16.2  9.32 490889216 error 4.05  2.21  251633664
pthread-wmm/safe030_tso.opt_true-unreach-call.i true 14.4  8.08 469594112 error 4.09  2.23  253534208
pthread-wmm/safe031_tso.oepc_true-unreach-call.i true 14.0  7.82 474595328 error 3.89  2.17  249217024
pthread-wmm/safe031_tso.opt_true-unreach-call.i true 16.3  8.99 472092672 error 4.19  2.28  252555264
pthread-wmm/safe032_tso.oepc_true-unreach-call.i true 15.9  9.19 501874688 error 4.10  2.27  253911040
pthread-wmm/safe032_tso.opt_true-unreach-call.i true 15.6  9.04 475107328 error 4.30  2.34  253136896
pthread-wmm/safe033_tso.oepc_true-unreach-call.i true 11.1  6.28 377262080 error 4.09  2.23  251273216
pthread-wmm/safe033_tso.opt_true-unreach-call.i true 12.0  7.08 373735424 error 4.44  2.45  250298368
pthread-wmm/safe034_tso.oepc_true-unreach-call.i true 15.5  8.92 467402752 error 4.33  2.31  272662528
pthread-wmm/safe034_tso.opt_true-unreach-call.i true 18.3  10.5  505643008 error 3.98  2.17  252370944
pthread-wmm/safe035_power.oepc_true-unreach-call.i timeout 961    914    7218503680 error (invalid witness file) .586 .374 42029056
pthread-wmm/safe035_power.opt_true-unreach-call.i timeout 961    910    7531405312 error (invalid witness file) .559 .351 39718912
pthread-wmm/safe035_pso.oepc_true-unreach-call.i true 15.4  8.56 514228224 error 4.11  2.28  254365696
pthread-wmm/safe035_pso.opt_true-unreach-call.i true 15.4  8.99 475373568 error 4.33  2.33  273887232
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i true 16.2  9.53 531230720 error 4.22  2.31  253083648
pthread-wmm/safe035_rmo.opt_true-unreach-call.i true 14.5  8.27 470368256 error 4.21  2.30  257433600
pthread-wmm/safe035_tso.oepc_true-unreach-call.i true 15.0  8.67 504279040 error 4.10  2.25  254234624
pthread-wmm/safe035_tso.opt_true-unreach-call.i true 14.8  8.67 536809472 error 4.01  2.19  250368000
pthread-wmm/safe036_power.oepc_true-unreach-call.i true 11.3  6.72 365309952 error 4.15  2.29  251506688
pthread-wmm/safe036_power.opt_true-unreach-call.i true 11.0  6.50 354107392 error 4.30  2.36  255614976
pthread-wmm/safe036_pso.oepc_true-unreach-call.i true 11.3  6.70 362426368 error 4.24  2.32  275849216
pthread-wmm/safe036_pso.opt_true-unreach-call.i true 11.7  6.59 379547648 error 3.86  2.13  254046208
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i true 11.8  7.02 368586752 error 4.16  2.29  252706816
pthread-wmm/safe036_rmo.opt_true-unreach-call.i true 10.6  6.37 367177728 error 4.21  2.32  249163776
pthread-wmm/safe036_tso.oepc_true-unreach-call.i true 10.8  6.43 356671488 error 4.22  2.29  252542976
pthread-wmm/safe036_tso.opt_true-unreach-call.i true 11.6  6.46 368508928 error 4.07  2.22  252133376
pthread-wmm/safe037_power.oepc_true-unreach-call.i true 16.1  8.94 504332288 error 4.26  2.31  253022208
pthread-wmm/safe037_power.opt_true-unreach-call.i true 13.6  7.64 488501248 error 4.02  2.23  254058496
pthread-wmm/safe037_pso.oepc_true-unreach-call.i true 19.7  11.3  465313792 error 4.16  2.29  254554112
pthread-wmm/safe037_pso.opt_true-unreach-call.i true 17.8  9.83 509480960 error 4.11  2.25  253513728
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i true 15.5  8.60 508948480 error 4.13  2.25  258580480
pthread-wmm/safe037_rmo.opt_true-unreach-call.i true 13.2  7.99 471871488 error 4.18  2.25  251461632
pthread-wmm/safe037_tso.oepc_true-unreach-call.i true 15.0  8.75 510320640 error 4.14  2.31  249032704
pthread-wmm/safe037_tso.opt_true-unreach-call.i true 14.6  8.50 495022080 error 3.97  2.21  251109376
pthread-wmm/thin000_pso.oepc_true-unreach-call.i true 13.5  7.96 365645824 error 4.12  2.26  254156800
pthread-wmm/thin000_pso.opt_true-unreach-call.i true 11.6  6.55 362835968 error 4.29  2.31  255590400
pthread-wmm/thin000_tso.oepc_true-unreach-call.i true 12.2  7.34 356544512 error 4.24  2.29  255860736
pthread-wmm/thin000_tso.opt_true-unreach-call.i true 12.4  7.31 366448640 error 4.04  2.22  255361024
pthread-wmm/thin001_pso.oepc_true-unreach-call.i true 18.1  9.85 474685440 error 4.37  2.36  271364096
pthread-wmm/thin001_pso.opt_true-unreach-call.i true 15.6  8.97 490254336 error 4.31  2.37  254988288
pthread-wmm/thin001_tso.oepc_true-unreach-call.i true 13.7  7.79 471699456 error 4.01  2.20  251482112
pthread-wmm/thin001_tso.opt_true-unreach-call.i true 15.5  9.10 516452352 error 3.94  2.16  255614976
pthread-wmm/thin002_pso.oepc_true-unreach-call.i true 19.7  11.4  632446976 error 4.24  2.33  255447040
pthread-wmm/thin002_pso.opt_true-unreach-call.i true 20.9  11.9  638623744 error 3.98  2.17  250920960
pthread-wmm/thin002_tso.oepc_true-unreach-call.i true 23.2  12.8  727085056 error 4.19  2.29  253206528
pthread-wmm/thin002_tso.opt_true-unreach-call.i true 22.2  12.5  638033920 error 4.24  2.30  257126400
pthread-lit/fkp2013_false-unreach-call.i error (7) 16.0  9.25 314753024 error (invalid witness file) .562 .351 40308736
pthread-lit/fkp2013_variant_false-unreach-call.i error (7) 16.6  9.51 317267968 error (invalid witness file) .563 .356 39768064
pthread-lit/qw2004_false-unreach-call.i false(unreach-call) 13.1  7.25 410279936 true 6.88  3.65  326832128
pthread-lit/fk2012_true-unreach-call.i error (7) 15.2  9.30 318570496 error (invalid witness file) .595 .370 39833600
pthread-lit/fkp2013_true-unreach-call.i error (7) 14.2  8.39 309932032 error (invalid witness file) .579 .362 40460288
pthread-lit/fkp2013_variant_true-unreach-call.i error (7) 14.4  8.59 314912768 error (invalid witness file) .577 .380 39890944
pthread-lit/fkp2014_true-unreach-call.i error (7) 13.6  8.73 307830784 error (invalid witness file) .579 .364 40275968
pthread-lit/qw2004_true-unreach-call.i error (7) 15.1  9.22 311513088 error (invalid witness file) .557 .351 39591936
pthread-lit/qw2004_variant_true-unreach-call.i error (7) 13.6  8.39 310386688 error (invalid witness file) .617 .392 41328640
pthread-lit/sssc12_true-unreach-call.i error (7) 16.0  9.74 319823872 error (invalid witness file) .595 .391 40271872
pthread-lit/sssc12_variant_true-unreach-call.i error (7) 15.7  9.13 309583872 error (invalid witness file) .575 .343 40067072
ldv-races/race-1_1-join_true-unreach-call.i true 18.5  10.5  509079552 error 4.85  2.66  263151616
ldv-races/race-2_1-container_of_true-unreach-call.i timeout 961    843    1965142016 error (invalid witness file) .595 .384 40026112
ldv-races/race-3_1-container_of-global_true-unreach-call.i timeout 960    850    1650372608 error (invalid witness file) .563 .359 40067072
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i error (7) 22.5  13.3  470970368 error (invalid witness file) .615 .381 41168896
ldv-races/race-1_2-join_false-unreach-call.i false(unreach-call) 13.7  8.12 507940864 false(unreach-call) 5.61  3.01  270090240
ldv-races/race-1_3-join_false-unreach-call.i false(unreach-call) 13.5  7.87 520511488 false(unreach-call) 5.57  2.98  271720448
ldv-races/race-2_2-container_of_false-unreach-call.i timeout 960    846    1521291264 error (invalid witness file) .595 .370 40681472
ldv-races/race-2_3-container_of_false-unreach-call.i error (7) 64.8  38.2  880209920 error (invalid witness file) .592 .357 41050112
ldv-races/race-2_4-container_of_false-unreach-call.i error (7) 57.9  34.4  888754176 error (invalid witness file) .558 .355 40431616
ldv-races/race-2_5-container_of_false-unreach-call.i false(unreach-call) 49.5  31.8  863498240 true 7.51  3.97  384192512
ldv-races/race-3_2-container_of-global_false-unreach-call.i false(unreach-call) 307    259    1535029248 error (invalid witness file) 3.66  2.00  239079424
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i error (7) 24.5  13.9  473927680 error (invalid witness file) .558 .343 39235584
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 (invalid witness file) .625 .390 40710144
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 (invalid witness file) .592 .363 41029632
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i timeout 962    655    13289324544 error (invalid witness file) .613 .379 40644608
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 (invalid witness file) .564 .348 39866368
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i timeout 962    749    13338066944 error (invalid witness file) .587 .362 41975808
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i timeout 961    754    13349535744 error (invalid witness file) .595 .364 41488384
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 (invalid witness file) .564 .340 40087552
pthread-complex/bounded_buffer_false-unreach-call.i unknown 8.06 4.42 306688000 error (invalid witness file) .600 .376 40452096
pthread-complex/elimination_backoff_stack_false-unreach-call.i timeout 961    836    12786659328 error (invalid witness file) .575 .353 41332736
pthread-complex/safestack_relacy_false-unreach-call.i error (7) 20.1  11.4  438853632 error (invalid witness file) .562 .348 40607744
pthread-complex/workstealqueue_mutex_false-unreach-call.i error (7) 14.0  8.24 309719040 error (invalid witness file) .575 .348 40701952
pthread-complex/workstealqueue_mutex_true-unreach-call.i error (7) 13.4  8.11 296235008 error (invalid witness file) .571 .352 40747008
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i unknown 10.8  6.31 317820928 error (invalid witness file) .580 .345 41783296
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i unknown 14.7  8.13 322994176 error (invalid witness file) .570 .344 40067072
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i unknown 11.4  6.47 321462272 error (invalid witness file) .566 .345 40284160
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i unknown 13.0  7.34 324722688 error (invalid witness file) .556 .345 40144896
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i unknown 10.6  6.55 321396736 error (invalid witness file) .586 .353 40968192
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i unknown 13.7  7.83 322166784 error (invalid witness file) .579 .346 41873408
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i unknown 11.3  6.84 316792832 error (invalid witness file) .568 .363 40804352
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i unknown 10.9  6.52 321134592 error (invalid witness file) .563 .344 40316928
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i unknown 11.7  6.75 320479232 error (invalid witness file) .560 .347 40427520
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i unknown 13.7  7.63 335466496 error (invalid witness file) .600 .378 40374272
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i unknown 12.8  7.48 322301952 error (invalid witness file) .671 .423 40214528
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i unknown 11.1  6.48 321617920 error (invalid witness file) .624 .393 39813120
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i unknown 13.4  8.00 318119936 error (invalid witness file) .605 .372 40529920
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i unknown 13.0  7.13 329465856 error (invalid witness file) .572 .355 40783872
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i unknown 11.0  6.35 314863616 error (invalid witness file) .578 .356 41168896
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i unknown 11.2  6.48 314183680 error (invalid witness file) .613 .382 39985152
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i unknown 11.5  6.89 315396096 error (invalid witness file) .585 .369 40325120
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i unknown 15.2  8.18 325632000 error (invalid witness file) .605 .380 39878656
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i unknown 12.6  7.38 318369792 error (invalid witness file) .616 .366 40337408
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i unknown 12.9  7.63 321101824 error (invalid witness file) .580 .360 39854080
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i unknown 12.5  7.71 313708544 error (invalid witness file) .547 .354 39940096
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i timeout 960    797    5772992512 error (invalid witness file) .569 .362 39841792
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i unknown 6.98 4.09 295751680 error (invalid witness file) .571 .351 40390656
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i unknown 7.00 4.06 298049536 error (invalid witness file) .571 .357 39833600
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i false(unreach-call) 449    370    4617592832 assertion 3.45  1.89  202670080
pthread-divine/condvar_spurious_wakeup_false-unreach-call.i unknown 6.17 3.38 288587776 error (invalid witness file) .574 .364 40669184
pthread-divine/divinefifo-bug_1w1r_false-unreach-call.i timeout 961    825    4932296704 error (invalid witness file) .600 .377 41709568
pthread-divine/one_time_barrier_2t_false-unreach-call.i unknown 6.36 3.87 290234368 error (invalid witness file) .719 .433 39866368
pthread-divine/one_time_barrier_3t_false-unreach-call.i unknown 6.33 3.85 290119680 error (invalid witness file) .559 .338 40882176
pthread-divine/ring_1w1r_false-unreach-call.i false(unreach-call) 10.3  6.31 361316352 error 5.24  2.82  256290816
pthread-divine/ring_2w1r_false-unreach-call.i timeout 961    781    8329183232 error (invalid witness file) .577 .353 40079360
pthread-divine/tls_destructor_worker_false-unreach-call.i unknown 6.08 3.67 268910592 error (invalid witness file) .585 .360 40013824
pthread-divine/barrier_2t_true-unreach-call.i unknown 6.50 3.84 286941184 error (invalid witness file) .574 .364 40792064
pthread-divine/barrier_3t_true-unreach-call.i unknown 6.20 3.45 291438592 error (invalid witness file) .564 .352 39538688
pthread-divine/condvar_true-unreach-call.i unknown 6.29 3.40 280309760 error (invalid witness file) .577 .354 40128512
pthread-divine/divinefifo_1w1r_true-unreach-call.i timeout 961    832    4940132352 error (invalid witness file) .615 .403 42029056
pthread-divine/one_time_barrier_twice_2t_true-unreach-call.i unknown 7.92 4.54 291741696 error (invalid witness file) .561 .359 40882176
pthread-divine/one_time_barrier_twice_3t_true-unreach-call.i unknown 8.05 4.52 292794368 error (invalid witness file) .570 .359 40075264
pthread-divine/ring_1w1r_true-unreach-call.i timeout 961    818    1393328128 error (invalid witness file) .569 .345 40022016
pthread-divine/ring_2w1r_true-unreach-call.i timeout 961    780    8468750336 error (invalid witness file) .584 .378 40263680
pthread-divine/tls_basic_true-unreach-call.i unknown 6.27 3.76 274509824 error (invalid witness file) .580 .358 39972864
pthread-nondet/nondet-array_false-unreach-call.i error (7) 14.7  8.25 316362752 error (invalid witness file) .571 .348 39776256
pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i error (7) 14.4  8.95 315420672 error (invalid witness file) .565 .351 40710144
pthread-nondet/nondet-loop-bound_false-unreach-call.i error (7) 14.1  8.39 309850112 error (invalid witness file) .578 .347 40095744
pthread-nondet/nondet-array_true-unreach-call.i error (7) 15.9  9.59 312557568 error (invalid witness file) .615 .381 40103936
pthread-nondet/nondet-loop-bound-variant_true-unreach-call.i error (7) 14.5  9.07 312352768 error (invalid witness file) .575 .363 40460288
pthread-nondet/nondet-loop-bound_true-unreach-call.i error (7) 13.6  7.79 315473920 error (invalid witness file) .564 .354 40112128
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 1082 569000 474000 6750848581632 1082 28800   22800   690974314496
    correct results 395 36000 23800 1214487003136 6 690   631   8774111232
        correct true 148 2500 1470 76015636480 2 667   618   7643725824
        correct false 247 33500 22300 1138471366656 4 23.7 12.6 1130385408
    incorrect results 2 325 224 13560451072 230 22500   17300   591743488000
        incorrect true 0 230 22500   17300   591743488000
        incorrect false 2 325 224 13560451072 0
score (1082 tasks, max score: 1344) 511 -7352
Run set ultimateautomizer--concurrency.ultimateautomizer.Concurrency cpachecker-ultimateautomizer--concurrency-validation.witnessValidation.Concurrency