META_ConcurrencySafety_symdivine

Tool	SymDIVINE
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host	apollon*
OS	Linux 4.4.0-59-generic
System	CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution	2017-01-14 05:49:34 CET
Run set	sv-comp17
Options	--fix_volatile --fix_inline --silent -Os
../../sv-benchmarks/c/	verifier status	cpu (s)	wall (s)	energy (J)	mem (MB)	blkio-w (MB)	blkio-r (MB)	validator cpachecker violation t<90s status	cpu	wall	energy	mem	validator uautomizer violation t<90s status	cpu	wall	energy	mem	validator cpachecker correctness t<900s status	cpu	wall	energy	mem	validator uautomizer correctness t<900s status	cpu	wall	energy	mem
pthread/bigshot_p_false-unreach-call.i	unknown	.065	.066	.69	10	.0082	0	-					-					-					-
pthread/fib_bench_false-unreach-call.i	out of memory	170	170	2000	15000	.0082	0	-					-					-					-
pthread/fib_bench_longer_false-unreach-call.i	out of memory	170	170	2000	15000	.0082	0	-					-					-					-
pthread/fib_bench_longest_false-unreach-call.i	out of memory	170	170	1800	15000	.012	0	-					-					-					-
pthread/lazy01_false-unreach-call.i	false(unreach-call)	.14	.14	.95	10	.012	.0041	-					-					-					-
pthread/queue_false-unreach-call.i	false(unreach-call)	2.2	2.2	26	100	.016	0	-					-					-					-
pthread/queue_longer_false-unreach-call.i	false(unreach-call)	26	26	290	740	.016	0	-					-					-					-
pthread/queue_longest_false-unreach-call.i	false(unreach-call)	71	71	970	1400	.016	0	-					-					-					-
pthread/reorder_2_false-unreach-call.i	unknown	.12	.12	.83	10	.016	0	-					-					-					-
pthread/reorder_5_false-unreach-call.i	unknown	.10	.10	.90	10	.016	0	-					-					-					-
pthread/sigma_false-unreach-call.i	unknown	.063	.063	.71	10	.012	0	-					-					-					-
pthread/singleton_false-unreach-call.i	unknown	.061	.061	.67	10	.012	0	-					-					-					-
pthread/stack_false-unreach-call.i	false(unreach-call)	.67	.67	10	36	.012	.15	-					-					-					-
pthread/stack_longer_false-unreach-call.i	false(unreach-call)	5.3	5.3	66	210	.012	.32	-					-					-					-
pthread/stack_longest_false-unreach-call.i	false(unreach-call)	11	11	140	380	.012	.32	-					-					-					-
pthread/stateful01_false-unreach-call.i	false(unreach-call)	.11	.11	1.4	11	.012	0	-					-					-					-
pthread/twostage_3_false-unreach-call.i	unknown	.13	.13	1.1	11	.025	0	-					-					-					-
pthread/bigshot_s2_true-unreach-call.i	unknown	.080	.080	.65	10	.0082	0	-					-					-					-
pthread/bigshot_s_true-unreach-call.i	unknown	.066	.067	.64	10	.0082	0	-					-					-					-
pthread/fib_bench_longer_true-unreach-call.i	out of memory	170	170	2000	15000	.0082	.0041	-					-					-					-
pthread/fib_bench_longest_true-unreach-call.i	out of memory	170	170	2200	15000	.012	0	-					-					-					-
pthread/fib_bench_true-unreach-call.i	out of memory	170	170	2100	15000	.0082	0	-					-					-					-
pthread/indexer_true-unreach-call.i	error (1)	.70	.70	8.6	100	.012	.41	-					-					-					-
pthread/queue_ok_longer_true-unreach-call.i	out of memory	520	520	5700	15000	.016	0	-					-					-					-
pthread/queue_ok_longest_true-unreach-call.i	out of memory	740	740	8900	15000	.016	0	-					-					-					-
pthread/queue_ok_true-unreach-call.i	false(unreach-call)	2.8	2.8	42	120	.016	0	-					-					-					-
pthread/singleton_with-uninit-problems_true-unreach-call.i	unknown	.074	.073	.49	10	.012	0	-					-					-					-
pthread/stack_longer_true-unreach-call.i	false(unreach-call)	4.6	4.6	55	210	.012	.32	-					-					-					-
pthread/stack_longest_true-unreach-call.i	false(unreach-call)	10	10	150	380	.012	.32	-					-					-					-
pthread/stack_true-unreach-call.i	false(unreach-call)	.59	.59	8.6	35	.012	.32	-					-					-					-
pthread/stateful01_true-unreach-call.i	true	.11	.11	1.2	10	.012	0	-					-					-					-
pthread/sync01_true-unreach-call.i	unknown	.060	.060	.51	10	.012	0	-					-					-					-
pthread-atomic/qrcu_false-unreach-call.i	false(unreach-call)	32	32	470	350	.025	0	-					-					-					-
pthread-atomic/read_write_lock_false-unreach-call.i	false(unreach-call)	1.4	1.4	18	160	.012	0	-					-					-					-
pthread-atomic/dekker_true-unreach-call.i	true	.34	.34	4.5	16	.012	0	-					-					-					-
pthread-atomic/gcd_true-unreach-call_true-termination.i	false(unreach-call)	21	21	300	69	.012	.52	-					-					-					-
pthread-atomic/lamport_true-unreach-call.i	true	.64	.64	7.8	43	.012	0	-					-					-					-
pthread-atomic/peterson_true-unreach-call.i	true	.26	.26	2.9	13	.012	0	-					-					-					-
pthread-atomic/qrcu_true-unreach-call.i	out of memory	570	570	6700	15000	.025	0	-					-					-					-
pthread-atomic/read_write_lock_true-unreach-call.i	true	1.8	1.8	21	160	.012	0	-					-					-					-
pthread-atomic/scull_true-unreach-call.i	true	73	73	1100	1800	.025	0	-					-					-					-
pthread-atomic/szymanski_true-unreach-call.i	true	1.4	1.4	18	72	.012	0	-					-					-					-
pthread-atomic/time_var_mutex_true-unreach-call.i	true	.19	.19	1.9	10	.012	0	-					-					-					-
pthread-ext/25_stack_longer_false-unreach-call.i	out of memory	100	99	1300	15000	.012	0	-					-					-					-
pthread-ext/25_stack_longest_false-unreach-call.i	out of memory	180	180	2000	15000	.012	0	-					-					-					-
pthread-ext/26_stack_cas_longer_false-unreach-call.i	out of memory	110	110	1200	15000	.012	0	-					-					-					-
pthread-ext/26_stack_cas_longest_false-unreach-call.i	out of memory	200	200	2300	15000	.012	0	-					-					-					-
pthread-ext/27_Boop_simple_vf_false-unreach-call.i	out of memory	480	480	6700	15000	.012	0	-					-					-					-
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i	false(unreach-call)	.43	.43	5.7	9.9	.012	0	-					-					-					-
pthread-ext/32_pthread5_vs_false-unreach-call.i	false(unreach-call)	28	28	350	3600	.012	0	-					-					-					-
pthread-ext/40_barrier_vf_false-unreach-call.i	false(unreach-call)	57	57	680	7000	.0082	0	-					-					-					-
pthread-ext/01_inc_true-unreach-call.i	out of memory	130	130	1700	15000	.0082	0	-					-					-					-
pthread-ext/02_inc_cas_true-unreach-call.i	out of memory	280	280	3100	15000	.0082	0	-					-					-					-
pthread-ext/03_incdec_true-unreach-call.i	out of memory	440	440	5600	15000	.012	0	-					-					-					-
pthread-ext/04_incdec_cas_true-unreach-call.i	out of memory	600	600	7600	15000	.012	0	-					-					-					-
pthread-ext/05_tas_true-unreach-call.i	out of memory	130	130	1400	15000	.012	0	-					-					-					-
pthread-ext/06_ticket_true-unreach-call.i	out of memory	180	180	2300	15000	.012	0	-					-					-					-
pthread-ext/07_rand_true-unreach-call.i	out of memory	720	720	9100	15000	.012	.057	-					-					-					-
pthread-ext/08_rand_cas_true-unreach-call.i	false(unreach-call)	16	16	220	670	.012	0	-					-					-					-
pthread-ext/09_fmaxsym_true-unreach-call.i	error (1)	.68	.68	8.3	10	.012	.54	-					-					-					-
pthread-ext/10_fmaxsym_cas_true-unreach-call.i	error (1)	.71	.72	10	10	.012	.54	-					-					-					-
pthread-ext/11_fmaxsymopt_true-unreach-call.i	unknown	.12	.12	1.1	10	.012	0	-					-					-					-
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i	unknown	.096	.096	.96	10	.012	0	-					-					-					-
pthread-ext/13_unverif_true-unreach-call.i	out of memory	130	130	1700	15000	.0082	0	-					-					-					-
pthread-ext/14_spin2003_true-unreach-call.i	out of memory	110	110	1400	15000	.0082	0	-					-					-					-
pthread-ext/15_dekker_true-unreach-call.i	true	.22	.22	1.7	10	.012	0	-					-					-					-
pthread-ext/16_peterson_true-unreach-call.i	true	.15	.15	1.6	10	.0082	0	-					-					-					-
pthread-ext/17_szymanski_true-unreach-call.i	true	9.9	9.9	110	750	.012	0	-					-					-					-
pthread-ext/18_read_write_lock_true-unreach-call.i	true	.092	.092	.51	10	.0082	0	-					-					-					-
pthread-ext/19_time_var_mutex_true-unreach-call.i	true	.099	.099	.74	9.8	.012	0	-					-					-					-
pthread-ext/20_lamport_true-unreach-call.i	true	.28	.28	3.5	25	.012	0	-					-					-					-
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i	true	.098	.098	.82	9.9	.012	0	-					-					-					-
pthread-ext/25_stack_longer_true-unreach-call.i	out of memory	99	99	1000	15000	.012	0	-					-					-					-
pthread-ext/25_stack_longest_true-unreach-call.i	out of memory	170	170	2000	15000	.012	0	-					-					-					-
pthread-ext/25_stack_true-unreach-call.i	out of memory	100	100	1200	15000	.012	0	-					-					-					-
pthread-ext/26_stack_cas_longer_true-unreach-call.i	out of memory	110	110	1300	15000	.012	.18	-					-					-					-
pthread-ext/26_stack_cas_longest_true-unreach-call.i	out of memory	200	200	2200	15000	.012	0	-					-					-					-
pthread-ext/26_stack_cas_true-unreach-call.i	out of memory	120	120	1400	15000	.012	0	-					-					-					-
pthread-ext/29_conditionals_vs_true-unreach-call.i	out of memory	94	94	1100	15000	.0082	0	-					-					-					-
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i	unknown	.12	.12	1.4	10	.012	0	-					-					-					-
pthread-ext/31_simple_loop5_vs_true-unreach-call.i	out of memory	71	70	940	15000	.012	0	-					-					-					-
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i	out of memory	330	330	3800	15000	.012	0	-					-					-					-
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i	out of memory	320	320	4400	15000	.012	0	-					-					-					-
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i	out of memory	640	640	7700	15000	.012	0	-					-					-					-
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i	out of memory	120	120	1300	15000	.012	0	-					-					-					-
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i	out of memory	180	180	2600	15000	.012	0	-					-					-					-
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i	timeout	900	900	12000	690	.012	3.9	-					-					-					-
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i	false(unreach-call)	1.2	1.2	15	21	.012	0	-					-					-					-
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i	unknown	34	34	460	160	.012	0	-					-					-					-
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i	timeout	900	900	14000	5000	.016	0	-					-					-					-
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i	unknown	.32	.32	3.4	10	.025	.26	-					-					-					-
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i	unknown	.22	.22	2.3	10	.020	0	-					-					-					-
pthread-ext/45_monabsex1_vs_true-unreach-call.i	out of memory	510	510	7400	15000	.0082	0	-					-					-					-
pthread-ext/46_monabsex2_vs_true-unreach-call.i	out of memory	330	330	4300	15000	.0082	0	-					-					-					-
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i	out of memory	150	150	2000	15000	.012	0	-					-					-					-
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i	out of memory	140	140	1600	15000	.0082	0	-					-					-					-
pthread-wmm/mix000_power.oepc_false-unreach-call.i	false(unreach-call)	89	89	1100	5400	.066	0	-					-					-					-
pthread-wmm/mix000_power.opt_false-unreach-call.i	false(unreach-call)	63	63	800	2200	.061	0	-					-					-					-
pthread-wmm/mix000_pso.oepc_false-unreach-call.i	false(unreach-call)	89	89	1300	5400	.066	0	-					-					-					-
pthread-wmm/mix000_pso.opt_false-unreach-call.i	false(unreach-call)	63	63	880	2200	.061	.0041	-					-					-					-
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i	false(unreach-call)	89	89	1100	5400	.066	0	-					-					-					-
pthread-wmm/mix000_rmo.opt_false-unreach-call.i	false(unreach-call)	63	63	790	2200	.061	0	-					-					-					-
pthread-wmm/mix000_tso.oepc_false-unreach-call.i	false(unreach-call)	89	89	1200	5400	.066	0	-					-					-					-
pthread-wmm/mix000_tso.opt_false-unreach-call.i	false(unreach-call)	63	63	750	2200	.061	0	-					-					-					-
pthread-wmm/mix001_power.oepc_false-unreach-call.i	out of memory	310	310	3700	15000	.074	0	-					-					-					-
pthread-wmm/mix001_power.opt_false-unreach-call.i	out of memory	180	180	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix001_pso.oepc_false-unreach-call.i	out of memory	310	310	4000	15000	.074	0	-					-					-					-
pthread-wmm/mix001_pso.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.061	.0082	-					-					-					-
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i	out of memory	300	300	3800	15000	.074	0	-					-					-					-
pthread-wmm/mix001_rmo.opt_false-unreach-call.i	out of memory	180	180	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix001_tso.oepc_false-unreach-call.i	out of memory	310	310	4000	15000	.074	4.1	-					-					-					-
pthread-wmm/mix001_tso.opt_false-unreach-call.i	out of memory	180	180	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix002_power.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix002_power.opt_false-unreach-call.i	out of memory	180	180	2600	15000	.061	0	-					-					-					-
pthread-wmm/mix002_pso.oepc_false-unreach-call.i	out of memory	160	160	2200	15000	.057	0	-					-					-					-
pthread-wmm/mix002_pso.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix002_rmo.opt_false-unreach-call.i	out of memory	180	180	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix002_tso.oepc_false-unreach-call.i	out of memory	160	160	1800	15000	.057	0	-					-					-					-
pthread-wmm/mix002_tso.opt_false-unreach-call.i	out of memory	180	180	2500	15000	.061	0	-					-					-					-
pthread-wmm/mix003_power.oepc_false-unreach-call.i	out of memory	150	150	2100	15000	.057	0	-					-					-					-
pthread-wmm/mix003_power.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix003_pso.oepc_false-unreach-call.i	out of memory	150	150	2300	15000	.057	0	-					-					-					-
pthread-wmm/mix003_pso.opt_false-unreach-call.i	out of memory	180	180	2500	15000	.061	0	-					-					-					-
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i	out of memory	150	150	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i	out of memory	180	180	2600	15000	.061	0	-					-					-					-
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i	out of memory	180	180	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix003_rmo.opt_false-unreach-call.i	out of memory	180	180	2400	15000	.061	0	-					-					-					-
pthread-wmm/mix003_tso.oepc_false-unreach-call.i	out of memory	150	150	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix003_tso.opt_false-unreach-call.i	out of memory	180	180	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix004_power.oepc_false-unreach-call.i	out of memory	170	170	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix004_power.opt_false-unreach-call.i	out of memory	170	170	2200	15000	.066	0	-					-					-					-
pthread-wmm/mix004_pso.oepc_false-unreach-call.i	out of memory	170	170	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix004_pso.opt_false-unreach-call.i	out of memory	170	170	2000	15000	.066	0	-					-					-					-
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix004_rmo.opt_false-unreach-call.i	out of memory	170	170	2400	15000	.066	0	-					-					-					-
pthread-wmm/mix004_tso.oepc_false-unreach-call.i	out of memory	170	170	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix004_tso.opt_false-unreach-call.i	out of memory	170	170	2400	15000	.066	0	-					-					-					-
pthread-wmm/mix005_power.oepc_false-unreach-call.i	out of memory	170	170	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix005_power.opt_false-unreach-call.i	out of memory	170	170	2400	15000	.066	0	-					-					-					-
pthread-wmm/mix005_pso.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix005_pso.opt_false-unreach-call.i	out of memory	170	170	2300	15000	.066	0	-					-					-					-
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix005_rmo.opt_false-unreach-call.i	out of memory	170	170	2300	15000	.066	0	-					-					-					-
pthread-wmm/mix005_tso.oepc_false-unreach-call.i	out of memory	150	140	1800	15000	.061	0	-					-					-					-
pthread-wmm/mix005_tso.opt_false-unreach-call.i	out of memory	170	170	2100	15000	.066	0	-					-					-					-
pthread-wmm/mix006_power.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix006_power.opt_false-unreach-call.i	out of memory	180	180	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix006_pso.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.057	0	-					-					-					-
pthread-wmm/mix006_pso.opt_false-unreach-call.i	out of memory	180	180	2500	15000	.061	0	-					-					-					-
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i	out of memory	160	160	2200	15000	.057	0	-					-					-					-
pthread-wmm/mix006_rmo.opt_false-unreach-call.i	out of memory	180	180	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix006_tso.oepc_false-unreach-call.i	out of memory	150	150	1800	15000	.12	0	-					-					-					-
pthread-wmm/mix006_tso.opt_false-unreach-call.i	out of memory	180	180	2500	15000	.061	0	-					-					-					-
pthread-wmm/mix007_power.oepc_false-unreach-call.i	out of memory	160	160	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix007_power.opt_false-unreach-call.i	out of memory	180	180	2400	15000	.066	0	-					-					-					-
pthread-wmm/mix007_pso.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix007_pso.opt_false-unreach-call.i	out of memory	180	180	2300	15000	.066	0	-					-					-					-
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix007_rmo.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.066	0	-					-					-					-
pthread-wmm/mix007_tso.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix007_tso.opt_false-unreach-call.i	out of memory	180	180	2100	15000	.066	0	-					-					-					-
pthread-wmm/mix008_power.oepc_false-unreach-call.i	out of memory	160	160	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix008_power.opt_false-unreach-call.i	out of memory	180	180	2100	15000	.066	0	-					-					-					-
pthread-wmm/mix008_pso.oepc_false-unreach-call.i	out of memory	160	160	1700	15000	.061	0	-					-					-					-
pthread-wmm/mix008_pso.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.066	0	-					-					-					-
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix008_rmo.opt_false-unreach-call.i	out of memory	180	180	2000	15000	.066	0	-					-					-					-
pthread-wmm/mix008_tso.oepc_false-unreach-call.i	out of memory	140	140	1900	15000	.12	0	-					-					-					-
pthread-wmm/mix008_tso.opt_false-unreach-call.i	out of memory	180	180	2500	15000	.066	0	-					-					-					-
pthread-wmm/mix009_power.oepc_false-unreach-call.i	false(unreach-call)	25	25	280	3600	.049	0	-					-					-					-
pthread-wmm/mix009_power.opt_false-unreach-call.i	false(unreach-call)	65	65	840	2200	.061	0	-					-					-					-
pthread-wmm/mix009_pso.oepc_false-unreach-call.i	false(unreach-call)	25	25	290	3600	.049	0	-					-					-					-
pthread-wmm/mix009_pso.opt_false-unreach-call.i	false(unreach-call)	65	65	920	2200	.061	0	-					-					-					-
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i	false(unreach-call)	25	25	310	3600	.049	0	-					-					-					-
pthread-wmm/mix009_rmo.opt_false-unreach-call.i	false(unreach-call)	65	65	800	2200	.061	0	-					-					-					-
pthread-wmm/mix009_tso.oepc_false-unreach-call.i	false(unreach-call)	25	25	280	3600	.049	0	-					-					-					-
pthread-wmm/mix009_tso.opt_false-unreach-call.i	false(unreach-call)	65	65	850	2200	.061	.098	-					-					-					-
pthread-wmm/mix010_power.oepc_false-unreach-call.i	out of memory	150	150	2100	15000	.057	0	-					-					-					-
pthread-wmm/mix010_power.opt_false-unreach-call.i	out of memory	180	180	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix010_pso.oepc_false-unreach-call.i	out of memory	150	150	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix010_pso.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i	out of memory	160	150	1800	15000	.057	0	-					-					-					-
pthread-wmm/mix010_rmo.opt_false-unreach-call.i	out of memory	180	180	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix010_tso.oepc_false-unreach-call.i	out of memory	160	160	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix010_tso.opt_false-unreach-call.i	out of memory	180	180	2500	15000	.061	0	-					-					-					-
pthread-wmm/mix011_power.oepc_false-unreach-call.i	out of memory	160	150	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix011_power.opt_false-unreach-call.i	out of memory	180	180	2500	15000	.061	0	-					-					-					-
pthread-wmm/mix011_pso.oepc_false-unreach-call.i	out of memory	160	150	1600	15000	.057	0	-					-					-					-
pthread-wmm/mix011_pso.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i	out of memory	160	150	2300	15000	.057	0	-					-					-					-
pthread-wmm/mix011_rmo.opt_false-unreach-call.i	out of memory	180	180	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix011_tso.oepc_false-unreach-call.i	out of memory	180	180	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix011_tso.opt_false-unreach-call.i	out of memory	180	180	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix012_power.oepc_false-unreach-call.i	false(unreach-call)	22	22	300	3500	.049	0	-					-					-					-
pthread-wmm/mix012_power.opt_false-unreach-call.i	false(unreach-call)	22	22	220	3500	.049	0	-					-					-					-
pthread-wmm/mix012_pso.oepc_false-unreach-call.i	false(unreach-call)	22	22	290	3500	.049	0	-					-					-					-
pthread-wmm/mix012_pso.opt_false-unreach-call.i	false(unreach-call)	61	61	770	2200	.061	4.2	-					-					-					-
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i	false(unreach-call)	22	22	240	3500	.049	0	-					-					-					-
pthread-wmm/mix012_rmo.opt_false-unreach-call.i	false(unreach-call)	22	22	220	3500	.049	0	-					-					-					-
pthread-wmm/mix012_tso.oepc_false-unreach-call.i	false(unreach-call)	22	22	290	3500	.049	0	-					-					-					-
pthread-wmm/mix012_tso.opt_false-unreach-call.i	false(unreach-call)	61	61	770	2200	.061	0	-					-					-					-
pthread-wmm/mix013_power.oepc_false-unreach-call.i	out of memory	170	170	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix013_power.opt_false-unreach-call.i	out of memory	170	160	2300	15000	.066	0	-					-					-					-
pthread-wmm/mix013_pso.oepc_false-unreach-call.i	out of memory	170	170	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix013_pso.opt_false-unreach-call.i	out of memory	170	170	2000	15000	.066	0	-					-					-					-
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i	out of memory	170	170	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix013_rmo.opt_false-unreach-call.i	out of memory	170	170	2000	15000	.066	0	-					-					-					-
pthread-wmm/mix013_tso.oepc_false-unreach-call.i	out of memory	170	170	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix013_tso.opt_false-unreach-call.i	out of memory	160	160	2000	15000	.066	0	-					-					-					-
pthread-wmm/mix014_power.oepc_false-unreach-call.i	out of memory	170	170	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix014_power.opt_false-unreach-call.i	out of memory	180	180	2100	15000	.066	0	-					-					-					-
pthread-wmm/mix014_pso.oepc_false-unreach-call.i	out of memory	170	170	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix014_pso.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.066	0	-					-					-					-
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i	out of memory	170	170	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix014_rmo.opt_false-unreach-call.i	out of memory	180	180	2100	15000	.066	0	-					-					-					-
pthread-wmm/mix014_tso.oepc_false-unreach-call.i	out of memory	130	130	1400	15000	.11	0	-					-					-					-
pthread-wmm/mix014_tso.opt_false-unreach-call.i	out of memory	180	180	2500	15000	.066	0	-					-					-					-
pthread-wmm/mix015_power.oepc_false-unreach-call.i	out of memory	160	160	1800	15000	.057	0	-					-					-					-
pthread-wmm/mix015_power.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix015_pso.oepc_false-unreach-call.i	out of memory	150	150	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix015_pso.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i	out of memory	150	150	1600	15000	.057	.0041	-					-					-					-
pthread-wmm/mix015_rmo.opt_false-unreach-call.i	out of memory	180	180	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix015_tso.oepc_false-unreach-call.i	out of memory	160	150	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix015_tso.opt_false-unreach-call.i	out of memory	180	180	2500	15000	.061	0	-					-					-					-
pthread-wmm/mix016_power.oepc_false-unreach-call.i	out of memory	150	150	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix016_power.opt_false-unreach-call.i	out of memory	360	360	4600	15000	.049	0	-					-					-					-
pthread-wmm/mix016_pso.oepc_false-unreach-call.i	out of memory	150	150	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix016_pso.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i	out of memory	150	150	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix016_rmo.opt_false-unreach-call.i	out of memory	360	360	4100	15000	.049	0	-					-					-					-
pthread-wmm/mix016_tso.oepc_false-unreach-call.i	out of memory	150	150	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix016_tso.opt_false-unreach-call.i	out of memory	180	180	2400	15000	.061	0	-					-					-					-
pthread-wmm/mix017_power.oepc_false-unreach-call.i	out of memory	160	160	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix017_power.opt_false-unreach-call.i	out of memory	170	170	2000	15000	.053	0	-					-					-					-
pthread-wmm/mix017_pso.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix017_pso.opt_false-unreach-call.i	out of memory	160	160	2400	15000	.061	0	-					-					-					-
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i	out of memory	160	160	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix017_rmo.opt_false-unreach-call.i	out of memory	170	170	2000	15000	.053	0	-					-					-					-
pthread-wmm/mix017_tso.oepc_false-unreach-call.i	out of memory	160	160	1800	15000	.061	0	-					-					-					-
pthread-wmm/mix017_tso.opt_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix018_power.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix018_power.opt_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix018_pso.oepc_false-unreach-call.i	out of memory	160	160	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix018_pso.opt_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix018_rmo.opt_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix018_tso.oepc_false-unreach-call.i	out of memory	140	140	1800	15000	.061	0	-					-					-					-
pthread-wmm/mix018_tso.opt_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix019_power.oepc_false-unreach-call.i	out of memory	150	150	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix019_power.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix019_pso.oepc_false-unreach-call.i	out of memory	150	150	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix019_pso.opt_false-unreach-call.i	out of memory	180	180	2700	15000	.061	0	-					-					-					-
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i	out of memory	150	150	2200	15000	.057	0	-					-					-					-
pthread-wmm/mix019_rmo.opt_false-unreach-call.i	out of memory	180	180	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix019_tso.oepc_false-unreach-call.i	out of memory	190	190	2300	15000	.057	0	-					-					-					-
pthread-wmm/mix019_tso.opt_false-unreach-call.i	out of memory	180	180	2500	15000	.061	0	-					-					-					-
pthread-wmm/mix020_power.oepc_false-unreach-call.i	out of memory	170	170	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix020_power.opt_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix020_pso.oepc_false-unreach-call.i	out of memory	170	170	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix020_pso.opt_false-unreach-call.i	out of memory	160	160	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix020_rmo.opt_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix020_tso.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix020_tso.opt_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix021_power.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix021_power.opt_false-unreach-call.i	out of memory	160	160	1700	15000	.061	0	-					-					-					-
pthread-wmm/mix021_pso.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix021_pso.opt_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i	out of memory	160	160	1800	15000	.061	0	-					-					-					-
pthread-wmm/mix021_rmo.opt_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix021_tso.oepc_false-unreach-call.i	out of memory	150	150	1600	15000	.057	0	-					-					-					-
pthread-wmm/mix021_tso.opt_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix022_power.oepc_false-unreach-call.i	false(unreach-call)	27	27	280	3300	.049	0	-					-					-					-
pthread-wmm/mix022_power.opt_false-unreach-call.i	false(unreach-call)	27	27	320	3300	.049	0	-					-					-					-
pthread-wmm/mix022_pso.oepc_false-unreach-call.i	false(unreach-call)	27	27	320	3300	.049	0	-					-					-					-
pthread-wmm/mix022_pso.opt_false-unreach-call.i	false(unreach-call)	27	27	320	3300	.049	0	-					-					-					-
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i	false(unreach-call)	27	27	310	3300	.049	0	-					-					-					-
pthread-wmm/mix022_rmo.opt_false-unreach-call.i	false(unreach-call)	27	27	350	3300	.049	0	-					-					-					-
pthread-wmm/mix022_tso.oepc_false-unreach-call.i	false(unreach-call)	41	41	450	3800	.066	.012	-					-					-					-
pthread-wmm/mix022_tso.opt_false-unreach-call.i	false(unreach-call)	41	41	470	3800	.066	0	-					-					-					-
pthread-wmm/mix023_power.oepc_false-unreach-call.i	out of memory	170	170	2400	15000	.061	0	-					-					-					-
pthread-wmm/mix023_power.opt_false-unreach-call.i	out of memory	160	160	2300	15000	.053	0	-					-					-					-
pthread-wmm/mix023_pso.oepc_false-unreach-call.i	out of memory	170	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix023_pso.opt_false-unreach-call.i	out of memory	160	160	2100	15000	.053	0	-					-					-					-
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i	out of memory	170	170	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix023_rmo.opt_false-unreach-call.i	out of memory	160	160	2200	15000	.053	0	-					-					-					-
pthread-wmm/mix023_tso.oepc_false-unreach-call.i	out of memory	140	140	1900	15000	.13	0	-					-					-					-
pthread-wmm/mix023_tso.opt_false-unreach-call.i	out of memory	140	140	1800	15000	.13	0	-					-					-					-
pthread-wmm/mix024_power.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix024_power.opt_false-unreach-call.i	out of memory	370	370	5000	15000	.053	0	-					-					-					-
pthread-wmm/mix024_pso.oepc_false-unreach-call.i	out of memory	160	160	2400	15000	.057	0	-					-					-					-
pthread-wmm/mix024_pso.opt_false-unreach-call.i	out of memory	370	370	5000	15000	.053	0	-					-					-					-
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i	out of memory	160	160	2200	15000	.057	0	-					-					-					-
pthread-wmm/mix024_rmo.opt_false-unreach-call.i	out of memory	370	370	4300	15000	.053	.098	-					-					-					-
pthread-wmm/mix024_tso.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix024_tso.opt_false-unreach-call.i	out of memory	160	160	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix025_power.oepc_false-unreach-call.i	out of memory	160	160	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix025_power.opt_false-unreach-call.i	out of memory	160	160	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix025_pso.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix025_pso.opt_false-unreach-call.i	out of memory	390	390	5000	15000	.049	0	-					-					-					-
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix025_rmo.opt_false-unreach-call.i	out of memory	390	390	4600	15000	.049	0	-					-					-					-
pthread-wmm/mix025_tso.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.057	0	-					-					-					-
pthread-wmm/mix025_tso.opt_false-unreach-call.i	out of memory	160	160	1800	15000	.057	0	-					-					-					-
pthread-wmm/mix026_power.oepc_false-unreach-call.i	out of memory	170	170	1800	15000	.061	0	-					-					-					-
pthread-wmm/mix026_power.opt_false-unreach-call.i	out of memory	280	280	3700	15000	.057	0	-					-					-					-
pthread-wmm/mix026_pso.oepc_false-unreach-call.i	out of memory	170	170	1800	15000	.061	0	-					-					-					-
pthread-wmm/mix026_pso.opt_false-unreach-call.i	out of memory	170	170	2100	15000	.053	0	-					-					-					-
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i	out of memory	170	170	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix026_rmo.opt_false-unreach-call.i	out of memory	170	170	2100	15000	.053	0	-					-					-					-
pthread-wmm/mix026_tso.oepc_false-unreach-call.i	out of memory	170	170	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix026_tso.opt_false-unreach-call.i	out of memory	280	280	3600	15000	.057	0	-					-					-					-
pthread-wmm/mix027_power.oepc_false-unreach-call.i	out of memory	170	170	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix027_power.opt_false-unreach-call.i	out of memory	160	160	2200	15000	.053	0	-					-					-					-
pthread-wmm/mix027_pso.oepc_false-unreach-call.i	out of memory	170	170	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix027_pso.opt_false-unreach-call.i	out of memory	170	170	1900	15000	.053	0	-					-					-					-
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i	out of memory	170	170	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix027_rmo.opt_false-unreach-call.i	out of memory	170	170	2500	15000	.053	0	-					-					-					-
pthread-wmm/mix027_tso.oepc_false-unreach-call.i	out of memory	140	140	1700	15000	.061	0	-					-					-					-
pthread-wmm/mix027_tso.opt_false-unreach-call.i	out of memory	140	140	1700	15000	.061	0	-					-					-					-
pthread-wmm/mix028_power.oepc_false-unreach-call.i	out of memory	150	150	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix028_power.opt_false-unreach-call.i	out of memory	150	150	1600	15000	.057	0	-					-					-					-
pthread-wmm/mix028_pso.oepc_false-unreach-call.i	out of memory	150	150	2100	15000	.057	0	-					-					-					-
pthread-wmm/mix028_pso.opt_false-unreach-call.i	out of memory	150	150	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i	out of memory	150	150	1600	15000	.057	0	-					-					-					-
pthread-wmm/mix028_rmo.opt_false-unreach-call.i	out of memory	150	150	1600	15000	.057	0	-					-					-					-
pthread-wmm/mix028_tso.oepc_false-unreach-call.i	out of memory	150	150	1800	15000	.066	0	-					-					-					-
pthread-wmm/mix028_tso.opt_false-unreach-call.i	out of memory	150	150	1800	15000	.066	0	-					-					-					-
pthread-wmm/mix029_power.oepc_false-unreach-call.i	out of memory	170	170	2400	15000	.061	0	-					-					-					-
pthread-wmm/mix029_power.opt_false-unreach-call.i	out of memory	140	140	1600	15000	.057	0	-					-					-					-
pthread-wmm/mix029_pso.oepc_false-unreach-call.i	out of memory	170	170	2600	15000	.061	0	-					-					-					-
pthread-wmm/mix029_pso.opt_false-unreach-call.i	out of memory	150	150	2200	15000	.057	0	-					-					-					-
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i	out of memory	170	170	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix029_rmo.opt_false-unreach-call.i	out of memory	140	140	1500	15000	.057	0	-					-					-					-
pthread-wmm/mix029_tso.oepc_false-unreach-call.i	out of memory	170	170	2400	15000	.061	0	-					-					-					-
pthread-wmm/mix029_tso.opt_false-unreach-call.i	out of memory	170	170	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix030_power.oepc_false-unreach-call.i	out of memory	170	170	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix030_power.opt_false-unreach-call.i	out of memory	140	140	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix030_pso.oepc_false-unreach-call.i	out of memory	170	170	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix030_pso.opt_false-unreach-call.i	out of memory	140	140	1800	15000	.057	0	-					-					-					-
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i	out of memory	170	170	1800	15000	.061	0	-					-					-					-
pthread-wmm/mix030_rmo.opt_false-unreach-call.i	out of memory	140	140	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix030_tso.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.070	0	-					-					-					-
pthread-wmm/mix030_tso.opt_false-unreach-call.i	out of memory	160	160	2000	15000	.070	.0041	-					-					-					-
pthread-wmm/mix031_power.oepc_false-unreach-call.i	false(unreach-call)	26	26	310	3600	.049	0	-					-					-					-
pthread-wmm/mix031_power.opt_false-unreach-call.i	false(unreach-call)	17	17	250	790	.045	0	-					-					-					-
pthread-wmm/mix031_pso.oepc_false-unreach-call.i	false(unreach-call)	26	26	280	3600	.049	0	-					-					-					-
pthread-wmm/mix031_pso.opt_false-unreach-call.i	false(unreach-call)	17	17	200	790	.045	0	-					-					-					-
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i	false(unreach-call)	26	26	340	3600	.049	0	-					-					-					-
pthread-wmm/mix031_rmo.opt_false-unreach-call.i	false(unreach-call)	17	17	180	780	.045	0	-					-					-					-
pthread-wmm/mix031_tso.oepc_false-unreach-call.i	false(unreach-call)	25	26	320	3600	.049	0	-					-					-					-
pthread-wmm/mix031_tso.opt_false-unreach-call.i	false(unreach-call)	16	16	210	790	.045	0	-					-					-					-
pthread-wmm/mix032_power.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix032_power.opt_false-unreach-call.i	out of memory	160	160	2000	15000	.049	0	-					-					-					-
pthread-wmm/mix032_pso.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix032_pso.opt_false-unreach-call.i	out of memory	160	160	2200	15000	.049	0	-					-					-					-
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.057	0	-					-					-					-
pthread-wmm/mix032_rmo.opt_false-unreach-call.i	out of memory	160	160	2100	15000	.049	0	-					-					-					-
pthread-wmm/mix032_tso.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix032_tso.opt_false-unreach-call.i	out of memory	160	160	2000	15000	.049	0	-					-					-					-
pthread-wmm/mix033_power.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix033_power.opt_false-unreach-call.i	out of memory	160	160	2000	15000	.045	0	-					-					-					-
pthread-wmm/mix033_pso.oepc_false-unreach-call.i	out of memory	160	160	2200	15000	.057	0	-					-					-					-
pthread-wmm/mix033_pso.opt_false-unreach-call.i	out of memory	160	160	1700	15000	.045	0	-					-					-					-
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix033_rmo.opt_false-unreach-call.i	out of memory	160	160	1800	15000	.045	0	-					-					-					-
pthread-wmm/mix033_tso.oepc_false-unreach-call.i	out of memory	170	170	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix033_tso.opt_false-unreach-call.i	out of memory	160	160	1900	15000	.045	0	-					-					-					-
pthread-wmm/mix034_power.oepc_false-unreach-call.i	false(unreach-call)	22	22	240	3600	.049	0	-					-					-					-
pthread-wmm/mix034_power.opt_false-unreach-call.i	false(unreach-call)	22	22	240	3600	.049	0	-					-					-					-
pthread-wmm/mix034_pso.oepc_false-unreach-call.i	false(unreach-call)	22	22	300	3600	.049	0	-					-					-					-
pthread-wmm/mix034_pso.opt_false-unreach-call.i	false(unreach-call)	16	16	180	780	.045	0	-					-					-					-
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i	false(unreach-call)	22	22	320	3600	.049	0	-					-					-					-
pthread-wmm/mix034_rmo.opt_false-unreach-call.i	false(unreach-call)	22	22	270	3600	.049	0	-					-					-					-
pthread-wmm/mix034_tso.oepc_false-unreach-call.i	false(unreach-call)	22	22	240	3600	.049	0	-					-					-					-
pthread-wmm/mix034_tso.opt_false-unreach-call.i	false(unreach-call)	16	16	230	780	.045	0	-					-					-					-
pthread-wmm/mix035_power.oepc_false-unreach-call.i	out of memory	150	150	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix035_power.opt_false-unreach-call.i	out of memory	370	370	4800	15000	.053	0	-					-					-					-
pthread-wmm/mix035_pso.oepc_false-unreach-call.i	out of memory	150	150	1800	15000	.057	0	-					-					-					-
pthread-wmm/mix035_pso.opt_false-unreach-call.i	out of memory	160	160	2000	15000	.045	0	-					-					-					-
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i	out of memory	150	150	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix035_rmo.opt_false-unreach-call.i	out of memory	380	380	4700	15000	.053	0	-					-					-					-
pthread-wmm/mix035_tso.oepc_false-unreach-call.i	out of memory	150	150	2200	15000	.057	0	-					-					-					-
pthread-wmm/mix035_tso.opt_false-unreach-call.i	out of memory	160	160	1900	15000	.045	0	-					-					-					-
pthread-wmm/mix036_power.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix036_power.opt_false-unreach-call.i	out of memory	170	170	2100	15000	.053	0	-					-					-					-
pthread-wmm/mix036_pso.oepc_false-unreach-call.i	out of memory	160	160	2400	15000	.061	.0041	-					-					-					-
pthread-wmm/mix036_pso.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.049	0	-					-					-					-
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix036_rmo.opt_false-unreach-call.i	out of memory	170	170	2600	15000	.053	0	-					-					-					-
pthread-wmm/mix036_tso.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix036_tso.opt_false-unreach-call.i	out of memory	180	180	2000	15000	.049	0	-					-					-					-
pthread-wmm/mix037_power.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix037_power.opt_false-unreach-call.i	out of memory	180	180	2300	15000	.049	0	-					-					-					-
pthread-wmm/mix037_pso.oepc_false-unreach-call.i	out of memory	160	160	2500	15000	.061	0	-					-					-					-
pthread-wmm/mix037_pso.opt_false-unreach-call.i	out of memory	180	180	2100	15000	.049	0	-					-					-					-
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix037_rmo.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.049	0	-					-					-					-
pthread-wmm/mix037_tso.oepc_false-unreach-call.i	out of memory	150	150	1600	15000	.061	0	-					-					-					-
pthread-wmm/mix037_tso.opt_false-unreach-call.i	out of memory	180	180	2500	15000	.049	0	-					-					-					-
pthread-wmm/mix038_power.oepc_false-unreach-call.i	out of memory	150	150	2100	15000	.057	0	-					-					-					-
pthread-wmm/mix038_power.opt_false-unreach-call.i	out of memory	160	160	2200	15000	.045	0	-					-					-					-
pthread-wmm/mix038_pso.oepc_false-unreach-call.i	out of memory	150	150	1800	15000	.057	0	-					-					-					-
pthread-wmm/mix038_pso.opt_false-unreach-call.i	out of memory	160	160	1800	15000	.045	0	-					-					-					-
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i	out of memory	150	150	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix038_rmo.opt_false-unreach-call.i	out of memory	160	160	2200	15000	.045	0	-					-					-					-
pthread-wmm/mix038_tso.oepc_false-unreach-call.i	out of memory	180	180	2000	15000	.057	0	-					-					-					-
pthread-wmm/mix038_tso.opt_false-unreach-call.i	out of memory	160	160	2100	15000	.045	0	-					-					-					-
pthread-wmm/mix039_power.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	.37	-					-					-					-
pthread-wmm/mix039_power.opt_false-unreach-call.i	out of memory	190	190	2000	15000	.049	0	-					-					-					-
pthread-wmm/mix039_pso.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix039_pso.opt_false-unreach-call.i	out of memory	180	180	2200	15000	.049	0	-					-					-					-
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix039_rmo.opt_false-unreach-call.i	out of memory	180	180	2100	15000	.049	0	-					-					-					-
pthread-wmm/mix039_tso.oepc_false-unreach-call.i	out of memory	160	160	2500	15000	.061	0	-					-					-					-
pthread-wmm/mix039_tso.opt_false-unreach-call.i	out of memory	180	180	2600	15000	.049	0	-					-					-					-
pthread-wmm/mix040_power.oepc_false-unreach-call.i	out of memory	160	160	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix040_power.opt_false-unreach-call.i	out of memory	180	180	2500	15000	.049	0	-					-					-					-
pthread-wmm/mix040_pso.oepc_false-unreach-call.i	out of memory	160	160	2400	15000	.061	0	-					-					-					-
pthread-wmm/mix040_pso.opt_false-unreach-call.i	out of memory	180	170	2200	15000	.049	0	-					-					-					-
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix040_rmo.opt_false-unreach-call.i	out of memory	180	180	2000	15000	.049	0	-					-					-					-
pthread-wmm/mix040_tso.oepc_false-unreach-call.i	out of memory	150	150	1800	15000	.057	0	-					-					-					-
pthread-wmm/mix040_tso.opt_false-unreach-call.i	out of memory	170	170	2200	15000	.049	0	-					-					-					-
pthread-wmm/mix041_power.oepc_false-unreach-call.i	false(unreach-call)	22	22	290	3500	.049	0	-					-					-					-
pthread-wmm/mix041_power.opt_false-unreach-call.i	false(unreach-call)	8.1	8.1	91	800	.049	0	-					-					-					-
pthread-wmm/mix041_pso.oepc_false-unreach-call.i	false(unreach-call)	22	22	260	3500	.049	0	-					-					-					-
pthread-wmm/mix041_pso.opt_false-unreach-call.i	false(unreach-call)	8.1	8.1	100	800	.049	0	-					-					-					-
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i	false(unreach-call)	22	22	240	3500	.049	0	-					-					-					-
pthread-wmm/mix041_rmo.opt_false-unreach-call.i	false(unreach-call)	8.2	8.2	97	800	.049	0	-					-					-					-
pthread-wmm/mix041_tso.oepc_false-unreach-call.i	false(unreach-call)	8.2	8.2	100	800	.049	0	-					-					-					-
pthread-wmm/mix041_tso.opt_false-unreach-call.i	false(unreach-call)	8.2	8.2	94	800	.049	0	-					-					-					-
pthread-wmm/mix042_power.oepc_false-unreach-call.i	out of memory	150	150	2100	15000	.057	0	-					-					-					-
pthread-wmm/mix042_power.opt_false-unreach-call.i	false(unreach-call)	150	150	2100	13000	.053	0	-					-					-					-
pthread-wmm/mix042_pso.oepc_false-unreach-call.i	out of memory	150	150	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix042_pso.opt_false-unreach-call.i	false(unreach-call)	150	150	2300	13000	.053	0	-					-					-					-
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i	out of memory	150	150	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix042_rmo.opt_false-unreach-call.i	false(unreach-call)	150	150	2000	13000	.053	0	-					-					-					-
pthread-wmm/mix042_tso.oepc_false-unreach-call.i	out of memory	150	150	2200	15000	.057	0	-					-					-					-
pthread-wmm/mix042_tso.opt_false-unreach-call.i	false(unreach-call)	150	150	1900	13000	.053	0	-					-					-					-
pthread-wmm/mix043_power.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix043_power.opt_false-unreach-call.i	out of memory	160	160	1600	15000	.053	0	-					-					-					-
pthread-wmm/mix043_pso.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix043_pso.opt_false-unreach-call.i	out of memory	160	160	1800	15000	.053	0	-					-					-					-
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix043_rmo.opt_false-unreach-call.i	out of memory	150	150	2100	15000	.053	0	-					-					-					-
pthread-wmm/mix043_tso.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix043_tso.opt_false-unreach-call.i	out of memory	160	160	1900	15000	.053	0	-					-					-					-
pthread-wmm/mix044_power.oepc_false-unreach-call.i	out of memory	160	160	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix044_power.opt_false-unreach-call.i	out of memory	150	150	1900	15000	.053	0	-					-					-					-
pthread-wmm/mix044_pso.oepc_false-unreach-call.i	out of memory	160	160	1800	15000	.061	0	-					-					-					-
pthread-wmm/mix044_pso.opt_false-unreach-call.i	out of memory	150	150	2100	15000	.053	0	-					-					-					-
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix044_rmo.opt_false-unreach-call.i	out of memory	150	150	1800	15000	.053	0	-					-					-					-
pthread-wmm/mix044_tso.oepc_false-unreach-call.i	out of memory	150	150	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix044_tso.opt_false-unreach-call.i	out of memory	150	150	2000	15000	.053	0	-					-					-					-
pthread-wmm/mix045_power.oepc_false-unreach-call.i	out of memory	150	150	1800	15000	.057	0	-					-					-					-
pthread-wmm/mix045_power.opt_false-unreach-call.i	false(unreach-call)	150	150	1700	13000	.053	0	-					-					-					-
pthread-wmm/mix045_pso.oepc_false-unreach-call.i	out of memory	150	150	1800	15000	.057	0	-					-					-					-
pthread-wmm/mix045_pso.opt_false-unreach-call.i	false(unreach-call)	150	150	2000	13000	.053	0	-					-					-					-
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i	out of memory	150	150	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix045_rmo.opt_false-unreach-call.i	false(unreach-call)	150	150	2100	13000	.053	0	-					-					-					-
pthread-wmm/mix045_tso.oepc_false-unreach-call.i	false(unreach-call)	150	150	2000	13000	.053	0	-					-					-					-
pthread-wmm/mix045_tso.opt_false-unreach-call.i	false(unreach-call)	150	150	1900	13000	.053	0	-					-					-					-
pthread-wmm/mix046_power.oepc_false-unreach-call.i	out of memory	160	160	1800	15000	.061	0	-					-					-					-
pthread-wmm/mix046_power.opt_false-unreach-call.i	out of memory	150	150	1800	15000	.053	0	-					-					-					-
pthread-wmm/mix046_pso.oepc_false-unreach-call.i	out of memory	160	160	1800	15000	.061	0	-					-					-					-
pthread-wmm/mix046_pso.opt_false-unreach-call.i	out of memory	150	150	1800	15000	.053	0	-					-					-					-
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix046_rmo.opt_false-unreach-call.i	out of memory	150	150	1700	15000	.053	0	-					-					-					-
pthread-wmm/mix046_tso.oepc_false-unreach-call.i	out of memory	160	160	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix046_tso.opt_false-unreach-call.i	out of memory	150	150	1800	15000	.053	0	-					-					-					-
pthread-wmm/mix047_power.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix047_power.opt_false-unreach-call.i	out of memory	150	150	1800	15000	.053	0	-					-					-					-
pthread-wmm/mix047_pso.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix047_pso.opt_false-unreach-call.i	out of memory	140	140	1800	15000	.053	0	-					-					-					-
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix047_rmo.opt_false-unreach-call.i	out of memory	140	140	1900	15000	.053	0	-					-					-					-
pthread-wmm/mix047_tso.oepc_false-unreach-call.i	out of memory	150	140	1800	15000	.053	0	-					-					-					-
pthread-wmm/mix047_tso.opt_false-unreach-call.i	out of memory	150	150	1600	15000	.053	0	-					-					-					-
pthread-wmm/mix048_power.oepc_false-unreach-call.i	false(unreach-call)	18	18	210	2100	.049	0	-					-					-					-
pthread-wmm/mix048_power.opt_false-unreach-call.i	false(unreach-call)	18	18	210	2100	.049	0	-					-					-					-
pthread-wmm/mix048_pso.oepc_false-unreach-call.i	false(unreach-call)	18	18	230	2100	.049	0	-					-					-					-
pthread-wmm/mix048_pso.opt_false-unreach-call.i	false(unreach-call)	18	18	220	2100	.049	0	-					-					-					-
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i	false(unreach-call)	18	18	230	2100	.049	0	-					-					-					-
pthread-wmm/mix048_rmo.opt_false-unreach-call.i	false(unreach-call)	18	18	210	2100	.049	0	-					-					-					-
pthread-wmm/mix048_tso.oepc_false-unreach-call.i	false(unreach-call)	18	18	230	2100	.049	0	-					-					-					-
pthread-wmm/mix048_tso.opt_false-unreach-call.i	false(unreach-call)	19	19	230	2100	.049	43	-					-					-					-
pthread-wmm/mix049_power.oepc_false-unreach-call.i	out of memory	140	140	1800	15000	.057	0	-					-					-					-
pthread-wmm/mix049_power.opt_false-unreach-call.i	out of memory	140	140	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix049_pso.oepc_false-unreach-call.i	out of memory	140	140	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix049_pso.opt_false-unreach-call.i	out of memory	140	140	1600	15000	.057	0	-					-					-					-
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i	out of memory	140	140	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix049_rmo.opt_false-unreach-call.i	out of memory	140	140	2100	15000	.057	0	-					-					-					-
pthread-wmm/mix049_tso.oepc_false-unreach-call.i	out of memory	140	140	1800	15000	.057	0	-					-					-					-
pthread-wmm/mix049_tso.opt_false-unreach-call.i	out of memory	140	140	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix050_power.oepc_false-unreach-call.i	out of memory	160	160	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix050_power.opt_false-unreach-call.i	out of memory	170	170	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix050_pso.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix050_pso.opt_false-unreach-call.i	out of memory	170	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i	out of memory	170	170	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix050_rmo.opt_false-unreach-call.i	out of memory	170	160	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix050_tso.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix050_tso.opt_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix051_power.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix051_power.opt_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix051_pso.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix051_pso.opt_false-unreach-call.i	out of memory	160	160	2000	15000	.049	0	-					-					-					-
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix051_rmo.opt_false-unreach-call.i	out of memory	160	160	2000	15000	.049	0	-					-					-					-
pthread-wmm/mix051_tso.oepc_false-unreach-call.i	out of memory	130	130	1700	15000	.061	0	-					-					-					-
pthread-wmm/mix051_tso.opt_false-unreach-call.i	out of memory	160	160	2200	15000	.049	0	-					-					-					-
pthread-wmm/mix052_power.oepc_false-unreach-call.i	out of memory	140	140	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix052_power.opt_false-unreach-call.i	out of memory	150	140	1700	15000	.057	0	-					-					-					-
pthread-wmm/mix052_pso.oepc_false-unreach-call.i	out of memory	140	140	2100	15000	.057	0	-					-					-					-
pthread-wmm/mix052_pso.opt_false-unreach-call.i	out of memory	170	170	1800	15000	.045	0	-					-					-					-
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i	out of memory	140	140	1600	15000	.057	0	-					-					-					-
pthread-wmm/mix052_rmo.opt_false-unreach-call.i	out of memory	170	170	1700	15000	.045	0	-					-					-					-
pthread-wmm/mix052_tso.oepc_false-unreach-call.i	out of memory	180	180	2400	15000	.057	0	-					-					-					-
pthread-wmm/mix052_tso.opt_false-unreach-call.i	out of memory	170	170	2300	15000	.045	0	-					-					-					-
pthread-wmm/mix053_power.oepc_false-unreach-call.i	out of memory	160	160	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix053_power.opt_false-unreach-call.i	out of memory	150	150	1900	15000	.049	0	-					-					-					-
pthread-wmm/mix053_pso.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix053_pso.opt_false-unreach-call.i	out of memory	150	150	1900	15000	.049	0	-					-					-					-
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i	out of memory	160	160	2300	15000	.061	0	-					-					-					-
pthread-wmm/mix053_rmo.opt_false-unreach-call.i	out of memory	150	150	1700	15000	.049	0	-					-					-					-
pthread-wmm/mix053_tso.oepc_false-unreach-call.i	out of memory	150	150	1900	15000	.057	0	-					-					-					-
pthread-wmm/mix053_tso.opt_false-unreach-call.i	out of memory	150	150	1800	15000	.049	0	-					-					-					-
pthread-wmm/mix054_power.oepc_false-unreach-call.i	false(unreach-call)	18	18	220	2000	.049	0	-					-					-					-
pthread-wmm/mix054_power.opt_false-unreach-call.i	false(unreach-call)	18	18	220	2000	.049	0	-					-					-					-
pthread-wmm/mix054_pso.oepc_false-unreach-call.i	false(unreach-call)	18	18	220	2000	.049	0	-					-					-					-
pthread-wmm/mix054_pso.opt_false-unreach-call.i	false(unreach-call)	7.4	7.4	110	720	.049	0	-					-					-					-
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i	false(unreach-call)	18	18	240	2000	.049	0	-					-					-					-
pthread-wmm/mix054_rmo.opt_false-unreach-call.i	false(unreach-call)	7.4	7.4	99	720	.049	0	-					-					-					-
pthread-wmm/mix054_tso.oepc_false-unreach-call.i	false(unreach-call)	7.4	7.4	88	720	.049	0	-					-					-					-
pthread-wmm/mix054_tso.opt_false-unreach-call.i	false(unreach-call)	7.4	7.4	94	720	.049	0	-					-					-					-
pthread-wmm/mix055_power.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.061	0	-					-					-					-
pthread-wmm/mix055_power.opt_false-unreach-call.i	out of memory	130	130	1800	15000	.053	0	-					-					-					-
pthread-wmm/mix055_pso.oepc_false-unreach-call.i	out of memory	160	160	2200	15000	.061	0	-					-					-					-
pthread-wmm/mix055_pso.opt_false-unreach-call.i	out of memory	140	140	1700	15000	.053	0	-					-					-					-
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix055_rmo.opt_false-unreach-call.i	out of memory	140	140	1600	15000	.053	0	-					-					-					-
pthread-wmm/mix055_tso.oepc_false-unreach-call.i	out of memory	140	130	1600	15000	.061	0	-					-					-					-
pthread-wmm/mix055_tso.opt_false-unreach-call.i	out of memory	140	140	1900	15000	.053	0	-					-					-					-
pthread-wmm/mix056_power.oepc_false-unreach-call.i	out of memory	140	140	1800	15000	.053	0	-					-					-					-
pthread-wmm/mix056_power.opt_false-unreach-call.i	false(unreach-call)	130	130	1900	12000	.049	0	-					-					-					-
pthread-wmm/mix056_pso.oepc_false-unreach-call.i	out of memory	140	140	1600	15000	.053	0	-					-					-					-
pthread-wmm/mix056_pso.opt_false-unreach-call.i	false(unreach-call)	130	130	1600	12000	.049	0	-					-					-					-
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i	out of memory	140	140	1600	15000	.053	0	-					-					-					-
pthread-wmm/mix056_rmo.opt_false-unreach-call.i	false(unreach-call)	130	130	1400	12000	.049	0	-					-					-					-
pthread-wmm/mix056_tso.oepc_false-unreach-call.i	false(unreach-call)	130	130	1500	12000	.049	0	-					-					-					-
pthread-wmm/mix056_tso.opt_false-unreach-call.i	false(unreach-call)	130	130	1600	12000	.049	0	-					-					-					-
pthread-wmm/mix057_power.oepc_false-unreach-call.i	out of memory	160	160	2500	15000	.061	0	-					-					-					-
pthread-wmm/mix057_power.opt_false-unreach-call.i	out of memory	130	130	1700	15000	.053	0	-					-					-					-
pthread-wmm/mix057_pso.oepc_false-unreach-call.i	out of memory	160	160	1900	15000	.061	0	-					-					-					-
pthread-wmm/mix057_pso.opt_false-unreach-call.i	out of memory	130	130	1500	15000	.053	0	-					-					-					-
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i	out of memory	160	160	2100	15000	.061	0	-					-					-					-
pthread-wmm/mix057_rmo.opt_false-unreach-call.i	out of memory	130	130	1800	15000	.053	0	-					-					-					-
pthread-wmm/mix057_tso.oepc_false-unreach-call.i	out of memory	130	130	1500	15000	.053	0	-					-					-					-
pthread-wmm/mix057_tso.opt_false-unreach-call.i	out of memory	130	130	1600	15000	.053	0	-					-					-					-
pthread-wmm/podwr000_power.oepc_false-unreach-call.i	false(unreach-call)	18	18	210	2100	.049	0	-					-					-					-
pthread-wmm/podwr000_power.opt_false-unreach-call.i	false(unreach-call)	18	18	250	2100	.049	0	-					-					-					-
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i	false(unreach-call)	18	18	200	2100	.049	0	-					-					-					-
pthread-wmm/podwr000_pso.opt_false-unreach-call.i	false(unreach-call)	18	18	230	2100	.049	0	-					-					-					-
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i	false(unreach-call)	18	18	250	2100	.049	0	-					-					-					-
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i	false(unreach-call)	19	19	200	2100	.049	0	-					-					-					-
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i	false(unreach-call)	18	18	210	2100	.049	0	-					-					-					-
pthread-wmm/podwr000_tso.opt_false-unreach-call.i	false(unreach-call)	18	19	220	2100	.049	0	-					-					-					-
pthread-wmm/podwr001_power.oepc_false-unreach-call.i	out of memory	140	140	1800	15000	.057	0	-					-					-					-
pthread-wmm/podwr001_power.opt_false-unreach-call.i	out of memory	140	140	2000	15000	.057	0	-					-					-					-
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i	out of memory	140	140	1900	15000	.057	0	-					-					-					-
pthread-wmm/podwr001_pso.opt_false-unreach-call.i	out of memory	140	140	1800	15000	.057	0	-					-					-					-
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i	out of memory	140	140	2000	15000	.057	0	-					-					-					-
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i	out of memory	140	140	1800	15000	.057	0	-					-					-					-
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i	out of memory	140	140	2000	15000	.057	0	-					-					-					-
pthread-wmm/podwr001_tso.opt_false-unreach-call.i	out of memory	140	140	1500	15000	.057	0	-					-					-					-
pthread-wmm/rfi000_power.oepc_false-unreach-call.i	out of memory	100	100	1300	15000	.082	0	-					-					-					-
pthread-wmm/rfi000_power.opt_false-unreach-call.i	false(unreach-call)	15	15	170	1500	.049	0	-					-					-					-
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i	out of memory	99	99	1200	15000	.082	0	-					-					-					-
pthread-wmm/rfi000_pso.opt_false-unreach-call.i	false(unreach-call)	15	15	200	1500	.049	0	-					-					-					-
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i	out of memory	99	99	1100	15000	.082	0	-					-					-					-
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i	false(unreach-call)	15	15	180	1500	.049	0	-					-					-					-
pthread-wmm/rfi001_power.oepc_false-unreach-call.i	false(unreach-call)	22	22	250	3500	.049	0	-					-					-					-
pthread-wmm/rfi001_power.opt_false-unreach-call.i	false(unreach-call)	8.2	8.2	86	800	.049	0	-					-					-					-
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i	false(unreach-call)	22	22	220	3500	.049	0	-					-					-					-
pthread-wmm/rfi001_pso.opt_false-unreach-call.i	false(unreach-call)	8.2	8.2	94	800	.049	0	-					-					-					-
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i	false(unreach-call)	22	22	260	3500	.049	0	-					-					-					-
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i	false(unreach-call)	8.2	8.2	93	800	.049	0	-					-					-					-
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i	false(unreach-call)	8.2	8.2	100	800	.049	0	-					-					-					-
pthread-wmm/rfi001_tso.opt_false-unreach-call.i	false(unreach-call)	8.2	8.2	100	800	.049	0	-					-					-					-
pthread-wmm/rfi003_power.oepc_false-unreach-call.i	false(unreach-call)	29	29	430	1600	.045	0	-					-					-					-
pthread-wmm/rfi003_power.opt_false-unreach-call.i	false(unreach-call)	29	29	410	1600	.045	0	-					-					-					-
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i	false(unreach-call)	29	29	360	1600	.045	0	-					-					-					-
pthread-wmm/rfi003_pso.opt_false-unreach-call.i	false(unreach-call)	29	29	440	1600	.045	0	-					-					-					-
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i	false(unreach-call)	29	29	450	1600	.045	0	-					-					-					-
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i	false(unreach-call)	29	29	370	1600	.045	0	-					-					-					-
pthread-wmm/rfi004_power.oepc_false-unreach-call.i	false(unreach-call)	16	16	200	770	.045	0	-					-					-					-
pthread-wmm/rfi004_power.opt_false-unreach-call.i	false(unreach-call)	16	16	230	770	.045	0	-					-					-					-
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i	false(unreach-call)	16	16	220	770	.045	0	-					-					-					-
pthread-wmm/rfi004_pso.opt_false-unreach-call.i	false(unreach-call)	16	16	190	770	.045	0	-					-					-					-
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i	false(unreach-call)	16	16	190	770	.045	0	-					-					-					-
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i	false(unreach-call)	16	16	180	770	.045	0	-					-					-					-
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i	false(unreach-call)	16	16	240	770	.045	0	-					-					-					-
pthread-wmm/rfi004_tso.opt_false-unreach-call.i	false(unreach-call)	16	16	200	770	.045	0	-					-					-					-
pthread-wmm/rfi005_power.oepc_false-unreach-call.i	false(unreach-call)	.45	.45	6.0	26	.078	0	-					-					-					-
pthread-wmm/rfi005_power.opt_false-unreach-call.i	false(unreach-call)	.43	.43	6.0	26	.078	0	-					-					-					-
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i	false(unreach-call)	.43	.43	5.4	26	.078	0	-					-					-					-
pthread-wmm/rfi005_pso.opt_false-unreach-call.i	false(unreach-call)	.43	.43	5.6	26	.078	0	-					-					-					-
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i	false(unreach-call)	.43	.43	5.5	26	.078	0	-					-					-					-
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i	false(unreach-call)	.43	.43	4.7	26	.078	0	-					-					-					-
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i	false(unreach-call)	.44	.44	5.2	26	.078	0	-					-					-					-
pthread-wmm/rfi005_tso.opt_false-unreach-call.i	false(unreach-call)	.45	.45	5.4	26	.078	0	-					-					-					-
pthread-wmm/rfi006_power.oepc_false-unreach-call.i	out of memory	470	470	6200	15000	.070	0	-					-					-					-
pthread-wmm/rfi006_power.opt_false-unreach-call.i	out of memory	440	440	5500	15000	.070	0	-					-					-					-
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i	out of memory	140	140	1800	15000	.070	0	-					-					-					-
pthread-wmm/rfi006_pso.opt_false-unreach-call.i	out of memory	140	140	1700	15000	.070	0	-					-					-					-
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i	out of memory	460	450	5800	15000	.061	0	-					-					-					-
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i	out of memory	460	460	5100	15000	.061	0	-					-					-					-
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i	out of memory	140	140	1900	15000	.070	0	-					-					-					-
pthread-wmm/rfi006_tso.opt_false-unreach-call.i	out of memory	140	140	1700	15000	.070	0	-					-					-					-
pthread-wmm/rfi007_power.oepc_false-unreach-call.i	false(unreach-call)	27	27	330	3300	.049	0	-					-					-					-
pthread-wmm/rfi007_power.opt_false-unreach-call.i	false(unreach-call)	27	27	330	3300	.049	0	-					-					-					-
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i	false(unreach-call)	27	27	310	3300	.049	0	-					-					-					-
pthread-wmm/rfi007_pso.opt_false-unreach-call.i	false(unreach-call)	27	27	320	3300	.049	0	-					-					-					-
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i	false(unreach-call)	27	27	320	3300	.049	0	-					-					-					-
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i	false(unreach-call)	27	27	330	3300	.049	0	-					-					-					-
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i	false(unreach-call)	41	41	480	3800	.066	0	-					-					-					-
pthread-wmm/rfi007_tso.opt_false-unreach-call.i	false(unreach-call)	41	41	460	3800	.066	0	-					-					-					-
pthread-wmm/rfi008_power.oepc_false-unreach-call.i	false(unreach-call)	89	89	1000	5400	.066	0	-					-					-					-
pthread-wmm/rfi008_power.opt_false-unreach-call.i	false(unreach-call)	63	63	870	2200	.061	0	-					-					-					-
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i	false(unreach-call)	89	89	1100	5400	.066	0	-					-					-					-
pthread-wmm/rfi008_pso.opt_false-unreach-call.i	false(unreach-call)	63	63	780	2200	.061	0	-					-					-					-
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i	false(unreach-call)	88	88	1200	5400	.066	0	-					-					-					-
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i	false(unreach-call)	63	63	750	2200	.061	0	-					-					-					-
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i	false(unreach-call)	88	89	1200	5400	.066	0	-					-					-					-
pthread-wmm/rfi008_tso.opt_false-unreach-call.i	false(unreach-call)	63	63	770	2200	.061	0	-					-					-					-
pthread-wmm/rfi009_power.oepc_false-unreach-call.i	out of memory	510	510	7400	15000	.070	0	-					-					-					-
pthread-wmm/rfi009_power.opt_false-unreach-call.i	out of memory	360	360	4700	15000	.066	0	-					-					-					-
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i	out of memory	360	360	4900	15000	.066	.086	-					-					-					-
pthread-wmm/rfi009_pso.opt_false-unreach-call.i	out of memory	360	360	4300	15000	.066	0	-					-					-					-
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i	out of memory	490	490	6300	15000	.061	0	-					-					-					-
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i	out of memory	360	360	4400	15000	.066	0	-					-					-					-
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i	out of memory	360	360	4900	15000	.066	0	-					-					-					-
pthread-wmm/rfi009_tso.opt_false-unreach-call.i	out of memory	360	360	4400	15000	.066	0	-					-					-					-
pthread-wmm/rfi010_power.oepc_false-unreach-call.i	false(unreach-call)	61	61	870	2200	.061	0	-					-					-					-
pthread-wmm/rfi010_power.opt_false-unreach-call.i	false(unreach-call)	62	62	920	2200	.061	0	-					-					-					-
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i	false(unreach-call)	62	62	780	2200	.061	0	-					-					-					-
pthread-wmm/rfi010_pso.opt_false-unreach-call.i	false(unreach-call)	61	62	800	2200	.061	0	-					-					-					-
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i	false(unreach-call)	62	62	770	2200	.061	0	-					-					-					-
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i	false(unreach-call)	62	62	880	2200	.061	0	-					-					-					-
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i	false(unreach-call)	62	62	910	2200	.061	0	-					-					-					-
pthread-wmm/rfi010_tso.opt_false-unreach-call.i	false(unreach-call)	62	62	880	2200	.061	0	-					-					-					-
pthread-wmm/safe000_power.oepc_false-unreach-call.i	out of memory	540	540	6300	15000	.094	3.9	-					-					-					-
pthread-wmm/safe000_power.opt_false-unreach-call.i	out of memory	100	100	1500	15000	.066	0	-					-					-					-
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i	out of memory	520	520	6100	15000	.086	0	-					-					-					-
pthread-wmm/safe000_rmo.opt_false-unreach-call.i	out of memory	520	520	6100	15000	.086	0	-					-					-					-
pthread-wmm/safe001_power.oepc_false-unreach-call.i	out of memory	530	530	7900	15000	.094	0	-					-					-					-
pthread-wmm/safe001_power.opt_false-unreach-call.i	out of memory	140	140	1600	15000	.057	0	-					-					-					-
pthread-wmm/safe001_pso.oepc_false-unreach-call.i	out of memory	130	130	1600	15000	.057	0	-					-					-					-
pthread-wmm/safe001_pso.opt_false-unreach-call.i	out of memory	130	130	1900	15000	.057	0	-					-					-					-
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i	out of memory	520	520	6300	15000	.086	0	-					-					-					-
pthread-wmm/safe001_rmo.opt_false-unreach-call.i	out of memory	140	140	1500	15000	.057	0	-					-					-					-
pthread-wmm/safe002_power.oepc_false-unreach-call.i	out of memory	540	540	6500	15000	.094	0	-					-					-					-
pthread-wmm/safe002_power.opt_false-unreach-call.i	out of memory	420	420	5900	15000	.049	0	-					-					-					-
pthread-wmm/safe002_pso.oepc_false-unreach-call.i	out of memory	410	410	5400	15000	.049	0	-					-					-					-
pthread-wmm/safe002_pso.opt_false-unreach-call.i	out of memory	420	420	5900	15000	.049	0	-					-					-					-
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i	out of memory	520	520	6200	15000	.086	0	-					-					-					-
pthread-wmm/safe002_rmo.opt_false-unreach-call.i	out of memory	420	420	5900	15000	.049	0	-					-					-					-
pthread-wmm/safe003_power.oepc_false-unreach-call.i	out of memory	130	130	1600	15000	.090	0	-					-					-					-
pthread-wmm/safe003_power.opt_false-unreach-call.i	out of memory	100	100	1300	15000	.066	0	-					-					-					-
pthread-wmm/safe003_pso.oepc_false-unreach-call.i	out of memory	130	130	1500	15000	.090	0	-					-					-					-
pthread-wmm/safe003_pso.opt_false-unreach-call.i	out of memory	130	130	1500	15000	.090	0	-					-					-					-
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i	out of memory	130	130	1500	15000	.090	0	-					-					-					-
pthread-wmm/safe003_rmo.opt_false-unreach-call.i	out of memory	130	130	1600	15000	.090	0	-					-					-					-
pthread-wmm/safe004_power.oepc_false-unreach-call.i	out of memory	120	120	1500	15000	.090	0	-					-					-					-
pthread-wmm/safe004_power.opt_false-unreach-call.i	out of memory	140	140	2000	15000	.057	0	-					-					-					-
pthread-wmm/safe004_pso.oepc_false-unreach-call.i	out of memory	120	120	1600	15000	.090	0	-					-					-					-
pthread-wmm/safe004_pso.opt_false-unreach-call.i	out of memory	140	140	1700	15000	.057	0	-					-					-					-
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i	out of memory	120	120	1600	15000	.090	0	-					-					-					-
pthread-wmm/safe004_rmo.opt_false-unreach-call.i	out of memory	140	140	1700	15000	.057	0	-					-					-					-
pthread-wmm/safe005_power.oepc_false-unreach-call.i	out of memory	360	360	5200	15000	.049	0	-					-					-					-
pthread-wmm/safe005_power.opt_false-unreach-call.i	out of memory	360	360	4300	15000	.049	0	-					-					-					-
pthread-wmm/safe005_pso.oepc_false-unreach-call.i	out of memory	360	360	4300	15000	.049	0	-					-					-					-
pthread-wmm/safe005_pso.opt_false-unreach-call.i	out of memory	370	370	5400	15000	.049	0	-					-					-					-
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i	out of memory	370	370	4600	15000	.049	.074	-					-					-					-
pthread-wmm/safe005_rmo.opt_false-unreach-call.i	out of memory	370	370	5100	15000	.049	0	-					-					-					-
pthread-wmm/safe006_power.oepc_false-unreach-call.i	false(unreach-call)	11	11	170	610	.053	.049	-					-					-					-
pthread-wmm/safe006_power.opt_false-unreach-call.i	false(unreach-call)	51	51	640	5100	.061	0	-					-					-					-
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i	false(unreach-call)	11	11	150	590	.045	0	-					-					-					-
pthread-wmm/safe006_rmo.opt_false-unreach-call.i	false(unreach-call)	11	11	130	590	.045	0	-					-					-					-
pthread-wmm/safe007_power.oepc_false-unreach-call.i	out of memory	240	240	3000	15000	.053	0	-					-					-					-
pthread-wmm/safe007_power.opt_false-unreach-call.i	out of memory	110	110	1100	15000	.061	0	-					-					-					-
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i	out of memory	230	230	2700	15000	.045	0	-					-					-					-
pthread-wmm/safe007_rmo.opt_false-unreach-call.i	out of memory	230	230	2800	15000	.045	0	-					-					-					-
pthread-wmm/safe008_power.oepc_false-unreach-call.i	out of memory	190	190	2300	15000	.057	0	-					-					-					-
pthread-wmm/safe008_power.opt_false-unreach-call.i	out of memory	110	110	1500	15000	.066	0	-					-					-					-
pthread-wmm/safe008_pso.oepc_false-unreach-call.i	out of memory	190	190	2300	15000	.057	0	-					-					-					-
pthread-wmm/safe008_pso.opt_false-unreach-call.i	out of memory	190	190	2300	15000	.057	0	-					-					-					-
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i	out of memory	190	190	2700	15000	.057	0	-					-					-					-
pthread-wmm/safe008_rmo.opt_false-unreach-call.i	out of memory	190	190	2200	15000	.057	0	-					-					-					-
pthread-wmm/safe009_power.oepc_false-unreach-call.i	out of memory	220	220	2500	15000	.074	0	-					-					-					-
pthread-wmm/safe009_power.opt_false-unreach-call.i	out of memory	110	110	1300	15000	.066	0	-					-					-					-
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i	out of memory	220	220	3200	15000	.066	0	-					-					-					-
pthread-wmm/safe009_rmo.opt_false-unreach-call.i	out of memory	98	98	1100	15000	.057	0	-					-					-					-
pthread-wmm/safe010_power.oepc_false-unreach-call.i	false(unreach-call)	7.2	7.2	92	730	.049	0	-					-					-					-
pthread-wmm/safe010_power.opt_false-unreach-call.i	false(unreach-call)	7.2	7.2	81	730	.049	0	-					-					-					-
pthread-wmm/safe010_pso.oepc_false-unreach-call.i	false(unreach-call)	7.1	7.1	86	730	.049	0	-					-					-					-
pthread-wmm/safe010_pso.opt_false-unreach-call.i	false(unreach-call)	7.2	7.2	87	730	.049	0	-					-					-					-
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i	false(unreach-call)	7.2	7.2	79	730	.049	0	-					-					-					-
pthread-wmm/safe010_rmo.opt_false-unreach-call.i	false(unreach-call)	7.2	7.2	91	730	.049	0	-					-					-					-
pthread-wmm/safe011_power.oepc_false-unreach-call.i	out of memory	190	190	2300	15000	.053	0	-					-					-					-
pthread-wmm/safe011_power.opt_false-unreach-call.i	out of memory	190	190	2600	15000	.053	0	-					-					-					-
pthread-wmm/safe011_pso.oepc_false-unreach-call.i	out of memory	190	190	2300	15000	.053	0	-					-					-					-
pthread-wmm/safe011_pso.opt_false-unreach-call.i	out of memory	190	180	2200	15000	.053	0	-					-					-					-
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i	out of memory	190	190	2100	15000	.053	0	-					-					-					-
pthread-wmm/safe011_rmo.opt_false-unreach-call.i	out of memory	190	190	2500	15000	.053	0	-					-					-					-
pthread-wmm/safe012_power.oepc_false-unreach-call.i	out of memory	240	240	3400	15000	.053	0	-					-					-					-
pthread-wmm/safe012_power.opt_false-unreach-call.i	out of memory	110	110	1500	15000	.061	0	-					-					-					-
pthread-wmm/safe012_pso.oepc_false-unreach-call.i	out of memory	360	360	5000	15000	.049	0	-					-					-					-
pthread-wmm/safe012_pso.opt_false-unreach-call.i	out of memory	360	360	5100	15000	.049	0	-					-					-					-
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i	out of memory	230	230	3000	15000	.045	0	-					-					-					-
pthread-wmm/safe012_rmo.opt_false-unreach-call.i	out of memory	360	360	4900	15000	.049	0	-					-					-					-
pthread-wmm/safe013_power.oepc_false-unreach-call.i	out of memory	350	350	4600	15000	.049	0	-					-					-					-
pthread-wmm/safe013_power.opt_false-unreach-call.i	out of memory	350	350	5300	15000	.049	0	-					-					-					-
pthread-wmm/safe013_pso.oepc_false-unreach-call.i	out of memory	350	350	4600	15000	.049	0	-					-					-					-
pthread-wmm/safe013_pso.opt_false-unreach-call.i	out of memory	350	350	4500	15000	.049	0	-					-					-					-
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i	out of memory	360	360	4200	15000	.049	0	-					-					-					-
pthread-wmm/safe013_rmo.opt_false-unreach-call.i	out of memory	350	350	4200	15000	.049	0	-					-					-					-
pthread-wmm/safe014_power.oepc_false-unreach-call.i	out of memory	220	220	2800	15000	.053	0	-					-					-					-
pthread-wmm/safe014_power.opt_false-unreach-call.i	out of memory	220	220	3000	15000	.057	0	-					-					-					-
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i	out of memory	210	210	2700	15000	.045	0	-					-					-					-
pthread-wmm/safe014_rmo.opt_false-unreach-call.i	out of memory	460	460	6000	15000	.086	0	-					-					-					-
pthread-wmm/safe015_power.oepc_false-unreach-call.i	false(unreach-call)	1.7	1.7	20	70	.098	0	-					-					-					-
pthread-wmm/safe015_power.opt_false-unreach-call.i	out of memory	410	410	4900	15000	.094	0	-					-					-					-
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i	out of memory	410	410	6200	15000	.086	0	-					-					-					-
pthread-wmm/safe015_rmo.opt_false-unreach-call.i	out of memory	410	410	4900	15000	.086	0	-					-					-					-
pthread-wmm/safe016_power.oepc_false-unreach-call.i	out of memory	230	230	2700	15000	.082	.098	-					-					-					-
pthread-wmm/safe016_power.opt_false-unreach-call.i	out of memory	130	130	1600	15000	.090	0	-					-					-					-
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i	out of memory	230	230	3100	15000	.070	0	-					-					-					-
pthread-wmm/safe016_rmo.opt_false-unreach-call.i	out of memory	110	110	1400	15000	.082	0	-					-					-					-
pthread-wmm/safe017_power.oepc_false-unreach-call.i	out of memory	150	150	2000	15000	.053	0	-					-					-					-
pthread-wmm/safe017_power.opt_false-unreach-call.i	out of memory	150	150	2000	15000	.053	0	-					-					-					-
pthread-wmm/safe017_pso.oepc_false-unreach-call.i	out of memory	150	150	1800	15000	.053	0	-					-					-					-
pthread-wmm/safe017_pso.opt_false-unreach-call.i	out of memory	150	150	1700	15000	.053	0	-					-					-					-
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i	out of memory	150	150	2000	15000	.053	0	-					-					-					-
pthread-wmm/safe017_rmo.opt_false-unreach-call.i	out of memory	150	150	1800	15000	.053	0	-					-					-					-
pthread-wmm/safe018_power.oepc_false-unreach-call.i	false(unreach-call)	230	230	3100	11000	.053	0	-					-					-					-
pthread-wmm/safe018_power.opt_false-unreach-call.i	out of memory	490	490	7200	15000	.082	0	-					-					-					-
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i	false(unreach-call)	220	220	3100	10000	.045	0	-					-					-					-
pthread-wmm/safe018_rmo.opt_false-unreach-call.i	out of memory	470	470	6100	15000	.066	0	-					-					-					-
pthread-wmm/safe019_power.oepc_false-unreach-call.i	out of memory	250	250	3100	15000	.082	0	-					-					-					-
pthread-wmm/safe019_power.opt_false-unreach-call.i	out of memory	310	310	3900	15000	.086	0	-					-					-					-
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i	out of memory	250	250	3100	15000	.070	0	-					-					-					-
pthread-wmm/safe019_rmo.opt_false-unreach-call.i	out of memory	320	320	4100	15000	.074	0	-					-					-					-
pthread-wmm/safe020_power.oepc_false-unreach-call.i	out of memory	450	450	5900	15000	.078	0	-					-					-					-
pthread-wmm/safe020_power.opt_false-unreach-call.i	out of memory	450	450	5400	15000	.078	0	-					-					-					-
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i	out of memory	450	440	6100	15000	.066	0	-					-					-					-
pthread-wmm/safe020_rmo.opt_false-unreach-call.i	out of memory	450	450	5600	15000	.066	0	-					-					-					-
pthread-wmm/safe021_power.oepc_false-unreach-call.i	out of memory	140	140	1900	15000	.057	0	-					-					-					-
pthread-wmm/safe021_power.opt_false-unreach-call.i	out of memory	190	190	2400	15000	.057	0	-					-					-					-
pthread-wmm/safe021_pso.oepc_false-unreach-call.i	out of memory	140	140	1800	15000	.057	0	-					-					-					-
pthread-wmm/safe021_pso.opt_false-unreach-call.i	out of memory	190	190	2500	15000	.057	0	-					-					-					-
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i	out of memory	140	140	1800	15000	.057	0	-					-					-					-
pthread-wmm/safe021_rmo.opt_false-unreach-call.i	out of memory	140	140	1700	15000	.057	0	-					-					-					-
pthread-wmm/safe022_power.oepc_false-unreach-call.i	false(unreach-call)	18	18	260	2100	.049	0	-					-					-					-
pthread-wmm/safe022_power.opt_false-unreach-call.i	false(unreach-call)	18	18	240	2100	.049	0	-					-					-					-
pthread-wmm/safe022_pso.oepc_false-unreach-call.i	false(unreach-call)	18	18	240	2100	.049	0	-					-					-					-
pthread-wmm/safe022_pso.opt_false-unreach-call.i	false(unreach-call)	19	19	220	2100	.049	0	-					-					-					-
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i	false(unreach-call)	18	18	220	2100	.049	0	-					-					-					-
pthread-wmm/safe022_rmo.opt_false-unreach-call.i	false(unreach-call)	18	18	240	2100	.049	0	-					-					-					-
pthread-wmm/safe023_power.oepc_false-unreach-call.i	out of memory	240	240	3100	15000	.094	0	-					-					-					-
pthread-wmm/safe023_power.opt_false-unreach-call.i	out of memory	240	240	2900	15000	.094	0	-					-					-					-
pthread-wmm/safe023_pso.oepc_false-unreach-call.i	out of memory	240	230	3400	15000	.094	0	-					-					-					-
pthread-wmm/safe023_pso.opt_false-unreach-call.i	out of memory	240	240	3200	15000	.094	3.8	-					-					-					-
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i	out of memory	240	240	3400	15000	.094	0	-					-					-					-
pthread-wmm/safe023_rmo.opt_false-unreach-call.i	out of memory	240	240	3400	15000	.094	0	-					-					-					-
pthread-wmm/safe024_power.oepc_false-unreach-call.i	out of memory	360	360	5200	15000	.049	0	-					-					-					-
pthread-wmm/safe024_power.opt_false-unreach-call.i	out of memory	360	360	4100	15000	.049	0	-					-					-					-
pthread-wmm/safe024_pso.oepc_false-unreach-call.i	out of memory	360	360	5100	15000	.049	0	-					-					-					-
pthread-wmm/safe024_pso.opt_false-unreach-call.i	out of memory	360	360	4500	15000	.049	0	-					-					-					-
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i	out of memory	360	360	5200	15000	.049	0	-					-					-					-
pthread-wmm/safe024_rmo.opt_false-unreach-call.i	out of memory	360	360	5600	15000	.049	0	-					-					-					-
pthread-wmm/safe025_power.oepc_false-unreach-call.i	false(unreach-call)	1.8	1.8	21	74	.098	0	-					-					-					-
pthread-wmm/safe025_power.opt_false-unreach-call.i	false(unreach-call)	1.8	1.8	23	74	.098	0	-					-					-					-
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i	out of memory	410	410	6000	15000	.086	0	-					-					-					-
pthread-wmm/safe025_rmo.opt_false-unreach-call.i	out of memory	420	420	5900	15000	.086	0	-					-					-					-
pthread-wmm/safe026_power.oepc_false-unreach-call.i	out of memory	150	150	1800	15000	.053	0	-					-					-					-
pthread-wmm/safe026_power.opt_false-unreach-call.i	out of memory	150	150	2000	15000	.053	0	-					-					-					-
pthread-wmm/safe026_pso.oepc_false-unreach-call.i	out of memory	150	150	2000	15000	.053	0	-					-					-					-
pthread-wmm/safe026_pso.opt_false-unreach-call.i	out of memory	150	150	1700	15000	.053	0	-					-					-					-
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i	out of memory	150	150	2000	15000	.053	0	-					-					-					-
pthread-wmm/safe026_rmo.opt_false-unreach-call.i	out of memory	150	150	1700	15000	.053	0	-					-					-					-
pthread-wmm/safe027_power.oepc_false-unreach-call.i	out of memory	310	310	4900	15000	.070	0	-					-					-					-
pthread-wmm/safe027_power.opt_false-unreach-call.i	out of memory	330	330	4800	15000	.086	0	-					-					-					-
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i	out of memory	310	310	4200	15000	.061	0	-					-					-					-
pthread-wmm/safe027_rmo.opt_false-unreach-call.i	out of memory	310	310	4000	15000	.061	0	-					-					-					-
pthread-wmm/safe028_power.oepc_false-unreach-call.i	out of memory	450	450	6000	15000	.082	.098	-					-					-					-
pthread-wmm/safe028_power.opt_false-unreach-call.i	out of memory	450	450	5900	15000	.082	0	-					-					-					-
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i	out of memory	450	450	5600	15000	.066	0	-					-					-					-
pthread-wmm/safe028_rmo.opt_false-unreach-call.i	out of memory	450	450	5300	15000	.066	0	-					-					-					-
pthread-wmm/safe029_power.oepc_false-unreach-call.i	false(unreach-call)	7.0	7.0	80	710	.049	0	-					-					-					-
pthread-wmm/safe029_power.opt_false-unreach-call.i	false(unreach-call)	7.3	7.3	110	710	.049	0	-					-					-					-
pthread-wmm/safe029_pso.oepc_false-unreach-call.i	false(unreach-call)	7.0	7.0	99	710	.049	0	-					-					-					-
pthread-wmm/safe029_pso.opt_false-unreach-call.i	false(unreach-call)	7.3	7.3	84	710	.049	0	-					-					-					-
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i	false(unreach-call)	7.0	7.0	83	710	.049	0	-					-					-					-
pthread-wmm/safe029_rmo.opt_false-unreach-call.i	false(unreach-call)	7.3	7.3	86	710	.049	0	-					-					-					-
pthread-wmm/safe030_power.oepc_false-unreach-call.i	out of memory	190	190	2700	15000	.053	0	-					-					-					-
pthread-wmm/safe030_power.opt_false-unreach-call.i	false(unreach-call)	130	130	1800	12000	.049	0	-					-					-					-
pthread-wmm/safe030_pso.oepc_false-unreach-call.i	out of memory	190	190	2300	15000	.053	0	-					-					-					-
pthread-wmm/safe030_pso.opt_false-unreach-call.i	false(unreach-call)	130	130	1500	12000	.049	0	-					-					-					-
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i	out of memory	190	190	2200	15000	.053	0	-					-					-					-
pthread-wmm/safe030_rmo.opt_false-unreach-call.i	false(unreach-call)	130	130	1500	12000	.049	0	-					-					-					-
pthread-wmm/safe031_power.oepc_false-unreach-call.i	out of memory	360	360	4600	15000	.049	.098	-					-					-					-
pthread-wmm/safe031_power.opt_false-unreach-call.i	false(unreach-call)	140	140	2000	12000	.049	0	-					-					-					-
pthread-wmm/safe031_pso.oepc_false-unreach-call.i	out of memory	360	360	4600	15000	.049	.098	-					-					-					-
pthread-wmm/safe031_pso.opt_false-unreach-call.i	false(unreach-call)	140	140	1600	12000	.049	0	-					-					-					-
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i	out of memory	360	360	5100	15000	.049	0	-					-					-					-
pthread-wmm/safe031_rmo.opt_false-unreach-call.i	false(unreach-call)	140	140	1800	12000	.049	0	-					-					-					-
pthread-wmm/safe032_power.oepc_false-unreach-call.i	out of memory	250	250	3300	15000	.090	0	-					-					-					-
pthread-wmm/safe032_power.opt_false-unreach-call.i	out of memory	250	250	3100	15000	.090	0	-					-					-					-
pthread-wmm/safe032_pso.oepc_false-unreach-call.i	out of memory	250	250	3400	15000	.090	0	-					-					-					-
pthread-wmm/safe032_pso.opt_false-unreach-call.i	out of memory	250	250	3100	15000	.090	0	-					-					-					-
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i	out of memory	250	250	3200	15000	.090	0	-					-					-					-
pthread-wmm/safe032_rmo.opt_false-unreach-call.i	out of memory	250	250	3600	15000	.090	0	-					-					-					-
pthread-wmm/safe033_power.oepc_false-unreach-call.i	false(unreach-call)	13	13	180	750	.045	0	-					-					-					-
pthread-wmm/safe033_power.opt_false-unreach-call.i	false(unreach-call)	13	13	170	750	.045	0	-					-					-					-
pthread-wmm/safe033_pso.oepc_false-unreach-call.i	false(unreach-call)	13	13	180	750	.045	0	-					-					-					-
pthread-wmm/safe033_pso.opt_false-unreach-call.i	false(unreach-call)	13	13	160	750	.045	0	-					-					-					-
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i	false(unreach-call)	13	13	160	750	.045	0	-					-					-					-
pthread-wmm/safe033_rmo.opt_false-unreach-call.i	false(unreach-call)	13	13	170	750	.045	0	-					-					-					-
pthread-wmm/safe034_power.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.045	0	-					-					-					-
pthread-wmm/safe034_power.opt_false-unreach-call.i	out of memory	160	160	2200	15000	.045	0	-					-					-					-
pthread-wmm/safe034_pso.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.045	0	-					-					-					-
pthread-wmm/safe034_pso.opt_false-unreach-call.i	out of memory	160	160	2000	15000	.045	0	-					-					-					-
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i	out of memory	160	160	2000	15000	.045	0	-					-					-					-
pthread-wmm/safe034_rmo.opt_false-unreach-call.i	out of memory	160	160	1900	15000	.045	0	-					-					-					-
pthread-wmm/thin000_power.oepc_false-unreach-call.i	false(unreach-call)	11	12	140	610	.053	0	-					-					-					-
pthread-wmm/thin000_power.opt_false-unreach-call.i	false(unreach-call)	51	51	600	5100	.061	0	-					-					-					-
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i	false(unreach-call)	11	11	150	590	.045	0	-					-					-					-
pthread-wmm/thin000_rmo.opt_false-unreach-call.i	false(unreach-call)	11	11	120	590	.045	0	-					-					-					-
pthread-wmm/thin001_power.oepc_false-unreach-call.i	out of memory	240	240	2600	15000	.053	0	-					-					-					-
pthread-wmm/thin001_power.opt_false-unreach-call.i	out of memory	110	110	1400	15000	.061	0	-					-					-					-
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i	out of memory	230	230	2800	15000	.045	0	-					-					-					-
pthread-wmm/thin001_rmo.opt_false-unreach-call.i	out of memory	230	230	2700	15000	.045	0	-					-					-					-
pthread-wmm/thin002_power.oepc_false-unreach-call.i	out of memory	350	350	5100	15000	.057	0	-					-					-					-
pthread-wmm/thin002_power.opt_false-unreach-call.i	out of memory	130	130	1800	15000	.061	0	-					-					-					-
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i	out of memory	350	350	5500	15000	.049	0	-					-					-					-
pthread-wmm/thin002_rmo.opt_false-unreach-call.i	out of memory	350	350	4900	15000	.049	0	-					-					-					-
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i	out of memory	110	110	1400	15000	.082	0	-					-					-					-
pthread-wmm/rfi000_tso.opt_true-unreach-call.i	out of memory	110	110	1500	15000	.082	0	-					-					-					-
pthread-wmm/rfi002_power.oepc_true-unreach-call.i	true	330	330	4300	13000	.090	0	-					-					-					-
pthread-wmm/rfi002_power.opt_true-unreach-call.i	true	330	330	4200	13000	.090	0	-					-					-					-
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i	true	330	330	4000	13000	.090	0	-					-					-					-
pthread-wmm/rfi002_pso.opt_true-unreach-call.i	true	330	330	3900	13000	.090	0	-					-					-					-
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i	true	330	330	4200	13000	.090	0	-					-					-					-
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i	true	330	330	4700	13000	.090	0	-					-					-					-
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i	out of memory	340	340	4400	15000	.12	0	-					-					-					-
pthread-wmm/rfi002_tso.opt_true-unreach-call.i	out of memory	340	340	4700	15000	.12	0	-					-					-					-
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i	out of memory	120	120	1300	15000	.086	0	-					-					-					-
pthread-wmm/rfi003_tso.opt_true-unreach-call.i	out of memory	120	120	1700	15000	.086	0	-					-					-					-
pthread-wmm/safe000_pso.oepc_true-unreach-call.i	true	12	12	120	950	.016	0	-					-					-					-
pthread-wmm/safe000_pso.opt_true-unreach-call.i	true	12	12	150	950	.016	0	-					-					-					-
pthread-wmm/safe000_tso.oepc_true-unreach-call.i	true	12	12	150	950	.016	0	-					-					-					-
pthread-wmm/safe000_tso.opt_true-unreach-call.i	true	12	12	120	950	.016	0	-					-					-					-
pthread-wmm/safe001_tso.oepc_true-unreach-call.i	true	11	11	140	870	.016	0	-					-					-					-
pthread-wmm/safe001_tso.opt_true-unreach-call.i	true	11	11	140	870	.016	0	-					-					-					-
pthread-wmm/safe002_tso.oepc_true-unreach-call.i	true	13	13	140	1600	.016	0	-					-					-					-
pthread-wmm/safe002_tso.opt_true-unreach-call.i	true	13	13	130	1600	.016	0	-					-					-					-
pthread-wmm/safe003_tso.oepc_true-unreach-call.i	true	17	17	200	1600	.016	0	-					-					-					-
pthread-wmm/safe003_tso.opt_true-unreach-call.i	true	17	17	190	1600	.016	0	-					-					-					-
pthread-wmm/safe004_tso.oepc_true-unreach-call.i	true	15	15	150	1400	.016	0	-					-					-					-
pthread-wmm/safe004_tso.opt_true-unreach-call.i	true	15	15	190	1400	.016	0	-					-					-					-
pthread-wmm/safe005_tso.oepc_true-unreach-call.i	true	18	18	210	1600	.016	0	-					-					-					-
pthread-wmm/safe005_tso.opt_true-unreach-call.i	true	18	18	190	1600	.016	0	-					-					-					-
pthread-wmm/safe006_pso.oepc_true-unreach-call.i	true	.29	.29	3.3	28	.012	0	-					-					-					-
pthread-wmm/safe006_pso.opt_true-unreach-call.i	true	.29	.29	3.1	28	.012	0	-					-					-					-
pthread-wmm/safe006_tso.oepc_true-unreach-call.i	true	.27	.27	2.9	28	.012	0	-					-					-					-
pthread-wmm/safe006_tso.opt_true-unreach-call.i	true	.27	.27	3.5	28	.012	0	-					-					-					-
pthread-wmm/safe007_pso.oepc_true-unreach-call.i	true	7.6	7.6	84	840	.016	0	-					-					-					-
pthread-wmm/safe007_pso.opt_true-unreach-call.i	true	7.7	7.7	76	840	.016	0	-					-					-					-
pthread-wmm/safe007_tso.oepc_true-unreach-call.i	true	7.7	7.7	99	840	.016	0	-					-					-					-
pthread-wmm/safe007_tso.opt_true-unreach-call.i	true	7.7	7.7	82	840	.016	0	-					-					-					-
pthread-wmm/safe008_tso.oepc_true-unreach-call.i	true	7.1	7.1	76	770	.016	0	-					-					-					-
pthread-wmm/safe008_tso.opt_true-unreach-call.i	true	7.1	7.1	86	770	.016	0	-					-					-					-
pthread-wmm/safe009_pso.oepc_true-unreach-call.i	true	7.4	7.4	84	710	.012	0	-					-					-					-
pthread-wmm/safe009_pso.opt_true-unreach-call.i	true	7.4	7.4	90	710	.012	0	-					-					-					-
pthread-wmm/safe009_tso.oepc_true-unreach-call.i	true	7.4	7.4	84	710	.012	0	-					-					-					-
pthread-wmm/safe009_tso.opt_true-unreach-call.i	true	7.4	7.4	81	710	.012	0	-					-					-					-
pthread-wmm/safe010_tso.oepc_true-unreach-call.i	true	.25	.25	2.8	25	.012	0	-					-					-					-
pthread-wmm/safe010_tso.opt_true-unreach-call.i	true	.27	.27	3.2	25	.012	0	-					-					-					-
pthread-wmm/safe011_tso.oepc_true-unreach-call.i	true	6.4	6.4	71	700	.012	0	-					-					-					-
pthread-wmm/safe011_tso.opt_true-unreach-call.i	true	6.3	6.3	94	700	.012	0	-					-					-					-
pthread-wmm/safe012_tso.oepc_true-unreach-call.i	true	7.7	7.7	83	830	.016	0	-					-					-					-
pthread-wmm/safe012_tso.opt_true-unreach-call.i	true	7.6	7.6	95	830	.016	0	-					-					-					-
pthread-wmm/safe013_tso.oepc_true-unreach-call.i	true	7.5	7.5	87	770	.016	0	-					-					-					-
pthread-wmm/safe013_tso.opt_true-unreach-call.i	true	7.5	7.5	91	770	.016	0	-					-					-					-
pthread-wmm/safe014_pso.oepc_true-unreach-call.i	true	15	15	190	1600	.016	0	-					-					-					-
pthread-wmm/safe014_pso.opt_true-unreach-call.i	true	14	14	160	1600	.016	0	-					-					-					-
pthread-wmm/safe014_tso.oepc_true-unreach-call.i	true	15	15	160	1600	.016	0	-					-					-					-
pthread-wmm/safe014_tso.opt_true-unreach-call.i	true	15	15	160	1600	.016	0	-					-					-					-
pthread-wmm/safe015_pso.oepc_true-unreach-call.i	true	14	14	190	1400	.016	0	-					-					-					-
pthread-wmm/safe015_pso.opt_true-unreach-call.i	true	14	14	170	1400	.016	0	-					-					-					-
pthread-wmm/safe015_tso.oepc_true-unreach-call.i	true	14	14	150	1400	.016	0	-					-					-					-
pthread-wmm/safe015_tso.opt_true-unreach-call.i	true	14	14	170	1400	.016	0	-					-					-					-
pthread-wmm/safe016_pso.oepc_true-unreach-call.i	out of memory	190	190	2800	15000	.016	0	-					-					-					-
pthread-wmm/safe016_pso.opt_true-unreach-call.i	out of memory	190	190	2600	15000	.016	0	-					-					-					-
pthread-wmm/safe016_tso.oepc_true-unreach-call.i	out of memory	190	190	2400	15000	.016	0	-					-					-					-
pthread-wmm/safe016_tso.opt_true-unreach-call.i	out of memory	190	190	2600	15000	.016	0	-					-					-					-
pthread-wmm/safe017_tso.oepc_true-unreach-call.i	true	6.8	6.8	68	650	.012	0	-					-					-					-
pthread-wmm/safe017_tso.opt_true-unreach-call.i	true	6.8	6.8	74	650	.012	0	-					-					-					-
pthread-wmm/safe018_pso.oepc_true-unreach-call.i	true	6.7	6.7	91	780	.012	0	-					-					-					-
pthread-wmm/safe018_pso.opt_true-unreach-call.i	true	6.7	6.7	78	780	.012	0	-					-					-					-
pthread-wmm/safe018_tso.oepc_true-unreach-call.i	true	6.8	6.8	77	780	.012	0	-					-					-					-
pthread-wmm/safe018_tso.opt_true-unreach-call.i	true	6.7	6.7	98	780	.012	0	-					-					-					-
pthread-wmm/safe019_pso.oepc_true-unreach-call.i	true	220	220	2400	15000	.016	0	-					-					-					-
pthread-wmm/safe019_pso.opt_true-unreach-call.i	true	220	220	2900	15000	.016	0	-					-					-					-
pthread-wmm/safe019_tso.oepc_true-unreach-call.i	true	220	220	3000	15000	.016	0	-					-					-					-
pthread-wmm/safe019_tso.opt_true-unreach-call.i	true	220	220	2600	15000	.016	0	-					-					-					-
pthread-wmm/safe020_pso.oepc_true-unreach-call.i	true	6.6	6.6	75	710	.012	0	-					-					-					-
pthread-wmm/safe020_pso.opt_true-unreach-call.i	true	6.5	6.5	91	710	.012	0	-					-					-					-
pthread-wmm/safe020_tso.oepc_true-unreach-call.i	true	6.5	6.5	84	720	.012	0	-					-					-					-
pthread-wmm/safe020_tso.opt_true-unreach-call.i	true	6.5	6.5	70	710	.012	0	-					-					-					-
pthread-wmm/safe021_tso.oepc_true-unreach-call.i	true	7.1	7.1	73	770	.016	0	-					-					-					-
pthread-wmm/safe021_tso.opt_true-unreach-call.i	true	7.1	7.1	82	770	.016	0	-					-					-					-
pthread-wmm/safe022_tso.oepc_true-unreach-call.i	true	.27	.27	3.3	28	.012	0	-					-					-					-
pthread-wmm/safe022_tso.opt_true-unreach-call.i	true	.30	.30	3.0	28	.012	0	-					-					-					-
pthread-wmm/safe023_tso.oepc_true-unreach-call.i	true	15	15	160	1600	.016	0	-					-					-					-
pthread-wmm/safe023_tso.opt_true-unreach-call.i	true	14	14	160	1600	.016	0	-					-					-					-
pthread-wmm/safe024_tso.oepc_true-unreach-call.i	true	8.2	8.2	93	830	.016	0	-					-					-					-
pthread-wmm/safe024_tso.opt_true-unreach-call.i	true	8.2	8.2	93	830	.016	0	-					-					-					-
pthread-wmm/safe025_pso.oepc_true-unreach-call.i	true	15	15	180	1600	.016	0	-					-					-					-
pthread-wmm/safe025_pso.opt_true-unreach-call.i	true	15	15	160	1600	.016	0	-					-					-					-
pthread-wmm/safe025_tso.oepc_true-unreach-call.i	true	15	15	170	1600	.016	0	-					-					-					-
pthread-wmm/safe025_tso.opt_true-unreach-call.i	true	15	15	170	1600	.016	0	-					-					-					-
pthread-wmm/safe026_tso.oepc_true-unreach-call.i	true	7.6	7.6	82	710	.012	0	-					-					-					-
pthread-wmm/safe026_tso.opt_true-unreach-call.i	true	7.4	7.4	91	710	.012	0	-					-					-					-
pthread-wmm/safe027_pso.oepc_true-unreach-call.i	true	180	180	2100	14000	.016	0	-					-					-					-
pthread-wmm/safe027_pso.opt_true-unreach-call.i	true	180	180	2300	14000	.016	0	-					-					-					-
pthread-wmm/safe027_tso.oepc_true-unreach-call.i	true	180	180	2200	14000	.016	0	-					-					-					-
pthread-wmm/safe027_tso.opt_true-unreach-call.i	true	180	180	1800	14000	.016	0	-					-					-					-
pthread-wmm/safe028_pso.oepc_true-unreach-call.i	true	7.3	7.3	79	780	.016	0	-					-					-					-
pthread-wmm/safe028_pso.opt_true-unreach-call.i	true	7.2	7.2	86	780	.016	0	-					-					-					-
pthread-wmm/safe028_tso.oepc_true-unreach-call.i	true	7.2	7.2	83	780	.016	0	-					-					-					-
pthread-wmm/safe028_tso.opt_true-unreach-call.i	true	7.1	7.1	86	780	.016	0	-					-					-					-
pthread-wmm/safe029_tso.oepc_true-unreach-call.i	true	.25	.25	2.4	23	.012	0	-					-					-					-
pthread-wmm/safe029_tso.opt_true-unreach-call.i	true	.22	.22	2.9	23	.012	0	-					-					-					-
pthread-wmm/safe030_tso.oepc_true-unreach-call.i	true	5.9	5.9	68	640	.012	0	-					-					-					-
pthread-wmm/safe030_tso.opt_true-unreach-call.i	true	5.8	5.8	67	640	.012	0	-					-					-					-
pthread-wmm/safe031_tso.oepc_true-unreach-call.i	true	6.8	6.8	67	700	.016	0	-					-					-					-
pthread-wmm/safe031_tso.opt_true-unreach-call.i	true	6.8	6.8	73	700	.016	0	-					-					-					-
pthread-wmm/safe032_tso.oepc_true-unreach-call.i	true	14	14	170	1400	.016	0	-					-					-					-
pthread-wmm/safe032_tso.opt_true-unreach-call.i	true	14	14	200	1400	.016	0	-					-					-					-
pthread-wmm/safe033_tso.oepc_true-unreach-call.i	true	.27	.27	3.0	27	.012	0	-					-					-					-
pthread-wmm/safe033_tso.opt_true-unreach-call.i	true	.26	.26	3.0	27	.012	0	-					-					-					-
pthread-wmm/safe034_tso.oepc_true-unreach-call.i	true	7.9	7.9	89	770	.016	0	-					-					-					-
pthread-wmm/safe034_tso.opt_true-unreach-call.i	true	8.0	8.0	94	770	.016	0	-					-					-					-
pthread-wmm/safe035_power.oepc_true-unreach-call.i	out of memory	130	120	1600	15000	.11	0	-					-					-					-
pthread-wmm/safe035_power.opt_true-unreach-call.i	out of memory	130	130	1500	15000	.11	0	-					-					-					-
pthread-wmm/safe035_pso.oepc_true-unreach-call.i	true	16	16	200	1600	.016	0	-					-					-					-
pthread-wmm/safe035_pso.opt_true-unreach-call.i	true	16	16	200	1600	.016	0	-					-					-					-
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i	true	16	16	210	1600	.016	0	-					-					-					-
pthread-wmm/safe035_rmo.opt_true-unreach-call.i	true	16	16	180	1600	.016	0	-					-					-					-
pthread-wmm/safe035_tso.oepc_true-unreach-call.i	true	16	16	180	1600	.016	0	-					-					-					-
pthread-wmm/safe035_tso.opt_true-unreach-call.i	true	16	16	170	1600	.016	0	-					-					-					-
pthread-wmm/safe036_power.oepc_true-unreach-call.i	true	.33	.33	3.7	45	.012	0	-					-					-					-
pthread-wmm/safe036_power.opt_true-unreach-call.i	true	.35	.35	4.1	46	.012	0	-					-					-					-
pthread-wmm/safe036_pso.oepc_true-unreach-call.i	true	.33	.33	4.0	46	.012	0	-					-					-					-
pthread-wmm/safe036_pso.opt_true-unreach-call.i	true	.33	.33	4.3	46	.012	0	-					-					-					-
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i	true	.34	.34	4.3	45	.012	0	-					-					-					-
pthread-wmm/safe036_rmo.opt_true-unreach-call.i	true	.36	.36	4.2	45	.012	0	-					-					-					-
pthread-wmm/safe036_tso.oepc_true-unreach-call.i	true	.37	.37	3.8	46	.012	0	-					-					-					-
pthread-wmm/safe036_tso.opt_true-unreach-call.i	true	.34	.34	4.5	45	.012	0	-					-					-					-
pthread-wmm/safe037_power.oepc_true-unreach-call.i	true	9.2	9.2	120	830	.016	0	-					-					-					-
pthread-wmm/safe037_power.opt_true-unreach-call.i	true	9.3	9.3	120	840	.016	0	-					-					-					-
pthread-wmm/safe037_pso.oepc_true-unreach-call.i	true	9.3	9.3	100	840	.016	0	-					-					-					-
pthread-wmm/safe037_pso.opt_true-unreach-call.i	true	9.3	9.3	100	840	.016	0	-					-					-					-
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i	true	9.3	9.3	96	830	.016	0	-					-					-					-
pthread-wmm/safe037_rmo.opt_true-unreach-call.i	true	9.3	9.3	110	840	.016	0	-					-					-					-
pthread-wmm/safe037_tso.oepc_true-unreach-call.i	true	9.3	9.3	110	840	.016	0	-					-					-					-
pthread-wmm/safe037_tso.opt_true-unreach-call.i	true	9.2	9.2	130	840	.016	0	-					-					-					-
pthread-wmm/thin000_pso.oepc_true-unreach-call.i	true	.28	.28	3.4	28	.012	0	-					-					-					-
pthread-wmm/thin000_pso.opt_true-unreach-call.i	true	.27	.27	3.6	28	.012	0	-					-					-					-
pthread-wmm/thin000_tso.oepc_true-unreach-call.i	true	.27	.27	3.5	28	.012	0	-					-					-					-
pthread-wmm/thin000_tso.opt_true-unreach-call.i	true	.27	.28	3.0	28	.012	0	-					-					-					-
pthread-wmm/thin001_pso.oepc_true-unreach-call.i	true	7.7	7.7	82	840	.016	0	-					-					-					-
pthread-wmm/thin001_pso.opt_true-unreach-call.i	true	7.8	7.8	85	840	.016	0	-					-					-					-
pthread-wmm/thin001_tso.oepc_true-unreach-call.i	true	7.7	7.7	76	840	.016	0	-					-					-					-
pthread-wmm/thin001_tso.opt_true-unreach-call.i	true	7.7	7.7	92	840	.016	0	-					-					-					-
pthread-wmm/thin002_pso.oepc_true-unreach-call.i	out of memory	120	120	1300	15000	.016	0	-					-					-					-
pthread-wmm/thin002_pso.opt_true-unreach-call.i	out of memory	120	120	1500	15000	.016	0	-					-					-					-
pthread-wmm/thin002_tso.oepc_true-unreach-call.i	out of memory	120	120	1400	15000	.016	0	-					-					-					-
pthread-wmm/thin002_tso.opt_true-unreach-call.i	out of memory	120	120	1300	15000	.016	0	-					-					-					-
pthread-lit/fkp2013_false-unreach-call.i	out of memory	250	250	2900	15000	.0082	0	-					-					-					-
pthread-lit/fkp2013_variant_false-unreach-call.i	false(unreach-call)	.38	.37	3.8	9.9	.0082	0	-					-					-					-
pthread-lit/qw2004_false-unreach-call.i	false(unreach-call)	.13	.13	1.2	9.9	.012	0	-					-					-					-
pthread-lit/fk2012_true-unreach-call.i	out of memory	220	220	3000	15000	.012	0	-					-					-					-
pthread-lit/fkp2013_true-unreach-call.i	out of memory	250	250	2900	15000	.0082	0	-					-					-					-
pthread-lit/fkp2013_variant_true-unreach-call.i	timeout	900	900	13000	6200	.0082	0	-					-					-					-
pthread-lit/fkp2014_true-unreach-call.i	out of memory	410	410	5700	15000	.0082	0	-					-					-					-
pthread-lit/qw2004_true-unreach-call.i	true	.14	.14	1.0	10	.012	0	-					-					-					-
pthread-lit/qw2004_variant_true-unreach-call.i	out of memory	250	250	2800	15000	.012	0	-					-					-					-
pthread-lit/sssc12_true-unreach-call.i	unknown	.087	.088	.64	10	.012	0	-					-					-					-
pthread-lit/sssc12_variant_true-unreach-call.i	unknown	.072	.072	.73	10	.012	0	-					-					-					-
ldv-races/race-1_1-join_true-unreach-call.i	true	.094	.094	.73	10	.012	0	-					-					-					-
ldv-races/race-2_1-container_of_true-unreach-call.i	error (1)	.094	.095	.87	11	.012	.41	-					-					-					-
ldv-races/race-3_1-container_of-global_true-unreach-call.i	unknown	.10	.11	1.1	11	.012	.60	-					-					-					-
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i	unknown	.37	.37	4.6	11	.016	0	-					-					-					-
ldv-races/race-1_2-join_false-unreach-call.i	false(unreach-call)	.10	.10	.75	10	.012	0	-					-					-					-
ldv-races/race-1_3-join_false-unreach-call.i	false(unreach-call)	.10	.10	.73	10	.012	0	-					-					-					-
ldv-races/race-2_2-container_of_false-unreach-call.i	error (1)	.076	.079	.69	10	.012	.63	-					-					-					-
ldv-races/race-2_3-container_of_false-unreach-call.i	unknown	.090	.091	.94	10	.012	0	-					-					-					-
ldv-races/race-2_4-container_of_false-unreach-call.i	unknown	.10	.10	.70	10	.012	0	-					-					-					-
ldv-races/race-2_5-container_of_false-unreach-call.i	unknown	.080	.080	.69	11	.012	0	-					-					-					-
ldv-races/race-3_2-container_of-global_false-unreach-call.i	error (1)	.074	.074	.82	10	.012	.13	-					-					-					-
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i	unknown	.37	.37	5.3	10	.016	.26	-					-					-					-
pthread-complex/bounded_buffer_false-unreach-call.i	unknown	.076	.077	.81	11	.037	0	-					-					-					-
pthread-complex/elimination_backoff_stack_false-unreach-call.i	error (1)	.39	.39	4.9	34	.033	.41	-					-					-					-
pthread-complex/safestack_relacy_false-unreach-call.i	error (1)	.083	.085	.85	10	.016	.41	-					-					-					-
pthread-complex/workstealqueue_mutex_false-unreach-call.i	error (1)	360	360	3900	1500	.033	0	-					-					-					-
pthread-complex/workstealqueue_mutex_true-unreach-call.i	error (1)	360	360	5000	1500	.033	.41	-					-					-					-
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i	unknown	.12	.12	.81	12	.053	0	-					-					-					-
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i	unknown	.087	.087	1.0	13	.053	0	-					-					-					-
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i	unknown	.090	.091	.88	13	.053	0	-					-					-					-
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i	unknown	.11	.11	.85	13	.053	.13	-					-					-					-
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i	unknown	.093	.094	.96	13	.053	0	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i	unknown	.12	.12	.83	13	.070	0	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i	unknown	.11	.11	.81	13	.070	0	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i	unknown	.12	.12	1.0	13	.070	.057	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i	unknown	.095	.095	1.0	13	.070	0	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i	unknown	.095	.095	.89	13	.070	0	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i	unknown	.12	.12	.98	13	.070	0	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i	unknown	.11	.11	1.0	13	.070	0	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i	unknown	.090	.090	1.0	13	.070	0	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i	unknown	.12	.12	1.0	13	.070	0	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i	unknown	.12	.12	.98	13	.070	.13	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i	unknown	.12	.12	.84	13	.070	0	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i	unknown	.098	.098	.96	13	.070	0	-					-					-					-
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i	unknown	.13	.13	.83	12	.053	.057	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i	unknown	.095	.096	.94	13	.070	0	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i	unknown	.14	.14	.91	13	.070	0	-					-					-					-
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i	unknown	.097	.097	.93	13	.070	.057	-					-					-					-
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i	unknown	.083	.083	.99	10	.012	0	-					-					-					-
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i	unknown	.090	.090	.65	10	.025	0	-					-					-					-
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i	unknown	.061	.061	.72	10	.025	0	-					-					-					-
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i	out of memory	340	340	4700	15000	.012	0	-					-					-					-
../../sv-benchmarks/c/	verifier status	cpu (s)	wall (s)	energy (J)	mem (MB)	blkio-w (MB)	blkio-r (MB)	validator cpachecker violation t<90s status	cpu	wall	energy	mem	validator uautomizer violation t<90s status	cpu	wall	energy	mem	validator cpachecker correctness t<900s status	cpu	wall	energy	mem	validator uautomizer correctness t<900s status	cpu	wall	energy	mem
total	1047	140000	140000	1800000	10000000	51	73	1047					1047					1047					1047
correct results	356	13000	13000	160000	930000	13	49	0					0					0					0
correct true	145	4600	4600	56000	290000	2.6	0	0					0					0					0
correct false	211	8100	8100	100000	640000	11	49	0					0					0					0
correct-unconfimed results	0
correct-unconfirmed true	0
correct-unconfirmed false	0
incorrect results	7	56	56	780	1500	.090	1.5	0					0					0					0
incorrect true	0
incorrect false	7	56	56	780	1500	.090	1.5	0					0					0					0
score (1047 tasks, max score: 1293)	389
Run set	sv-comp17