| pthread/bigshot_p_false-unreach-call.i |
false(unreach-call) |
14.4 |
8.18 |
446910464 |
| pthread/fib_bench_false-unreach-call.i |
timeout |
901 |
840 |
1026011136 |
| pthread/fib_bench_longer_false-unreach-call.i |
timeout |
900 |
830 |
984985600 |
| pthread/fib_bench_longest_false-unreach-call.i |
timeout |
901 |
831 |
1025847296 |
| pthread/lazy01_false-unreach-call.i |
false(unreach-call) |
14.9 |
8.24 |
427196416 |
| pthread/queue_false-unreach-call.i |
error (7) |
15.0 |
8.39 |
221630464 |
| pthread/queue_longer_false-unreach-call.i |
error (7) |
15.5 |
8.52 |
226770944 |
| pthread/queue_longest_false-unreach-call.i |
error (7) |
14.8 |
8.44 |
221622272 |
| pthread/reorder_2_false-unreach-call.i |
error (7) |
15.0 |
8.21 |
234532864 |
| pthread/reorder_5_false-unreach-call.i |
error (7) |
15.3 |
8.61 |
226283520 |
| pthread/sigma_false-unreach-call.i |
error (7) |
19.2 |
10.9 |
276709376 |
| pthread/singleton_false-unreach-call.i |
false(unreach-call) |
143 |
103 |
4414144512 |
| pthread/stack_false-unreach-call.i |
false(unreach-call) |
35.4 |
20.9 |
823840768 |
| pthread/stack_longer_false-unreach-call.i |
false(unreach-call) |
46.8 |
29.2 |
924426240 |
| pthread/stack_longest_false-unreach-call.i |
false(unreach-call) |
76.3 |
53.7 |
1348214784 |
| pthread/stateful01_false-unreach-call.i |
false(unreach-call) |
11.3 |
6.36 |
308985856 |
| pthread/triangular-longer_false-unreach-call.i |
false(unreach-call) |
60.8 |
38.8 |
847863808 |
| pthread/triangular-longest_false-unreach-call.i |
false(unreach-call) |
154 |
110 |
1163055104 |
| pthread/triangular_false-unreach-call.i |
false(unreach-call) |
30.4 |
18.1 |
630685696 |
| pthread/twostage_3_false-unreach-call.i |
error (7) |
14.4 |
8.07 |
224923648 |
| pthread/bigshot_s2_true-unreach-call.i |
unknown |
23.0 |
12.9 |
343470080 |
| pthread/bigshot_s_true-unreach-call.i |
unknown |
22.9 |
13.1 |
371871744 |
| pthread/fib_bench_longer_true-unreach-call.i |
timeout |
901 |
823 |
1012379648 |
| pthread/fib_bench_longest_true-unreach-call.i |
timeout |
901 |
827 |
958386176 |
| pthread/fib_bench_true-unreach-call.i |
timeout |
901 |
839 |
984535040 |
| pthread/indexer_true-unreach-call.i |
error (7) |
19.8 |
11.3 |
294166528 |
| pthread/queue_ok_longer_true-unreach-call.i |
error (7) |
14.4 |
7.95 |
232263680 |
| pthread/queue_ok_longest_true-unreach-call.i |
error (7) |
13.9 |
7.81 |
229588992 |
| pthread/queue_ok_true-unreach-call.i |
error (7) |
13.9 |
7.82 |
223182848 |
| pthread/singleton_with-uninit-problems_true-unreach-call.i |
true |
120 |
84.1 |
4752740352 |
| pthread/stack_longer_true-unreach-call.i |
timeout |
900 |
873 |
1577459712 |
| pthread/stack_longest_true-unreach-call.i |
timeout |
900 |
873 |
1483493376 |
| pthread/stack_true-unreach-call.i |
timeout |
901 |
858 |
3033407488 |
| pthread/stateful01_true-unreach-call.i |
true |
12.1 |
6.90 |
348438528 |
| pthread/sync01_true-unreach-call.i |
unknown |
6.61 |
3.67 |
200572928 |
| pthread/triangular-longer_true-unreach-call.i |
true |
66.1 |
42.4 |
854208512 |
| pthread/triangular-longest_true-unreach-call.i |
true |
157 |
115 |
1252200448 |
| pthread/triangular_true-unreach-call.i |
true |
36.5 |
21.4 |
671350784 |
| pthread-atomic/qrcu_false-unreach-call.i |
error (7) |
16.2 |
9.61 |
242728960 |
| pthread-atomic/read_write_lock_false-unreach-call.i |
error (7) |
60.0 |
33.1 |
1280909312 |
| pthread-atomic/dekker_true-unreach-call.i |
true |
11.4 |
6.23 |
301768704 |
| pthread-atomic/gcd_true-unreach-call_true-termination.i |
error (7) |
15.5 |
9.02 |
245428224 |
| pthread-atomic/lamport_true-unreach-call.i |
true |
13.6 |
7.74 |
449097728 |
| pthread-atomic/peterson_true-unreach-call.i |
true |
10.8 |
6.25 |
315879424 |
| pthread-atomic/qrcu_true-unreach-call.i |
error (7) |
15.5 |
9.01 |
247619584 |
| pthread-atomic/read_write_lock_true-unreach-call.i |
true |
26.8 |
14.7 |
1061318656 |
| pthread-atomic/scull_true-unreach-call.i |
timeout |
901 |
855 |
7024726016 |
| pthread-atomic/szymanski_true-unreach-call.i |
true |
13.1 |
7.36 |
394797056 |
| pthread-atomic/time_var_mutex_true-unreach-call.i |
true |
12.4 |
6.99 |
355868672 |
| pthread-ext/25_stack_longer_false-unreach-call.i |
error (7) |
15.4 |
9.06 |
249090048 |
| pthread-ext/25_stack_longest_false-unreach-call.i |
error (7) |
16.8 |
9.67 |
254730240 |
| pthread-ext/26_stack_cas_longer_false-unreach-call.i |
error (7) |
16.7 |
9.60 |
246943744 |
| pthread-ext/26_stack_cas_longest_false-unreach-call.i |
error (7) |
17.0 |
9.70 |
255893504 |
| pthread-ext/27_Boop_simple_vf_false-unreach-call.i |
error (7) |
17.0 |
9.88 |
246984704 |
| pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i |
error (7) |
16.1 |
9.51 |
250265600 |
| pthread-ext/32_pthread5_vs_false-unreach-call.i |
error (7) |
16.3 |
9.65 |
250105856 |
| pthread-ext/40_barrier_vf_false-unreach-call.i |
error (7) |
16.0 |
9.40 |
247017472 |
| pthread-ext/01_inc_true-unreach-call.i |
error (7) |
16.3 |
9.55 |
248971264 |
| pthread-ext/02_inc_cas_true-unreach-call.i |
error (7) |
14.8 |
8.73 |
241463296 |
| pthread-ext/03_incdec_true-unreach-call.i |
error (7) |
16.5 |
9.64 |
244981760 |
| pthread-ext/04_incdec_cas_true-unreach-call.i |
error (7) |
15.2 |
8.82 |
242327552 |
| pthread-ext/05_tas_true-unreach-call.i |
error (7) |
16.6 |
9.74 |
249995264 |
| pthread-ext/06_ticket_true-unreach-call.i |
error (7) |
16.6 |
9.64 |
254922752 |
| pthread-ext/07_rand_true-unreach-call.i |
error (7) |
17.2 |
10.1 |
259121152 |
| pthread-ext/08_rand_cas_true-unreach-call.i |
error (7) |
15.1 |
8.88 |
246214656 |
| pthread-ext/09_fmaxsym_true-unreach-call.i |
error (7) |
16.8 |
9.63 |
251281408 |
| pthread-ext/10_fmaxsym_cas_true-unreach-call.i |
error (7) |
15.4 |
8.99 |
243073024 |
| pthread-ext/11_fmaxsymopt_true-unreach-call.i |
error (7) |
16.2 |
9.58 |
249495552 |
| pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i |
error (7) |
15.4 |
8.87 |
239484928 |
| pthread-ext/13_unverif_true-unreach-call.i |
error (7) |
16.0 |
9.29 |
247115776 |
| pthread-ext/14_spin2003_true-unreach-call.i |
error (7) |
16.6 |
9.67 |
244822016 |
| pthread-ext/15_dekker_true-unreach-call.i |
true |
10.4 |
6.04 |
294592512 |
| pthread-ext/16_peterson_true-unreach-call.i |
true |
9.92 |
5.83 |
301989888 |
| pthread-ext/17_szymanski_true-unreach-call.i |
true |
11.6 |
6.64 |
327991296 |
| pthread-ext/18_read_write_lock_true-unreach-call.i |
true |
9.38 |
5.45 |
270290944 |
| pthread-ext/19_time_var_mutex_true-unreach-call.i |
true |
10.6 |
6.13 |
307957760 |
| pthread-ext/20_lamport_true-unreach-call.i |
true |
13.4 |
7.60 |
374767616 |
| pthread-ext/23_lu-fig2.fixed_true-unreach-call.i |
error (7) |
15.0 |
8.66 |
242962432 |
| pthread-ext/25_stack_longer_true-unreach-call.i |
error (7) |
15.7 |
9.28 |
245678080 |
| pthread-ext/25_stack_longest_true-unreach-call.i |
error (7) |
16.9 |
9.74 |
260558848 |
| pthread-ext/25_stack_true-unreach-call.i |
error (7) |
15.9 |
9.07 |
241770496 |
| pthread-ext/26_stack_cas_longer_true-unreach-call.i |
error (7) |
16.1 |
9.37 |
244301824 |
| pthread-ext/26_stack_cas_longest_true-unreach-call.i |
error (7) |
16.7 |
9.56 |
262397952 |
| pthread-ext/26_stack_cas_true-unreach-call.i |
error (7) |
14.8 |
8.76 |
243699712 |
| pthread-ext/29_conditionals_vs_true-unreach-call.i |
error (7) |
16.3 |
9.58 |
247275520 |
| pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i |
error (7) |
17.4 |
10.1 |
252157952 |
| pthread-ext/31_simple_loop5_vs_true-unreach-call.i |
error (7) |
15.9 |
9.43 |
248033280 |
| pthread-ext/33_double_lock_p1_vs_true-unreach-call.i |
error (7) |
17.1 |
9.90 |
251973632 |
| pthread-ext/34_double_lock_p2_vs_true-unreach-call.i |
error (7) |
17.4 |
10.0 |
255565824 |
| pthread-ext/35_double_lock_p3_vs_true-unreach-call.i |
error (7) |
16.8 |
9.82 |
253657088 |
| pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i |
error (7) |
15.5 |
8.98 |
244490240 |
| pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i |
error (7) |
15.1 |
8.82 |
240803840 |
| pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i |
error (7) |
15.0 |
8.82 |
239116288 |
| pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i |
error (7) |
16.8 |
9.73 |
248561664 |
| pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i |
error (7) |
17.3 |
10.1 |
250978304 |
| pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i |
error (7) |
17.2 |
10.1 |
256536576 |
| pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i |
error (7) |
6.87 |
3.86 |
229625856 |
| pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i |
error (7) |
18.9 |
10.8 |
270151680 |
| pthread-ext/45_monabsex1_vs_true-unreach-call.i |
error (7) |
16.6 |
9.70 |
251629568 |
| pthread-ext/46_monabsex2_vs_true-unreach-call.i |
error (7) |
15.5 |
9.28 |
245899264 |
| pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i |
error (7) |
17.2 |
10.0 |
253448192 |
| pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i |
error (7) |
17.0 |
9.82 |
257421312 |
| pthread-wmm/mix000_power.oepc_false-unreach-call.i |
false(unreach-call) |
259 |
179 |
7670145024 |
| pthread-wmm/mix000_power.opt_false-unreach-call.i |
false(unreach-call) |
177 |
118 |
6875226112 |
| pthread-wmm/mix000_pso.oepc_false-unreach-call.i |
false(unreach-call) |
282 |
197 |
7667904512 |
| pthread-wmm/mix000_pso.opt_false-unreach-call.i |
false(unreach-call) |
166 |
111 |
6724743168 |
| pthread-wmm/mix000_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
267 |
185 |
7593926656 |
| pthread-wmm/mix000_rmo.opt_false-unreach-call.i |
false(unreach-call) |
158 |
106 |
6647058432 |
| pthread-wmm/mix000_tso.oepc_false-unreach-call.i |
false(unreach-call) |
136 |
95.2 |
4880756736 |
| pthread-wmm/mix000_tso.opt_false-unreach-call.i |
false(unreach-call) |
161 |
107 |
6871969792 |
| pthread-wmm/mix001_power.oepc_false-unreach-call.i |
timeout |
901 |
854 |
7116492800 |
| pthread-wmm/mix001_power.opt_false-unreach-call.i |
out of memory |
254 |
217 |
8000000000 |
| pthread-wmm/mix001_pso.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6785839104 |
| pthread-wmm/mix001_pso.opt_false-unreach-call.i |
out of memory |
253 |
221 |
8000000000 |
| pthread-wmm/mix001_rmo.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6886871040 |
| pthread-wmm/mix001_rmo.opt_false-unreach-call.i |
out of memory |
290 |
241 |
8000000000 |
| pthread-wmm/mix001_tso.oepc_false-unreach-call.i |
timeout |
901 |
852 |
6910193664 |
| pthread-wmm/mix001_tso.opt_false-unreach-call.i |
out of memory |
309 |
264 |
8000000000 |
| pthread-wmm/mix002_power.oepc_false-unreach-call.i |
out of memory |
487 |
464 |
8000000000 |
| pthread-wmm/mix002_power.opt_false-unreach-call.i |
out of memory |
288 |
250 |
8000000000 |
| pthread-wmm/mix002_pso.oepc_false-unreach-call.i |
out of memory |
574 |
540 |
8000000000 |
| pthread-wmm/mix002_pso.opt_false-unreach-call.i |
out of memory |
281 |
239 |
8000000000 |
| pthread-wmm/mix002_rmo.oepc_false-unreach-call.i |
out of memory |
568 |
537 |
8000000000 |
| pthread-wmm/mix002_rmo.opt_false-unreach-call.i |
out of memory |
287 |
242 |
8000000000 |
| pthread-wmm/mix002_tso.oepc_false-unreach-call.i |
out of memory |
564 |
521 |
8000000000 |
| pthread-wmm/mix002_tso.opt_false-unreach-call.i |
out of memory |
293 |
251 |
8000004096 |
| pthread-wmm/mix003_power.oepc_false-unreach-call.i |
out of memory |
564 |
524 |
8000000000 |
| pthread-wmm/mix003_power.opt_false-unreach-call.i |
out of memory |
316 |
286 |
8000000000 |
| pthread-wmm/mix003_pso.oepc_false-unreach-call.i |
out of memory |
532 |
504 |
8000004096 |
| pthread-wmm/mix003_pso.opt_false-unreach-call.i |
out of memory |
325 |
279 |
8000000000 |
| pthread-wmm/mix003_rmo.oepc_false-unreach-call.i |
out of memory |
561 |
526 |
8000000000 |
| pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i |
out of memory |
326 |
286 |
8000004096 |
| pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i |
out of memory |
278 |
259 |
8000000000 |
| pthread-wmm/mix003_rmo.opt_false-unreach-call.i |
out of memory |
321 |
290 |
8000000000 |
| pthread-wmm/mix003_tso.oepc_false-unreach-call.i |
out of memory |
563 |
521 |
8000000000 |
| pthread-wmm/mix003_tso.opt_false-unreach-call.i |
out of memory |
284 |
244 |
8000000000 |
| pthread-wmm/mix004_power.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6705729536 |
| pthread-wmm/mix004_power.opt_false-unreach-call.i |
timeout |
901 |
855 |
6729682944 |
| pthread-wmm/mix004_pso.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6701899776 |
| pthread-wmm/mix004_pso.opt_false-unreach-call.i |
timeout |
901 |
857 |
6683262976 |
| pthread-wmm/mix004_rmo.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6724067328 |
| pthread-wmm/mix004_rmo.opt_false-unreach-call.i |
timeout |
901 |
856 |
6731730944 |
| pthread-wmm/mix004_tso.oepc_false-unreach-call.i |
timeout |
901 |
857 |
6728368128 |
| pthread-wmm/mix004_tso.opt_false-unreach-call.i |
timeout |
901 |
856 |
6853341184 |
| pthread-wmm/mix005_power.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6751940608 |
| pthread-wmm/mix005_power.opt_false-unreach-call.i |
timeout |
900 |
853 |
6886268928 |
| pthread-wmm/mix005_pso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6871535616 |
| pthread-wmm/mix005_pso.opt_false-unreach-call.i |
timeout |
901 |
853 |
6975852544 |
| pthread-wmm/mix005_rmo.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6766735360 |
| pthread-wmm/mix005_rmo.opt_false-unreach-call.i |
timeout |
901 |
855 |
6861824000 |
| pthread-wmm/mix005_tso.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6991650816 |
| pthread-wmm/mix005_tso.opt_false-unreach-call.i |
timeout |
901 |
855 |
7060537344 |
| pthread-wmm/mix006_power.oepc_false-unreach-call.i |
out of memory |
597 |
552 |
8000004096 |
| pthread-wmm/mix006_power.opt_false-unreach-call.i |
out of memory |
311 |
275 |
8000000000 |
| pthread-wmm/mix006_pso.oepc_false-unreach-call.i |
out of memory |
614 |
566 |
8000004096 |
| pthread-wmm/mix006_pso.opt_false-unreach-call.i |
out of memory |
323 |
279 |
8000000000 |
| pthread-wmm/mix006_rmo.oepc_false-unreach-call.i |
out of memory |
589 |
550 |
8000000000 |
| pthread-wmm/mix006_rmo.opt_false-unreach-call.i |
out of memory |
278 |
241 |
8000004096 |
| pthread-wmm/mix006_tso.oepc_false-unreach-call.i |
timeout |
901 |
839 |
7551053824 |
| pthread-wmm/mix006_tso.opt_false-unreach-call.i |
out of memory |
317 |
282 |
8000000000 |
| pthread-wmm/mix007_power.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6909186048 |
| pthread-wmm/mix007_power.opt_false-unreach-call.i |
timeout |
901 |
854 |
6975791104 |
| pthread-wmm/mix007_pso.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6772400128 |
| pthread-wmm/mix007_pso.opt_false-unreach-call.i |
timeout |
901 |
854 |
6914760704 |
| pthread-wmm/mix007_rmo.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6741491712 |
| pthread-wmm/mix007_rmo.opt_false-unreach-call.i |
timeout |
901 |
856 |
7141429248 |
| pthread-wmm/mix007_tso.oepc_false-unreach-call.i |
timeout |
901 |
857 |
6622294016 |
| pthread-wmm/mix007_tso.opt_false-unreach-call.i |
timeout |
901 |
854 |
6764470272 |
| pthread-wmm/mix008_power.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6846029824 |
| pthread-wmm/mix008_power.opt_false-unreach-call.i |
timeout |
901 |
855 |
6749970432 |
| pthread-wmm/mix008_pso.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6819373056 |
| pthread-wmm/mix008_pso.opt_false-unreach-call.i |
timeout |
901 |
856 |
6807871488 |
| pthread-wmm/mix008_rmo.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6742630400 |
| pthread-wmm/mix008_rmo.opt_false-unreach-call.i |
timeout |
901 |
855 |
6880862208 |
| pthread-wmm/mix008_tso.oepc_false-unreach-call.i |
timeout |
901 |
850 |
7660318720 |
| pthread-wmm/mix008_tso.opt_false-unreach-call.i |
timeout |
901 |
853 |
6833594368 |
| pthread-wmm/mix009_power.oepc_false-unreach-call.i |
false(unreach-call) |
101 |
64.9 |
3638059008 |
| pthread-wmm/mix009_power.opt_false-unreach-call.i |
false(unreach-call) |
150 |
99.2 |
6362484736 |
| pthread-wmm/mix009_pso.oepc_false-unreach-call.i |
false(unreach-call) |
109 |
70.7 |
4064759808 |
| pthread-wmm/mix009_pso.opt_false-unreach-call.i |
false(unreach-call) |
164 |
109 |
6414409728 |
| pthread-wmm/mix009_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
104 |
67.4 |
4006576128 |
| pthread-wmm/mix009_rmo.opt_false-unreach-call.i |
false(unreach-call) |
156 |
104 |
6263152640 |
| pthread-wmm/mix009_tso.oepc_false-unreach-call.i |
false(unreach-call) |
106 |
67.4 |
3702898688 |
| pthread-wmm/mix009_tso.opt_false-unreach-call.i |
false(unreach-call) |
155 |
100 |
6568775680 |
| pthread-wmm/mix010_power.oepc_false-unreach-call.i |
out of memory |
554 |
522 |
8000000000 |
| pthread-wmm/mix010_power.opt_false-unreach-call.i |
out of memory |
286 |
246 |
8000000000 |
| pthread-wmm/mix010_pso.oepc_false-unreach-call.i |
out of memory |
544 |
503 |
8000000000 |
| pthread-wmm/mix010_pso.opt_false-unreach-call.i |
out of memory |
287 |
243 |
8000000000 |
| pthread-wmm/mix010_rmo.oepc_false-unreach-call.i |
out of memory |
548 |
502 |
8000000000 |
| pthread-wmm/mix010_rmo.opt_false-unreach-call.i |
out of memory |
258 |
224 |
8000000000 |
| pthread-wmm/mix010_tso.oepc_false-unreach-call.i |
out of memory |
613 |
570 |
8000000000 |
| pthread-wmm/mix010_tso.opt_false-unreach-call.i |
out of memory |
284 |
242 |
8000000000 |
| pthread-wmm/mix011_power.oepc_false-unreach-call.i |
out of memory |
559 |
517 |
8000000000 |
| pthread-wmm/mix011_power.opt_false-unreach-call.i |
out of memory |
312 |
284 |
8000000000 |
| pthread-wmm/mix011_pso.oepc_false-unreach-call.i |
out of memory |
547 |
506 |
8000000000 |
| pthread-wmm/mix011_pso.opt_false-unreach-call.i |
out of memory |
279 |
245 |
8000000000 |
| pthread-wmm/mix011_rmo.oepc_false-unreach-call.i |
out of memory |
545 |
504 |
8000000000 |
| pthread-wmm/mix011_rmo.opt_false-unreach-call.i |
out of memory |
323 |
279 |
8000000000 |
| pthread-wmm/mix011_tso.oepc_false-unreach-call.i |
out of memory |
286 |
260 |
8000004096 |
| pthread-wmm/mix011_tso.opt_false-unreach-call.i |
out of memory |
338 |
297 |
8000004096 |
| pthread-wmm/mix012_power.oepc_false-unreach-call.i |
false(unreach-call) |
104 |
69.6 |
3543134208 |
| pthread-wmm/mix012_power.opt_false-unreach-call.i |
false(unreach-call) |
99.3 |
64.3 |
4229210112 |
| pthread-wmm/mix012_pso.oepc_false-unreach-call.i |
false(unreach-call) |
101 |
67.6 |
4229660672 |
| pthread-wmm/mix012_pso.opt_false-unreach-call.i |
false(unreach-call) |
101 |
64.9 |
3630583808 |
| pthread-wmm/mix012_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
80.3 |
50.9 |
2260733952 |
| pthread-wmm/mix012_rmo.opt_false-unreach-call.i |
false(unreach-call) |
108 |
71.7 |
3956793344 |
| pthread-wmm/mix012_tso.oepc_false-unreach-call.i |
false(unreach-call) |
105 |
69.8 |
4033146880 |
| pthread-wmm/mix012_tso.opt_false-unreach-call.i |
false(unreach-call) |
79.9 |
50.4 |
2851807232 |
| pthread-wmm/mix013_power.oepc_false-unreach-call.i |
timeout |
901 |
858 |
6807158784 |
| pthread-wmm/mix013_power.opt_false-unreach-call.i |
timeout |
901 |
856 |
6692372480 |
| pthread-wmm/mix013_pso.oepc_false-unreach-call.i |
timeout |
901 |
860 |
6618587136 |
| pthread-wmm/mix013_pso.opt_false-unreach-call.i |
timeout |
901 |
857 |
6635618304 |
| pthread-wmm/mix013_rmo.oepc_false-unreach-call.i |
timeout |
901 |
857 |
6721851392 |
| pthread-wmm/mix013_rmo.opt_false-unreach-call.i |
timeout |
901 |
856 |
6852591616 |
| pthread-wmm/mix013_tso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6790754304 |
| pthread-wmm/mix013_tso.opt_false-unreach-call.i |
timeout |
901 |
856 |
6684090368 |
| pthread-wmm/mix014_power.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6880538624 |
| pthread-wmm/mix014_power.opt_false-unreach-call.i |
timeout |
901 |
853 |
6935109632 |
| pthread-wmm/mix014_pso.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6818414592 |
| pthread-wmm/mix014_pso.opt_false-unreach-call.i |
timeout |
901 |
856 |
7019053056 |
| pthread-wmm/mix014_rmo.oepc_false-unreach-call.i |
timeout |
901 |
852 |
6797594624 |
| pthread-wmm/mix014_rmo.opt_false-unreach-call.i |
timeout |
901 |
855 |
6847524864 |
| pthread-wmm/mix014_tso.oepc_false-unreach-call.i |
timeout |
902 |
840 |
7682232320 |
| pthread-wmm/mix014_tso.opt_false-unreach-call.i |
timeout |
901 |
854 |
7138320384 |
| pthread-wmm/mix015_power.oepc_false-unreach-call.i |
out of memory |
530 |
487 |
8000000000 |
| pthread-wmm/mix015_power.opt_false-unreach-call.i |
out of memory |
325 |
287 |
8000000000 |
| pthread-wmm/mix015_pso.oepc_false-unreach-call.i |
out of memory |
467 |
436 |
8000000000 |
| pthread-wmm/mix015_pso.opt_false-unreach-call.i |
out of memory |
310 |
282 |
8000000000 |
| pthread-wmm/mix015_rmo.oepc_false-unreach-call.i |
out of memory |
520 |
491 |
8000000000 |
| pthread-wmm/mix015_rmo.opt_false-unreach-call.i |
out of memory |
309 |
268 |
8000000000 |
| pthread-wmm/mix015_tso.oepc_false-unreach-call.i |
out of memory |
527 |
498 |
8000000000 |
| pthread-wmm/mix015_tso.opt_false-unreach-call.i |
out of memory |
291 |
267 |
8000000000 |
| pthread-wmm/mix016_power.oepc_false-unreach-call.i |
out of memory |
591 |
553 |
8000000000 |
| pthread-wmm/mix016_power.opt_false-unreach-call.i |
out of memory |
391 |
364 |
8000004096 |
| pthread-wmm/mix016_pso.oepc_false-unreach-call.i |
out of memory |
551 |
524 |
8000000000 |
| pthread-wmm/mix016_pso.opt_false-unreach-call.i |
out of memory |
323 |
293 |
8000000000 |
| pthread-wmm/mix016_rmo.oepc_false-unreach-call.i |
out of memory |
596 |
562 |
8000000000 |
| pthread-wmm/mix016_rmo.opt_false-unreach-call.i |
out of memory |
391 |
348 |
8000000000 |
| pthread-wmm/mix016_tso.oepc_false-unreach-call.i |
out of memory |
600 |
552 |
8000000000 |
| pthread-wmm/mix016_tso.opt_false-unreach-call.i |
out of memory |
331 |
284 |
8000000000 |
| pthread-wmm/mix017_power.oepc_false-unreach-call.i |
timeout |
901 |
856 |
7028658176 |
| pthread-wmm/mix017_power.opt_false-unreach-call.i |
timeout |
901 |
854 |
6707924992 |
| pthread-wmm/mix017_pso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6859423744 |
| pthread-wmm/mix017_pso.opt_false-unreach-call.i |
timeout |
901 |
859 |
6666264576 |
| pthread-wmm/mix017_rmo.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6824501248 |
| pthread-wmm/mix017_rmo.opt_false-unreach-call.i |
timeout |
901 |
858 |
6568910848 |
| pthread-wmm/mix017_tso.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6810742784 |
| pthread-wmm/mix017_tso.opt_false-unreach-call.i |
timeout |
901 |
856 |
6968659968 |
| pthread-wmm/mix018_power.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6847840256 |
| pthread-wmm/mix018_power.opt_false-unreach-call.i |
timeout |
901 |
854 |
6746906624 |
| pthread-wmm/mix018_pso.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6888841216 |
| pthread-wmm/mix018_pso.opt_false-unreach-call.i |
timeout |
901 |
855 |
7073947648 |
| pthread-wmm/mix018_rmo.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6771167232 |
| pthread-wmm/mix018_rmo.opt_false-unreach-call.i |
timeout |
901 |
855 |
6694215680 |
| pthread-wmm/mix018_tso.oepc_false-unreach-call.i |
timeout |
901 |
854 |
7035174912 |
| pthread-wmm/mix018_tso.opt_false-unreach-call.i |
timeout |
901 |
855 |
6756102144 |
| pthread-wmm/mix019_power.oepc_false-unreach-call.i |
out of memory |
570 |
532 |
8000000000 |
| pthread-wmm/mix019_power.opt_false-unreach-call.i |
out of memory |
313 |
277 |
8000004096 |
| pthread-wmm/mix019_pso.oepc_false-unreach-call.i |
out of memory |
572 |
525 |
8000000000 |
| pthread-wmm/mix019_pso.opt_false-unreach-call.i |
out of memory |
310 |
277 |
8000000000 |
| pthread-wmm/mix019_rmo.oepc_false-unreach-call.i |
out of memory |
571 |
530 |
8000000000 |
| pthread-wmm/mix019_rmo.opt_false-unreach-call.i |
out of memory |
323 |
268 |
8000000000 |
| pthread-wmm/mix019_tso.oepc_false-unreach-call.i |
out of memory |
316 |
290 |
8000000000 |
| pthread-wmm/mix019_tso.opt_false-unreach-call.i |
out of memory |
314 |
283 |
8000000000 |
| pthread-wmm/mix020_power.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6842396672 |
| pthread-wmm/mix020_power.opt_false-unreach-call.i |
timeout |
901 |
856 |
6907645952 |
| pthread-wmm/mix020_pso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6763667456 |
| pthread-wmm/mix020_pso.opt_false-unreach-call.i |
timeout |
901 |
855 |
6921523200 |
| pthread-wmm/mix020_rmo.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6868176896 |
| pthread-wmm/mix020_rmo.opt_false-unreach-call.i |
timeout |
901 |
856 |
6766387200 |
| pthread-wmm/mix020_tso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6724472832 |
| pthread-wmm/mix020_tso.opt_false-unreach-call.i |
timeout |
901 |
855 |
6690648064 |
| pthread-wmm/mix021_power.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6814629888 |
| pthread-wmm/mix021_power.opt_false-unreach-call.i |
timeout |
901 |
856 |
6777700352 |
| pthread-wmm/mix021_pso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6824607744 |
| pthread-wmm/mix021_pso.opt_false-unreach-call.i |
timeout |
901 |
855 |
6790107136 |
| pthread-wmm/mix021_rmo.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6984499200 |
| pthread-wmm/mix021_rmo.opt_false-unreach-call.i |
timeout |
901 |
858 |
6610862080 |
| pthread-wmm/mix021_tso.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6858563584 |
| pthread-wmm/mix021_tso.opt_false-unreach-call.i |
timeout |
901 |
857 |
6840233984 |
| pthread-wmm/mix022_power.oepc_false-unreach-call.i |
false(unreach-call) |
85.8 |
54.9 |
2608676864 |
| pthread-wmm/mix022_power.opt_false-unreach-call.i |
false(unreach-call) |
78.3 |
50.5 |
2533744640 |
| pthread-wmm/mix022_pso.oepc_false-unreach-call.i |
false(unreach-call) |
83.1 |
53.3 |
2403172352 |
| pthread-wmm/mix022_pso.opt_false-unreach-call.i |
false(unreach-call) |
82.3 |
53.1 |
2398650368 |
| pthread-wmm/mix022_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
85.8 |
54.7 |
2335281152 |
| pthread-wmm/mix022_rmo.opt_false-unreach-call.i |
false(unreach-call) |
74.9 |
48.8 |
2410192896 |
| pthread-wmm/mix022_tso.oepc_false-unreach-call.i |
false(unreach-call) |
111 |
71.6 |
3926044672 |
| pthread-wmm/mix022_tso.opt_false-unreach-call.i |
false(unreach-call) |
109 |
70.2 |
4088356864 |
| pthread-wmm/mix023_power.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6812983296 |
| pthread-wmm/mix023_power.opt_false-unreach-call.i |
timeout |
901 |
857 |
6716792832 |
| pthread-wmm/mix023_pso.oepc_false-unreach-call.i |
timeout |
901 |
856 |
7062204416 |
| pthread-wmm/mix023_pso.opt_false-unreach-call.i |
timeout |
901 |
858 |
6600118272 |
| pthread-wmm/mix023_rmo.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6772346880 |
| pthread-wmm/mix023_rmo.opt_false-unreach-call.i |
timeout |
901 |
856 |
6696894464 |
| pthread-wmm/mix023_tso.oepc_false-unreach-call.i |
timeout |
901 |
846 |
7591936000 |
| pthread-wmm/mix023_tso.opt_false-unreach-call.i |
timeout |
901 |
842 |
7572434944 |
| pthread-wmm/mix024_power.oepc_false-unreach-call.i |
out of memory |
501 |
459 |
8000000000 |
| pthread-wmm/mix024_power.opt_false-unreach-call.i |
out of memory |
392 |
365 |
8000000000 |
| pthread-wmm/mix024_pso.oepc_false-unreach-call.i |
out of memory |
466 |
428 |
8000004096 |
| pthread-wmm/mix024_pso.opt_false-unreach-call.i |
out of memory |
382 |
349 |
8000000000 |
| pthread-wmm/mix024_rmo.oepc_false-unreach-call.i |
out of memory |
512 |
484 |
8000000000 |
| pthread-wmm/mix024_rmo.opt_false-unreach-call.i |
out of memory |
374 |
352 |
8000000000 |
| pthread-wmm/mix024_tso.oepc_false-unreach-call.i |
out of memory |
555 |
509 |
8000000000 |
| pthread-wmm/mix024_tso.opt_false-unreach-call.i |
out of memory |
541 |
491 |
8000000000 |
| pthread-wmm/mix025_power.oepc_false-unreach-call.i |
out of memory |
555 |
511 |
8000000000 |
| pthread-wmm/mix025_power.opt_false-unreach-call.i |
out of memory |
480 |
454 |
8000000000 |
| pthread-wmm/mix025_pso.oepc_false-unreach-call.i |
out of memory |
564 |
519 |
8000000000 |
| pthread-wmm/mix025_pso.opt_false-unreach-call.i |
out of memory |
349 |
323 |
8000000000 |
| pthread-wmm/mix025_rmo.oepc_false-unreach-call.i |
out of memory |
548 |
511 |
8000000000 |
| pthread-wmm/mix025_rmo.opt_false-unreach-call.i |
out of memory |
385 |
349 |
8000000000 |
| pthread-wmm/mix025_tso.oepc_false-unreach-call.i |
out of memory |
557 |
512 |
8000000000 |
| pthread-wmm/mix025_tso.opt_false-unreach-call.i |
out of memory |
578 |
534 |
8000000000 |
| pthread-wmm/mix026_power.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6839750656 |
| pthread-wmm/mix026_power.opt_false-unreach-call.i |
timeout |
901 |
854 |
6920486912 |
| pthread-wmm/mix026_pso.oepc_false-unreach-call.i |
timeout |
901 |
857 |
6644355072 |
| pthread-wmm/mix026_pso.opt_false-unreach-call.i |
timeout |
901 |
859 |
6641229824 |
| pthread-wmm/mix026_rmo.oepc_false-unreach-call.i |
timeout |
901 |
855 |
7115878400 |
| pthread-wmm/mix026_rmo.opt_false-unreach-call.i |
timeout |
901 |
857 |
6507929600 |
| pthread-wmm/mix026_tso.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6856798208 |
| pthread-wmm/mix026_tso.opt_false-unreach-call.i |
timeout |
901 |
855 |
7033372672 |
| pthread-wmm/mix027_power.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6784274432 |
| pthread-wmm/mix027_power.opt_false-unreach-call.i |
timeout |
901 |
855 |
6784733184 |
| pthread-wmm/mix027_pso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6784815104 |
| pthread-wmm/mix027_pso.opt_false-unreach-call.i |
timeout |
901 |
855 |
6638190592 |
| pthread-wmm/mix027_rmo.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6680035328 |
| pthread-wmm/mix027_rmo.opt_false-unreach-call.i |
timeout |
901 |
855 |
6617288704 |
| pthread-wmm/mix027_tso.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6809726976 |
| pthread-wmm/mix027_tso.opt_false-unreach-call.i |
timeout |
901 |
856 |
6976262144 |
| pthread-wmm/mix028_power.oepc_false-unreach-call.i |
out of memory |
547 |
512 |
8000000000 |
| pthread-wmm/mix028_power.opt_false-unreach-call.i |
out of memory |
333 |
300 |
8000000000 |
| pthread-wmm/mix028_pso.oepc_false-unreach-call.i |
out of memory |
495 |
452 |
8000000000 |
| pthread-wmm/mix028_pso.opt_false-unreach-call.i |
out of memory |
299 |
273 |
8000000000 |
| pthread-wmm/mix028_rmo.oepc_false-unreach-call.i |
out of memory |
602 |
561 |
8000000000 |
| pthread-wmm/mix028_rmo.opt_false-unreach-call.i |
out of memory |
307 |
285 |
8000000000 |
| pthread-wmm/mix028_tso.oepc_false-unreach-call.i |
out of memory |
252 |
213 |
8000000000 |
| pthread-wmm/mix028_tso.opt_false-unreach-call.i |
out of memory |
231 |
197 |
8000000000 |
| pthread-wmm/mix029_power.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6725664768 |
| pthread-wmm/mix029_power.opt_false-unreach-call.i |
timeout |
901 |
857 |
6982713344 |
| pthread-wmm/mix029_pso.oepc_false-unreach-call.i |
timeout |
901 |
852 |
6764675072 |
| pthread-wmm/mix029_pso.opt_false-unreach-call.i |
timeout |
901 |
854 |
6967144448 |
| pthread-wmm/mix029_rmo.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6774104064 |
| pthread-wmm/mix029_rmo.opt_false-unreach-call.i |
timeout |
901 |
854 |
6996889600 |
| pthread-wmm/mix029_tso.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6986784768 |
| pthread-wmm/mix029_tso.opt_false-unreach-call.i |
timeout |
901 |
858 |
6568861696 |
| pthread-wmm/mix030_power.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6727184384 |
| pthread-wmm/mix030_power.opt_false-unreach-call.i |
timeout |
901 |
856 |
7063613440 |
| pthread-wmm/mix030_pso.oepc_false-unreach-call.i |
timeout |
901 |
857 |
6895661056 |
| pthread-wmm/mix030_pso.opt_false-unreach-call.i |
timeout |
901 |
853 |
6810210304 |
| pthread-wmm/mix030_rmo.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6739369984 |
| pthread-wmm/mix030_rmo.opt_false-unreach-call.i |
timeout |
901 |
854 |
6802132992 |
| pthread-wmm/mix030_tso.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6777020416 |
| pthread-wmm/mix030_tso.opt_false-unreach-call.i |
timeout |
901 |
854 |
6819663872 |
| pthread-wmm/mix031_power.oepc_false-unreach-call.i |
false(unreach-call) |
105 |
67.9 |
3721035776 |
| pthread-wmm/mix031_power.opt_false-unreach-call.i |
false(unreach-call) |
70.5 |
40.8 |
1818898432 |
| pthread-wmm/mix031_pso.oepc_false-unreach-call.i |
false(unreach-call) |
79.9 |
50.2 |
2248146944 |
| pthread-wmm/mix031_pso.opt_false-unreach-call.i |
false(unreach-call) |
49.6 |
29.1 |
1362399232 |
| pthread-wmm/mix031_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
104 |
66.8 |
3728396288 |
| pthread-wmm/mix031_rmo.opt_false-unreach-call.i |
false(unreach-call) |
51.3 |
30.0 |
1375899648 |
| pthread-wmm/mix031_tso.oepc_false-unreach-call.i |
false(unreach-call) |
81.4 |
51.7 |
2696548352 |
| pthread-wmm/mix031_tso.opt_false-unreach-call.i |
false(unreach-call) |
50.1 |
29.2 |
1481662464 |
| pthread-wmm/mix032_power.oepc_false-unreach-call.i |
out of memory |
516 |
474 |
8000004096 |
| pthread-wmm/mix032_power.opt_false-unreach-call.i |
out of memory |
209 |
148 |
8000000000 |
| pthread-wmm/mix032_pso.oepc_false-unreach-call.i |
out of memory |
524 |
484 |
8000000000 |
| pthread-wmm/mix032_pso.opt_false-unreach-call.i |
out of memory |
192 |
151 |
8000000000 |
| pthread-wmm/mix032_rmo.oepc_false-unreach-call.i |
out of memory |
472 |
432 |
8000000000 |
| pthread-wmm/mix032_rmo.opt_false-unreach-call.i |
out of memory |
244 |
168 |
8000000000 |
| pthread-wmm/mix032_tso.oepc_false-unreach-call.i |
out of memory |
516 |
485 |
8000000000 |
| pthread-wmm/mix032_tso.opt_false-unreach-call.i |
out of memory |
200 |
149 |
8000000000 |
| pthread-wmm/mix033_power.oepc_false-unreach-call.i |
out of memory |
479 |
430 |
8000000000 |
| pthread-wmm/mix033_power.opt_false-unreach-call.i |
false(unreach-call) |
168 |
120 |
6028566528 |
| pthread-wmm/mix033_pso.oepc_false-unreach-call.i |
out of memory |
562 |
516 |
8000000000 |
| pthread-wmm/mix033_pso.opt_false-unreach-call.i |
out of memory |
175 |
117 |
8000000000 |
| pthread-wmm/mix033_rmo.oepc_false-unreach-call.i |
out of memory |
539 |
496 |
8000000000 |
| pthread-wmm/mix033_rmo.opt_false-unreach-call.i |
out of memory |
169 |
121 |
8000004096 |
| pthread-wmm/mix033_tso.oepc_false-unreach-call.i |
out of memory |
335 |
294 |
8000000000 |
| pthread-wmm/mix033_tso.opt_false-unreach-call.i |
out of memory |
171 |
117 |
8000000000 |
| pthread-wmm/mix034_power.oepc_false-unreach-call.i |
false(unreach-call) |
101 |
65.1 |
4008370176 |
| pthread-wmm/mix034_power.opt_false-unreach-call.i |
false(unreach-call) |
112 |
69.7 |
3547353088 |
| pthread-wmm/mix034_pso.oepc_false-unreach-call.i |
false(unreach-call) |
99.8 |
64.6 |
3642720256 |
| pthread-wmm/mix034_pso.opt_false-unreach-call.i |
false(unreach-call) |
76.4 |
47.7 |
3387379712 |
| pthread-wmm/mix034_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
105 |
66.9 |
3686760448 |
| pthread-wmm/mix034_rmo.opt_false-unreach-call.i |
false(unreach-call) |
99.5 |
63.8 |
3700850688 |
| pthread-wmm/mix034_tso.oepc_false-unreach-call.i |
false(unreach-call) |
92.8 |
60.9 |
3614220288 |
| pthread-wmm/mix034_tso.opt_false-unreach-call.i |
false(unreach-call) |
75.7 |
47.5 |
3280556032 |
| pthread-wmm/mix035_power.oepc_false-unreach-call.i |
out of memory |
559 |
511 |
8000000000 |
| pthread-wmm/mix035_power.opt_false-unreach-call.i |
out of memory |
376 |
352 |
8000000000 |
| pthread-wmm/mix035_pso.oepc_false-unreach-call.i |
out of memory |
578 |
532 |
8000000000 |
| pthread-wmm/mix035_pso.opt_false-unreach-call.i |
false(unreach-call) |
150 |
103 |
6013980672 |
| pthread-wmm/mix035_rmo.oepc_false-unreach-call.i |
out of memory |
555 |
525 |
8000000000 |
| pthread-wmm/mix035_rmo.opt_false-unreach-call.i |
out of memory |
437 |
389 |
8000000000 |
| pthread-wmm/mix035_tso.oepc_false-unreach-call.i |
out of memory |
596 |
547 |
8000000000 |
| pthread-wmm/mix035_tso.opt_false-unreach-call.i |
false(unreach-call) |
131 |
91.9 |
5564661760 |
| pthread-wmm/mix036_power.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6884208640 |
| pthread-wmm/mix036_power.opt_false-unreach-call.i |
timeout |
901 |
854 |
6727237632 |
| pthread-wmm/mix036_pso.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6760787968 |
| pthread-wmm/mix036_pso.opt_false-unreach-call.i |
timeout |
901 |
858 |
6445363200 |
| pthread-wmm/mix036_rmo.oepc_false-unreach-call.i |
timeout |
901 |
857 |
6880964608 |
| pthread-wmm/mix036_rmo.opt_false-unreach-call.i |
timeout |
901 |
855 |
6787555328 |
| pthread-wmm/mix036_tso.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6839472128 |
| pthread-wmm/mix036_tso.opt_false-unreach-call.i |
timeout |
901 |
866 |
6369120256 |
| pthread-wmm/mix037_power.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6887342080 |
| pthread-wmm/mix037_power.opt_false-unreach-call.i |
timeout |
902 |
853 |
7047122944 |
| pthread-wmm/mix037_pso.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6973521920 |
| pthread-wmm/mix037_pso.opt_false-unreach-call.i |
out of memory |
880 |
839 |
8000000000 |
| pthread-wmm/mix037_rmo.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6815825920 |
| pthread-wmm/mix037_rmo.opt_false-unreach-call.i |
timeout |
901 |
860 |
6464012288 |
| pthread-wmm/mix037_tso.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6883090432 |
| pthread-wmm/mix037_tso.opt_false-unreach-call.i |
out of memory |
828 |
771 |
8000000000 |
| pthread-wmm/mix038_power.oepc_false-unreach-call.i |
out of memory |
600 |
562 |
8000000000 |
| pthread-wmm/mix038_power.opt_false-unreach-call.i |
out of memory |
234 |
158 |
8000000000 |
| pthread-wmm/mix038_pso.oepc_false-unreach-call.i |
out of memory |
608 |
578 |
8000004096 |
| pthread-wmm/mix038_pso.opt_false-unreach-call.i |
out of memory |
215 |
152 |
8000000000 |
| pthread-wmm/mix038_rmo.oepc_false-unreach-call.i |
out of memory |
619 |
586 |
8000000000 |
| pthread-wmm/mix038_rmo.opt_false-unreach-call.i |
false(unreach-call) |
142 |
99.0 |
5433389056 |
| pthread-wmm/mix038_tso.oepc_false-unreach-call.i |
out of memory |
331 |
315 |
8000000000 |
| pthread-wmm/mix038_tso.opt_false-unreach-call.i |
false(unreach-call) |
145 |
100 |
5514682368 |
| pthread-wmm/mix039_power.oepc_false-unreach-call.i |
timeout |
901 |
857 |
6903185408 |
| pthread-wmm/mix039_power.opt_false-unreach-call.i |
timeout |
902 |
849 |
7737524224 |
| pthread-wmm/mix039_pso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6763507712 |
| pthread-wmm/mix039_pso.opt_false-unreach-call.i |
timeout |
902 |
856 |
7300149248 |
| pthread-wmm/mix039_rmo.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6975176704 |
| pthread-wmm/mix039_rmo.opt_false-unreach-call.i |
out of memory |
895 |
849 |
8000000000 |
| pthread-wmm/mix039_tso.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6789156864 |
| pthread-wmm/mix039_tso.opt_false-unreach-call.i |
timeout |
901 |
857 |
6563188736 |
| pthread-wmm/mix040_power.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6927773696 |
| pthread-wmm/mix040_power.opt_false-unreach-call.i |
out of memory |
879 |
832 |
8000000000 |
| pthread-wmm/mix040_pso.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6952902656 |
| pthread-wmm/mix040_pso.opt_false-unreach-call.i |
out of memory |
849 |
803 |
8000000000 |
| pthread-wmm/mix040_rmo.oepc_false-unreach-call.i |
timeout |
901 |
852 |
7079239680 |
| pthread-wmm/mix040_rmo.opt_false-unreach-call.i |
out of memory |
859 |
822 |
8000000000 |
| pthread-wmm/mix040_tso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6786666496 |
| pthread-wmm/mix040_tso.opt_false-unreach-call.i |
out of memory |
842 |
797 |
8000000000 |
| pthread-wmm/mix041_power.oepc_false-unreach-call.i |
false(unreach-call) |
110 |
71.9 |
3930226688 |
| pthread-wmm/mix041_power.opt_false-unreach-call.i |
false(unreach-call) |
63.9 |
37.0 |
2682941440 |
| pthread-wmm/mix041_pso.oepc_false-unreach-call.i |
false(unreach-call) |
107 |
70.8 |
3417907200 |
| pthread-wmm/mix041_pso.opt_false-unreach-call.i |
false(unreach-call) |
59.0 |
34.4 |
2371330048 |
| pthread-wmm/mix041_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
107 |
71.8 |
3609067520 |
| pthread-wmm/mix041_rmo.opt_false-unreach-call.i |
false(unreach-call) |
88.3 |
54.5 |
3266289664 |
| pthread-wmm/mix041_tso.oepc_false-unreach-call.i |
false(unreach-call) |
76.1 |
48.4 |
2765410304 |
| pthread-wmm/mix041_tso.opt_false-unreach-call.i |
false(unreach-call) |
94.5 |
62.4 |
2931822592 |
| pthread-wmm/mix042_power.oepc_false-unreach-call.i |
out of memory |
647 |
611 |
8000000000 |
| pthread-wmm/mix042_power.opt_false-unreach-call.i |
out of memory |
156 |
105 |
8000000000 |
| pthread-wmm/mix042_pso.oepc_false-unreach-call.i |
out of memory |
604 |
561 |
8000000000 |
| pthread-wmm/mix042_pso.opt_false-unreach-call.i |
out of memory |
210 |
143 |
8000000000 |
| pthread-wmm/mix042_rmo.oepc_false-unreach-call.i |
out of memory |
618 |
565 |
8000000000 |
| pthread-wmm/mix042_rmo.opt_false-unreach-call.i |
false(unreach-call) |
191 |
123 |
7751827456 |
| pthread-wmm/mix042_tso.oepc_false-unreach-call.i |
out of memory |
603 |
556 |
8000000000 |
| pthread-wmm/mix042_tso.opt_false-unreach-call.i |
out of memory |
244 |
172 |
8000000000 |
| pthread-wmm/mix043_power.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6970474496 |
| pthread-wmm/mix043_power.opt_false-unreach-call.i |
out of memory |
669 |
634 |
8000000000 |
| pthread-wmm/mix043_pso.oepc_false-unreach-call.i |
timeout |
901 |
857 |
6914777088 |
| pthread-wmm/mix043_pso.opt_false-unreach-call.i |
out of memory |
748 |
706 |
8000000000 |
| pthread-wmm/mix043_rmo.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6855303168 |
| pthread-wmm/mix043_rmo.opt_false-unreach-call.i |
out of memory |
665 |
619 |
8000000000 |
| pthread-wmm/mix043_tso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
7079989248 |
| pthread-wmm/mix043_tso.opt_false-unreach-call.i |
out of memory |
738 |
695 |
8000000000 |
| pthread-wmm/mix044_power.oepc_false-unreach-call.i |
timeout |
900 |
854 |
6775521280 |
| pthread-wmm/mix044_power.opt_false-unreach-call.i |
out of memory |
658 |
629 |
8000000000 |
| pthread-wmm/mix044_pso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6930608128 |
| pthread-wmm/mix044_pso.opt_false-unreach-call.i |
out of memory |
664 |
629 |
8000000000 |
| pthread-wmm/mix044_rmo.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6816555008 |
| pthread-wmm/mix044_rmo.opt_false-unreach-call.i |
out of memory |
678 |
640 |
8000000000 |
| pthread-wmm/mix044_tso.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6974087168 |
| pthread-wmm/mix044_tso.opt_false-unreach-call.i |
out of memory |
675 |
633 |
8000000000 |
| pthread-wmm/mix045_power.oepc_false-unreach-call.i |
out of memory |
543 |
501 |
8000000000 |
| pthread-wmm/mix045_power.opt_false-unreach-call.i |
out of memory |
174 |
131 |
8000000000 |
| pthread-wmm/mix045_pso.oepc_false-unreach-call.i |
out of memory |
551 |
504 |
8000000000 |
| pthread-wmm/mix045_pso.opt_false-unreach-call.i |
out of memory |
162 |
112 |
8000000000 |
| pthread-wmm/mix045_rmo.oepc_false-unreach-call.i |
out of memory |
545 |
512 |
8000000000 |
| pthread-wmm/mix045_rmo.opt_false-unreach-call.i |
false(unreach-call) |
163 |
107 |
7000248320 |
| pthread-wmm/mix045_tso.oepc_false-unreach-call.i |
false(unreach-call) |
164 |
107 |
7072641024 |
| pthread-wmm/mix045_tso.opt_false-unreach-call.i |
false(unreach-call) |
198 |
128 |
7736029184 |
| pthread-wmm/mix046_power.oepc_false-unreach-call.i |
timeout |
901 |
856 |
7029477376 |
| pthread-wmm/mix046_power.opt_false-unreach-call.i |
out of memory |
695 |
650 |
8000000000 |
| pthread-wmm/mix046_pso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6941630464 |
| pthread-wmm/mix046_pso.opt_false-unreach-call.i |
out of memory |
565 |
545 |
8000000000 |
| pthread-wmm/mix046_rmo.oepc_false-unreach-call.i |
timeout |
901 |
857 |
6787604480 |
| pthread-wmm/mix046_rmo.opt_false-unreach-call.i |
out of memory |
654 |
634 |
8000000000 |
| pthread-wmm/mix046_tso.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6966435840 |
| pthread-wmm/mix046_tso.opt_false-unreach-call.i |
out of memory |
665 |
634 |
8000000000 |
| pthread-wmm/mix047_power.oepc_false-unreach-call.i |
timeout |
901 |
857 |
6727745536 |
| pthread-wmm/mix047_power.opt_false-unreach-call.i |
out of memory |
635 |
611 |
8000000000 |
| pthread-wmm/mix047_pso.oepc_false-unreach-call.i |
timeout |
901 |
857 |
6703669248 |
| pthread-wmm/mix047_pso.opt_false-unreach-call.i |
out of memory |
668 |
624 |
8000000000 |
| pthread-wmm/mix047_rmo.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6730682368 |
| pthread-wmm/mix047_rmo.opt_false-unreach-call.i |
out of memory |
681 |
633 |
8000000000 |
| pthread-wmm/mix047_tso.oepc_false-unreach-call.i |
out of memory |
585 |
551 |
8000000000 |
| pthread-wmm/mix047_tso.opt_false-unreach-call.i |
out of memory |
679 |
639 |
8000000000 |
| pthread-wmm/mix048_power.oepc_false-unreach-call.i |
false(unreach-call) |
74.4 |
47.2 |
1907449856 |
| pthread-wmm/mix048_power.opt_false-unreach-call.i |
false(unreach-call) |
79.2 |
49.3 |
2117029888 |
| pthread-wmm/mix048_pso.oepc_false-unreach-call.i |
false(unreach-call) |
79.1 |
49.2 |
1999740928 |
| pthread-wmm/mix048_pso.opt_false-unreach-call.i |
false(unreach-call) |
76.1 |
47.5 |
1911914496 |
| pthread-wmm/mix048_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
80.1 |
52.2 |
2280939520 |
| pthread-wmm/mix048_rmo.opt_false-unreach-call.i |
false(unreach-call) |
83.0 |
52.7 |
2205511680 |
| pthread-wmm/mix048_tso.oepc_false-unreach-call.i |
false(unreach-call) |
81.3 |
50.1 |
2307452928 |
| pthread-wmm/mix048_tso.opt_false-unreach-call.i |
false(unreach-call) |
73.9 |
46.5 |
2035249152 |
| pthread-wmm/mix049_power.oepc_false-unreach-call.i |
out of memory |
482 |
441 |
8000000000 |
| pthread-wmm/mix049_power.opt_false-unreach-call.i |
out of memory |
556 |
520 |
8000000000 |
| pthread-wmm/mix049_pso.oepc_false-unreach-call.i |
out of memory |
544 |
512 |
8000000000 |
| pthread-wmm/mix049_pso.opt_false-unreach-call.i |
out of memory |
553 |
515 |
8000000000 |
| pthread-wmm/mix049_rmo.oepc_false-unreach-call.i |
out of memory |
551 |
517 |
8000000000 |
| pthread-wmm/mix049_rmo.opt_false-unreach-call.i |
out of memory |
565 |
527 |
8000000000 |
| pthread-wmm/mix049_tso.oepc_false-unreach-call.i |
out of memory |
572 |
534 |
8000000000 |
| pthread-wmm/mix049_tso.opt_false-unreach-call.i |
out of memory |
559 |
520 |
8000000000 |
| pthread-wmm/mix050_power.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6983323648 |
| pthread-wmm/mix050_power.opt_false-unreach-call.i |
timeout |
901 |
854 |
6857015296 |
| pthread-wmm/mix050_pso.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6942654464 |
| pthread-wmm/mix050_pso.opt_false-unreach-call.i |
timeout |
901 |
852 |
7145693184 |
| pthread-wmm/mix050_rmo.oepc_false-unreach-call.i |
timeout |
901 |
852 |
6841184256 |
| pthread-wmm/mix050_rmo.opt_false-unreach-call.i |
timeout |
901 |
853 |
6969061376 |
| pthread-wmm/mix050_tso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
7142715392 |
| pthread-wmm/mix050_tso.opt_false-unreach-call.i |
timeout |
901 |
853 |
6973280256 |
| pthread-wmm/mix051_power.oepc_false-unreach-call.i |
timeout |
901 |
860 |
6460649472 |
| pthread-wmm/mix051_power.opt_false-unreach-call.i |
timeout |
901 |
853 |
6589538304 |
| pthread-wmm/mix051_pso.oepc_false-unreach-call.i |
timeout |
901 |
862 |
6506467328 |
| pthread-wmm/mix051_pso.opt_false-unreach-call.i |
out of memory |
838 |
778 |
8000000000 |
| pthread-wmm/mix051_rmo.oepc_false-unreach-call.i |
timeout |
901 |
858 |
6602850304 |
| pthread-wmm/mix051_rmo.opt_false-unreach-call.i |
out of memory |
831 |
796 |
8000000000 |
| pthread-wmm/mix051_tso.oepc_false-unreach-call.i |
timeout |
901 |
857 |
6836543488 |
| pthread-wmm/mix051_tso.opt_false-unreach-call.i |
out of memory |
821 |
772 |
8000000000 |
| pthread-wmm/mix052_power.oepc_false-unreach-call.i |
out of memory |
562 |
515 |
8000000000 |
| pthread-wmm/mix052_power.opt_false-unreach-call.i |
out of memory |
485 |
450 |
8000000000 |
| pthread-wmm/mix052_pso.oepc_false-unreach-call.i |
out of memory |
567 |
532 |
8000004096 |
| pthread-wmm/mix052_pso.opt_false-unreach-call.i |
false(unreach-call) |
125 |
89.0 |
5662703616 |
| pthread-wmm/mix052_rmo.oepc_false-unreach-call.i |
out of memory |
504 |
460 |
8000000000 |
| pthread-wmm/mix052_rmo.opt_false-unreach-call.i |
false(unreach-call) |
147 |
103 |
6418296832 |
| pthread-wmm/mix052_tso.oepc_false-unreach-call.i |
out of memory |
329 |
299 |
8000000000 |
| pthread-wmm/mix052_tso.opt_false-unreach-call.i |
out of memory |
224 |
157 |
8000000000 |
| pthread-wmm/mix053_power.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6734524416 |
| pthread-wmm/mix053_power.opt_false-unreach-call.i |
timeout |
901 |
861 |
6504841216 |
| pthread-wmm/mix053_pso.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6725992448 |
| pthread-wmm/mix053_pso.opt_false-unreach-call.i |
timeout |
901 |
860 |
6548516864 |
| pthread-wmm/mix053_rmo.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6699257856 |
| pthread-wmm/mix053_rmo.opt_false-unreach-call.i |
timeout |
901 |
858 |
6575472640 |
| pthread-wmm/mix053_tso.oepc_false-unreach-call.i |
timeout |
901 |
852 |
6830202880 |
| pthread-wmm/mix053_tso.opt_false-unreach-call.i |
out of memory |
804 |
772 |
8000000000 |
| pthread-wmm/mix054_power.oepc_false-unreach-call.i |
false(unreach-call) |
75.0 |
48.3 |
2376704000 |
| pthread-wmm/mix054_power.opt_false-unreach-call.i |
false(unreach-call) |
65.9 |
41.4 |
2034741248 |
| pthread-wmm/mix054_pso.oepc_false-unreach-call.i |
false(unreach-call) |
75.7 |
48.5 |
2378424320 |
| pthread-wmm/mix054_pso.opt_false-unreach-call.i |
false(unreach-call) |
88.9 |
56.2 |
3084918784 |
| pthread-wmm/mix054_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
67.5 |
41.9 |
1978687488 |
| pthread-wmm/mix054_rmo.opt_false-unreach-call.i |
false(unreach-call) |
62.0 |
36.8 |
2078674944 |
| pthread-wmm/mix054_tso.oepc_false-unreach-call.i |
false(unreach-call) |
80.3 |
50.8 |
2614607872 |
| pthread-wmm/mix054_tso.opt_false-unreach-call.i |
false(unreach-call) |
60.1 |
35.7 |
1865666560 |
| pthread-wmm/mix055_power.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6807855104 |
| pthread-wmm/mix055_power.opt_false-unreach-call.i |
out of memory |
698 |
657 |
8000000000 |
| pthread-wmm/mix055_pso.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6798958592 |
| pthread-wmm/mix055_pso.opt_false-unreach-call.i |
out of memory |
620 |
577 |
8000000000 |
| pthread-wmm/mix055_rmo.oepc_false-unreach-call.i |
timeout |
901 |
852 |
6752632832 |
| pthread-wmm/mix055_rmo.opt_false-unreach-call.i |
out of memory |
715 |
668 |
8000000000 |
| pthread-wmm/mix055_tso.oepc_false-unreach-call.i |
timeout |
901 |
856 |
7021473792 |
| pthread-wmm/mix055_tso.opt_false-unreach-call.i |
out of memory |
700 |
655 |
8000000000 |
| pthread-wmm/mix056_power.oepc_false-unreach-call.i |
out of memory |
566 |
533 |
8000000000 |
| pthread-wmm/mix056_power.opt_false-unreach-call.i |
out of memory |
208 |
160 |
8000000000 |
| pthread-wmm/mix056_pso.oepc_false-unreach-call.i |
out of memory |
631 |
583 |
8000000000 |
| pthread-wmm/mix056_pso.opt_false-unreach-call.i |
out of memory |
139 |
97.9 |
8000000000 |
| pthread-wmm/mix056_rmo.oepc_false-unreach-call.i |
out of memory |
512 |
476 |
8000000000 |
| pthread-wmm/mix056_rmo.opt_false-unreach-call.i |
false(unreach-call) |
171 |
112 |
7704399872 |
| pthread-wmm/mix056_tso.oepc_false-unreach-call.i |
out of memory |
150 |
101 |
8000000000 |
| pthread-wmm/mix056_tso.opt_false-unreach-call.i |
out of memory |
157 |
116 |
8000000000 |
| pthread-wmm/mix057_power.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6877597696 |
| pthread-wmm/mix057_power.opt_false-unreach-call.i |
out of memory |
778 |
741 |
8000000000 |
| pthread-wmm/mix057_pso.oepc_false-unreach-call.i |
timeout |
901 |
853 |
7130497024 |
| pthread-wmm/mix057_pso.opt_false-unreach-call.i |
out of memory |
720 |
680 |
8000000000 |
| pthread-wmm/mix057_rmo.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6850039808 |
| pthread-wmm/mix057_rmo.opt_false-unreach-call.i |
out of memory |
718 |
675 |
8000000000 |
| pthread-wmm/mix057_tso.oepc_false-unreach-call.i |
out of memory |
734 |
693 |
8000000000 |
| pthread-wmm/mix057_tso.opt_false-unreach-call.i |
out of memory |
758 |
719 |
8000000000 |
| pthread-wmm/podwr000_power.oepc_false-unreach-call.i |
false(unreach-call) |
70.5 |
45.5 |
2127355904 |
| pthread-wmm/podwr000_power.opt_false-unreach-call.i |
false(unreach-call) |
81.4 |
51.7 |
2290057216 |
| pthread-wmm/podwr000_pso.oepc_false-unreach-call.i |
false(unreach-call) |
85.1 |
53.4 |
2276364288 |
| pthread-wmm/podwr000_pso.opt_false-unreach-call.i |
false(unreach-call) |
86.5 |
54.5 |
2208579584 |
| pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
75.1 |
47.1 |
2182504448 |
| pthread-wmm/podwr000_rmo.opt_false-unreach-call.i |
false(unreach-call) |
84.9 |
53.6 |
2342301696 |
| pthread-wmm/podwr000_tso.oepc_false-unreach-call.i |
false(unreach-call) |
94.5 |
55.9 |
1873887232 |
| pthread-wmm/podwr000_tso.opt_false-unreach-call.i |
false(unreach-call) |
79.1 |
50.8 |
2431143936 |
| pthread-wmm/podwr001_power.oepc_false-unreach-call.i |
out of memory |
554 |
516 |
8000000000 |
| pthread-wmm/podwr001_power.opt_false-unreach-call.i |
out of memory |
563 |
527 |
8000000000 |
| pthread-wmm/podwr001_pso.oepc_false-unreach-call.i |
out of memory |
543 |
506 |
8000000000 |
| pthread-wmm/podwr001_pso.opt_false-unreach-call.i |
out of memory |
488 |
449 |
8000000000 |
| pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i |
out of memory |
607 |
573 |
8000000000 |
| pthread-wmm/podwr001_rmo.opt_false-unreach-call.i |
out of memory |
545 |
506 |
8000000000 |
| pthread-wmm/podwr001_tso.oepc_false-unreach-call.i |
out of memory |
554 |
525 |
8000000000 |
| pthread-wmm/podwr001_tso.opt_false-unreach-call.i |
out of memory |
566 |
526 |
8000000000 |
| pthread-wmm/rfi000_power.oepc_false-unreach-call.i |
false(unreach-call) |
258 |
190 |
6625951744 |
| pthread-wmm/rfi000_power.opt_false-unreach-call.i |
false(unreach-call) |
87.2 |
59.2 |
3347091456 |
| pthread-wmm/rfi000_pso.oepc_false-unreach-call.i |
false(unreach-call) |
270 |
196 |
6642364416 |
| pthread-wmm/rfi000_pso.opt_false-unreach-call.i |
false(unreach-call) |
54.3 |
32.1 |
1727782912 |
| pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
281 |
201 |
6450581504 |
| pthread-wmm/rfi000_rmo.opt_false-unreach-call.i |
false(unreach-call) |
56.6 |
33.3 |
1825832960 |
| pthread-wmm/rfi001_power.oepc_false-unreach-call.i |
false(unreach-call) |
106 |
70.5 |
3875581952 |
| pthread-wmm/rfi001_power.opt_false-unreach-call.i |
false(unreach-call) |
52.6 |
30.7 |
1530953728 |
| pthread-wmm/rfi001_pso.oepc_false-unreach-call.i |
false(unreach-call) |
85.1 |
55.7 |
2344001536 |
| pthread-wmm/rfi001_pso.opt_false-unreach-call.i |
false(unreach-call) |
51.5 |
30.3 |
1628061696 |
| pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
92.0 |
61.0 |
2502881280 |
| pthread-wmm/rfi001_rmo.opt_false-unreach-call.i |
false(unreach-call) |
138 |
96.9 |
4823789568 |
| pthread-wmm/rfi001_tso.oepc_false-unreach-call.i |
false(unreach-call) |
66.9 |
37.1 |
2496061440 |
| pthread-wmm/rfi001_tso.opt_false-unreach-call.i |
false(unreach-call) |
54.5 |
31.8 |
1631412224 |
| pthread-wmm/rfi003_power.oepc_false-unreach-call.i |
false(unreach-call) |
86.2 |
55.1 |
3304775680 |
| pthread-wmm/rfi003_power.opt_false-unreach-call.i |
false(unreach-call) |
86.2 |
54.7 |
3415248896 |
| pthread-wmm/rfi003_pso.oepc_false-unreach-call.i |
false(unreach-call) |
95.2 |
60.9 |
3337654272 |
| pthread-wmm/rfi003_pso.opt_false-unreach-call.i |
false(unreach-call) |
91.0 |
56.4 |
3656069120 |
| pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
87.5 |
54.2 |
3277168640 |
| pthread-wmm/rfi003_rmo.opt_false-unreach-call.i |
false(unreach-call) |
94.8 |
57.4 |
3308503040 |
| pthread-wmm/rfi004_power.oepc_false-unreach-call.i |
false(unreach-call) |
96.0 |
60.3 |
3716853760 |
| pthread-wmm/rfi004_power.opt_false-unreach-call.i |
false(unreach-call) |
96.5 |
62.3 |
3819175936 |
| pthread-wmm/rfi004_pso.oepc_false-unreach-call.i |
false(unreach-call) |
75.9 |
47.3 |
2157670400 |
| pthread-wmm/rfi004_pso.opt_false-unreach-call.i |
false(unreach-call) |
71.3 |
45.6 |
2369978368 |
| pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
71.3 |
45.0 |
2848690176 |
| pthread-wmm/rfi004_rmo.opt_false-unreach-call.i |
false(unreach-call) |
91.2 |
59.2 |
3584802816 |
| pthread-wmm/rfi004_tso.oepc_false-unreach-call.i |
false(unreach-call) |
93.7 |
59.9 |
3705737216 |
| pthread-wmm/rfi004_tso.opt_false-unreach-call.i |
false(unreach-call) |
88.1 |
58.2 |
3767795712 |
| pthread-wmm/rfi005_power.oepc_false-unreach-call.i |
error (7) |
202 |
153 |
5731627008 |
| pthread-wmm/rfi005_power.opt_false-unreach-call.i |
error (7) |
202 |
156 |
5008842752 |
| pthread-wmm/rfi005_pso.oepc_false-unreach-call.i |
error (7) |
201 |
154 |
5829910528 |
| pthread-wmm/rfi005_pso.opt_false-unreach-call.i |
error (7) |
196 |
151 |
5533003776 |
| pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i |
error (7) |
201 |
153 |
5761753088 |
| pthread-wmm/rfi005_rmo.opt_false-unreach-call.i |
error (7) |
206 |
157 |
5379153920 |
| pthread-wmm/rfi005_tso.oepc_false-unreach-call.i |
error (7) |
182 |
139 |
5738766336 |
| pthread-wmm/rfi005_tso.opt_false-unreach-call.i |
error (7) |
205 |
156 |
5271396352 |
| pthread-wmm/rfi006_power.oepc_false-unreach-call.i |
timeout |
901 |
853 |
7072776192 |
| pthread-wmm/rfi006_power.opt_false-unreach-call.i |
timeout |
901 |
854 |
6845247488 |
| pthread-wmm/rfi006_pso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6996226048 |
| pthread-wmm/rfi006_pso.opt_false-unreach-call.i |
timeout |
901 |
855 |
6823653376 |
| pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6792290304 |
| pthread-wmm/rfi006_rmo.opt_false-unreach-call.i |
timeout |
901 |
855 |
6734430208 |
| pthread-wmm/rfi006_tso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6738518016 |
| pthread-wmm/rfi006_tso.opt_false-unreach-call.i |
timeout |
901 |
853 |
6753456128 |
| pthread-wmm/rfi007_power.oepc_false-unreach-call.i |
false(unreach-call) |
77.5 |
50.2 |
2335244288 |
| pthread-wmm/rfi007_power.opt_false-unreach-call.i |
false(unreach-call) |
76.8 |
50.0 |
2522136576 |
| pthread-wmm/rfi007_pso.oepc_false-unreach-call.i |
false(unreach-call) |
72.3 |
47.8 |
2407940096 |
| pthread-wmm/rfi007_pso.opt_false-unreach-call.i |
false(unreach-call) |
79.2 |
50.7 |
2335961088 |
| pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
79.8 |
51.3 |
2557636608 |
| pthread-wmm/rfi007_rmo.opt_false-unreach-call.i |
false(unreach-call) |
82.3 |
52.3 |
2356232192 |
| pthread-wmm/rfi007_tso.oepc_false-unreach-call.i |
false(unreach-call) |
99.1 |
63.1 |
3861766144 |
| pthread-wmm/rfi007_tso.opt_false-unreach-call.i |
false(unreach-call) |
106 |
67.4 |
4092043264 |
| pthread-wmm/rfi008_power.oepc_false-unreach-call.i |
out of memory |
162 |
111 |
8000000000 |
| pthread-wmm/rfi008_power.opt_false-unreach-call.i |
false(unreach-call) |
173 |
118 |
6465466368 |
| pthread-wmm/rfi008_pso.oepc_false-unreach-call.i |
false(unreach-call) |
267 |
185 |
7752966144 |
| pthread-wmm/rfi008_pso.opt_false-unreach-call.i |
false(unreach-call) |
180 |
119 |
6700990464 |
| pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
253 |
174 |
7696793600 |
| pthread-wmm/rfi008_rmo.opt_false-unreach-call.i |
false(unreach-call) |
180 |
119 |
6863544320 |
| pthread-wmm/rfi008_tso.oepc_false-unreach-call.i |
false(unreach-call) |
264 |
182 |
7775236096 |
| pthread-wmm/rfi008_tso.opt_false-unreach-call.i |
false(unreach-call) |
175 |
117 |
6776512512 |
| pthread-wmm/rfi009_power.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6842556416 |
| pthread-wmm/rfi009_power.opt_false-unreach-call.i |
timeout |
901 |
856 |
6733160448 |
| pthread-wmm/rfi009_pso.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6686625792 |
| pthread-wmm/rfi009_pso.opt_false-unreach-call.i |
timeout |
901 |
855 |
7027347456 |
| pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6780149760 |
| pthread-wmm/rfi009_rmo.opt_false-unreach-call.i |
timeout |
901 |
855 |
6815780864 |
| pthread-wmm/rfi009_tso.oepc_false-unreach-call.i |
timeout |
901 |
852 |
6763339776 |
| pthread-wmm/rfi009_tso.opt_false-unreach-call.i |
timeout |
901 |
856 |
6754996224 |
| pthread-wmm/rfi010_power.oepc_false-unreach-call.i |
false(unreach-call) |
186 |
125 |
7242362880 |
| pthread-wmm/rfi010_power.opt_false-unreach-call.i |
false(unreach-call) |
239 |
163 |
7681691648 |
| pthread-wmm/rfi010_pso.oepc_false-unreach-call.i |
false(unreach-call) |
187 |
126 |
7234617344 |
| pthread-wmm/rfi010_pso.opt_false-unreach-call.i |
false(unreach-call) |
185 |
125 |
6856212480 |
| pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
217 |
147 |
6869741568 |
| pthread-wmm/rfi010_rmo.opt_false-unreach-call.i |
false(unreach-call) |
219 |
147 |
6832492544 |
| pthread-wmm/rfi010_tso.oepc_false-unreach-call.i |
false(unreach-call) |
230 |
154 |
7629615104 |
| pthread-wmm/rfi010_tso.opt_false-unreach-call.i |
false(unreach-call) |
186 |
126 |
7099494400 |
| pthread-wmm/safe000_power.oepc_false-unreach-call.i |
timeout |
901 |
854 |
7170457600 |
| pthread-wmm/safe000_power.opt_false-unreach-call.i |
timeout |
901 |
857 |
7012155392 |
| pthread-wmm/safe000_rmo.oepc_false-unreach-call.i |
timeout |
901 |
855 |
7007215616 |
| pthread-wmm/safe000_rmo.opt_false-unreach-call.i |
timeout |
900 |
850 |
6977531904 |
| pthread-wmm/safe001_power.oepc_false-unreach-call.i |
timeout |
901 |
854 |
7313862656 |
| pthread-wmm/safe001_power.opt_false-unreach-call.i |
out of memory |
335 |
297 |
8000000000 |
| pthread-wmm/safe001_pso.oepc_false-unreach-call.i |
out of memory |
342 |
300 |
8000000000 |
| pthread-wmm/safe001_pso.opt_false-unreach-call.i |
out of memory |
341 |
297 |
8000000000 |
| pthread-wmm/safe001_rmo.oepc_false-unreach-call.i |
timeout |
901 |
852 |
7048421376 |
| pthread-wmm/safe001_rmo.opt_false-unreach-call.i |
out of memory |
304 |
277 |
8000000000 |
| pthread-wmm/safe002_power.oepc_false-unreach-call.i |
timeout |
901 |
855 |
7192559616 |
| pthread-wmm/safe002_power.opt_false-unreach-call.i |
out of memory |
421 |
371 |
8000000000 |
| pthread-wmm/safe002_pso.oepc_false-unreach-call.i |
out of memory |
389 |
356 |
8000000000 |
| pthread-wmm/safe002_pso.opt_false-unreach-call.i |
out of memory |
440 |
398 |
8000000000 |
| pthread-wmm/safe002_rmo.oepc_false-unreach-call.i |
timeout |
901 |
849 |
6935695360 |
| pthread-wmm/safe002_rmo.opt_false-unreach-call.i |
out of memory |
342 |
317 |
8000000000 |
| pthread-wmm/safe003_power.oepc_false-unreach-call.i |
timeout |
901 |
854 |
7153725440 |
| pthread-wmm/safe003_power.opt_false-unreach-call.i |
timeout |
901 |
857 |
6840868864 |
| pthread-wmm/safe003_pso.oepc_false-unreach-call.i |
timeout |
901 |
853 |
7175434240 |
| pthread-wmm/safe003_pso.opt_false-unreach-call.i |
timeout |
901 |
854 |
7081713664 |
| pthread-wmm/safe003_rmo.oepc_false-unreach-call.i |
timeout |
901 |
854 |
7311958016 |
| pthread-wmm/safe003_rmo.opt_false-unreach-call.i |
timeout |
901 |
853 |
7221735424 |
| pthread-wmm/safe004_power.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6832025600 |
| pthread-wmm/safe004_power.opt_false-unreach-call.i |
out of memory |
352 |
316 |
8000000000 |
| pthread-wmm/safe004_pso.oepc_false-unreach-call.i |
timeout |
901 |
852 |
6831542272 |
| pthread-wmm/safe004_pso.opt_false-unreach-call.i |
out of memory |
325 |
299 |
8000000000 |
| pthread-wmm/safe004_rmo.oepc_false-unreach-call.i |
timeout |
901 |
851 |
7037022208 |
| pthread-wmm/safe004_rmo.opt_false-unreach-call.i |
out of memory |
322 |
288 |
8000000000 |
| pthread-wmm/safe005_power.oepc_false-unreach-call.i |
out of memory |
442 |
408 |
8000000000 |
| pthread-wmm/safe005_power.opt_false-unreach-call.i |
out of memory |
439 |
392 |
8000000000 |
| pthread-wmm/safe005_pso.oepc_false-unreach-call.i |
out of memory |
442 |
409 |
8000000000 |
| pthread-wmm/safe005_pso.opt_false-unreach-call.i |
out of memory |
445 |
397 |
8000000000 |
| pthread-wmm/safe005_rmo.oepc_false-unreach-call.i |
out of memory |
448 |
409 |
8000000000 |
| pthread-wmm/safe005_rmo.opt_false-unreach-call.i |
out of memory |
429 |
392 |
8000000000 |
| pthread-wmm/safe006_power.oepc_false-unreach-call.i |
false(unreach-call) |
74.3 |
44.4 |
3395543040 |
| pthread-wmm/safe006_power.opt_false-unreach-call.i |
false(unreach-call) |
107 |
71.7 |
3438714880 |
| pthread-wmm/safe006_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
49.0 |
28.1 |
1248174080 |
| pthread-wmm/safe006_rmo.opt_false-unreach-call.i |
false(unreach-call) |
47.8 |
27.6 |
1262534656 |
| pthread-wmm/safe007_power.oepc_false-unreach-call.i |
false(unreach-call) |
196 |
143 |
7397855232 |
| pthread-wmm/safe007_power.opt_false-unreach-call.i |
out of memory |
222 |
178 |
8000000000 |
| pthread-wmm/safe007_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
128 |
85.4 |
5979439104 |
| pthread-wmm/safe007_rmo.opt_false-unreach-call.i |
false(unreach-call) |
129 |
84.2 |
6009716736 |
| pthread-wmm/safe008_power.oepc_false-unreach-call.i |
out of memory |
316 |
280 |
8000000000 |
| pthread-wmm/safe008_power.opt_false-unreach-call.i |
timeout |
901 |
854 |
6913523712 |
| pthread-wmm/safe008_pso.oepc_false-unreach-call.i |
out of memory |
292 |
256 |
8000000000 |
| pthread-wmm/safe008_pso.opt_false-unreach-call.i |
out of memory |
331 |
294 |
8000000000 |
| pthread-wmm/safe008_rmo.oepc_false-unreach-call.i |
out of memory |
330 |
305 |
8000004096 |
| pthread-wmm/safe008_rmo.opt_false-unreach-call.i |
out of memory |
331 |
299 |
8000000000 |
| pthread-wmm/safe009_power.oepc_false-unreach-call.i |
timeout |
901 |
852 |
6947004416 |
| pthread-wmm/safe009_power.opt_false-unreach-call.i |
timeout |
901 |
856 |
6947012608 |
| pthread-wmm/safe009_rmo.oepc_false-unreach-call.i |
timeout |
901 |
854 |
6935322624 |
| pthread-wmm/safe009_rmo.opt_false-unreach-call.i |
out of memory |
470 |
424 |
8000000000 |
| pthread-wmm/safe010_power.oepc_false-unreach-call.i |
false(unreach-call) |
72.7 |
40.2 |
1718484992 |
| pthread-wmm/safe010_power.opt_false-unreach-call.i |
false(unreach-call) |
57.1 |
33.6 |
1969610752 |
| pthread-wmm/safe010_pso.oepc_false-unreach-call.i |
false(unreach-call) |
67.2 |
38.3 |
1905836032 |
| pthread-wmm/safe010_pso.opt_false-unreach-call.i |
false(unreach-call) |
72.9 |
41.1 |
2054189056 |
| pthread-wmm/safe010_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
74.2 |
41.6 |
2058952704 |
| pthread-wmm/safe010_rmo.opt_false-unreach-call.i |
false(unreach-call) |
57.1 |
34.5 |
2126864384 |
| pthread-wmm/safe011_power.oepc_false-unreach-call.i |
out of memory |
328 |
285 |
8000000000 |
| pthread-wmm/safe011_power.opt_false-unreach-call.i |
out of memory |
330 |
309 |
8000000000 |
| pthread-wmm/safe011_pso.oepc_false-unreach-call.i |
out of memory |
301 |
272 |
8000000000 |
| pthread-wmm/safe011_pso.opt_false-unreach-call.i |
out of memory |
320 |
289 |
8000000000 |
| pthread-wmm/safe011_rmo.oepc_false-unreach-call.i |
out of memory |
320 |
307 |
8000000000 |
| pthread-wmm/safe011_rmo.opt_false-unreach-call.i |
out of memory |
293 |
265 |
8000000000 |
| pthread-wmm/safe012_power.oepc_false-unreach-call.i |
out of memory |
166 |
126 |
8000000000 |
| pthread-wmm/safe012_power.opt_false-unreach-call.i |
out of memory |
226 |
199 |
8000000000 |
| pthread-wmm/safe012_pso.oepc_false-unreach-call.i |
out of memory |
415 |
383 |
8000004096 |
| pthread-wmm/safe012_pso.opt_false-unreach-call.i |
out of memory |
426 |
382 |
8000000000 |
| pthread-wmm/safe012_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
114 |
77.5 |
5339922432 |
| pthread-wmm/safe012_rmo.opt_false-unreach-call.i |
out of memory |
327 |
301 |
8000000000 |
| pthread-wmm/safe013_power.oepc_false-unreach-call.i |
out of memory |
431 |
383 |
8000000000 |
| pthread-wmm/safe013_power.opt_false-unreach-call.i |
out of memory |
461 |
412 |
8000000000 |
| pthread-wmm/safe013_pso.oepc_false-unreach-call.i |
out of memory |
443 |
399 |
8000000000 |
| pthread-wmm/safe013_pso.opt_false-unreach-call.i |
out of memory |
391 |
348 |
8000000000 |
| pthread-wmm/safe013_rmo.oepc_false-unreach-call.i |
out of memory |
442 |
398 |
8000000000 |
| pthread-wmm/safe013_rmo.opt_false-unreach-call.i |
out of memory |
442 |
413 |
8000000000 |
| pthread-wmm/safe014_power.oepc_false-unreach-call.i |
false(unreach-call) |
233 |
169 |
7708762112 |
| pthread-wmm/safe014_power.opt_false-unreach-call.i |
out of memory |
203 |
172 |
8000000000 |
| pthread-wmm/safe014_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
138 |
94.5 |
5959962624 |
| pthread-wmm/safe014_rmo.opt_false-unreach-call.i |
timeout |
901 |
854 |
7179608064 |
| pthread-wmm/safe015_power.oepc_false-unreach-call.i |
timeout |
901 |
855 |
7066914816 |
| pthread-wmm/safe015_power.opt_false-unreach-call.i |
timeout |
901 |
851 |
7174381568 |
| pthread-wmm/safe015_rmo.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6993702912 |
| pthread-wmm/safe015_rmo.opt_false-unreach-call.i |
timeout |
901 |
853 |
7191109632 |
| pthread-wmm/safe016_power.oepc_false-unreach-call.i |
timeout |
902 |
849 |
7327981568 |
| pthread-wmm/safe016_power.opt_false-unreach-call.i |
timeout |
901 |
852 |
7135690752 |
| pthread-wmm/safe016_rmo.oepc_false-unreach-call.i |
timeout |
901 |
854 |
7082586112 |
| pthread-wmm/safe016_rmo.opt_false-unreach-call.i |
timeout |
901 |
853 |
7271333888 |
| pthread-wmm/safe017_power.oepc_false-unreach-call.i |
out of memory |
304 |
281 |
8000000000 |
| pthread-wmm/safe017_power.opt_false-unreach-call.i |
out of memory |
307 |
278 |
8000000000 |
| pthread-wmm/safe017_pso.oepc_false-unreach-call.i |
out of memory |
306 |
286 |
8000000000 |
| pthread-wmm/safe017_pso.opt_false-unreach-call.i |
out of memory |
313 |
291 |
8000000000 |
| pthread-wmm/safe017_rmo.oepc_false-unreach-call.i |
out of memory |
307 |
285 |
8000004096 |
| pthread-wmm/safe017_rmo.opt_false-unreach-call.i |
out of memory |
321 |
294 |
8000000000 |
| pthread-wmm/safe018_power.oepc_false-unreach-call.i |
false(unreach-call) |
195 |
143 |
7964909568 |
| pthread-wmm/safe018_power.opt_false-unreach-call.i |
timeout |
901 |
855 |
7087783936 |
| pthread-wmm/safe018_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
144 |
98.9 |
5945438208 |
| pthread-wmm/safe018_rmo.opt_false-unreach-call.i |
timeout |
901 |
852 |
6886039552 |
| pthread-wmm/safe019_power.oepc_false-unreach-call.i |
timeout |
901 |
849 |
7234666496 |
| pthread-wmm/safe019_power.opt_false-unreach-call.i |
timeout |
901 |
851 |
7025508352 |
| pthread-wmm/safe019_rmo.oepc_false-unreach-call.i |
timeout |
901 |
852 |
7121211392 |
| pthread-wmm/safe019_rmo.opt_false-unreach-call.i |
timeout |
901 |
851 |
7309185024 |
| pthread-wmm/safe020_power.oepc_false-unreach-call.i |
timeout |
901 |
856 |
7015829504 |
| pthread-wmm/safe020_power.opt_false-unreach-call.i |
timeout |
901 |
856 |
6884626432 |
| pthread-wmm/safe020_rmo.oepc_false-unreach-call.i |
timeout |
901 |
853 |
6888583168 |
| pthread-wmm/safe020_rmo.opt_false-unreach-call.i |
timeout |
901 |
856 |
6825799680 |
| pthread-wmm/safe021_power.oepc_false-unreach-call.i |
out of memory |
516 |
481 |
8000004096 |
| pthread-wmm/safe021_power.opt_false-unreach-call.i |
out of memory |
306 |
271 |
8000000000 |
| pthread-wmm/safe021_pso.oepc_false-unreach-call.i |
out of memory |
592 |
546 |
8000004096 |
| pthread-wmm/safe021_pso.opt_false-unreach-call.i |
out of memory |
292 |
260 |
8000000000 |
| pthread-wmm/safe021_rmo.oepc_false-unreach-call.i |
out of memory |
577 |
546 |
8000000000 |
| pthread-wmm/safe021_rmo.opt_false-unreach-call.i |
out of memory |
562 |
521 |
8000000000 |
| pthread-wmm/safe022_power.oepc_false-unreach-call.i |
false(unreach-call) |
75.4 |
47.3 |
1923457024 |
| pthread-wmm/safe022_power.opt_false-unreach-call.i |
false(unreach-call) |
76.8 |
47.9 |
1863651328 |
| pthread-wmm/safe022_pso.oepc_false-unreach-call.i |
false(unreach-call) |
78.1 |
49.0 |
2137034752 |
| pthread-wmm/safe022_pso.opt_false-unreach-call.i |
false(unreach-call) |
82.5 |
52.0 |
2169659392 |
| pthread-wmm/safe022_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
78.2 |
48.6 |
1923588096 |
| pthread-wmm/safe022_rmo.opt_false-unreach-call.i |
false(unreach-call) |
78.6 |
50.2 |
2094182400 |
| pthread-wmm/safe023_power.oepc_false-unreach-call.i |
timeout |
901 |
850 |
7242227712 |
| pthread-wmm/safe023_power.opt_false-unreach-call.i |
timeout |
901 |
853 |
7124246528 |
| pthread-wmm/safe023_pso.oepc_false-unreach-call.i |
timeout |
901 |
851 |
7332163584 |
| pthread-wmm/safe023_pso.opt_false-unreach-call.i |
timeout |
901 |
851 |
7298363392 |
| pthread-wmm/safe023_rmo.oepc_false-unreach-call.i |
timeout |
900 |
852 |
7089520640 |
| pthread-wmm/safe023_rmo.opt_false-unreach-call.i |
timeout |
901 |
853 |
7127154688 |
| pthread-wmm/safe024_power.oepc_false-unreach-call.i |
out of memory |
367 |
333 |
8000004096 |
| pthread-wmm/safe024_power.opt_false-unreach-call.i |
out of memory |
335 |
307 |
8000000000 |
| pthread-wmm/safe024_pso.oepc_false-unreach-call.i |
out of memory |
379 |
347 |
8000000000 |
| pthread-wmm/safe024_pso.opt_false-unreach-call.i |
out of memory |
419 |
380 |
8000000000 |
| pthread-wmm/safe024_rmo.oepc_false-unreach-call.i |
out of memory |
382 |
348 |
8000000000 |
| pthread-wmm/safe024_rmo.opt_false-unreach-call.i |
out of memory |
364 |
332 |
8000000000 |
| pthread-wmm/safe025_power.oepc_false-unreach-call.i |
timeout |
901 |
853 |
7020371968 |
| pthread-wmm/safe025_power.opt_false-unreach-call.i |
timeout |
901 |
852 |
7143391232 |
| pthread-wmm/safe025_rmo.oepc_false-unreach-call.i |
timeout |
901 |
851 |
7083069440 |
| pthread-wmm/safe025_rmo.opt_false-unreach-call.i |
timeout |
901 |
854 |
7207444480 |
| pthread-wmm/safe026_power.oepc_false-unreach-call.i |
out of memory |
595 |
551 |
8000000000 |
| pthread-wmm/safe026_power.opt_false-unreach-call.i |
out of memory |
608 |
568 |
8000000000 |
| pthread-wmm/safe026_pso.oepc_false-unreach-call.i |
out of memory |
574 |
547 |
8000000000 |
| pthread-wmm/safe026_pso.opt_false-unreach-call.i |
out of memory |
564 |
531 |
8000000000 |
| pthread-wmm/safe026_rmo.oepc_false-unreach-call.i |
out of memory |
599 |
554 |
8000000000 |
| pthread-wmm/safe026_rmo.opt_false-unreach-call.i |
out of memory |
585 |
552 |
8000000000 |
| pthread-wmm/safe027_power.oepc_false-unreach-call.i |
timeout |
901 |
849 |
7346900992 |
| pthread-wmm/safe027_power.opt_false-unreach-call.i |
timeout |
901 |
851 |
7157768192 |
| pthread-wmm/safe027_rmo.oepc_false-unreach-call.i |
timeout |
901 |
855 |
7040303104 |
| pthread-wmm/safe027_rmo.opt_false-unreach-call.i |
timeout |
901 |
854 |
7009460224 |
| pthread-wmm/safe028_power.oepc_false-unreach-call.i |
timeout |
901 |
856 |
6976372736 |
| pthread-wmm/safe028_power.opt_false-unreach-call.i |
timeout |
901 |
855 |
7135084544 |
| pthread-wmm/safe028_rmo.oepc_false-unreach-call.i |
timeout |
901 |
855 |
6984769536 |
| pthread-wmm/safe028_rmo.opt_false-unreach-call.i |
timeout |
901 |
852 |
6858231808 |
| pthread-wmm/safe029_power.oepc_false-unreach-call.i |
false(unreach-call) |
74.8 |
46.1 |
2342178816 |
| pthread-wmm/safe029_power.opt_false-unreach-call.i |
false(unreach-call) |
63.0 |
39.0 |
2097311744 |
| pthread-wmm/safe029_pso.oepc_false-unreach-call.i |
false(unreach-call) |
80.5 |
48.6 |
2438066176 |
| pthread-wmm/safe029_pso.opt_false-unreach-call.i |
false(unreach-call) |
58.0 |
34.7 |
1674825728 |
| pthread-wmm/safe029_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
80.3 |
49.1 |
2327859200 |
| pthread-wmm/safe029_rmo.opt_false-unreach-call.i |
false(unreach-call) |
57.7 |
34.3 |
1699893248 |
| pthread-wmm/safe030_power.oepc_false-unreach-call.i |
out of memory |
317 |
293 |
8000000000 |
| pthread-wmm/safe030_power.opt_false-unreach-call.i |
out of memory |
204 |
138 |
8000000000 |
| pthread-wmm/safe030_pso.oepc_false-unreach-call.i |
out of memory |
308 |
275 |
8000000000 |
| pthread-wmm/safe030_pso.opt_false-unreach-call.i |
out of memory |
164 |
117 |
8000000000 |
| pthread-wmm/safe030_rmo.oepc_false-unreach-call.i |
out of memory |
316 |
276 |
8000004096 |
| pthread-wmm/safe030_rmo.opt_false-unreach-call.i |
out of memory |
201 |
146 |
8000000000 |
| pthread-wmm/safe031_power.oepc_false-unreach-call.i |
out of memory |
444 |
392 |
8000000000 |
| pthread-wmm/safe031_power.opt_false-unreach-call.i |
out of memory |
156 |
117 |
8000000000 |
| pthread-wmm/safe031_pso.oepc_false-unreach-call.i |
out of memory |
386 |
346 |
8000000000 |
| pthread-wmm/safe031_pso.opt_false-unreach-call.i |
false(unreach-call) |
165 |
110 |
7435038720 |
| pthread-wmm/safe031_rmo.oepc_false-unreach-call.i |
out of memory |
442 |
393 |
8000000000 |
| pthread-wmm/safe031_rmo.opt_false-unreach-call.i |
out of memory |
171 |
116 |
8000000000 |
| pthread-wmm/safe032_power.oepc_false-unreach-call.i |
timeout |
901 |
855 |
7014498304 |
| pthread-wmm/safe032_power.opt_false-unreach-call.i |
timeout |
901 |
854 |
7179120640 |
| pthread-wmm/safe032_pso.oepc_false-unreach-call.i |
timeout |
901 |
855 |
7024603136 |
| pthread-wmm/safe032_pso.opt_false-unreach-call.i |
timeout |
901 |
854 |
7180267520 |
| pthread-wmm/safe032_rmo.oepc_false-unreach-call.i |
timeout |
901 |
852 |
7135363072 |
| pthread-wmm/safe032_rmo.opt_false-unreach-call.i |
timeout |
901 |
854 |
6895677440 |
| pthread-wmm/safe033_power.oepc_false-unreach-call.i |
false(unreach-call) |
45.1 |
25.9 |
1291915264 |
| pthread-wmm/safe033_power.opt_false-unreach-call.i |
false(unreach-call) |
47.5 |
27.2 |
1381892096 |
| pthread-wmm/safe033_pso.oepc_false-unreach-call.i |
false(unreach-call) |
46.3 |
26.7 |
1272668160 |
| pthread-wmm/safe033_pso.opt_false-unreach-call.i |
false(unreach-call) |
42.2 |
24.9 |
1280425984 |
| pthread-wmm/safe033_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
45.0 |
26.1 |
1286004736 |
| pthread-wmm/safe033_rmo.opt_false-unreach-call.i |
false(unreach-call) |
47.0 |
26.9 |
1260691456 |
| pthread-wmm/safe034_power.oepc_false-unreach-call.i |
false(unreach-call) |
128 |
90.5 |
5704966144 |
| pthread-wmm/safe034_power.opt_false-unreach-call.i |
false(unreach-call) |
139 |
98.1 |
5630369792 |
| pthread-wmm/safe034_pso.oepc_false-unreach-call.i |
out of memory |
215 |
150 |
8000000000 |
| pthread-wmm/safe034_pso.opt_false-unreach-call.i |
false(unreach-call) |
128 |
90.7 |
5562122240 |
| pthread-wmm/safe034_rmo.oepc_false-unreach-call.i |
out of memory |
239 |
181 |
8000000000 |
| pthread-wmm/safe034_rmo.opt_false-unreach-call.i |
false(unreach-call) |
151 |
103 |
5894815744 |
| pthread-wmm/thin000_power.oepc_false-unreach-call.i |
false(unreach-call) |
72.9 |
43.7 |
3481481216 |
| pthread-wmm/thin000_power.opt_false-unreach-call.i |
false(unreach-call) |
105 |
69.9 |
3324780544 |
| pthread-wmm/thin000_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
50.2 |
28.6 |
1421524992 |
| pthread-wmm/thin000_rmo.opt_false-unreach-call.i |
false(unreach-call) |
48.6 |
27.9 |
1262837760 |
| pthread-wmm/thin001_power.oepc_false-unreach-call.i |
false(unreach-call) |
196 |
140 |
7350312960 |
| pthread-wmm/thin001_power.opt_false-unreach-call.i |
out of memory |
211 |
174 |
8000000000 |
| pthread-wmm/thin001_rmo.oepc_false-unreach-call.i |
false(unreach-call) |
113 |
74.9 |
5649395712 |
| pthread-wmm/thin001_rmo.opt_false-unreach-call.i |
false(unreach-call) |
115 |
79.2 |
5441261568 |
| pthread-wmm/thin002_power.oepc_false-unreach-call.i |
timeout |
901 |
854 |
7075450880 |
| pthread-wmm/thin002_power.opt_false-unreach-call.i |
timeout |
901 |
856 |
7077134336 |
| pthread-wmm/thin002_rmo.oepc_false-unreach-call.i |
out of memory |
707 |
676 |
8000000000 |
| pthread-wmm/thin002_rmo.opt_false-unreach-call.i |
out of memory |
730 |
687 |
8000000000 |
| pthread-wmm/rfi000_tso.oepc_true-unreach-call.i |
false(unreach-call) |
186 |
125 |
6257156096 |
| pthread-wmm/rfi000_tso.opt_true-unreach-call.i |
false(unreach-call) |
190 |
130 |
6415495168 |
| pthread-wmm/rfi002_power.oepc_true-unreach-call.i |
out of memory |
195 |
158 |
8000004096 |
| pthread-wmm/rfi002_power.opt_true-unreach-call.i |
out of memory |
205 |
167 |
8000000000 |
| pthread-wmm/rfi002_pso.oepc_true-unreach-call.i |
out of memory |
194 |
169 |
8000004096 |
| pthread-wmm/rfi002_pso.opt_true-unreach-call.i |
out of memory |
200 |
166 |
8000000000 |
| pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i |
out of memory |
199 |
167 |
8000000000 |
| pthread-wmm/rfi002_rmo.opt_true-unreach-call.i |
out of memory |
199 |
161 |
8000000000 |
| pthread-wmm/rfi002_tso.oepc_true-unreach-call.i |
out of memory |
480 |
424 |
8000000000 |
| pthread-wmm/rfi002_tso.opt_true-unreach-call.i |
out of memory |
416 |
383 |
8000000000 |
| pthread-wmm/rfi003_tso.oepc_true-unreach-call.i |
out of memory |
211 |
151 |
8000000000 |
| pthread-wmm/rfi003_tso.opt_true-unreach-call.i |
out of memory |
159 |
117 |
8000000000 |
| pthread-wmm/safe000_pso.oepc_true-unreach-call.i |
true |
17.3 |
9.75 |
501096448 |
| pthread-wmm/safe000_pso.opt_true-unreach-call.i |
true |
16.7 |
9.47 |
488665088 |
| pthread-wmm/safe000_tso.oepc_true-unreach-call.i |
true |
16.6 |
9.47 |
484954112 |
| pthread-wmm/safe000_tso.opt_true-unreach-call.i |
true |
17.7 |
9.97 |
505323520 |
| pthread-wmm/safe001_tso.oepc_true-unreach-call.i |
true |
16.7 |
9.47 |
480399360 |
| pthread-wmm/safe001_tso.opt_true-unreach-call.i |
true |
18.7 |
10.5 |
509349888 |
| pthread-wmm/safe002_tso.oepc_true-unreach-call.i |
true |
16.8 |
9.63 |
494022656 |
| pthread-wmm/safe002_tso.opt_true-unreach-call.i |
true |
16.6 |
9.43 |
495910912 |
| pthread-wmm/safe003_tso.oepc_true-unreach-call.i |
true |
17.1 |
9.60 |
465317888 |
| pthread-wmm/safe003_tso.opt_true-unreach-call.i |
true |
17.9 |
10.1 |
492150784 |
| pthread-wmm/safe004_tso.oepc_true-unreach-call.i |
true |
18.1 |
10.3 |
495357952 |
| pthread-wmm/safe004_tso.opt_true-unreach-call.i |
true |
16.3 |
9.30 |
468606976 |
| pthread-wmm/safe005_tso.oepc_true-unreach-call.i |
true |
16.7 |
9.35 |
455917568 |
| pthread-wmm/safe005_tso.opt_true-unreach-call.i |
true |
17.8 |
10.0 |
489455616 |
| pthread-wmm/safe006_pso.oepc_true-unreach-call.i |
true |
12.3 |
7.03 |
347930624 |
| pthread-wmm/safe006_pso.opt_true-unreach-call.i |
true |
12.8 |
7.29 |
346284032 |
| pthread-wmm/safe006_tso.oepc_true-unreach-call.i |
true |
12.6 |
7.31 |
349298688 |
| pthread-wmm/safe006_tso.opt_true-unreach-call.i |
true |
12.3 |
7.11 |
352505856 |
| pthread-wmm/safe007_pso.oepc_true-unreach-call.i |
true |
22.0 |
12.0 |
507346944 |
| pthread-wmm/safe007_pso.opt_true-unreach-call.i |
true |
16.8 |
9.55 |
490311680 |
| pthread-wmm/safe007_tso.oepc_true-unreach-call.i |
true |
17.6 |
9.97 |
481439744 |
| pthread-wmm/safe007_tso.opt_true-unreach-call.i |
true |
17.6 |
10.1 |
500277248 |
| pthread-wmm/safe008_tso.oepc_true-unreach-call.i |
true |
16.6 |
9.45 |
508276736 |
| pthread-wmm/safe008_tso.opt_true-unreach-call.i |
true |
17.5 |
9.92 |
507371520 |
| pthread-wmm/safe009_pso.oepc_true-unreach-call.i |
true |
17.7 |
10.1 |
517885952 |
| pthread-wmm/safe009_pso.opt_true-unreach-call.i |
true |
16.9 |
9.38 |
463462400 |
| pthread-wmm/safe009_tso.oepc_true-unreach-call.i |
true |
17.0 |
9.85 |
514453504 |
| pthread-wmm/safe009_tso.opt_true-unreach-call.i |
true |
16.3 |
9.30 |
491892736 |
| pthread-wmm/safe010_tso.oepc_true-unreach-call.i |
true |
13.7 |
7.87 |
371605504 |
| pthread-wmm/safe010_tso.opt_true-unreach-call.i |
true |
12.5 |
7.27 |
356724736 |
| pthread-wmm/safe011_tso.oepc_true-unreach-call.i |
true |
16.2 |
9.11 |
463728640 |
| pthread-wmm/safe011_tso.opt_true-unreach-call.i |
true |
16.5 |
9.37 |
469278720 |
| pthread-wmm/safe012_tso.oepc_true-unreach-call.i |
true |
17.1 |
9.73 |
469381120 |
| pthread-wmm/safe012_tso.opt_true-unreach-call.i |
true |
16.8 |
9.47 |
487378944 |
| pthread-wmm/safe013_tso.oepc_true-unreach-call.i |
true |
19.5 |
10.9 |
463249408 |
| pthread-wmm/safe013_tso.opt_true-unreach-call.i |
true |
17.3 |
9.81 |
469012480 |
| pthread-wmm/safe014_pso.oepc_true-unreach-call.i |
true |
15.9 |
8.91 |
463626240 |
| pthread-wmm/safe014_pso.opt_true-unreach-call.i |
true |
17.1 |
9.65 |
487809024 |
| pthread-wmm/safe014_tso.oepc_true-unreach-call.i |
true |
18.0 |
10.0 |
482283520 |
| pthread-wmm/safe014_tso.opt_true-unreach-call.i |
true |
17.5 |
9.80 |
480735232 |
| pthread-wmm/safe015_pso.oepc_true-unreach-call.i |
true |
17.4 |
9.89 |
506888192 |
| pthread-wmm/safe015_pso.opt_true-unreach-call.i |
true |
17.1 |
9.77 |
502091776 |
| pthread-wmm/safe015_tso.oepc_true-unreach-call.i |
true |
18.2 |
10.4 |
519307264 |
| pthread-wmm/safe015_tso.opt_true-unreach-call.i |
true |
16.8 |
9.59 |
504901632 |
| pthread-wmm/safe016_pso.oepc_true-unreach-call.i |
true |
23.1 |
13.0 |
776192000 |
| pthread-wmm/safe016_pso.opt_true-unreach-call.i |
true |
22.1 |
12.5 |
746704896 |
| pthread-wmm/safe016_tso.oepc_true-unreach-call.i |
true |
24.2 |
13.7 |
760512512 |
| pthread-wmm/safe016_tso.opt_true-unreach-call.i |
true |
21.6 |
12.1 |
760287232 |
| pthread-wmm/safe017_tso.oepc_true-unreach-call.i |
true |
16.9 |
9.65 |
492023808 |
| pthread-wmm/safe017_tso.opt_true-unreach-call.i |
true |
16.4 |
9.35 |
466128896 |
| pthread-wmm/safe018_pso.oepc_true-unreach-call.i |
true |
18.3 |
10.0 |
466022400 |
| pthread-wmm/safe018_pso.opt_true-unreach-call.i |
true |
18.2 |
10.2 |
466247680 |
| pthread-wmm/safe018_tso.oepc_true-unreach-call.i |
true |
16.5 |
9.22 |
463388672 |
| pthread-wmm/safe018_tso.opt_true-unreach-call.i |
true |
15.9 |
8.95 |
460976128 |
| pthread-wmm/safe019_pso.oepc_true-unreach-call.i |
true |
22.5 |
12.7 |
779374592 |
| pthread-wmm/safe019_pso.opt_true-unreach-call.i |
true |
22.5 |
12.5 |
741560320 |
| pthread-wmm/safe019_tso.oepc_true-unreach-call.i |
true |
22.6 |
12.5 |
774877184 |
| pthread-wmm/safe019_tso.opt_true-unreach-call.i |
true |
24.6 |
13.5 |
744931328 |
| pthread-wmm/safe020_pso.oepc_true-unreach-call.i |
true |
16.9 |
9.66 |
512782336 |
| pthread-wmm/safe020_pso.opt_true-unreach-call.i |
true |
17.7 |
10.2 |
523943936 |
| pthread-wmm/safe020_tso.oepc_true-unreach-call.i |
true |
16.5 |
9.38 |
509833216 |
| pthread-wmm/safe020_tso.opt_true-unreach-call.i |
true |
18.9 |
10.8 |
524103680 |
| pthread-wmm/safe021_tso.oepc_true-unreach-call.i |
true |
16.9 |
9.63 |
464842752 |
| pthread-wmm/safe021_tso.opt_true-unreach-call.i |
true |
17.8 |
9.98 |
469340160 |
| pthread-wmm/safe022_tso.oepc_true-unreach-call.i |
true |
12.9 |
7.45 |
359890944 |
| pthread-wmm/safe022_tso.opt_true-unreach-call.i |
true |
14.3 |
8.21 |
356528128 |
| pthread-wmm/safe023_tso.oepc_true-unreach-call.i |
true |
18.0 |
10.1 |
510332928 |
| pthread-wmm/safe023_tso.opt_true-unreach-call.i |
true |
16.2 |
9.22 |
503521280 |
| pthread-wmm/safe024_tso.oepc_true-unreach-call.i |
true |
16.7 |
9.56 |
502251520 |
| pthread-wmm/safe024_tso.opt_true-unreach-call.i |
true |
18.2 |
10.3 |
503676928 |
| pthread-wmm/safe025_pso.oepc_true-unreach-call.i |
true |
17.3 |
9.66 |
464670720 |
| pthread-wmm/safe025_pso.opt_true-unreach-call.i |
true |
16.8 |
9.45 |
457830400 |
| pthread-wmm/safe025_tso.oepc_true-unreach-call.i |
true |
17.2 |
9.65 |
463413248 |
| pthread-wmm/safe025_tso.opt_true-unreach-call.i |
true |
15.8 |
9.24 |
461492224 |
| pthread-wmm/safe026_tso.oepc_true-unreach-call.i |
true |
16.5 |
9.45 |
511336448 |
| pthread-wmm/safe026_tso.opt_true-unreach-call.i |
true |
17.0 |
9.73 |
498253824 |
| pthread-wmm/safe027_pso.oepc_true-unreach-call.i |
true |
25.3 |
13.9 |
760553472 |
| pthread-wmm/safe027_pso.opt_true-unreach-call.i |
true |
23.6 |
13.1 |
769974272 |
| pthread-wmm/safe027_tso.oepc_true-unreach-call.i |
true |
24.0 |
13.3 |
766222336 |
| pthread-wmm/safe027_tso.opt_true-unreach-call.i |
true |
23.6 |
13.1 |
750063616 |
| pthread-wmm/safe028_pso.oepc_true-unreach-call.i |
true |
16.4 |
9.30 |
463339520 |
| pthread-wmm/safe028_pso.opt_true-unreach-call.i |
true |
16.8 |
9.45 |
456671232 |
| pthread-wmm/safe028_tso.oepc_true-unreach-call.i |
true |
16.0 |
8.98 |
462462976 |
| pthread-wmm/safe028_tso.opt_true-unreach-call.i |
true |
16.8 |
9.54 |
458182656 |
| pthread-wmm/safe029_tso.oepc_true-unreach-call.i |
true |
13.3 |
7.51 |
366456832 |
| pthread-wmm/safe029_tso.opt_true-unreach-call.i |
true |
13.3 |
7.58 |
372641792 |
| pthread-wmm/safe030_tso.oepc_true-unreach-call.i |
true |
16.7 |
9.38 |
457711616 |
| pthread-wmm/safe030_tso.opt_true-unreach-call.i |
true |
16.3 |
9.43 |
491683840 |
| pthread-wmm/safe031_tso.oepc_true-unreach-call.i |
true |
18.6 |
10.6 |
513208320 |
| pthread-wmm/safe031_tso.opt_true-unreach-call.i |
true |
16.9 |
9.62 |
494837760 |
| pthread-wmm/safe032_tso.oepc_true-unreach-call.i |
true |
17.4 |
10.1 |
546504704 |
| pthread-wmm/safe032_tso.opt_true-unreach-call.i |
true |
16.6 |
9.49 |
496513024 |
| pthread-wmm/safe033_tso.oepc_true-unreach-call.i |
true |
13.6 |
7.84 |
375713792 |
| pthread-wmm/safe033_tso.opt_true-unreach-call.i |
true |
13.4 |
7.61 |
376360960 |
| pthread-wmm/safe034_tso.oepc_true-unreach-call.i |
true |
18.6 |
10.5 |
506531840 |
| pthread-wmm/safe034_tso.opt_true-unreach-call.i |
true |
16.5 |
9.49 |
494866432 |
| pthread-wmm/safe035_power.oepc_true-unreach-call.i |
timeout |
901 |
851 |
7336083456 |
| pthread-wmm/safe035_power.opt_true-unreach-call.i |
timeout |
901 |
853 |
7193559040 |
| pthread-wmm/safe035_pso.oepc_true-unreach-call.i |
true |
16.7 |
9.58 |
508788736 |
| pthread-wmm/safe035_pso.opt_true-unreach-call.i |
true |
17.5 |
10.0 |
523685888 |
| pthread-wmm/safe035_rmo.oepc_true-unreach-call.i |
true |
20.0 |
11.2 |
528912384 |
| pthread-wmm/safe035_rmo.opt_true-unreach-call.i |
true |
18.5 |
10.4 |
527503360 |
| pthread-wmm/safe035_tso.oepc_true-unreach-call.i |
true |
18.9 |
10.7 |
543154176 |
| pthread-wmm/safe035_tso.opt_true-unreach-call.i |
true |
18.0 |
10.3 |
524181504 |
| pthread-wmm/safe036_power.oepc_true-unreach-call.i |
true |
13.4 |
7.73 |
372240384 |
| pthread-wmm/safe036_power.opt_true-unreach-call.i |
true |
14.0 |
8.14 |
380964864 |
| pthread-wmm/safe036_pso.oepc_true-unreach-call.i |
true |
12.1 |
6.98 |
349155328 |
| pthread-wmm/safe036_pso.opt_true-unreach-call.i |
true |
13.6 |
7.90 |
375640064 |
| pthread-wmm/safe036_rmo.oepc_true-unreach-call.i |
true |
13.4 |
7.73 |
372809728 |
| pthread-wmm/safe036_rmo.opt_true-unreach-call.i |
true |
13.6 |
7.78 |
378384384 |
| pthread-wmm/safe036_tso.oepc_true-unreach-call.i |
true |
13.8 |
7.96 |
373551104 |
| pthread-wmm/safe036_tso.opt_true-unreach-call.i |
true |
13.3 |
7.69 |
376745984 |
| pthread-wmm/safe037_power.oepc_true-unreach-call.i |
true |
19.7 |
11.1 |
505450496 |
| pthread-wmm/safe037_power.opt_true-unreach-call.i |
true |
17.8 |
10.0 |
485617664 |
| pthread-wmm/safe037_pso.oepc_true-unreach-call.i |
true |
17.9 |
10.3 |
509390848 |
| pthread-wmm/safe037_pso.opt_true-unreach-call.i |
true |
16.5 |
9.40 |
479518720 |
| pthread-wmm/safe037_rmo.oepc_true-unreach-call.i |
true |
17.0 |
9.63 |
460529664 |
| pthread-wmm/safe037_rmo.opt_true-unreach-call.i |
true |
17.0 |
9.81 |
521375744 |
| pthread-wmm/safe037_tso.oepc_true-unreach-call.i |
true |
17.0 |
9.66 |
484945920 |
| pthread-wmm/safe037_tso.opt_true-unreach-call.i |
true |
19.6 |
10.9 |
522686464 |
| pthread-wmm/thin000_pso.oepc_true-unreach-call.i |
true |
12.5 |
7.21 |
353218560 |
| pthread-wmm/thin000_pso.opt_true-unreach-call.i |
true |
12.5 |
7.10 |
351064064 |
| pthread-wmm/thin000_tso.oepc_true-unreach-call.i |
true |
12.4 |
7.21 |
330997760 |
| pthread-wmm/thin000_tso.opt_true-unreach-call.i |
true |
12.6 |
7.27 |
337121280 |
| pthread-wmm/thin001_pso.oepc_true-unreach-call.i |
true |
18.1 |
10.2 |
500305920 |
| pthread-wmm/thin001_pso.opt_true-unreach-call.i |
true |
17.1 |
9.72 |
495865856 |
| pthread-wmm/thin001_tso.oepc_true-unreach-call.i |
true |
17.6 |
9.84 |
476717056 |
| pthread-wmm/thin001_tso.opt_true-unreach-call.i |
true |
17.6 |
9.87 |
498139136 |
| pthread-wmm/thin002_pso.oepc_true-unreach-call.i |
true |
26.4 |
14.8 |
766373888 |
| pthread-wmm/thin002_pso.opt_true-unreach-call.i |
true |
28.3 |
15.8 |
773775360 |
| pthread-wmm/thin002_tso.oepc_true-unreach-call.i |
true |
27.6 |
15.4 |
740618240 |
| pthread-wmm/thin002_tso.opt_true-unreach-call.i |
true |
26.6 |
14.9 |
758984704 |
| pthread-lit/fkp2013_false-unreach-call.i |
error (7) |
17.0 |
9.87 |
259334144 |
| pthread-lit/fkp2013_variant_false-unreach-call.i |
error (7) |
17.5 |
10.0 |
250253312 |
| pthread-lit/qw2004_false-unreach-call.i |
false(unreach-call) |
15.0 |
8.34 |
398307328 |
| pthread-lit/fk2012_true-unreach-call.i |
error (7) |
18.7 |
10.8 |
266952704 |
| pthread-lit/fkp2013_true-unreach-call.i |
error (7) |
16.7 |
9.77 |
248180736 |
| pthread-lit/fkp2013_variant_true-unreach-call.i |
error (7) |
17.6 |
10.0 |
250241024 |
| pthread-lit/fkp2014_true-unreach-call.i |
error (7) |
17.4 |
10.1 |
251523072 |
| pthread-lit/qw2004_true-unreach-call.i |
error (7) |
16.3 |
9.44 |
243798016 |
| pthread-lit/qw2004_variant_true-unreach-call.i |
error (7) |
16.0 |
9.25 |
247431168 |
| pthread-lit/sssc12_true-unreach-call.i |
error (7) |
16.9 |
9.88 |
251596800 |
| pthread-lit/sssc12_variant_true-unreach-call.i |
error (7) |
17.3 |
10.1 |
250683392 |
| ldv-races/race-1_1-join_true-unreach-call.i |
true |
17.8 |
10.0 |
496676864 |
| ldv-races/race-2_1-container_of_true-unreach-call.i |
timeout |
901 |
800 |
1997508608 |
| ldv-races/race-3_1-container_of-global_true-unreach-call.i |
timeout |
900 |
804 |
1453182976 |
| ldv-races/race-4_1-thread_local_vars_true-unreach-call.i |
error (7) |
27.5 |
15.1 |
458272768 |
| ldv-races/race-1_2-join_false-unreach-call.i |
false(unreach-call) |
17.4 |
9.81 |
492498944 |
| ldv-races/race-1_3-join_false-unreach-call.i |
false(unreach-call) |
16.5 |
9.31 |
496152576 |
| ldv-races/race-2_2-container_of_false-unreach-call.i |
timeout |
900 |
805 |
1352429568 |
| ldv-races/race-2_3-container_of_false-unreach-call.i |
error (7) |
66.5 |
40.2 |
900313088 |
| ldv-races/race-2_4-container_of_false-unreach-call.i |
error (7) |
75.2 |
44.9 |
890003456 |
| ldv-races/race-2_5-container_of_false-unreach-call.i |
false(unreach-call) |
55.8 |
37.0 |
948015104 |
| ldv-races/race-3_2-container_of-global_false-unreach-call.i |
false(unreach-call) |
170 |
140 |
1274269696 |
| ldv-races/race-4_2-thread_local_vars_false-unreach-call.i |
error (7) |
26.2 |
14.6 |
481382400 |
| ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_false-unreach-call.cil.i |
unknown |
13.3 |
7.42 |
302567424 |
| ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko_false-unreach-call.cil.i |
error (7) |
29.1 |
16.0 |
354115584 |
| ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i |
out of memory |
242 |
181 |
8000000000 |
| ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko_false-unreach-call.cil.i |
error (7) |
271 |
199 |
4159832064 |
| ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i |
out of memory |
261 |
206 |
8000000000 |
| ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i |
out of memory |
252 |
209 |
8000000000 |
| ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_true-unreach-call.cil.i |
unknown |
13.2 |
7.19 |
335630336 |
| pthread-complex/bounded_buffer_false-unreach-call.i |
unknown |
7.77 |
4.24 |
219439104 |
| pthread-complex/elimination_backoff_stack_false-unreach-call.i |
out of memory |
285 |
238 |
8000000000 |
| pthread-complex/safestack_relacy_false-unreach-call.i |
error (7) |
26.7 |
14.9 |
439328768 |
| pthread-complex/workstealqueue_mutex_false-unreach-call.i |
error (7) |
16.9 |
9.11 |
232534016 |
| pthread-complex/workstealqueue_mutex_true-unreach-call.i |
error (7) |
17.1 |
9.17 |
234389504 |
| pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i |
unknown |
12.2 |
7.45 |
272556032 |
| pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i |
unknown |
15.2 |
8.61 |
285278208 |
| pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i |
unknown |
12.9 |
7.78 |
273092608 |
| pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i |
unknown |
12.2 |
7.17 |
273367040 |
| pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i |
unknown |
12.9 |
7.49 |
278835200 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i |
unknown |
13.1 |
7.84 |
279764992 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i |
unknown |
12.8 |
7.68 |
267874304 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i |
unknown |
14.1 |
8.05 |
289484800 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i |
unknown |
12.5 |
7.58 |
282677248 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i |
unknown |
13.6 |
8.06 |
273793024 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i |
unknown |
13.2 |
7.93 |
271122432 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i |
unknown |
12.3 |
7.60 |
279785472 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i |
unknown |
12.2 |
7.55 |
264253440 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i |
unknown |
11.8 |
7.17 |
281247744 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i |
unknown |
12.1 |
7.37 |
272441344 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i |
unknown |
14.3 |
8.29 |
287346688 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i |
unknown |
12.4 |
7.52 |
283578368 |
| pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i |
unknown |
12.8 |
7.52 |
280178688 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i |
unknown |
12.7 |
7.72 |
277159936 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i |
unknown |
12.8 |
7.68 |
279580672 |
| pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i |
unknown |
13.1 |
7.75 |
273920000 |
| pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i |
timeout |
901 |
765 |
5046923264 |
| pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i |
unknown |
7.47 |
4.08 |
223825920 |
| pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i |
unknown |
7.11 |
3.96 |
215785472 |
| pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i |
false(unreach-call) |
593 |
502 |
4587745280 |
| pthread-divine/condvar_spurious_wakeup_false-unreach-call.i |
unknown |
6.49 |
3.67 |
202481664 |
| pthread-divine/divinefifo-bug_1w1r_false-unreach-call.i |
timeout |
901 |
795 |
4461256704 |
| pthread-divine/one_time_barrier_2t_false-unreach-call.i |
unknown |
6.28 |
3.59 |
195629056 |
| pthread-divine/one_time_barrier_3t_false-unreach-call.i |
unknown |
6.33 |
3.55 |
199823360 |
| pthread-divine/ring_1w1r_false-unreach-call.i |
false(unreach-call) |
11.7 |
6.59 |
357265408 |
| pthread-divine/ring_2w1r_false-unreach-call.i |
timeout |
901 |
753 |
7465615360 |
| pthread-divine/tls_destructor_worker_false-unreach-call.i |
unknown |
6.58 |
3.76 |
203083776 |
| pthread-divine/barrier_2t_true-unreach-call.i |
unknown |
6.56 |
3.66 |
209371136 |
| pthread-divine/barrier_3t_true-unreach-call.i |
unknown |
6.62 |
3.82 |
217321472 |
| pthread-divine/condvar_true-unreach-call.i |
unknown |
6.25 |
3.59 |
200130560 |
| pthread-divine/divinefifo_1w1r_true-unreach-call.i |
timeout |
901 |
796 |
4218540032 |
| pthread-divine/one_time_barrier_twice_2t_true-unreach-call.i |
unknown |
6.49 |
3.69 |
208683008 |
| pthread-divine/one_time_barrier_twice_3t_true-unreach-call.i |
unknown |
6.91 |
3.82 |
210984960 |
| pthread-divine/ring_1w1r_true-unreach-call.i |
timeout |
901 |
782 |
1210499072 |
| pthread-divine/ring_2w1r_true-unreach-call.i |
timeout |
901 |
755 |
7271510016 |
| pthread-divine/tls_basic_true-unreach-call.i |
unknown |
6.25 |
3.53 |
200421376 |
| pthread-nondet/nondet-array_false-unreach-call.i |
error (7) |
16.4 |
9.67 |
244367360 |
| pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i |
error (7) |
17.5 |
9.97 |
248426496 |
| pthread-nondet/nondet-loop-bound_false-unreach-call.i |
error (7) |
16.3 |
9.57 |
248123392 |
| pthread-nondet/nondet-array_true-unreach-call.i |
error (7) |
16.7 |
9.81 |
255438848 |
| pthread-nondet/nondet-loop-bound-variant_true-unreach-call.i |
error (7) |
16.9 |
9.82 |
252825600 |
| pthread-nondet/nondet-loop-bound_true-unreach-call.i |
error (7) |
16.5 |
9.76 |
248799232 |