| pthread/bigshot_p_false-unreach-call.i |
error |
5.51 |
2.95 |
410390528 |
error (7) |
18.4 |
10.8 |
345751552 |
| pthread/fib_bench_false-unreach-call.i |
false(unreach-call) |
34.2 |
24.2 |
1557188608 |
error (7) |
15.1 |
9.10 |
318025728 |
| pthread/fib_bench_longer_false-unreach-call.i |
false(unreach-call) |
224 |
205 |
3946278912 |
error (7) |
15.4 |
9.26 |
318078976 |
| pthread/fib_bench_longest_false-unreach-call.i |
timeout |
905 |
876 |
4024459264 |
error (7) |
14.6 |
9.12 |
313536512 |
| pthread/lazy01_false-unreach-call.i |
false(unreach-call) |
5.05 |
2.72 |
301727744 |
error (7) |
15.8 |
9.71 |
318251008 |
| pthread/queue_false-unreach-call.i |
false(unreach-call) |
7.06 |
3.79 |
436260864 |
error (7) |
11.9 |
7.22 |
299388928 |
| pthread/queue_longer_false-unreach-call.i |
false(unreach-call) |
7.59 |
4.01 |
439828480 |
error (7) |
12.3 |
6.98 |
303800320 |
| pthread/queue_longest_false-unreach-call.i |
false(unreach-call) |
7.73 |
4.09 |
474353664 |
error (7) |
12.7 |
7.60 |
296996864 |
| pthread/reorder_2_false-unreach-call.i |
error |
6.45 |
3.43 |
438206464 |
error (7) |
14.2 |
8.19 |
294047744 |
| pthread/reorder_5_false-unreach-call.i |
error |
6.57 |
3.45 |
443805696 |
error (7) |
13.7 |
8.08 |
303452160 |
| pthread/sigma_false-unreach-call.i |
error |
6.35 |
3.40 |
428994560 |
error (7) |
17.1 |
10.1 |
354025472 |
| pthread/singleton_false-unreach-call.i |
error |
6.38 |
3.40 |
411443200 |
error (7) |
18.9 |
11.3 |
384286720 |
| pthread/stack_false-unreach-call.i |
error |
7.17 |
3.78 |
428699648 |
error (7) |
19.8 |
11.5 |
347832320 |
| pthread/stack_longer_false-unreach-call.i |
error |
25.0 |
14.6 |
1231994880 |
error (7) |
18.0 |
10.6 |
353017856 |
| pthread/stack_longest_false-unreach-call.i |
error |
44.2 |
32.8 |
2787778560 |
error (7) |
18.3 |
10.5 |
353239040 |
| pthread/stateful01_false-unreach-call.i |
false(unreach-call) |
5.41 |
2.92 |
307449856 |
error (7) |
15.6 |
9.39 |
315518976 |
| pthread/triangular-longer_false-unreach-call.i |
false(unreach-call) |
60.7 |
49.2 |
3818196992 |
error (7) |
15.3 |
8.66 |
322981888 |
| pthread/triangular-longest_false-unreach-call.i |
timeout |
905 |
877 |
3975716864 |
error (7) |
15.8 |
9.23 |
319733760 |
| pthread/triangular_false-unreach-call.i |
false(unreach-call) |
14.4 |
7.62 |
752345088 |
error (7) |
15.5 |
8.76 |
320413696 |
| pthread/twostage_3_false-unreach-call.i |
error |
6.98 |
3.68 |
456249344 |
error (7) |
12.9 |
7.72 |
293826560 |
| pthread/bigshot_s2_true-unreach-call.i |
error |
5.27 |
2.84 |
407035904 |
error (7) |
16.5 |
9.61 |
346693632 |
| pthread/bigshot_s_true-unreach-call.i |
error |
5.60 |
3.01 |
412418048 |
error (7) |
16.2 |
9.76 |
345780224 |
| pthread/fib_bench_longer_true-unreach-call.i |
true |
818 |
788 |
4087332864 |
error (7) |
15.1 |
9.26 |
322379776 |
| pthread/fib_bench_longest_true-unreach-call.i |
timeout |
904 |
874 |
4033581056 |
error (7) |
15.2 |
8.97 |
312492032 |
| pthread/fib_bench_true-unreach-call.i |
true |
85.0 |
70.6 |
3823767552 |
error (7) |
14.7 |
8.71 |
321265664 |
| pthread/indexer_true-unreach-call.i |
error |
7.52 |
4.00 |
442638336 |
error (7) |
18.0 |
10.4 |
356159488 |
| pthread/queue_ok_longer_true-unreach-call.i |
error |
47.9 |
37.8 |
3689582592 |
error (7) |
12.1 |
7.36 |
291299328 |
| pthread/queue_ok_longest_true-unreach-call.i |
error |
131 |
119 |
3746332672 |
error (7) |
12.3 |
7.41 |
296517632 |
| pthread/queue_ok_true-unreach-call.i |
error |
8.34 |
4.41 |
490991616 |
error (7) |
12.5 |
7.20 |
298524672 |
| pthread/singleton_with-uninit-problems_true-unreach-call.i |
error |
5.78 |
3.10 |
408338432 |
error (7) |
19.7 |
11.5 |
383483904 |
| pthread/stack_longer_true-unreach-call.i |
error |
24.1 |
14.4 |
1151258624 |
error (7) |
17.2 |
10.2 |
352645120 |
| pthread/stack_longest_true-unreach-call.i |
error |
43.1 |
32.6 |
2823184384 |
error (7) |
17.6 |
10.2 |
352559104 |
| pthread/stack_true-unreach-call.i |
error |
6.55 |
3.53 |
428982272 |
error (7) |
18.3 |
10.1 |
340516864 |
| pthread/stateful01_true-unreach-call.i |
true |
5.44 |
2.93 |
317755392 |
error (7) |
15.6 |
9.05 |
319430656 |
| pthread/sync01_true-unreach-call.i |
true |
5.88 |
3.15 |
425615360 |
unknown |
6.68 |
4.05 |
297279488 |
| pthread/triangular-longer_true-unreach-call.i |
true |
60.3 |
48.6 |
3822268416 |
error (7) |
15.3 |
8.95 |
321904640 |
| pthread/triangular-longest_true-unreach-call.i |
timeout |
905 |
875 |
3969880064 |
error (7) |
15.2 |
8.96 |
316395520 |
| pthread/triangular_true-unreach-call.i |
true |
15.5 |
8.26 |
756322304 |
error (7) |
15.7 |
8.81 |
310951936 |
| pthread-atomic/qrcu_false-unreach-call.i |
false(unreach-call) |
10.6 |
5.46 |
517353472 |
error (7) |
13.9 |
8.59 |
307757056 |
| pthread-atomic/read_write_lock_false-unreach-call.i |
false(unreach-call) |
17.4 |
9.17 |
826736640 |
error (7) |
13.7 |
8.41 |
308387840 |
| pthread-atomic/dekker_true-unreach-call.i |
true |
5.69 |
3.04 |
338989056 |
error (7) |
15.2 |
8.94 |
317964288 |
| pthread-atomic/gcd_true-unreach-call_true-termination.i |
timeout |
912 |
890 |
3657465856 |
error (2) |
.0200 |
.0203 |
5623808 |
| pthread-atomic/lamport_true-unreach-call.i |
true |
6.13 |
3.30 |
371838976 |
error (7) |
15.1 |
9.03 |
322772992 |
| pthread-atomic/peterson_true-unreach-call.i |
true |
5.32 |
2.90 |
323112960 |
error (7) |
15.2 |
9.26 |
311726080 |
| pthread-atomic/qrcu_true-unreach-call.i |
timeout |
912 |
899 |
7065591808 |
error (2) |
.0302 |
.0307 |
5525504 |
| pthread-atomic/read_write_lock_true-unreach-call.i |
true |
9.33 |
4.90 |
524197888 |
error (7) |
13.9 |
8.66 |
314298368 |
| pthread-atomic/scull_true-unreach-call.i |
timeout |
912 |
894 |
3594584064 |
error (2) |
.0196 |
.0199 |
5615616 |
| pthread-atomic/szymanski_true-unreach-call.i |
true |
5.73 |
3.08 |
349847552 |
error (7) |
14.7 |
8.69 |
310960128 |
| pthread-atomic/time_var_mutex_true-unreach-call.i |
true |
5.27 |
2.84 |
318296064 |
error (7) |
15.9 |
9.16 |
322568192 |
| pthread-ext/25_stack_longer_false-unreach-call.i |
error |
6.20 |
3.28 |
436260864 |
error (7) |
14.6 |
8.90 |
317706240 |
| pthread-ext/25_stack_longest_false-unreach-call.i |
error |
6.13 |
3.29 |
440406016 |
error (7) |
15.5 |
9.24 |
320319488 |
| pthread-ext/26_stack_cas_longer_false-unreach-call.i |
error |
6.45 |
3.39 |
429395968 |
error (7) |
14.8 |
8.88 |
315158528 |
| pthread-ext/26_stack_cas_longest_false-unreach-call.i |
error |
6.66 |
3.55 |
426287104 |
error (7) |
15.4 |
9.03 |
318550016 |
| pthread-ext/27_Boop_simple_vf_false-unreach-call.i |
error |
5.38 |
2.88 |
317067264 |
error (7) |
16.2 |
9.75 |
316575744 |
| pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i |
error |
5.18 |
2.80 |
302964736 |
error (7) |
14.8 |
8.70 |
309067776 |
| pthread-ext/32_pthread5_vs_false-unreach-call.i |
error |
5.36 |
2.88 |
337809408 |
error (7) |
13.1 |
7.90 |
306438144 |
| pthread-ext/40_barrier_vf_false-unreach-call.i |
error |
5.24 |
2.83 |
319942656 |
error (7) |
13.5 |
7.98 |
306212864 |
| pthread-ext/01_inc_true-unreach-call.i |
error |
6.53 |
3.48 |
307003392 |
error (7) |
13.2 |
7.96 |
310480896 |
| pthread-ext/02_inc_cas_true-unreach-call.i |
error |
5.31 |
2.84 |
317067264 |
error (7) |
13.3 |
7.97 |
308031488 |
| pthread-ext/03_incdec_true-unreach-call.i |
error |
5.46 |
2.96 |
341458944 |
error (7) |
16.3 |
9.58 |
320724992 |
| pthread-ext/04_incdec_cas_true-unreach-call.i |
error |
6.06 |
3.24 |
349773824 |
error (7) |
13.7 |
8.07 |
309792768 |
| pthread-ext/05_tas_true-unreach-call.i |
error |
5.54 |
2.99 |
337080320 |
error (7) |
14.2 |
8.48 |
317186048 |
| pthread-ext/06_ticket_true-unreach-call.i |
error |
6.70 |
3.61 |
327929856 |
error (7) |
15.2 |
9.19 |
318414848 |
| pthread-ext/07_rand_true-unreach-call.i |
error |
5.66 |
3.01 |
350064640 |
error (7) |
14.3 |
8.74 |
309788672 |
| pthread-ext/08_rand_cas_true-unreach-call.i |
error |
5.76 |
3.10 |
367869952 |
error (7) |
16.4 |
9.99 |
316354560 |
| pthread-ext/09_fmaxsym_true-unreach-call.i |
error |
5.40 |
2.94 |
331993088 |
error (7) |
14.5 |
8.81 |
311025664 |
| pthread-ext/10_fmaxsym_cas_true-unreach-call.i |
error |
5.40 |
2.89 |
329682944 |
error (7) |
14.6 |
9.21 |
310345728 |
| pthread-ext/11_fmaxsymopt_true-unreach-call.i |
error |
5.61 |
2.98 |
336306176 |
error (7) |
14.1 |
8.73 |
312860672 |
| pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i |
error |
5.57 |
3.02 |
342585344 |
error (7) |
15.1 |
8.43 |
317276160 |
| pthread-ext/13_unverif_true-unreach-call.i |
error |
5.16 |
2.76 |
303575040 |
error (7) |
13.6 |
8.13 |
311873536 |
| pthread-ext/14_spin2003_true-unreach-call.i |
error |
4.96 |
2.70 |
302735360 |
error (7) |
13.6 |
7.71 |
307073024 |
| pthread-ext/15_dekker_true-unreach-call.i |
true |
5.51 |
2.97 |
337989632 |
error (7) |
14.9 |
8.90 |
315793408 |
| pthread-ext/16_peterson_true-unreach-call.i |
true |
5.54 |
2.98 |
326438912 |
error (7) |
14.8 |
8.70 |
308609024 |
| pthread-ext/17_szymanski_true-unreach-call.i |
true |
5.92 |
3.20 |
373297152 |
error (7) |
14.6 |
9.03 |
309014528 |
| pthread-ext/18_read_write_lock_true-unreach-call.i |
true |
5.10 |
2.76 |
308387840 |
error (7) |
13.3 |
7.82 |
306458624 |
| pthread-ext/19_time_var_mutex_true-unreach-call.i |
true |
5.66 |
3.08 |
339394560 |
error (7) |
14.3 |
8.42 |
308826112 |
| pthread-ext/20_lamport_true-unreach-call.i |
true |
6.03 |
3.23 |
383655936 |
error (7) |
16.0 |
9.67 |
316694528 |
| pthread-ext/23_lu-fig2.fixed_true-unreach-call.i |
true |
5.68 |
3.06 |
357007360 |
error (7) |
13.9 |
8.38 |
317952000 |
| pthread-ext/25_stack_longer_true-unreach-call.i |
error |
6.19 |
3.34 |
440430592 |
error (7) |
14.5 |
8.94 |
312610816 |
| pthread-ext/25_stack_longest_true-unreach-call.i |
error |
6.39 |
3.39 |
436281344 |
error (7) |
18.0 |
10.3 |
317136896 |
| pthread-ext/25_stack_true-unreach-call.i |
error |
6.29 |
3.37 |
436097024 |
error (7) |
14.8 |
8.62 |
314212352 |
| pthread-ext/26_stack_cas_longer_true-unreach-call.i |
error |
6.46 |
3.48 |
425500672 |
error (7) |
15.0 |
8.92 |
311267328 |
| pthread-ext/26_stack_cas_longest_true-unreach-call.i |
error |
6.29 |
3.37 |
429854720 |
error (7) |
15.5 |
9.25 |
315109376 |
| pthread-ext/26_stack_cas_true-unreach-call.i |
error |
6.37 |
3.37 |
433172480 |
error (7) |
13.9 |
8.32 |
307990528 |
| pthread-ext/29_conditionals_vs_true-unreach-call.i |
error |
5.35 |
2.87 |
314429440 |
error (7) |
13.7 |
8.50 |
306778112 |
| pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i |
error |
5.47 |
2.98 |
326729728 |
error (7) |
15.5 |
9.58 |
312188928 |
| pthread-ext/31_simple_loop5_vs_true-unreach-call.i |
error |
5.21 |
2.82 |
318795776 |
error (7) |
13.1 |
7.92 |
317026304 |
| pthread-ext/33_double_lock_p1_vs_true-unreach-call.i |
error |
5.61 |
3.03 |
345788416 |
error (7) |
14.2 |
8.85 |
312287232 |
| pthread-ext/34_double_lock_p2_vs_true-unreach-call.i |
error |
5.81 |
3.13 |
344170496 |
error (7) |
13.9 |
8.25 |
307957760 |
| pthread-ext/35_double_lock_p3_vs_true-unreach-call.i |
error |
5.51 |
2.94 |
339546112 |
error (7) |
14.5 |
9.08 |
308580352 |
| pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i |
error |
5.74 |
3.10 |
350560256 |
error (7) |
13.7 |
8.65 |
311250944 |
| pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i |
error |
5.70 |
3.05 |
341757952 |
error (7) |
14.0 |
7.85 |
309669888 |
| pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i |
error |
5.47 |
2.97 |
333344768 |
error (7) |
14.8 |
8.86 |
314617856 |
| pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i |
error |
5.47 |
2.97 |
324038656 |
error (7) |
14.0 |
7.91 |
309268480 |
| pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i |
error |
6.26 |
3.34 |
436723712 |
error (7) |
14.9 |
8.73 |
305995776 |
| pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i |
error |
6.48 |
3.42 |
426622976 |
error (7) |
13.6 |
8.29 |
313729024 |
| pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i |
error |
9.04 |
4.79 |
471109632 |
error (7) |
12.8 |
7.20 |
303308800 |
| pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i |
error |
7.36 |
3.89 |
445906944 |
error (7) |
14.3 |
8.78 |
314417152 |
| pthread-ext/45_monabsex1_vs_true-unreach-call.i |
error |
5.38 |
2.93 |
302202880 |
error (7) |
14.7 |
8.68 |
314818560 |
| pthread-ext/46_monabsex2_vs_true-unreach-call.i |
error |
5.19 |
2.81 |
297619456 |
error (7) |
14.7 |
8.40 |
318603264 |
| pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i |
timeout |
911 |
900 |
6497632256 |
error (2) |
.0198 |
.0202 |
5619712 |
| pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i |
timeout |
911 |
901 |
4063539200 |
error (2) |
.0197 |
.0202 |
5595136 |
| pthread-wmm/mix000_power.oepc_false-unreach-call.i |
false(unreach-call) |
15.3 |
7.89 |
622288896 |
error (7) |
15.1 |
9.25 |
325341184 |
| pthread-wmm/mix000_power.opt_false-unreach-call.i |
false(unreach-call) |
12.5 |
6.46 |
539070464 |
error (7) |
16.2 |
9.57 |
314871808 |
| pthread-wmm/mix000_pso.oepc_false-unreach-call.i |
false(unreach-call) |
15.0 |
7.68 |
692006912 |
error (7) |
15.0 |
9.24 |
316973056 |
| pthread-wmm/mix000_pso.opt_false-unreach-call.i |
false(unreach-call) |
10.9 |
5.68 |
535351296 |
error (7) |
17.4 |
9.96 |
320311296 |
| pthread-wmm/mix000_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
15.9 |
8.24 |
628219904 |
error (7) |
16.5 |
9.95 |
314871808 |
| pthread-wmm/mix000_rmo.opt_false-unreach-call.i |
false(unreach-call) |
12.9 |
6.65 |
541376512 |
error (7) |
16.9 |
10.0 |
324952064 |
| pthread-wmm/mix000_tso.oepc_false-unreach-call.i |
false(unreach-call) |
13.9 |
7.17 |
638156800 |
error (7) |
15.3 |
9.54 |
311427072 |
| pthread-wmm/mix000_tso.opt_false-unreach-call.i |
false(unreach-call) |
12.2 |
6.31 |
546037760 |
error (7) |
16.3 |
10.0 |
320659456 |
| pthread-wmm/mix001_power.oepc_false-unreach-call.i |
false(unreach-call) |
23.4 |
12.4 |
803684352 |
error (7) |
15.4 |
8.71 |
319918080 |
| pthread-wmm/mix001_power.opt_false-unreach-call.i |
false(unreach-call) |
38.7 |
24.2 |
1539190784 |
error (7) |
18.6 |
10.7 |
334024704 |
| pthread-wmm/mix001_pso.oepc_false-unreach-call.i |
false(unreach-call) |
22.3 |
11.6 |
790065152 |
error (7) |
16.4 |
9.85 |
319823872 |
| pthread-wmm/mix001_pso.opt_false-unreach-call.i |
false(unreach-call) |
42.4 |
28.2 |
1570500608 |
error (7) |
16.7 |
10.1 |
334503936 |
| pthread-wmm/mix001_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
20.7 |
11.4 |
788549632 |
error (7) |
16.1 |
9.84 |
317165568 |
| pthread-wmm/mix001_rmo.opt_false-unreach-call.i |
false(unreach-call) |
34.6 |
21.7 |
1422917632 |
error (7) |
17.8 |
10.2 |
333975552 |
| pthread-wmm/mix001_tso.oepc_false-unreach-call.i |
false(unreach-call) |
22.3 |
12.0 |
785768448 |
error (7) |
16.2 |
9.48 |
323903488 |
| pthread-wmm/mix001_tso.opt_false-unreach-call.i |
false(unreach-call) |
36.0 |
22.4 |
1382252544 |
error (7) |
17.1 |
9.95 |
326828032 |
| pthread-wmm/mix002_power.oepc_false-unreach-call.i |
false(unreach-call) |
15.5 |
7.98 |
637210624 |
error (7) |
15.7 |
9.14 |
315850752 |
| pthread-wmm/mix002_power.opt_false-unreach-call.i |
false(unreach-call) |
35.7 |
23.0 |
1583128576 |
error (7) |
17.4 |
10.4 |
326164480 |
| pthread-wmm/mix002_pso.oepc_false-unreach-call.i |
false(unreach-call) |
15.9 |
8.17 |
662695936 |
error (7) |
15.7 |
9.73 |
314716160 |
| pthread-wmm/mix002_pso.opt_false-unreach-call.i |
false(unreach-call) |
45.8 |
29.6 |
1622544384 |
error (7) |
18.8 |
10.5 |
327143424 |
| pthread-wmm/mix002_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
18.9 |
9.72 |
678711296 |
error (7) |
16.0 |
9.66 |
313929728 |
| pthread-wmm/mix002_rmo.opt_false-unreach-call.i |
false(unreach-call) |
45.4 |
28.5 |
1749590016 |
error (7) |
17.2 |
10.3 |
326180864 |
| pthread-wmm/mix002_tso.oepc_false-unreach-call.i |
false(unreach-call) |
16.9 |
8.74 |
749846528 |
error (7) |
15.7 |
9.47 |
312717312 |
| pthread-wmm/mix002_tso.opt_false-unreach-call.i |
false(unreach-call) |
39.9 |
25.8 |
1558368256 |
error (7) |
17.1 |
10.3 |
335921152 |
| pthread-wmm/mix003_power.oepc_false-unreach-call.i |
false(unreach-call) |
17.1 |
8.77 |
632029184 |
error (7) |
16.0 |
9.00 |
318136320 |
| pthread-wmm/mix003_power.opt_false-unreach-call.i |
false(unreach-call) |
36.2 |
22.3 |
1447612416 |
error (7) |
19.2 |
11.0 |
344285184 |
| pthread-wmm/mix003_pso.oepc_false-unreach-call.i |
false(unreach-call) |
16.8 |
8.68 |
625074176 |
error (7) |
15.4 |
9.11 |
323260416 |
| pthread-wmm/mix003_pso.opt_false-unreach-call.i |
false(unreach-call) |
40.4 |
24.8 |
1546702848 |
error (7) |
18.5 |
11.2 |
326893568 |
| pthread-wmm/mix003_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
16.3 |
8.39 |
655687680 |
error (7) |
15.2 |
8.96 |
317939712 |
| pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i |
false(unreach-call) |
36.8 |
23.4 |
1616560128 |
error (7) |
18.6 |
10.7 |
332738560 |
| pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i |
false(unreach-call) |
37.0 |
23.2 |
1465208832 |
error (7) |
17.2 |
9.84 |
325537792 |
| pthread-wmm/mix003_rmo.opt_false-unreach-call.i |
false(unreach-call) |
39.3 |
24.6 |
1515188224 |
error (7) |
16.9 |
9.94 |
330698752 |
| pthread-wmm/mix003_tso.oepc_false-unreach-call.i |
false(unreach-call) |
16.9 |
8.69 |
646922240 |
error (7) |
15.4 |
9.16 |
328273920 |
| pthread-wmm/mix003_tso.opt_false-unreach-call.i |
false(unreach-call) |
34.3 |
20.6 |
1322631168 |
error (7) |
17.1 |
10.3 |
334606336 |
| pthread-wmm/mix004_power.oepc_false-unreach-call.i |
false(unreach-call) |
26.4 |
15.8 |
1195941888 |
error (7) |
16.3 |
9.97 |
319787008 |
| pthread-wmm/mix004_power.opt_false-unreach-call.i |
false(unreach-call) |
297 |
239 |
5442256896 |
error (7) |
17.5 |
10.1 |
325271552 |
| pthread-wmm/mix004_pso.oepc_false-unreach-call.i |
false(unreach-call) |
40.1 |
29.1 |
1319976960 |
error (7) |
15.9 |
9.44 |
319262720 |
| pthread-wmm/mix004_pso.opt_false-unreach-call.i |
false(unreach-call) |
308 |
249 |
5528838144 |
error (7) |
17.8 |
10.6 |
326135808 |
| pthread-wmm/mix004_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
27.2 |
16.2 |
1195864064 |
error (7) |
16.1 |
9.28 |
320409600 |
| pthread-wmm/mix004_rmo.opt_false-unreach-call.i |
false(unreach-call) |
303 |
243 |
5515067392 |
error (7) |
17.2 |
9.76 |
332668928 |
| pthread-wmm/mix004_tso.oepc_false-unreach-call.i |
false(unreach-call) |
38.6 |
27.8 |
1226952704 |
error (7) |
16.1 |
9.81 |
325296128 |
| pthread-wmm/mix004_tso.opt_false-unreach-call.i |
false(unreach-call) |
319 |
257 |
5390819328 |
error (7) |
19.1 |
11.0 |
325373952 |
| pthread-wmm/mix005_power.oepc_false-unreach-call.i |
false(unreach-call) |
43.6 |
32.7 |
1228357632 |
error (7) |
15.2 |
9.02 |
322883584 |
| pthread-wmm/mix005_power.opt_false-unreach-call.i |
false(unreach-call) |
283 |
226 |
5583687680 |
error (7) |
18.2 |
10.4 |
339312640 |
| pthread-wmm/mix005_pso.oepc_false-unreach-call.i |
false(unreach-call) |
30.8 |
19.5 |
1167167488 |
error (7) |
15.5 |
9.48 |
316588032 |
| pthread-wmm/mix005_pso.opt_false-unreach-call.i |
false(unreach-call) |
332 |
261 |
5600751616 |
error (7) |
17.7 |
10.6 |
332361728 |
| pthread-wmm/mix005_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
38.1 |
25.5 |
1247014912 |
error (7) |
16.5 |
9.84 |
326037504 |
| pthread-wmm/mix005_rmo.opt_false-unreach-call.i |
false(unreach-call) |
309 |
245 |
5360848896 |
error (7) |
17.4 |
10.5 |
333848576 |
| pthread-wmm/mix005_tso.oepc_false-unreach-call.i |
false(unreach-call) |
105 |
80.4 |
4209352704 |
error (7) |
18.2 |
10.5 |
325697536 |
| pthread-wmm/mix005_tso.opt_false-unreach-call.i |
false(unreach-call) |
296 |
237 |
5380984832 |
error (7) |
16.8 |
9.50 |
325328896 |
| pthread-wmm/mix006_power.oepc_false-unreach-call.i |
false(unreach-call) |
19.7 |
10.2 |
810446848 |
error (7) |
15.6 |
9.35 |
320397312 |
| pthread-wmm/mix006_power.opt_false-unreach-call.i |
false(unreach-call) |
43.0 |
27.5 |
1810026496 |
error (7) |
17.1 |
9.68 |
333848576 |
| pthread-wmm/mix006_pso.oepc_false-unreach-call.i |
false(unreach-call) |
20.0 |
10.4 |
781426688 |
error (7) |
15.0 |
9.41 |
315715584 |
| pthread-wmm/mix006_pso.opt_false-unreach-call.i |
false(unreach-call) |
38.0 |
25.4 |
1579286528 |
error (7) |
17.4 |
9.69 |
321003520 |
| pthread-wmm/mix006_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
18.6 |
9.77 |
764768256 |
error (7) |
15.8 |
9.32 |
323436544 |
| pthread-wmm/mix006_rmo.opt_false-unreach-call.i |
false(unreach-call) |
43.2 |
27.2 |
1880297472 |
error (7) |
17.2 |
10.1 |
327036928 |
| pthread-wmm/mix006_tso.oepc_false-unreach-call.i |
false(unreach-call) |
163 |
138 |
3916500992 |
error (7) |
18.3 |
10.6 |
351739904 |
| pthread-wmm/mix006_tso.opt_false-unreach-call.i |
false(unreach-call) |
41.7 |
27.1 |
1792049152 |
error (7) |
19.0 |
11.0 |
331223040 |
| pthread-wmm/mix007_power.oepc_false-unreach-call.i |
false(unreach-call) |
40.9 |
24.5 |
1620291584 |
error (7) |
15.2 |
9.02 |
319717376 |
| pthread-wmm/mix007_power.opt_false-unreach-call.i |
false(unreach-call) |
449 |
365 |
6418522112 |
error (7) |
17.8 |
10.4 |
321794048 |
| pthread-wmm/mix007_pso.oepc_false-unreach-call.i |
false(unreach-call) |
37.2 |
25.1 |
1332404224 |
error (7) |
15.5 |
9.57 |
327188480 |
| pthread-wmm/mix007_pso.opt_false-unreach-call.i |
false(unreach-call) |
466 |
383 |
6216007680 |
error (7) |
16.6 |
9.81 |
333422592 |
| pthread-wmm/mix007_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
36.9 |
23.0 |
1530626048 |
error (7) |
16.0 |
9.40 |
327045120 |
| pthread-wmm/mix007_rmo.opt_false-unreach-call.i |
false(unreach-call) |
430 |
356 |
6022320128 |
error (7) |
17.3 |
10.1 |
329113600 |
| pthread-wmm/mix007_tso.oepc_false-unreach-call.i |
false(unreach-call) |
37.0 |
23.0 |
1446014976 |
error (7) |
15.3 |
9.53 |
325238784 |
| pthread-wmm/mix007_tso.opt_false-unreach-call.i |
false(unreach-call) |
460 |
376 |
6345506816 |
error (7) |
19.0 |
10.6 |
333172736 |
| pthread-wmm/mix008_power.oepc_false-unreach-call.i |
false(unreach-call) |
36.9 |
22.7 |
1463681024 |
error (7) |
15.4 |
9.22 |
321310720 |
| pthread-wmm/mix008_power.opt_false-unreach-call.i |
false(unreach-call) |
447 |
363 |
6180532224 |
error (7) |
17.6 |
10.5 |
330035200 |
| pthread-wmm/mix008_pso.oepc_false-unreach-call.i |
false(unreach-call) |
38.0 |
23.5 |
1479868416 |
error (7) |
15.7 |
9.68 |
323743744 |
| pthread-wmm/mix008_pso.opt_false-unreach-call.i |
false(unreach-call) |
481 |
392 |
6186524672 |
error (7) |
17.0 |
9.85 |
324247552 |
| pthread-wmm/mix008_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
38.4 |
24.6 |
1496682496 |
error (7) |
15.4 |
9.01 |
314986496 |
| pthread-wmm/mix008_rmo.opt_false-unreach-call.i |
false(unreach-call) |
419 |
346 |
6062649344 |
error (7) |
16.6 |
9.68 |
323747840 |
| pthread-wmm/mix008_tso.oepc_false-unreach-call.i |
timeout |
935 |
856 |
5822832640 |
error (7) |
19.0 |
11.3 |
334876672 |
| pthread-wmm/mix008_tso.opt_false-unreach-call.i |
false(unreach-call) |
466 |
388 |
6056378368 |
error (7) |
17.4 |
9.72 |
335077376 |
| pthread-wmm/mix009_power.oepc_false-unreach-call.i |
false(unreach-call) |
9.51 |
4.95 |
550920192 |
error (7) |
14.7 |
9.05 |
314712064 |
| pthread-wmm/mix009_power.opt_false-unreach-call.i |
false(unreach-call) |
11.6 |
6.05 |
548478976 |
error (7) |
16.5 |
10.0 |
324833280 |
| pthread-wmm/mix009_pso.oepc_false-unreach-call.i |
false(unreach-call) |
10.5 |
5.46 |
543154176 |
error (7) |
15.2 |
8.96 |
335884288 |
| pthread-wmm/mix009_pso.opt_false-unreach-call.i |
false(unreach-call) |
13.1 |
6.77 |
547573760 |
error (7) |
16.5 |
9.70 |
320802816 |
| pthread-wmm/mix009_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
10.5 |
5.47 |
550383616 |
error (7) |
15.2 |
8.54 |
309927936 |
| pthread-wmm/mix009_rmo.opt_false-unreach-call.i |
false(unreach-call) |
13.5 |
7.02 |
541978624 |
error (7) |
17.2 |
10.1 |
319430656 |
| pthread-wmm/mix009_tso.oepc_false-unreach-call.i |
false(unreach-call) |
10.8 |
5.60 |
555900928 |
error (7) |
15.3 |
8.94 |
320450560 |
| pthread-wmm/mix009_tso.opt_false-unreach-call.i |
false(unreach-call) |
13.4 |
6.89 |
551469056 |
error (7) |
17.8 |
10.2 |
332947456 |
| pthread-wmm/mix010_power.oepc_false-unreach-call.i |
false(unreach-call) |
18.5 |
9.54 |
761118720 |
error (7) |
15.5 |
9.02 |
316481536 |
| pthread-wmm/mix010_power.opt_false-unreach-call.i |
false(unreach-call) |
41.5 |
25.4 |
1491103744 |
error (7) |
17.2 |
9.89 |
323411968 |
| pthread-wmm/mix010_pso.oepc_false-unreach-call.i |
false(unreach-call) |
15.7 |
8.13 |
638795776 |
error (7) |
17.6 |
10.2 |
321171456 |
| pthread-wmm/mix010_pso.opt_false-unreach-call.i |
false(unreach-call) |
42.8 |
26.5 |
1624571904 |
error (7) |
17.1 |
9.92 |
332222464 |
| pthread-wmm/mix010_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
17.5 |
9.02 |
686714880 |
error (7) |
15.2 |
9.07 |
326131712 |
| pthread-wmm/mix010_rmo.opt_false-unreach-call.i |
false(unreach-call) |
40.3 |
24.7 |
1515855872 |
error (7) |
18.0 |
10.2 |
332513280 |
| pthread-wmm/mix010_tso.oepc_false-unreach-call.i |
false(unreach-call) |
17.2 |
8.88 |
696827904 |
error (7) |
15.7 |
9.54 |
328417280 |
| pthread-wmm/mix010_tso.opt_false-unreach-call.i |
false(unreach-call) |
37.0 |
23.1 |
1586462720 |
error (7) |
19.0 |
10.9 |
323158016 |
| pthread-wmm/mix011_power.oepc_false-unreach-call.i |
false(unreach-call) |
16.1 |
8.33 |
739049472 |
error (7) |
15.7 |
9.24 |
315428864 |
| pthread-wmm/mix011_power.opt_false-unreach-call.i |
false(unreach-call) |
35.8 |
22.5 |
1617113088 |
error (7) |
17.2 |
10.4 |
335958016 |
| pthread-wmm/mix011_pso.oepc_false-unreach-call.i |
false(unreach-call) |
15.8 |
8.16 |
620400640 |
error (7) |
15.6 |
9.64 |
319082496 |
| pthread-wmm/mix011_pso.opt_false-unreach-call.i |
false(unreach-call) |
38.1 |
24.5 |
1586483200 |
error (7) |
16.8 |
10.0 |
332906496 |
| pthread-wmm/mix011_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
18.2 |
9.33 |
780034048 |
error (7) |
17.7 |
10.6 |
319201280 |
| pthread-wmm/mix011_rmo.opt_false-unreach-call.i |
false(unreach-call) |
40.1 |
26.4 |
1636036608 |
error (7) |
16.9 |
10.2 |
332226560 |
| pthread-wmm/mix011_tso.oepc_false-unreach-call.i |
false(unreach-call) |
21.6 |
12.3 |
998572032 |
error (7) |
17.5 |
10.1 |
330747904 |
| pthread-wmm/mix011_tso.opt_false-unreach-call.i |
false(unreach-call) |
38.8 |
24.3 |
1552769024 |
error (7) |
17.0 |
9.55 |
319991808 |
| pthread-wmm/mix012_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.0 |
5.21 |
563105792 |
error (7) |
15.3 |
9.31 |
315109376 |
| pthread-wmm/mix012_power.opt_false-unreach-call.i |
false(unreach-call) |
9.43 |
4.93 |
538574848 |
error (7) |
15.6 |
9.46 |
317939712 |
| pthread-wmm/mix012_pso.oepc_false-unreach-call.i |
false(unreach-call) |
10.7 |
5.58 |
550604800 |
error (7) |
15.4 |
8.74 |
313610240 |
| pthread-wmm/mix012_pso.opt_false-unreach-call.i |
false(unreach-call) |
11.5 |
5.95 |
585494528 |
error (7) |
16.5 |
9.58 |
324096000 |
| pthread-wmm/mix012_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
10.6 |
5.50 |
568397824 |
error (7) |
15.1 |
8.57 |
315346944 |
| pthread-wmm/mix012_rmo.opt_false-unreach-call.i |
false(unreach-call) |
10.1 |
5.25 |
529375232 |
error (7) |
15.2 |
8.97 |
314109952 |
| pthread-wmm/mix012_tso.oepc_false-unreach-call.i |
false(unreach-call) |
9.77 |
5.08 |
533917696 |
error (7) |
15.2 |
9.31 |
319225856 |
| pthread-wmm/mix012_tso.opt_false-unreach-call.i |
false(unreach-call) |
12.5 |
6.44 |
524640256 |
error (7) |
17.4 |
10.4 |
333434880 |
| pthread-wmm/mix013_power.oepc_false-unreach-call.i |
false(unreach-call) |
26.8 |
15.9 |
1325891584 |
error (7) |
15.8 |
8.91 |
319741952 |
| pthread-wmm/mix013_power.opt_false-unreach-call.i |
false(unreach-call) |
323 |
257 |
5690515456 |
error (7) |
17.8 |
10.6 |
326377472 |
| pthread-wmm/mix013_pso.oepc_false-unreach-call.i |
false(unreach-call) |
27.9 |
15.9 |
1154830336 |
error (7) |
15.5 |
9.28 |
320606208 |
| pthread-wmm/mix013_pso.opt_false-unreach-call.i |
false(unreach-call) |
308 |
248 |
5456375808 |
error (7) |
18.3 |
10.4 |
330633216 |
| pthread-wmm/mix013_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
29.2 |
16.6 |
1257205760 |
error (7) |
15.5 |
9.41 |
321511424 |
| pthread-wmm/mix013_rmo.opt_false-unreach-call.i |
false(unreach-call) |
305 |
245 |
5457723392 |
error (7) |
16.4 |
9.90 |
324648960 |
| pthread-wmm/mix013_tso.oepc_false-unreach-call.i |
false(unreach-call) |
35.3 |
22.4 |
1353252864 |
error (7) |
15.4 |
9.54 |
323342336 |
| pthread-wmm/mix013_tso.opt_false-unreach-call.i |
false(unreach-call) |
304 |
244 |
5480800256 |
error (7) |
17.8 |
10.6 |
325750784 |
| pthread-wmm/mix014_power.oepc_false-unreach-call.i |
false(unreach-call) |
35.6 |
22.5 |
1509560320 |
error (7) |
15.8 |
9.76 |
315953152 |
| pthread-wmm/mix014_power.opt_false-unreach-call.i |
false(unreach-call) |
420 |
347 |
6016905216 |
error (7) |
17.1 |
10.2 |
326012928 |
| pthread-wmm/mix014_pso.oepc_false-unreach-call.i |
false(unreach-call) |
39.1 |
24.7 |
1482993664 |
error (7) |
16.3 |
9.54 |
323899392 |
| pthread-wmm/mix014_pso.opt_false-unreach-call.i |
false(unreach-call) |
447 |
364 |
6174593024 |
error (7) |
19.5 |
11.2 |
334163968 |
| pthread-wmm/mix014_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
36.5 |
22.2 |
1494544384 |
error (7) |
17.9 |
10.2 |
321118208 |
| pthread-wmm/mix014_rmo.opt_false-unreach-call.i |
false(unreach-call) |
460 |
380 |
5961400320 |
error (7) |
17.4 |
10.1 |
326864896 |
| pthread-wmm/mix014_tso.oepc_false-unreach-call.i |
timeout |
960 |
858 |
6253531136 |
error (invalid witness file) |
5.57 |
3.39 |
270254080 |
| pthread-wmm/mix014_tso.opt_false-unreach-call.i |
false(unreach-call) |
446 |
365 |
6039945216 |
error (7) |
16.7 |
9.84 |
325652480 |
| pthread-wmm/mix015_power.oepc_false-unreach-call.i |
false(unreach-call) |
15.5 |
8.04 |
609206272 |
error (7) |
15.6 |
9.44 |
313470976 |
| pthread-wmm/mix015_power.opt_false-unreach-call.i |
false(unreach-call) |
37.7 |
23.6 |
1620262912 |
error (7) |
17.4 |
10.4 |
336293888 |
| pthread-wmm/mix015_pso.oepc_false-unreach-call.i |
false(unreach-call) |
14.5 |
7.55 |
601346048 |
error (7) |
16.3 |
9.88 |
318500864 |
| pthread-wmm/mix015_pso.opt_false-unreach-call.i |
false(unreach-call) |
43.2 |
30.1 |
1570652160 |
error (7) |
17.0 |
10.3 |
321785856 |
| pthread-wmm/mix015_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
16.7 |
8.58 |
711774208 |
error (7) |
15.8 |
9.31 |
320704512 |
| pthread-wmm/mix015_rmo.opt_false-unreach-call.i |
false(unreach-call) |
38.2 |
24.6 |
1662181376 |
error (7) |
17.3 |
10.2 |
324120576 |
| pthread-wmm/mix015_tso.oepc_false-unreach-call.i |
false(unreach-call) |
15.3 |
7.90 |
608337920 |
error (7) |
15.7 |
9.18 |
314937344 |
| pthread-wmm/mix015_tso.opt_false-unreach-call.i |
false(unreach-call) |
40.5 |
25.3 |
1582624768 |
error (7) |
16.5 |
9.34 |
329981952 |
| pthread-wmm/mix016_power.oepc_false-unreach-call.i |
false(unreach-call) |
15.8 |
8.08 |
605372416 |
error (7) |
15.4 |
9.08 |
319320064 |
| pthread-wmm/mix016_power.opt_false-unreach-call.i |
false(unreach-call) |
44.6 |
34.4 |
1253609472 |
error (7) |
16.5 |
9.98 |
332980224 |
| pthread-wmm/mix016_pso.oepc_false-unreach-call.i |
false(unreach-call) |
15.7 |
8.17 |
606146560 |
error (7) |
15.9 |
9.07 |
318795776 |
| pthread-wmm/mix016_pso.opt_false-unreach-call.i |
false(unreach-call) |
35.9 |
22.1 |
1480937472 |
error (7) |
16.6 |
9.45 |
326332416 |
| pthread-wmm/mix016_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
15.9 |
8.20 |
615555072 |
error (7) |
16.2 |
9.81 |
319287296 |
| pthread-wmm/mix016_rmo.opt_false-unreach-call.i |
false(unreach-call) |
28.6 |
16.1 |
1335898112 |
error (7) |
16.7 |
10.1 |
323629056 |
| pthread-wmm/mix016_tso.oepc_false-unreach-call.i |
false(unreach-call) |
15.9 |
8.19 |
618577920 |
error (7) |
15.2 |
9.12 |
324345856 |
| pthread-wmm/mix016_tso.opt_false-unreach-call.i |
false(unreach-call) |
30.2 |
18.9 |
1304743936 |
error (7) |
17.2 |
10.2 |
325865472 |
| pthread-wmm/mix017_power.oepc_false-unreach-call.i |
false(unreach-call) |
34.1 |
21.3 |
1244119040 |
error (7) |
17.3 |
10.4 |
315772928 |
| pthread-wmm/mix017_power.opt_false-unreach-call.i |
false(unreach-call) |
203 |
159 |
4936400896 |
error (7) |
17.7 |
10.9 |
335560704 |
| pthread-wmm/mix017_pso.oepc_false-unreach-call.i |
false(unreach-call) |
45.9 |
34.7 |
1304109056 |
error (7) |
15.9 |
9.27 |
321658880 |
| pthread-wmm/mix017_pso.opt_false-unreach-call.i |
false(unreach-call) |
275 |
222 |
5220962304 |
error (7) |
17.2 |
10.5 |
336265216 |
| pthread-wmm/mix017_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
29.4 |
19.3 |
1276100608 |
error (7) |
15.4 |
9.06 |
333352960 |
| pthread-wmm/mix017_rmo.opt_false-unreach-call.i |
false(unreach-call) |
243 |
191 |
4979306496 |
error (7) |
17.3 |
10.2 |
337797120 |
| pthread-wmm/mix017_tso.oepc_false-unreach-call.i |
false(unreach-call) |
29.7 |
19.4 |
1263603712 |
error (7) |
15.9 |
9.22 |
319975424 |
| pthread-wmm/mix017_tso.opt_false-unreach-call.i |
false(unreach-call) |
276 |
219 |
5415354368 |
error (7) |
18.3 |
10.5 |
328122368 |
| pthread-wmm/mix018_power.oepc_false-unreach-call.i |
false(unreach-call) |
25.6 |
15.1 |
1172221952 |
error (7) |
15.5 |
9.63 |
324702208 |
| pthread-wmm/mix018_power.opt_false-unreach-call.i |
false(unreach-call) |
279 |
223 |
5331369984 |
error (7) |
18.0 |
10.5 |
335589376 |
| pthread-wmm/mix018_pso.oepc_false-unreach-call.i |
false(unreach-call) |
33.4 |
21.1 |
1203380224 |
error (7) |
15.5 |
9.22 |
316108800 |
| pthread-wmm/mix018_pso.opt_false-unreach-call.i |
false(unreach-call) |
269 |
215 |
5242241024 |
error (7) |
18.9 |
11.2 |
332795904 |
| pthread-wmm/mix018_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
28.8 |
16.5 |
1223467008 |
error (7) |
16.2 |
9.83 |
327131136 |
| pthread-wmm/mix018_rmo.opt_false-unreach-call.i |
false(unreach-call) |
293 |
235 |
5357617152 |
error (7) |
17.1 |
10.1 |
329211904 |
| pthread-wmm/mix018_tso.oepc_false-unreach-call.i |
false(unreach-call) |
99.1 |
76.0 |
4081815552 |
error (7) |
16.9 |
10.3 |
324546560 |
| pthread-wmm/mix018_tso.opt_false-unreach-call.i |
false(unreach-call) |
273 |
216 |
5399363584 |
error (7) |
18.0 |
10.8 |
329326592 |
| pthread-wmm/mix019_power.oepc_false-unreach-call.i |
false(unreach-call) |
16.6 |
8.53 |
600068096 |
error (7) |
15.3 |
9.36 |
315920384 |
| pthread-wmm/mix019_power.opt_false-unreach-call.i |
false(unreach-call) |
34.7 |
21.4 |
1426354176 |
error (7) |
19.1 |
11.5 |
320593920 |
| pthread-wmm/mix019_pso.oepc_false-unreach-call.i |
false(unreach-call) |
14.6 |
7.57 |
609992704 |
error (7) |
15.4 |
9.20 |
320897024 |
| pthread-wmm/mix019_pso.opt_false-unreach-call.i |
false(unreach-call) |
38.0 |
23.2 |
1543008256 |
error (7) |
16.5 |
9.92 |
322191360 |
| pthread-wmm/mix019_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
15.9 |
8.16 |
608997376 |
error (7) |
15.0 |
9.16 |
312586240 |
| pthread-wmm/mix019_rmo.opt_false-unreach-call.i |
false(unreach-call) |
67.6 |
55.1 |
1355694080 |
error (7) |
16.5 |
9.90 |
326541312 |
| pthread-wmm/mix019_tso.oepc_false-unreach-call.i |
false(unreach-call) |
24.6 |
13.3 |
959832064 |
error (7) |
20.4 |
12.0 |
332734464 |
| pthread-wmm/mix019_tso.opt_false-unreach-call.i |
false(unreach-call) |
35.5 |
21.7 |
1515278336 |
error (7) |
17.0 |
9.95 |
329949184 |
| pthread-wmm/mix020_power.oepc_false-unreach-call.i |
false(unreach-call) |
41.6 |
30.5 |
1210724352 |
error (7) |
15.2 |
9.31 |
321576960 |
| pthread-wmm/mix020_power.opt_false-unreach-call.i |
false(unreach-call) |
279 |
222 |
5252780032 |
error (7) |
17.2 |
10.1 |
338485248 |
| pthread-wmm/mix020_pso.oepc_false-unreach-call.i |
false(unreach-call) |
32.5 |
22.0 |
1163698176 |
error (7) |
15.7 |
9.57 |
318287872 |
| pthread-wmm/mix020_pso.opt_false-unreach-call.i |
false(unreach-call) |
291 |
233 |
5391872000 |
error (7) |
17.0 |
9.92 |
321818624 |
| pthread-wmm/mix020_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
29.8 |
17.6 |
1209483264 |
error (7) |
15.7 |
9.18 |
317947904 |
| pthread-wmm/mix020_rmo.opt_false-unreach-call.i |
false(unreach-call) |
269 |
215 |
5266116608 |
error (7) |
17.1 |
10.5 |
327221248 |
| pthread-wmm/mix020_tso.oepc_false-unreach-call.i |
false(unreach-call) |
24.6 |
14.3 |
1182437376 |
error (7) |
15.3 |
9.04 |
324939776 |
| pthread-wmm/mix020_tso.opt_false-unreach-call.i |
false(unreach-call) |
295 |
236 |
5250953216 |
error (7) |
18.3 |
11.0 |
340172800 |
| pthread-wmm/mix021_power.oepc_false-unreach-call.i |
false(unreach-call) |
34.9 |
23.2 |
1210183680 |
error (7) |
16.1 |
9.45 |
320532480 |
| pthread-wmm/mix021_power.opt_false-unreach-call.i |
false(unreach-call) |
261 |
208 |
5209542656 |
error (7) |
18.7 |
11.2 |
339599360 |
| pthread-wmm/mix021_pso.oepc_false-unreach-call.i |
false(unreach-call) |
32.6 |
22.6 |
1239506944 |
error (7) |
16.6 |
9.35 |
335347712 |
| pthread-wmm/mix021_pso.opt_false-unreach-call.i |
false(unreach-call) |
289 |
231 |
5291716608 |
error (7) |
18.7 |
10.6 |
325910528 |
| pthread-wmm/mix021_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
31.7 |
18.9 |
1169653760 |
error (7) |
15.1 |
9.23 |
321601536 |
| pthread-wmm/mix021_rmo.opt_false-unreach-call.i |
false(unreach-call) |
290 |
233 |
5323673600 |
error (7) |
17.8 |
10.8 |
333729792 |
| pthread-wmm/mix021_tso.oepc_false-unreach-call.i |
false(unreach-call) |
206 |
172 |
4798922752 |
error (7) |
18.4 |
11.0 |
344883200 |
| pthread-wmm/mix021_tso.opt_false-unreach-call.i |
false(unreach-call) |
279 |
223 |
5286649856 |
error (7) |
17.7 |
10.0 |
333176832 |
| pthread-wmm/mix022_power.oepc_false-unreach-call.i |
false(unreach-call) |
11.0 |
5.70 |
563740672 |
error (7) |
16.3 |
9.46 |
319340544 |
| pthread-wmm/mix022_power.opt_false-unreach-call.i |
false(unreach-call) |
11.3 |
5.86 |
537427968 |
error (7) |
15.1 |
9.00 |
317833216 |
| pthread-wmm/mix022_pso.oepc_false-unreach-call.i |
false(unreach-call) |
9.77 |
5.13 |
558575616 |
error (7) |
14.6 |
8.63 |
322179072 |
| pthread-wmm/mix022_pso.opt_false-unreach-call.i |
false(unreach-call) |
10.7 |
5.55 |
560631808 |
error (7) |
14.7 |
8.75 |
314957824 |
| pthread-wmm/mix022_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
11.2 |
5.82 |
552857600 |
error (7) |
15.9 |
9.68 |
319053824 |
| pthread-wmm/mix022_rmo.opt_false-unreach-call.i |
false(unreach-call) |
11.0 |
5.72 |
552353792 |
error (7) |
14.8 |
9.07 |
311406592 |
| pthread-wmm/mix022_tso.oepc_false-unreach-call.i |
false(unreach-call) |
12.1 |
6.28 |
543666176 |
error (7) |
16.8 |
10.2 |
330276864 |
| pthread-wmm/mix022_tso.opt_false-unreach-call.i |
false(unreach-call) |
12.1 |
6.24 |
555323392 |
error (7) |
17.3 |
10.1 |
335339520 |
| pthread-wmm/mix023_power.oepc_false-unreach-call.i |
false(unreach-call) |
39.1 |
26.2 |
1780740096 |
error (7) |
16.4 |
9.89 |
324042752 |
| pthread-wmm/mix023_power.opt_false-unreach-call.i |
false(unreach-call) |
488 |
407 |
6243835904 |
error (7) |
17.7 |
10.5 |
327557120 |
| pthread-wmm/mix023_pso.oepc_false-unreach-call.i |
false(unreach-call) |
86.1 |
72.0 |
1591947264 |
error (7) |
16.0 |
9.25 |
317063168 |
| pthread-wmm/mix023_pso.opt_false-unreach-call.i |
false(unreach-call) |
497 |
410 |
6215852032 |
error (7) |
17.9 |
10.8 |
344219648 |
| pthread-wmm/mix023_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
41.7 |
27.1 |
1628794880 |
error (7) |
15.5 |
9.51 |
321101824 |
| pthread-wmm/mix023_rmo.opt_false-unreach-call.i |
false(unreach-call) |
494 |
400 |
6245564416 |
error (7) |
20.9 |
11.8 |
336801792 |
| pthread-wmm/mix023_tso.oepc_false-unreach-call.i |
timeout |
943 |
867 |
5714268160 |
error (7) |
20.0 |
11.9 |
341602304 |
| pthread-wmm/mix023_tso.opt_false-unreach-call.i |
timeout |
938 |
862 |
5707538432 |
error (7) |
18.4 |
11.0 |
341262336 |
| pthread-wmm/mix024_power.oepc_false-unreach-call.i |
false(unreach-call) |
18.3 |
9.41 |
739598336 |
error (7) |
15.6 |
9.61 |
318791680 |
| pthread-wmm/mix024_power.opt_false-unreach-call.i |
false(unreach-call) |
47.9 |
35.6 |
1507082240 |
error (7) |
17.3 |
10.3 |
334036992 |
| pthread-wmm/mix024_pso.oepc_false-unreach-call.i |
false(unreach-call) |
18.3 |
9.40 |
761196544 |
error (7) |
15.7 |
9.54 |
321314816 |
| pthread-wmm/mix024_pso.opt_false-unreach-call.i |
false(unreach-call) |
50.9 |
37.8 |
1489936384 |
error (7) |
15.9 |
9.35 |
321265664 |
| pthread-wmm/mix024_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
17.3 |
9.02 |
824508416 |
error (7) |
16.0 |
9.92 |
319508480 |
| pthread-wmm/mix024_rmo.opt_false-unreach-call.i |
false(unreach-call) |
46.8 |
33.4 |
1500434432 |
error (7) |
16.4 |
9.69 |
323723264 |
| pthread-wmm/mix024_tso.oepc_false-unreach-call.i |
false(unreach-call) |
18.0 |
9.37 |
735703040 |
error (7) |
15.5 |
9.10 |
313417728 |
| pthread-wmm/mix024_tso.opt_false-unreach-call.i |
false(unreach-call) |
19.4 |
9.98 |
774881280 |
error (7) |
15.3 |
9.42 |
324530176 |
| pthread-wmm/mix025_power.oepc_false-unreach-call.i |
false(unreach-call) |
17.5 |
9.16 |
777990144 |
error (7) |
15.5 |
9.23 |
316850176 |
| pthread-wmm/mix025_power.opt_false-unreach-call.i |
false(unreach-call) |
17.1 |
9.11 |
793944064 |
error (7) |
16.1 |
9.75 |
326664192 |
| pthread-wmm/mix025_pso.oepc_false-unreach-call.i |
false(unreach-call) |
18.2 |
9.49 |
810856448 |
error (7) |
15.5 |
9.04 |
321019904 |
| pthread-wmm/mix025_pso.opt_false-unreach-call.i |
false(unreach-call) |
35.9 |
24.3 |
1380429824 |
error (7) |
17.2 |
9.98 |
319672320 |
| pthread-wmm/mix025_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
17.9 |
9.24 |
753954816 |
error (7) |
15.2 |
9.46 |
322822144 |
| pthread-wmm/mix025_rmo.opt_false-unreach-call.i |
false(unreach-call) |
38.3 |
25.1 |
1513037824 |
error (7) |
16.9 |
9.51 |
322519040 |
| pthread-wmm/mix025_tso.oepc_false-unreach-call.i |
false(unreach-call) |
17.5 |
9.15 |
796999680 |
error (7) |
15.9 |
9.63 |
312868864 |
| pthread-wmm/mix025_tso.opt_false-unreach-call.i |
false(unreach-call) |
17.0 |
8.89 |
787320832 |
error (7) |
15.5 |
9.29 |
312860672 |
| pthread-wmm/mix026_power.oepc_false-unreach-call.i |
false(unreach-call) |
50.7 |
36.7 |
1530531840 |
error (7) |
16.2 |
9.45 |
322228224 |
| pthread-wmm/mix026_power.opt_false-unreach-call.i |
false(unreach-call) |
158 |
124 |
4509904896 |
error (7) |
18.2 |
10.9 |
336723968 |
| pthread-wmm/mix026_pso.oepc_false-unreach-call.i |
false(unreach-call) |
28.7 |
18.0 |
1408241664 |
error (7) |
15.4 |
9.08 |
318980096 |
| pthread-wmm/mix026_pso.opt_false-unreach-call.i |
false(unreach-call) |
273 |
219 |
5272735744 |
error (7) |
17.7 |
10.0 |
337072128 |
| pthread-wmm/mix026_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
30.8 |
19.0 |
1420042240 |
error (7) |
15.8 |
9.71 |
321392640 |
| pthread-wmm/mix026_rmo.opt_false-unreach-call.i |
false(unreach-call) |
283 |
227 |
5356617728 |
error (7) |
16.7 |
10.0 |
332779520 |
| pthread-wmm/mix026_tso.oepc_false-unreach-call.i |
false(unreach-call) |
34.0 |
21.4 |
1378779136 |
error (7) |
16.7 |
10.1 |
317390848 |
| pthread-wmm/mix026_tso.opt_false-unreach-call.i |
false(unreach-call) |
170 |
133 |
4540649472 |
error (7) |
17.6 |
10.5 |
327819264 |
| pthread-wmm/mix027_power.oepc_false-unreach-call.i |
false(unreach-call) |
32.6 |
20.6 |
1457172480 |
error (7) |
16.3 |
9.76 |
325668864 |
| pthread-wmm/mix027_power.opt_false-unreach-call.i |
false(unreach-call) |
293 |
234 |
5411889152 |
error (7) |
17.2 |
10.0 |
332644352 |
| pthread-wmm/mix027_pso.oepc_false-unreach-call.i |
false(unreach-call) |
31.4 |
19.0 |
1377132544 |
error (7) |
16.3 |
9.80 |
319901696 |
| pthread-wmm/mix027_pso.opt_false-unreach-call.i |
false(unreach-call) |
280 |
226 |
5320884224 |
error (7) |
16.9 |
10.3 |
320614400 |
| pthread-wmm/mix027_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
45.9 |
31.5 |
1482092544 |
error (7) |
15.9 |
9.60 |
320786432 |
| pthread-wmm/mix027_rmo.opt_false-unreach-call.i |
false(unreach-call) |
291 |
233 |
5362769920 |
error (7) |
16.8 |
9.45 |
323780608 |
| pthread-wmm/mix027_tso.oepc_false-unreach-call.i |
false(unreach-call) |
129 |
104 |
4368936960 |
error (7) |
18.9 |
11.0 |
333971456 |
| pthread-wmm/mix027_tso.opt_false-unreach-call.i |
false(unreach-call) |
139 |
112 |
4284112896 |
error (7) |
17.2 |
10.2 |
328794112 |
| pthread-wmm/mix028_power.oepc_false-unreach-call.i |
false(unreach-call) |
17.2 |
8.88 |
788455424 |
error (7) |
15.4 |
9.53 |
315383808 |
| pthread-wmm/mix028_power.opt_false-unreach-call.i |
false(unreach-call) |
26.8 |
14.7 |
1169989632 |
error (7) |
17.6 |
10.2 |
327102464 |
| pthread-wmm/mix028_pso.oepc_false-unreach-call.i |
false(unreach-call) |
17.2 |
9.04 |
804806656 |
error (7) |
15.4 |
9.07 |
316416000 |
| pthread-wmm/mix028_pso.opt_false-unreach-call.i |
false(unreach-call) |
25.3 |
14.8 |
1260552192 |
error (7) |
17.0 |
10.2 |
325758976 |
| pthread-wmm/mix028_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
18.8 |
9.72 |
759431168 |
error (7) |
15.6 |
9.13 |
318550016 |
| pthread-wmm/mix028_rmo.opt_false-unreach-call.i |
false(unreach-call) |
36.4 |
26.2 |
1252401152 |
error (7) |
16.8 |
9.83 |
335663104 |
| pthread-wmm/mix028_tso.oepc_false-unreach-call.i |
false(unreach-call) |
31.6 |
19.8 |
1360642048 |
error (7) |
18.3 |
10.7 |
322142208 |
| pthread-wmm/mix028_tso.opt_false-unreach-call.i |
false(unreach-call) |
36.3 |
22.5 |
1434370048 |
error (7) |
16.8 |
9.86 |
330911744 |
| pthread-wmm/mix029_power.oepc_false-unreach-call.i |
false(unreach-call) |
31.2 |
19.1 |
1408925696 |
error (7) |
16.5 |
9.62 |
323137536 |
| pthread-wmm/mix029_power.opt_false-unreach-call.i |
false(unreach-call) |
283 |
236 |
4841426944 |
error (7) |
19.5 |
11.5 |
336355328 |
| pthread-wmm/mix029_pso.oepc_false-unreach-call.i |
false(unreach-call) |
38.1 |
25.5 |
1421684736 |
error (7) |
15.7 |
9.26 |
316268544 |
| pthread-wmm/mix029_pso.opt_false-unreach-call.i |
false(unreach-call) |
272 |
228 |
5078740992 |
error (7) |
17.4 |
10.1 |
329113600 |
| pthread-wmm/mix029_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
43.5 |
30.4 |
1519316992 |
error (7) |
15.1 |
9.06 |
322158592 |
| pthread-wmm/mix029_rmo.opt_false-unreach-call.i |
false(unreach-call) |
269 |
226 |
4787986432 |
error (7) |
18.4 |
10.5 |
332124160 |
| pthread-wmm/mix029_tso.oepc_false-unreach-call.i |
false(unreach-call) |
31.1 |
18.9 |
1341894656 |
error (7) |
16.0 |
9.35 |
328732672 |
| pthread-wmm/mix029_tso.opt_false-unreach-call.i |
false(unreach-call) |
30.7 |
19.2 |
1454342144 |
error (7) |
15.7 |
8.78 |
320909312 |
| pthread-wmm/mix030_power.oepc_false-unreach-call.i |
false(unreach-call) |
30.7 |
19.0 |
1414619136 |
error (7) |
15.1 |
8.94 |
319926272 |
| pthread-wmm/mix030_power.opt_false-unreach-call.i |
false(unreach-call) |
256 |
218 |
4920872960 |
error (7) |
17.5 |
10.1 |
338018304 |
| pthread-wmm/mix030_pso.oepc_false-unreach-call.i |
false(unreach-call) |
37.7 |
22.7 |
1465421824 |
error (7) |
15.5 |
9.59 |
319520768 |
| pthread-wmm/mix030_pso.opt_false-unreach-call.i |
false(unreach-call) |
246 |
207 |
4973744128 |
error (7) |
17.9 |
10.7 |
338501632 |
| pthread-wmm/mix030_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
43.4 |
30.0 |
1332449280 |
error (7) |
15.7 |
9.53 |
320544768 |
| pthread-wmm/mix030_rmo.opt_false-unreach-call.i |
false(unreach-call) |
260 |
221 |
4958670848 |
error (7) |
17.3 |
10.6 |
325857280 |
| pthread-wmm/mix030_tso.oepc_false-unreach-call.i |
false(unreach-call) |
293 |
241 |
5346275328 |
error (7) |
18.3 |
10.6 |
327741440 |
| pthread-wmm/mix030_tso.opt_false-unreach-call.i |
false(unreach-call) |
314 |
255 |
5360701440 |
error (7) |
18.1 |
10.5 |
329072640 |
| pthread-wmm/mix031_power.oepc_false-unreach-call.i |
false(unreach-call) |
9.78 |
5.11 |
547893248 |
error (7) |
15.5 |
9.16 |
316416000 |
| pthread-wmm/mix031_power.opt_false-unreach-call.i |
false(unreach-call) |
9.78 |
5.13 |
509644800 |
error (7) |
16.4 |
9.95 |
327041024 |
| pthread-wmm/mix031_pso.oepc_false-unreach-call.i |
false(unreach-call) |
10.7 |
5.57 |
533155840 |
error (7) |
15.1 |
8.92 |
314806272 |
| pthread-wmm/mix031_pso.opt_false-unreach-call.i |
false(unreach-call) |
9.82 |
5.11 |
508821504 |
error (7) |
15.7 |
9.19 |
323493888 |
| pthread-wmm/mix031_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
10.8 |
5.57 |
539164672 |
error (7) |
14.9 |
9.40 |
319287296 |
| pthread-wmm/mix031_rmo.opt_false-unreach-call.i |
false(unreach-call) |
9.81 |
5.16 |
498401280 |
error (7) |
16.5 |
10.1 |
321888256 |
| pthread-wmm/mix031_tso.oepc_false-unreach-call.i |
false(unreach-call) |
9.38 |
4.90 |
538677248 |
error (7) |
15.8 |
8.93 |
322838528 |
| pthread-wmm/mix031_tso.opt_false-unreach-call.i |
false(unreach-call) |
9.53 |
4.98 |
506368000 |
error (7) |
16.1 |
9.89 |
323461120 |
| pthread-wmm/mix032_power.oepc_false-unreach-call.i |
false(unreach-call) |
17.7 |
9.10 |
742182912 |
error (7) |
15.2 |
9.39 |
309903360 |
| pthread-wmm/mix032_power.opt_false-unreach-call.i |
false(unreach-call) |
20.4 |
10.8 |
875921408 |
error (7) |
16.0 |
9.37 |
323223552 |
| pthread-wmm/mix032_pso.oepc_false-unreach-call.i |
false(unreach-call) |
17.6 |
9.09 |
747106304 |
error (7) |
17.3 |
10.1 |
317636608 |
| pthread-wmm/mix032_pso.opt_false-unreach-call.i |
false(unreach-call) |
19.7 |
10.5 |
1003929600 |
error (7) |
16.9 |
10.3 |
324005888 |
| pthread-wmm/mix032_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
15.2 |
7.91 |
665837568 |
error (7) |
15.0 |
9.39 |
319250432 |
| pthread-wmm/mix032_rmo.opt_false-unreach-call.i |
false(unreach-call) |
19.8 |
10.6 |
945020928 |
error (7) |
17.1 |
10.3 |
332148736 |
| pthread-wmm/mix032_tso.oepc_false-unreach-call.i |
false(unreach-call) |
17.7 |
9.18 |
785666048 |
error (7) |
15.2 |
9.05 |
323559424 |
| pthread-wmm/mix032_tso.opt_false-unreach-call.i |
false(unreach-call) |
20.4 |
10.8 |
937857024 |
error (7) |
17.0 |
9.84 |
322609152 |
| pthread-wmm/mix033_power.oepc_false-unreach-call.i |
false(unreach-call) |
17.4 |
8.94 |
729796608 |
error (7) |
15.5 |
9.20 |
312688640 |
| pthread-wmm/mix033_power.opt_false-unreach-call.i |
false(unreach-call) |
21.6 |
11.3 |
958382080 |
error (7) |
17.0 |
9.49 |
330608640 |
| pthread-wmm/mix033_pso.oepc_false-unreach-call.i |
false(unreach-call) |
16.5 |
8.63 |
760066048 |
error (7) |
15.5 |
9.11 |
322748416 |
| pthread-wmm/mix033_pso.opt_false-unreach-call.i |
false(unreach-call) |
20.4 |
11.0 |
946651136 |
error (7) |
16.9 |
10.2 |
325025792 |
| pthread-wmm/mix033_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
15.9 |
8.22 |
771465216 |
error (7) |
16.0 |
9.46 |
321314816 |
| pthread-wmm/mix033_rmo.opt_false-unreach-call.i |
false(unreach-call) |
20.8 |
11.0 |
946819072 |
error (7) |
18.2 |
10.7 |
332431360 |
| pthread-wmm/mix033_tso.oepc_false-unreach-call.i |
false(unreach-call) |
24.5 |
13.9 |
1205080064 |
error (7) |
17.6 |
10.3 |
340361216 |
| pthread-wmm/mix033_tso.opt_false-unreach-call.i |
false(unreach-call) |
20.6 |
10.9 |
922378240 |
error (7) |
17.5 |
10.0 |
325578752 |
| pthread-wmm/mix034_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.7 |
5.56 |
561070080 |
error (7) |
17.2 |
10.3 |
325476352 |
| pthread-wmm/mix034_power.opt_false-unreach-call.i |
false(unreach-call) |
10.7 |
5.57 |
556052480 |
error (7) |
16.3 |
9.48 |
323239936 |
| pthread-wmm/mix034_pso.oepc_false-unreach-call.i |
false(unreach-call) |
11.2 |
5.82 |
539467776 |
error (7) |
15.0 |
9.15 |
311685120 |
| pthread-wmm/mix034_pso.opt_false-unreach-call.i |
false(unreach-call) |
10.1 |
5.24 |
469569536 |
error (7) |
16.3 |
9.86 |
323289088 |
| pthread-wmm/mix034_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
10.0 |
5.23 |
540803072 |
error (7) |
15.9 |
9.57 |
312942592 |
| pthread-wmm/mix034_rmo.opt_false-unreach-call.i |
false(unreach-call) |
10.8 |
5.61 |
547553280 |
error (7) |
15.2 |
9.26 |
314396672 |
| pthread-wmm/mix034_tso.oepc_false-unreach-call.i |
false(unreach-call) |
10.4 |
5.44 |
564371456 |
error (7) |
16.8 |
9.63 |
318386176 |
| pthread-wmm/mix034_tso.opt_false-unreach-call.i |
false(unreach-call) |
9.30 |
4.89 |
469913600 |
error (7) |
17.9 |
10.7 |
321339392 |
| pthread-wmm/mix035_power.oepc_false-unreach-call.i |
false(unreach-call) |
15.7 |
8.13 |
607805440 |
error (7) |
15.5 |
9.71 |
319782912 |
| pthread-wmm/mix035_power.opt_false-unreach-call.i |
false(unreach-call) |
38.6 |
25.8 |
1435623424 |
error (7) |
17.5 |
10.5 |
322834432 |
| pthread-wmm/mix035_pso.oepc_false-unreach-call.i |
false(unreach-call) |
16.6 |
8.56 |
619208704 |
error (7) |
16.8 |
10.1 |
318509056 |
| pthread-wmm/mix035_pso.opt_false-unreach-call.i |
false(unreach-call) |
19.6 |
10.3 |
858611712 |
error (7) |
16.7 |
9.41 |
323297280 |
| pthread-wmm/mix035_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
16.9 |
8.72 |
618381312 |
error (7) |
16.0 |
10.0 |
316600320 |
| pthread-wmm/mix035_rmo.opt_false-unreach-call.i |
false(unreach-call) |
28.9 |
17.0 |
1397514240 |
error (7) |
16.4 |
9.93 |
324227072 |
| pthread-wmm/mix035_tso.oepc_false-unreach-call.i |
false(unreach-call) |
16.4 |
8.50 |
619945984 |
error (7) |
17.0 |
9.87 |
321716224 |
| pthread-wmm/mix035_tso.opt_false-unreach-call.i |
false(unreach-call) |
20.8 |
10.8 |
912257024 |
error (7) |
17.1 |
10.3 |
322818048 |
| pthread-wmm/mix036_power.oepc_false-unreach-call.i |
false(unreach-call) |
32.9 |
21.0 |
1242271744 |
error (7) |
16.6 |
9.99 |
323309568 |
| pthread-wmm/mix036_power.opt_false-unreach-call.i |
false(unreach-call) |
237 |
186 |
5129457664 |
error (7) |
19.6 |
11.3 |
334577664 |
| pthread-wmm/mix036_pso.oepc_false-unreach-call.i |
false(unreach-call) |
31.1 |
20.1 |
1325694976 |
error (7) |
15.7 |
9.39 |
319889408 |
| pthread-wmm/mix036_pso.opt_false-unreach-call.i |
false(unreach-call) |
201 |
164 |
4645629952 |
error (7) |
17.1 |
9.99 |
327323648 |
| pthread-wmm/mix036_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
27.4 |
16.1 |
1181671424 |
error (7) |
15.6 |
9.15 |
323842048 |
| pthread-wmm/mix036_rmo.opt_false-unreach-call.i |
false(unreach-call) |
231 |
180 |
5155590144 |
error (7) |
18.0 |
10.9 |
337178624 |
| pthread-wmm/mix036_tso.oepc_false-unreach-call.i |
false(unreach-call) |
28.0 |
16.5 |
1231659008 |
error (7) |
15.2 |
9.22 |
315355136 |
| pthread-wmm/mix036_tso.opt_false-unreach-call.i |
false(unreach-call) |
159 |
121 |
4747350016 |
error (7) |
17.3 |
10.5 |
328425472 |
| pthread-wmm/mix037_power.oepc_false-unreach-call.i |
false(unreach-call) |
25.2 |
14.8 |
1251827712 |
error (7) |
15.2 |
9.08 |
319512576 |
| pthread-wmm/mix037_power.opt_false-unreach-call.i |
false(unreach-call) |
138 |
104 |
4639318016 |
error (7) |
17.6 |
10.6 |
340119552 |
| pthread-wmm/mix037_pso.oepc_false-unreach-call.i |
false(unreach-call) |
40.1 |
29.4 |
1284739072 |
error (7) |
15.9 |
9.62 |
321265664 |
| pthread-wmm/mix037_pso.opt_false-unreach-call.i |
false(unreach-call) |
139 |
103 |
4672995328 |
error (7) |
20.3 |
11.9 |
329965568 |
| pthread-wmm/mix037_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
31.2 |
18.8 |
1220841472 |
error (7) |
15.6 |
8.85 |
323743744 |
| pthread-wmm/mix037_rmo.opt_false-unreach-call.i |
false(unreach-call) |
136 |
100 |
4721799168 |
error (7) |
18.0 |
10.4 |
325890048 |
| pthread-wmm/mix037_tso.oepc_false-unreach-call.i |
false(unreach-call) |
101 |
77.3 |
4310523904 |
error (7) |
19.0 |
11.3 |
333094912 |
| pthread-wmm/mix037_tso.opt_false-unreach-call.i |
false(unreach-call) |
137 |
102 |
4728078336 |
error (7) |
18.9 |
10.9 |
333377536 |
| pthread-wmm/mix038_power.oepc_false-unreach-call.i |
false(unreach-call) |
16.2 |
8.38 |
618582016 |
error (7) |
17.9 |
10.2 |
318406656 |
| pthread-wmm/mix038_power.opt_false-unreach-call.i |
false(unreach-call) |
19.4 |
10.3 |
836792320 |
error (7) |
17.4 |
10.1 |
331870208 |
| pthread-wmm/mix038_pso.oepc_false-unreach-call.i |
false(unreach-call) |
14.8 |
7.70 |
604520448 |
error (7) |
15.9 |
9.17 |
329785344 |
| pthread-wmm/mix038_pso.opt_false-unreach-call.i |
false(unreach-call) |
18.8 |
9.92 |
869449728 |
error (7) |
17.2 |
9.81 |
325791744 |
| pthread-wmm/mix038_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
14.7 |
7.56 |
602112000 |
error (7) |
15.4 |
9.20 |
323350528 |
| pthread-wmm/mix038_rmo.opt_false-unreach-call.i |
false(unreach-call) |
19.3 |
10.1 |
858492928 |
error (7) |
17.6 |
10.3 |
333770752 |
| pthread-wmm/mix038_tso.oepc_false-unreach-call.i |
false(unreach-call) |
22.5 |
12.6 |
1014640640 |
error (7) |
17.4 |
10.2 |
338194432 |
| pthread-wmm/mix038_tso.opt_false-unreach-call.i |
false(unreach-call) |
19.4 |
10.1 |
854016000 |
error (7) |
16.9 |
10.3 |
327217152 |
| pthread-wmm/mix039_power.oepc_false-unreach-call.i |
false(unreach-call) |
29.2 |
16.9 |
1251799040 |
error (7) |
15.5 |
9.64 |
322887680 |
| pthread-wmm/mix039_power.opt_false-unreach-call.i |
false(unreach-call) |
202 |
163 |
4752441344 |
error (7) |
17.2 |
10.1 |
334909440 |
| pthread-wmm/mix039_pso.oepc_false-unreach-call.i |
false(unreach-call) |
27.2 |
16.0 |
1295204352 |
error (7) |
16.5 |
9.59 |
321712128 |
| pthread-wmm/mix039_pso.opt_false-unreach-call.i |
false(unreach-call) |
134 |
99.9 |
4696367104 |
error (7) |
17.0 |
10.3 |
330694656 |
| pthread-wmm/mix039_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
36.9 |
25.7 |
1238958080 |
error (7) |
17.3 |
10.4 |
316940288 |
| pthread-wmm/mix039_rmo.opt_false-unreach-call.i |
false(unreach-call) |
186 |
151 |
4714844160 |
error (7) |
17.8 |
10.9 |
345227264 |
| pthread-wmm/mix039_tso.oepc_false-unreach-call.i |
false(unreach-call) |
27.4 |
16.1 |
1198628864 |
error (7) |
15.8 |
9.72 |
322879488 |
| pthread-wmm/mix039_tso.opt_false-unreach-call.i |
false(unreach-call) |
138 |
101 |
4635889664 |
error (7) |
17.4 |
10.7 |
334684160 |
| pthread-wmm/mix040_power.oepc_false-unreach-call.i |
false(unreach-call) |
38.7 |
28.7 |
1269260288 |
error (7) |
19.7 |
11.3 |
326914048 |
| pthread-wmm/mix040_power.opt_false-unreach-call.i |
false(unreach-call) |
146 |
107 |
4621955072 |
error (7) |
18.6 |
11.2 |
335495168 |
| pthread-wmm/mix040_pso.oepc_false-unreach-call.i |
false(unreach-call) |
25.8 |
15.4 |
1299275776 |
error (7) |
19.5 |
11.6 |
323358720 |
| pthread-wmm/mix040_pso.opt_false-unreach-call.i |
false(unreach-call) |
193 |
159 |
4703846400 |
error (7) |
18.1 |
10.1 |
335167488 |
| pthread-wmm/mix040_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
29.9 |
17.0 |
1217871872 |
error (7) |
16.1 |
9.64 |
321347584 |
| pthread-wmm/mix040_rmo.opt_false-unreach-call.i |
false(unreach-call) |
134 |
98.4 |
4705075200 |
error (7) |
16.5 |
9.76 |
327503872 |
| pthread-wmm/mix040_tso.oepc_false-unreach-call.i |
false(unreach-call) |
196 |
158 |
4718178304 |
error (7) |
17.1 |
9.95 |
324411392 |
| pthread-wmm/mix040_tso.opt_false-unreach-call.i |
false(unreach-call) |
181 |
144 |
4705251328 |
error (7) |
19.9 |
11.3 |
338976768 |
| pthread-wmm/mix041_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.6 |
5.53 |
562851840 |
error (7) |
15.4 |
8.96 |
317059072 |
| pthread-wmm/mix041_power.opt_false-unreach-call.i |
false(unreach-call) |
8.52 |
4.50 |
448905216 |
error (7) |
17.0 |
9.99 |
325984256 |
| pthread-wmm/mix041_pso.oepc_false-unreach-call.i |
false(unreach-call) |
10.6 |
5.55 |
556556288 |
error (7) |
15.1 |
8.86 |
316592128 |
| pthread-wmm/mix041_pso.opt_false-unreach-call.i |
false(unreach-call) |
8.73 |
4.59 |
431120384 |
error (7) |
17.7 |
10.8 |
330334208 |
| pthread-wmm/mix041_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
10.9 |
5.63 |
552263680 |
error (7) |
15.3 |
9.38 |
314978304 |
| pthread-wmm/mix041_rmo.opt_false-unreach-call.i |
false(unreach-call) |
8.39 |
4.40 |
448143360 |
error (7) |
16.4 |
9.59 |
320200704 |
| pthread-wmm/mix041_tso.oepc_false-unreach-call.i |
false(unreach-call) |
8.47 |
4.45 |
448405504 |
error (7) |
20.8 |
11.9 |
327622656 |
| pthread-wmm/mix041_tso.opt_false-unreach-call.i |
false(unreach-call) |
8.22 |
4.32 |
433516544 |
error (7) |
17.2 |
10.4 |
323956736 |
| pthread-wmm/mix042_power.oepc_false-unreach-call.i |
false(unreach-call) |
14.9 |
7.72 |
596787200 |
error (7) |
17.0 |
10.1 |
314191872 |
| pthread-wmm/mix042_power.opt_false-unreach-call.i |
false(unreach-call) |
17.0 |
8.84 |
642977792 |
error (7) |
17.0 |
10.2 |
323858432 |
| pthread-wmm/mix042_pso.oepc_false-unreach-call.i |
false(unreach-call) |
16.2 |
8.38 |
630349824 |
error (7) |
15.4 |
9.07 |
317800448 |
| pthread-wmm/mix042_pso.opt_false-unreach-call.i |
false(unreach-call) |
17.1 |
8.86 |
683929600 |
error (7) |
18.7 |
11.0 |
331501568 |
| pthread-wmm/mix042_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
16.3 |
8.41 |
628244480 |
error (7) |
15.8 |
9.78 |
315973632 |
| pthread-wmm/mix042_rmo.opt_false-unreach-call.i |
false(unreach-call) |
16.8 |
8.76 |
690245632 |
error (7) |
17.2 |
10.3 |
341340160 |
| pthread-wmm/mix042_tso.oepc_false-unreach-call.i |
false(unreach-call) |
15.0 |
7.74 |
620933120 |
error (7) |
15.6 |
9.14 |
320442368 |
| pthread-wmm/mix042_tso.opt_false-unreach-call.i |
false(unreach-call) |
16.7 |
8.62 |
651542528 |
error (7) |
19.1 |
11.2 |
332640256 |
| pthread-wmm/mix043_power.oepc_false-unreach-call.i |
false(unreach-call) |
40.1 |
28.3 |
1296809984 |
error (7) |
16.1 |
9.63 |
325578752 |
| pthread-wmm/mix043_power.opt_false-unreach-call.i |
false(unreach-call) |
89.9 |
64.7 |
4264251392 |
error (7) |
17.3 |
9.77 |
327778304 |
| pthread-wmm/mix043_pso.oepc_false-unreach-call.i |
false(unreach-call) |
28.2 |
16.8 |
1205723136 |
error (7) |
16.3 |
9.56 |
320753664 |
| pthread-wmm/mix043_pso.opt_false-unreach-call.i |
false(unreach-call) |
118 |
91.3 |
4263231488 |
error (7) |
17.8 |
10.3 |
334413824 |
| pthread-wmm/mix043_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
36.8 |
25.2 |
1263669248 |
error (7) |
16.0 |
9.27 |
324337664 |
| pthread-wmm/mix043_rmo.opt_false-unreach-call.i |
false(unreach-call) |
180 |
151 |
4591378432 |
error (7) |
17.7 |
10.2 |
327802880 |
| pthread-wmm/mix043_tso.oepc_false-unreach-call.i |
false(unreach-call) |
28.4 |
16.4 |
1270484992 |
error (7) |
16.8 |
9.81 |
323792896 |
| pthread-wmm/mix043_tso.opt_false-unreach-call.i |
false(unreach-call) |
85.4 |
62.3 |
4137832448 |
error (7) |
19.5 |
11.5 |
335749120 |
| pthread-wmm/mix044_power.oepc_false-unreach-call.i |
false(unreach-call) |
27.3 |
16.2 |
1191333888 |
error (7) |
15.5 |
9.08 |
315920384 |
| pthread-wmm/mix044_power.opt_false-unreach-call.i |
false(unreach-call) |
91.0 |
66.1 |
4235534336 |
error (7) |
17.3 |
10.1 |
326189056 |
| pthread-wmm/mix044_pso.oepc_false-unreach-call.i |
false(unreach-call) |
37.7 |
26.2 |
1208803328 |
error (7) |
15.6 |
9.78 |
323502080 |
| pthread-wmm/mix044_pso.opt_false-unreach-call.i |
false(unreach-call) |
96.8 |
69.4 |
4231553024 |
error (7) |
17.7 |
10.3 |
346869760 |
| pthread-wmm/mix044_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
28.6 |
16.7 |
1203695616 |
error (7) |
15.6 |
9.17 |
324194304 |
| pthread-wmm/mix044_rmo.opt_false-unreach-call.i |
false(unreach-call) |
88.0 |
64.2 |
4321095680 |
error (7) |
18.5 |
10.9 |
334622720 |
| pthread-wmm/mix044_tso.oepc_false-unreach-call.i |
false(unreach-call) |
108 |
83.9 |
4246237184 |
error (7) |
18.8 |
11.1 |
337055744 |
| pthread-wmm/mix044_tso.opt_false-unreach-call.i |
false(unreach-call) |
94.2 |
68.3 |
4280451072 |
error (7) |
17.4 |
10.4 |
325894144 |
| pthread-wmm/mix045_power.oepc_false-unreach-call.i |
false(unreach-call) |
16.1 |
8.30 |
618262528 |
error (7) |
15.8 |
9.51 |
323952640 |
| pthread-wmm/mix045_power.opt_false-unreach-call.i |
false(unreach-call) |
17.1 |
8.81 |
675049472 |
error (7) |
17.4 |
10.5 |
334778368 |
| pthread-wmm/mix045_pso.oepc_false-unreach-call.i |
false(unreach-call) |
14.6 |
7.55 |
593592320 |
error (7) |
16.7 |
9.99 |
320196608 |
| pthread-wmm/mix045_pso.opt_false-unreach-call.i |
false(unreach-call) |
16.5 |
8.58 |
642797568 |
error (7) |
16.9 |
9.83 |
328650752 |
| pthread-wmm/mix045_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
17.7 |
9.05 |
646381568 |
error (7) |
15.7 |
9.59 |
324456448 |
| pthread-wmm/mix045_rmo.opt_false-unreach-call.i |
false(unreach-call) |
16.9 |
8.77 |
642637824 |
error (7) |
17.0 |
10.3 |
328994816 |
| pthread-wmm/mix045_tso.oepc_false-unreach-call.i |
false(unreach-call) |
17.1 |
8.80 |
659845120 |
error (7) |
18.2 |
10.8 |
332656640 |
| pthread-wmm/mix045_tso.opt_false-unreach-call.i |
false(unreach-call) |
17.1 |
8.85 |
652709888 |
error (7) |
17.2 |
10.1 |
327827456 |
| pthread-wmm/mix046_power.oepc_false-unreach-call.i |
false(unreach-call) |
53.3 |
40.2 |
1367764992 |
error (7) |
15.7 |
9.60 |
321433600 |
| pthread-wmm/mix046_power.opt_false-unreach-call.i |
false(unreach-call) |
101 |
71.9 |
4171788288 |
error (7) |
18.1 |
10.4 |
331866112 |
| pthread-wmm/mix046_pso.oepc_false-unreach-call.i |
false(unreach-call) |
26.8 |
15.5 |
1344753664 |
error (7) |
15.5 |
9.58 |
321486848 |
| pthread-wmm/mix046_pso.opt_false-unreach-call.i |
false(unreach-call) |
84.7 |
62.4 |
4176482304 |
error (7) |
18.2 |
10.9 |
329011200 |
| pthread-wmm/mix046_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
38.0 |
27.4 |
1188577280 |
error (7) |
15.3 |
9.38 |
319160320 |
| pthread-wmm/mix046_rmo.opt_false-unreach-call.i |
false(unreach-call) |
84.2 |
61.5 |
4049002496 |
error (7) |
17.5 |
9.81 |
334254080 |
| pthread-wmm/mix046_tso.oepc_false-unreach-call.i |
false(unreach-call) |
40.8 |
29.9 |
1210654720 |
error (7) |
15.7 |
9.18 |
320425984 |
| pthread-wmm/mix046_tso.opt_false-unreach-call.i |
false(unreach-call) |
136 |
109 |
4322115584 |
error (7) |
17.8 |
10.6 |
326152192 |
| pthread-wmm/mix047_power.oepc_false-unreach-call.i |
false(unreach-call) |
26.5 |
15.6 |
1280339968 |
error (7) |
15.5 |
9.62 |
320770048 |
| pthread-wmm/mix047_power.opt_false-unreach-call.i |
false(unreach-call) |
206 |
183 |
4094660608 |
error (7) |
17.2 |
10.1 |
328216576 |
| pthread-wmm/mix047_pso.oepc_false-unreach-call.i |
false(unreach-call) |
30.3 |
17.2 |
1183121408 |
error (7) |
15.9 |
9.40 |
317485056 |
| pthread-wmm/mix047_pso.opt_false-unreach-call.i |
false(unreach-call) |
89.9 |
65.7 |
4445810688 |
error (7) |
18.4 |
10.4 |
333676544 |
| pthread-wmm/mix047_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
47.4 |
36.5 |
1215275008 |
error (7) |
16.8 |
10.2 |
322666496 |
| pthread-wmm/mix047_rmo.opt_false-unreach-call.i |
false(unreach-call) |
228 |
205 |
4153487360 |
error (7) |
20.7 |
11.8 |
338677760 |
| pthread-wmm/mix047_tso.oepc_false-unreach-call.i |
false(unreach-call) |
102 |
73.6 |
4005724160 |
error (7) |
18.2 |
10.4 |
333111296 |
| pthread-wmm/mix047_tso.opt_false-unreach-call.i |
false(unreach-call) |
121 |
98.2 |
4265930752 |
error (7) |
17.9 |
10.3 |
340930560 |
| pthread-wmm/mix048_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.7 |
5.55 |
550559744 |
error (7) |
15.0 |
9.28 |
310616064 |
| pthread-wmm/mix048_power.opt_false-unreach-call.i |
false(unreach-call) |
10.4 |
5.43 |
562708480 |
error (7) |
15.3 |
9.07 |
322801664 |
| pthread-wmm/mix048_pso.oepc_false-unreach-call.i |
false(unreach-call) |
12.1 |
6.27 |
547278848 |
error (7) |
14.7 |
9.06 |
316887040 |
| pthread-wmm/mix048_pso.opt_false-unreach-call.i |
false(unreach-call) |
10.6 |
5.49 |
558505984 |
error (7) |
15.9 |
9.73 |
319746048 |
| pthread-wmm/mix048_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
9.59 |
5.04 |
551477248 |
error (7) |
15.0 |
9.34 |
317202432 |
| pthread-wmm/mix048_rmo.opt_false-unreach-call.i |
false(unreach-call) |
10.8 |
5.58 |
557465600 |
error (7) |
16.1 |
9.23 |
323198976 |
| pthread-wmm/mix048_tso.oepc_false-unreach-call.i |
false(unreach-call) |
10.5 |
5.50 |
558219264 |
error (7) |
15.2 |
9.12 |
318214144 |
| pthread-wmm/mix048_tso.opt_false-unreach-call.i |
false(unreach-call) |
10.6 |
5.53 |
543223808 |
error (7) |
15.1 |
9.39 |
319954944 |
| pthread-wmm/mix049_power.oepc_false-unreach-call.i |
false(unreach-call) |
14.1 |
7.27 |
608931840 |
error (7) |
15.5 |
9.23 |
314400768 |
| pthread-wmm/mix049_power.opt_false-unreach-call.i |
false(unreach-call) |
15.4 |
7.95 |
589578240 |
error (7) |
14.9 |
9.20 |
315592704 |
| pthread-wmm/mix049_pso.oepc_false-unreach-call.i |
false(unreach-call) |
16.2 |
8.29 |
615014400 |
error (7) |
16.3 |
9.92 |
313573376 |
| pthread-wmm/mix049_pso.opt_false-unreach-call.i |
false(unreach-call) |
15.7 |
8.05 |
619397120 |
error (7) |
15.1 |
9.27 |
321265664 |
| pthread-wmm/mix049_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
14.3 |
7.41 |
608661504 |
error (7) |
15.5 |
9.00 |
322301952 |
| pthread-wmm/mix049_rmo.opt_false-unreach-call.i |
false(unreach-call) |
14.3 |
7.39 |
609415168 |
error (7) |
17.3 |
10.4 |
315596800 |
| pthread-wmm/mix049_tso.oepc_false-unreach-call.i |
false(unreach-call) |
16.2 |
8.33 |
609562624 |
error (7) |
16.5 |
9.69 |
313655296 |
| pthread-wmm/mix049_tso.opt_false-unreach-call.i |
false(unreach-call) |
14.8 |
7.65 |
615010304 |
error (7) |
15.5 |
9.55 |
318529536 |
| pthread-wmm/mix050_power.oepc_false-unreach-call.i |
false(unreach-call) |
24.8 |
14.6 |
1280290816 |
error (7) |
16.2 |
9.37 |
319864832 |
| pthread-wmm/mix050_power.opt_false-unreach-call.i |
false(unreach-call) |
25.3 |
14.8 |
1236856832 |
error (7) |
16.2 |
9.52 |
323555328 |
| pthread-wmm/mix050_pso.oepc_false-unreach-call.i |
false(unreach-call) |
31.6 |
18.5 |
1204596736 |
error (7) |
17.0 |
10.2 |
315441152 |
| pthread-wmm/mix050_pso.opt_false-unreach-call.i |
false(unreach-call) |
31.5 |
17.3 |
1171603456 |
error (7) |
18.0 |
10.8 |
324464640 |
| pthread-wmm/mix050_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
30.7 |
19.4 |
1235779584 |
error (7) |
15.8 |
9.36 |
326553600 |
| pthread-wmm/mix050_rmo.opt_false-unreach-call.i |
false(unreach-call) |
31.7 |
19.0 |
1233473536 |
error (7) |
15.6 |
9.51 |
319537152 |
| pthread-wmm/mix050_tso.oepc_false-unreach-call.i |
false(unreach-call) |
27.9 |
16.9 |
1206067200 |
error (7) |
15.5 |
9.46 |
313421824 |
| pthread-wmm/mix050_tso.opt_false-unreach-call.i |
false(unreach-call) |
25.2 |
14.9 |
1179570176 |
error (7) |
15.3 |
9.55 |
324931584 |
| pthread-wmm/mix051_power.oepc_false-unreach-call.i |
false(unreach-call) |
29.4 |
18.7 |
1250783232 |
error (7) |
16.4 |
9.68 |
319504384 |
| pthread-wmm/mix051_power.opt_false-unreach-call.i |
false(unreach-call) |
30.8 |
19.2 |
1212174336 |
error (7) |
16.5 |
9.95 |
324931584 |
| pthread-wmm/mix051_pso.oepc_false-unreach-call.i |
false(unreach-call) |
27.1 |
15.5 |
1133289472 |
error (7) |
15.5 |
9.52 |
312922112 |
| pthread-wmm/mix051_pso.opt_false-unreach-call.i |
false(unreach-call) |
121 |
89.1 |
4672966656 |
error (7) |
17.8 |
10.4 |
324747264 |
| pthread-wmm/mix051_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
26.7 |
15.4 |
1174753280 |
error (7) |
15.6 |
9.08 |
321703936 |
| pthread-wmm/mix051_rmo.opt_false-unreach-call.i |
false(unreach-call) |
150 |
118 |
4590112768 |
error (7) |
17.4 |
10.1 |
323588096 |
| pthread-wmm/mix051_tso.oepc_false-unreach-call.i |
false(unreach-call) |
83.0 |
63.5 |
3845234688 |
error (7) |
17.8 |
10.7 |
330088448 |
| pthread-wmm/mix051_tso.opt_false-unreach-call.i |
false(unreach-call) |
177 |
143 |
4649226240 |
error (7) |
17.5 |
10.4 |
329564160 |
| pthread-wmm/mix052_power.oepc_false-unreach-call.i |
false(unreach-call) |
15.9 |
8.15 |
629366784 |
error (7) |
15.2 |
8.98 |
319561728 |
| pthread-wmm/mix052_power.opt_false-unreach-call.i |
false(unreach-call) |
14.2 |
7.37 |
593989632 |
error (7) |
15.8 |
8.80 |
322461696 |
| pthread-wmm/mix052_pso.oepc_false-unreach-call.i |
false(unreach-call) |
15.7 |
8.06 |
602988544 |
error (7) |
16.5 |
9.77 |
322109440 |
| pthread-wmm/mix052_pso.opt_false-unreach-call.i |
false(unreach-call) |
18.3 |
9.54 |
875331584 |
error (7) |
16.4 |
9.57 |
326045696 |
| pthread-wmm/mix052_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
15.9 |
8.22 |
619589632 |
error (7) |
17.0 |
10.2 |
317358080 |
| pthread-wmm/mix052_rmo.opt_false-unreach-call.i |
false(unreach-call) |
18.0 |
9.50 |
852951040 |
error (7) |
17.1 |
10.2 |
319987712 |
| pthread-wmm/mix052_tso.oepc_false-unreach-call.i |
false(unreach-call) |
22.9 |
12.4 |
959401984 |
error (7) |
16.8 |
9.90 |
356200448 |
| pthread-wmm/mix052_tso.opt_false-unreach-call.i |
false(unreach-call) |
18.3 |
9.62 |
884359168 |
error (7) |
16.3 |
9.41 |
322924544 |
| pthread-wmm/mix053_power.oepc_false-unreach-call.i |
false(unreach-call) |
29.9 |
18.1 |
1214308352 |
error (7) |
15.8 |
9.62 |
321331200 |
| pthread-wmm/mix053_power.opt_false-unreach-call.i |
false(unreach-call) |
174 |
143 |
4589178880 |
error (7) |
17.1 |
10.5 |
328945664 |
| pthread-wmm/mix053_pso.oepc_false-unreach-call.i |
false(unreach-call) |
23.9 |
14.2 |
1111318528 |
error (7) |
16.0 |
9.38 |
318464000 |
| pthread-wmm/mix053_pso.opt_false-unreach-call.i |
false(unreach-call) |
124 |
90.7 |
4585709568 |
error (7) |
17.5 |
10.4 |
339054592 |
| pthread-wmm/mix053_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
25.5 |
15.4 |
1220120576 |
error (7) |
15.7 |
9.31 |
327090176 |
| pthread-wmm/mix053_rmo.opt_false-unreach-call.i |
false(unreach-call) |
211 |
177 |
4594167808 |
error (7) |
19.3 |
11.4 |
333234176 |
| pthread-wmm/mix053_tso.oepc_false-unreach-call.i |
false(unreach-call) |
177 |
143 |
4742950912 |
error (7) |
16.4 |
9.58 |
332812288 |
| pthread-wmm/mix053_tso.opt_false-unreach-call.i |
false(unreach-call) |
162 |
126 |
4625231872 |
error (7) |
17.0 |
10.4 |
318820352 |
| pthread-wmm/mix054_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.5 |
5.45 |
552644608 |
error (7) |
15.4 |
9.02 |
313847808 |
| pthread-wmm/mix054_power.opt_false-unreach-call.i |
false(unreach-call) |
10.3 |
5.39 |
549376000 |
error (7) |
17.1 |
10.1 |
312700928 |
| pthread-wmm/mix054_pso.oepc_false-unreach-call.i |
false(unreach-call) |
10.4 |
5.43 |
561528832 |
error (7) |
15.2 |
8.99 |
315633664 |
| pthread-wmm/mix054_pso.opt_false-unreach-call.i |
false(unreach-call) |
8.18 |
4.30 |
448811008 |
error (7) |
17.0 |
9.77 |
325255168 |
| pthread-wmm/mix054_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
10.7 |
5.60 |
560480256 |
error (7) |
15.4 |
9.31 |
315772928 |
| pthread-wmm/mix054_rmo.opt_false-unreach-call.i |
false(unreach-call) |
8.29 |
4.38 |
451928064 |
error (7) |
16.9 |
10.0 |
319377408 |
| pthread-wmm/mix054_tso.oepc_false-unreach-call.i |
false(unreach-call) |
8.43 |
4.46 |
453193728 |
error (7) |
16.1 |
9.41 |
326979584 |
| pthread-wmm/mix054_tso.opt_false-unreach-call.i |
false(unreach-call) |
8.60 |
4.51 |
449683456 |
error (7) |
18.6 |
10.2 |
323682304 |
| pthread-wmm/mix055_power.oepc_false-unreach-call.i |
false(unreach-call) |
29.2 |
16.7 |
1202270208 |
error (7) |
14.6 |
8.64 |
318623744 |
| pthread-wmm/mix055_power.opt_false-unreach-call.i |
false(unreach-call) |
104 |
83.0 |
4284600320 |
error (7) |
18.0 |
10.8 |
323801088 |
| pthread-wmm/mix055_pso.oepc_false-unreach-call.i |
false(unreach-call) |
28.0 |
15.8 |
1125388288 |
error (7) |
15.6 |
9.25 |
322510848 |
| pthread-wmm/mix055_pso.opt_false-unreach-call.i |
false(unreach-call) |
121 |
96.5 |
4268634112 |
error (7) |
19.0 |
11.2 |
337805312 |
| pthread-wmm/mix055_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
27.7 |
17.7 |
1120567296 |
error (7) |
15.4 |
9.60 |
319197184 |
| pthread-wmm/mix055_rmo.opt_false-unreach-call.i |
false(unreach-call) |
119 |
95.1 |
4276482048 |
error (7) |
18.2 |
10.5 |
334155776 |
| pthread-wmm/mix055_tso.oepc_false-unreach-call.i |
false(unreach-call) |
150 |
126 |
4103454720 |
error (7) |
17.2 |
10.6 |
323010560 |
| pthread-wmm/mix055_tso.opt_false-unreach-call.i |
false(unreach-call) |
129 |
107 |
4277538816 |
error (7) |
17.4 |
10.0 |
332713984 |
| pthread-wmm/mix056_power.oepc_false-unreach-call.i |
false(unreach-call) |
15.8 |
8.16 |
612814848 |
error (7) |
15.5 |
9.38 |
320712704 |
| pthread-wmm/mix056_power.opt_false-unreach-call.i |
false(unreach-call) |
16.3 |
8.41 |
635809792 |
error (7) |
17.0 |
10.4 |
333324288 |
| pthread-wmm/mix056_pso.oepc_false-unreach-call.i |
false(unreach-call) |
15.4 |
7.93 |
601006080 |
error (7) |
15.5 |
9.04 |
317870080 |
| pthread-wmm/mix056_pso.opt_false-unreach-call.i |
false(unreach-call) |
16.1 |
8.34 |
672301056 |
error (7) |
18.3 |
10.4 |
330461184 |
| pthread-wmm/mix056_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
14.2 |
7.29 |
614014976 |
error (7) |
16.6 |
9.77 |
331452416 |
| pthread-wmm/mix056_rmo.opt_false-unreach-call.i |
false(unreach-call) |
16.5 |
8.48 |
652476416 |
error (7) |
18.0 |
10.4 |
329302016 |
| pthread-wmm/mix056_tso.oepc_false-unreach-call.i |
false(unreach-call) |
15.8 |
8.18 |
659832832 |
error (7) |
18.6 |
10.7 |
330125312 |
| pthread-wmm/mix056_tso.opt_false-unreach-call.i |
false(unreach-call) |
16.2 |
8.43 |
655663104 |
error (7) |
18.5 |
10.3 |
345350144 |
| pthread-wmm/mix057_power.oepc_false-unreach-call.i |
false(unreach-call) |
24.4 |
14.6 |
1210961920 |
error (7) |
16.3 |
9.06 |
324190208 |
| pthread-wmm/mix057_power.opt_false-unreach-call.i |
false(unreach-call) |
94.8 |
72.1 |
4208418816 |
error (7) |
17.1 |
9.86 |
331370496 |
| pthread-wmm/mix057_pso.oepc_false-unreach-call.i |
false(unreach-call) |
24.2 |
14.5 |
1096916992 |
error (7) |
15.8 |
9.80 |
318533632 |
| pthread-wmm/mix057_pso.opt_false-unreach-call.i |
false(unreach-call) |
91.0 |
65.7 |
3982020608 |
error (7) |
17.8 |
10.9 |
336015360 |
| pthread-wmm/mix057_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
29.7 |
16.3 |
1175379968 |
error (7) |
17.5 |
10.4 |
326656000 |
| pthread-wmm/mix057_rmo.opt_false-unreach-call.i |
false(unreach-call) |
89.4 |
64.4 |
3965992960 |
error (7) |
18.1 |
10.4 |
338583552 |
| pthread-wmm/mix057_tso.oepc_false-unreach-call.i |
false(unreach-call) |
108 |
81.7 |
4251365376 |
error (7) |
18.3 |
10.4 |
329981952 |
| pthread-wmm/mix057_tso.opt_false-unreach-call.i |
false(unreach-call) |
108 |
85.6 |
3824472064 |
error (7) |
17.9 |
10.9 |
333709312 |
| pthread-wmm/podwr000_power.oepc_false-unreach-call.i |
false(unreach-call) |
9.74 |
5.08 |
544788480 |
error (7) |
18.6 |
10.9 |
311967744 |
| pthread-wmm/podwr000_power.opt_false-unreach-call.i |
false(unreach-call) |
10.8 |
5.61 |
546897920 |
error (7) |
15.5 |
9.38 |
317382656 |
| pthread-wmm/podwr000_pso.oepc_false-unreach-call.i |
false(unreach-call) |
9.45 |
4.94 |
536870912 |
error (7) |
15.6 |
9.32 |
320921600 |
| pthread-wmm/podwr000_pso.opt_false-unreach-call.i |
false(unreach-call) |
10.5 |
5.47 |
581423104 |
error (7) |
15.0 |
9.41 |
319758336 |
| pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
9.76 |
5.09 |
560029696 |
error (7) |
15.3 |
9.14 |
312102912 |
| pthread-wmm/podwr000_rmo.opt_false-unreach-call.i |
false(unreach-call) |
9.43 |
4.92 |
550711296 |
error (7) |
15.1 |
9.24 |
312418304 |
| pthread-wmm/podwr000_tso.oepc_false-unreach-call.i |
false(unreach-call) |
10.3 |
5.35 |
560205824 |
error (7) |
15.4 |
9.06 |
314658816 |
| pthread-wmm/podwr000_tso.opt_false-unreach-call.i |
false(unreach-call) |
10.3 |
5.40 |
549982208 |
error (7) |
15.5 |
9.19 |
317964288 |
| pthread-wmm/podwr001_power.oepc_false-unreach-call.i |
false(unreach-call) |
15.9 |
8.20 |
611291136 |
error (7) |
14.9 |
9.25 |
310624256 |
| pthread-wmm/podwr001_power.opt_false-unreach-call.i |
false(unreach-call) |
16.4 |
8.43 |
608890880 |
error (7) |
15.1 |
9.23 |
313401344 |
| pthread-wmm/podwr001_pso.oepc_false-unreach-call.i |
false(unreach-call) |
15.7 |
8.04 |
621965312 |
error (7) |
15.4 |
9.06 |
320790528 |
| pthread-wmm/podwr001_pso.opt_false-unreach-call.i |
false(unreach-call) |
14.6 |
7.57 |
601522176 |
error (7) |
15.0 |
8.88 |
321601536 |
| pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
16.4 |
8.46 |
613359616 |
error (7) |
17.3 |
9.72 |
322572288 |
| pthread-wmm/podwr001_rmo.opt_false-unreach-call.i |
false(unreach-call) |
15.4 |
7.97 |
603901952 |
error (7) |
15.5 |
9.58 |
323096576 |
| pthread-wmm/podwr001_tso.oepc_false-unreach-call.i |
false(unreach-call) |
18.2 |
9.32 |
608694272 |
error (7) |
15.8 |
9.25 |
315183104 |
| pthread-wmm/podwr001_tso.opt_false-unreach-call.i |
false(unreach-call) |
14.3 |
7.41 |
600768512 |
error (7) |
15.4 |
8.76 |
332587008 |
| pthread-wmm/rfi000_power.oepc_false-unreach-call.i |
false(unreach-call) |
17.6 |
9.11 |
733265920 |
error (7) |
16.9 |
10.1 |
324935680 |
| pthread-wmm/rfi000_power.opt_false-unreach-call.i |
false(unreach-call) |
10.2 |
5.33 |
458653696 |
error (7) |
16.6 |
9.55 |
327393280 |
| pthread-wmm/rfi000_pso.oepc_false-unreach-call.i |
false(unreach-call) |
17.5 |
9.07 |
701112320 |
error (7) |
18.6 |
10.7 |
324558848 |
| pthread-wmm/rfi000_pso.opt_false-unreach-call.i |
false(unreach-call) |
9.36 |
4.92 |
455995392 |
error (7) |
16.2 |
9.90 |
321802240 |
| pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
16.9 |
8.88 |
743567360 |
error (7) |
16.8 |
10.2 |
321986560 |
| pthread-wmm/rfi000_rmo.opt_false-unreach-call.i |
false(unreach-call) |
10.9 |
5.72 |
453734400 |
error (7) |
17.9 |
10.8 |
334946304 |
| pthread-wmm/rfi001_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.8 |
5.58 |
560074752 |
error (7) |
15.0 |
9.23 |
315142144 |
| pthread-wmm/rfi001_power.opt_false-unreach-call.i |
false(unreach-call) |
8.40 |
4.42 |
449445888 |
error (7) |
17.7 |
10.2 |
326520832 |
| pthread-wmm/rfi001_pso.oepc_false-unreach-call.i |
false(unreach-call) |
11.0 |
5.77 |
556724224 |
error (7) |
15.5 |
9.33 |
321183744 |
| pthread-wmm/rfi001_pso.opt_false-unreach-call.i |
false(unreach-call) |
8.55 |
4.47 |
447913984 |
error (7) |
17.0 |
9.54 |
328257536 |
| pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
10.7 |
5.55 |
540966912 |
error (7) |
14.9 |
9.14 |
313622528 |
| pthread-wmm/rfi001_rmo.opt_false-unreach-call.i |
false(unreach-call) |
8.41 |
4.42 |
452362240 |
error (7) |
16.9 |
10.2 |
325787648 |
| pthread-wmm/rfi001_tso.oepc_false-unreach-call.i |
false(unreach-call) |
8.42 |
4.43 |
449536000 |
error (7) |
18.1 |
10.7 |
336117760 |
| pthread-wmm/rfi001_tso.opt_false-unreach-call.i |
false(unreach-call) |
8.94 |
4.68 |
450519040 |
error (7) |
17.3 |
10.1 |
323506176 |
| pthread-wmm/rfi003_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.3 |
5.35 |
547983360 |
error (7) |
16.7 |
9.96 |
323186688 |
| pthread-wmm/rfi003_power.opt_false-unreach-call.i |
false(unreach-call) |
10.4 |
5.43 |
577978368 |
error (7) |
16.2 |
9.52 |
325627904 |
| pthread-wmm/rfi003_pso.oepc_false-unreach-call.i |
false(unreach-call) |
10.9 |
5.68 |
580849664 |
error (7) |
18.1 |
10.7 |
321216512 |
| pthread-wmm/rfi003_pso.opt_false-unreach-call.i |
false(unreach-call) |
10.4 |
5.43 |
571756544 |
error (7) |
17.0 |
9.92 |
325255168 |
| pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
11.5 |
5.98 |
590667776 |
error (7) |
15.7 |
9.57 |
324829184 |
| pthread-wmm/rfi003_rmo.opt_false-unreach-call.i |
false(unreach-call) |
10.6 |
5.55 |
577818624 |
error (7) |
17.0 |
9.93 |
319574016 |
| pthread-wmm/rfi004_power.oepc_false-unreach-call.i |
false(unreach-call) |
9.21 |
4.85 |
476393472 |
error (7) |
16.7 |
9.81 |
319770624 |
| pthread-wmm/rfi004_power.opt_false-unreach-call.i |
false(unreach-call) |
9.66 |
5.04 |
474214400 |
error (7) |
16.5 |
9.45 |
324055040 |
| pthread-wmm/rfi004_pso.oepc_false-unreach-call.i |
false(unreach-call) |
9.30 |
4.85 |
475820032 |
error (7) |
16.2 |
9.47 |
318898176 |
| pthread-wmm/rfi004_pso.opt_false-unreach-call.i |
false(unreach-call) |
9.47 |
4.94 |
485224448 |
error (7) |
16.4 |
10.0 |
318095360 |
| pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
10.3 |
5.41 |
468963328 |
error (7) |
16.4 |
9.72 |
323117056 |
| pthread-wmm/rfi004_rmo.opt_false-unreach-call.i |
false(unreach-call) |
9.76 |
5.10 |
478257152 |
error (7) |
16.2 |
9.52 |
325054464 |
| pthread-wmm/rfi004_tso.oepc_false-unreach-call.i |
false(unreach-call) |
9.38 |
4.90 |
479350784 |
error (7) |
16.2 |
9.47 |
322506752 |
| pthread-wmm/rfi004_tso.opt_false-unreach-call.i |
false(unreach-call) |
9.43 |
4.97 |
471404544 |
error (7) |
17.2 |
10.1 |
327913472 |
| pthread-wmm/rfi005_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.4 |
5.44 |
536072192 |
error (7) |
17.7 |
10.3 |
335556608 |
| pthread-wmm/rfi005_power.opt_false-unreach-call.i |
false(unreach-call) |
10.9 |
5.66 |
583843840 |
error (7) |
19.3 |
11.1 |
335593472 |
| pthread-wmm/rfi005_pso.oepc_false-unreach-call.i |
false(unreach-call) |
9.98 |
5.21 |
550178816 |
error (7) |
17.8 |
10.4 |
325623808 |
| pthread-wmm/rfi005_pso.opt_false-unreach-call.i |
false(unreach-call) |
10.7 |
5.57 |
583778304 |
error (7) |
18.1 |
10.9 |
334352384 |
| pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
9.35 |
4.99 |
514875392 |
error (7) |
17.9 |
10.2 |
336076800 |
| pthread-wmm/rfi005_rmo.opt_false-unreach-call.i |
false(unreach-call) |
10.8 |
5.61 |
569700352 |
error (7) |
18.1 |
10.8 |
346689536 |
| pthread-wmm/rfi005_tso.oepc_false-unreach-call.i |
false(unreach-call) |
10.4 |
5.43 |
569905152 |
error (7) |
17.2 |
10.1 |
332988416 |
| pthread-wmm/rfi005_tso.opt_false-unreach-call.i |
false(unreach-call) |
10.4 |
5.44 |
583352320 |
error (7) |
18.5 |
11.1 |
338501632 |
| pthread-wmm/rfi006_power.oepc_false-unreach-call.i |
false(unreach-call) |
11.0 |
5.74 |
534278144 |
error (7) |
20.4 |
12.1 |
385036288 |
| pthread-wmm/rfi006_power.opt_false-unreach-call.i |
false(unreach-call) |
10.5 |
5.45 |
523165696 |
error (7) |
19.7 |
11.4 |
347795456 |
| pthread-wmm/rfi006_pso.oepc_false-unreach-call.i |
false(unreach-call) |
47.3 |
31.0 |
1905668096 |
error (7) |
16.9 |
10.2 |
330784768 |
| pthread-wmm/rfi006_pso.opt_false-unreach-call.i |
false(unreach-call) |
44.4 |
30.5 |
1810345984 |
error (7) |
17.3 |
10.4 |
333742080 |
| pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
8.88 |
4.64 |
519770112 |
error (7) |
20.2 |
11.8 |
358113280 |
| pthread-wmm/rfi006_rmo.opt_false-unreach-call.i |
false(unreach-call) |
8.98 |
4.68 |
520757248 |
error (7) |
19.8 |
12.0 |
366915584 |
| pthread-wmm/rfi006_tso.oepc_false-unreach-call.i |
false(unreach-call) |
45.0 |
29.4 |
1870082048 |
error (7) |
18.5 |
11.2 |
340582400 |
| pthread-wmm/rfi006_tso.opt_false-unreach-call.i |
false(unreach-call) |
42.9 |
27.9 |
1748443136 |
error (7) |
17.6 |
10.7 |
341508096 |
| pthread-wmm/rfi007_power.oepc_false-unreach-call.i |
false(unreach-call) |
11.4 |
5.95 |
560836608 |
error (7) |
15.5 |
9.54 |
316567552 |
| pthread-wmm/rfi007_power.opt_false-unreach-call.i |
false(unreach-call) |
11.2 |
5.79 |
553553920 |
error (7) |
15.2 |
9.04 |
320126976 |
| pthread-wmm/rfi007_pso.oepc_false-unreach-call.i |
false(unreach-call) |
10.9 |
5.69 |
559783936 |
error (7) |
15.5 |
9.19 |
316026880 |
| pthread-wmm/rfi007_pso.opt_false-unreach-call.i |
false(unreach-call) |
12.9 |
6.68 |
543281152 |
error (7) |
14.9 |
9.19 |
320327680 |
| pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
10.8 |
5.62 |
560844800 |
error (7) |
15.5 |
9.14 |
312508416 |
| pthread-wmm/rfi007_rmo.opt_false-unreach-call.i |
false(unreach-call) |
10.5 |
5.46 |
563867648 |
error (7) |
15.4 |
9.11 |
311545856 |
| pthread-wmm/rfi007_tso.oepc_false-unreach-call.i |
false(unreach-call) |
11.5 |
5.99 |
544628736 |
error (7) |
17.3 |
10.2 |
325492736 |
| pthread-wmm/rfi007_tso.opt_false-unreach-call.i |
false(unreach-call) |
12.6 |
6.48 |
546947072 |
error (7) |
16.8 |
10.1 |
330039296 |
| pthread-wmm/rfi008_power.oepc_false-unreach-call.i |
false(unreach-call) |
13.5 |
6.97 |
657862656 |
error (7) |
18.5 |
10.9 |
327819264 |
| pthread-wmm/rfi008_power.opt_false-unreach-call.i |
false(unreach-call) |
12.5 |
6.44 |
544296960 |
error (7) |
16.4 |
10.1 |
327864320 |
| pthread-wmm/rfi008_pso.oepc_false-unreach-call.i |
false(unreach-call) |
14.0 |
7.26 |
701677568 |
error (7) |
15.4 |
9.53 |
323690496 |
| pthread-wmm/rfi008_pso.opt_false-unreach-call.i |
false(unreach-call) |
13.3 |
6.84 |
541249536 |
error (7) |
16.2 |
9.45 |
323035136 |
| pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
12.3 |
6.38 |
591634432 |
error (7) |
15.7 |
9.76 |
321327104 |
| pthread-wmm/rfi008_rmo.opt_false-unreach-call.i |
false(unreach-call) |
12.0 |
6.23 |
547753984 |
error (7) |
16.0 |
9.67 |
324497408 |
| pthread-wmm/rfi008_tso.oepc_false-unreach-call.i |
false(unreach-call) |
13.3 |
6.91 |
614481920 |
error (7) |
15.4 |
9.04 |
312680448 |
| pthread-wmm/rfi008_tso.opt_false-unreach-call.i |
false(unreach-call) |
12.9 |
6.65 |
530157568 |
error (7) |
16.9 |
9.82 |
320118784 |
| pthread-wmm/rfi009_power.oepc_false-unreach-call.i |
false(unreach-call) |
9.82 |
5.14 |
535539712 |
error (7) |
20.7 |
11.9 |
420278272 |
| pthread-wmm/rfi009_power.opt_false-unreach-call.i |
false(unreach-call) |
37.2 |
23.7 |
1577848832 |
error (7) |
16.7 |
9.87 |
324055040 |
| pthread-wmm/rfi009_pso.oepc_false-unreach-call.i |
false(unreach-call) |
38.5 |
24.3 |
1580064768 |
error (7) |
19.0 |
10.7 |
329641984 |
| pthread-wmm/rfi009_pso.opt_false-unreach-call.i |
false(unreach-call) |
42.3 |
26.3 |
1552605184 |
error (7) |
17.6 |
10.6 |
323055616 |
| pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
9.41 |
4.95 |
527544320 |
error (7) |
19.5 |
11.2 |
364007424 |
| pthread-wmm/rfi009_rmo.opt_false-unreach-call.i |
false(unreach-call) |
38.4 |
24.7 |
1589391360 |
error (7) |
16.2 |
9.93 |
321982464 |
| pthread-wmm/rfi009_tso.oepc_false-unreach-call.i |
false(unreach-call) |
40.0 |
25.6 |
1578373120 |
error (7) |
16.4 |
9.55 |
318955520 |
| pthread-wmm/rfi009_tso.opt_false-unreach-call.i |
false(unreach-call) |
37.4 |
23.9 |
1630846976 |
error (7) |
21.7 |
12.2 |
327905280 |
| pthread-wmm/rfi010_power.oepc_false-unreach-call.i |
false(unreach-call) |
12.6 |
6.53 |
564191232 |
error (7) |
16.8 |
9.73 |
321703936 |
| pthread-wmm/rfi010_power.opt_false-unreach-call.i |
false(unreach-call) |
12.4 |
6.40 |
557895680 |
error (7) |
17.3 |
10.1 |
325214208 |
| pthread-wmm/rfi010_pso.oepc_false-unreach-call.i |
false(unreach-call) |
12.8 |
6.56 |
565899264 |
error (7) |
16.6 |
9.69 |
319016960 |
| pthread-wmm/rfi010_pso.opt_false-unreach-call.i |
false(unreach-call) |
11.4 |
5.90 |
559411200 |
error (7) |
16.3 |
9.55 |
322977792 |
| pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
11.0 |
5.76 |
546488320 |
error (7) |
16.7 |
10.0 |
319881216 |
| pthread-wmm/rfi010_rmo.opt_false-unreach-call.i |
false(unreach-call) |
12.6 |
6.54 |
558432256 |
error (7) |
16.6 |
10.2 |
324169728 |
| pthread-wmm/rfi010_tso.oepc_false-unreach-call.i |
false(unreach-call) |
12.3 |
6.40 |
556703744 |
error (7) |
16.3 |
10.1 |
320778240 |
| pthread-wmm/rfi010_tso.opt_false-unreach-call.i |
false(unreach-call) |
13.9 |
7.15 |
537673728 |
error (7) |
16.5 |
9.62 |
323018752 |
| pthread-wmm/safe000_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.2 |
5.45 |
641990656 |
error (7) |
21.0 |
12.0 |
411914240 |
| pthread-wmm/safe000_power.opt_false-unreach-call.i |
false(unreach-call) |
28.1 |
17.5 |
1036984320 |
error (7) |
16.3 |
9.76 |
317972480 |
| pthread-wmm/safe000_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
9.26 |
4.80 |
535515136 |
error (7) |
20.1 |
11.7 |
376070144 |
| pthread-wmm/safe000_rmo.opt_false-unreach-call.i |
false(unreach-call) |
9.89 |
5.16 |
547217408 |
error (7) |
20.2 |
11.8 |
387018752 |
| pthread-wmm/safe001_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.6 |
5.64 |
630304768 |
error (7) |
22.0 |
13.2 |
399863808 |
| pthread-wmm/safe001_power.opt_false-unreach-call.i |
false(unreach-call) |
129 |
116 |
1559953408 |
error (7) |
17.2 |
9.98 |
335945728 |
| pthread-wmm/safe001_pso.oepc_false-unreach-call.i |
false(unreach-call) |
66.9 |
56.0 |
1362644992 |
error (7) |
21.0 |
12.3 |
330280960 |
| pthread-wmm/safe001_pso.opt_false-unreach-call.i |
false(unreach-call) |
111 |
96.3 |
1475698688 |
error (7) |
17.4 |
10.5 |
334622720 |
| pthread-wmm/safe001_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
10.5 |
5.43 |
546205696 |
error (7) |
20.8 |
12.4 |
389668864 |
| pthread-wmm/safe001_rmo.opt_false-unreach-call.i |
false(unreach-call) |
29.5 |
18.3 |
1413054464 |
error (7) |
17.3 |
9.97 |
342274048 |
| pthread-wmm/safe002_power.oepc_false-unreach-call.i |
false(unreach-call) |
12.0 |
6.33 |
635506688 |
error (7) |
21.2 |
12.6 |
405729280 |
| pthread-wmm/safe002_power.opt_false-unreach-call.i |
false(unreach-call) |
43.4 |
30.5 |
1664278528 |
error (7) |
18.9 |
11.2 |
332394496 |
| pthread-wmm/safe002_pso.oepc_false-unreach-call.i |
false(unreach-call) |
401 |
388 |
1599619072 |
error (7) |
17.0 |
10.3 |
320114688 |
| pthread-wmm/safe002_pso.opt_false-unreach-call.i |
false(unreach-call) |
48.8 |
36.4 |
1720221696 |
error (7) |
18.1 |
10.8 |
321933312 |
| pthread-wmm/safe002_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
10.2 |
5.32 |
545390592 |
error (7) |
20.2 |
11.7 |
373051392 |
| pthread-wmm/safe002_rmo.opt_false-unreach-call.i |
false(unreach-call) |
34.0 |
20.5 |
1663995904 |
error (7) |
16.7 |
9.68 |
323911680 |
| pthread-wmm/safe003_power.oepc_false-unreach-call.i |
false(unreach-call) |
27.2 |
15.6 |
980664320 |
error (7) |
17.2 |
10.3 |
323436544 |
| pthread-wmm/safe003_power.opt_false-unreach-call.i |
false(unreach-call) |
27.4 |
17.3 |
1142169600 |
error (7) |
17.1 |
10.3 |
324001792 |
| pthread-wmm/safe003_pso.oepc_false-unreach-call.i |
false(unreach-call) |
22.7 |
13.4 |
1029898240 |
error (7) |
17.5 |
10.5 |
329871360 |
| pthread-wmm/safe003_pso.opt_false-unreach-call.i |
false(unreach-call) |
25.3 |
14.6 |
1003921408 |
error (7) |
20.4 |
11.8 |
329973760 |
| pthread-wmm/safe003_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
26.4 |
15.1 |
1009811456 |
error (7) |
18.2 |
10.1 |
326733824 |
| pthread-wmm/safe003_rmo.opt_false-unreach-call.i |
false(unreach-call) |
26.2 |
15.0 |
1024626688 |
error (7) |
16.9 |
10.1 |
339431424 |
| pthread-wmm/safe004_power.oepc_false-unreach-call.i |
false(unreach-call) |
24.1 |
14.1 |
981417984 |
error (7) |
16.9 |
9.88 |
326025216 |
| pthread-wmm/safe004_power.opt_false-unreach-call.i |
false(unreach-call) |
88.7 |
75.6 |
1574055936 |
error (7) |
17.1 |
10.0 |
330174464 |
| pthread-wmm/safe004_pso.oepc_false-unreach-call.i |
false(unreach-call) |
24.6 |
14.1 |
1020375040 |
error (7) |
19.0 |
11.3 |
323420160 |
| pthread-wmm/safe004_pso.opt_false-unreach-call.i |
false(unreach-call) |
35.1 |
22.2 |
1706983424 |
error (7) |
16.9 |
10.0 |
327507968 |
| pthread-wmm/safe004_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
28.5 |
16.2 |
1092214784 |
error (7) |
17.1 |
10.2 |
322383872 |
| pthread-wmm/safe004_rmo.opt_false-unreach-call.i |
false(unreach-call) |
141 |
127 |
1646256128 |
error (7) |
17.5 |
10.6 |
332173312 |
| pthread-wmm/safe005_power.oepc_false-unreach-call.i |
false(unreach-call) |
47.2 |
33.7 |
1787285504 |
error (7) |
18.4 |
10.9 |
326197248 |
| pthread-wmm/safe005_power.opt_false-unreach-call.i |
false(unreach-call) |
35.4 |
22.2 |
1739145216 |
error (7) |
17.3 |
9.70 |
325718016 |
| pthread-wmm/safe005_pso.oepc_false-unreach-call.i |
false(unreach-call) |
34.5 |
21.4 |
1622802432 |
error (7) |
16.8 |
10.2 |
317939712 |
| pthread-wmm/safe005_pso.opt_false-unreach-call.i |
false(unreach-call) |
38.8 |
24.5 |
1769070592 |
error (7) |
16.7 |
9.94 |
318287872 |
| pthread-wmm/safe005_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
36.7 |
22.9 |
1726140416 |
error (7) |
16.5 |
9.76 |
329895936 |
| pthread-wmm/safe005_rmo.opt_false-unreach-call.i |
false(unreach-call) |
48.1 |
33.1 |
1740218368 |
error (7) |
16.3 |
9.14 |
327954432 |
| pthread-wmm/safe006_power.oepc_false-unreach-call.i |
false(unreach-call) |
8.76 |
4.61 |
508522496 |
error (7) |
20.6 |
12.1 |
350441472 |
| pthread-wmm/safe006_power.opt_false-unreach-call.i |
false(unreach-call) |
12.8 |
6.56 |
554024960 |
error (7) |
15.2 |
8.98 |
318861312 |
| pthread-wmm/safe006_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
7.79 |
4.11 |
466481152 |
error (7) |
18.5 |
11.0 |
336629760 |
| pthread-wmm/safe006_rmo.opt_false-unreach-call.i |
false(unreach-call) |
8.21 |
4.32 |
451076096 |
error (7) |
19.1 |
11.2 |
340963328 |
| pthread-wmm/safe007_power.oepc_false-unreach-call.i |
false(unreach-call) |
8.77 |
4.59 |
511860736 |
error (7) |
20.4 |
12.1 |
362307584 |
| pthread-wmm/safe007_power.opt_false-unreach-call.i |
false(unreach-call) |
82.4 |
66.6 |
2459897856 |
error (7) |
16.5 |
10.1 |
322371584 |
| pthread-wmm/safe007_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
7.87 |
4.12 |
447361024 |
error (7) |
20.5 |
11.8 |
351129600 |
| pthread-wmm/safe007_rmo.opt_false-unreach-call.i |
false(unreach-call) |
7.94 |
4.20 |
447885312 |
error (7) |
18.5 |
10.7 |
338571264 |
| pthread-wmm/safe008_power.oepc_false-unreach-call.i |
false(unreach-call) |
11.9 |
6.20 |
581898240 |
error (7) |
16.6 |
9.73 |
326848512 |
| pthread-wmm/safe008_power.opt_false-unreach-call.i |
false(unreach-call) |
24.2 |
14.0 |
1052753920 |
error (7) |
16.5 |
9.69 |
322162688 |
| pthread-wmm/safe008_pso.oepc_false-unreach-call.i |
false(unreach-call) |
11.7 |
6.14 |
578400256 |
error (7) |
16.6 |
9.62 |
325537792 |
| pthread-wmm/safe008_pso.opt_false-unreach-call.i |
false(unreach-call) |
12.3 |
6.39 |
574464000 |
error (7) |
15.7 |
9.49 |
321585152 |
| pthread-wmm/safe008_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
11.4 |
5.95 |
569921536 |
error (7) |
18.0 |
10.1 |
332025856 |
| pthread-wmm/safe008_rmo.opt_false-unreach-call.i |
false(unreach-call) |
11.8 |
6.13 |
587501568 |
error (7) |
16.7 |
9.75 |
326230016 |
| pthread-wmm/safe009_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.1 |
5.25 |
552448000 |
error (7) |
20.7 |
12.2 |
375242752 |
| pthread-wmm/safe009_power.opt_false-unreach-call.i |
false(unreach-call) |
24.5 |
14.3 |
915329024 |
error (7) |
15.7 |
9.39 |
319119360 |
| pthread-wmm/safe009_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
8.94 |
4.68 |
515678208 |
error (7) |
20.1 |
11.5 |
370130944 |
| pthread-wmm/safe009_rmo.opt_false-unreach-call.i |
false(unreach-call) |
18.9 |
10.4 |
798314496 |
error (7) |
19.8 |
11.4 |
351981568 |
| pthread-wmm/safe010_power.oepc_false-unreach-call.i |
false(unreach-call) |
8.20 |
4.35 |
454451200 |
error (7) |
15.8 |
9.46 |
325320704 |
| pthread-wmm/safe010_power.opt_false-unreach-call.i |
false(unreach-call) |
8.60 |
4.53 |
450080768 |
error (7) |
16.0 |
9.56 |
320860160 |
| pthread-wmm/safe010_pso.oepc_false-unreach-call.i |
false(unreach-call) |
8.06 |
4.26 |
452124672 |
error (7) |
16.1 |
9.46 |
322043904 |
| pthread-wmm/safe010_pso.opt_false-unreach-call.i |
false(unreach-call) |
8.17 |
4.27 |
449847296 |
error (7) |
16.6 |
9.72 |
325914624 |
| pthread-wmm/safe010_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
7.96 |
4.22 |
448942080 |
error (7) |
15.7 |
8.96 |
328368128 |
| pthread-wmm/safe010_rmo.opt_false-unreach-call.i |
false(unreach-call) |
8.15 |
4.28 |
448704512 |
error (7) |
15.7 |
9.28 |
315961344 |
| pthread-wmm/safe011_power.oepc_false-unreach-call.i |
false(unreach-call) |
11.9 |
6.23 |
592986112 |
error (7) |
18.8 |
10.6 |
326152192 |
| pthread-wmm/safe011_power.opt_false-unreach-call.i |
false(unreach-call) |
22.1 |
12.2 |
943005696 |
error (7) |
17.7 |
10.7 |
335101952 |
| pthread-wmm/safe011_pso.oepc_false-unreach-call.i |
false(unreach-call) |
11.8 |
6.11 |
587231232 |
error (7) |
16.9 |
10.1 |
321126400 |
| pthread-wmm/safe011_pso.opt_false-unreach-call.i |
false(unreach-call) |
20.6 |
11.9 |
990089216 |
error (7) |
17.2 |
10.1 |
331321344 |
| pthread-wmm/safe011_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
12.0 |
6.21 |
580284416 |
error (7) |
16.5 |
9.68 |
325894144 |
| pthread-wmm/safe011_rmo.opt_false-unreach-call.i |
false(unreach-call) |
12.4 |
6.42 |
576311296 |
error (7) |
16.6 |
10.2 |
324771840 |
| pthread-wmm/safe012_power.oepc_false-unreach-call.i |
false(unreach-call) |
9.19 |
4.82 |
528056320 |
error (7) |
20.4 |
11.7 |
359321600 |
| pthread-wmm/safe012_power.opt_false-unreach-call.i |
false(unreach-call) |
73.7 |
60.1 |
2476113920 |
error (7) |
18.0 |
10.8 |
325656576 |
| pthread-wmm/safe012_pso.oepc_false-unreach-call.i |
false(unreach-call) |
22.8 |
12.9 |
1131438080 |
error (7) |
16.4 |
9.63 |
325173248 |
| pthread-wmm/safe012_pso.opt_false-unreach-call.i |
false(unreach-call) |
27.7 |
15.6 |
1359921152 |
error (7) |
17.2 |
10.4 |
326602752 |
| pthread-wmm/safe012_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
7.85 |
4.16 |
453996544 |
error (7) |
18.9 |
10.9 |
348147712 |
| pthread-wmm/safe012_rmo.opt_false-unreach-call.i |
false(unreach-call) |
39.4 |
29.8 |
1241526272 |
error (7) |
16.7 |
10.1 |
321421312 |
| pthread-wmm/safe013_power.oepc_false-unreach-call.i |
false(unreach-call) |
27.2 |
15.3 |
1395314688 |
error (7) |
16.1 |
9.44 |
321404928 |
| pthread-wmm/safe013_power.opt_false-unreach-call.i |
false(unreach-call) |
45.6 |
35.3 |
1167671296 |
error (7) |
16.4 |
9.95 |
330842112 |
| pthread-wmm/safe013_pso.oepc_false-unreach-call.i |
false(unreach-call) |
44.0 |
33.0 |
1256992768 |
error (7) |
15.8 |
9.39 |
324698112 |
| pthread-wmm/safe013_pso.opt_false-unreach-call.i |
false(unreach-call) |
35.2 |
25.0 |
1281576960 |
error (7) |
16.3 |
9.22 |
324075520 |
| pthread-wmm/safe013_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
37.0 |
26.8 |
1282494464 |
error (7) |
16.5 |
9.64 |
328171520 |
| pthread-wmm/safe013_rmo.opt_false-unreach-call.i |
false(unreach-call) |
52.5 |
42.5 |
1312362496 |
error (7) |
16.4 |
9.97 |
321232896 |
| pthread-wmm/safe014_power.oepc_false-unreach-call.i |
false(unreach-call) |
9.48 |
4.95 |
527896576 |
error (7) |
20.2 |
11.8 |
348315648 |
| pthread-wmm/safe014_power.opt_false-unreach-call.i |
false(unreach-call) |
9.62 |
5.05 |
524918784 |
error (7) |
18.9 |
10.9 |
341225472 |
| pthread-wmm/safe014_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
7.80 |
4.13 |
453083136 |
error (7) |
19.6 |
11.3 |
350105600 |
| pthread-wmm/safe014_rmo.opt_false-unreach-call.i |
false(unreach-call) |
50.8 |
36.8 |
1884008448 |
error (7) |
19.9 |
11.7 |
372473856 |
| pthread-wmm/safe015_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.5 |
5.62 |
636739584 |
error (7) |
18.7 |
11.1 |
335745024 |
| pthread-wmm/safe015_power.opt_false-unreach-call.i |
false(unreach-call) |
57.2 |
42.5 |
2276065280 |
error (7) |
21.0 |
12.5 |
398987264 |
| pthread-wmm/safe015_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
52.8 |
39.5 |
2012782592 |
error (7) |
21.5 |
12.3 |
380280832 |
| pthread-wmm/safe015_rmo.opt_false-unreach-call.i |
false(unreach-call) |
49.0 |
36.8 |
1788432384 |
error (7) |
20.1 |
12.2 |
383213568 |
| pthread-wmm/safe016_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.4 |
5.43 |
540426240 |
error (7) |
20.5 |
11.8 |
379658240 |
| pthread-wmm/safe016_power.opt_false-unreach-call.i |
false(unreach-call) |
493 |
442 |
4874883072 |
error (7) |
20.9 |
12.4 |
403070976 |
| pthread-wmm/safe016_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
8.79 |
4.62 |
549879808 |
error (7) |
21.2 |
12.1 |
354123776 |
| pthread-wmm/safe016_rmo.opt_false-unreach-call.i |
false(unreach-call) |
455 |
415 |
4626239488 |
error (7) |
20.7 |
12.1 |
364650496 |
| pthread-wmm/safe017_power.oepc_false-unreach-call.i |
false(unreach-call) |
12.5 |
6.49 |
595890176 |
error (7) |
16.5 |
9.67 |
323575808 |
| pthread-wmm/safe017_power.opt_false-unreach-call.i |
false(unreach-call) |
13.4 |
6.89 |
590180352 |
error (7) |
15.8 |
9.64 |
323366912 |
| pthread-wmm/safe017_pso.oepc_false-unreach-call.i |
false(unreach-call) |
11.6 |
6.00 |
579407872 |
error (7) |
16.0 |
9.85 |
320413696 |
| pthread-wmm/safe017_pso.opt_false-unreach-call.i |
false(unreach-call) |
11.9 |
6.16 |
590090240 |
error (7) |
16.9 |
9.72 |
324321280 |
| pthread-wmm/safe017_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
11.5 |
5.99 |
583131136 |
error (7) |
16.2 |
9.35 |
322183168 |
| pthread-wmm/safe017_rmo.opt_false-unreach-call.i |
false(unreach-call) |
12.1 |
6.27 |
570142720 |
error (7) |
15.6 |
9.20 |
323166208 |
| pthread-wmm/safe018_power.oepc_false-unreach-call.i |
false(unreach-call) |
9.66 |
5.07 |
531861504 |
error (7) |
20.1 |
11.6 |
351203328 |
| pthread-wmm/safe018_power.opt_false-unreach-call.i |
false(unreach-call) |
69.2 |
52.6 |
2131013632 |
error (7) |
19.4 |
11.6 |
348520448 |
| pthread-wmm/safe018_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
8.58 |
4.53 |
452550656 |
error (7) |
19.3 |
11.0 |
355016704 |
| pthread-wmm/safe018_rmo.opt_false-unreach-call.i |
false(unreach-call) |
31.2 |
20.9 |
1317703680 |
error (7) |
19.9 |
12.0 |
370769920 |
| pthread-wmm/safe019_power.oepc_false-unreach-call.i |
false(unreach-call) |
9.79 |
5.12 |
518180864 |
error (7) |
21.3 |
12.7 |
391090176 |
| pthread-wmm/safe019_power.opt_false-unreach-call.i |
false(unreach-call) |
721 |
670 |
4560740352 |
error (7) |
18.2 |
10.8 |
352497664 |
| pthread-wmm/safe019_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
8.84 |
4.59 |
538189824 |
error (7) |
19.2 |
10.8 |
353271808 |
| pthread-wmm/safe019_rmo.opt_false-unreach-call.i |
false(unreach-call) |
229 |
202 |
4382449664 |
error (7) |
20.3 |
11.9 |
366907392 |
| pthread-wmm/safe020_power.oepc_false-unreach-call.i |
false(unreach-call) |
70.5 |
53.3 |
2318696448 |
error (7) |
17.3 |
9.75 |
326103040 |
| pthread-wmm/safe020_power.opt_false-unreach-call.i |
false(unreach-call) |
70.2 |
52.9 |
2338476032 |
error (7) |
17.4 |
10.2 |
336060416 |
| pthread-wmm/safe020_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
31.7 |
20.8 |
1281871872 |
error (7) |
21.0 |
12.2 |
375128064 |
| pthread-wmm/safe020_rmo.opt_false-unreach-call.i |
false(unreach-call) |
31.4 |
20.5 |
1253081088 |
error (7) |
20.1 |
11.6 |
361381888 |
| pthread-wmm/safe021_power.oepc_false-unreach-call.i |
false(unreach-call) |
16.0 |
8.26 |
610664448 |
error (7) |
16.3 |
9.09 |
319881216 |
| pthread-wmm/safe021_power.opt_false-unreach-call.i |
false(unreach-call) |
23.4 |
12.5 |
976404480 |
error (7) |
16.5 |
9.95 |
330133504 |
| pthread-wmm/safe021_pso.oepc_false-unreach-call.i |
false(unreach-call) |
16.5 |
8.48 |
588300288 |
error (7) |
14.8 |
9.09 |
315850752 |
| pthread-wmm/safe021_pso.opt_false-unreach-call.i |
false(unreach-call) |
22.7 |
12.3 |
988868608 |
error (7) |
17.5 |
9.88 |
323534848 |
| pthread-wmm/safe021_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
15.6 |
8.03 |
627126272 |
error (7) |
15.6 |
9.15 |
313225216 |
| pthread-wmm/safe021_rmo.opt_false-unreach-call.i |
false(unreach-call) |
16.4 |
8.44 |
628846592 |
error (7) |
16.1 |
9.48 |
314281984 |
| pthread-wmm/safe022_power.oepc_false-unreach-call.i |
false(unreach-call) |
11.0 |
5.68 |
554176512 |
error (7) |
14.6 |
8.98 |
315781120 |
| pthread-wmm/safe022_power.opt_false-unreach-call.i |
false(unreach-call) |
11.2 |
5.83 |
542314496 |
error (7) |
15.3 |
9.42 |
315817984 |
| pthread-wmm/safe022_pso.oepc_false-unreach-call.i |
false(unreach-call) |
9.71 |
5.07 |
548159488 |
error (7) |
15.3 |
8.94 |
313638912 |
| pthread-wmm/safe022_pso.opt_false-unreach-call.i |
false(unreach-call) |
10.4 |
5.46 |
558317568 |
error (7) |
16.0 |
9.64 |
317394944 |
| pthread-wmm/safe022_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
10.8 |
5.57 |
572915712 |
error (7) |
15.4 |
8.69 |
316448768 |
| pthread-wmm/safe022_rmo.opt_false-unreach-call.i |
false(unreach-call) |
9.73 |
5.10 |
550117376 |
error (7) |
15.1 |
8.90 |
313749504 |
| pthread-wmm/safe023_power.oepc_false-unreach-call.i |
false(unreach-call) |
91.5 |
72.6 |
3598610432 |
error (7) |
18.9 |
11.2 |
336142336 |
| pthread-wmm/safe023_power.opt_false-unreach-call.i |
false(unreach-call) |
92.9 |
74.3 |
3601629184 |
error (7) |
19.4 |
11.8 |
338599936 |
| pthread-wmm/safe023_pso.oepc_false-unreach-call.i |
false(unreach-call) |
95.8 |
77.1 |
3550130176 |
error (7) |
18.2 |
10.2 |
337068032 |
| pthread-wmm/safe023_pso.opt_false-unreach-call.i |
false(unreach-call) |
91.9 |
73.0 |
3625402368 |
error (7) |
21.3 |
12.3 |
340729856 |
| pthread-wmm/safe023_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
92.3 |
74.8 |
3710603264 |
error (7) |
22.6 |
13.1 |
342896640 |
| pthread-wmm/safe023_rmo.opt_false-unreach-call.i |
false(unreach-call) |
102 |
82.3 |
3604348928 |
error (7) |
18.2 |
10.9 |
331939840 |
| pthread-wmm/safe024_power.oepc_false-unreach-call.i |
false(unreach-call) |
28.0 |
15.8 |
1394933760 |
error (7) |
15.9 |
9.70 |
319668224 |
| pthread-wmm/safe024_power.opt_false-unreach-call.i |
false(unreach-call) |
41.7 |
32.1 |
1258360832 |
error (7) |
16.1 |
9.89 |
322564096 |
| pthread-wmm/safe024_pso.oepc_false-unreach-call.i |
false(unreach-call) |
51.7 |
40.9 |
1296355328 |
error (7) |
17.9 |
10.1 |
329093120 |
| pthread-wmm/safe024_pso.opt_false-unreach-call.i |
false(unreach-call) |
55.8 |
44.6 |
1286217728 |
error (7) |
17.8 |
10.2 |
326717440 |
| pthread-wmm/safe024_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
59.0 |
48.0 |
1252933632 |
error (7) |
17.4 |
9.98 |
323547136 |
| pthread-wmm/safe024_rmo.opt_false-unreach-call.i |
false(unreach-call) |
54.2 |
43.0 |
1321684992 |
error (7) |
16.2 |
9.78 |
321077248 |
| pthread-wmm/safe025_power.oepc_false-unreach-call.i |
false(unreach-call) |
12.3 |
6.36 |
635346944 |
error (7) |
19.1 |
11.2 |
329469952 |
| pthread-wmm/safe025_power.opt_false-unreach-call.i |
false(unreach-call) |
11.6 |
6.05 |
653881344 |
error (7) |
17.7 |
10.4 |
331444224 |
| pthread-wmm/safe025_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
59.0 |
42.6 |
2112978944 |
error (7) |
21.0 |
12.2 |
375648256 |
| pthread-wmm/safe025_rmo.opt_false-unreach-call.i |
false(unreach-call) |
50.4 |
37.0 |
1814761472 |
error (7) |
20.7 |
11.6 |
394985472 |
| pthread-wmm/safe026_power.oepc_false-unreach-call.i |
false(unreach-call) |
15.4 |
7.96 |
617934848 |
error (7) |
15.4 |
9.40 |
314933248 |
| pthread-wmm/safe026_power.opt_false-unreach-call.i |
false(unreach-call) |
15.9 |
8.22 |
611602432 |
error (7) |
15.1 |
8.93 |
312008704 |
| pthread-wmm/safe026_pso.oepc_false-unreach-call.i |
false(unreach-call) |
14.5 |
7.49 |
611676160 |
error (7) |
15.3 |
9.15 |
315777024 |
| pthread-wmm/safe026_pso.opt_false-unreach-call.i |
false(unreach-call) |
14.6 |
7.59 |
597372928 |
error (7) |
15.7 |
8.81 |
321355776 |
| pthread-wmm/safe026_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
15.8 |
8.12 |
621621248 |
error (7) |
15.2 |
9.03 |
314703872 |
| pthread-wmm/safe026_rmo.opt_false-unreach-call.i |
false(unreach-call) |
15.7 |
8.08 |
616071168 |
error (7) |
15.1 |
9.25 |
314560512 |
| pthread-wmm/safe027_power.oepc_false-unreach-call.i |
false(unreach-call) |
10.7 |
5.51 |
543547392 |
error (7) |
21.4 |
12.2 |
382730240 |
| pthread-wmm/safe027_power.opt_false-unreach-call.i |
false(unreach-call) |
587 |
545 |
4460011520 |
error (7) |
17.4 |
10.6 |
334172160 |
| pthread-wmm/safe027_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
9.27 |
4.82 |
523751424 |
error (7) |
20.2 |
11.8 |
362213376 |
| pthread-wmm/safe027_rmo.opt_false-unreach-call.i |
false(unreach-call) |
9.25 |
4.81 |
529997824 |
error (7) |
20.9 |
11.9 |
365289472 |
| pthread-wmm/safe028_power.oepc_false-unreach-call.i |
false(unreach-call) |
61.5 |
49.2 |
2084634624 |
error (7) |
19.7 |
11.4 |
337645568 |
| pthread-wmm/safe028_power.opt_false-unreach-call.i |
false(unreach-call) |
68.1 |
53.2 |
2386989056 |
error (7) |
19.7 |
11.1 |
327675904 |
| pthread-wmm/safe028_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
34.4 |
22.4 |
1319661568 |
error (7) |
19.3 |
11.5 |
382918656 |
| pthread-wmm/safe028_rmo.opt_false-unreach-call.i |
false(unreach-call) |
33.5 |
22.0 |
1400135680 |
error (7) |
20.1 |
11.3 |
358912000 |
| pthread-wmm/safe029_power.oepc_false-unreach-call.i |
false(unreach-call) |
8.04 |
4.26 |
450179072 |
error (7) |
16.6 |
10.1 |
321265664 |
| pthread-wmm/safe029_power.opt_false-unreach-call.i |
false(unreach-call) |
8.75 |
4.58 |
448962560 |
error (7) |
17.0 |
10.1 |
325181440 |
| pthread-wmm/safe029_pso.oepc_false-unreach-call.i |
false(unreach-call) |
8.26 |
4.33 |
448946176 |
error (7) |
19.6 |
11.4 |
327950336 |
| pthread-wmm/safe029_pso.opt_false-unreach-call.i |
false(unreach-call) |
8.20 |
4.31 |
447504384 |
error (7) |
17.3 |
10.2 |
327434240 |
| pthread-wmm/safe029_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
8.14 |
4.29 |
447512576 |
error (7) |
16.4 |
9.93 |
321138688 |
| pthread-wmm/safe029_rmo.opt_false-unreach-call.i |
false(unreach-call) |
8.54 |
4.49 |
450621440 |
error (7) |
16.4 |
9.89 |
327069696 |
| pthread-wmm/safe030_power.oepc_false-unreach-call.i |
false(unreach-call) |
13.4 |
6.88 |
587517952 |
error (7) |
16.2 |
9.18 |
323653632 |
| pthread-wmm/safe030_power.opt_false-unreach-call.i |
false(unreach-call) |
15.7 |
8.16 |
664326144 |
error (7) |
18.1 |
10.8 |
320614400 |
| pthread-wmm/safe030_pso.oepc_false-unreach-call.i |
false(unreach-call) |
12.1 |
6.24 |
576815104 |
error (7) |
16.7 |
10.1 |
323141632 |
| pthread-wmm/safe030_pso.opt_false-unreach-call.i |
false(unreach-call) |
15.6 |
8.06 |
648802304 |
error (7) |
17.2 |
10.1 |
333463552 |
| pthread-wmm/safe030_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
12.1 |
6.28 |
579678208 |
error (7) |
16.5 |
9.77 |
324161536 |
| pthread-wmm/safe030_rmo.opt_false-unreach-call.i |
false(unreach-call) |
18.4 |
9.45 |
643182592 |
error (7) |
17.2 |
9.98 |
328265728 |
| pthread-wmm/safe031_power.oepc_false-unreach-call.i |
false(unreach-call) |
36.9 |
26.2 |
1297420288 |
error (7) |
16.6 |
9.86 |
330326016 |
| pthread-wmm/safe031_power.opt_false-unreach-call.i |
false(unreach-call) |
16.2 |
8.38 |
657817600 |
error (7) |
16.2 |
9.52 |
324440064 |
| pthread-wmm/safe031_pso.oepc_false-unreach-call.i |
false(unreach-call) |
26.1 |
15.1 |
1399144448 |
error (7) |
17.0 |
9.89 |
320757760 |
| pthread-wmm/safe031_pso.opt_false-unreach-call.i |
false(unreach-call) |
16.1 |
8.37 |
650117120 |
error (7) |
18.5 |
10.8 |
332980224 |
| pthread-wmm/safe031_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
34.6 |
23.9 |
1266790400 |
error (7) |
15.9 |
9.35 |
321343488 |
| pthread-wmm/safe031_rmo.opt_false-unreach-call.i |
false(unreach-call) |
16.1 |
8.36 |
660123648 |
error (7) |
17.3 |
10.1 |
324050944 |
| pthread-wmm/safe032_power.oepc_false-unreach-call.i |
false(unreach-call) |
61.5 |
43.2 |
2430205952 |
error (7) |
19.5 |
11.9 |
345178112 |
| pthread-wmm/safe032_power.opt_false-unreach-call.i |
false(unreach-call) |
60.7 |
44.4 |
2434060288 |
error (7) |
19.7 |
11.0 |
333938688 |
| pthread-wmm/safe032_pso.oepc_false-unreach-call.i |
false(unreach-call) |
59.6 |
42.6 |
2412060672 |
error (7) |
19.6 |
11.7 |
344186880 |
| pthread-wmm/safe032_pso.opt_false-unreach-call.i |
false(unreach-call) |
60.0 |
43.7 |
2536267776 |
error (7) |
19.8 |
11.8 |
350011392 |
| pthread-wmm/safe032_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
61.6 |
46.1 |
2539864064 |
error (7) |
19.5 |
11.6 |
344940544 |
| pthread-wmm/safe032_rmo.opt_false-unreach-call.i |
false(unreach-call) |
56.1 |
40.0 |
2588061696 |
error (7) |
19.1 |
11.5 |
344915968 |
| pthread-wmm/safe033_power.oepc_false-unreach-call.i |
false(unreach-call) |
9.29 |
4.82 |
446214144 |
error (7) |
16.2 |
9.93 |
320692224 |
| pthread-wmm/safe033_power.opt_false-unreach-call.i |
false(unreach-call) |
9.18 |
4.84 |
452587520 |
error (7) |
16.4 |
9.62 |
330108928 |
| pthread-wmm/safe033_pso.oepc_false-unreach-call.i |
false(unreach-call) |
8.76 |
4.63 |
457789440 |
error (7) |
16.4 |
10.2 |
316960768 |
| pthread-wmm/safe033_pso.opt_false-unreach-call.i |
false(unreach-call) |
9.24 |
4.85 |
457023488 |
error (7) |
16.2 |
9.99 |
328884224 |
| pthread-wmm/safe033_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
8.98 |
4.69 |
444542976 |
error (7) |
16.4 |
10.1 |
319320064 |
| pthread-wmm/safe033_rmo.opt_false-unreach-call.i |
false(unreach-call) |
9.20 |
4.81 |
455077888 |
error (7) |
16.0 |
9.33 |
321388544 |
| pthread-wmm/safe034_power.oepc_false-unreach-call.i |
false(unreach-call) |
21.2 |
10.8 |
884441088 |
error (7) |
16.4 |
9.82 |
318668800 |
| pthread-wmm/safe034_power.opt_false-unreach-call.i |
false(unreach-call) |
18.9 |
9.89 |
865521664 |
error (7) |
16.7 |
9.93 |
329019392 |
| pthread-wmm/safe034_pso.oepc_false-unreach-call.i |
false(unreach-call) |
18.8 |
9.85 |
849760256 |
error (7) |
16.4 |
9.94 |
322535424 |
| pthread-wmm/safe034_pso.opt_false-unreach-call.i |
false(unreach-call) |
19.7 |
10.2 |
857710592 |
error (7) |
17.4 |
10.1 |
321556480 |
| pthread-wmm/safe034_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
18.6 |
9.80 |
844394496 |
error (7) |
17.0 |
10.3 |
328658944 |
| pthread-wmm/safe034_rmo.opt_false-unreach-call.i |
false(unreach-call) |
19.1 |
10.1 |
833945600 |
error (7) |
16.1 |
9.44 |
319418368 |
| pthread-wmm/thin000_power.oepc_false-unreach-call.i |
false(unreach-call) |
11.6 |
6.07 |
526536704 |
error (7) |
19.9 |
11.8 |
338292736 |
| pthread-wmm/thin000_power.opt_false-unreach-call.i |
false(unreach-call) |
12.0 |
6.29 |
545828864 |
error (7) |
17.3 |
9.63 |
320794624 |
| pthread-wmm/thin000_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
7.63 |
4.05 |
455667712 |
error (7) |
19.6 |
11.4 |
347402240 |
| pthread-wmm/thin000_rmo.opt_false-unreach-call.i |
false(unreach-call) |
7.79 |
4.13 |
449150976 |
error (7) |
18.4 |
11.1 |
349151232 |
| pthread-wmm/thin001_power.oepc_false-unreach-call.i |
false(unreach-call) |
9.10 |
4.73 |
505217024 |
error (7) |
20.1 |
11.9 |
348864512 |
| pthread-wmm/thin001_power.opt_false-unreach-call.i |
false(unreach-call) |
71.7 |
58.4 |
2436874240 |
error (7) |
16.4 |
10.1 |
318156800 |
| pthread-wmm/thin001_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
7.66 |
4.07 |
453103616 |
error (7) |
19.3 |
11.2 |
340455424 |
| pthread-wmm/thin001_rmo.opt_false-unreach-call.i |
false(unreach-call) |
8.05 |
4.21 |
452476928 |
error (7) |
17.8 |
10.4 |
339087360 |
| pthread-wmm/thin002_power.oepc_false-unreach-call.i |
false(unreach-call) |
9.77 |
5.11 |
531845120 |
error (7) |
19.9 |
11.9 |
366567424 |
| pthread-wmm/thin002_power.opt_false-unreach-call.i |
timeout |
921 |
844 |
5641822208 |
error (7) |
15.8 |
9.69 |
325267456 |
| pthread-wmm/thin002_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
8.18 |
4.26 |
453582848 |
error (7) |
18.9 |
11.4 |
352763904 |
| pthread-wmm/thin002_rmo.opt_false-unreach-call.i |
false(unreach-call) |
8.09 |
4.22 |
447012864 |
error (7) |
18.9 |
11.0 |
340381696 |
| pthread-wmm/rfi000_tso.oepc_true-unreach-call.i |
true |
31.4 |
19.4 |
1262518272 |
error (7) |
17.7 |
10.2 |
323035136 |
| pthread-wmm/rfi000_tso.opt_true-unreach-call.i |
true |
29.6 |
18.4 |
1222885376 |
error (7) |
18.3 |
11.0 |
336506880 |
| pthread-wmm/rfi002_power.oepc_true-unreach-call.i |
true |
31.5 |
20.0 |
1295990784 |
error (7) |
19.0 |
11.1 |
339730432 |
| pthread-wmm/rfi002_power.opt_true-unreach-call.i |
true |
33.1 |
20.6 |
1224155136 |
error (7) |
18.3 |
10.3 |
352731136 |
| pthread-wmm/rfi002_pso.oepc_true-unreach-call.i |
true |
30.7 |
19.7 |
1247543296 |
error (7) |
19.4 |
11.3 |
354148352 |
| pthread-wmm/rfi002_pso.opt_true-unreach-call.i |
true |
32.0 |
20.4 |
1238994944 |
error (7) |
18.0 |
10.9 |
340729856 |
| pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i |
true |
31.4 |
19.5 |
1238241280 |
error (7) |
18.7 |
10.8 |
337739776 |
| pthread-wmm/rfi002_rmo.opt_true-unreach-call.i |
true |
32.1 |
20.5 |
1286160384 |
error (7) |
18.6 |
11.2 |
342810624 |
| pthread-wmm/rfi002_tso.oepc_true-unreach-call.i |
true |
58.5 |
43.7 |
2100387840 |
error (7) |
18.5 |
11.0 |
338743296 |
| pthread-wmm/rfi002_tso.opt_true-unreach-call.i |
true |
56.1 |
40.6 |
2120716288 |
error (7) |
19.3 |
11.3 |
340774912 |
| pthread-wmm/rfi003_tso.oepc_true-unreach-call.i |
true |
40.6 |
27.6 |
1637584896 |
error (7) |
21.0 |
12.6 |
327639040 |
| pthread-wmm/rfi003_tso.opt_true-unreach-call.i |
true |
43.8 |
30.7 |
1814560768 |
error (7) |
18.7 |
10.6 |
328949760 |
| pthread-wmm/safe000_pso.oepc_true-unreach-call.i |
true |
16.2 |
8.53 |
721580032 |
error (7) |
15.6 |
9.15 |
327536640 |
| pthread-wmm/safe000_pso.opt_true-unreach-call.i |
true |
13.8 |
7.19 |
703303680 |
error (7) |
15.0 |
8.92 |
322625536 |
| pthread-wmm/safe000_tso.oepc_true-unreach-call.i |
true |
14.9 |
7.69 |
715202560 |
error (7) |
15.2 |
9.01 |
323694592 |
| pthread-wmm/safe000_tso.opt_true-unreach-call.i |
true |
13.9 |
7.18 |
723685376 |
error (7) |
15.2 |
8.60 |
322519040 |
| pthread-wmm/safe001_tso.oepc_true-unreach-call.i |
true |
16.5 |
8.68 |
734453760 |
error (7) |
16.1 |
8.98 |
320520192 |
| pthread-wmm/safe001_tso.opt_true-unreach-call.i |
true |
16.0 |
8.43 |
733995008 |
error (7) |
15.8 |
8.81 |
314150912 |
| pthread-wmm/safe002_tso.oepc_true-unreach-call.i |
true |
15.8 |
8.33 |
723320832 |
error (7) |
14.9 |
9.02 |
319348736 |
| pthread-wmm/safe002_tso.opt_true-unreach-call.i |
true |
13.8 |
7.16 |
714141696 |
error (7) |
15.6 |
9.13 |
313958400 |
| pthread-wmm/safe003_tso.oepc_true-unreach-call.i |
true |
15.8 |
8.31 |
743968768 |
error (7) |
15.6 |
9.11 |
314036224 |
| pthread-wmm/safe003_tso.opt_true-unreach-call.i |
true |
16.7 |
8.71 |
759083008 |
error (7) |
15.3 |
9.07 |
325840896 |
| pthread-wmm/safe004_tso.oepc_true-unreach-call.i |
true |
20.0 |
10.5 |
762650624 |
error (7) |
15.4 |
9.51 |
316071936 |
| pthread-wmm/safe004_tso.opt_true-unreach-call.i |
true |
16.7 |
8.63 |
767000576 |
error (7) |
16.3 |
9.38 |
314765312 |
| pthread-wmm/safe005_tso.oepc_true-unreach-call.i |
true |
16.4 |
8.58 |
866643968 |
error (7) |
15.3 |
9.49 |
324816896 |
| pthread-wmm/safe005_tso.opt_true-unreach-call.i |
true |
21.1 |
11.0 |
854048768 |
error (7) |
15.1 |
9.15 |
318607360 |
| pthread-wmm/safe006_pso.oepc_true-unreach-call.i |
true |
6.11 |
3.27 |
369545216 |
error (7) |
15.1 |
9.32 |
321294336 |
| pthread-wmm/safe006_pso.opt_true-unreach-call.i |
true |
6.51 |
3.45 |
379039744 |
error (7) |
14.5 |
8.58 |
316645376 |
| pthread-wmm/safe006_tso.oepc_true-unreach-call.i |
true |
6.31 |
3.34 |
373174272 |
error (7) |
14.8 |
9.03 |
310976512 |
| pthread-wmm/safe006_tso.opt_true-unreach-call.i |
true |
6.06 |
3.25 |
378990592 |
error (7) |
15.4 |
9.32 |
312963072 |
| pthread-wmm/safe007_pso.oepc_true-unreach-call.i |
true |
11.0 |
5.69 |
512053248 |
error (7) |
15.3 |
8.62 |
313081856 |
| pthread-wmm/safe007_pso.opt_true-unreach-call.i |
true |
10.9 |
5.65 |
517357568 |
error (7) |
15.5 |
9.29 |
319930368 |
| pthread-wmm/safe007_tso.oepc_true-unreach-call.i |
true |
10.8 |
5.63 |
522620928 |
error (7) |
14.7 |
9.17 |
320401408 |
| pthread-wmm/safe007_tso.opt_true-unreach-call.i |
true |
12.1 |
6.29 |
520515584 |
error (7) |
15.2 |
9.44 |
320712704 |
| pthread-wmm/safe008_tso.oepc_true-unreach-call.i |
true |
10.6 |
5.51 |
514396160 |
error (7) |
15.6 |
9.45 |
320462848 |
| pthread-wmm/safe008_tso.opt_true-unreach-call.i |
true |
10.8 |
5.63 |
516083712 |
error (7) |
15.6 |
9.10 |
323891200 |
| pthread-wmm/safe009_pso.oepc_true-unreach-call.i |
true |
11.2 |
5.88 |
593833984 |
error (7) |
15.0 |
8.99 |
325832704 |
| pthread-wmm/safe009_pso.opt_true-unreach-call.i |
true |
11.7 |
6.08 |
693166080 |
error (7) |
15.7 |
9.75 |
327553024 |
| pthread-wmm/safe009_tso.oepc_true-unreach-call.i |
true |
12.8 |
6.65 |
620703744 |
error (7) |
15.4 |
9.00 |
322207744 |
| pthread-wmm/safe009_tso.opt_true-unreach-call.i |
true |
11.2 |
5.78 |
583356416 |
error (7) |
15.5 |
9.63 |
320712704 |
| pthread-wmm/safe010_tso.oepc_true-unreach-call.i |
true |
6.07 |
3.23 |
379109376 |
error (7) |
15.4 |
8.89 |
314286080 |
| pthread-wmm/safe010_tso.opt_true-unreach-call.i |
true |
5.84 |
3.14 |
378273792 |
error (7) |
15.3 |
8.99 |
313810944 |
| pthread-wmm/safe011_tso.oepc_true-unreach-call.i |
true |
10.9 |
5.65 |
515239936 |
error (7) |
15.3 |
8.64 |
324030464 |
| pthread-wmm/safe011_tso.opt_true-unreach-call.i |
true |
10.5 |
5.48 |
513196032 |
error (7) |
15.1 |
9.31 |
316948480 |
| pthread-wmm/safe012_tso.oepc_true-unreach-call.i |
true |
10.3 |
5.39 |
516362240 |
error (7) |
15.6 |
9.15 |
320028672 |
| pthread-wmm/safe012_tso.opt_true-unreach-call.i |
true |
10.4 |
5.42 |
507068416 |
error (7) |
15.7 |
9.01 |
325660672 |
| pthread-wmm/safe013_tso.oepc_true-unreach-call.i |
true |
11.1 |
5.81 |
540905472 |
error (7) |
15.8 |
8.79 |
321236992 |
| pthread-wmm/safe013_tso.opt_true-unreach-call.i |
true |
10.4 |
5.43 |
533889024 |
error (7) |
16.0 |
8.84 |
322338816 |
| pthread-wmm/safe014_pso.oepc_true-unreach-call.i |
true |
17.1 |
8.99 |
755597312 |
error (7) |
14.8 |
8.80 |
310321152 |
| pthread-wmm/safe014_pso.opt_true-unreach-call.i |
true |
16.6 |
8.71 |
754417664 |
error (7) |
15.2 |
8.65 |
318734336 |
| pthread-wmm/safe014_tso.oepc_true-unreach-call.i |
true |
15.0 |
7.80 |
772096000 |
error (7) |
15.5 |
9.01 |
324677632 |
| pthread-wmm/safe014_tso.opt_true-unreach-call.i |
true |
17.1 |
9.00 |
761245696 |
error (7) |
15.3 |
8.71 |
321355776 |
| pthread-wmm/safe015_pso.oepc_true-unreach-call.i |
true |
15.4 |
8.07 |
764248064 |
error (7) |
15.4 |
9.02 |
316846080 |
| pthread-wmm/safe015_pso.opt_true-unreach-call.i |
true |
15.8 |
8.21 |
759398400 |
error (7) |
15.1 |
8.50 |
315740160 |
| pthread-wmm/safe015_tso.oepc_true-unreach-call.i |
true |
14.5 |
7.58 |
756826112 |
error (7) |
15.0 |
8.51 |
313323520 |
| pthread-wmm/safe015_tso.opt_true-unreach-call.i |
true |
15.5 |
8.06 |
743866368 |
error (7) |
15.5 |
8.64 |
324284416 |
| pthread-wmm/safe016_pso.oepc_true-unreach-call.i |
true |
70.9 |
47.4 |
3580506112 |
error (7) |
15.3 |
9.46 |
322023424 |
| pthread-wmm/safe016_pso.opt_true-unreach-call.i |
true |
65.7 |
44.5 |
3283193856 |
error (7) |
15.4 |
9.38 |
317128704 |
| pthread-wmm/safe016_tso.oepc_true-unreach-call.i |
true |
76.2 |
50.6 |
3529129984 |
error (7) |
17.2 |
10.1 |
325636096 |
| pthread-wmm/safe016_tso.opt_true-unreach-call.i |
true |
68.2 |
45.9 |
3393593344 |
error (7) |
16.6 |
9.91 |
323563520 |
| pthread-wmm/safe017_tso.oepc_true-unreach-call.i |
true |
11.6 |
6.03 |
600199168 |
error (7) |
15.5 |
9.02 |
323592192 |
| pthread-wmm/safe017_tso.opt_true-unreach-call.i |
true |
10.6 |
5.51 |
578404352 |
error (7) |
15.1 |
8.49 |
322641920 |
| pthread-wmm/safe018_pso.oepc_true-unreach-call.i |
true |
10.1 |
5.29 |
513830912 |
error (7) |
15.6 |
8.72 |
320712704 |
| pthread-wmm/safe018_pso.opt_true-unreach-call.i |
true |
10.9 |
5.67 |
516395008 |
error (7) |
15.3 |
9.34 |
326987776 |
| pthread-wmm/safe018_tso.oepc_true-unreach-call.i |
true |
10.6 |
5.50 |
519938048 |
error (7) |
15.1 |
9.33 |
313303040 |
| pthread-wmm/safe018_tso.opt_true-unreach-call.i |
true |
10.2 |
5.31 |
514969600 |
error (7) |
15.5 |
9.00 |
325861376 |
| pthread-wmm/safe019_pso.oepc_true-unreach-call.i |
true |
62.9 |
42.0 |
2899128320 |
error (7) |
15.1 |
9.00 |
323960832 |
| pthread-wmm/safe019_pso.opt_true-unreach-call.i |
true |
63.9 |
44.3 |
2811858944 |
error (7) |
15.8 |
9.29 |
321282048 |
| pthread-wmm/safe019_tso.oepc_true-unreach-call.i |
true |
89.8 |
70.3 |
2820861952 |
error (7) |
15.2 |
9.30 |
317423616 |
| pthread-wmm/safe019_tso.opt_true-unreach-call.i |
true |
69.4 |
47.9 |
2808885248 |
error (7) |
15.3 |
8.65 |
321695744 |
| pthread-wmm/safe020_pso.oepc_true-unreach-call.i |
true |
10.6 |
5.57 |
507568128 |
error (7) |
15.0 |
9.12 |
311627776 |
| pthread-wmm/safe020_pso.opt_true-unreach-call.i |
true |
10.5 |
5.47 |
515317760 |
error (7) |
17.6 |
10.5 |
322293760 |
| pthread-wmm/safe020_tso.oepc_true-unreach-call.i |
true |
10.6 |
5.53 |
512122880 |
error (7) |
14.8 |
8.78 |
326242304 |
| pthread-wmm/safe020_tso.opt_true-unreach-call.i |
true |
10.3 |
5.40 |
511696896 |
error (7) |
15.8 |
8.81 |
323211264 |
| pthread-wmm/safe021_tso.oepc_true-unreach-call.i |
true |
10.6 |
5.56 |
507346944 |
error (7) |
15.6 |
9.38 |
316637184 |
| pthread-wmm/safe021_tso.opt_true-unreach-call.i |
true |
10.7 |
5.60 |
516775936 |
error (7) |
16.0 |
9.26 |
323604480 |
| pthread-wmm/safe022_tso.oepc_true-unreach-call.i |
true |
6.04 |
3.24 |
362528768 |
error (7) |
14.7 |
8.65 |
317485056 |
| pthread-wmm/safe022_tso.opt_true-unreach-call.i |
true |
6.01 |
3.21 |
370446336 |
error (7) |
15.2 |
9.27 |
318009344 |
| pthread-wmm/safe023_tso.oepc_true-unreach-call.i |
true |
16.4 |
8.58 |
758497280 |
error (7) |
15.4 |
9.08 |
315842560 |
| pthread-wmm/safe023_tso.opt_true-unreach-call.i |
true |
17.9 |
9.40 |
763613184 |
error (7) |
14.6 |
8.61 |
317227008 |
| pthread-wmm/safe024_tso.oepc_true-unreach-call.i |
true |
10.8 |
5.65 |
539897856 |
error (7) |
15.5 |
9.26 |
310128640 |
| pthread-wmm/safe024_tso.opt_true-unreach-call.i |
true |
11.4 |
5.89 |
573620224 |
error (7) |
14.9 |
8.75 |
326721536 |
| pthread-wmm/safe025_pso.oepc_true-unreach-call.i |
true |
15.3 |
7.98 |
778096640 |
error (7) |
15.2 |
8.50 |
322023424 |
| pthread-wmm/safe025_pso.opt_true-unreach-call.i |
true |
17.4 |
9.02 |
777080832 |
error (7) |
15.4 |
9.47 |
314388480 |
| pthread-wmm/safe025_tso.oepc_true-unreach-call.i |
true |
16.8 |
8.92 |
768040960 |
error (7) |
17.2 |
10.3 |
313171968 |
| pthread-wmm/safe025_tso.opt_true-unreach-call.i |
true |
16.9 |
8.82 |
769056768 |
error (7) |
15.7 |
9.08 |
315097088 |
| pthread-wmm/safe026_tso.oepc_true-unreach-call.i |
true |
10.6 |
5.55 |
588009472 |
error (7) |
15.9 |
8.92 |
313217024 |
| pthread-wmm/safe026_tso.opt_true-unreach-call.i |
true |
12.0 |
6.22 |
617594880 |
error (7) |
15.3 |
8.97 |
326090752 |
| pthread-wmm/safe027_pso.oepc_true-unreach-call.i |
true |
48.2 |
29.5 |
2416836608 |
error (7) |
15.2 |
8.86 |
324763648 |
| pthread-wmm/safe027_pso.opt_true-unreach-call.i |
true |
44.3 |
27.5 |
2453454848 |
error (7) |
15.4 |
9.37 |
319967232 |
| pthread-wmm/safe027_tso.oepc_true-unreach-call.i |
true |
292 |
274 |
2538889216 |
error (7) |
15.2 |
8.63 |
322400256 |
| pthread-wmm/safe027_tso.opt_true-unreach-call.i |
true |
47.3 |
29.6 |
2424565760 |
error (7) |
15.4 |
8.70 |
327118848 |
| pthread-wmm/safe028_pso.oepc_true-unreach-call.i |
true |
10.9 |
5.66 |
522366976 |
error (7) |
15.2 |
8.57 |
324214784 |
| pthread-wmm/safe028_pso.opt_true-unreach-call.i |
true |
11.0 |
5.71 |
514674688 |
error (7) |
16.0 |
9.27 |
325402624 |
| pthread-wmm/safe028_tso.oepc_true-unreach-call.i |
true |
10.7 |
5.56 |
515223552 |
error (7) |
15.2 |
9.36 |
320458752 |
| pthread-wmm/safe028_tso.opt_true-unreach-call.i |
true |
10.7 |
5.54 |
514777088 |
error (7) |
15.6 |
9.19 |
315715584 |
| pthread-wmm/safe029_tso.oepc_true-unreach-call.i |
true |
6.18 |
3.28 |
366915584 |
error (7) |
14.9 |
8.71 |
315523072 |
| pthread-wmm/safe029_tso.opt_true-unreach-call.i |
true |
5.93 |
3.21 |
364122112 |
error (7) |
15.0 |
9.15 |
315547648 |
| pthread-wmm/safe030_tso.oepc_true-unreach-call.i |
true |
10.9 |
5.68 |
516259840 |
error (7) |
16.2 |
9.84 |
313958400 |
| pthread-wmm/safe030_tso.opt_true-unreach-call.i |
true |
10.8 |
5.62 |
516833280 |
error (7) |
15.3 |
9.33 |
319725568 |
| pthread-wmm/safe031_tso.oepc_true-unreach-call.i |
true |
10.6 |
5.48 |
533749760 |
error (7) |
16.5 |
9.62 |
317104128 |
| pthread-wmm/safe031_tso.opt_true-unreach-call.i |
true |
11.0 |
5.78 |
536592384 |
error (7) |
15.9 |
9.51 |
325943296 |
| pthread-wmm/safe032_tso.oepc_true-unreach-call.i |
true |
16.9 |
8.98 |
773476352 |
error (7) |
15.4 |
9.29 |
327327744 |
| pthread-wmm/safe032_tso.opt_true-unreach-call.i |
true |
17.8 |
9.36 |
797130752 |
error (7) |
15.5 |
9.49 |
319934464 |
| pthread-wmm/safe033_tso.oepc_true-unreach-call.i |
true |
5.91 |
3.19 |
373624832 |
error (7) |
15.2 |
8.53 |
318898176 |
| pthread-wmm/safe033_tso.opt_true-unreach-call.i |
true |
6.12 |
3.28 |
379285504 |
error (7) |
14.9 |
8.52 |
315375616 |
| pthread-wmm/safe034_tso.oepc_true-unreach-call.i |
true |
10.8 |
5.66 |
579346432 |
error (7) |
15.0 |
8.87 |
316018688 |
| pthread-wmm/safe034_tso.opt_true-unreach-call.i |
true |
11.4 |
5.93 |
661168128 |
error (7) |
15.0 |
8.83 |
324014080 |
| pthread-wmm/safe035_power.oepc_true-unreach-call.i |
timeout |
923 |
849 |
5140701184 |
error (7) |
20.8 |
11.9 |
362184704 |
| pthread-wmm/safe035_power.opt_true-unreach-call.i |
timeout |
942 |
860 |
5361356800 |
error (7) |
19.8 |
11.6 |
353869824 |
| pthread-wmm/safe035_pso.oepc_true-unreach-call.i |
true |
18.0 |
9.49 |
775409664 |
error (7) |
16.0 |
9.51 |
317341696 |
| pthread-wmm/safe035_pso.opt_true-unreach-call.i |
true |
19.7 |
10.3 |
786161664 |
error (7) |
15.0 |
8.47 |
329449472 |
| pthread-wmm/safe035_rmo.oepc_true-unreach-call.i |
true |
18.1 |
9.57 |
788303872 |
error (7) |
15.1 |
9.31 |
318091264 |
| pthread-wmm/safe035_rmo.opt_true-unreach-call.i |
true |
17.3 |
8.99 |
777814016 |
error (7) |
16.1 |
9.88 |
336429056 |
| pthread-wmm/safe035_tso.oepc_true-unreach-call.i |
true |
17.5 |
9.10 |
774029312 |
error (7) |
15.1 |
9.18 |
306622464 |
| pthread-wmm/safe035_tso.opt_true-unreach-call.i |
true |
17.2 |
8.94 |
780210176 |
error (7) |
15.3 |
8.93 |
323780608 |
| pthread-wmm/safe036_power.oepc_true-unreach-call.i |
true |
5.88 |
3.17 |
383160320 |
error (7) |
15.1 |
8.86 |
318423040 |
| pthread-wmm/safe036_power.opt_true-unreach-call.i |
true |
6.17 |
3.26 |
378224640 |
error (7) |
15.2 |
9.03 |
310878208 |
| pthread-wmm/safe036_pso.oepc_true-unreach-call.i |
true |
6.16 |
3.29 |
378232832 |
error (7) |
15.5 |
8.73 |
319385600 |
| pthread-wmm/safe036_pso.opt_true-unreach-call.i |
true |
5.99 |
3.26 |
383959040 |
error (7) |
14.8 |
9.16 |
314556416 |
| pthread-wmm/safe036_rmo.oepc_true-unreach-call.i |
true |
5.97 |
3.21 |
385261568 |
error (7) |
16.2 |
9.80 |
315052032 |
| pthread-wmm/safe036_rmo.opt_true-unreach-call.i |
true |
6.07 |
3.25 |
379850752 |
error (7) |
15.1 |
9.17 |
315183104 |
| pthread-wmm/safe036_tso.oepc_true-unreach-call.i |
true |
5.93 |
3.18 |
382308352 |
error (7) |
15.9 |
9.59 |
317378560 |
| pthread-wmm/safe036_tso.opt_true-unreach-call.i |
true |
6.22 |
3.30 |
381878272 |
error (7) |
17.4 |
10.2 |
327188480 |
| pthread-wmm/safe037_power.oepc_true-unreach-call.i |
true |
14.3 |
7.54 |
730591232 |
error (7) |
15.2 |
8.55 |
317206528 |
| pthread-wmm/safe037_power.opt_true-unreach-call.i |
true |
12.7 |
6.58 |
684584960 |
error (7) |
14.8 |
8.66 |
319655936 |
| pthread-wmm/safe037_pso.oepc_true-unreach-call.i |
true |
11.9 |
6.21 |
681058304 |
error (7) |
15.1 |
8.88 |
317259776 |
| pthread-wmm/safe037_pso.opt_true-unreach-call.i |
true |
11.9 |
6.19 |
690520064 |
error (7) |
15.6 |
9.14 |
319381504 |
| pthread-wmm/safe037_rmo.oepc_true-unreach-call.i |
true |
12.1 |
6.28 |
678731776 |
error (7) |
15.9 |
9.19 |
328421376 |
| pthread-wmm/safe037_rmo.opt_true-unreach-call.i |
true |
12.5 |
6.51 |
711163904 |
error (7) |
16.2 |
9.45 |
320339968 |
| pthread-wmm/safe037_tso.oepc_true-unreach-call.i |
true |
12.6 |
6.52 |
693501952 |
error (7) |
15.0 |
8.85 |
315506688 |
| pthread-wmm/safe037_tso.opt_true-unreach-call.i |
true |
12.4 |
6.41 |
690659328 |
error (7) |
15.2 |
9.35 |
324083712 |
| pthread-wmm/thin000_pso.oepc_true-unreach-call.i |
true |
6.19 |
3.31 |
368381952 |
error (7) |
14.9 |
8.83 |
315555840 |
| pthread-wmm/thin000_pso.opt_true-unreach-call.i |
true |
5.95 |
3.25 |
379518976 |
error (7) |
15.9 |
8.88 |
313696256 |
| pthread-wmm/thin000_tso.oepc_true-unreach-call.i |
true |
5.98 |
3.21 |
367226880 |
error (7) |
15.8 |
9.49 |
320606208 |
| pthread-wmm/thin000_tso.opt_true-unreach-call.i |
true |
6.05 |
3.23 |
366178304 |
error (7) |
15.2 |
9.40 |
315457536 |
| pthread-wmm/thin001_pso.oepc_true-unreach-call.i |
true |
11.1 |
5.74 |
512278528 |
error (7) |
15.2 |
8.99 |
325853184 |
| pthread-wmm/thin001_pso.opt_true-unreach-call.i |
true |
10.1 |
5.27 |
504840192 |
error (7) |
15.6 |
9.14 |
323645440 |
| pthread-wmm/thin001_tso.oepc_true-unreach-call.i |
true |
12.0 |
6.24 |
526213120 |
error (7) |
14.6 |
8.73 |
317468672 |
| pthread-wmm/thin001_tso.opt_true-unreach-call.i |
true |
10.9 |
5.67 |
513232896 |
error (7) |
15.3 |
8.99 |
321634304 |
| pthread-wmm/thin002_pso.oepc_true-unreach-call.i |
true |
56.5 |
35.9 |
2722799616 |
error (7) |
15.6 |
9.14 |
319176704 |
| pthread-wmm/thin002_pso.opt_true-unreach-call.i |
true |
57.7 |
36.4 |
2748162048 |
error (7) |
15.8 |
9.21 |
321363968 |
| pthread-wmm/thin002_tso.oepc_true-unreach-call.i |
true |
53.7 |
33.7 |
2628354048 |
error (7) |
15.1 |
9.37 |
320167936 |
| pthread-wmm/thin002_tso.opt_true-unreach-call.i |
true |
96.6 |
78.8 |
2480521216 |
error (7) |
15.2 |
9.23 |
318967808 |
| pthread-lit/fkp2013_false-unreach-call.i |
error |
5.13 |
2.77 |
312643584 |
error (7) |
14.0 |
8.29 |
310415360 |
| pthread-lit/fkp2013_variant_false-unreach-call.i |
error |
5.27 |
2.88 |
321654784 |
error (7) |
14.7 |
8.64 |
313319424 |
| pthread-lit/qw2004_false-unreach-call.i |
false(unreach-call) |
5.62 |
3.02 |
366997504 |
error (7) |
14.4 |
8.57 |
311349248 |
| pthread-lit/fk2012_true-unreach-call.i |
error |
6.70 |
3.54 |
428142592 |
error (7) |
18.8 |
11.1 |
334831616 |
| pthread-lit/fkp2013_true-unreach-call.i |
error |
5.26 |
2.86 |
317591552 |
error (7) |
14.6 |
8.60 |
310882304 |
| pthread-lit/fkp2013_variant_true-unreach-call.i |
error |
5.14 |
2.80 |
321167360 |
error (7) |
14.8 |
8.67 |
313823232 |
| pthread-lit/fkp2014_true-unreach-call.i |
error |
5.43 |
2.94 |
320962560 |
error (7) |
14.1 |
8.05 |
311529472 |
| pthread-lit/qw2004_true-unreach-call.i |
true |
5.97 |
3.20 |
375488512 |
error (7) |
13.7 |
8.11 |
310337536 |
| pthread-lit/qw2004_variant_true-unreach-call.i |
error |
5.59 |
3.05 |
335163392 |
error (7) |
13.3 |
7.50 |
306462720 |
| pthread-lit/sssc12_true-unreach-call.i |
error |
5.93 |
3.16 |
349700096 |
error (7) |
14.2 |
8.45 |
313217024 |
| pthread-lit/sssc12_variant_true-unreach-call.i |
error |
5.69 |
3.10 |
342376448 |
error (7) |
15.8 |
9.52 |
320724992 |
| ldv-races/race-1_1-join_true-unreach-call.i |
true |
7.14 |
3.79 |
537047040 |
error (7) |
20.3 |
11.8 |
464764928 |
| ldv-races/race-2_1-container_of_true-unreach-call.i |
false(unreach-call) |
9.19 |
4.85 |
548712448 |
error (7) |
20.2 |
11.7 |
479117312 |
| ldv-races/race-3_1-container_of-global_true-unreach-call.i |
false(unreach-call) |
9.44 |
5.00 |
552198144 |
error (7) |
21.6 |
12.6 |
480268288 |
| ldv-races/race-4_1-thread_local_vars_true-unreach-call.i |
true |
8.56 |
4.52 |
571854848 |
error (7) |
22.0 |
12.7 |
482619392 |
| ldv-races/race-1_2-join_false-unreach-call.i |
false(unreach-call) |
7.29 |
3.83 |
529276928 |
error (7) |
20.3 |
11.8 |
473792512 |
| ldv-races/race-1_3-join_false-unreach-call.i |
false(unreach-call) |
7.06 |
3.73 |
531517440 |
error (7) |
19.6 |
11.6 |
468508672 |
| ldv-races/race-2_2-container_of_false-unreach-call.i |
false(unreach-call) |
7.11 |
3.80 |
516460544 |
error (7) |
23.1 |
13.1 |
481583104 |
| ldv-races/race-2_3-container_of_false-unreach-call.i |
false(unreach-call) |
7.01 |
3.70 |
532258816 |
error (7) |
20.7 |
12.1 |
482418688 |
| ldv-races/race-2_4-container_of_false-unreach-call.i |
false(unreach-call) |
7.63 |
4.07 |
517885952 |
error (7) |
21.7 |
12.4 |
498081792 |
| ldv-races/race-2_5-container_of_false-unreach-call.i |
false(unreach-call) |
7.31 |
3.91 |
524234752 |
error (7) |
22.2 |
12.8 |
496025600 |
| ldv-races/race-3_2-container_of-global_false-unreach-call.i |
false(unreach-call) |
8.87 |
4.66 |
555933696 |
error (7) |
24.5 |
14.1 |
488660992 |
| ldv-races/race-4_2-thread_local_vars_false-unreach-call.i |
false(unreach-call) |
8.36 |
4.41 |
572600320 |
error (7) |
21.5 |
12.7 |
483192832 |
| ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_false-unreach-call.cil.i |
error |
624 |
561 |
4934320128 |
unknown |
11.1 |
6.06 |
336711680 |
| ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko_false-unreach-call.cil.i |
error |
364 |
332 |
4104085504 |
error (7) |
23.5 |
12.8 |
389619712 |
| ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i |
error |
121 |
99.9 |
2247483392 |
error (7) |
49.6 |
28.3 |
695365632 |
| ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko_false-unreach-call.cil.i |
timeout |
914 |
873 |
3854585856 |
error (2) |
.0198 |
.0202 |
5607424 |
| ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i |
timeout |
903 |
861 |
3986878464 |
error (7) |
51.5 |
30.2 |
688054272 |
| ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i |
timeout |
921 |
874 |
9473036288 |
error (2) |
.0267 |
.0270 |
5595136 |
| ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_true-unreach-call.cil.i |
error |
577 |
526 |
4983554048 |
unknown |
10.7 |
5.74 |
339779584 |
| pthread-complex/bounded_buffer_false-unreach-call.i |
error |
9.42 |
4.94 |
524165120 |
unknown |
7.07 |
4.12 |
298123264 |
| pthread-complex/elimination_backoff_stack_false-unreach-call.i |
error |
11.3 |
5.89 |
578043904 |
error (7) |
21.2 |
12.0 |
440520704 |
| pthread-complex/safestack_relacy_false-unreach-call.i |
timeout |
912 |
896 |
6868041728 |
error (2) |
.0195 |
.0199 |
5619712 |
| pthread-complex/workstealqueue_mutex_false-unreach-call.i |
timeout |
920 |
899 |
6872481792 |
error (2) |
.0207 |
.0212 |
5623808 |
| pthread-complex/workstealqueue_mutex_true-unreach-call.i |
timeout |
912 |
898 |
7125004288 |
error (2) |
.0207 |
.0212 |
5599232 |
| pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i |
error |
33.9 |
20.5 |
2525605888 |
unknown |
10.7 |
6.50 |
318455808 |
| pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i |
error |
30.5 |
18.4 |
2208874496 |
unknown |
10.7 |
6.44 |
314920960 |
| pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i |
error |
29.0 |
17.9 |
2189176832 |
unknown |
10.3 |
6.23 |
315441152 |
| pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i |
error |
31.1 |
19.1 |
2403192832 |
unknown |
11.6 |
6.81 |
319455232 |
| pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i |
error |
30.7 |
18.5 |
2248089600 |
unknown |
10.7 |
6.47 |
311459840 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i |
error |
36.9 |
22.3 |
2564243456 |
unknown |
12.4 |
7.41 |
318812160 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i |
error |
43.8 |
26.8 |
2874695680 |
unknown |
14.0 |
7.68 |
331157504 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i |
error |
40.9 |
24.9 |
2861617152 |
unknown |
12.6 |
7.19 |
318271488 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i |
error |
43.5 |
26.3 |
2832568320 |
unknown |
11.3 |
6.82 |
318095360 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i |
error |
40.5 |
24.6 |
2832314368 |
unknown |
13.8 |
7.55 |
325251072 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i |
error |
39.0 |
23.9 |
2835742720 |
unknown |
13.0 |
7.23 |
331964416 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i |
error |
39.8 |
24.1 |
2824687616 |
unknown |
12.9 |
7.46 |
333062144 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i |
error |
41.3 |
24.8 |
2833465344 |
unknown |
12.0 |
7.06 |
324431872 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i |
error |
47.4 |
28.3 |
2851553280 |
unknown |
13.7 |
7.50 |
328241152 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i |
error |
41.3 |
25.0 |
2760212480 |
unknown |
13.7 |
7.67 |
333291520 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i |
error |
44.3 |
26.6 |
3023192064 |
unknown |
11.2 |
6.59 |
315457536 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i |
error |
43.5 |
26.8 |
2862714880 |
unknown |
12.0 |
7.12 |
314175488 |
| pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i |
error |
33.0 |
20.2 |
2301886464 |
unknown |
11.0 |
6.39 |
314368000 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i |
error |
39.0 |
23.7 |
2420125696 |
unknown |
11.7 |
6.70 |
319983616 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i |
error |
38.8 |
23.6 |
2825682944 |
unknown |
14.3 |
7.72 |
327467008 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i |
error |
36.7 |
22.5 |
2379669504 |
unknown |
12.1 |
7.13 |
318767104 |
| pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i |
true |
402 |
383 |
3804639232 |
error (7) |
21.2 |
11.9 |
398970880 |
| pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i |
error |
136 |
113 |
2506690560 |
unknown |
8.10 |
4.82 |
307564544 |
| pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i |
error |
7.10 |
3.88 |
470319104 |
unknown |
6.80 |
3.98 |
298426368 |
| pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i |
timeout |
904 |
883 |
3789053952 |
error (7) |
19.7 |
11.5 |
394514432 |
| pthread-divine/condvar_spurious_wakeup_false-unreach-call.i |
false(unreach-call) |
5.23 |
2.85 |
327696384 |
unknown |
6.81 |
4.03 |
302325760 |
| pthread-divine/divinefifo-bug_1w1r_false-unreach-call.i |
false(unreach-call) |
8.92 |
4.71 |
504037376 |
error (7) |
19.4 |
11.3 |
391364608 |
| pthread-divine/one_time_barrier_2t_false-unreach-call.i |
error |
9.01 |
4.74 |
489422848 |
unknown |
6.64 |
3.60 |
290922496 |
| pthread-divine/one_time_barrier_3t_false-unreach-call.i |
error |
8.52 |
4.50 |
483778560 |
unknown |
6.51 |
3.83 |
287862784 |
| pthread-divine/ring_1w1r_false-unreach-call.i |
error |
6.79 |
3.62 |
419778560 |
error (7) |
17.2 |
9.91 |
333250560 |
| pthread-divine/ring_2w1r_false-unreach-call.i |
error |
6.75 |
3.63 |
431833088 |
error (7) |
19.3 |
11.6 |
384446464 |
| pthread-divine/tls_destructor_worker_false-unreach-call.i |
false(unreach-call) |
4.39 |
2.41 |
260583424 |
unknown |
6.69 |
3.59 |
294031360 |
| pthread-divine/barrier_2t_true-unreach-call.i |
error |
8.96 |
4.73 |
469901312 |
unknown |
6.60 |
4.05 |
293744640 |
| pthread-divine/barrier_3t_true-unreach-call.i |
error |
10.2 |
5.43 |
461668352 |
unknown |
6.94 |
3.74 |
291831808 |
| pthread-divine/condvar_true-unreach-call.i |
true |
7.09 |
3.76 |
447549440 |
unknown |
6.57 |
3.57 |
292933632 |
| pthread-divine/divinefifo_1w1r_true-unreach-call.i |
false(unreach-call) |
10.6 |
5.58 |
495079424 |
error (7) |
20.4 |
12.0 |
400744448 |
| pthread-divine/one_time_barrier_twice_2t_true-unreach-call.i |
error |
8.66 |
4.57 |
487931904 |
unknown |
6.45 |
3.56 |
299360256 |
| pthread-divine/one_time_barrier_twice_3t_true-unreach-call.i |
error |
8.50 |
4.53 |
484044800 |
unknown |
6.70 |
3.93 |
292765696 |
| pthread-divine/ring_1w1r_true-unreach-call.i |
error |
6.09 |
3.26 |
440094720 |
error (7) |
17.7 |
10.7 |
334839808 |
| pthread-divine/ring_2w1r_true-unreach-call.i |
error |
7.45 |
3.92 |
431243264 |
error (7) |
21.1 |
12.4 |
372883456 |
| pthread-divine/tls_basic_true-unreach-call.i |
false(unreach-call) |
4.86 |
2.66 |
262262784 |
unknown |
6.73 |
3.61 |
291602432 |
| pthread-nondet/nondet-array_false-unreach-call.i |
error |
6.52 |
3.47 |
357449728 |
error (7) |
16.7 |
10.3 |
318255104 |
| pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i |
error |
5.83 |
3.12 |
349294592 |
error (7) |
14.8 |
9.17 |
318570496 |
| pthread-nondet/nondet-loop-bound_false-unreach-call.i |
error |
5.48 |
2.95 |
330444800 |
error (7) |
15.2 |
8.96 |
312528896 |
| pthread-nondet/nondet-array_true-unreach-call.i |
error |
6.32 |
3.37 |
375918592 |
error (7) |
15.5 |
9.16 |
316960768 |
| pthread-nondet/nondet-loop-bound-variant_true-unreach-call.i |
error |
5.72 |
3.09 |
348528640 |
error (7) |
16.2 |
9.66 |
309043200 |
| pthread-nondet/nondet-loop-bound_true-unreach-call.i |
error |
5.55 |
2.98 |
324567040 |
error (7) |
14.9 |
9.22 |
314503168 |