Tool	CBMC 4.9			CPAchecker 1.3.10-svcomp15			ESBMC 1.24			Lazy-CSeq 0.6c			MU-CSeq 0.3			Seahorn			UL-CSeq			Ultimate Automizer r12950			Ultimate Kojak r12950
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host	cayman[1-8]
OS	Linux 3.13.0
System	CPU: Intel Core i7-4770 @ 3.40 GHz with 8 cores, frequency: 3.4 GHz; RAM: 33 GB
Date of execution	14-12-13 22:55			14-12-13 22:54			14-12-13 18:39			14-12-12 12:53						14-12-20 18:50			14-12-12 12:53			14-12-13 22:52
Options	--32			-sv-comp15 -disable-java-assertions -heap 10000m						--witness witness.txt			--witness witness.txt			--cex=witness.graphml			--witness witness.txt			32bit precise			32bit precise
../../sv-benchmarks/c/	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)
pthread/bigshot_p_false-unreach-call.i	false(reach)	0.30	32	unknown	2.5	200	false(reach)	5.2	83	false(reach)	0.52	32	false(reach)	0.53	54	true	0.17	27	unknown	1.3	32	unknown	5.3	240	unknown	5.1	240
pthread/fib_bench_false-unreach-call.i	false(reach)	0.75	32	unknown	2.3	200	true	1.0	19	false(reach)	3.6	46	false(reach)	2.1	76	true	0.27	27	timeout	910	350	unknown	5.1	240	unknown	5.1	240
pthread/fib_bench_longer_false-unreach-call.i	false(reach)	2.0	44	unknown	2.3	200	true	1.6	24	false(reach)	6.2	54	false(reach)	5.4	100	true	0.16	27	timeout	910	340	unknown	5.1	240	unknown	5.3	240
pthread/fib_bench_longest_false-unreach-call.i	false(reach)	110	200	unknown	2.3	210	true	9.5	73	false(reach)	370	260	false(reach)	80	300	true	0.18	27	timeout	920	430	unknown	5.0	240	unknown	5.2	240
pthread/lazy01_false-unreach-call.i	false(reach)	0.36	34	unknown	2.4	200	false(reach)	42	1100	false(reach)	0.47	32	false(reach)	0.69	57	true	0.29	27	false(reach)	8.2	250	unknown	5.1	240	unknown	5.5	240
pthread/queue_false-unreach-call.i	false(reach)	8.1	360	unknown	2.6	210	out of memory	150	15000	false(reach)	18	310	false(reach)	2.6	160	true	0.16	27	timeout	920	950	unknown	5.4	240	unknown	5.2	240
pthread/queue_longer_false-unreach-call.i	false(reach)	500	5000	unknown	3.9	230	out of memory	120	15000	false(reach)	60	3300	false(reach)	4.3	250	true	0.18	27	timeout	920	1000	unknown	5.2	240	unknown	5.4	240
pthread/queue_longest_false-unreach-call.i	error	850	8000	unknown	4.1	240	out of memory	110	15000	false(reach)	81	5800	false(reach)	4.5	280	true	0.29	27	timeout	920	1300	unknown	5.4	240	unknown	5.3	240
pthread/reorder_2_false-unreach-call.i	unknown	0.46	38	unknown	2.7	200	out of memory	120	15000	false(reach)	1.8	43	false(reach)	1.5	130	true	0.34	28	false(reach)	19	780	unknown	5.5	240	unknown	5.5	240
pthread/reorder_5_false-unreach-call.i	false(reach)	0.49	37	unknown	2.7	200	out of memory	130	15000	false(reach)	2.7	43	false(reach)	1.5	130	true	0.18	27	false(reach)	26	1500	unknown	5.1	240	unknown	5.2	240
pthread/sigma_false-unreach-call.i	false(reach)	41	750	unknown	2.6	210	timeout	920	1200	false(reach)	9.0	240	false(reach)	15	550	false(reach)	2.0	52	timeout	920	13000	unknown	5.3	240	unknown	6.0	240
pthread/singleton_false-unreach-call.i	false(reach)	0.58	39	unknown	2.5	200	out of memory	160	15000	false(reach)	3.3	51	false(reach)	0.82	73	true	0.16	27	false(reach)	92	300	unknown	5.6	240	unknown	5.3	240
pthread/stack_false-unreach-call.i	false(reach)	0.44	39	unknown	2.5	210	out of memory	130	15000	false(reach)	1.4	59	false(reach)	1.2	89	true	0.16	27	timeout	920	2000	unknown	5.2	240	unknown	5.1	240
pthread/stack_longer_false-unreach-call.i	false(reach)	8.0	130	unknown	2.8	210	out of memory	140	15000	false(reach)	65	470	false(reach)	2.4	160	true	0.30	27	timeout	920	2100	unknown	5.3	240	unknown	5.1	240
pthread/stack_longest_false-unreach-call.i	false(reach)	26	230	unknown	3.0	210	out of memory	120	15000	false(reach)	140	770	false(reach)	2.6	180	true	0.15	27	timeout	920	1100	unknown	5.0	240	unknown	5.2	240
pthread/stateful01_false-unreach-call.i	false(reach)	0.41	37	unknown	2.3	200	false(reach)	14	290	false(reach)	0.49	32	false(reach)	0.88	69	true	0.16	27	false(reach)	21	680	unknown	5.2	240	unknown	5.7	240
pthread/twostage_3_false-unreach-call.i	false(reach)	2.0	140	unknown	2.7	200	false(reach)	420	13000	false(reach)	2.1	46	false(reach)	4.7	180	true	0.22	28	false(reach)	48	2900	unknown	5.3	240	unknown	5.4	240
pthread/bigshot_s2_true-unreach-call.i	false(reach)	0.93	36	unknown	2.5	210	true	0.58	89	true	2.7	46	true	0.53	55	true	0.17	27	unknown	1.3	32	unknown	5.2	240	unknown	5.0	240
pthread/bigshot_s_true-unreach-call.i	true	0.91	35	unknown	2.5	210	true	0.56	80	true	2.7	47	true	0.52	55	true	0.14	23	unknown	1.3	32	unknown	5.5	240	unknown	5.5	240
pthread/fib_bench_longer_true-unreach-call.i	true	51	74	unknown	2.4	210	true	1.6	24	true	34	100	true	8.1	120	true	0.30	27	timeout	910	340	unknown	6.0	240	unknown	5.0	240
pthread/fib_bench_longest_true-unreach-call.i	true	850	410	unknown	2.3	200	true	9.5	73	true	530	300	true	130	370	true	0.15	27	timeout	920	410	unknown	5.0	240	unknown	5.3	240
pthread/fib_bench_true-unreach-call.i	true	19	50	unknown	2.4	210	true	1.0	19	true	18	77	true	3.8	87	true	0.13	27	timeout	920	350	unknown	5.2	240	unknown	5.8	240
pthread/indexer_true-unreach-call.i	true	850	3400	unknown	5.8	220	true	0.11	22	true	59	12000	true	0.84	52	true	0.16	27	timeout	920	5900	unknown	5.0	240	unknown	5.4	240
pthread/queue_ok_longer_true-unreach-call.i	true	600	12000	unknown	4.1	230	true	12	310	true	51	1100	true	2.8	220	true	0.17	27	timeout	910	770	unknown	5.2	240	unknown	5.0	240
pthread/queue_ok_longest_true-unreach-call.i	error	850	5700	unknown	4.3	230	true	12	310	true	140	2000	true	3.2	260	true	0.14	27	timeout	920	1200	unknown	5.3	240	unknown	5.4	240
pthread/queue_ok_true-unreach-call.i	true	850	6100	unknown	3.2	210	true	12	310	true	25	240	true	1.6	130	true	0.17	27	timeout	920	1100	unknown	5.4	240	unknown	5.3	240
pthread/stack_longer_true-unreach-call.i	true	850	1100	unknown	2.7	210	out of memory	110	15000	true	150	830	true	2.4	160	true	0.15	27	timeout	920	3500	unknown	5.2	240	unknown	5.3	240
pthread/stack_longest_true-unreach-call.i	true	850	1400	unknown	2.9	200	out of memory	97	15000	true	410	1500	true	2.6	180	true	0.26	27	timeout	920	1700	unknown	5.2	240	unknown	5.5	240
pthread/stack_true-unreach-call.i	true	310	180	unknown	2.5	210	out of memory	98	15000	true	77	250	true	1.3	86	true	0.17	21	timeout	920	2100	unknown	5.2	240	unknown	5.2	240
pthread/stateful01_true-unreach-call.i	true	3.5	37	unknown	2.4	210	true	8.4	1100	true	3.4	43	true	0.84	68	false(reach)	0.17	32	true	30	400	unknown	5.1	240	unknown	5.3	240
pthread/sync01_true-unreach-call.i	true	850	1600	unknown	2.5	200	true	4.3	530	true	3.1	43	true	0.83	82	true	0.14	27	true	52	700	unknown	5.3	240	unknown	5.3	240
pthread-atomic/qrcu_false-unreach-call.i	false(reach)	0.95	41	unknown	2.4	210	out of memory	180	15000	false(reach)	0.98	39	false(reach)	1.6	120	true	0.16	27	timeout	920	680	unknown	5.3	240	unknown	5.3	240
pthread-atomic/read_write_lock_false-unreach-call.i	false(reach)	0.33	34	unknown	2.4	200	false(reach)	27	380	false(reach)	0.54	33	false(reach)	1.2	87	true	0.15	27	false(reach)	61	2000	unknown	5.2	240	unknown	5.1	240
pthread-atomic/dekker_true-unreach-call.i	true	850	390	unknown	2.3	200	true	5.0	82	true	3.5	43	true	0.85	68	true	0.15	27	true	150	630	unknown	5.7	240	unknown	5.2	240
pthread-atomic/lamport_true-unreach-call.i	true	850	420	unknown	2.3	200	false(reach)	15	170	true	4.8	43	true	1.7	82	true	0.14	27	true	570	1100	unknown	5.0	240	unknown	4.9	240
pthread-atomic/peterson_true-unreach-call.i	true	4.8	43	unknown	2.3	210	false(reach)	8.9	270	true	2.1	38	true	0.80	63	true	0.32	27	true	19	320	unknown	5.1	240	unknown	5.1	240
pthread-atomic/qrcu_true-unreach-call.i	true	850	1000	unknown	2.4	200	out of memory	180	15000	true	52	170	true	9.1	140	true	0.17	24	timeout	920	980	unknown	5.4	240	unknown	5.2	240
pthread-atomic/read_write_lock_true-unreach-call.i	true	7.2	37	unknown	2.4	210	true	17	140	true	5.9	54	true	2.0	82	true	0.16	27	true	800	3700	unknown	5.2	240	unknown	5.0	240
pthread-atomic/scull_true-unreach-call.i	true	9.5	49	unknown	2.5	210	true	50	680	true	4.7	43	true	1.2	81	true	0.16	25	timeout	920	8400	unknown	5.3	240	unknown	5.2	240
pthread-atomic/szymanski_true-unreach-call.i	true	26	160	unknown	2.3	210	true	57	240	true	3.0	41	true	1.2	71	true	0.13	27	true	270	2400	unknown	5.0	240	unknown	4.9	240
pthread-atomic/time_var_mutex_true-unreach-call.i	true	2.8	37	unknown	2.4	210	false(reach)	2.2	36	true	3.0	42	true	0.88	69	true	0.20	27	true	27	450	unknown	5.3	240	unknown	5.3	240
pthread-ext/25_stack_longer_false-unreach-call.i	unknown	62	820	unknown	2.4	210	out of memory	250	15000	false(reach)	12	630	false(reach)	4.6	270	true	0.16	27	timeout	920	1100	unknown	5.0	240	unknown	5.1	240
pthread-ext/25_stack_longest_false-unreach-call.i	false(reach)	530	2300	unknown	2.4	210	out of memory	200	15000	false(reach)	64	1800	false(reach)	5.3	330	true	0.32	27	timeout	920	1400	unknown	5.2	240	unknown	5.0	240
pthread-ext/26_stack_cas_longer_false-unreach-call.i	unknown	120	1600	unknown	2.3	200	out of memory	200	15000	false(reach)	12	610	false(reach)	4.8	270	true	0.14	27	timeout	920	3300	unknown	5.1	240	unknown	5.0	240
pthread-ext/26_stack_cas_longest_false-unreach-call.i	error	850	4800	unknown	2.4	210	out of memory	210	15000	false(reach)	64	1800	false(reach)	5.5	340	true	0.14	27	timeout	920	3600	unknown	5.1	240	unknown	5.2	240
pthread-ext/27_Boop_simple_vf_false-unreach-call.i	unknown	0.27	30	unknown	2.4	200	timeout	920	1700	false(reach)	1.1	34	false(reach)	1.3	120	true	0.14	27	false(reach)	240	750	unknown	5.2	240	unknown	5.3	240
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i	false(reach)	0.25	28	unknown	2.3	210	out of memory	310	15000	false(reach)	0.89	34	false(reach)	17	200	true	0.12	27	false(reach)	11	270	unknown	5.3	240	unknown	5.8	240
pthread-ext/32_pthread5_vs_false-unreach-call.i	false(reach)	0.42	35	unknown	2.3	200	out of memory	120	15000	false(reach)	0.94	33	false(reach)	3.4	150	true	0.13	27	timeout	920	2400	unknown	5.3	240	unknown	5.0	240
pthread-ext/40_barrier_vf_false-unreach-call.i	false(reach)	0.85	43	unknown	2.3	200	unknown	0.035	7.0	false(reach)	1.2	32	false(reach)	1.7	120	true	0.16	27	false(reach)	9.3	260	unknown	5.2	240	unknown	5.0	240
pthread-ext/01_inc_true-unreach-call.i	true	850	590	unknown	2.3	200	timeout	920	2100	true	2.0	33	true	1.7	95	true	0.29	27	true	71	410	unknown	5.3	240	unknown	4.9	240
pthread-ext/02_inc_cas_true-unreach-call.i	true	850	940	unknown	2.3	200	timeout	920	4600	true	2.7	40	true	0.77	65	true	0.15	27	timeout	920	860	unknown	5.1	240	unknown	5.1	240
pthread-ext/03_incdec_true-unreach-call.i	true	850	940	unknown	2.3	200	out of memory	130	15000	true	3.3	41	true	6.4	190	true	0.23	27	timeout	920	1400	unknown	5.3	240	unknown	5.0	240
pthread-ext/04_incdec_cas_true-unreach-call.i	true	850	1900	unknown	2.4	210	out of memory	240	15000	true	5.0	51	true	1.3	94	true	0.27	27	timeout	910	1100	unknown	5.2	240	unknown	5.3	240
pthread-ext/05_tas_true-unreach-call.i	true	850	4200	unknown	2.4	210	timeout	920	1700	true	2.6	43	true	1.3	92	true	0.28	27	timeout	920	1000	unknown	5.1	240	unknown	5.1	240
pthread-ext/06_ticket_true-unreach-call.i	true	850	250	unknown	2.4	200	timeout	920	1600	true	2.2	39	true	2.3	97	true	0.30	27	timeout	920	1200	unknown	5.4	240	unknown	5.1	240
pthread-ext/07_rand_true-unreach-call.i	true	850	1200	unknown	2.4	200	out of memory	140	15000	true	2.8	43	true	2.4	120	true	0.15	27	timeout	920	1500	unknown	5.0	240	unknown	4.9	240
pthread-ext/08_rand_cas_true-unreach-call.i	true	850	1100	unknown	2.3	200	out of memory	280	15000	true	3.2	46	true	2.0	110	true	0.14	27	timeout	920	7700	unknown	5.1	240	unknown	5.2	240
pthread-ext/09_fmaxsym_true-unreach-call.i	true	850	4200	unknown	2.3	200	out of memory	210	15000	true	2.8	43	true	1.9	100	true	0.24	27	timeout	920	700	unknown	5.3	240	unknown	5.2	240
pthread-ext/10_fmaxsym_cas_true-unreach-call.i	true	850	2900	unknown	2.4	200	out of memory	17	15000	true	3.6	51	true	1.5	100	true	0.14	22	timeout	920	8900	unknown	5.0	240	unknown	5.4	240
pthread-ext/11_fmaxsymopt_true-unreach-call.i	true	850	860	unknown	2.4	210	out of memory	150	15000	true	2.7	43	true	1.1	86	true	0.15	27	timeout	920	2800	unknown	5.2	240	unknown	5.0	240
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i	true	850	3000	unknown	2.4	200	out of memory	220	15000	true	3.2	45	true	1.1	84	true	0.15	27	timeout	920	8700	unknown	5.4	240	unknown	5.0	240
pthread-ext/13_unverif_true-unreach-call.i	true	850	5800	unknown	2.3	200	timeout	920	1800	true	1.9	35	true	0.94	71	true	0.14	24	true	19	320	unknown	5.0	240	unknown	5.1	240
pthread-ext/14_spin2003_true-unreach-call.i	true	850	430	unknown	2.3	200	timeout	920	2500	true	1.7	32	true	1.3	78	true	0.15	27	true	26	300	unknown	5.4	240	unknown	5.4	240
pthread-ext/15_dekker_true-unreach-call.i	true	850	360	unknown	2.4	210	true	23	280	true	3.2	41	true	0.70	63	true	0.14	26	true	66	410	unknown	5.1	240	unknown	5.2	240
pthread-ext/16_peterson_true-unreach-call.i	true	3.9	41	unknown	2.3	200	true	0.65	18	true	2.5	37	true	0.66	60	true	0.16	27	true	57	720	unknown	5.2	240	unknown	5.2	240
pthread-ext/17_szymanski_true-unreach-call.i	true	850	1200	unknown	2.3	200	timeout	920	4200	true	2.8	41	true	0.94	68	true	0.16	27	timeout	920	2000	unknown	5.4	240	unknown	5.1	240
pthread-ext/18_read_write_lock_true-unreach-call.i	true	1.3	28	unknown	2.3	210	true	0.092	18	true	1.9	34	true	0.61	61	true	0.15	27	true	6.4	250	unknown	5.0	240	unknown	5.0	240
pthread-ext/19_time_var_mutex_true-unreach-call.i	true	1.4	30	unknown	2.4	200	false(reach)	1.7	21	true	2.6	37	true	1.0	74	true	0.15	27	true	23	320	unknown	5.4	240	unknown	5.1	240
pthread-ext/20_lamport_true-unreach-call.i	true	850	420	unknown	2.3	200	false(reach)	2.8	25	true	5.1	45	true	1.4	78	true	0.32	27	true	560	1200	unknown	5.1	240	unknown	5.0	240
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i	true	1.6	32	unknown	2.4	210	true	0.21	20	true	2.1	35	true	0.79	67	true	0.28	27	true	11	270	unknown	5.2	240	unknown	5.0	240
pthread-ext/25_stack_longer_true-unreach-call.i	true	850	3800	unknown	2.4	210	timeout	920	1800	true	24	1100	true	4.4	260	true	0.16	27	timeout	920	1200	unknown	5.2	240	unknown	5.4	240
pthread-ext/25_stack_longest_true-unreach-call.i	true	850	2300	unknown	2.4	210	timeout	920	1800	true	110	3000	true	5.0	310	true	0.15	27	timeout	920	1200	unknown	5.2	240	unknown	5.0	240
pthread-ext/25_stack_true-unreach-call.i	true	850	4100	unknown	2.3	200	timeout	920	1800	true	5.6	140	true	3.0	200	true	0.18	27	timeout	920	1100	unknown	5.2	240	unknown	5.4	240
pthread-ext/26_stack_cas_longer_true-unreach-call.i	true	850	2600	unknown	2.4	210	timeout	920	1800	true	24	1100	true	4.5	270	true	0.30	27	timeout	920	1900	unknown	5.2	240	unknown	4.9	240
pthread-ext/26_stack_cas_longest_true-unreach-call.i	error	850	4700	unknown	2.3	210	timeout	920	1800	true	110	3000	true	5.2	320	true	0.21	27	timeout	920	2300	unknown	5.3	240	unknown	5.1	240
pthread-ext/26_stack_cas_true-unreach-call.i	true	850	3000	unknown	2.3	200	timeout	920	1800	true	5.8	140	true	3.2	210	true	0.30	27	timeout	920	1700	unknown	5.4	240	unknown	5.0	240
pthread-ext/29_conditionals_vs_true-unreach-call.i	true	51	1400	unknown	2.4	200	out of memory	120	15000	true	1.9	34	true	0.72	66	true	0.13	27	timeout	910	460	unknown	5.2	240	unknown	5.0	240
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i	true	850	2100	unknown	2.3	200	timeout	920	7500	true	2.1	35	true	1.0	73	true	0.16	27	timeout	920	1500	unknown	5.2	240	unknown	5.3	240
pthread-ext/31_simple_loop5_vs_true-unreach-call.i	true	850	1600	unknown	2.3	210	timeout	920	4200	true	2.0	35	true	1.3	110	true	0.17	27	timeout	920	5400	unknown	5.0	240	unknown	5.2	240
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i	true	850	770	unknown	2.4	210	timeout	920	5800	true	2.5	39	true	13	140	true	0.15	27	timeout	920	5600	unknown	5.1	240	unknown	5.1	240
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i	true	850	770	unknown	2.7	200	timeout	920	5800	true	2.6	40	true	61	220	true	0.29	27	timeout	920	3400	unknown	5.0	240	unknown	5.0	240
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i	true	850	660	unknown	2.4	210	timeout	920	5400	true	2.3	38	true	3.5	120	true	0.16	27	timeout	920	6500	unknown	5.2	240	unknown	5.0	240
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i	true	850	3700	unknown	2.4	210	timeout	920	1800	true	3.4	86	true	2.4	140	true	0.23	27	timeout	920	600	unknown	5.1	240	unknown	5.0	240
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i	true	850	7800	unknown	2.4	200	timeout	920	1900	true	4.2	100	true	2.1	140	true	0.15	27	timeout	920	1100	unknown	5.0	240	unknown	5.2	240
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i	true	850	1100	unknown	2.3	200	out of memory	260	15000	true	2.3	38	true	0.70	64	true	0.16	22	timeout	920	2700	unknown	5.3	240	unknown	5.0	240
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i	true	850	2000	unknown	2.3	200	out of memory	140	15000	true	2.1	38	true	1.3	79	true	0.15	27	timeout	920	1300	unknown	5.8	240	unknown	5.1	240
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i	error	850	720	error (parsing failed)	1.4	110	unknown	0.047	7.0	true	190	92	true	5.7	200	unknown	0.13	9.0	unknown	3.1	170	unknown	5.2	240	unknown	5.3	240
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i	error	850	790	error (parsing failed)	1.4	110	unknown	0.049	7.0	true	200	120	true	3.7	240	unknown	0.060	9.0	unknown	2.9	160	unknown	5.1	240	unknown	5.1	240
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i	error	850	2500	error (parsing failed)	1.4	110	unknown	0.018	7.0	true	860	540	true	7.3	340	unknown	0.054	9.0	unknown	3.9	190	unknown	5.2	240	unknown	5.4	240
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i	true	850	4000	error (parsing failed)	1.4	110	unknown	0.033	7.0	true	75	99	true	74	390	unknown	0.080	9.0	unknown	3.5	200	unknown	5.4	240	unknown	5.0	240
pthread-ext/45_monabsex1_vs_true-unreach-call.i	true	110	860	unknown	2.3	200	timeout	920	1900	true	1.7	33	true	0.64	61	true	0.25	27	true	8.3	210	unknown	5.2	240	unknown	5.2	240
pthread-ext/46_monabsex2_vs_true-unreach-call.i	true	5.0	130	unknown	2.4	200	unknown	0.052	7.0	true	1.6	32	true	0.75	67	true	0.16	27	true	5.1	210	unknown	5.0	240	unknown	5.3	240
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i	true	850	1800	unknown	2.4	200	timeout	920	1600	true	2.7	39	true	1.2	91	true	0.17	27	timeout	920	3400	unknown	5.0	240	unknown	5.0	240
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i	true	850	240	unknown	2.5	200	timeout	920	2500	true	2.6	38	true	1.7	90	true	0.16	27	timeout	920	950	unknown	5.3	240	unknown	5.1	240
pthread-wmm/mix000_power.oepc_false-unreach-call.i	false(reach)	9.8	130	unknown	2.6	210	false(reach)	2.4	32	false(reach)	0.91	36	false(reach)	11	340	true	0.18	27	false(reach)	8.1	250	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix000_power.opt_false-unreach-call.i	false(reach)	6.9	110	unknown	2.6	200	false(reach)	2.2	26	false(reach)	0.84	38	false(reach)	9.5	330	true	0.24	27	false(reach)	8.6	250	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix000_pso.oepc_false-unreach-call.i	false(reach)	11	120	unknown	2.6	200	false(reach)	2.3	32	false(reach)	0.92	36	false(reach)	11	340	true	0.18	27	false(reach)	8.0	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix000_pso.opt_false-unreach-call.i	false(reach)	10	110	unknown	2.6	210	false(reach)	2.2	26	false(reach)	0.88	36	false(reach)	9.6	330	true	0.16	27	false(reach)	7.9	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i	false(reach)	11	130	unknown	2.6	200	false(reach)	2.4	32	false(reach)	0.92	36	false(reach)	11	340	true	0.29	27	false(reach)	8.0	260	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix000_rmo.opt_false-unreach-call.i	false(reach)	9.7	110	unknown	2.6	200	false(reach)	2.3	27	false(reach)	0.85	36	false(reach)	9.5	330	true	0.16	27	false(reach)	7.9	250	unknown	5.2	240	unknown	5.1	240
pthread-wmm/mix000_tso.oepc_false-unreach-call.i	false(reach)	10	120	unknown	2.6	200	false(reach)	2.4	32	false(reach)	0.90	37	false(reach)	11	340	true	0.26	27	false(reach)	8.0	250	unknown	5.1	240	unknown	5.0	240
pthread-wmm/mix000_tso.opt_false-unreach-call.i	false(reach)	9.8	110	unknown	2.6	210	false(reach)	2.2	26	false(reach)	0.83	36	false(reach)	9.5	330	true	0.18	27	false(reach)	7.9	250	unknown	5.1	240	unknown	5.1	240
pthread-wmm/mix001_power.oepc_false-unreach-call.i	unknown	40	210	unknown	2.7	200	false(reach)	6.8	130	false(reach)	1.0	38	false(reach)	20	490	true	0.17	27	false(reach)	16	280	unknown	5.2	240	unknown	5.5	240
pthread-wmm/mix001_power.opt_false-unreach-call.i	false(reach)	16	170	unknown	2.6	210	false(reach)	6.3	110	false(reach)	0.91	38	false(reach)	22	470	true	0.16	27	false(reach)	12	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix001_pso.oepc_false-unreach-call.i	unknown	40	210	unknown	2.7	210	false(reach)	6.2	130	false(reach)	1.0	39	false(reach)	21	490	true	0.18	22	false(reach)	15	280	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix001_pso.opt_false-unreach-call.i	false(reach)	37	190	unknown	2.6	210	false(reach)	6.3	110	false(reach)	0.92	37	false(reach)	22	470	true	0.19	27	false(reach)	11	260	unknown	5.4	240	unknown	5.0	240
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i	unknown	41	210	unknown	2.6	210	false(reach)	7.3	130	false(reach)	1.0	39	false(reach)	21	500	true	0.18	22	false(reach)	16	270	unknown	5.1	240	unknown	5.3	240
pthread-wmm/mix001_rmo.opt_false-unreach-call.i	false(reach)	37	190	unknown	2.6	200	false(reach)	6.2	110	false(reach)	0.94	38	false(reach)	22	470	true	0.17	27	false(reach)	11	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix001_tso.oepc_false-unreach-call.i	unknown	39	210	unknown	2.7	200	false(reach)	7.2	130	false(reach)	1.0	38	false(reach)	21	500	true	0.20	27	false(reach)	15	280	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix001_tso.opt_false-unreach-call.i	false(reach)	38	190	unknown	2.6	200	false(reach)	5.9	110	false(reach)	0.93	37	false(reach)	22	470	true	0.20	22	false(reach)	11	260	unknown	5.4	240	unknown	5.1	240
pthread-wmm/mix002_power.oepc_false-unreach-call.i	false(reach)	65	220	unknown	2.6	200	false(reach)	5.8	75	false(reach)	0.90	37	false(reach)	16	490	true	0.17	27	false(reach)	12	260	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix002_power.opt_false-unreach-call.i	false(reach)	17	190	unknown	2.6	200	false(reach)	6.7	120	false(reach)	0.95	37	false(reach)	20	500	true	0.19	27	false(reach)	17	240	unknown	5.5	240	unknown	5.1	240
pthread-wmm/mix002_pso.oepc_false-unreach-call.i	false(reach)	86	230	unknown	2.6	210	false(reach)	5.8	75	false(reach)	0.91	37	false(reach)	16	490	true	0.28	27	false(reach)	11	260	unknown	5.3	240	unknown	5.3	240
pthread-wmm/mix002_pso.opt_false-unreach-call.i	false(reach)	20	190	unknown	2.6	210	false(reach)	6.5	120	false(reach)	0.98	37	false(reach)	20	500	true	0.24	27	false(reach)	18	240	unknown	5.2	240	unknown	5.4	230
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i	false(reach)	40	200	unknown	2.6	200	false(reach)	5.7	75	false(reach)	0.90	38	false(reach)	16	490	true	0.16	27	false(reach)	12	260	unknown	5.3	240	unknown	5.4	240
pthread-wmm/mix002_rmo.opt_false-unreach-call.i	false(reach)	20	190	unknown	2.6	200	false(reach)	6.8	120	false(reach)	0.94	37	false(reach)	20	500	true	0.18	22	false(reach)	16	240	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix002_tso.oepc_false-unreach-call.i	false(reach)	39	200	unknown	2.6	200	false(reach)	5.6	75	false(reach)	0.90	37	false(reach)	16	490	true	0.19	27	false(reach)	12	250	unknown	5.4	240	unknown	5.5	240
pthread-wmm/mix002_tso.opt_false-unreach-call.i	false(reach)	20	190	unknown	2.6	200	false(reach)	6.5	120	false(reach)	0.98	39	false(reach)	20	510	true	0.23	27	false(reach)	16	240	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix003_power.oepc_false-unreach-call.i	false(reach)	42	190	unknown	2.6	210	false(reach)	5.0	74	false(reach)	0.88	38	false(reach)	14	430	true	0.15	27	false(reach)	9.4	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix003_power.opt_false-unreach-call.i	false(reach)	16	160	unknown	2.6	200	false(reach)	5.8	110	false(reach)	0.94	38	false(reach)	16	440	true	0.33	27	false(reach)	9.9	250	unknown	5.1	240	unknown	5.1	240
pthread-wmm/mix003_pso.oepc_false-unreach-call.i	false(reach)	38	170	unknown	2.6	210	false(reach)	5.1	74	false(reach)	0.87	37	false(reach)	14	440	true	0.16	22	false(reach)	9.4	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix003_pso.opt_false-unreach-call.i	false(reach)	16	160	unknown	2.6	200	false(reach)	5.8	110	false(reach)	0.91	38	false(reach)	16	440	true	0.18	27	false(reach)	10	260	unknown	5.5	240	unknown	5.2	240
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i	false(reach)	37	170	unknown	2.6	210	false(reach)	5.1	74	false(reach)	0.89	38	false(reach)	14	430	true	0.18	27	false(reach)	8.9	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i	false(reach)	16	160	unknown	2.4	200	false(reach)	3.4	100	false(reach)	1.1	37	false(reach)	16	450	true	0.17	27	false(reach)	8.9	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i	false(reach)	24	160	unknown	2.7	210	false(reach)	5.8	110	false(reach)	0.92	37	false(reach)	16	440	true	0.18	27	false(reach)	9.9	250	unknown	5.3	240	unknown	5.3	240
pthread-wmm/mix003_rmo.opt_false-unreach-call.i	false(reach)	16	160	unknown	2.7	210	false(reach)	5.9	110	false(reach)	0.91	37	false(reach)	16	450	true	0.25	27	false(reach)	10	250	unknown	5.8	240	unknown	5.0	240
pthread-wmm/mix003_tso.oepc_false-unreach-call.i	false(reach)	38	170	unknown	2.6	210	false(reach)	4.9	74	false(reach)	0.88	37	false(reach)	14	430	true	0.16	27	false(reach)	8.8	260	unknown	5.1	240	unknown	5.0	240
pthread-wmm/mix003_tso.opt_false-unreach-call.i	false(reach)	16	160	unknown	2.6	210	false(reach)	5.8	110	false(reach)	0.93	37	false(reach)	16	440	true	0.32	27	false(reach)	9.4	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix004_power.oepc_false-unreach-call.i	unknown	150	350	unknown	2.6	210	false(reach)	47	1000	false(reach)	0.98	38	false(reach)	22	570	true	0.30	27	false(reach)	17	260	unknown	5.1	240	unknown	5.0	240
pthread-wmm/mix004_power.opt_false-unreach-call.i	false(reach)	58	250	unknown	2.7	210	false(reach)	46	1300	false(reach)	1.0	38	false(reach)	29	570	true	0.19	27	false(reach)	21	270	unknown	5.0	240	unknown	5.3	240
pthread-wmm/mix004_pso.oepc_false-unreach-call.i	unknown	110	300	unknown	2.6	210	false(reach)	46	1000	false(reach)	1.0	38	false(reach)	22	570	true	0.28	27	false(reach)	18	250	unknown	5.2	240	unknown	5.1	240
pthread-wmm/mix004_pso.opt_false-unreach-call.i	false(reach)	54	240	unknown	2.6	200	false(reach)	45	1300	false(reach)	1.0	40	false(reach)	28	570	true	0.25	27	false(reach)	19	270	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i	unknown	110	310	unknown	2.6	200	false(reach)	47	1000	false(reach)	0.99	39	false(reach)	22	570	true	0.29	27	false(reach)	17	260	unknown	5.1	240	unknown	5.5	240
pthread-wmm/mix004_rmo.opt_false-unreach-call.i	false(reach)	54	250	unknown	2.7	200	false(reach)	43	1300	false(reach)	0.99	38	false(reach)	28	570	true	0.19	27	false(reach)	20	270	unknown	5.0	240	unknown	5.3	240
pthread-wmm/mix004_tso.oepc_false-unreach-call.i	unknown	110	310	unknown	2.6	200	false(reach)	46	1000	false(reach)	0.99	40	false(reach)	22	570	true	0.32	27	false(reach)	17	260	unknown	5.3	240	unknown	5.4	240
pthread-wmm/mix004_tso.opt_false-unreach-call.i	false(reach)	55	250	unknown	2.7	210	false(reach)	46	1300	false(reach)	1.00	38	false(reach)	28	570	true	0.19	26	false(reach)	19	280	unknown	5.4	240	unknown	5.3	240
pthread-wmm/mix005_power.oepc_false-unreach-call.i	false(reach)	120	330	unknown	2.6	210	false(reach)	47	1000	false(reach)	0.98	38	false(reach)	25	540	true	0.18	27	false(reach)	17	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix005_power.opt_false-unreach-call.i	false(reach)	45	240	unknown	2.7	210	false(reach)	45	1300	false(reach)	1.0	42	false(reach)	23	540	true	0.16	27	false(reach)	22	270	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix005_pso.oepc_false-unreach-call.i	false(reach)	150	350	unknown	2.6	200	false(reach)	46	1000	false(reach)	0.97	39	false(reach)	25	550	true	0.17	22	false(reach)	17	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix005_pso.opt_false-unreach-call.i	false(reach)	85	270	unknown	2.6	210	false(reach)	44	1300	false(reach)	1.00	38	false(reach)	23	540	true	0.17	27	false(reach)	22	280	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i	false(reach)	150	350	unknown	2.6	200	false(reach)	46	1000	false(reach)	0.98	38	false(reach)	25	550	true	0.16	22	false(reach)	17	270	unknown	5.4	240	unknown	5.1	240
pthread-wmm/mix005_rmo.opt_false-unreach-call.i	false(reach)	89	270	unknown	2.6	200	false(reach)	44	1300	false(reach)	1.0	38	false(reach)	23	550	true	0.16	27	false(reach)	22	280	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix005_tso.oepc_false-unreach-call.i	false(reach)	120	300	unknown	2.7	200	false(reach)	30	61	false(reach)	0.98	38	false(reach)	25	550	true	0.16	27	false(reach)	21	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix005_tso.opt_false-unreach-call.i	false(reach)	75	270	unknown	2.6	200	false(reach)	44	1300	false(reach)	1.0	40	false(reach)	23	550	true	0.17	27	false(reach)	22	280	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix006_power.oepc_false-unreach-call.i	false(reach)	32	170	unknown	2.6	210	false(reach)	5.1	74	false(reach)	0.87	36	false(reach)	15	420	true	0.26	27	false(reach)	8.2	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix006_power.opt_false-unreach-call.i	false(reach)	17	160	unknown	2.6	200	false(reach)	6.2	120	false(reach)	0.90	39	false(reach)	16	440	true	0.32	27	false(reach)	8.7	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix006_pso.oepc_false-unreach-call.i	false(reach)	31	170	unknown	2.6	210	false(reach)	5.1	73	false(reach)	0.87	36	false(reach)	15	420	true	0.20	22	false(reach)	8.3	260	unknown	5.1	240	unknown	5.4	240
pthread-wmm/mix006_pso.opt_false-unreach-call.i	false(reach)	30	170	unknown	2.6	200	false(reach)	6.3	120	false(reach)	0.91	39	false(reach)	16	430	true	0.18	27	false(reach)	8.6	260	unknown	5.1	240	unknown	5.3	240
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i	false(reach)	30	170	unknown	2.6	210	false(reach)	4.8	73	false(reach)	0.87	36	false(reach)	15	430	true	0.15	27	false(reach)	8.8	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix006_rmo.opt_false-unreach-call.i	false(reach)	29	170	unknown	2.6	210	false(reach)	6.3	120	false(reach)	0.90	37	false(reach)	16	430	true	0.19	27	false(reach)	8.6	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix006_tso.oepc_false-unreach-call.i	false(reach)	72	300	unknown	2.9	210	false(reach)	11	180	false(reach)	1.5	42	false(reach)	37	880	true	0.32	27	false(reach)	11	280	unknown	5.0	240	unknown	5.4	240
pthread-wmm/mix006_tso.opt_false-unreach-call.i	false(reach)	30	170	unknown	2.6	200	false(reach)	6.3	120	false(reach)	0.92	37	false(reach)	16	430	true	0.30	27	false(reach)	8.7	260	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix007_power.oepc_false-unreach-call.i	false(reach)	140	330	unknown	2.6	200	false(reach)	48	1100	false(reach)	0.99	39	false(reach)	29	550	true	0.18	22	false(reach)	12	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix007_power.opt_false-unreach-call.i	false(reach)	53	240	unknown	2.7	210	false(reach)	47	1400	false(reach)	0.99	38	false(reach)	24	550	true	0.16	22	false(reach)	16	280	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix007_pso.oepc_false-unreach-call.i	false(reach)	130	320	unknown	2.7	210	false(reach)	48	1100	false(reach)	0.97	40	false(reach)	29	550	true	0.17	22	false(reach)	11	260	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix007_pso.opt_false-unreach-call.i	false(reach)	35	230	unknown	2.7	210	false(reach)	47	1400	false(reach)	0.99	40	false(reach)	24	540	true	0.19	22	false(reach)	17	270	unknown	5.5	240	unknown	5.9	240
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i	false(reach)	130	320	unknown	2.6	200	false(reach)	49	1100	false(reach)	0.99	39	false(reach)	29	550	true	0.19	27	false(reach)	12	260	unknown	5.3	240	unknown	5.3	240
pthread-wmm/mix007_rmo.opt_false-unreach-call.i	false(reach)	35	230	unknown	2.7	200	false(reach)	46	1400	false(reach)	1.0	38	false(reach)	24	550	true	0.17	22	false(reach)	16	280	unknown	5.0	240	unknown	5.4	240
pthread-wmm/mix007_tso.oepc_false-unreach-call.i	false(reach)	120	320	unknown	2.6	210	false(reach)	48	1100	false(reach)	0.97	38	false(reach)	29	550	true	0.17	22	false(reach)	11	260	unknown	5.0	240	unknown	5.6	230
pthread-wmm/mix007_tso.opt_false-unreach-call.i	false(reach)	35	230	unknown	2.6	200	false(reach)	47	1400	false(reach)	0.99	40	false(reach)	24	550	true	0.18	27	false(reach)	17	270	unknown	5.4	240	unknown	5.4	240
pthread-wmm/mix008_power.oepc_false-unreach-call.i	false(reach)	180	350	unknown	2.6	200	false(reach)	47	1100	false(reach)	0.99	40	false(reach)	24	530	true	0.16	27	false(reach)	11	260	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix008_power.opt_false-unreach-call.i	unknown	35	230	unknown	2.6	210	false(reach)	48	1400	false(reach)	0.99	38	false(reach)	26	530	true	0.17	27	false(reach)	15	280	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix008_pso.oepc_false-unreach-call.i	false(reach)	120	310	unknown	2.6	200	false(reach)	48	1100	false(reach)	0.98	40	false(reach)	24	530	true	0.18	27	false(reach)	11	260	unknown	5.3	240	unknown	5.3	240
pthread-wmm/mix008_pso.opt_false-unreach-call.i	false(reach)	53	240	unknown	2.6	200	false(reach)	47	1400	false(reach)	1.00	38	false(reach)	26	530	true	0.16	22	false(reach)	15	270	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i	false(reach)	120	310	unknown	2.6	200	false(reach)	48	1100	false(reach)	1.00	38	false(reach)	24	530	true	0.25	27	false(reach)	12	260	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix008_rmo.opt_false-unreach-call.i	false(reach)	51	240	unknown	2.7	210	false(reach)	50	1400	false(reach)	1.0	39	false(reach)	26	530	true	0.18	27	false(reach)	15	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix008_tso.oepc_false-unreach-call.i	false(reach)	230	470	unknown	2.8	210	false(reach)	82	2000	false(reach)	1.5	44	false(reach)	59	1100	true	0.20	27	false(reach)	17	280	unknown	5.1	240	unknown	5.0	240
pthread-wmm/mix008_tso.opt_false-unreach-call.i	false(reach)	51	240	unknown	2.7	210	false(reach)	47	1400	false(reach)	1.0	38	false(reach)	26	530	true	0.18	27	false(reach)	15	280	unknown	4.9	240	unknown	5.1	240
pthread-wmm/mix009_power.oepc_false-unreach-call.i	false(reach)	9.4	100	unknown	2.6	200	false(reach)	3.1	29	false(reach)	0.77	37	false(reach)	11	330	true	0.18	27	false(reach)	7.6	240	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix009_power.opt_false-unreach-call.i	false(reach)	11	120	unknown	2.6	200	false(reach)	2.2	26	false(reach)	0.83	36	false(reach)	11	350	true	0.35	27	false(reach)	7.9	250	unknown	5.3	240	unknown	5.3	240
pthread-wmm/mix009_pso.oepc_false-unreach-call.i	false(reach)	11	110	unknown	2.6	200	false(reach)	2.2	24	false(reach)	0.79	35	false(reach)	11	330	true	0.18	27	false(reach)	7.7	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix009_pso.opt_false-unreach-call.i	false(reach)	12	120	unknown	2.5	200	false(reach)	2.2	26	false(reach)	0.83	36	false(reach)	11	350	true	0.17	27	false(reach)	8.2	260	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i	false(reach)	11	110	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.78	35	false(reach)	11	330	true	0.17	27	false(reach)	8.1	250	unknown	5.3	240	unknown	5.3	240
pthread-wmm/mix009_rmo.opt_false-unreach-call.i	false(reach)	12	120	unknown	2.6	210	false(reach)	2.3	26	false(reach)	0.89	36	false(reach)	11	350	true	0.17	27	false(reach)	7.9	250	unknown	5.1	240	unknown	5.0	240
pthread-wmm/mix009_tso.oepc_false-unreach-call.i	false(reach)	12	110	unknown	2.6	210	false(reach)	2.2	24	false(reach)	0.77	35	false(reach)	11	330	true	0.16	27	false(reach)	8.2	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix009_tso.opt_false-unreach-call.i	false(reach)	12	120	unknown	2.6	210	false(reach)	2.2	26	false(reach)	0.85	38	false(reach)	11	350	true	0.17	22	false(reach)	7.8	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix010_power.oepc_false-unreach-call.i	false(reach)	41	190	unknown	2.6	200	false(reach)	5.4	77	false(reach)	0.90	37	false(reach)	19	460	true	0.27	27	false(reach)	10	260	unknown	5.2	240	unknown	5.5	240
pthread-wmm/mix010_power.opt_false-unreach-call.i	false(reach)	29	180	unknown	2.6	200	false(reach)	6.4	110	false(reach)	0.97	38	false(reach)	16	470	true	0.17	27	false(reach)	10	260	unknown	5.8	240	unknown	5.3	240
pthread-wmm/mix010_pso.oepc_false-unreach-call.i	false(reach)	79	220	unknown	2.6	210	false(reach)	5.3	78	false(reach)	0.89	41	false(reach)	19	460	true	0.15	27	false(reach)	10	260	unknown	5.9	240	unknown	5.4	240
pthread-wmm/mix010_pso.opt_false-unreach-call.i	false(reach)	15	170	unknown	2.7	210	false(reach)	5.7	110	false(reach)	0.91	37	false(reach)	16	470	true	0.15	27	false(reach)	9.6	250	unknown	5.3	240	unknown	4.9	240
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i	false(reach)	80	220	unknown	2.6	210	false(reach)	5.3	77	false(reach)	0.88	37	false(reach)	19	460	true	0.17	27	false(reach)	10	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix010_rmo.opt_false-unreach-call.i	false(reach)	15	170	unknown	2.6	200	false(reach)	5.3	110	false(reach)	0.91	37	false(reach)	16	470	true	0.20	27	false(reach)	9.6	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix010_tso.oepc_false-unreach-call.i	false(reach)	79	230	unknown	2.6	200	false(reach)	5.3	77	false(reach)	0.88	37	false(reach)	19	460	true	0.18	25	false(reach)	11	260	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix010_tso.opt_false-unreach-call.i	false(reach)	15	170	unknown	2.6	200	false(reach)	6.0	110	false(reach)	0.92	37	false(reach)	16	480	true	0.31	27	false(reach)	9.6	260	unknown	5.4	240	unknown	5.1	240
pthread-wmm/mix011_power.oepc_false-unreach-call.i	false(reach)	39	190	unknown	2.6	200	false(reach)	5.4	77	false(reach)	0.91	37	false(reach)	19	450	true	0.15	22	false(reach)	9.2	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix011_power.opt_false-unreach-call.i	unknown	16	170	unknown	2.6	210	false(reach)	6.1	110	false(reach)	0.98	37	false(reach)	19	460	true	0.19	22	false(reach)	10	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix011_pso.oepc_false-unreach-call.i	false(reach)	44	190	unknown	2.6	200	false(reach)	5.5	77	false(reach)	0.88	37	false(reach)	19	450	true	0.18	27	false(reach)	9.3	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix011_pso.opt_false-unreach-call.i	false(reach)	15	170	unknown	2.7	200	false(reach)	6.2	110	false(reach)	0.93	38	false(reach)	19	460	true	0.17	27	false(reach)	10	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i	false(reach)	45	190	unknown	2.6	200	false(reach)	5.1	77	false(reach)	0.90	37	false(reach)	19	450	true	0.30	27	false(reach)	8.5	250	unknown	5.0	240	unknown	5.3	240
pthread-wmm/mix011_rmo.opt_false-unreach-call.i	false(reach)	15	170	unknown	2.6	200	false(reach)	5.9	110	false(reach)	0.96	37	false(reach)	19	460	true	0.16	27	false(reach)	10.0	260	unknown	5.1	240	unknown	5.4	240
pthread-wmm/mix011_tso.oepc_false-unreach-call.i	false(reach)	45	190	unknown	2.6	210	false(reach)	5.4	32	false(reach)	0.88	37	false(reach)	17	450	true	0.17	27	false(reach)	9.1	270	unknown	5.0	240	unknown	5.3	240
pthread-wmm/mix011_tso.opt_false-unreach-call.i	false(reach)	15	170	unknown	2.6	210	false(reach)	6.3	110	false(reach)	0.99	37	false(reach)	19	460	true	0.16	27	false(reach)	11	260	unknown	5.4	240	unknown	5.5	240
pthread-wmm/mix012_power.oepc_false-unreach-call.i	false(reach)	4.6	88	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.78	35	false(reach)	7.9	290	true	0.14	27	false(reach)	7.6	250	unknown	5.3	240	unknown	5.1	240
pthread-wmm/mix012_power.opt_false-unreach-call.i	false(reach)	6.8	88	unknown	2.6	200	false(reach)	2.1	24	false(reach)	0.77	35	false(reach)	7.8	290	true	0.17	21	false(reach)	7.4	250	unknown	5.1	240	unknown	5.0	240
pthread-wmm/mix012_pso.oepc_false-unreach-call.i	false(reach)	8.0	89	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.78	35	false(reach)	7.8	290	true	0.17	22	false(reach)	7.6	240	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix012_pso.opt_false-unreach-call.i	false(reach)	8.6	100	unknown	2.6	200	false(reach)	2.2	25	false(reach)	0.82	36	false(reach)	8.4	310	true	0.15	27	false(reach)	7.4	250	unknown	5.0	240	unknown	5.1	240
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i	false(reach)	8.1	87	unknown	2.6	210	false(reach)	2.1	24	false(reach)	0.77	35	false(reach)	7.8	290	true	0.15	27	false(reach)	7.1	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix012_rmo.opt_false-unreach-call.i	false(reach)	9.6	89	unknown	2.5	210	false(reach)	2.2	24	false(reach)	0.75	35	false(reach)	7.9	290	true	0.18	27	false(reach)	6.8	250	unknown	4.9	240	unknown	5.1	240
pthread-wmm/mix012_tso.oepc_false-unreach-call.i	false(reach)	8.1	89	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.76	35	false(reach)	7.9	290	true	0.16	27	false(reach)	6.8	250	unknown	5.4	240	unknown	5.1	240
pthread-wmm/mix012_tso.opt_false-unreach-call.i	false(reach)	8.4	100	unknown	2.6	210	false(reach)	2.2	26	false(reach)	0.82	36	false(reach)	8.3	310	true	0.18	29	false(reach)	7.4	260	unknown	5.3	240	unknown	5.0	240
pthread-wmm/mix013_power.oepc_false-unreach-call.i	unknown	150	350	unknown	2.6	210	false(reach)	48	1100	false(reach)	0.98	39	false(reach)	34	570	true	0.32	27	false(reach)	18	260	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix013_power.opt_false-unreach-call.i	false(reach)	55	250	unknown	2.7	200	false(reach)	49	1400	false(reach)	1.0	38	false(reach)	28	570	true	0.17	22	false(reach)	27	270	unknown	5.4	240	unknown	5.3	240
pthread-wmm/mix013_pso.oepc_false-unreach-call.i	unknown	160	360	unknown	2.6	200	false(reach)	48	1100	false(reach)	0.99	38	false(reach)	35	570	true	0.16	27	false(reach)	19	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix013_pso.opt_false-unreach-call.i	false(reach)	48	240	unknown	2.7	200	false(reach)	49	1400	false(reach)	0.99	38	false(reach)	28	560	true	0.29	27	false(reach)	27	260	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i	unknown	130	330	unknown	2.6	210	false(reach)	48	1100	false(reach)	0.99	38	false(reach)	34	580	true	0.17	27	false(reach)	19	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix013_rmo.opt_false-unreach-call.i	false(reach)	47	240	unknown	2.6	200	false(reach)	47	1400	false(reach)	0.99	38	false(reach)	28	560	true	0.18	26	false(reach)	22	260	unknown	5.1	240	unknown	5.1	240
pthread-wmm/mix013_tso.oepc_false-unreach-call.i	unknown	160	360	unknown	2.6	200	false(reach)	46	1100	false(reach)	1.0	38	false(reach)	35	580	true	0.16	27	false(reach)	20	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix013_tso.opt_false-unreach-call.i	false(reach)	49	240	unknown	2.7	210	false(reach)	48	1400	false(reach)	1.0	39	false(reach)	28	560	true	0.18	27	false(reach)	27	270	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix014_power.oepc_false-unreach-call.i	false(reach)	160	360	unknown	2.7	210	false(reach)	48	1100	false(reach)	0.97	38	false(reach)	30	550	true	0.17	27	false(reach)	15	270	unknown	5.4	240	unknown	5.4	240
pthread-wmm/mix014_power.opt_false-unreach-call.i	false(reach)	65	260	unknown	2.7	200	false(reach)	50	1500	false(reach)	1.0	38	false(reach)	23	540	true	0.27	27	false(reach)	17	280	unknown	5.2	240	unknown	4.9	240
pthread-wmm/mix014_pso.oepc_false-unreach-call.i	false(reach)	130	330	unknown	2.6	210	false(reach)	49	1100	false(reach)	0.99	38	false(reach)	30	550	true	0.15	27	false(reach)	15	260	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix014_pso.opt_false-unreach-call.i	false(reach)	53	240	unknown	2.6	200	false(reach)	50	1500	false(reach)	1.00	39	false(reach)	23	550	true	0.33	27	false(reach)	17	280	unknown	5.4	240	unknown	5.1	240
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i	false(reach)	140	330	unknown	2.6	210	false(reach)	47	1100	false(reach)	0.98	38	false(reach)	30	550	true	0.33	27	false(reach)	15	260	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix014_rmo.opt_false-unreach-call.i	false(reach)	51	240	unknown	2.7	210	false(reach)	49	1500	false(reach)	1.0	38	false(reach)	23	540	true	0.26	27	false(reach)	18	280	unknown	5.1	240	unknown	5.4	240
pthread-wmm/mix014_tso.oepc_false-unreach-call.i	false(reach)	410	570	unknown	2.8	210	false(reach)	120	3500	false(reach)	1.4	44	false(reach)	55	1100	true	0.18	27	false(reach)	24	290	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix014_tso.opt_false-unreach-call.i	false(reach)	52	250	unknown	2.6	200	false(reach)	53	1500	false(reach)	1.00	38	false(reach)	23	540	true	0.17	25	false(reach)	16	280	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix015_power.oepc_false-unreach-call.i	false(reach)	42	190	unknown	2.6	200	false(reach)	5.3	71	false(reach)	0.87	36	false(reach)	15	460	true	0.17	27	false(reach)	14	250	unknown	5.2	230	unknown	5.2	240
pthread-wmm/mix015_power.opt_false-unreach-call.i	false(reach)	31	180	unknown	2.7	210	false(reach)	6.4	120	false(reach)	0.92	37	false(reach)	16	470	true	0.18	22	false(reach)	12	270	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix015_pso.oepc_false-unreach-call.i	false(reach)	31	180	unknown	2.6	210	false(reach)	5.3	71	false(reach)	0.88	38	false(reach)	16	460	true	0.34	27	false(reach)	15	240	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix015_pso.opt_false-unreach-call.i	false(reach)	21	170	unknown	2.6	210	false(reach)	6.2	120	false(reach)	0.91	38	false(reach)	16	470	true	0.16	25	false(reach)	10	250	unknown	5.2	240	unknown	5.5	240
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i	false(reach)	30	180	unknown	2.7	200	false(reach)	5.3	71	false(reach)	0.89	38	false(reach)	15	460	true	0.16	27	false(reach)	14	240	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix015_rmo.opt_false-unreach-call.i	false(reach)	21	170	unknown	2.6	210	false(reach)	6.4	120	false(reach)	0.93	37	false(reach)	16	470	true	0.18	27	false(reach)	11	250	unknown	5.3	240	unknown	5.3	240
pthread-wmm/mix015_tso.oepc_false-unreach-call.i	false(reach)	30	180	unknown	2.6	210	false(reach)	4.9	71	false(reach)	0.90	38	false(reach)	15	460	true	0.15	27	false(reach)	15	240	unknown	5.3	240	unknown	5.1	240
pthread-wmm/mix015_tso.opt_false-unreach-call.i	false(reach)	21	170	unknown	2.7	210	false(reach)	6.4	120	false(reach)	0.92	37	false(reach)	16	480	true	0.16	22	false(reach)	10	260	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix016_power.oepc_false-unreach-call.i	false(reach)	17	150	unknown	2.6	200	false(reach)	4.7	70	false(reach)	0.87	36	false(reach)	15	400	true	0.17	27	false(reach)	9.0	250	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix016_power.opt_false-unreach-call.i	false(reach)	29	150	unknown	2.6	210	false(reach)	6.3	130	false(reach)	0.80	36	false(reach)	13	390	true	0.17	24	false(reach)	7.7	250	unknown	5.0	240	unknown	5.4	240
pthread-wmm/mix016_pso.oepc_false-unreach-call.i	false(reach)	17	140	unknown	2.6	210	false(reach)	4.7	70	false(reach)	0.88	36	false(reach)	15	400	true	0.17	22	false(reach)	8.8	250	unknown	5.0	240	unknown	5.1	240
pthread-wmm/mix016_pso.opt_false-unreach-call.i	false(reach)	20	150	unknown	2.6	200	false(reach)	5.5	110	false(reach)	0.93	38	false(reach)	13	420	true	0.33	29	false(reach)	9.5	250	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i	false(reach)	17	140	unknown	2.6	210	false(reach)	4.8	70	false(reach)	0.87	38	false(reach)	15	400	true	0.26	27	false(reach)	8.1	250	unknown	5.5	240	unknown	5.3	240
pthread-wmm/mix016_rmo.opt_false-unreach-call.i	false(reach)	32	150	unknown	2.5	200	false(reach)	6.4	130	false(reach)	0.85	36	false(reach)	13	390	true	0.32	27	false(reach)	7.8	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix016_tso.oepc_false-unreach-call.i	false(reach)	17	140	unknown	2.6	200	false(reach)	4.7	70	false(reach)	0.87	36	false(reach)	15	400	true	0.17	27	false(reach)	8.2	250	unknown	5.3	240	unknown	5.1	240
pthread-wmm/mix016_tso.opt_false-unreach-call.i	false(reach)	21	150	unknown	2.6	210	false(reach)	5.5	110	false(reach)	0.91	38	false(reach)	13	420	true	0.17	22	false(reach)	10	250	unknown	5.5	240	unknown	5.0	240
pthread-wmm/mix017_power.oepc_false-unreach-call.i	unknown	140	320	unknown	2.6	200	false(reach)	45	910	false(reach)	1.00	38	false(reach)	24	530	true	0.16	27	false(reach)	13	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix017_power.opt_false-unreach-call.i	false(reach)	97	250	unknown	2.6	210	false(reach)	50	1500	false(reach)	0.88	39	false(reach)	25	510	true	0.30	27	false(reach)	14	260	unknown	5.1	240	unknown	5.1	240
pthread-wmm/mix017_pso.oepc_false-unreach-call.i	unknown	84	280	unknown	2.6	200	false(reach)	42	910	false(reach)	0.99	38	false(reach)	23	530	true	0.17	27	false(reach)	12	250	unknown	5.0	240	unknown	5.1	240
pthread-wmm/mix017_pso.opt_false-unreach-call.i	false(reach)	42	220	unknown	2.6	210	false(reach)	43	1300	false(reach)	1.0	38	false(reach)	21	530	true	0.17	27	false(reach)	13	260	unknown	5.0	240	unknown	5.4	240
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i	unknown	81	280	unknown	2.6	210	false(reach)	44	910	false(reach)	0.99	40	false(reach)	24	530	true	0.16	27	false(reach)	12	250	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix017_rmo.opt_false-unreach-call.i	false(reach)	48	220	unknown	2.6	200	false(reach)	50	1500	false(reach)	0.89	38	false(reach)	26	510	true	0.18	27	false(reach)	14	250	unknown	5.3	240	unknown	5.0	240
pthread-wmm/mix017_tso.oepc_false-unreach-call.i	unknown	82	280	unknown	2.6	200	false(reach)	44	910	false(reach)	0.97	38	false(reach)	24	530	true	0.18	27	false(reach)	13	250	unknown	5.2	240	unknown	5.8	240
pthread-wmm/mix017_tso.opt_false-unreach-call.i	false(reach)	42	220	unknown	2.6	200	false(reach)	44	1300	false(reach)	0.97	38	false(reach)	21	530	true	0.18	27	false(reach)	13	260	unknown	5.4	240	unknown	5.0	240
pthread-wmm/mix018_power.oepc_false-unreach-call.i	false(reach)	87	280	unknown	2.6	210	false(reach)	46	900	false(reach)	0.99	37	false(reach)	24	520	true	0.16	27	false(reach)	12	250	unknown	5.3	240	unknown	5.5	240
pthread-wmm/mix018_power.opt_false-unreach-call.i	false(reach)	37	220	unknown	2.6	200	false(reach)	44	1300	false(reach)	1.0	40	false(reach)	25	520	true	0.18	27	false(reach)	16	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix018_pso.oepc_false-unreach-call.i	false(reach)	120	300	unknown	2.6	200	false(reach)	42	900	false(reach)	0.99	37	false(reach)	24	520	true	0.17	27	false(reach)	11	250	unknown	5.1	240	unknown	5.4	240
pthread-wmm/mix018_pso.opt_false-unreach-call.i	false(reach)	67	240	unknown	2.7	210	false(reach)	43	1300	false(reach)	1.0	38	false(reach)	25	520	true	0.17	27	false(reach)	15	250	unknown	5.2	230	unknown	5.2	240
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i	false(reach)	120	310	unknown	2.6	200	false(reach)	42	900	false(reach)	0.98	38	false(reach)	24	520	true	0.19	22	false(reach)	11	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix018_rmo.opt_false-unreach-call.i	false(reach)	69	250	unknown	2.6	210	false(reach)	42	1300	false(reach)	1.0	39	false(reach)	25	520	true	0.17	27	false(reach)	16	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix018_tso.oepc_false-unreach-call.i	false(reach)	63	250	unknown	2.6	200	false(reach)	29	59	false(reach)	1.0	38	false(reach)	21	520	true	0.33	27	false(reach)	11	260	unknown	5.3	240	unknown	5.0	240
pthread-wmm/mix018_tso.opt_false-unreach-call.i	false(reach)	44	220	unknown	2.6	200	false(reach)	43	1300	false(reach)	0.99	38	false(reach)	25	520	true	0.17	27	false(reach)	16	260	unknown	5.3	240	unknown	5.1	240
pthread-wmm/mix019_power.oepc_false-unreach-call.i	false(reach)	28	160	unknown	2.6	210	false(reach)	4.7	70	false(reach)	0.87	38	false(reach)	13	380	true	0.26	27	false(reach)	8.5	250	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix019_power.opt_false-unreach-call.i	false(reach)	31	160	unknown	2.6	210	false(reach)	5.5	110	false(reach)	0.91	37	false(reach)	14	400	true	0.16	27	false(reach)	8.3	250	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix019_pso.oepc_false-unreach-call.i	false(reach)	28	160	unknown	2.5	200	false(reach)	4.7	70	false(reach)	0.87	36	false(reach)	13	380	true	0.17	27	false(reach)	8.4	250	unknown	5.2	240	unknown	5.1	240
pthread-wmm/mix019_pso.opt_false-unreach-call.i	unknown	20	150	unknown	2.5	210	false(reach)	5.5	110	false(reach)	0.89	37	false(reach)	14	400	true	0.15	27	false(reach)	8.8	260	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i	false(reach)	28	160	unknown	2.5	200	false(reach)	4.7	70	false(reach)	0.88	36	false(reach)	13	390	true	0.18	22	false(reach)	8.4	250	unknown	5.3	240	unknown	5.0	240
pthread-wmm/mix019_rmo.opt_false-unreach-call.i	unknown	20	150	unknown	2.6	200	false(reach)	5.5	110	false(reach)	0.91	37	false(reach)	14	400	true	0.15	27	false(reach)	8.1	260	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix019_tso.oepc_false-unreach-call.i	false(reach)	14	140	unknown	2.6	200	false(reach)	4.2	28	false(reach)	0.88	36	false(reach)	13	390	true	0.33	27	false(reach)	9.2	270	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix019_tso.opt_false-unreach-call.i	unknown	20	150	unknown	2.6	200	false(reach)	5.5	110	false(reach)	0.90	36	false(reach)	14	400	true	0.17	22	false(reach)	8.6	260	unknown	5.3	240	unknown	5.3	240
pthread-wmm/mix020_power.oepc_false-unreach-call.i	false(reach)	70	260	unknown	2.6	210	false(reach)	45	900	false(reach)	0.97	38	false(reach)	34	520	true	0.37	27	false(reach)	29	240	unknown	5.3	240	unknown	5.0	240
pthread-wmm/mix020_power.opt_false-unreach-call.i	false(reach)	49	230	unknown	2.6	210	false(reach)	43	1300	false(reach)	1.00	38	false(reach)	21	520	true	0.17	27	false(reach)	21	260	unknown	5.0	240	unknown	5.1	240
pthread-wmm/mix020_pso.oepc_false-unreach-call.i	false(reach)	41	240	unknown	2.6	200	false(reach)	46	900	false(reach)	0.98	39	false(reach)	35	520	true	0.18	21	false(reach)	30	240	unknown	5.4	240	unknown	5.8	240
pthread-wmm/mix020_pso.opt_false-unreach-call.i	false(reach)	47	220	unknown	2.6	200	false(reach)	43	1300	false(reach)	0.98	39	false(reach)	21	520	true	0.17	23	false(reach)	22	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i	false(reach)	40	240	unknown	2.5	210	false(reach)	42	900	false(reach)	0.98	38	false(reach)	34	510	true	0.18	27	false(reach)	29	250	unknown	5.3	230	unknown	5.4	240
pthread-wmm/mix020_rmo.opt_false-unreach-call.i	false(reach)	45	220	unknown	2.6	200	false(reach)	43	1300	false(reach)	0.99	42	false(reach)	21	520	true	0.15	27	false(reach)	21	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix020_tso.oepc_false-unreach-call.i	false(reach)	40	240	unknown	2.6	200	false(reach)	44	900	false(reach)	0.96	38	false(reach)	34	520	true	0.32	27	false(reach)	30	240	unknown	5.0	240	unknown	5.3	240
pthread-wmm/mix020_tso.opt_false-unreach-call.i	false(reach)	45	220	unknown	2.6	210	false(reach)	43	1300	false(reach)	0.98	39	false(reach)	21	520	true	0.17	27	false(reach)	26	250	unknown	5.1	240	unknown	5.4	240
pthread-wmm/mix021_power.oepc_false-unreach-call.i	false(reach)	100	290	unknown	2.6	200	false(reach)	42	900	false(reach)	0.97	37	false(reach)	26	500	true	0.17	22	false(reach)	10.0	250	unknown	5.3	240	unknown	5.1	240
pthread-wmm/mix021_power.opt_false-unreach-call.i	unknown	46	220	unknown	2.6	210	false(reach)	43	1300	false(reach)	0.99	38	false(reach)	19	500	true	0.19	22	false(reach)	15	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix021_pso.oepc_false-unreach-call.i	false(reach)	72	270	unknown	2.6	200	false(reach)	44	900	false(reach)	0.98	37	false(reach)	26	500	true	0.19	27	false(reach)	9.9	260	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix021_pso.opt_false-unreach-call.i	unknown	45	220	unknown	2.6	200	false(reach)	44	1300	false(reach)	1.00	38	false(reach)	19	500	true	0.16	27	false(reach)	16	260	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i	false(reach)	72	270	unknown	2.6	200	false(reach)	44	900	false(reach)	0.98	38	false(reach)	25	510	true	0.18	27	false(reach)	9.9	250	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix021_rmo.opt_false-unreach-call.i	unknown	44	220	unknown	2.7	210	false(reach)	42	1300	false(reach)	1.0	40	false(reach)	19	500	true	0.19	27	false(reach)	16	270	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix021_tso.oepc_false-unreach-call.i	false(reach)	52	220	unknown	2.6	210	false(reach)	24	55	false(reach)	0.96	39	false(reach)	24	490	true	0.17	27	false(reach)	12	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix021_tso.opt_false-unreach-call.i	unknown	44	220	unknown	2.6	200	false(reach)	43	1300	false(reach)	0.98	38	false(reach)	19	500	true	0.16	27	false(reach)	15	270	unknown	5.7	240	unknown	5.0	240
pthread-wmm/mix022_power.oepc_false-unreach-call.i	false(reach)	7.4	87	unknown	2.6	210	false(reach)	2.2	24	false(reach)	0.77	35	false(reach)	7.6	270	true	0.19	27	false(reach)	6.8	250	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix022_power.opt_false-unreach-call.i	false(reach)	6.8	87	unknown	2.6	210	false(reach)	2.2	24	false(reach)	0.78	35	false(reach)	7.6	280	true	0.16	27	false(reach)	6.7	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix022_pso.oepc_false-unreach-call.i	unknown	10	90	unknown	2.6	210	false(reach)	2.2	24	false(reach)	0.76	37	false(reach)	7.6	270	true	0.27	27	false(reach)	6.8	250	unknown	5.1	240	unknown	5.1	240
pthread-wmm/mix022_pso.opt_false-unreach-call.i	false(reach)	7.5	88	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.78	35	false(reach)	7.6	280	true	0.17	27	false(reach)	6.7	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i	unknown	10	90	unknown	2.5	200	false(reach)	2.1	24	false(reach)	0.77	35	false(reach)	7.6	270	true	0.29	27	false(reach)	6.9	250	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix022_rmo.opt_false-unreach-call.i	false(reach)	7.3	89	unknown	2.6	210	false(reach)	2.1	24	false(reach)	0.76	37	false(reach)	7.6	270	true	0.47	27	false(reach)	6.7	250	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix022_tso.oepc_false-unreach-call.i	false(reach)	4.9	120	unknown	2.6	200	false(reach)	2.3	24	false(reach)	0.89	36	false(reach)	8.1	310	true	0.24	27	false(reach)	8.8	270	unknown	5.4	240	unknown	5.5	240
pthread-wmm/mix022_tso.opt_false-unreach-call.i	false(reach)	6.7	120	unknown	2.6	210	false(reach)	2.2	24	false(reach)	0.90	37	false(reach)	8.0	310	true	0.17	22	false(reach)	7.8	270	unknown	6.0	240	unknown	5.3	240
pthread-wmm/mix023_power.oepc_false-unreach-call.i	false(reach)	110	300	unknown	2.6	210	false(reach)	50	1100	false(reach)	1.00	38	false(reach)	33	540	true	0.17	27	false(reach)	14	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix023_power.opt_false-unreach-call.i	unknown	78	260	unknown	2.6	210	false(reach)	60	1800	false(reach)	0.93	39	false(reach)	24	510	true	0.34	27	false(reach)	14	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix023_pso.oepc_false-unreach-call.i	false(reach)	43	260	unknown	2.6	200	false(reach)	50	1100	false(reach)	0.99	38	false(reach)	33	540	true	0.32	27	false(reach)	13	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix023_pso.opt_false-unreach-call.i	unknown	50	230	unknown	2.5	210	false(reach)	60	1800	false(reach)	0.92	39	false(reach)	25	510	true	0.33	27	false(reach)	14	240	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i	false(reach)	43	260	unknown	2.6	210	false(reach)	48	1100	false(reach)	0.99	39	false(reach)	32	540	true	0.18	27	false(reach)	14	270	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix023_rmo.opt_false-unreach-call.i	unknown	49	230	unknown	2.6	200	false(reach)	59	1800	false(reach)	0.94	37	false(reach)	24	510	true	0.19	27	false(reach)	15	240	unknown	5.3	240	unknown	5.3	240
pthread-wmm/mix023_tso.oepc_false-unreach-call.i	false(reach)	400	580	unknown	2.9	200	false(reach)	53	76	false(reach)	1.6	45	false(reach)	60	1100	true	0.19	27	false(reach)	26	360	unknown	5.3	240	unknown	5.4	240
pthread-wmm/mix023_tso.opt_false-unreach-call.i	false(reach)	370	560	unknown	2.9	210	false(reach)	53	76	false(reach)	1.6	45	false(reach)	59	1100	true	0.20	27	false(reach)	26	270	unknown	5.3	240	unknown	5.1	240
pthread-wmm/mix024_power.oepc_false-unreach-call.i	false(reach)	18	170	unknown	2.6	210	false(reach)	5.6	77	false(reach)	0.88	37	false(reach)	20	450	true	0.18	27	false(reach)	8.6	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix024_power.opt_false-unreach-call.i	false(reach)	15	160	unknown	2.6	200	false(reach)	7.6	140	false(reach)	0.84	38	false(reach)	16	440	true	0.29	27	false(reach)	9.4	250	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix024_pso.oepc_false-unreach-call.i	false(reach)	42	180	unknown	2.6	210	false(reach)	5.6	77	false(reach)	0.89	37	false(reach)	20	450	true	0.31	27	false(reach)	8.7	250	unknown	5.4	240	unknown	5.4	240
pthread-wmm/mix024_pso.opt_false-unreach-call.i	false(reach)	40	180	unknown	2.6	200	false(reach)	7.2	140	false(reach)	0.86	38	false(reach)	17	440	true	0.14	27	false(reach)	9.9	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i	false(reach)	41	180	unknown	2.6	200	false(reach)	5.2	77	false(reach)	0.89	37	false(reach)	20	450	true	0.16	27	false(reach)	9.6	250	unknown	5.0	240	unknown	5.8	240
pthread-wmm/mix024_rmo.opt_false-unreach-call.i	false(reach)	39	180	unknown	2.6	210	false(reach)	7.5	140	false(reach)	0.85	38	false(reach)	17	440	true	0.17	26	false(reach)	9.3	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix024_tso.oepc_false-unreach-call.i	false(reach)	41	180	unknown	2.6	200	false(reach)	5.6	77	false(reach)	0.89	38	false(reach)	20	450	true	0.17	27	false(reach)	9.5	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix024_tso.opt_false-unreach-call.i	false(reach)	18	170	unknown	2.7	200	false(reach)	5.6	77	false(reach)	0.89	37	false(reach)	19	450	true	0.17	22	false(reach)	9.6	250	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix025_power.oepc_false-unreach-call.i	false(reach)	27	160	unknown	2.6	210	false(reach)	5.0	76	false(reach)	0.88	36	false(reach)	12	390	true	0.25	27	false(reach)	8.8	250	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix025_power.opt_false-unreach-call.i	false(reach)	28	150	unknown	2.6	200	false(reach)	5.0	76	false(reach)	0.87	38	false(reach)	12	380	true	0.27	27	false(reach)	8.7	260	unknown	5.4	240	unknown	5.0	240
pthread-wmm/mix025_pso.oepc_false-unreach-call.i	false(reach)	28	160	unknown	2.6	210	false(reach)	5.0	76	false(reach)	0.87	38	false(reach)	12	380	true	0.16	27	false(reach)	9.1	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix025_pso.opt_false-unreach-call.i	false(reach)	21	140	unknown	2.5	200	false(reach)	6.4	130	false(reach)	0.80	36	false(reach)	13	370	true	0.34	27	false(reach)	8.6	250	unknown	5.1	240	unknown	5.1	240
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i	false(reach)	27	160	unknown	2.6	200	false(reach)	5.0	76	false(reach)	0.89	36	false(reach)	12	380	true	0.19	27	false(reach)	8.7	260	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix025_rmo.opt_false-unreach-call.i	false(reach)	21	140	unknown	2.6	200	false(reach)	6.4	130	false(reach)	0.86	36	false(reach)	13	370	true	0.17	27	false(reach)	9.1	250	unknown	5.3	240	unknown	5.4	240
pthread-wmm/mix025_tso.oepc_false-unreach-call.i	false(reach)	27	160	unknown	2.6	200	false(reach)	5.0	76	false(reach)	0.86	38	false(reach)	12	390	true	0.17	27	false(reach)	8.7	250	unknown	5.5	240	unknown	5.2	240
pthread-wmm/mix025_tso.opt_false-unreach-call.i	false(reach)	35	160	unknown	2.6	200	false(reach)	5.0	76	false(reach)	0.86	38	false(reach)	12	390	true	0.17	27	false(reach)	8.8	260	unknown	5.1	240	unknown	5.0	240
pthread-wmm/mix026_power.oepc_false-unreach-call.i	false(reach)	40	240	unknown	3.2	210	false(reach)	45	950	false(reach)	0.98	39	false(reach)	21	520	true	0.18	27	false(reach)	11	250	unknown	5.3	240	unknown	5.1	240
pthread-wmm/mix026_power.opt_false-unreach-call.i	false(reach)	160	330	unknown	2.6	210	false(reach)	61	1900	false(reach)	0.94	37	false(reach)	20	510	true	0.17	27	false(reach)	16	240	unknown	5.2	240	unknown	5.5	240
pthread-wmm/mix026_pso.oepc_false-unreach-call.i	false(reach)	73	260	unknown	2.6	200	false(reach)	43	950	false(reach)	0.98	38	false(reach)	20	520	true	0.16	27	false(reach)	9.8	260	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix026_pso.opt_false-unreach-call.i	false(reach)	110	270	unknown	2.6	200	false(reach)	52	1500	false(reach)	0.89	39	false(reach)	26	490	true	0.16	22	false(reach)	11	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i	false(reach)	70	260	unknown	2.6	210	false(reach)	45	950	false(reach)	0.98	38	false(reach)	21	520	true	0.16	27	false(reach)	11	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix026_rmo.opt_false-unreach-call.i	unknown	110	270	unknown	2.6	210	false(reach)	51	1500	false(reach)	0.88	37	false(reach)	26	490	true	0.18	22	false(reach)	12	250	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix026_tso.oepc_false-unreach-call.i	false(reach)	70	260	unknown	2.6	200	false(reach)	46	950	false(reach)	0.99	38	false(reach)	21	520	true	0.33	27	false(reach)	11	260	unknown	5.4	240	unknown	5.4	240
pthread-wmm/mix026_tso.opt_false-unreach-call.i	false(reach)	130	300	unknown	2.6	200	false(reach)	63	1900	false(reach)	0.95	37	false(reach)	20	510	true	0.18	27	false(reach)	17	240	unknown	5.4	240	unknown	5.1	240
pthread-wmm/mix027_power.oepc_false-unreach-call.i	false(reach)	90	270	unknown	2.7	210	false(reach)	44	950	false(reach)	0.97	37	false(reach)	22	510	true	0.16	27	false(reach)	12	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix027_power.opt_false-unreach-call.i	false(reach)	40	210	unknown	2.6	210	false(reach)	51	1500	false(reach)	0.95	38	false(reach)	20	480	true	0.17	27	false(reach)	11	260	unknown	5.3	240	unknown	5.3	240
pthread-wmm/mix027_pso.oepc_false-unreach-call.i	false(reach)	120	310	unknown	2.6	200	false(reach)	45	950	false(reach)	0.99	39	false(reach)	22	510	true	0.15	27	false(reach)	11	250	unknown	5.2	240	unknown	5.5	240
pthread-wmm/mix027_pso.opt_false-unreach-call.i	unknown	45	210	unknown	2.5	200	false(reach)	51	1500	false(reach)	0.89	38	false(reach)	20	480	true	0.16	27	false(reach)	11	250	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i	false(reach)	120	310	unknown	2.6	210	false(reach)	45	950	false(reach)	0.97	39	false(reach)	22	510	true	0.16	27	false(reach)	11	260	unknown	5.5	240	unknown	5.2	240
pthread-wmm/mix027_rmo.opt_false-unreach-call.i	unknown	44	210	unknown	2.5	210	false(reach)	52	1500	false(reach)	0.94	38	false(reach)	20	480	true	0.32	27	false(reach)	11	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix027_tso.oepc_false-unreach-call.i	false(reach)	46	230	unknown	2.6	210	false(reach)	29	59	false(reach)	0.99	38	false(reach)	21	510	true	0.21	22	false(reach)	10.0	260	unknown	5.0	240	unknown	5.6	240
pthread-wmm/mix027_tso.opt_false-unreach-call.i	false(reach)	43	220	unknown	2.7	210	false(reach)	29	60	false(reach)	0.98	39	false(reach)	22	510	true	0.19	27	false(reach)	10	260	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix028_power.oepc_false-unreach-call.i	false(reach)	24	150	unknown	2.6	200	false(reach)	5.0	76	false(reach)	0.88	36	false(reach)	15	370	true	0.18	22	false(reach)	8.2	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix028_power.opt_false-unreach-call.i	false(reach)	9.5	140	unknown	2.6	200	false(reach)	4.3	28	false(reach)	0.87	38	false(reach)	11	370	true	0.17	27	false(reach)	9.5	270	unknown	5.1	240	unknown	5.3	240
pthread-wmm/mix028_pso.oepc_false-unreach-call.i	false(reach)	24	150	unknown	2.6	200	false(reach)	5.0	76	false(reach)	0.87	38	false(reach)	15	370	true	0.18	21	false(reach)	8.2	250	unknown	5.3	240	unknown	5.3	240
pthread-wmm/mix028_pso.opt_false-unreach-call.i	false(reach)	30	160	unknown	2.6	210	false(reach)	4.3	28	false(reach)	0.88	36	false(reach)	11	370	true	0.32	27	false(reach)	8.6	270	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i	false(reach)	24	150	unknown	2.5	210	false(reach)	4.9	76	false(reach)	0.88	38	false(reach)	15	370	true	0.15	27	false(reach)	8.8	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix028_rmo.opt_false-unreach-call.i	false(reach)	30	160	unknown	2.6	200	false(reach)	4.3	28	false(reach)	0.87	36	false(reach)	11	370	true	0.32	27	false(reach)	8.4	270	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix028_tso.oepc_false-unreach-call.i	false(reach)	15	160	unknown	2.6	200	false(reach)	4.1	29	false(reach)	0.99	37	false(reach)	13	400	true	0.30	27	false(reach)	9.0	260	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix028_tso.opt_false-unreach-call.i	false(reach)	14	160	unknown	2.6	200	false(reach)	4.1	29	false(reach)	0.99	37	false(reach)	13	410	true	0.19	22	false(reach)	8.9	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix029_power.oepc_false-unreach-call.i	false(reach)	120	310	unknown	2.6	200	false(reach)	43	950	false(reach)	1.00	39	false(reach)	19	500	true	0.18	27	false(reach)	12	240	unknown	5.5	240	unknown	5.4	240
pthread-wmm/mix029_power.opt_false-unreach-call.i	false(reach)	39	210	unknown	2.6	200	false(reach)	25	56	false(reach)	0.93	37	false(reach)	24	490	true	0.29	27	false(reach)	11	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix029_pso.oepc_false-unreach-call.i	false(reach)	110	290	unknown	2.6	210	false(reach)	45	950	false(reach)	0.96	39	false(reach)	19	500	true	0.18	27	false(reach)	11	240	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix029_pso.opt_false-unreach-call.i	false(reach)	160	310	unknown	2.6	200	false(reach)	25	56	false(reach)	0.95	39	false(reach)	24	490	true	0.37	27	false(reach)	12	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i	false(reach)	100	290	unknown	2.6	200	false(reach)	45	950	false(reach)	0.96	39	false(reach)	19	500	true	0.20	27	false(reach)	12	240	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix029_rmo.opt_false-unreach-call.i	false(reach)	160	310	unknown	2.6	200	false(reach)	24	56	false(reach)	0.96	37	false(reach)	25	490	true	0.17	22	false(reach)	11	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix029_tso.oepc_false-unreach-call.i	false(reach)	100	290	unknown	2.6	210	false(reach)	45	950	false(reach)	0.96	39	false(reach)	18	500	true	0.31	27	false(reach)	12	240	unknown	5.4	240	unknown	5.4	240
pthread-wmm/mix029_tso.opt_false-unreach-call.i	false(reach)	100	290	unknown	2.6	200	false(reach)	46	950	false(reach)	0.97	39	false(reach)	19	500	true	0.17	27	false(reach)	12	250	unknown	5.4	240	unknown	5.1	240
pthread-wmm/mix030_power.oepc_false-unreach-call.i	false(reach)	110	290	unknown	2.7	200	false(reach)	46	950	false(reach)	0.99	37	false(reach)	28	500	true	0.18	22	false(reach)	11	240	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix030_power.opt_false-unreach-call.i	unknown	46	220	unknown	2.6	200	false(reach)	25	56	false(reach)	0.98	37	false(reach)	21	490	true	0.18	27	false(reach)	11	260	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix030_pso.oepc_false-unreach-call.i	false(reach)	120	290	unknown	2.6	210	false(reach)	45	950	false(reach)	0.99	37	false(reach)	28	500	true	0.16	27	false(reach)	12	250	unknown	5.0	240	unknown	5.1	240
pthread-wmm/mix030_pso.opt_false-unreach-call.i	false(reach)	18	200	unknown	2.6	210	false(reach)	25	56	false(reach)	0.96	37	false(reach)	21	490	true	0.26	27	false(reach)	11	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i	false(reach)	110	300	unknown	2.7	210	false(reach)	46	950	false(reach)	0.97	37	false(reach)	28	490	true	0.17	22	false(reach)	11	250	unknown	5.5	240	unknown	5.1	240
pthread-wmm/mix030_rmo.opt_false-unreach-call.i	false(reach)	19	200	unknown	2.6	210	false(reach)	24	56	false(reach)	0.95	37	false(reach)	21	480	true	0.19	27	false(reach)	12	250	unknown	5.3	240	unknown	5.9	240
pthread-wmm/mix030_tso.oepc_false-unreach-call.i	false(reach)	42	230	unknown	2.7	200	false(reach)	21	53	false(reach)	1.0	40	false(reach)	28	510	true	0.33	27	false(reach)	11	260	unknown	5.0	240	unknown	5.8	240
pthread-wmm/mix030_tso.opt_false-unreach-call.i	false(reach)	20	220	unknown	2.6	210	false(reach)	20	52	false(reach)	1.0	40	false(reach)	27	510	true	0.30	27	false(reach)	11	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix031_power.oepc_false-unreach-call.i	false(reach)	8.7	110	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.78	36	false(reach)	12	360	true	0.18	21	false(reach)	7.9	250	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix031_power.opt_false-unreach-call.i	false(reach)	13	110	unknown	2.5	200	false(reach)	1.8	25	false(reach)	0.78	37	false(reach)	11	340	true	0.18	27	false(reach)	7.7	250	unknown	5.2	240	unknown	5.1	240
pthread-wmm/mix031_pso.oepc_false-unreach-call.i	false(reach)	13	120	unknown	2.6	210	false(reach)	2.2	24	false(reach)	0.77	35	false(reach)	12	360	true	0.16	27	false(reach)	8.4	250	unknown	5.4	240	unknown	5.1	240
pthread-wmm/mix031_pso.opt_false-unreach-call.i	unknown	12	110	unknown	2.6	200	false(reach)	2.2	25	false(reach)	0.78	35	false(reach)	11	340	true	0.16	27	false(reach)	7.0	250	unknown	5.4	240	unknown	5.3	240
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i	false(reach)	12	120	unknown	2.5	200	false(reach)	2.3	24	false(reach)	0.78	37	false(reach)	12	350	true	0.15	27	false(reach)	8.6	250	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix031_rmo.opt_false-unreach-call.i	unknown	12	110	unknown	2.5	210	false(reach)	2.2	25	false(reach)	0.77	37	false(reach)	11	350	true	0.18	27	false(reach)	6.9	250	unknown	5.8	240	unknown	5.2	240
pthread-wmm/mix031_tso.oepc_false-unreach-call.i	false(reach)	13	120	unknown	2.6	200	false(reach)	2.2	24	false(reach)	0.77	35	false(reach)	12	350	true	0.36	27	false(reach)	8.6	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix031_tso.opt_false-unreach-call.i	false(reach)	14	110	unknown	2.5	210	false(reach)	2.2	25	false(reach)	0.77	35	false(reach)	11	340	true	0.20	23	false(reach)	7.5	250	unknown	5.3	240	unknown	5.4	240
pthread-wmm/mix032_power.oepc_false-unreach-call.i	false(reach)	44	200	unknown	2.6	210	false(reach)	5.5	78	false(reach)	0.89	37	false(reach)	21	490	true	0.16	22	false(reach)	8.8	260	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix032_power.opt_false-unreach-call.i	false(reach)	17	160	unknown	2.6	210	false(reach)	6.0	110	false(reach)	0.85	36	false(reach)	17	460	true	0.16	22	false(reach)	9.5	240	unknown	5.4	240	unknown	5.2	230
pthread-wmm/mix032_pso.oepc_false-unreach-call.i	false(reach)	47	210	unknown	2.6	210	false(reach)	5.1	78	false(reach)	0.91	37	false(reach)	21	490	true	0.16	27	false(reach)	9.1	270	unknown	6.0	230	unknown	5.9	240
pthread-wmm/mix032_pso.opt_false-unreach-call.i	false(reach)	19	160	unknown	2.5	210	false(reach)	5.8	110	false(reach)	0.84	36	false(reach)	17	470	true	0.28	27	false(reach)	9.7	260	unknown	5.4	240	unknown	5.0	240
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i	false(reach)	26	180	unknown	2.5	210	false(reach)	5.5	78	false(reach)	0.88	37	false(reach)	21	490	true	0.17	24	false(reach)	9.2	270	unknown	5.2	240	unknown	5.1	240
pthread-wmm/mix032_rmo.opt_false-unreach-call.i	false(reach)	19	160	unknown	2.5	210	false(reach)	6.0	110	false(reach)	0.85	36	false(reach)	17	460	true	0.17	27	false(reach)	9.4	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix032_tso.oepc_false-unreach-call.i	false(reach)	47	210	unknown	2.6	210	false(reach)	5.5	78	false(reach)	0.88	38	false(reach)	21	490	true	0.18	27	false(reach)	8.9	260	unknown	5.4	240	unknown	5.3	240
pthread-wmm/mix032_tso.opt_false-unreach-call.i	false(reach)	19	160	unknown	2.6	210	false(reach)	5.6	110	false(reach)	0.85	36	false(reach)	17	460	true	0.16	27	false(reach)	10.0	250	unknown	5.4	240	unknown	5.4	240
pthread-wmm/mix033_power.oepc_false-unreach-call.i	false(reach)	49	210	unknown	2.6	200	false(reach)	5.5	78	false(reach)	0.89	37	false(reach)	18	480	true	0.18	27	false(reach)	9.5	260	unknown	5.5	240	unknown	5.3	240
pthread-wmm/mix033_power.opt_false-unreach-call.i	false(reach)	25	170	unknown	2.6	210	false(reach)	6.0	110	false(reach)	0.85	36	false(reach)	18	450	true	0.16	27	false(reach)	9.8	240	unknown	5.0	240	unknown	5.1	240
pthread-wmm/mix033_pso.oepc_false-unreach-call.i	false(reach)	27	190	unknown	2.6	200	false(reach)	5.5	78	false(reach)	0.89	37	false(reach)	18	480	true	0.17	22	false(reach)	9.0	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix033_pso.opt_false-unreach-call.i	unknown	29	170	unknown	2.6	210	false(reach)	5.9	110	false(reach)	0.84	38	false(reach)	18	450	true	0.32	27	false(reach)	9.0	250	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i	false(reach)	28	190	unknown	2.6	210	false(reach)	5.5	78	false(reach)	0.89	38	false(reach)	18	480	true	0.18	27	false(reach)	9.0	260	unknown	5.2	240	unknown	5.5	240
pthread-wmm/mix033_rmo.opt_false-unreach-call.i	unknown	28	170	unknown	2.5	210	false(reach)	5.9	110	false(reach)	0.84	36	false(reach)	19	450	true	0.31	27	false(reach)	9.4	250	unknown	5.4	240	unknown	5.0	240
pthread-wmm/mix033_tso.oepc_false-unreach-call.i	false(reach)	42	190	unknown	2.7	210	false(reach)	5.0	29	false(reach)	0.89	38	false(reach)	19	480	true	0.20	22	false(reach)	9.4	270	unknown	5.0	240	unknown	5.3	240
pthread-wmm/mix033_tso.opt_false-unreach-call.i	unknown	30	170	unknown	2.6	200	false(reach)	6.0	110	false(reach)	0.84	40	false(reach)	18	450	true	0.15	27	false(reach)	9.5	250	unknown	5.0	240	unknown	5.4	240
pthread-wmm/mix034_power.oepc_false-unreach-call.i	false(reach)	5.8	97	unknown	2.5	210	false(reach)	2.2	24	false(reach)	0.78	35	false(reach)	8.9	310	true	0.16	27	false(reach)	7.0	240	unknown	5.5	240	unknown	5.5	240
pthread-wmm/mix034_power.opt_false-unreach-call.i	false(reach)	7.6	98	unknown	2.6	200	false(reach)	2.2	24	false(reach)	0.76	36	false(reach)	8.9	310	true	0.17	27	false(reach)	6.9	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix034_pso.oepc_false-unreach-call.i	false(reach)	4.8	96	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.77	36	false(reach)	8.9	310	true	0.27	27	false(reach)	7.0	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix034_pso.opt_false-unreach-call.i	false(reach)	5.8	86	unknown	2.5	210	false(reach)	1.9	25	false(reach)	0.76	35	false(reach)	8.2	300	true	0.34	27	false(reach)	6.8	250	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i	false(reach)	4.8	96	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.76	35	false(reach)	8.9	310	true	0.19	21	false(reach)	7.1	250	unknown	5.2	240	unknown	5.8	240
pthread-wmm/mix034_rmo.opt_false-unreach-call.i	false(reach)	12	99	unknown	2.5	210	false(reach)	2.2	24	false(reach)	0.77	37	false(reach)	8.9	310	true	0.14	27	false(reach)	6.9	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix034_tso.oepc_false-unreach-call.i	false(reach)	4.8	96	unknown	2.6	200	false(reach)	2.2	24	false(reach)	0.78	37	false(reach)	8.9	310	true	0.16	27	false(reach)	6.9	250	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix034_tso.opt_false-unreach-call.i	false(reach)	5.8	86	unknown	2.5	210	false(reach)	2.2	24	false(reach)	0.76	34	false(reach)	8.3	300	true	0.16	27	false(reach)	6.8	250	unknown	5.1	240	unknown	5.4	240
pthread-wmm/mix035_power.oepc_false-unreach-call.i	false(reach)	16	160	unknown	2.6	210	false(reach)	4.9	71	false(reach)	0.87	38	false(reach)	18	430	true	0.17	27	false(reach)	9.2	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix035_power.opt_false-unreach-call.i	false(reach)	14	150	unknown	2.5	200	false(reach)	6.3	130	false(reach)	0.85	36	false(reach)	14	420	true	0.18	27	false(reach)	9.2	250	unknown	5.4	240	unknown	5.2	230
pthread-wmm/mix035_pso.oepc_false-unreach-call.i	false(reach)	16	150	unknown	2.6	210	false(reach)	4.8	71	false(reach)	0.87	36	false(reach)	18	430	true	0.17	27	false(reach)	9.6	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix035_pso.opt_false-unreach-call.i	unknown	16	140	unknown	2.5	200	false(reach)	5.1	100	false(reach)	0.79	36	false(reach)	14	410	true	0.18	27	false(reach)	8.3	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i	false(reach)	16	160	unknown	2.6	200	false(reach)	4.9	71	false(reach)	0.88	36	false(reach)	18	430	true	0.20	27	false(reach)	9.1	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix035_rmo.opt_false-unreach-call.i	false(reach)	37	170	unknown	2.6	200	false(reach)	6.7	130	false(reach)	0.88	36	false(reach)	14	420	true	0.19	27	false(reach)	10	250	unknown	5.1	240	unknown	5.5	240
pthread-wmm/mix035_tso.oepc_false-unreach-call.i	false(reach)	16	160	unknown	2.7	200	false(reach)	4.8	71	false(reach)	0.88	36	false(reach)	18	430	true	0.19	22	false(reach)	9.4	270	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix035_tso.opt_false-unreach-call.i	unknown	16	140	unknown	2.6	200	false(reach)	5.4	100	false(reach)	0.85	36	false(reach)	14	410	true	0.18	25	false(reach)	8.2	250	unknown	5.1	240	unknown	5.5	240
pthread-wmm/mix036_power.oepc_false-unreach-call.i	unknown	71	280	unknown	2.6	200	false(reach)	44	910	false(reach)	0.97	39	false(reach)	29	570	true	0.15	22	false(reach)	17	250	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix036_power.opt_false-unreach-call.i	false(reach)	87	250	unknown	2.6	200	false(reach)	53	1600	false(reach)	0.94	38	false(reach)	22	530	true	0.17	27	false(reach)	13	240	unknown	5.3	240	unknown	5.4	240
pthread-wmm/mix036_pso.oepc_false-unreach-call.i	unknown	150	350	unknown	2.6	210	false(reach)	45	910	false(reach)	0.98	39	false(reach)	29	570	true	0.19	24	false(reach)	17	260	unknown	5.5	240	unknown	5.4	240
pthread-wmm/mix036_pso.opt_false-unreach-call.i	false(reach)	21	200	unknown	2.6	210	false(reach)	40	1300	false(reach)	0.86	38	false(reach)	24	520	true	0.17	22	false(reach)	14	250	unknown	5.3	240	unknown	5.5	240
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i	unknown	150	340	unknown	2.6	200	false(reach)	42	910	false(reach)	0.99	38	false(reach)	29	570	true	0.32	27	false(reach)	17	250	unknown	5.2	240	unknown	5.1	240
pthread-wmm/mix036_rmo.opt_false-unreach-call.i	false(reach)	100	290	unknown	2.6	210	false(reach)	52	1600	false(reach)	0.93	37	false(reach)	22	530	true	0.16	22	false(reach)	13	260	unknown	5.1	240	unknown	5.4	240
pthread-wmm/mix036_tso.oepc_false-unreach-call.i	unknown	150	350	unknown	2.6	200	false(reach)	44	910	false(reach)	0.99	38	false(reach)	29	570	true	0.20	22	false(reach)	17	240	unknown	5.2	240	unknown	5.1	240
pthread-wmm/mix036_tso.opt_false-unreach-call.i	false(reach)	76	250	unknown	2.6	200	false(reach)	41	1300	false(reach)	0.86	39	false(reach)	24	520	true	0.17	21	false(reach)	15	250	unknown	5.3	240	unknown	5.0	240
pthread-wmm/mix037_power.oepc_false-unreach-call.i	false(reach)	77	280	unknown	2.6	210	false(reach)	42	910	false(reach)	1.00	38	false(reach)	38	540	true	0.15	27	false(reach)	14	250	unknown	5.2	240	unknown	5.1	240
pthread-wmm/mix037_power.opt_false-unreach-call.i	unknown	98	260	unknown	2.6	200	false(reach)	41	1300	false(reach)	0.87	37	false(reach)	21	510	true	0.32	27	false(reach)	10	260	unknown	5.3	240	unknown	5.1	240
pthread-wmm/mix037_pso.oepc_false-unreach-call.i	false(reach)	170	370	unknown	2.7	200	false(reach)	44	910	false(reach)	1.00	38	false(reach)	37	550	true	0.17	27	false(reach)	14	240	unknown	5.0	240	unknown	5.1	240
pthread-wmm/mix037_pso.opt_false-unreach-call.i	unknown	48	220	unknown	2.6	210	false(reach)	41	1300	false(reach)	0.91	37	false(reach)	21	510	true	0.15	27	false(reach)	10	250	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i	false(reach)	190	360	unknown	2.6	210	false(reach)	43	910	false(reach)	0.99	38	false(reach)	37	540	true	0.16	27	false(reach)	15	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix037_rmo.opt_false-unreach-call.i	unknown	49	220	unknown	2.5	200	false(reach)	41	1300	false(reach)	0.85	38	false(reach)	21	510	true	0.31	27	false(reach)	11	260	unknown	5.5	240	unknown	5.4	240
pthread-wmm/mix037_tso.oepc_false-unreach-call.i	false(reach)	89	280	unknown	2.6	200	false(reach)	30	59	false(reach)	1.00	38	false(reach)	22	550	true	0.18	27	false(reach)	12	260	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix037_tso.opt_false-unreach-call.i	unknown	49	220	unknown	2.6	200	false(reach)	41	1300	false(reach)	0.88	37	false(reach)	21	510	true	0.25	27	false(reach)	10	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix038_power.oepc_false-unreach-call.i	false(reach)	41	180	unknown	2.6	210	false(reach)	4.8	71	false(reach)	0.87	40	false(reach)	18	420	true	0.16	27	false(reach)	8.2	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix038_power.opt_false-unreach-call.i	false(reach)	21	140	unknown	2.5	200	false(reach)	4.9	100	false(reach)	0.78	36	false(reach)	13	390	true	0.15	27	false(reach)	8.0	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix038_pso.oepc_false-unreach-call.i	false(reach)	42	180	unknown	2.6	200	false(reach)	4.8	71	false(reach)	0.88	36	false(reach)	18	420	true	0.16	27	false(reach)	8.3	250	unknown	4.9	240	unknown	5.2	240
pthread-wmm/mix038_pso.opt_false-unreach-call.i	unknown	11	140	unknown	2.6	210	false(reach)	5.3	100	false(reach)	0.85	37	false(reach)	13	390	true	0.18	25	false(reach)	8.6	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i	false(reach)	42	180	unknown	2.5	200	false(reach)	4.8	71	false(reach)	0.88	37	false(reach)	18	420	true	0.25	27	false(reach)	8.4	260	unknown	5.4	240	unknown	5.1	240
pthread-wmm/mix038_rmo.opt_false-unreach-call.i	unknown	11	140	unknown	2.5	200	false(reach)	5.3	100	false(reach)	0.79	36	false(reach)	13	390	true	0.18	27	false(reach)	8.7	250	unknown	5.4	240	unknown	5.4	240
pthread-wmm/mix038_tso.oepc_false-unreach-call.i	false(reach)	48	180	unknown	2.6	200	false(reach)	4.3	29	false(reach)	0.89	37	false(reach)	14	430	true	0.16	27	false(reach)	9.1	270	unknown	5.0	240	unknown	5.1	240
pthread-wmm/mix038_tso.opt_false-unreach-call.i	unknown	11	140	unknown	2.5	210	false(reach)	5.3	100	false(reach)	0.86	36	false(reach)	13	390	true	0.15	27	false(reach)	8.2	250	unknown	5.4	240	unknown	5.4	240
pthread-wmm/mix039_power.oepc_false-unreach-call.i	false(reach)	110	320	unknown	2.7	210	false(reach)	46	910	false(reach)	0.98	38	false(reach)	26	550	true	0.18	22	false(reach)	13	250	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix039_power.opt_false-unreach-call.i	unknown	65	240	unknown	2.6	210	false(reach)	41	1300	false(reach)	0.87	38	false(reach)	24	510	true	0.20	22	false(reach)	14	250	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix039_pso.oepc_false-unreach-call.i	false(reach)	110	310	unknown	2.6	200	false(reach)	42	910	false(reach)	0.96	38	false(reach)	26	550	true	0.34	27	false(reach)	12	250	unknown	5.2	240	unknown	5.1	240
pthread-wmm/mix039_pso.opt_false-unreach-call.i	unknown	60	240	unknown	2.6	210	false(reach)	42	1300	false(reach)	0.86	37	false(reach)	24	510	true	0.18	27	false(reach)	14	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i	false(reach)	120	320	unknown	2.6	200	false(reach)	44	910	false(reach)	0.97	38	false(reach)	26	550	true	0.17	27	false(reach)	12	250	unknown	5.2	240	unknown	5.1	240
pthread-wmm/mix039_rmo.opt_false-unreach-call.i	unknown	60	240	unknown	2.6	210	false(reach)	41	1300	false(reach)	0.89	37	false(reach)	24	510	true	0.16	27	false(reach)	14	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix039_tso.oepc_false-unreach-call.i	false(reach)	120	320	unknown	2.6	210	false(reach)	44	910	false(reach)	0.99	39	false(reach)	26	550	true	0.28	27	false(reach)	13	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix039_tso.opt_false-unreach-call.i	unknown	59	240	unknown	2.5	210	false(reach)	41	1300	false(reach)	0.87	38	false(reach)	24	510	true	0.15	27	false(reach)	15	250	unknown	4.9	240	unknown	5.3	240
pthread-wmm/mix040_power.oepc_false-unreach-call.i	false(reach)	190	370	unknown	2.6	200	false(reach)	42	900	false(reach)	0.99	38	false(reach)	33	530	true	0.28	27	false(reach)	13	250	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix040_power.opt_false-unreach-call.i	false(reach)	35	210	unknown	2.5	200	false(reach)	42	1300	false(reach)	0.86	37	false(reach)	20	490	true	0.33	27	false(reach)	9.4	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix040_pso.oepc_false-unreach-call.i	false(reach)	120	320	unknown	2.6	210	false(reach)	43	900	false(reach)	0.99	38	false(reach)	33	530	true	0.18	22	false(reach)	14	240	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix040_pso.opt_false-unreach-call.i	false(reach)	32	200	unknown	2.5	200	false(reach)	41	1300	false(reach)	0.87	37	false(reach)	20	490	true	0.19	27	false(reach)	9.6	260	unknown	5.4	240	unknown	5.3	240
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i	false(reach)	120	320	unknown	2.6	210	false(reach)	43	900	false(reach)	0.99	39	false(reach)	33	530	true	0.17	27	false(reach)	13	240	unknown	5.1	240	unknown	5.0	240
pthread-wmm/mix040_rmo.opt_false-unreach-call.i	false(reach)	32	200	unknown	2.6	200	false(reach)	41	1300	false(reach)	0.92	37	false(reach)	20	500	true	0.15	22	false(reach)	10	250	unknown	5.4	240	unknown	5.4	240
pthread-wmm/mix040_tso.oepc_false-unreach-call.i	false(reach)	140	300	unknown	2.6	200	false(reach)	25	56	false(reach)	0.97	38	false(reach)	25	520	true	0.33	27	false(reach)	14	250	unknown	5.8	230	unknown	5.4	240
pthread-wmm/mix040_tso.opt_false-unreach-call.i	false(reach)	32	210	unknown	2.6	200	false(reach)	41	1300	false(reach)	0.86	38	false(reach)	20	500	true	0.14	27	false(reach)	9.8	260	unknown	5.4	230	unknown	5.1	240
pthread-wmm/mix041_power.oepc_false-unreach-call.i	false(reach)	5.9	95	unknown	2.6	210	false(reach)	2.1	24	false(reach)	0.77	35	false(reach)	8.2	300	true	0.19	27	false(reach)	7.5	250	unknown	5.2	240	unknown	5.5	240
pthread-wmm/mix041_power.opt_false-unreach-call.i	unknown	7.3	95	unknown	2.6	210	false(reach)	2.2	23	false(reach)	0.76	35	false(reach)	8.5	300	true	0.35	27	false(reach)	7.6	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix041_pso.oepc_false-unreach-call.i	unknown	8.8	97	unknown	2.6	200	false(reach)	2.2	24	false(reach)	0.77	35	false(reach)	8.2	300	true	0.19	25	false(reach)	7.1	250	unknown	5.4	240	unknown	5.4	240
pthread-wmm/mix041_pso.opt_false-unreach-call.i	false(reach)	4.8	95	unknown	2.5	210	false(reach)	2.2	23	false(reach)	0.75	35	false(reach)	8.5	300	true	0.15	27	false(reach)	7.5	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i	unknown	8.8	95	unknown	2.5	210	false(reach)	2.2	24	false(reach)	0.78	35	false(reach)	8.3	300	true	0.17	27	false(reach)	7.1	250	unknown	5.1	240	unknown	5.1	240
pthread-wmm/mix041_rmo.opt_false-unreach-call.i	false(reach)	4.7	95	unknown	2.6	200	false(reach)	2.2	23	false(reach)	0.79	35	false(reach)	8.5	300	true	0.18	27	false(reach)	7.4	270	unknown	5.9	240	unknown	5.2	240
pthread-wmm/mix041_tso.oepc_false-unreach-call.i	false(reach)	4.7	95	unknown	2.6	200	false(reach)	2.2	23	false(reach)	0.79	35	false(reach)	8.5	300	true	0.17	27	false(reach)	7.8	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix041_tso.opt_false-unreach-call.i	false(reach)	4.7	94	unknown	2.6	210	false(reach)	2.1	23	false(reach)	0.77	35	false(reach)	8.4	300	true	0.17	22	false(reach)	7.4	270	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix042_power.oepc_false-unreach-call.i	false(reach)	50	190	unknown	2.6	200	false(reach)	4.8	71	false(reach)	0.88	38	false(reach)	17	420	true	0.19	22	false(reach)	8.4	250	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix042_power.opt_false-unreach-call.i	false(reach)	17	140	unknown	2.5	200	false(reach)	3.8	28	false(reach)	0.85	36	false(reach)	14	410	true	0.18	27	false(reach)	8.5	260	unknown	5.0	240	unknown	5.3	240
pthread-wmm/mix042_pso.oepc_false-unreach-call.i	false(reach)	49	190	unknown	2.6	200	false(reach)	4.8	71	false(reach)	0.88	36	false(reach)	17	420	true	0.33	27	false(reach)	8.5	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix042_pso.opt_false-unreach-call.i	false(reach)	17	140	unknown	2.6	210	false(reach)	4.0	31	false(reach)	0.87	36	false(reach)	14	410	true	0.17	27	false(reach)	9.4	270	unknown	5.0	240	unknown	5.3	240
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i	false(reach)	50	190	unknown	2.6	200	false(reach)	4.9	70	false(reach)	0.86	37	false(reach)	17	420	true	0.28	27	false(reach)	7.8	260	unknown	5.4	240	unknown	5.1	240
pthread-wmm/mix042_rmo.opt_false-unreach-call.i	false(reach)	18	140	unknown	2.6	200	false(reach)	3.7	28	false(reach)	0.85	36	false(reach)	13	410	true	0.33	27	false(reach)	8.7	260	unknown	5.3	240	unknown	5.0	240
pthread-wmm/mix042_tso.oepc_false-unreach-call.i	false(reach)	49	190	unknown	2.6	200	false(reach)	4.8	71	false(reach)	0.86	36	false(reach)	17	420	true	0.17	26	false(reach)	8.2	250	unknown	5.4	240	unknown	5.3	240
pthread-wmm/mix042_tso.opt_false-unreach-call.i	false(reach)	17	140	unknown	2.6	210	false(reach)	3.7	28	false(reach)	0.84	36	false(reach)	13	410	true	0.18	22	false(reach)	8.7	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix043_power.oepc_false-unreach-call.i	false(reach)	77	280	unknown	2.6	200	false(reach)	44	910	false(reach)	0.99	38	false(reach)	22	550	true	0.27	27	false(reach)	15	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix043_power.opt_false-unreach-call.i	false(reach)	40	220	unknown	2.6	200	false(reach)	18	50	false(reach)	0.96	37	false(reach)	29	520	true	0.32	27	false(reach)	13	260	unknown	5.4	240	unknown	5.4	240
pthread-wmm/mix043_pso.oepc_false-unreach-call.i	false(reach)	120	310	unknown	2.6	200	false(reach)	46	910	false(reach)	0.98	39	false(reach)	22	540	true	0.18	22	false(reach)	15	250	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix043_pso.opt_false-unreach-call.i	false(reach)	55	230	unknown	2.5	200	false(reach)	18	50	false(reach)	0.95	39	false(reach)	29	520	true	0.32	27	false(reach)	13	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i	false(reach)	120	320	unknown	2.6	200	false(reach)	43	910	false(reach)	0.99	39	false(reach)	22	540	true	0.17	27	false(reach)	14	250	unknown	5.3	240	unknown	5.4	240
pthread-wmm/mix043_rmo.opt_false-unreach-call.i	false(reach)	69	240	unknown	2.6	210	false(reach)	19	50	false(reach)	0.94	37	false(reach)	29	520	true	0.19	22	false(reach)	12	260	unknown	5.3	240	unknown	5.5	240
pthread-wmm/mix043_tso.oepc_false-unreach-call.i	false(reach)	120	320	unknown	2.6	210	false(reach)	42	910	false(reach)	0.97	38	false(reach)	22	540	true	0.26	27	false(reach)	14	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix043_tso.opt_false-unreach-call.i	false(reach)	55	230	unknown	2.6	200	false(reach)	18	50	false(reach)	0.94	39	false(reach)	29	520	true	0.17	27	false(reach)	12	250	unknown	5.3	240	unknown	5.0	240
pthread-wmm/mix044_power.oepc_false-unreach-call.i	false(reach)	120	330	unknown	2.6	200	false(reach)	41	900	false(reach)	0.97	38	false(reach)	20	530	true	0.18	22	false(reach)	16	250	unknown	5.3	240	unknown	5.4	240
pthread-wmm/mix044_power.opt_false-unreach-call.i	unknown	39	220	unknown	2.6	200	false(reach)	18	50	false(reach)	0.93	37	false(reach)	23	500	true	0.16	25	false(reach)	11	260	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix044_pso.oepc_false-unreach-call.i	false(reach)	110	310	unknown	2.6	200	false(reach)	44	900	false(reach)	0.98	38	false(reach)	19	530	true	0.20	27	false(reach)	16	240	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix044_pso.opt_false-unreach-call.i	unknown	23	210	unknown	2.6	210	false(reach)	18	50	false(reach)	0.94	37	false(reach)	23	510	true	0.28	27	false(reach)	11	260	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i	false(reach)	110	310	unknown	2.6	200	false(reach)	45	900	false(reach)	0.98	38	false(reach)	20	530	true	0.18	22	false(reach)	16	240	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix044_rmo.opt_false-unreach-call.i	unknown	23	210	unknown	2.6	210	false(reach)	17	50	false(reach)	0.95	37	false(reach)	23	510	true	0.17	27	false(reach)	10	250	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix044_tso.oepc_false-unreach-call.i	false(reach)	53	250	unknown	2.7	210	false(reach)	29	59	false(reach)	0.98	38	false(reach)	22	540	true	0.18	27	false(reach)	12	260	unknown	5.0	240	unknown	5.3	240
pthread-wmm/mix044_tso.opt_false-unreach-call.i	unknown	23	210	unknown	2.5	200	false(reach)	18	50	false(reach)	0.95	37	false(reach)	23	500	true	0.17	27	false(reach)	10	250	unknown	5.3	240	unknown	5.3	240
pthread-wmm/mix045_power.oepc_false-unreach-call.i	unknown	15	150	unknown	2.6	200	false(reach)	4.7	71	false(reach)	0.87	38	false(reach)	13	410	true	0.33	27	false(reach)	8.6	260	unknown	5.0	240	unknown	5.3	240
pthread-wmm/mix045_power.opt_false-unreach-call.i	unknown	14	140	unknown	2.6	200	false(reach)	3.8	28	false(reach)	0.86	36	false(reach)	14	390	true	0.18	22	false(reach)	8.5	260	unknown	5.3	240	unknown	5.1	240
pthread-wmm/mix045_pso.oepc_false-unreach-call.i	unknown	15	160	unknown	2.6	210	false(reach)	4.9	71	false(reach)	0.88	36	false(reach)	13	410	true	0.16	27	false(reach)	7.9	260	unknown	5.1	240	unknown	5.5	240
pthread-wmm/mix045_pso.opt_false-unreach-call.i	unknown	31	160	unknown	2.5	210	false(reach)	3.7	28	false(reach)	0.86	36	false(reach)	14	390	true	0.20	22	false(reach)	8.5	270	unknown	5.4	240	unknown	5.3	240
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i	unknown	15	160	unknown	2.5	200	false(reach)	4.8	71	false(reach)	0.87	36	false(reach)	13	410	true	0.17	27	false(reach)	8.6	260	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix045_rmo.opt_false-unreach-call.i	unknown	30	160	unknown	2.6	210	false(reach)	3.7	28	false(reach)	0.86	36	false(reach)	14	400	true	0.33	27	false(reach)	8.5	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix045_tso.oepc_false-unreach-call.i	unknown	14	140	unknown	2.6	210	false(reach)	3.7	28	false(reach)	0.86	36	false(reach)	14	390	true	0.16	27	false(reach)	9.7	280	unknown	5.1	240	unknown	5.4	240
pthread-wmm/mix045_tso.opt_false-unreach-call.i	unknown	30	160	unknown	2.6	210	false(reach)	3.7	28	false(reach)	0.85	36	false(reach)	14	390	true	0.17	27	false(reach)	9.4	270	unknown	5.4	240	unknown	5.5	240
pthread-wmm/mix046_power.oepc_false-unreach-call.i	false(reach)	120	310	unknown	2.6	200	false(reach)	44	900	false(reach)	0.99	38	false(reach)	21	530	true	0.16	27	false(reach)	11	250	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix046_power.opt_false-unreach-call.i	unknown	49	220	unknown	2.5	210	false(reach)	18	50	false(reach)	0.94	37	false(reach)	24	510	true	0.26	27	false(reach)	9.8	260	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix046_pso.oepc_false-unreach-call.i	false(reach)	97	290	unknown	2.6	210	false(reach)	45	900	false(reach)	0.99	38	false(reach)	21	530	true	0.18	27	false(reach)	11	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix046_pso.opt_false-unreach-call.i	unknown	53	220	unknown	2.6	210	false(reach)	18	50	false(reach)	0.93	39	false(reach)	24	510	true	0.17	27	false(reach)	9.9	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i	false(reach)	100	290	unknown	2.6	210	false(reach)	42	900	false(reach)	0.98	38	false(reach)	21	530	true	0.31	27	false(reach)	11	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix046_rmo.opt_false-unreach-call.i	unknown	53	220	unknown	2.5	210	false(reach)	18	50	false(reach)	0.93	37	false(reach)	24	510	true	0.17	27	false(reach)	9.8	260	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix046_tso.oepc_false-unreach-call.i	false(reach)	97	290	unknown	2.6	200	false(reach)	45	900	false(reach)	0.97	39	false(reach)	21	530	true	0.19	22	false(reach)	11	250	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix046_tso.opt_false-unreach-call.i	unknown	51	220	unknown	2.6	200	false(reach)	18	50	false(reach)	0.96	37	false(reach)	24	510	true	0.17	27	false(reach)	9.8	260	unknown	5.5	240	unknown	5.1	240
pthread-wmm/mix047_power.oepc_false-unreach-call.i	false(reach)	120	310	unknown	2.6	200	false(reach)	42	900	false(reach)	0.99	40	false(reach)	19	520	true	0.19	22	false(reach)	13	250	unknown	5.0	240	unknown	5.5	240
pthread-wmm/mix047_power.opt_false-unreach-call.i	false(reach)	51	230	unknown	2.6	200	false(reach)	18	50	false(reach)	0.95	37	false(reach)	20	490	true	0.17	27	false(reach)	12	250	unknown	5.9	240	unknown	5.4	240
pthread-wmm/mix047_pso.oepc_false-unreach-call.i	false(reach)	120	320	unknown	2.6	200	false(reach)	42	900	false(reach)	0.97	39	false(reach)	19	520	true	0.17	27	false(reach)	13	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix047_pso.opt_false-unreach-call.i	false(reach)	31	210	unknown	2.6	200	false(reach)	17	50	false(reach)	0.93	37	false(reach)	20	490	true	0.19	26	false(reach)	12	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i	false(reach)	120	320	unknown	2.6	200	false(reach)	42	900	false(reach)	0.97	38	false(reach)	19	510	true	0.18	27	false(reach)	13	240	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix047_rmo.opt_false-unreach-call.i	false(reach)	31	210	unknown	2.6	200	false(reach)	18	50	false(reach)	0.96	39	false(reach)	20	490	true	0.19	27	false(reach)	13	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix047_tso.oepc_false-unreach-call.i	false(reach)	51	220	unknown	2.6	200	false(reach)	18	50	false(reach)	0.94	39	false(reach)	20	500	true	0.16	27	false(reach)	13	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix047_tso.opt_false-unreach-call.i	false(reach)	30	210	unknown	2.6	210	false(reach)	18	50	false(reach)	0.94	37	false(reach)	20	500	true	0.19	22	false(reach)	13	260	unknown	5.3	240	unknown	5.3	240
pthread-wmm/mix048_power.oepc_false-unreach-call.i	false(reach)	3.5	80	unknown	2.6	210	false(reach)	2.2	24	false(reach)	0.76	36	false(reach)	7.0	260	true	0.28	27	false(reach)	6.9	240	unknown	5.5	240	unknown	5.3	240
pthread-wmm/mix048_power.opt_false-unreach-call.i	false(reach)	4.2	81	unknown	2.5	210	false(reach)	2.1	24	false(reach)	0.77	36	false(reach)	7.0	260	true	0.15	27	false(reach)	6.9	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix048_pso.oepc_false-unreach-call.i	false(reach)	6.7	81	unknown	3.2	210	false(reach)	2.1	24	false(reach)	0.77	35	false(reach)	7.0	260	true	0.23	27	false(reach)	7.0	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix048_pso.opt_false-unreach-call.i	false(reach)	4.2	80	unknown	2.5	210	false(reach)	2.1	24	false(reach)	0.76	35	false(reach)	7.0	250	true	0.26	27	false(reach)	7.8	250	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i	false(reach)	6.5	81	unknown	2.6	200	false(reach)	2.2	24	false(reach)	0.77	35	false(reach)	6.9	260	true	0.17	27	false(reach)	7.0	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix048_rmo.opt_false-unreach-call.i	false(reach)	4.1	80	unknown	2.5	210	false(reach)	2.1	24	false(reach)	0.74	35	false(reach)	7.0	260	true	0.16	27	false(reach)	6.9	240	unknown	5.4	240	unknown	5.4	240
pthread-wmm/mix048_tso.oepc_false-unreach-call.i	false(reach)	6.6	82	unknown	2.6	200	false(reach)	2.1	24	false(reach)	0.77	36	false(reach)	7.1	260	true	0.17	27	false(reach)	7.5	250	unknown	5.2	240	unknown	5.4	230
pthread-wmm/mix048_tso.opt_false-unreach-call.i	false(reach)	4.1	80	unknown	2.6	200	false(reach)	2.1	24	false(reach)	0.77	35	false(reach)	7.0	250	true	0.18	27	false(reach)	6.9	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix049_power.oepc_false-unreach-call.i	false(reach)	21	140	unknown	2.6	210	false(reach)	4.7	70	false(reach)	0.85	36	false(reach)	12	360	true	0.16	27	false(reach)	9.0	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix049_power.opt_false-unreach-call.i	false(reach)	20	140	unknown	2.6	210	false(reach)	4.4	70	false(reach)	0.87	36	false(reach)	12	360	true	0.17	27	false(reach)	8.2	260	unknown	5.1	240	unknown	5.4	240
pthread-wmm/mix049_pso.oepc_false-unreach-call.i	false(reach)	21	140	unknown	2.6	200	false(reach)	4.7	70	false(reach)	0.87	36	false(reach)	12	370	true	0.16	27	false(reach)	8.4	260	unknown	5.1	240	unknown	5.4	240
pthread-wmm/mix049_pso.opt_false-unreach-call.i	false(reach)	17	140	unknown	2.6	210	false(reach)	4.7	70	false(reach)	0.87	36	false(reach)	12	360	true	0.16	27	false(reach)	8.9	250	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i	false(reach)	21	140	unknown	2.6	200	false(reach)	4.6	70	false(reach)	0.86	36	false(reach)	12	360	true	0.16	27	false(reach)	8.4	250	unknown	5.2	240	unknown	5.5	240
pthread-wmm/mix049_rmo.opt_false-unreach-call.i	false(reach)	18	140	unknown	3.0	210	false(reach)	4.7	70	false(reach)	0.87	37	false(reach)	12	360	true	0.16	27	false(reach)	9.1	260	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix049_tso.oepc_false-unreach-call.i	false(reach)	21	140	unknown	2.6	200	false(reach)	4.7	70	false(reach)	0.87	36	false(reach)	12	360	true	0.15	27	false(reach)	8.9	250	unknown	5.5	240	unknown	5.1	240
pthread-wmm/mix049_tso.opt_false-unreach-call.i	false(reach)	17	140	unknown	2.6	200	false(reach)	4.7	70	false(reach)	0.87	36	false(reach)	12	360	true	0.16	27	false(reach)	8.2	260	unknown	5.4	240	unknown	5.4	250
pthread-wmm/mix050_power.oepc_false-unreach-call.i	false(reach)	82	260	unknown	2.6	200	false(reach)	42	900	false(reach)	0.98	37	false(reach)	16	500	true	0.19	27	false(reach)	12	250	unknown	5.2	230	unknown	5.4	240
pthread-wmm/mix050_power.opt_false-unreach-call.i	unknown	62	240	unknown	2.6	210	false(reach)	44	900	false(reach)	0.97	37	false(reach)	16	500	true	0.16	27	false(reach)	12	250	unknown	5.0	240	unknown	5.2	240
pthread-wmm/mix050_pso.oepc_false-unreach-call.i	unknown	62	240	unknown	2.6	200	false(reach)	43	900	false(reach)	0.97	37	false(reach)	16	500	true	0.16	27	false(reach)	11	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix050_pso.opt_false-unreach-call.i	unknown	37	220	unknown	2.6	200	false(reach)	44	900	false(reach)	0.96	38	false(reach)	16	500	true	0.18	27	false(reach)	13	250	unknown	5.3	240	unknown	5.8	240
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i	unknown	120	290	unknown	2.6	200	false(reach)	41	900	false(reach)	0.97	39	false(reach)	16	500	true	0.18	27	false(reach)	12	240	unknown	5.2	240	unknown	5.1	240
pthread-wmm/mix050_rmo.opt_false-unreach-call.i	false(reach)	100	280	unknown	2.7	210	false(reach)	42	900	false(reach)	0.97	39	false(reach)	16	500	true	0.34	27	false(reach)	12	240	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix050_tso.oepc_false-unreach-call.i	unknown	63	250	unknown	2.6	200	false(reach)	42	900	false(reach)	0.97	37	false(reach)	16	500	true	0.20	27	false(reach)	12	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix050_tso.opt_false-unreach-call.i	unknown	38	220	unknown	2.6	200	false(reach)	43	900	false(reach)	0.97	37	false(reach)	16	500	true	0.19	27	false(reach)	12	250	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix051_power.oepc_false-unreach-call.i	false(reach)	110	280	unknown	2.6	200	false(reach)	43	900	false(reach)	0.98	39	false(reach)	19	490	true	0.17	27	false(reach)	16	250	unknown	5.2	240	unknown	5.1	240
pthread-wmm/mix051_power.opt_false-unreach-call.i	false(reach)	110	280	unknown	2.6	210	false(reach)	43	900	false(reach)	0.98	40	false(reach)	19	490	true	0.15	27	false(reach)	16	240	unknown	5.1	240	unknown	5.4	240
pthread-wmm/mix051_pso.oepc_false-unreach-call.i	false(reach)	110	280	unknown	2.6	200	false(reach)	42	900	false(reach)	0.97	37	false(reach)	18	490	true	0.17	22	false(reach)	16	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix051_pso.opt_false-unreach-call.i	false(reach)	26	170	unknown	2.5	200	false(reach)	40	1300	false(reach)	0.85	36	false(reach)	18	450	true	0.15	27	false(reach)	10	250	unknown	5.4	240	unknown	5.1	240
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i	false(reach)	110	280	unknown	2.6	200	false(reach)	44	900	false(reach)	0.98	37	false(reach)	19	490	true	0.31	27	false(reach)	15	250	unknown	5.4	240	unknown	5.3	240
pthread-wmm/mix051_rmo.opt_false-unreach-call.i	false(reach)	26	170	unknown	2.6	210	false(reach)	39	1300	false(reach)	0.85	38	false(reach)	18	450	true	0.16	27	false(reach)	9.5	250	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix051_tso.oepc_false-unreach-call.i	false(reach)	43	220	unknown	2.6	200	false(reach)	28	58	false(reach)	0.97	38	false(reach)	20	490	true	0.18	22	false(reach)	16	260	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix051_tso.opt_false-unreach-call.i	false(reach)	26	170	unknown	2.5	200	false(reach)	40	1300	false(reach)	0.87	36	false(reach)	18	450	true	0.30	27	false(reach)	10	250	unknown	5.0	240	unknown	5.1	240
pthread-wmm/mix052_power.oepc_false-unreach-call.i	false(reach)	12	130	unknown	2.6	210	false(reach)	4.6	70	false(reach)	0.85	36	false(reach)	11	350	true	0.18	27	false(reach)	7.8	250	unknown	5.4	230	unknown	5.4	240
pthread-wmm/mix052_power.opt_false-unreach-call.i	false(reach)	12	130	unknown	2.6	210	false(reach)	4.2	70	false(reach)	0.86	36	false(reach)	11	360	true	0.18	27	false(reach)	8.4	250	unknown	5.4	240	unknown	5.3	240
pthread-wmm/mix052_pso.oepc_false-unreach-call.i	false(reach)	12	130	unknown	2.6	200	false(reach)	4.6	70	false(reach)	0.85	38	false(reach)	11	360	true	0.33	27	false(reach)	7.9	250	unknown	5.2	240	unknown	5.4	230
pthread-wmm/mix052_pso.opt_false-unreach-call.i	unknown	12	110	unknown	2.5	200	false(reach)	5.1	100	false(reach)	0.77	35	false(reach)	10	330	true	0.26	27	false(reach)	8.8	260	unknown	5.4	240	unknown	5.3	240
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i	false(reach)	12	130	unknown	2.6	200	false(reach)	4.6	70	false(reach)	0.87	36	false(reach)	11	360	true	0.18	27	false(reach)	7.8	250	unknown	5.9	240	unknown	5.4	240
pthread-wmm/mix052_rmo.opt_false-unreach-call.i	unknown	12	120	unknown	2.6	210	false(reach)	5.0	100	false(reach)	0.76	37	false(reach)	10	330	true	0.16	22	false(reach)	8.0	250	unknown	5.2	240	unknown	5.5	240
pthread-wmm/mix052_tso.oepc_false-unreach-call.i	false(reach)	12	130	unknown	2.6	200	false(reach)	4.1	28	false(reach)	0.85	36	false(reach)	12	360	true	0.31	27	false(reach)	9.3	270	unknown	5.4	240	unknown	5.4	240
pthread-wmm/mix052_tso.opt_false-unreach-call.i	unknown	12	110	unknown	2.5	200	false(reach)	5.1	100	false(reach)	0.77	35	false(reach)	10	330	true	0.17	29	false(reach)	8.1	250	unknown	5.1	240	unknown	5.4	240
pthread-wmm/mix053_power.oepc_false-unreach-call.i	false(reach)	98	280	unknown	2.6	210	false(reach)	42	900	false(reach)	0.98	37	false(reach)	16	480	true	0.20	22	false(reach)	11	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix053_power.opt_false-unreach-call.i	false(reach)	27	180	unknown	2.6	210	false(reach)	40	1300	false(reach)	0.84	36	false(reach)	18	440	true	0.27	27	false(reach)	9.2	250	unknown	5.3	240	unknown	5.1	240
pthread-wmm/mix053_pso.oepc_false-unreach-call.i	false(reach)	65	240	unknown	2.6	200	false(reach)	42	900	false(reach)	0.99	37	false(reach)	16	480	true	0.16	27	false(reach)	11	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/mix053_pso.opt_false-unreach-call.i	false(reach)	44	190	unknown	2.6	200	false(reach)	40	1300	false(reach)	0.85	36	false(reach)	18	440	true	0.31	27	false(reach)	8.7	250	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i	false(reach)	64	240	unknown	2.6	200	false(reach)	42	900	false(reach)	0.98	37	false(reach)	17	480	true	0.31	27	false(reach)	10	260	unknown	5.3	240	unknown	5.0	240
pthread-wmm/mix053_rmo.opt_false-unreach-call.i	false(reach)	43	190	unknown	2.5	210	false(reach)	40	1300	false(reach)	0.87	37	false(reach)	18	440	true	0.18	22	false(reach)	8.6	250	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix053_tso.oepc_false-unreach-call.i	false(reach)	22	190	unknown	2.6	210	false(reach)	24	55	false(reach)	0.94	39	false(reach)	16	470	true	0.18	22	false(reach)	10	260	unknown	5.5	240	unknown	5.4	240
pthread-wmm/mix053_tso.opt_false-unreach-call.i	false(reach)	44	190	unknown	2.6	200	false(reach)	40	1300	false(reach)	0.86	36	false(reach)	18	440	true	0.25	27	false(reach)	8.8	260	unknown	5.3	240	unknown	5.5	240
pthread-wmm/mix054_power.oepc_false-unreach-call.i	false(reach)	4.1	82	unknown	2.6	210	false(reach)	2.1	24	false(reach)	0.77	35	false(reach)	6.5	250	true	0.14	27	false(reach)	6.4	240	unknown	5.4	240	unknown	5.1	240
pthread-wmm/mix054_power.opt_false-unreach-call.i	false(reach)	4.1	81	unknown	2.6	210	false(reach)	2.1	24	false(reach)	0.76	35	false(reach)	6.5	250	true	0.16	27	false(reach)	6.4	250	unknown	5.8	240	unknown	5.1	240
pthread-wmm/mix054_pso.oepc_false-unreach-call.i	false(reach)	4.2	80	unknown	2.5	210	false(reach)	2.1	24	false(reach)	0.74	36	false(reach)	6.6	250	true	0.18	22	false(reach)	6.4	250	unknown	5.2	230	unknown	5.2	240
pthread-wmm/mix054_pso.opt_false-unreach-call.i	false(reach)	3.0	81	unknown	2.6	200	false(reach)	2.2	23	false(reach)	0.75	35	false(reach)	6.6	250	true	0.34	27	false(reach)	7.3	270	unknown	5.4	240	unknown	5.1	240
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i	false(reach)	4.1	79	unknown	2.5	210	false(reach)	2.2	23	false(reach)	0.75	35	false(reach)	6.5	250	true	0.15	27	false(reach)	6.3	240	unknown	5.3	240	unknown	5.5	240
pthread-wmm/mix054_rmo.opt_false-unreach-call.i	false(reach)	3.0	79	unknown	2.6	210	false(reach)	2.2	23	false(reach)	0.77	35	false(reach)	6.6	250	true	0.15	27	false(reach)	7.3	260	unknown	5.0	240	unknown	5.4	240
pthread-wmm/mix054_tso.oepc_false-unreach-call.i	false(reach)	4.0	80	unknown	2.5	210	false(reach)	2.1	23	false(reach)	0.77	35	false(reach)	6.6	250	true	0.16	27	false(reach)	7.3	260	unknown	5.8	240	unknown	5.8	240
pthread-wmm/mix054_tso.opt_false-unreach-call.i	false(reach)	2.9	79	unknown	2.5	200	false(reach)	2.1	23	false(reach)	0.75	37	false(reach)	6.6	250	true	0.18	27	false(reach)	7.3	270	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix055_power.oepc_false-unreach-call.i	false(reach)	70	250	unknown	2.6	200	false(reach)	40	900	false(reach)	0.97	37	false(reach)	17	470	true	0.18	27	false(reach)	10	260	unknown	5.0	240	unknown	5.4	240
pthread-wmm/mix055_power.opt_false-unreach-call.i	unknown	40	200	unknown	2.6	200	false(reach)	18	49	false(reach)	0.86	38	false(reach)	21	460	true	0.17	27	false(reach)	10.0	280	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix055_pso.oepc_false-unreach-call.i	false(reach)	160	320	unknown	2.6	210	false(reach)	42	900	false(reach)	0.97	37	false(reach)	17	470	true	0.33	27	false(reach)	9.1	260	unknown	5.5	240	unknown	5.2	240
pthread-wmm/mix055_pso.opt_false-unreach-call.i	false(reach)	42	200	unknown	2.5	200	false(reach)	18	49	false(reach)	0.86	37	false(reach)	21	460	true	0.17	27	false(reach)	9.7	270	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i	false(reach)	170	320	unknown	2.6	210	false(reach)	39	900	false(reach)	0.97	37	false(reach)	17	480	true	0.18	22	false(reach)	9.2	260	unknown	5.3	240	unknown	5.2	240
pthread-wmm/mix055_rmo.opt_false-unreach-call.i	false(reach)	42	200	unknown	2.6	200	false(reach)	17	49	false(reach)	0.91	38	false(reach)	21	460	true	0.18	23	false(reach)	10	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/mix055_tso.oepc_false-unreach-call.i	false(reach)	120	280	unknown	2.6	200	false(reach)	29	58	false(reach)	0.97	39	false(reach)	19	480	true	0.28	27	false(reach)	10	270	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix055_tso.opt_false-unreach-call.i	false(reach)	42	200	unknown	2.6	200	false(reach)	17	49	false(reach)	0.91	37	false(reach)	21	460	true	0.18	27	false(reach)	9.9	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/mix056_power.oepc_false-unreach-call.i	false(reach)	24	140	unknown	2.5	200	false(reach)	4.7	69	false(reach)	0.86	38	false(reach)	12	340	true	0.16	27	false(reach)	7.8	260	unknown	5.0	240	unknown	5.0	240
pthread-wmm/mix056_power.opt_false-unreach-call.i	unknown	12	120	unknown	2.6	200	false(reach)	3.5	31	false(reach)	0.85	37	false(reach)	11	340	true	0.32	27	false(reach)	8.4	270	unknown	5.3	240	unknown	5.8	240
pthread-wmm/mix056_pso.oepc_false-unreach-call.i	false(reach)	21	140	unknown	2.6	210	false(reach)	4.6	70	false(reach)	0.86	36	false(reach)	12	350	true	0.18	27	false(reach)	7.5	260	unknown	5.0	240	unknown	5.4	240
pthread-wmm/mix056_pso.opt_false-unreach-call.i	unknown	9.0	120	unknown	2.6	200	false(reach)	3.6	27	false(reach)	0.83	37	false(reach)	11	340	true	0.19	27	false(reach)	7.9	270	unknown	5.2	240	unknown	5.2	240
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i	false(reach)	21	140	unknown	2.6	200	false(reach)	4.6	70	false(reach)	0.87	36	false(reach)	12	350	true	0.17	27	false(reach)	7.9	250	unknown	5.1	240	unknown	5.4	240
pthread-wmm/mix056_rmo.opt_false-unreach-call.i	unknown	14	120	unknown	2.6	200	false(reach)	3.6	27	false(reach)	0.83	36	false(reach)	11	340	true	0.15	27	false(reach)	7.9	270	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix056_tso.oepc_false-unreach-call.i	unknown	9.9	120	unknown	2.5	200	false(reach)	3.6	27	false(reach)	0.85	38	false(reach)	11	340	true	0.19	22	false(reach)	7.9	270	unknown	5.0	240	unknown	5.1	240
pthread-wmm/mix056_tso.opt_false-unreach-call.i	unknown	9.0	120	unknown	2.6	200	false(reach)	3.5	27	false(reach)	0.79	36	false(reach)	11	340	true	0.31	27	false(reach)	7.9	270	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix057_power.oepc_false-unreach-call.i	false(reach)	66	250	unknown	2.6	200	false(reach)	42	900	false(reach)	0.97	37	false(reach)	20	460	true	0.32	27	false(reach)	10	250	unknown	5.2	240	unknown	5.2	230
pthread-wmm/mix057_power.opt_false-unreach-call.i	false(reach)	24	180	unknown	2.5	210	false(reach)	17	49	false(reach)	0.88	37	false(reach)	16	440	true	0.31	27	false(reach)	10.0	260	unknown	5.4	240	unknown	5.3	240
pthread-wmm/mix057_pso.oepc_false-unreach-call.i	false(reach)	63	240	unknown	2.6	210	false(reach)	41	900	false(reach)	0.95	39	false(reach)	20	470	true	0.16	27	false(reach)	11	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix057_pso.opt_false-unreach-call.i	false(reach)	35	190	unknown	2.6	210	false(reach)	17	49	false(reach)	0.94	38	false(reach)	16	440	true	0.17	26	false(reach)	10	260	unknown	5.1	240	unknown	5.2	240
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i	false(reach)	59	240	unknown	2.6	200	false(reach)	42	900	false(reach)	0.95	39	false(reach)	20	460	true	0.16	27	false(reach)	10	260	unknown	5.0	240	unknown	5.3	240
pthread-wmm/mix057_rmo.opt_false-unreach-call.i	false(reach)	30	180	unknown	2.6	200	false(reach)	17	49	false(reach)	0.88	37	false(reach)	16	440	true	0.28	27	false(reach)	10	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix057_tso.oepc_false-unreach-call.i	false(reach)	24	180	unknown	2.6	200	false(reach)	17	49	false(reach)	0.90	37	false(reach)	16	440	true	0.33	27	false(reach)	11	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/mix057_tso.opt_false-unreach-call.i	false(reach)	34	190	unknown	2.6	210	false(reach)	17	49	false(reach)	0.92	38	false(reach)	16	440	true	0.36	27	false(reach)	9.8	270	unknown	5.3	240	unknown	5.1	240
pthread-wmm/podwr000_power.oepc_false-unreach-call.i	false(reach)	3.8	80	unknown	2.6	210	false(reach)	2.1	24	false(reach)	0.77	35	false(reach)	7.0	260	true	0.21	27	false(reach)	6.9	240	unknown	5.3	240	unknown	5.0	240
pthread-wmm/podwr000_power.opt_false-unreach-call.i	false(reach)	6.9	82	unknown	2.6	210	false(reach)	2.1	24	false(reach)	0.76	35	false(reach)	7.0	260	true	0.17	27	false(reach)	6.9	240	unknown	5.3	240	unknown	5.2	240
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i	false(reach)	3.4	81	unknown	2.5	210	false(reach)	2.1	24	false(reach)	0.74	36	false(reach)	7.0	260	true	0.17	22	false(reach)	7.0	250	unknown	5.3	240	unknown	5.2	240
pthread-wmm/podwr000_pso.opt_false-unreach-call.i	false(reach)	4.2	81	unknown	2.6	200	false(reach)	2.2	24	false(reach)	0.76	35	false(reach)	7.0	260	true	0.27	27	false(reach)	7.2	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i	false(reach)	3.5	81	unknown	2.5	210	false(reach)	2.2	23	false(reach)	0.77	35	false(reach)	7.0	260	true	0.29	27	false(reach)	6.9	250	unknown	5.0	240	unknown	5.3	240
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i	false(reach)	4.2	80	unknown	2.5	210	false(reach)	2.1	24	false(reach)	0.75	35	false(reach)	7.1	260	true	0.17	27	false(reach)	6.9	250	unknown	5.4	240	unknown	5.4	240
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i	false(reach)	3.5	81	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.77	35	false(reach)	7.0	250	true	0.16	27	false(reach)	6.9	240	unknown	5.1	240	unknown	5.0	240
pthread-wmm/podwr000_tso.opt_false-unreach-call.i	false(reach)	4.2	81	unknown	2.6	210	false(reach)	2.2	24	false(reach)	0.76	35	false(reach)	7.0	260	true	0.18	27	false(reach)	6.9	240	unknown	5.2	240	unknown	5.5	240
pthread-wmm/podwr001_power.oepc_false-unreach-call.i	false(reach)	12	130	unknown	2.6	200	false(reach)	4.7	70	false(reach)	0.86	38	false(reach)	12	360	true	0.30	27	false(reach)	8.3	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/podwr001_power.opt_false-unreach-call.i	false(reach)	20	140	unknown	2.6	210	false(reach)	4.7	70	false(reach)	0.88	36	false(reach)	12	360	true	0.31	27	false(reach)	8.4	260	unknown	5.0	240	unknown	5.4	240
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i	false(reach)	21	140	unknown	2.6	210	false(reach)	4.7	70	false(reach)	0.87	38	false(reach)	12	370	true	0.31	27	false(reach)	8.9	250	unknown	5.0	240	unknown	5.2	240
pthread-wmm/podwr001_pso.opt_false-unreach-call.i	false(reach)	20	140	unknown	2.6	200	false(reach)	4.6	70	false(reach)	0.86	36	false(reach)	12	360	true	0.15	27	false(reach)	8.4	250	unknown	5.0	240	unknown	5.2	240
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i	false(reach)	21	140	unknown	2.6	210	false(reach)	4.7	70	false(reach)	0.86	36	false(reach)	12	360	true	0.20	27	false(reach)	9.5	260	unknown	5.3	240	unknown	5.2	240
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i	false(reach)	21	140	unknown	2.6	200	false(reach)	4.7	70	false(reach)	0.87	36	false(reach)	12	360	true	0.17	27	false(reach)	9.4	250	unknown	5.0	240	unknown	5.4	240
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i	false(reach)	20	140	unknown	2.6	210	false(reach)	4.6	70	false(reach)	0.87	36	false(reach)	12	360	true	0.17	22	false(reach)	8.4	250	unknown	5.2	240	unknown	5.1	240
pthread-wmm/podwr001_tso.opt_false-unreach-call.i	false(reach)	20	140	unknown	2.6	200	false(reach)	4.7	70	false(reach)	0.88	36	false(reach)	12	360	true	0.15	27	false(reach)	9.3	250	unknown	5.4	240	unknown	5.3	240
pthread-wmm/rfi000_power.oepc_false-unreach-call.i	false(reach)	13	160	unknown	2.6	200	false(reach)	2.5	36	false(reach)	1.0	38	false(reach)	9.4	350	true	0.18	24	false(reach)	9.6	260	unknown	5.4	240	unknown	5.2	240
pthread-wmm/rfi000_power.opt_false-unreach-call.i	unknown	7.6	95	unknown	2.6	200	false(reach)	2.2	23	false(reach)	0.77	35	false(reach)	7.9	300	true	0.19	22	false(reach)	10	260	unknown	5.4	240	unknown	5.0	240
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i	false(reach)	13	160	unknown	2.7	200	false(reach)	2.3	36	false(reach)	1.0	39	false(reach)	9.4	350	true	0.19	22	false(reach)	9.3	260	unknown	5.5	240	unknown	5.2	240
pthread-wmm/rfi000_pso.opt_false-unreach-call.i	unknown	4.1	96	unknown	2.5	200	false(reach)	2.2	23	false(reach)	0.78	35	false(reach)	7.9	290	true	0.17	27	false(reach)	10	260	unknown	5.5	240	unknown	5.2	240
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i	false(reach)	13	160	unknown	2.7	200	false(reach)	2.5	36	false(reach)	1.1	39	false(reach)	9.5	350	true	0.18	27	false(reach)	9.2	270	unknown	5.1	240	unknown	5.3	240
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i	unknown	4.0	95	unknown	2.6	200	false(reach)	2.3	23	false(reach)	0.77	35	false(reach)	7.9	290	true	0.17	27	false(reach)	9.5	260	unknown	5.4	240	unknown	5.4	240
pthread-wmm/rfi001_power.oepc_false-unreach-call.i	false(reach)	6.4	95	unknown	2.6	210	false(reach)	2.1	24	false(reach)	0.77	37	false(reach)	8.5	300	true	0.16	22	false(reach)	7.0	250	unknown	5.5	240	unknown	5.5	240
pthread-wmm/rfi001_power.opt_false-unreach-call.i	false(reach)	7.8	94	unknown	2.6	200	false(reach)	1.1	23	false(reach)	0.77	35	false(reach)	8.4	300	true	0.16	27	false(reach)	7.5	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i	false(reach)	7.2	97	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.78	35	false(reach)	8.5	300	true	0.19	22	false(reach)	6.9	240	unknown	5.3	240	unknown	5.2	240
pthread-wmm/rfi001_pso.opt_false-unreach-call.i	false(reach)	2.8	95	unknown	2.6	200	false(reach)	2.2	23	false(reach)	0.78	37	false(reach)	8.4	300	true	0.18	27	false(reach)	7.3	270	unknown	5.0	240	unknown	5.3	240
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i	false(reach)	7.1	95	unknown	2.6	210	false(reach)	2.2	24	false(reach)	0.78	35	false(reach)	8.5	300	true	0.15	27	false(reach)	6.9	250	unknown	5.3	240	unknown	4.9	240
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i	false(reach)	2.9	94	unknown	2.6	200	false(reach)	2.2	23	false(reach)	0.79	35	false(reach)	8.4	300	true	0.18	27	false(reach)	7.5	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i	false(reach)	4.7	96	unknown	2.6	200	false(reach)	2.1	23	false(reach)	0.77	36	false(reach)	8.4	300	true	0.17	27	false(reach)	7.4	270	unknown	5.2	240	unknown	5.4	240
pthread-wmm/rfi001_tso.opt_false-unreach-call.i	false(reach)	2.8	95	unknown	2.5	200	false(reach)	2.2	23	false(reach)	0.78	35	false(reach)	8.4	300	true	0.18	22	false(reach)	7.4	260	unknown	5.2	240	unknown	5.5	230
pthread-wmm/rfi003_power.oepc_false-unreach-call.i	false(reach)	4.8	97	unknown	2.5	210	false(reach)	2.3	24	false(reach)	0.76	35	false(reach)	8.8	300	true	0.18	22	false(reach)	9.0	270	unknown	5.3	240	unknown	5.2	240
pthread-wmm/rfi003_power.opt_false-unreach-call.i	false(reach)	8.3	97	unknown	2.5	200	false(reach)	2.3	25	false(reach)	0.76	37	false(reach)	8.8	300	true	0.17	26	false(reach)	9.8	270	unknown	5.0	240	unknown	5.5	240
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i	false(reach)	4.4	96	unknown	2.5	200	false(reach)	2.3	24	false(reach)	0.74	35	false(reach)	8.7	300	true	0.18	27	false(reach)	9.0	260	unknown	5.4	240	unknown	5.2	240
pthread-wmm/rfi003_pso.opt_false-unreach-call.i	false(reach)	7.5	96	unknown	2.5	200	false(reach)	2.3	24	false(reach)	0.75	35	false(reach)	8.8	300	true	0.31	27	false(reach)	9.8	280	unknown	5.0	240	unknown	5.2	240
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i	false(reach)	4.4	96	unknown	2.6	210	false(reach)	2.3	24	false(reach)	0.76	35	false(reach)	8.7	300	true	0.18	27	false(reach)	10	270	unknown	5.3	240	unknown	5.2	240
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i	false(reach)	7.5	97	unknown	2.5	210	false(reach)	2.3	25	false(reach)	0.75	36	false(reach)	8.8	300	true	0.16	27	false(reach)	9.9	270	unknown	5.3	240	unknown	5.2	240
pthread-wmm/rfi004_power.oepc_false-unreach-call.i	false(reach)	9.6	97	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.73	35	false(reach)	9.0	310	true	0.17	27	false(reach)	6.9	250	unknown	5.0	240	unknown	5.3	240
pthread-wmm/rfi004_power.opt_false-unreach-call.i	false(reach)	9.1	96	unknown	2.6	210	false(reach)	1.7	24	false(reach)	0.75	36	false(reach)	9.0	310	true	0.18	27	false(reach)	7.0	260	unknown	5.0	240	unknown	5.5	240
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i	false(reach)	6.3	95	unknown	2.5	210	false(reach)	2.2	25	false(reach)	0.76	35	false(reach)	9.2	310	true	0.14	27	false(reach)	6.9	250	unknown	5.0	240	unknown	5.1	240
pthread-wmm/rfi004_pso.opt_false-unreach-call.i	false(reach)	10	98	unknown	2.5	210	false(reach)	2.2	24	false(reach)	0.73	35	false(reach)	9.0	310	true	0.18	27	false(reach)	7.7	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i	false(reach)	6.4	96	unknown	2.5	210	false(reach)	2.2	24	false(reach)	0.74	36	false(reach)	9.0	310	true	0.15	27	false(reach)	7.2	250	unknown	5.5	240	unknown	5.3	240
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i	false(reach)	12	100	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.74	35	false(reach)	9.2	310	true	0.19	27	false(reach)	7.0	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i	false(reach)	6.4	96	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.76	35	false(reach)	9.0	310	true	0.14	27	false(reach)	6.8	250	unknown	5.1	240	unknown	5.2	240
pthread-wmm/rfi004_tso.opt_false-unreach-call.i	false(reach)	10	96	unknown	2.6	210	false(reach)	2.2	24	false(reach)	0.74	35	false(reach)	9.0	310	true	0.17	27	false(reach)	7.0	250	unknown	5.1	240	unknown	5.0	240
pthread-wmm/rfi005_power.oepc_false-unreach-call.i	unknown	6.0	160	unknown	2.7	200	false(reach)	2.2	25	false(reach)	1.0	38	false(reach)	10	390	true	0.34	27	false(reach)	5.4	220	unknown	5.4	240	unknown	5.1	240
pthread-wmm/rfi005_power.opt_false-unreach-call.i	unknown	5.4	160	unknown	2.6	200	false(reach)	2.2	25	false(reach)	1.0	39	false(reach)	10	390	true	0.19	27	false(reach)	5.3	210	unknown	5.9	230	unknown	5.3	240
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i	false(reach)	5.6	160	unknown	2.7	200	false(reach)	2.2	25	false(reach)	1.0	38	false(reach)	10	390	true	0.33	27	false(reach)	5.3	210	unknown	5.2	240	unknown	5.1	240
pthread-wmm/rfi005_pso.opt_false-unreach-call.i	false(reach)	5.7	160	unknown	2.6	200	false(reach)	2.2	25	false(reach)	1.0	41	false(reach)	10	390	true	0.18	22	false(reach)	5.4	220	unknown	5.4	240	unknown	5.2	240
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i	false(reach)	5.5	160	unknown	2.6	200	false(reach)	2.1	25	false(reach)	1.0	38	false(reach)	10	380	true	0.18	27	false(reach)	5.3	210	unknown	5.2	240	unknown	5.3	240
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i	false(reach)	5.8	160	unknown	2.7	200	false(reach)	2.2	25	false(reach)	1.0	38	false(reach)	10	380	true	0.17	27	false(reach)	5.3	220	unknown	5.1	240	unknown	5.5	240
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i	false(reach)	5.5	160	unknown	2.7	210	false(reach)	2.2	25	false(reach)	1.0	40	false(reach)	10	380	true	0.18	27	false(reach)	5.4	220	unknown	5.1	240	unknown	5.5	240
pthread-wmm/rfi005_tso.opt_false-unreach-call.i	false(reach)	5.8	160	unknown	2.7	210	false(reach)	2.1	25	false(reach)	1.0	40	false(reach)	10	390	true	0.19	27	false(reach)	5.6	210	unknown	5.2	240	unknown	5.2	240
pthread-wmm/rfi006_power.oepc_false-unreach-call.i	false(reach)	9.3	140	unknown	2.7	200	false(reach)	3.5	29	false(reach)	0.95	38	false(reach)	25	590	true	0.32	27	false(reach)	6.2	250	unknown	5.0	240	unknown	5.2	240
pthread-wmm/rfi006_power.opt_false-unreach-call.i	false(reach)	19	150	unknown	2.8	200	false(reach)	6.0	130	false(reach)	1.0	37	false(reach)	26	640	true	0.18	27	false(reach)	7.1	250	unknown	5.2	240	unknown	5.1	240
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i	false(reach)	16	160	unknown	2.6	210	false(reach)	4.9	30	false(reach)	0.99	37	false(reach)	14	390	true	0.17	27	false(reach)	13	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/rfi006_pso.opt_false-unreach-call.i	false(reach)	14	160	unknown	2.7	200	false(reach)	4.9	30	false(reach)	1.0	37	false(reach)	14	390	true	0.26	27	false(reach)	14	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i	false(reach)	12	130	unknown	2.6	200	false(reach)	3.4	28	false(reach)	0.93	37	false(reach)	23	580	true	0.19	27	false(reach)	6.3	250	unknown	5.4	240	unknown	5.0	240
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i	false(reach)	17	130	unknown	2.6	200	false(reach)	3.3	31	false(reach)	0.90	37	false(reach)	23	580	true	0.17	27	false(reach)	6.9	240	unknown	5.3	240	unknown	5.1	240
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i	false(reach)	16	160	unknown	2.6	200	false(reach)	5.5	34	false(reach)	1.0	37	false(reach)	14	400	true	0.18	27	false(reach)	13	290	unknown	5.2	240	unknown	5.2	240
pthread-wmm/rfi006_tso.opt_false-unreach-call.i	false(reach)	14	160	unknown	2.6	200	false(reach)	5.4	32	false(reach)	1.0	39	false(reach)	14	400	true	0.18	27	false(reach)	12	280	unknown	5.4	240	unknown	5.2	240
pthread-wmm/rfi007_power.oepc_false-unreach-call.i	false(reach)	6.5	88	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.78	35	false(reach)	7.6	270	true	0.17	22	false(reach)	7.0	240	unknown	5.2	240	unknown	5.2	240
pthread-wmm/rfi007_power.opt_false-unreach-call.i	false(reach)	6.7	89	unknown	2.5	210	false(reach)	2.2	24	false(reach)	0.75	35	false(reach)	7.7	270	true	0.30	27	false(reach)	7.3	240	unknown	5.4	240	unknown	5.2	240
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i	false(reach)	6.2	87	unknown	2.6	200	false(reach)	2.1	24	false(reach)	0.78	35	false(reach)	7.6	270	true	0.33	27	false(reach)	6.9	250	unknown	5.2	240	unknown	5.5	240
pthread-wmm/rfi007_pso.opt_false-unreach-call.i	false(reach)	4.2	87	unknown	2.6	210	false(reach)	2.1	24	false(reach)	0.78	37	false(reach)	7.7	270	true	0.35	27	false(reach)	7.0	250	unknown	5.1	240	unknown	5.0	240
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i	false(reach)	6.2	87	unknown	2.5	210	false(reach)	2.2	24	false(reach)	0.76	35	false(reach)	7.6	270	true	0.19	27	false(reach)	7.8	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i	false(reach)	4.2	86	unknown	2.5	210	false(reach)	2.1	24	false(reach)	0.78	35	false(reach)	7.6	270	true	0.16	27	false(reach)	6.9	250	unknown	5.8	240	unknown	5.5	240
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i	false(reach)	5.8	120	unknown	2.5	210	false(reach)	1.2	24	false(reach)	0.91	38	false(reach)	8.2	310	true	0.21	22	false(reach)	7.9	270	unknown	5.1	240	unknown	5.0	240
pthread-wmm/rfi007_tso.opt_false-unreach-call.i	false(reach)	8.3	120	unknown	2.6	200	false(reach)	2.0	24	false(reach)	0.90	38	false(reach)	8.2	310	true	0.19	27	false(reach)	7.8	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/rfi008_power.oepc_false-unreach-call.i	false(reach)	12	120	unknown	2.6	200	false(reach)	2.4	32	false(reach)	0.88	36	false(reach)	11	340	true	0.32	27	false(reach)	9.2	250	unknown	5.2	240	unknown	5.0	240
pthread-wmm/rfi008_power.opt_false-unreach-call.i	false(reach)	8.5	110	unknown	2.6	200	false(reach)	2.2	26	false(reach)	0.87	38	false(reach)	9.1	330	true	0.33	27	false(reach)	8.6	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i	false(reach)	10	130	unknown	2.7	200	false(reach)	2.4	32	false(reach)	0.90	36	false(reach)	11	340	true	0.16	22	false(reach)	8.5	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/rfi008_pso.opt_false-unreach-call.i	false(reach)	9.9	110	unknown	2.6	200	false(reach)	2.3	26	false(reach)	0.83	36	false(reach)	9.0	330	true	0.16	22	false(reach)	8.0	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i	false(reach)	10	120	unknown	2.6	200	false(reach)	2.4	32	false(reach)	0.90	36	false(reach)	11	340	true	0.16	27	false(reach)	8.3	260	unknown	5.4	240	unknown	5.2	240
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i	false(reach)	10	110	unknown	2.6	200	false(reach)	2.2	26	false(reach)	0.84	36	false(reach)	9.1	330	true	0.18	27	false(reach)	7.9	250	unknown	5.4	240	unknown	5.5	240
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i	false(reach)	10	120	unknown	2.6	200	false(reach)	2.4	32	false(reach)	0.90	36	false(reach)	11	340	true	0.31	27	false(reach)	9.1	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/rfi008_tso.opt_false-unreach-call.i	false(reach)	10.0	110	unknown	2.5	200	false(reach)	2.1	26	false(reach)	0.83	36	false(reach)	9.1	330	true	0.16	27	false(reach)	8.8	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/rfi009_power.oepc_false-unreach-call.i	false(reach)	11	140	unknown	2.6	200	false(reach)	3.4	29	false(reach)	0.94	38	false(reach)	23	600	true	0.31	27	false(reach)	6.5	250	unknown	5.4	240	unknown	5.8	240
pthread-wmm/rfi009_power.opt_false-unreach-call.i	false(reach)	24	150	unknown	2.6	210	false(reach)	6.8	130	false(reach)	0.93	37	false(reach)	13	400	true	0.18	27	false(reach)	13	280	unknown	5.4	240	unknown	5.4	240
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i	false(reach)	23	150	unknown	2.6	210	false(reach)	6.7	130	false(reach)	0.93	37	false(reach)	13	400	true	0.17	27	false(reach)	13	260	unknown	5.0	240	unknown	5.2	240
pthread-wmm/rfi009_pso.opt_false-unreach-call.i	false(reach)	20	150	unknown	2.6	210	false(reach)	6.3	130	false(reach)	0.93	37	false(reach)	14	400	true	0.16	27	false(reach)	12	250	unknown	5.1	240	unknown	5.4	240
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i	false(reach)	20	130	unknown	2.6	210	false(reach)	3.4	28	false(reach)	0.93	37	false(reach)	22	590	true	0.26	27	false(reach)	6.3	240	unknown	5.1	240	unknown	5.3	240
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i	false(reach)	20	150	unknown	2.6	210	false(reach)	6.8	130	false(reach)	0.92	37	false(reach)	13	400	true	0.18	27	false(reach)	12	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i	false(reach)	24	150	unknown	2.6	200	false(reach)	6.5	130	false(reach)	0.94	38	false(reach)	13	400	true	0.17	27	false(reach)	13	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/rfi009_tso.opt_false-unreach-call.i	false(reach)	20	150	unknown	2.6	210	false(reach)	6.7	130	false(reach)	0.92	37	false(reach)	14	400	true	0.17	27	false(reach)	13	250	unknown	5.8	240	unknown	5.2	240
pthread-wmm/rfi010_power.oepc_false-unreach-call.i	unknown	9.5	110	unknown	2.6	200	false(reach)	2.2	26	false(reach)	0.88	38	false(reach)	8.8	320	true	0.19	22	false(reach)	7.5	260	unknown	5.1	240	unknown	5.4	240
pthread-wmm/rfi010_power.opt_false-unreach-call.i	unknown	11	110	unknown	2.6	200	false(reach)	2.2	26	false(reach)	0.84	36	false(reach)	8.8	320	true	0.29	27	false(reach)	7.4	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i	unknown	8.7	110	unknown	2.6	210	false(reach)	2.2	26	false(reach)	0.82	37	false(reach)	8.8	320	true	0.31	27	false(reach)	8.2	250	unknown	5.1	240	unknown	5.2	240
pthread-wmm/rfi010_pso.opt_false-unreach-call.i	unknown	10.0	110	unknown	2.6	210	false(reach)	2.3	26	false(reach)	0.84	36	false(reach)	8.8	320	true	0.17	22	false(reach)	7.5	250	unknown	5.3	240	unknown	5.3	240
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i	unknown	8.7	110	unknown	2.6	210	false(reach)	2.2	26	false(reach)	0.81	36	false(reach)	8.8	320	true	0.17	27	false(reach)	7.5	260	unknown	5.2	240	unknown	5.1	240
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i	unknown	9.9	110	unknown	2.6	200	false(reach)	2.2	26	false(reach)	0.82	36	false(reach)	8.8	320	true	0.17	27	false(reach)	8.1	250	unknown	5.3	240	unknown	5.2	240
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i	unknown	8.9	110	unknown	2.6	200	false(reach)	2.2	26	false(reach)	0.82	36	false(reach)	8.8	320	true	0.19	22	false(reach)	8.2	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/rfi010_tso.opt_false-unreach-call.i	unknown	10	110	unknown	2.6	210	false(reach)	1.8	26	false(reach)	0.82	36	false(reach)	8.8	320	true	0.19	26	false(reach)	7.4	250	unknown	5.4	240	unknown	5.5	240
pthread-wmm/safe000_power.oepc_false-unreach-call.i	false(reach)	24	200	unknown	2.7	210	false(reach)	4.0	31	false(reach)	1.1	40	false(reach)	26	670	true	0.27	27	false(reach)	7.3	250	unknown	5.0	240	unknown	5.2	240
pthread-wmm/safe000_power.opt_false-unreach-call.i	unknown	12	150	unknown	2.7	210	false(reach)	11	300	false(reach)	0.96	39	false(reach)	23	620	true	0.17	27	false(reach)	46	270	unknown	5.0	230	unknown	5.2	240
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i	unknown	21	180	unknown	2.7	200	false(reach)	4.0	30	false(reach)	1.1	39	false(reach)	24	650	true	0.21	26	false(reach)	7.1	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/safe000_rmo.opt_false-unreach-call.i	unknown	21	180	unknown	2.7	200	false(reach)	4.0	30	false(reach)	1.1	40	false(reach)	24	650	true	0.18	27	false(reach)	7.0	250	unknown	5.4	240	unknown	5.4	240
pthread-wmm/safe001_power.oepc_false-unreach-call.i	false(reach)	21	190	unknown	2.7	210	false(reach)	4.0	31	false(reach)	1.1	40	false(reach)	24	650	true	0.20	22	false(reach)	7.8	250	unknown	5.0	240	unknown	5.8	230
pthread-wmm/safe001_power.opt_false-unreach-call.i	false(reach)	20	140	unknown	2.5	200	false(reach)	4.7	29	false(reach)	0.88	38	false(reach)	11	350	true	0.18	27	false(reach)	12	250	unknown	5.0	240	unknown	5.2	240
pthread-wmm/safe001_pso.oepc_false-unreach-call.i	false(reach)	26	140	unknown	2.6	200	false(reach)	4.7	29	false(reach)	0.85	36	false(reach)	11	350	true	0.16	27	false(reach)	11	260	unknown	5.0	240	unknown	5.5	240
pthread-wmm/safe001_pso.opt_false-unreach-call.i	false(reach)	27	140	unknown	2.6	200	false(reach)	4.7	28	false(reach)	0.86	38	false(reach)	11	350	true	0.16	27	false(reach)	12	260	unknown	5.5	240	unknown	5.1	240
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i	false(reach)	12	170	unknown	2.7	200	false(reach)	4.0	30	false(reach)	1.1	39	false(reach)	23	650	true	0.16	27	false(reach)	7.4	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/safe001_rmo.opt_false-unreach-call.i	false(reach)	27	140	unknown	2.6	200	false(reach)	4.7	28	false(reach)	0.87	36	false(reach)	11	350	true	0.17	27	false(reach)	11	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe002_power.oepc_false-unreach-call.i	false(reach)	35	210	unknown	2.7	200	false(reach)	4.8	34	false(reach)	1.1	40	false(reach)	25	670	true	0.20	27	false(reach)	7.1	250	unknown	5.3	240	unknown	5.3	240
pthread-wmm/safe002_power.opt_false-unreach-call.i	false(reach)	14	130	unknown	2.6	200	false(reach)	6.6	120	false(reach)	0.80	38	false(reach)	11	340	true	0.17	22	false(reach)	21	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/safe002_pso.oepc_false-unreach-call.i	false(reach)	14	130	unknown	2.6	200	false(reach)	6.5	120	false(reach)	0.80	36	false(reach)	11	340	true	0.17	22	false(reach)	21	270	unknown	5.5	240	unknown	5.5	240
pthread-wmm/safe002_pso.opt_false-unreach-call.i	false(reach)	14	130	unknown	2.6	210	false(reach)	6.6	120	false(reach)	0.80	36	false(reach)	11	340	true	0.31	27	false(reach)	22	270	unknown	5.3	240	unknown	5.2	230
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i	false(reach)	28	190	unknown	2.7	210	false(reach)	4.0	30	false(reach)	1.1	40	false(reach)	25	660	true	0.19	27	false(reach)	7.0	250	unknown	5.1	240	unknown	5.2	240
pthread-wmm/safe002_rmo.opt_false-unreach-call.i	false(reach)	14	130	unknown	2.5	200	false(reach)	6.5	120	false(reach)	0.79	36	false(reach)	11	340	true	0.17	27	false(reach)	22	250	unknown	5.2	240	unknown	5.3	240
pthread-wmm/safe003_power.oepc_false-unreach-call.i	unknown	80	260	unknown	2.7	200	false(reach)	7.8	160	false(reach)	1.1	40	false(reach)	13	440	true	0.19	22	false(reach)	20	270	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe003_power.opt_false-unreach-call.i	unknown	17	150	unknown	2.6	210	false(reach)	14	320	false(reach)	0.97	37	false(reach)	24	620	true	0.15	27	false(reach)	18	270	unknown	5.3	240	unknown	5.2	240
pthread-wmm/safe003_pso.oepc_false-unreach-call.i	unknown	120	290	unknown	2.7	200	false(reach)	7.6	160	false(reach)	1.1	39	false(reach)	13	440	true	0.17	27	false(reach)	18	290	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe003_pso.opt_false-unreach-call.i	unknown	110	290	unknown	2.7	210	false(reach)	7.4	160	false(reach)	1.1	40	false(reach)	12	440	true	0.18	27	false(reach)	20	280	unknown	5.4	240	unknown	5.2	240
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i	unknown	120	290	unknown	2.7	210	false(reach)	7.8	160	false(reach)	1.1	39	false(reach)	13	440	true	0.17	27	false(reach)	19	270	unknown	5.2	240	unknown	5.3	240
pthread-wmm/safe003_rmo.opt_false-unreach-call.i	unknown	120	290	unknown	2.7	200	false(reach)	7.9	160	false(reach)	1.1	39	false(reach)	13	440	true	0.17	27	false(reach)	19	290	unknown	5.4	240	unknown	5.9	230
pthread-wmm/safe004_power.oepc_false-unreach-call.i	false(reach)	110	290	unknown	2.7	200	false(reach)	7.6	160	false(reach)	1.1	39	false(reach)	12	430	true	0.18	22	false(reach)	14	300	unknown	5.2	240	unknown	5.0	240
pthread-wmm/safe004_power.opt_false-unreach-call.i	false(reach)	19	130	unknown	2.6	210	false(reach)	5.0	29	false(reach)	0.86	36	false(reach)	11	350	true	0.19	27	false(reach)	18	260	unknown	5.4	240	unknown	5.3	240
pthread-wmm/safe004_pso.oepc_false-unreach-call.i	false(reach)	100	280	unknown	2.6	200	false(reach)	7.8	160	false(reach)	1.1	39	false(reach)	12	430	true	0.19	26	false(reach)	14	280	unknown	5.4	240	unknown	5.0	240
pthread-wmm/safe004_pso.opt_false-unreach-call.i	false(reach)	17	130	unknown	2.6	210	false(reach)	5.7	33	false(reach)	0.86	36	false(reach)	11	350	true	0.32	27	false(reach)	18	260	unknown	5.4	240	unknown	5.4	240
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i	false(reach)	100	280	unknown	2.6	210	false(reach)	7.9	160	false(reach)	1.1	39	false(reach)	12	430	true	0.22	21	false(reach)	14	290	unknown	5.1	240	unknown	5.4	240
pthread-wmm/safe004_rmo.opt_false-unreach-call.i	false(reach)	17	130	unknown	2.6	200	false(reach)	4.9	29	false(reach)	0.86	36	false(reach)	11	350	true	0.18	27	false(reach)	18	280	unknown	5.3	240	unknown	5.2	240
pthread-wmm/safe005_power.oepc_false-unreach-call.i	false(reach)	28	150	unknown	2.6	200	false(reach)	8.0	160	false(reach)	0.85	36	false(reach)	11	360	true	0.16	27	false(reach)	52	280	unknown	5.0	240	unknown	4.9	240
pthread-wmm/safe005_power.opt_false-unreach-call.i	false(reach)	28	150	unknown	2.6	200	false(reach)	7.9	160	false(reach)	0.84	36	false(reach)	11	360	true	0.34	27	false(reach)	53	270	unknown	5.4	240	unknown	5.2	240
pthread-wmm/safe005_pso.oepc_false-unreach-call.i	false(reach)	28	150	unknown	2.6	210	false(reach)	8.3	160	false(reach)	0.84	36	false(reach)	11	360	true	0.16	27	false(reach)	53	260	unknown	5.5	240	unknown	5.4	240
pthread-wmm/safe005_pso.opt_false-unreach-call.i	false(reach)	28	150	unknown	2.6	200	false(reach)	8.2	160	false(reach)	0.85	36	false(reach)	11	360	true	0.17	22	false(reach)	53	280	unknown	5.4	240	unknown	5.4	240
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i	false(reach)	29	150	unknown	2.5	200	false(reach)	8.3	160	false(reach)	0.78	36	false(reach)	11	360	true	0.19	27	false(reach)	53	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/safe005_rmo.opt_false-unreach-call.i	false(reach)	29	150	unknown	2.6	210	false(reach)	8.3	160	false(reach)	0.80	37	false(reach)	11	360	true	0.18	27	false(reach)	54	270	unknown	5.3	240	unknown	5.5	240
pthread-wmm/safe006_power.oepc_false-unreach-call.i	unknown	1.7	72	unknown	2.6	210	false(reach)	2.1	22	false(reach)	0.78	37	false(reach)	14	400	true	0.16	27	false(reach)	5.5	210	unknown	5.3	240	unknown	4.9	240
pthread-wmm/safe006_power.opt_false-unreach-call.i	false(reach)	6.1	95	unknown	2.6	200	false(reach)	2.4	32	false(reach)	0.83	36	false(reach)	15	450	true	0.16	27	false(reach)	11	250	unknown	5.2	240	unknown	5.1	240
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i	false(reach)	2.0	64	unknown	2.5	210	false(reach)	2.0	22	false(reach)	0.74	35	false(reach)	13	370	true	0.17	27	false(reach)	5.7	220	unknown	5.3	240	unknown	5.2	240
pthread-wmm/safe006_rmo.opt_false-unreach-call.i	false(reach)	2.0	64	unknown	2.5	200	false(reach)	2.1	22	false(reach)	0.74	35	false(reach)	13	370	true	0.17	27	false(reach)	5.7	220	unknown	5.4	240	unknown	5.5	240
pthread-wmm/safe007_power.oepc_false-unreach-call.i	false(reach)	8.1	110	unknown	2.6	200	false(reach)	3.0	27	false(reach)	0.82	36	false(reach)	22	530	true	0.26	27	false(reach)	5.9	220	unknown	5.0	240	unknown	5.1	240
pthread-wmm/safe007_power.opt_false-unreach-call.i	unknown	13	130	unknown	2.6	210	false(reach)	7.3	170	false(reach)	0.91	37	false(reach)	24	620	true	0.17	27	false(reach)	13	270	unknown	5.0	240	unknown	5.3	240
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i	false(reach)	5.1	100	unknown	2.5	200	false(reach)	2.9	27	false(reach)	0.80	36	false(reach)	22	530	true	0.17	27	false(reach)	6.1	220	unknown	5.1	240	unknown	5.5	240
pthread-wmm/safe007_rmo.opt_false-unreach-call.i	false(reach)	4.9	100	unknown	2.6	200	false(reach)	2.9	27	false(reach)	0.78	37	false(reach)	22	530	true	0.16	26	false(reach)	5.9	220	unknown	5.2	240	unknown	5.0	240
pthread-wmm/safe008_power.oepc_false-unreach-call.i	false(reach)	25	140	unknown	2.6	200	false(reach)	3.5	27	false(reach)	0.88	36	false(reach)	12	360	true	0.19	27	false(reach)	8.6	270	unknown	5.3	240	unknown	5.2	240
pthread-wmm/safe008_power.opt_false-unreach-call.i	unknown	13	150	unknown	2.6	200	false(reach)	9.8	230	false(reach)	0.93	37	false(reach)	24	630	true	0.18	25	false(reach)	10	260	unknown	5.2	240	unknown	5.1	240
pthread-wmm/safe008_pso.oepc_false-unreach-call.i	false(reach)	25	140	unknown	2.6	210	false(reach)	4.3	33	false(reach)	0.85	38	false(reach)	12	360	true	0.18	27	false(reach)	8.6	270	unknown	5.4	240	unknown	5.8	240
pthread-wmm/safe008_pso.opt_false-unreach-call.i	false(reach)	26	140	unknown	2.6	210	false(reach)	3.4	27	false(reach)	0.87	36	false(reach)	12	360	true	0.17	27	false(reach)	9.5	280	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i	false(reach)	25	140	unknown	2.7	210	false(reach)	3.5	27	false(reach)	0.86	36	false(reach)	12	360	true	0.18	22	false(reach)	8.6	260	unknown	5.1	240	unknown	5.0	240
pthread-wmm/safe008_rmo.opt_false-unreach-call.i	false(reach)	25	140	unknown	2.6	200	false(reach)	3.4	27	false(reach)	0.87	38	false(reach)	12	360	true	0.17	27	false(reach)	10.0	270	unknown	5.2	240	unknown	5.3	240
pthread-wmm/safe009_power.oepc_false-unreach-call.i	false(reach)	12	140	unknown	2.7	210	false(reach)	3.4	29	false(reach)	0.98	37	false(reach)	21	570	true	0.19	27	false(reach)	7.4	240	unknown	5.2	240	unknown	5.0	240
pthread-wmm/safe009_power.opt_false-unreach-call.i	unknown	15	140	unknown	2.6	210	false(reach)	11	270	false(reach)	0.91	37	false(reach)	21	580	true	0.31	27	false(reach)	11	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i	false(reach)	15	130	unknown	2.6	200	false(reach)	3.3	29	false(reach)	1.0	37	false(reach)	20	550	true	0.17	27	false(reach)	6.6	240	unknown	5.0	240	unknown	5.2	240
pthread-wmm/safe009_rmo.opt_false-unreach-call.i	false(reach)	4.6	110	unknown	2.6	210	false(reach)	4.7	29	false(reach)	0.88	38	false(reach)	18	520	true	0.17	27	false(reach)	19	260	unknown	5.5	240	unknown	5.3	240
pthread-wmm/safe010_power.oepc_false-unreach-call.i	false(reach)	3.0	78	unknown	2.6	210	false(reach)	2.1	23	false(reach)	0.76	35	false(reach)	6.2	250	true	0.20	22	false(reach)	8.2	270	unknown	5.3	240	unknown	5.3	240
pthread-wmm/safe010_power.opt_false-unreach-call.i	false(reach)	2.9	80	unknown	2.6	210	false(reach)	2.1	24	false(reach)	0.77	35	false(reach)	6.2	250	true	0.19	27	false(reach)	7.3	270	unknown	5.4	240	unknown	5.1	240
pthread-wmm/safe010_pso.oepc_false-unreach-call.i	false(reach)	3.0	80	unknown	2.5	200	false(reach)	2.1	23	false(reach)	0.77	35	false(reach)	6.3	250	true	0.16	27	false(reach)	8.2	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/safe010_pso.opt_false-unreach-call.i	false(reach)	3.0	79	unknown	2.5	200	false(reach)	2.1	24	false(reach)	0.75	35	false(reach)	6.2	250	true	0.31	27	false(reach)	7.3	270	unknown	5.4	240	unknown	5.1	240
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i	false(reach)	3.0	81	unknown	2.6	210	false(reach)	2.1	23	false(reach)	0.77	35	false(reach)	6.2	250	true	0.18	27	false(reach)	7.2	260	unknown	5.3	240	unknown	5.1	240
pthread-wmm/safe010_rmo.opt_false-unreach-call.i	false(reach)	3.0	80	unknown	2.5	210	false(reach)	2.1	23	false(reach)	0.77	35	false(reach)	6.2	250	true	0.18	27	false(reach)	8.1	260	unknown	5.4	240	unknown	5.3	240
pthread-wmm/safe011_power.oepc_false-unreach-call.i	false(reach)	12	130	unknown	2.6	200	false(reach)	3.0	27	false(reach)	0.86	37	false(reach)	14	350	true	0.17	27	false(reach)	9.0	270	unknown	5.2	240	unknown	5.3	240
pthread-wmm/safe011_power.opt_false-unreach-call.i	unknown	17	130	unknown	2.6	200	false(reach)	4.8	31	false(reach)	0.84	38	false(reach)	11	350	true	0.18	22	false(reach)	8.6	270	unknown	5.0	240	unknown	5.3	240
pthread-wmm/safe011_pso.oepc_false-unreach-call.i	false(reach)	17	130	unknown	2.6	200	false(reach)	3.5	28	false(reach)	0.85	36	false(reach)	14	350	true	0.16	27	false(reach)	8.3	270	unknown	5.4	240	unknown	5.5	240
pthread-wmm/safe011_pso.opt_false-unreach-call.i	false(reach)	29	140	unknown	2.6	200	false(reach)	5.0	33	false(reach)	0.85	36	false(reach)	11	350	true	0.15	27	false(reach)	8.0	270	unknown	5.0	240	unknown	5.3	240
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i	false(reach)	16	130	unknown	2.6	200	false(reach)	3.5	27	false(reach)	0.88	36	false(reach)	14	350	true	0.17	27	false(reach)	8.2	270	unknown	5.3	230	unknown	5.2	240
pthread-wmm/safe011_rmo.opt_false-unreach-call.i	false(reach)	13	130	unknown	2.6	200	false(reach)	3.4	28	false(reach)	0.87	36	false(reach)	14	350	true	0.31	27	false(reach)	8.8	270	unknown	5.4	240	unknown	5.4	240
pthread-wmm/safe012_power.oepc_false-unreach-call.i	false(reach)	8.1	110	unknown	2.6	200	false(reach)	2.8	27	false(reach)	0.81	38	false(reach)	23	530	true	0.25	27	false(reach)	5.9	220	unknown	5.1	240	unknown	5.1	240
pthread-wmm/safe012_power.opt_false-unreach-call.i	unknown	18	140	unknown	2.6	210	false(reach)	7.1	170	false(reach)	0.90	39	false(reach)	25	610	true	0.32	27	false(reach)	16	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/safe012_pso.oepc_false-unreach-call.i	false(reach)	20	130	unknown	2.6	210	false(reach)	6.1	120	false(reach)	0.79	35	false(reach)	12	350	true	0.18	22	false(reach)	13	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/safe012_pso.opt_false-unreach-call.i	false(reach)	20	130	unknown	2.5	200	false(reach)	6.1	120	false(reach)	0.82	36	false(reach)	12	350	true	0.16	27	false(reach)	13	250	unknown	5.3	240	unknown	5.0	240
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i	false(reach)	4.7	100	unknown	2.5	200	false(reach)	2.9	27	false(reach)	0.78	35	false(reach)	21	520	true	0.19	27	false(reach)	6.1	220	unknown	5.2	240	unknown	5.1	240
pthread-wmm/safe012_rmo.opt_false-unreach-call.i	false(reach)	20	130	unknown	2.5	210	false(reach)	6.1	120	false(reach)	0.77	36	false(reach)	12	350	true	0.17	22	false(reach)	13	250	unknown	5.8	240	unknown	5.1	240
pthread-wmm/safe013_power.oepc_false-unreach-call.i	false(reach)	32	150	unknown	2.5	200	false(reach)	6.6	130	false(reach)	0.83	36	false(reach)	14	360	true	0.17	27	false(reach)	7.7	250	unknown	5.5	240	unknown	5.4	240
pthread-wmm/safe013_power.opt_false-unreach-call.i	false(reach)	33	150	unknown	2.5	200	false(reach)	6.6	130	false(reach)	0.84	37	false(reach)	14	360	true	0.19	22	false(reach)	7.6	250	unknown	5.4	240	unknown	5.0	240
pthread-wmm/safe013_pso.oepc_false-unreach-call.i	false(reach)	12	130	unknown	2.6	210	false(reach)	6.2	130	false(reach)	0.84	36	false(reach)	14	360	true	0.19	27	false(reach)	8.0	250	unknown	5.9	240	unknown	5.4	240
pthread-wmm/safe013_pso.opt_false-unreach-call.i	false(reach)	28	150	unknown	2.5	200	false(reach)	6.2	130	false(reach)	0.84	36	false(reach)	14	360	true	0.32	27	false(reach)	7.5	250	unknown	5.4	240	unknown	5.2	240
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i	false(reach)	12	130	unknown	2.6	200	false(reach)	6.5	130	false(reach)	0.85	36	false(reach)	14	360	true	0.30	27	false(reach)	8.3	250	unknown	5.0	240	unknown	5.2	240
pthread-wmm/safe013_rmo.opt_false-unreach-call.i	false(reach)	28	150	unknown	2.6	200	false(reach)	6.6	130	false(reach)	0.85	36	false(reach)	14	360	true	0.17	27	false(reach)	7.7	250	unknown	5.2	240	unknown	5.0	240
pthread-wmm/safe014_power.oepc_false-unreach-call.i	false(reach)	4.5	110	unknown	2.6	210	false(reach)	3.2	27	false(reach)	0.81	36	false(reach)	22	520	true	0.20	22	false(reach)	6.3	220	unknown	5.3	240	unknown	5.4	240
pthread-wmm/safe014_power.opt_false-unreach-call.i	false(reach)	9.4	120	unknown	2.6	200	false(reach)	6.1	150	false(reach)	0.89	36	false(reach)	25	580	true	0.16	27	false(reach)	6.4	220	unknown	5.1	240	unknown	5.2	230
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i	false(reach)	6.7	100	unknown	2.6	210	false(reach)	3.2	27	false(reach)	0.77	37	false(reach)	21	520	true	0.29	27	false(reach)	6.0	210	unknown	5.4	240	unknown	5.3	240
pthread-wmm/safe014_rmo.opt_false-unreach-call.i	false(reach)	68	220	unknown	2.7	200	false(reach)	8.3	130	false(reach)	1.1	40	false(reach)	22	660	true	0.19	27	false(reach)	31	270	unknown	5.1	240	unknown	5.2	240
pthread-wmm/safe015_power.oepc_false-unreach-call.i	false(reach)	5.1	240	unknown	2.7	200	false(reach)	6.2	150	false(reach)	1.2	40	false(reach)	25	740	true	0.18	27	false(reach)	5.8	220	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe015_power.opt_false-unreach-call.i	unknown	36	220	unknown	2.7	210	false(reach)	8.5	140	false(reach)	1.1	39	false(reach)	23	670	true	0.18	27	false(reach)	11	270	unknown	5.1	240	unknown	5.2	240
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i	unknown	40	210	unknown	2.7	210	false(reach)	8.5	130	false(reach)	1.1	38	false(reach)	22	670	true	0.20	22	false(reach)	10	260	unknown	5.3	240	unknown	5.2	240
pthread-wmm/safe015_rmo.opt_false-unreach-call.i	false(reach)	29	200	unknown	2.7	210	false(reach)	9.0	130	false(reach)	1.1	38	false(reach)	22	660	true	0.18	27	false(reach)	10	270	unknown	5.2	240	unknown	5.5	240
pthread-wmm/safe016_power.oepc_false-unreach-call.i	false(reach)	25	180	unknown	2.6	210	false(reach)	13	47	false(reach)	1.0	40	false(reach)	29	700	true	0.35	27	false(reach)	7.6	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/safe016_power.opt_false-unreach-call.i	unknown	44	230	unknown	2.7	200	false(reach)	47	170	false(reach)	1.1	39	false(reach)	29	740	true	0.18	27	false(reach)	330	280	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i	false(reach)	39	180	unknown	2.6	200	false(reach)	13	46	false(reach)	1.0	38	false(reach)	28	680	true	0.33	27	false(reach)	6.8	240	unknown	4.9	240	unknown	5.0	240
pthread-wmm/safe016_rmo.opt_false-unreach-call.i	false(reach)	71	220	unknown	2.7	200	false(reach)	47	170	false(reach)	1.1	39	false(reach)	27	720	true	0.27	27	false(reach)	210	260	unknown	5.4	240	unknown	5.1	240
pthread-wmm/safe017_power.oepc_false-unreach-call.i	false(reach)	9.5	120	unknown	2.6	200	false(reach)	3.5	27	false(reach)	0.86	36	false(reach)	9.0	320	true	0.18	29	false(reach)	7.8	280	unknown	5.0	240	unknown	5.4	240
pthread-wmm/safe017_power.opt_false-unreach-call.i	unknown	13	120	unknown	2.6	210	false(reach)	3.5	27	false(reach)	0.86	36	false(reach)	9.1	320	true	0.17	27	false(reach)	8.5	270	unknown	5.4	240	unknown	5.2	240
pthread-wmm/safe017_pso.oepc_false-unreach-call.i	false(reach)	8.9	120	unknown	2.6	210	false(reach)	3.5	27	false(reach)	0.86	36	false(reach)	9.0	330	true	0.16	21	false(reach)	7.7	280	unknown	5.3	240	unknown	5.1	240
pthread-wmm/safe017_pso.opt_false-unreach-call.i	false(reach)	11	120	unknown	2.6	200	false(reach)	3.5	27	false(reach)	0.86	36	false(reach)	9.0	330	true	0.18	22	false(reach)	7.8	280	unknown	5.5	240	unknown	5.4	240
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i	false(reach)	8.8	120	unknown	2.6	210	false(reach)	3.5	27	false(reach)	0.87	38	false(reach)	9.0	330	true	0.17	27	false(reach)	7.8	280	unknown	5.0	240	unknown	5.2	240
pthread-wmm/safe017_rmo.opt_false-unreach-call.i	false(reach)	11	120	unknown	2.6	200	false(reach)	3.5	27	false(reach)	0.86	36	false(reach)	9.1	330	true	0.32	27	false(reach)	7.8	270	unknown	5.4	240	unknown	5.2	240
pthread-wmm/safe018_power.oepc_false-unreach-call.i	false(reach)	5.3	100	unknown	2.6	210	false(reach)	3.0	27	false(reach)	0.82	35	false(reach)	20	500	true	0.16	27	false(reach)	5.9	220	unknown	5.4	240	unknown	5.4	240
pthread-wmm/safe018_power.opt_false-unreach-call.i	false(reach)	27	160	unknown	2.7	200	false(reach)	9.3	220	false(reach)	1.0	38	false(reach)	25	640	true	0.32	27	false(reach)	19	280	unknown	5.2	240	unknown	5.1	240
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i	false(reach)	6.5	94	unknown	2.6	210	false(reach)	3.8	33	false(reach)	0.79	37	false(reach)	20	490	true	0.31	27	false(reach)	5.7	220	unknown	5.3	240	unknown	5.1	240
pthread-wmm/safe018_rmo.opt_false-unreach-call.i	false(reach)	20	130	unknown	2.6	200	false(reach)	6.4	100	false(reach)	0.95	38	false(reach)	19	570	true	0.17	27	false(reach)	19	250	unknown	5.2	240	unknown	5.1	240
pthread-wmm/safe019_power.oepc_false-unreach-call.i	false(reach)	45	200	unknown	2.7	200	false(reach)	12	47	false(reach)	1.0	40	false(reach)	30	710	true	0.20	27	false(reach)	7.4	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe019_power.opt_false-unreach-call.i	false(reach)	160	350	unknown	2.7	210	false(reach)	110	3900	false(reach)	1.1	39	false(reach)	34	770	true	0.18	26	false(reach)	36	260	unknown	5.1	240	unknown	5.3	240
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i	unknown	34	180	unknown	2.7	200	false(reach)	12	46	false(reach)	1.0	38	false(reach)	29	700	true	0.18	27	false(reach)	6.8	240	unknown	5.2	240	unknown	5.0	240
pthread-wmm/safe019_rmo.opt_false-unreach-call.i	false(reach)	39	200	unknown	2.6	210	false(reach)	57	680	false(reach)	1.0	38	false(reach)	26	720	true	0.18	27	false(reach)	160	290	unknown	5.2	240	unknown	5.1	240
pthread-wmm/safe020_power.oepc_false-unreach-call.i	false(reach)	32	170	unknown	2.7	200	false(reach)	10	230	false(reach)	1.0	38	false(reach)	25	630	true	0.18	27	false(reach)	9.4	270	unknown	5.2	240	unknown	5.3	240
pthread-wmm/safe020_power.opt_false-unreach-call.i	false(reach)	22	160	unknown	2.7	210	false(reach)	10	230	false(reach)	1.0	38	false(reach)	25	640	true	0.16	27	false(reach)	9.3	260	unknown	5.0	240	unknown	5.1	240
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i	false(reach)	14	140	unknown	2.6	210	false(reach)	7.0	110	false(reach)	0.93	37	false(reach)	20	580	true	0.16	27	false(reach)	8.1	260	unknown	5.1	240	unknown	5.0	240
pthread-wmm/safe020_rmo.opt_false-unreach-call.i	false(reach)	14	140	unknown	2.6	210	false(reach)	7.0	110	false(reach)	0.93	37	false(reach)	20	570	true	0.17	22	false(reach)	8.7	260	unknown	5.3	240	unknown	5.2	240
pthread-wmm/safe021_power.oepc_false-unreach-call.i	false(reach)	13	130	unknown	2.6	210	false(reach)	4.6	70	false(reach)	0.87	38	false(reach)	13	360	true	0.19	27	false(reach)	8.7	250	unknown	5.5	240	unknown	5.3	240
pthread-wmm/safe021_power.opt_false-unreach-call.i	false(reach)	14	130	unknown	2.6	200	false(reach)	4.1	28	false(reach)	0.86	36	false(reach)	11	360	true	0.32	27	false(reach)	9.0	280	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe021_pso.oepc_false-unreach-call.i	false(reach)	13	130	unknown	2.6	210	false(reach)	4.6	70	false(reach)	0.88	38	false(reach)	13	350	true	0.25	27	false(reach)	7.8	250	unknown	5.5	240	unknown	5.0	240
pthread-wmm/safe021_pso.opt_false-unreach-call.i	false(reach)	14	130	unknown	2.6	210	false(reach)	4.2	28	false(reach)	0.88	38	false(reach)	11	360	true	0.19	27	false(reach)	8.2	260	unknown	5.2	230	unknown	5.4	240
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i	false(reach)	13	130	unknown	2.6	200	false(reach)	4.6	70	false(reach)	0.85	36	false(reach)	13	350	true	0.17	22	false(reach)	7.8	250	unknown	5.4	240	unknown	5.0	240
pthread-wmm/safe021_rmo.opt_false-unreach-call.i	false(reach)	13	130	unknown	2.6	210	false(reach)	4.6	70	false(reach)	0.85	36	false(reach)	13	360	true	0.17	27	false(reach)	7.8	250	unknown	5.1	240	unknown	5.1	240
pthread-wmm/safe022_power.oepc_false-unreach-call.i	false(reach)	3.8	80	unknown	2.6	210	false(reach)	2.1	24	false(reach)	0.76	36	false(reach)	6.9	260	true	0.15	27	false(reach)	7.1	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe022_power.opt_false-unreach-call.i	false(reach)	4.4	80	unknown	2.5	200	false(reach)	2.1	24	false(reach)	0.76	35	false(reach)	6.9	260	true	0.15	27	false(reach)	7.1	250	unknown	5.2	240	unknown	5.0	240
pthread-wmm/safe022_pso.oepc_false-unreach-call.i	false(reach)	8.4	81	unknown	2.6	200	false(reach)	2.2	24	false(reach)	0.77	36	false(reach)	6.8	260	true	0.30	27	false(reach)	7.0	240	unknown	5.4	240	unknown	5.5	240
pthread-wmm/safe022_pso.opt_false-unreach-call.i	false(reach)	6.5	81	unknown	2.5	210	false(reach)	2.1	23	false(reach)	0.76	35	false(reach)	6.8	260	true	0.18	26	false(reach)	6.6	250	unknown	5.3	240	unknown	5.2	240
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i	false(reach)	8.4	82	unknown	2.5	200	false(reach)	2.2	24	false(reach)	0.76	35	false(reach)	6.8	260	true	0.17	27	false(reach)	7.0	240	unknown	5.4	240	unknown	5.2	240
pthread-wmm/safe022_rmo.opt_false-unreach-call.i	false(reach)	6.4	80	unknown	2.5	210	false(reach)	2.1	24	false(reach)	0.75	36	false(reach)	6.9	260	true	0.16	23	false(reach)	7.1	250	unknown	5.3	240	unknown	5.2	240
pthread-wmm/safe023_power.oepc_false-unreach-call.i	false(reach)	280	420	unknown	2.7	210	false(reach)	18	380	false(reach)	1.2	40	false(reach)	16	460	true	0.59	27	false(reach)	11	270	unknown	5.2	230	unknown	5.3	240
pthread-wmm/safe023_power.opt_false-unreach-call.i	false(reach)	230	380	unknown	2.7	200	false(reach)	17	380	false(reach)	1.2	39	false(reach)	15	470	true	0.34	27	false(reach)	10	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe023_pso.oepc_false-unreach-call.i	false(reach)	250	400	unknown	2.8	210	false(reach)	17	380	false(reach)	1.1	40	false(reach)	16	460	true	0.33	27	false(reach)	10	270	unknown	5.1	240	unknown	5.4	240
pthread-wmm/safe023_pso.opt_false-unreach-call.i	false(reach)	270	410	unknown	2.8	210	false(reach)	18	380	false(reach)	1.1	39	false(reach)	16	470	true	0.18	27	false(reach)	10	260	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i	false(reach)	250	400	unknown	2.7	200	false(reach)	17	380	false(reach)	1.1	39	false(reach)	16	470	true	0.19	25	false(reach)	10	270	unknown	5.2	240	unknown	5.0	240
pthread-wmm/safe023_rmo.opt_false-unreach-call.i	false(reach)	260	410	unknown	2.7	210	false(reach)	17	380	false(reach)	1.1	39	false(reach)	16	470	true	0.40	27	false(reach)	10	260	unknown	5.3	240	unknown	5.4	240
pthread-wmm/safe024_power.oepc_false-unreach-call.i	unknown	32	150	unknown	2.6	210	false(reach)	6.6	130	false(reach)	0.83	39	false(reach)	13	370	true	0.18	29	false(reach)	8.3	250	unknown	5.4	240	unknown	5.1	240
pthread-wmm/safe024_power.opt_false-unreach-call.i	unknown	32	150	unknown	2.5	200	false(reach)	6.6	130	false(reach)	0.79	36	false(reach)	12	370	true	0.16	27	false(reach)	8.6	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/safe024_pso.oepc_false-unreach-call.i	unknown	33	150	unknown	2.6	210	false(reach)	6.6	130	false(reach)	0.80	36	false(reach)	13	360	true	0.18	22	false(reach)	7.9	250	unknown	4.9	240	unknown	5.2	240
pthread-wmm/safe024_pso.opt_false-unreach-call.i	unknown	33	150	unknown	2.6	210	false(reach)	6.6	130	false(reach)	0.86	38	false(reach)	12	360	true	0.18	27	false(reach)	8.0	250	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i	unknown	33	150	unknown	2.6	210	false(reach)	6.6	130	false(reach)	0.86	36	false(reach)	12	370	true	0.15	27	false(reach)	7.9	250	unknown	5.9	240	unknown	5.4	240
pthread-wmm/safe024_rmo.opt_false-unreach-call.i	unknown	33	150	unknown	2.6	200	false(reach)	6.2	130	false(reach)	0.84	36	false(reach)	12	370	true	0.17	22	false(reach)	8.0	250	unknown	5.0	240	unknown	5.2	240
pthread-wmm/safe025_power.oepc_false-unreach-call.i	false(reach)	5.3	240	unknown	2.8	210	false(reach)	5.9	150	false(reach)	1.2	41	false(reach)	26	750	true	0.17	27	false(reach)	5.8	220	unknown	5.4	240	unknown	5.2	240
pthread-wmm/safe025_power.opt_false-unreach-call.i	false(reach)	9.6	240	unknown	2.7	210	false(reach)	6.2	150	false(reach)	1.2	40	false(reach)	26	750	true	0.19	27	false(reach)	5.9	220	unknown	5.2	240	unknown	5.4	240
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i	false(reach)	33	200	unknown	2.7	200	false(reach)	9.1	130	false(reach)	1.1	40	false(reach)	25	670	true	0.18	27	false(reach)	11	270	unknown	5.3	240	unknown	5.4	240
pthread-wmm/safe025_rmo.opt_false-unreach-call.i	false(reach)	33	200	unknown	2.8	200	false(reach)	8.9	130	false(reach)	1.1	38	false(reach)	25	670	true	0.19	22	false(reach)	9.7	270	unknown	5.2	240	unknown	5.4	240
pthread-wmm/safe026_power.oepc_false-unreach-call.i	false(reach)	21	130	unknown	2.6	200	false(reach)	5.4	82	false(reach)	0.87	36	false(reach)	12	340	true	0.15	27	false(reach)	7.5	250	unknown	5.4	240	unknown	5.0	240
pthread-wmm/safe026_power.opt_false-unreach-call.i	false(reach)	20	130	unknown	2.6	200	false(reach)	4.8	82	false(reach)	0.86	36	false(reach)	12	340	true	0.23	27	false(reach)	7.6	250	unknown	5.5	240	unknown	5.4	240
pthread-wmm/safe026_pso.oepc_false-unreach-call.i	false(reach)	29	140	unknown	2.6	210	false(reach)	5.2	82	false(reach)	0.85	38	false(reach)	12	340	true	0.17	27	false(reach)	7.4	250	unknown	6.0	240	unknown	5.5	240
pthread-wmm/safe026_pso.opt_false-unreach-call.i	false(reach)	12	120	unknown	2.6	200	false(reach)	5.2	82	false(reach)	0.86	37	false(reach)	12	330	true	0.18	27	false(reach)	7.6	260	unknown	5.3	240	unknown	5.0	240
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i	false(reach)	30	140	unknown	2.6	210	false(reach)	5.4	82	false(reach)	0.80	36	false(reach)	12	330	true	0.16	23	false(reach)	7.5	250	unknown	5.1	240	unknown	5.0	240
pthread-wmm/safe026_rmo.opt_false-unreach-call.i	false(reach)	12	120	unknown	2.6	200	false(reach)	5.1	82	false(reach)	0.88	36	false(reach)	12	340	true	0.30	27	false(reach)	7.5	250	unknown	5.1	240	unknown	5.3	230
pthread-wmm/safe027_power.oepc_false-unreach-call.i	false(reach)	24	170	unknown	2.7	210	false(reach)	11	45	false(reach)	1.0	39	false(reach)	29	700	true	0.17	22	false(reach)	7.3	240	unknown	4.9	240	unknown	5.1	240
pthread-wmm/safe027_power.opt_false-unreach-call.i	unknown	75	290	unknown	2.7	200	false(reach)	96	3500	false(reach)	1.1	41	false(reach)	38	790	true	0.27	27	false(reach)	110	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i	unknown	22	160	unknown	2.6	200	false(reach)	11	44	false(reach)	1.00	37	false(reach)	30	690	true	0.18	27	false(reach)	6.7	250	unknown	5.9	240	unknown	5.0	240
pthread-wmm/safe027_rmo.opt_false-unreach-call.i	unknown	22	160	unknown	3.0	210	false(reach)	11	44	false(reach)	0.99	37	false(reach)	29	690	true	0.33	27	false(reach)	6.3	240	unknown	5.4	240	unknown	5.5	240
pthread-wmm/safe028_power.oepc_false-unreach-call.i	false(reach)	36	180	unknown	2.7	200	false(reach)	10	230	false(reach)	1.0	38	false(reach)	26	650	true	0.16	27	false(reach)	10	270	unknown	5.2	240	unknown	5.4	240
pthread-wmm/safe028_power.opt_false-unreach-call.i	false(reach)	21	170	unknown	2.7	200	false(reach)	10	230	false(reach)	1.0	39	false(reach)	26	640	true	0.18	27	false(reach)	9.5	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i	false(reach)	13	140	unknown	2.6	200	false(reach)	7.0	110	false(reach)	0.96	38	false(reach)	20	600	true	0.15	27	false(reach)	7.8	260	unknown	6.0	240	unknown	5.2	240
pthread-wmm/safe028_rmo.opt_false-unreach-call.i	false(reach)	13	140	unknown	2.6	210	false(reach)	6.6	110	false(reach)	0.94	37	false(reach)	20	590	true	0.16	23	false(reach)	7.8	260	unknown	5.2	240	unknown	5.9	240
pthread-wmm/safe029_power.oepc_false-unreach-call.i	unknown	6.0	79	unknown	2.5	210	false(reach)	2.1	23	false(reach)	0.76	35	false(reach)	6.0	240	true	0.17	27	false(reach)	7.3	270	unknown	5.1	240	unknown	5.4	240
pthread-wmm/safe029_power.opt_false-unreach-call.i	false(reach)	3.8	79	unknown	2.6	210	false(reach)	2.1	23	false(reach)	0.76	35	false(reach)	5.9	240	true	0.19	27	false(reach)	8.0	260	unknown	4.9	240	unknown	5.2	240
pthread-wmm/safe029_pso.oepc_false-unreach-call.i	unknown	5.9	79	unknown	2.6	200	false(reach)	2.1	23	false(reach)	0.75	37	false(reach)	6.1	240	true	0.16	27	false(reach)	7.3	260	unknown	5.1	240	unknown	5.4	240
pthread-wmm/safe029_pso.opt_false-unreach-call.i	false(reach)	3.9	78	unknown	2.6	210	false(reach)	2.2	23	false(reach)	0.77	35	false(reach)	5.9	240	true	0.18	27	false(reach)	8.1	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i	unknown	5.9	80	unknown	2.5	210	false(reach)	2.1	23	false(reach)	0.77	35	false(reach)	6.0	240	true	0.33	27	false(reach)	7.5	260	unknown	5.3	240	unknown	5.4	240
pthread-wmm/safe029_rmo.opt_false-unreach-call.i	false(reach)	3.9	80	unknown	2.5	200	false(reach)	1.1	23	false(reach)	0.77	35	false(reach)	5.9	240	true	0.19	27	false(reach)	8.0	260	unknown	5.2	240	unknown	5.0	240
pthread-wmm/safe030_power.oepc_false-unreach-call.i	unknown	18	130	unknown	2.6	200	false(reach)	3.5	27	false(reach)	0.87	38	false(reach)	14	340	true	0.32	27	false(reach)	9.1	260	unknown	5.4	240	unknown	5.4	240
pthread-wmm/safe030_power.opt_false-unreach-call.i	false(reach)	13	120	unknown	2.6	200	false(reach)	3.6	27	false(reach)	0.84	36	false(reach)	10	330	true	0.18	27	false(reach)	10	260	unknown	5.0	240	unknown	5.9	230
pthread-wmm/safe030_pso.oepc_false-unreach-call.i	false(reach)	14	130	unknown	2.6	210	false(reach)	3.4	27	false(reach)	0.87	36	false(reach)	14	340	true	0.32	27	false(reach)	8.0	270	unknown	5.0	240	unknown	5.2	240
pthread-wmm/safe030_pso.opt_false-unreach-call.i	false(reach)	5.5	120	unknown	2.5	200	false(reach)	3.5	27	false(reach)	0.85	37	false(reach)	10	330	true	0.17	27	false(reach)	9.5	260	unknown	5.2	240	unknown	5.3	240
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i	false(reach)	15	130	unknown	2.6	200	false(reach)	3.4	27	false(reach)	0.86	38	false(reach)	14	340	true	0.17	22	false(reach)	8.0	280	unknown	5.0	240	unknown	5.1	240
pthread-wmm/safe030_rmo.opt_false-unreach-call.i	false(reach)	5.5	120	unknown	2.6	210	false(reach)	3.3	27	false(reach)	0.85	36	false(reach)	10	330	true	0.16	27	false(reach)	9.9	260	unknown	5.3	240	unknown	5.0	240
pthread-wmm/safe031_power.oepc_false-unreach-call.i	false(reach)	35	160	unknown	2.5	200	false(reach)	6.6	130	false(reach)	0.78	36	false(reach)	10	340	true	0.17	22	false(reach)	7.7	250	unknown	5.2	240	unknown	5.4	240
pthread-wmm/safe031_power.opt_false-unreach-call.i	false(reach)	15	130	unknown	2.6	200	false(reach)	4.5	33	false(reach)	0.83	36	false(reach)	11	350	true	0.33	27	false(reach)	11	260	unknown	5.3	240	unknown	5.3	240
pthread-wmm/safe031_pso.oepc_false-unreach-call.i	false(reach)	35	160	unknown	2.6	200	false(reach)	6.6	130	false(reach)	0.83	37	false(reach)	10	340	true	0.16	27	false(reach)	7.3	250	unknown	5.3	240	unknown	5.4	240
pthread-wmm/safe031_pso.opt_false-unreach-call.i	false(reach)	14	130	unknown	2.6	200	false(reach)	3.8	28	false(reach)	0.86	36	false(reach)	11	350	true	0.32	27	false(reach)	10	260	unknown	5.2	240	unknown	5.4	240
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i	false(reach)	34	160	unknown	2.6	210	false(reach)	6.6	130	false(reach)	0.86	36	false(reach)	10	340	true	0.18	27	false(reach)	7.3	250	unknown	4.9	240	unknown	5.5	240
pthread-wmm/safe031_rmo.opt_false-unreach-call.i	false(reach)	14	130	unknown	2.6	210	false(reach)	3.8	27	false(reach)	0.85	37	false(reach)	11	350	true	0.17	27	false(reach)	9.9	260	unknown	5.1	240	unknown	5.2	240
pthread-wmm/safe032_power.oepc_false-unreach-call.i	false(reach)	120	320	unknown	3.2	200	false(reach)	12	240	false(reach)	1.1	39	false(reach)	13	450	true	0.18	27	false(reach)	17	280	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe032_power.opt_false-unreach-call.i	false(reach)	120	320	unknown	2.7	200	false(reach)	12	240	false(reach)	1.1	41	false(reach)	13	450	true	0.30	27	false(reach)	17	280	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe032_pso.oepc_false-unreach-call.i	false(reach)	120	320	unknown	2.6	210	false(reach)	12	240	false(reach)	1.1	40	false(reach)	13	450	true	0.20	27	false(reach)	16	290	unknown	5.4	240	unknown	5.5	240
pthread-wmm/safe032_pso.opt_false-unreach-call.i	false(reach)	110	320	unknown	2.7	210	false(reach)	12	240	false(reach)	1.1	39	false(reach)	13	450	true	0.19	29	false(reach)	17	270	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i	false(reach)	120	320	unknown	2.7	200	false(reach)	12	240	false(reach)	1.1	39	false(reach)	13	450	true	0.16	27	false(reach)	16	280	unknown	5.3	240	unknown	5.2	240
pthread-wmm/safe032_rmo.opt_false-unreach-call.i	false(reach)	120	320	unknown	2.7	200	false(reach)	12	240	false(reach)	1.1	39	false(reach)	13	450	true	0.19	27	false(reach)	16	280	unknown	5.2	240	unknown	5.2	240
pthread-wmm/safe033_power.oepc_false-unreach-call.i	false(reach)	7.5	79	unknown	2.5