Tool CPAchecker 1.7-svn 29852
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-05 05:46:16 CET 2018-12-06 09:44:44 CET
Run set cpa-seq.sv-comp19_prop-reachsafety.ConcurrencySafety-Main cpa-seq-validate-violation-witnesses-cpa-seq.sv-comp19_prop-reachsafety.ConcurrencySafety-Main
Options -svcomp19 -heap 10000M -benchmark -timelimit 900s -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const -witness ../../results-verified/cpa-seq.2018-12-05_0546.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
pthread/bigshot_p_false-unreach-call.i 0 4.4 1.7 270 36 0     0     0 5.6  3.1  260 0   0  
pthread/fib_bench_false-unreach-call.i 1 38   18   1500 300 0     0     1 5.6  3.0  260 0   0  
pthread/fib_bench_longer_false-unreach-call.i 1 230   170   3900 2100 0     0     1 5.2  2.9  260 0   0  
pthread/fib_bench_longest_false-unreach-call.i 0 900   810   4100 7400 0     0     0 4.6  2.5  250 0   0  
pthread/lazy01_false-unreach-call.i 1 4.2 1.6 270 35 0     0     1 5.9  3.3  260 0   0  
pthread/queue_false-unreach-call.i 1 5.4 1.8 310 42 0     0     1 5.7  3.0  260 0   0  
pthread/queue_longer_false-unreach-call.i 1 5.2 1.8 300 44 0     0     1 7.3  3.9  260 0   0  
pthread/queue_longest_false-unreach-call.i 1 5.5 1.8 310 48 0     0     1 6.2  3.3  260 0   0  
pthread/reorder_2_false-unreach-call.i 0 5.8 1.8 460 54 0     0     0 .60 .37 42 0   0  
pthread/reorder_5_false-unreach-call.i 0 6.2 1.9 470 51 0     0     0 .76 .47 41 0   0  
pthread/sigma_false-unreach-call.i 0 6.4 2.0 460 52 0     0     0 4.4  2.4  260 0   0  
pthread/singleton_false-unreach-call.i 0 4.8 1.8 280 40 0     0     0 4.6  2.5  260 0   0  
pthread/stack_false-unreach-call.i 0 6.7 2.0 460 62 0     0     0 .61 .38 41 0   0  
pthread/stack_longer_false-unreach-call.i 0 19   8.4 1300 160 0     0     0 .76 .45 41 0   0  
pthread/stack_longest_false-unreach-call.i 0 36   23   2900 430 0     0     0 .62 .38 44 0   0  
pthread/stateful01_false-unreach-call.i 1 4.2 1.6 290 41 0     0     1 5.2  2.8  250 0   0  
pthread/triangular-longer_false-unreach-call.i 1 64   38   3900 540 0     0     1 6.4  3.4  260 0   0  
pthread/triangular-longest_false-unreach-call.i 0 900   810   4000 9900 0     0     0 3.8  2.1  250 0   0  
pthread/triangular_false-unreach-call.i 1 19   5.5 800 130 0     0     1 5.6  3.0  250 0   0  
pthread/twostage_3_false-unreach-call.i 0 6.5 1.9 470 53 0     0     0 .74 .44 41 0   0  
pthread/bigshot_s2_true-unreach-call.i 0 4.6 1.7 290 42 0     0     -
pthread/bigshot_s_true-unreach-call.i 0 4.3 1.7 270 36 0     0     -
pthread/fib_bench_longer_true-unreach-call.i 2 790   690   4100 7900 0     0     -
pthread/fib_bench_longest_true-unreach-call.i 0 900   810   4100 7400 0     0     -
pthread/fib_bench_true-unreach-call.i 2 89   55   3700 790 0     0     -
pthread/indexer_true-unreach-call.i 0 8.0 2.3 460 62 0     0     -
pthread/queue_ok_longer_true-unreach-call.i 0 40   25   3400 390 0     0     -
pthread/queue_ok_longest_true-unreach-call.i 0 100   83   3800 1200 0     0     -
pthread/queue_ok_true-unreach-call.i 0 8.7 2.5 480 69 0     0     -
pthread/singleton_with-uninit-problems_true-unreach-call.i 0 4.8 1.7 280 46 0     0     -
pthread/stack_longer_true-unreach-call.i 0 18   7.9 1000 150 0     0     -
pthread/stack_longest_true-unreach-call.i 0 35   22   2800 270 0     0     -
pthread/stack_true-unreach-call.i 0 6.9 2.1 460 53 0     0     -
pthread/stateful01_true-unreach-call.i 2 4.7 1.7 290 39 0     0     -
pthread/sync01_true-unreach-call.i 2 5.7 1.9 430 54 0     0     -
pthread/triangular-longer_true-unreach-call.i 2 68   40   3900 700 0     .029 -
pthread/triangular-longest_true-unreach-call.i 0 900   810   4000 12000 0     0     -
pthread/triangular_true-unreach-call.i 2 19   5.7 790 140 0     0     -
pthread-atomic/qrcu_false-unreach-call.i 1 12   3.2 570 86 0     0     1 5.9  3.2  260 0   0  
pthread-atomic/read_write_lock_false-unreach-call.i 1 21   6.0 830 160 0     0     1 6.4  3.4  270 0   0  
pthread-atomic/dekker_true-unreach-call.i 2 6.3 2.0 380 52 0     0     -
pthread-atomic/gcd_true-unreach-call_true-termination.i 0 920   850   3600 3800 0     0     -
pthread-atomic/lamport_true-unreach-call.i 2 6.9 2.1 430 60 0     0     -
pthread-atomic/peterson_true-unreach-call.i 2 5.3 1.8 310 46 0     0     -
pthread-atomic/qrcu_true-unreach-call.i 0 910   870   4000 4600 0     0     -
pthread-atomic/read_write_lock_true-unreach-call.i 2 9.1 2.8 480 89 0     0     -
pthread-atomic/scull_true-unreach-call.i 0 910   860   3300 5800 0     0     -
pthread-atomic/szymanski_true-unreach-call.i 2 6.0 1.9 380 45 0     0     -
pthread-atomic/time_var_mutex_true-unreach-call.i 2 4.2 1.6 290 43 0     0     -
pthread-ext/25_stack_longer_false-unreach-call.i 0 6.7 2.1 480 51 0     0     0 4.0  2.2  250 0   0  
pthread-ext/25_stack_longest_false-unreach-call.i 0 6.5 2.1 470 52 0     .029 0 4.3  2.4  270 0   0  
pthread-ext/26_stack_cas_longer_false-unreach-call.i 0 6.7 2.1 470 55 0     0     0 4.5  2.5  250 0   0  
pthread-ext/26_stack_cas_longest_false-unreach-call.i 0 6.5 2.1 470 52 0     0     0 3.9  2.2  250 0   0  
pthread-ext/27_Boop_simple_vf_false-unreach-call.i 0 5.5 1.8 360 45 0     0     0 4.7  2.6  250 0   0  
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i 0 5.3 1.8 350 42 0     0     0 3.9  2.3  250 0   0  
pthread-ext/32_pthread5_vs_false-unreach-call.i 0 5.5 1.8 360 51 0     0     0 3.7  2.1  250 0   0  
pthread-ext/40_barrier_vf_false-unreach-call.i 0 5.5 1.8 350 45 0     0     0 4.3  2.4  260 0   0  
pthread-ext/01_inc_true-unreach-call.i 0 5.6 1.8 340 46 0     0     -
pthread-ext/02_inc_cas_true-unreach-call.i 0 5.2 1.8 330 39 0     0     -
pthread-ext/03_incdec_true-unreach-call.i 0 6.0 2.0 380 54 0     0     -
pthread-ext/04_incdec_cas_true-unreach-call.i 0 5.9 1.9 380 47 0     0     -
pthread-ext/05_tas_true-unreach-call.i 0 5.6 1.9 320 47 0     0     -
pthread-ext/06_ticket_true-unreach-call.i 0 5.9 1.9 360 48 0     0     -
pthread-ext/07_rand_true-unreach-call.i 0 6.1 1.9 380 54 0     0     -
pthread-ext/08_rand_cas_true-unreach-call.i 0 5.9 1.9 400 53 0     0     -
pthread-ext/09_fmaxsym_true-unreach-call.i 0 5.0 1.7 330 46 0     0     -
pthread-ext/10_fmaxsym_cas_true-unreach-call.i 0 5.2 1.7 330 41 0     0     -
pthread-ext/11_fmaxsymopt_true-unreach-call.i 0 4.9 1.6 320 49 0     0     -
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i 0 5.0 1.8 330 45 0     0     -
pthread-ext/13_unverif_true-unreach-call.i 0 5.1 1.7 340 44 0     0     -
pthread-ext/14_spin2003_true-unreach-call.i 0 5.2 1.8 340 40 0     0     -
pthread-ext/15_dekker_true-unreach-call.i 2 5.9 1.9 370 56 0     0     -
pthread-ext/16_peterson_true-unreach-call.i 2 5.3 1.8 320 48 0     0     -
pthread-ext/17_szymanski_true-unreach-call.i 2 6.0 1.9 420 53 0     0     -
pthread-ext/18_read_write_lock_true-unreach-call.i 2 4.3 1.6 280 37 0     0     -
pthread-ext/19_time_var_mutex_true-unreach-call.i 2 4.6 1.7 290 39 0     0     -
pthread-ext/20_lamport_true-unreach-call.i 2 6.6 2.0 420 59 0     0     -
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i 2 5.8 1.9 320 46 0     0     -
pthread-ext/25_stack_longer_true-unreach-call.i 0 6.7 2.1 480 61 0     0     -
pthread-ext/25_stack_longest_true-unreach-call.i 0 6.4 2.0 480 58 0     0     -
pthread-ext/25_stack_true-unreach-call.i 0 6.4 2.0 470 55 0     0     -
pthread-ext/26_stack_cas_longer_true-unreach-call.i 0 6.7 2.1 460 56 0     0     -
pthread-ext/26_stack_cas_longest_true-unreach-call.i 0 6.8 2.1 460 57 0     0     -
pthread-ext/26_stack_cas_true-unreach-call.i 0 6.6 2.1 460 56 0     0     -
pthread-ext/29_conditionals_vs_true-unreach-call.i 0 5.6 1.8 350 47 0     0     -
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i 0 5.6 1.8 350 49 0     0     -
pthread-ext/31_simple_loop5_vs_true-unreach-call.i 0 5.3 1.8 320 47 0     0     -
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i 0 5.9 1.9 380 47 0     0     -
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i 0 5.8 1.9 380 53 0     0     -
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i 0 5.6 1.8 370 45 0     0     -
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i 0 6.0 1.9 380 53 0     0     -
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i 0 5.8 1.9 380 50 0     0     -
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i 0 5.6 1.9 330 41 0     0     -
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i 0 5.8 1.8 350 45 0     0     -
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i 0 6.1 2.0 460 50 0     0     -
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i 0 6.6 2.1 460 54 0     0     -
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i 0 8.0 2.5 480 74 0     0     -
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i 0 7.8 2.3 480 64 0     0     -
pthread-ext/45_monabsex1_vs_true-unreach-call.i 0 5.2 1.7 330 43 0     0     -
pthread-ext/46_monabsex2_vs_true-unreach-call.i 0 5.2 1.8 300 43 0     0     -
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i 0 910   860   6100 3800 0     0     -
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i 0 910   870   3900 4500 0     0     -
pthread-wmm/mix000_power.oepc_false-unreach-call.i 1 10   3.1 470 86 0     0     1 9.4  5.0  310 0   0  
pthread-wmm/mix000_power.opt_false-unreach-call.i 1 9.6 2.7 480 86 0     0     1 8.0  4.3  270 0   0  
pthread-wmm/mix000_pso.oepc_false-unreach-call.i 1 11   3.0 470 90 0     0     1 7.7  4.1  310 0   0  
pthread-wmm/mix000_pso.opt_false-unreach-call.i 1 9.6 2.7 480 74 0     0     1 7.1  3.8  270 0   0  
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i 1 10   3.0 480 88 0     0     1 8.2  4.4  310 0   0  
pthread-wmm/mix000_rmo.opt_false-unreach-call.i 1 9.9 2.8 480 77 0     0     1 6.7  3.6  280 0   0  
pthread-wmm/mix000_tso.oepc_false-unreach-call.i 1 11   3.3 500 100 0     0     1 8.2  4.3  310 0   0  
pthread-wmm/mix000_tso.opt_false-unreach-call.i 1 9.4 2.7 470 81 0     0     1 7.5  4.0  280 0   0  
pthread-wmm/mix001_power.oepc_false-unreach-call.i 1 15   5.8 690 130 0     0     1 34    21    1400 0   0  
pthread-wmm/mix001_power.opt_false-unreach-call.i 1 35   15   1500 240 0     0     1 9.5  5.0  310 0   0  
pthread-wmm/mix001_pso.oepc_false-unreach-call.i 1 15   5.8 680 110 0     0     1 35    21    1200 0   0  
pthread-wmm/mix001_pso.opt_false-unreach-call.i 1 35   15   1500 260 0     0     1 7.4  3.9  300 0   0  
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i 1 15   5.7 690 120 0     0     1 39    24    1300 0   0  
pthread-wmm/mix001_rmo.opt_false-unreach-call.i 1 25   12   1200 180 0     0     1 7.5  4.0  300 0   0  
pthread-wmm/mix001_tso.oepc_false-unreach-call.i 1 16   5.6 590 120 0     0     1 37    22    1300 0   0  
pthread-wmm/mix001_tso.opt_false-unreach-call.i 1 36   15   1500 250 0     0     1 8.8  4.6  310 0   0  
pthread-wmm/mix002_power.oepc_false-unreach-call.i 1 13   4.1 560 110 0     0     1 42    27    1800 0   0  
pthread-wmm/mix002_power.opt_false-unreach-call.i 1 36   16   1500 240 0     0     1 7.7  4.1  310 0   0  
pthread-wmm/mix002_pso.oepc_false-unreach-call.i 1 13   4.2 570 110 0     0     1 47    30    1900 0   0  
pthread-wmm/mix002_pso.opt_false-unreach-call.i 1 34   16   1500 240 0     0     1 7.7  4.0  320 0   0  
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i 1 14   4.2 560 120 0     0     1 54    34    1800 0   0  
pthread-wmm/mix002_rmo.opt_false-unreach-call.i 1 35   16   1500 240 0     0     1 7.7  4.1  300 0   0  
pthread-wmm/mix002_tso.oepc_false-unreach-call.i 1 13   4.1 560 100 0     0     1 45    30    1800 0   0  
pthread-wmm/mix002_tso.opt_false-unreach-call.i 1 38   17   1500 280 0     0     1 7.8  4.1  310 0   0  
pthread-wmm/mix003_power.oepc_false-unreach-call.i 1 13   3.9 530 120 0     0     1 35    20    1100 0   0  
pthread-wmm/mix003_power.opt_false-unreach-call.i 1 32   14   1500 220 0     0     1 7.7  4.1  300 0   0  
pthread-wmm/mix003_pso.oepc_false-unreach-call.i 1 14   4.1 540 110 0     0     1 31    18    1100 0   0  
pthread-wmm/mix003_pso.opt_false-unreach-call.i 1 32   14   1500 220 0     0     1 7.5  4.0  300 0   0  
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i 1 13   4.0 540 120 0     0     1 29    16    1100 0   0  
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i 1 33   14   1500 230 0     0     1 7.6  4.0  300 0   0  
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i 1 24   12   1200 200 0     0     1 7.7  4.1  300 0   0  
pthread-wmm/mix003_rmo.opt_false-unreach-call.i 1 32   14   1500 210 0     0     1 8.8  4.7  300 0   0  
pthread-wmm/mix003_tso.oepc_false-unreach-call.i 1 13   4.0 540 110 0     0     1 31    18    1100 0   0  
pthread-wmm/mix003_tso.opt_false-unreach-call.i 1 26   12   1200 200 0     0     1 8.9  4.7  300 0   0  
pthread-wmm/mix004_power.oepc_false-unreach-call.i 0 24   10   1100 200 0     0     0 95    71    2300 0   0  
pthread-wmm/mix004_power.opt_false-unreach-call.i 1 370   210   5600 2400 0     0     1 19    10    640 0   0  
pthread-wmm/mix004_pso.oepc_false-unreach-call.i 0 25   11   1100 180 0     0     0 97    71    2400 0   0  
pthread-wmm/mix004_pso.opt_false-unreach-call.i 1 360   210   5500 2800 0     0     1 17    8.6  600 0   0  
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i 0 24   10   1100 200 0     0     0 96    76    2300 0   0  
pthread-wmm/mix004_rmo.opt_false-unreach-call.i 1 350   200   5500 2600 0     0     1 20    10    620 0   0  
pthread-wmm/mix004_tso.oepc_false-unreach-call.i 0 23   10   1100 180 0     0     0 96    73    2400 0   0  
pthread-wmm/mix004_tso.opt_false-unreach-call.i 1 370   210   5500 2300 0     0     1 19    9.7  620 0   0  
pthread-wmm/mix005_power.oepc_false-unreach-call.i 0 24   10   1100 170 0     0     0 97    74    2400 0   0  
pthread-wmm/mix005_power.opt_false-unreach-call.i 1 370   210   5500 2200 0     0     1 20    11    630 0   0  
pthread-wmm/mix005_pso.oepc_false-unreach-call.i 0 23   9.7 1200 180 0     0     0 97    73    2400 0   0  
pthread-wmm/mix005_pso.opt_false-unreach-call.i 1 360   200   5600 2700 0     0     1 17    8.9  620 0   0  
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i 0 23   9.8 1100 190 0     0     0 97    74    2400 0   0  
pthread-wmm/mix005_rmo.opt_false-unreach-call.i 1 360   190   5600 2800 0     0     1 17    9.0  630 0   0  
pthread-wmm/mix005_tso.oepc_false-unreach-call.i 1 130   73   4300 800 0     0     1 55    40    1600 0   0  
pthread-wmm/mix005_tso.opt_false-unreach-call.i 1 350   190   5600 2600 0     0     1 17    8.9  620 0   0  
pthread-wmm/mix006_power.oepc_false-unreach-call.i 1 14   4.7 680 130 0     0     1 34    19    1100 0   0  
pthread-wmm/mix006_power.opt_false-unreach-call.i 1 38   18   1700 270 0     0     1 8.1  4.2  300 0   0  
pthread-wmm/mix006_pso.oepc_false-unreach-call.i 1 14   4.6 680 130 0     0     1 33    19    1100 0   0  
pthread-wmm/mix006_pso.opt_false-unreach-call.i 1 36   17   1700 270 0     0     1 7.4  3.9  290 0   0  
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i 1 14   4.7 680 120 0     0     1 36    21    1200 0   0  
pthread-wmm/mix006_rmo.opt_false-unreach-call.i 1 40   19   1700 270 0     0     1 8.9  4.7  300 0   0  
pthread-wmm/mix006_tso.oepc_false-unreach-call.i 1 130   99   3900 820 0     0     1 18    9.7  600 0   0  
pthread-wmm/mix006_tso.opt_false-unreach-call.i 1 40   19   1600 270 0     0     1 7.5  3.9  300 0   0  
pthread-wmm/mix007_power.oepc_false-unreach-call.i 0 35   15   1600 300 0     0     0 97    73    2400 0   0  
pthread-wmm/mix007_power.opt_false-unreach-call.i 1 520   310   6100 3500 0     0     1 18    9.3  630 0   0  
pthread-wmm/mix007_pso.oepc_false-unreach-call.i 0 34   15   1500 260 0     0     0 98    75    2400 0   0  
pthread-wmm/mix007_pso.opt_false-unreach-call.i 1 540   300   6300 4400 0     0     1 19    9.6  620 0   0  
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i 0 33   15   1600 230 0     0     0 95    71    2300 0   0  
pthread-wmm/mix007_rmo.opt_false-unreach-call.i 1 570   310   6300 3900 0     0     1 21    11    630 0   0  
pthread-wmm/mix007_tso.oepc_false-unreach-call.i 0 37   16   1700 270 0     0     0 96    73    2300 0   0  
pthread-wmm/mix007_tso.opt_false-unreach-call.i 1 550   320   6300 3200 0     0     1 17    8.8  620 0   0  
pthread-wmm/mix008_power.oepc_false-unreach-call.i 0 35   16   1600 250 0     0     0 96    76    2300 0   0  
pthread-wmm/mix008_power.opt_false-unreach-call.i 1 520   300   6100 3300 0     0     1 20    10    620 0   0  
pthread-wmm/mix008_pso.oepc_false-unreach-call.i 0 35   15   1500 240 0     0     0 96    73    2300 0   0  
pthread-wmm/mix008_pso.opt_false-unreach-call.i 1 500   290   6100 4000 0     0     1 17    8.7  610 0   0  
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i 0 36   15   1600 250 0     0     0 97    74    2300 0   0  
pthread-wmm/mix008_rmo.opt_false-unreach-call.i 1 540   320   6100 3800 0     0     1 17    8.8  620 0   0  
pthread-wmm/mix008_tso.oepc_false-unreach-call.i 0 930   750   5800 7900 0     0     0 5.9  3.2  270 0   0  
pthread-wmm/mix008_tso.opt_false-unreach-call.i 1 560   330   6200 3200 0     0     1 22    11    620 0   0  
pthread-wmm/mix009_power.oepc_false-unreach-call.i 1 8.0 2.5 400 71 0     0     1 7.5  4.0  310 0   0  
pthread-wmm/mix009_power.opt_false-unreach-call.i 1 9.6 2.8 480 84 0     0     1 7.4  3.9  270 0   0  
pthread-wmm/mix009_pso.oepc_false-unreach-call.i 1 7.8 2.4 390 68 0     0     1 9.2  4.8  310 0   0  
pthread-wmm/mix009_pso.opt_false-unreach-call.i 1 9.7 2.8 480 79 0     0     1 7.0  3.7  280 0   0  
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i 1 7.9 2.4 400 62 0     0     1 8.1  4.3  300 0   0  
pthread-wmm/mix009_rmo.opt_false-unreach-call.i 1 9.7 2.8 480 86 0     0     1 7.1  3.8  280 0   0  
pthread-wmm/mix009_tso.oepc_false-unreach-call.i 1 8.0 2.4 390 68 0     0     1 8.8  4.7  310 0   0  
pthread-wmm/mix009_tso.opt_false-unreach-call.i 1 9.8 2.8 480 84 0     0     1 8.7  4.6  280 0   0  
pthread-wmm/mix010_power.oepc_false-unreach-call.i 1 13   4.2 570 110 0     0     1 29    17    1100 0   0  
pthread-wmm/mix010_power.opt_false-unreach-call.i 1 33   15   1500 230 0     0     1 8.9  4.7  320 0   0  
pthread-wmm/mix010_pso.oepc_false-unreach-call.i 1 13   4.2 570 120 0     0     1 31    17    1100 0   0  
pthread-wmm/mix010_pso.opt_false-unreach-call.i 1 34   15   1500 250 0     0     1 8.3  4.3  300 0   0  
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i 1 13   4.2 560 110 0     0     1 29    16    1100 0   0  
pthread-wmm/mix010_rmo.opt_false-unreach-call.i 1 33   14   1600 270 0     0     1 8.1  4.3  310 0   0  
pthread-wmm/mix010_tso.oepc_false-unreach-call.i 1 12   4.1 550 98 0     0     1 31    18    1100 0   0  
pthread-wmm/mix010_tso.opt_false-unreach-call.i 1 35   15   1500 240 0     0     1 9.1  4.8  310 0   0  
pthread-wmm/mix011_power.oepc_false-unreach-call.i 1 12   4.0 560 120 0     0     1 35    20    1200 0   0  
pthread-wmm/mix011_power.opt_false-unreach-call.i 1 34   15   1500 250 0     0     1 9.1  4.8  300 0   0  
pthread-wmm/mix011_pso.oepc_false-unreach-call.i 1 12   4.1 560 110 0     0     1 29    16    1100 0   0  
pthread-wmm/mix011_pso.opt_false-unreach-call.i 1 34   15   1500 280 0     0     1 7.7  4.1  300 0   0  
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i 1 13   4.2 570 120 0     0     1 27    16    1100 0   0  
pthread-wmm/mix011_rmo.opt_false-unreach-call.i 1 35   15   1600 260 0     0     1 7.6  4.0  300 0   0  
pthread-wmm/mix011_tso.oepc_false-unreach-call.i 1 21   8.2 1000 160 0     0     1 23    12    720 0   0  
pthread-wmm/mix011_tso.opt_false-unreach-call.i 1 36   15   1500 260 0     0     1 9.7  5.1  310 0   0  
pthread-wmm/mix012_power.oepc_false-unreach-call.i 1 8.2 2.5 390 73 0     0     1 7.0  3.7  290 0   0  
pthread-wmm/mix012_power.opt_false-unreach-call.i 1 7.8 2.4 380 63 0     0     1 7.5  3.9  290 0   0  
pthread-wmm/mix012_pso.oepc_false-unreach-call.i 1 8.1 2.5 380 70 0     0     1 8.6  4.5  280 0   0  
pthread-wmm/mix012_pso.opt_false-unreach-call.i 1 9.3 2.7 480 72 0     0     1 8.1  4.3  270 0   0  
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i 1 7.7 2.4 380 61 0     0     1 6.9  3.7  300 0   0  
pthread-wmm/mix012_rmo.opt_false-unreach-call.i 1 7.9 2.4 380 64 0     0     1 7.6  4.0  290 0   0  
pthread-wmm/mix012_tso.oepc_false-unreach-call.i 1 7.9 2.4 390 68 0     0     1 9.0  4.7  290 0   0  
pthread-wmm/mix012_tso.opt_false-unreach-call.i 1 9.3 2.7 360 75 0     0     1 6.8  3.6  270 0   0  
pthread-wmm/mix013_power.oepc_false-unreach-call.i 0 25   10   1100 210 0     0     0 97    74    2400 0   0  
pthread-wmm/mix013_power.opt_false-unreach-call.i 1 370   210   5500 2400 0     0     1 18    9.3  620 0   0  
pthread-wmm/mix013_pso.oepc_false-unreach-call.i 0 25   10   1100 180 0     0     0 96    77    2300 0   0  
pthread-wmm/mix013_pso.opt_false-unreach-call.i 1 370   200   5500 2500 0     0     1 18    9.3  630 0   0  
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i 0 24   10   1200 180 0     0     0 96    74    2300 0   0  
pthread-wmm/mix013_rmo.opt_false-unreach-call.i 1 360   210   5500 2600 0     0     1 16    8.1  620 0   0  
pthread-wmm/mix013_tso.oepc_false-unreach-call.i 0 24   9.8 1100 170 0     0     0 94    75    2200 0   0  
pthread-wmm/mix013_tso.opt_false-unreach-call.i 1 370   210   5500 2300 0     0     1 20    10    640 0   0  
pthread-wmm/mix014_power.oepc_false-unreach-call.i 0 34   15   1600 270 0     0     0 97    74    2400 0   0  
pthread-wmm/mix014_power.opt_false-unreach-call.i 1 520   310   6000 3100 0     0     1 16    8.5  620 0   0  
pthread-wmm/mix014_pso.oepc_false-unreach-call.i 0 35   15   1600 300 0     0     0 97    73    2400 0   0  
pthread-wmm/mix014_pso.opt_false-unreach-call.i 1 540   310   6000 3100 0     0     1 19    10    620 0   0  
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i 0 35   15   1600 250 0     0     0 96    73    2300 0   0  
pthread-wmm/mix014_rmo.opt_false-unreach-call.i 1 520   310   6100 3500 0     0     1 18    9.2  630 0   0  
pthread-wmm/mix014_tso.oepc_false-unreach-call.i 0 940   710   6300 5400 0     0     0 5.7  3.1  270 0   0  
pthread-wmm/mix014_tso.opt_false-unreach-call.i 1 520   300   6000 3100 0     0     1 16    8.3  620 0   0  
pthread-wmm/mix015_power.oepc_false-unreach-call.i 1 13   4.0 540 110 0     0     1 40    26    1800 0   0  
pthread-wmm/mix015_power.opt_false-unreach-call.i 1 35   15   1500 230 0     0     1 8.7  4.6  310 0   0  
pthread-wmm/mix015_pso.oepc_false-unreach-call.i 1 13   4.1 530 110 0     0     1 43    28    1900 0   0  
pthread-wmm/mix015_pso.opt_false-unreach-call.i 1 35   15   1500 240 0     0     1 7.8  4.1  310 0   0  
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i 1 12   3.9 540 99 0     0     1 43    28    1800 0   0  
pthread-wmm/mix015_rmo.opt_false-unreach-call.i 1 32   15   1300 230 0     0     1 7.8  4.1  310 0   0  
pthread-wmm/mix015_tso.oepc_false-unreach-call.i 1 13   4.0 530 110 0     0     1 43    28    1900 0   0  
pthread-wmm/mix015_tso.opt_false-unreach-call.i 1 35   15   1500 230 0     0     1 9.0  4.7  310 0   0  
pthread-wmm/mix016_power.oepc_false-unreach-call.i 1 12   3.8 530 95 0     0     1 29    16    1100 0   0  
pthread-wmm/mix016_power.opt_false-unreach-call.i 1 28   10   1200 190 0     0     1 13    6.8  430 0   0  
pthread-wmm/mix016_pso.oepc_false-unreach-call.i 1 13   3.9 540 110 0     0     1 26    15    1100 0   0  
pthread-wmm/mix016_pso.opt_false-unreach-call.i 1 25   12   1100 190 0     0     1 7.7  4.1  290 0   0  
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i 1 12   3.9 540 100 0     0     1 28    16    1100 0   0  
pthread-wmm/mix016_rmo.opt_false-unreach-call.i 1 20   8.3 1100 190 0     0     1 11    5.7  430 0   0  
pthread-wmm/mix016_tso.oepc_false-unreach-call.i 1 14   4.0 550 100 0     0     1 30    17    1100 0   0  
pthread-wmm/mix016_tso.opt_false-unreach-call.i 1 25   12   1100 210 0     0     1 7.5  4.0  290 0   0  
pthread-wmm/mix017_power.oepc_false-unreach-call.i 0 23   9.9 1200 190 0     0     0 98    77    2400 0   0  
pthread-wmm/mix017_power.opt_false-unreach-call.i 1 250   130   5100 1800 0     0     1 52    34    1800 0   0  
pthread-wmm/mix017_pso.oepc_false-unreach-call.i 0 22   10   980 190 0     0     0 97    73    2400 0   0  
pthread-wmm/mix017_pso.opt_false-unreach-call.i 1 340   200   5200 2400 0     0     1 16    8.3  620 0   0  
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i 0 24   10   1200 190 0     0     0 97    72    2400 0   0  
pthread-wmm/mix017_rmo.opt_false-unreach-call.i 1 260   130   5200 1700 0     0     1 52    34    1800 0   0  
pthread-wmm/mix017_tso.oepc_false-unreach-call.i 0 23   9.7 1100 190 0     0     0 94    75    2300 0   0  
pthread-wmm/mix017_tso.opt_false-unreach-call.i 1 330   190   5600 2200 0     0     1 19    9.9  690 0   0  
pthread-wmm/mix018_power.oepc_false-unreach-call.i 0 24   9.8 1100 190 0     0     0 97    73    2400 0   0  
pthread-wmm/mix018_power.opt_false-unreach-call.i 1 340   190   5400 2200 0     0     1 19    9.8  620 0   0  
pthread-wmm/mix018_pso.oepc_false-unreach-call.i 0 24   9.6 1100 220 0     0     0 97    73    2300 0   0  
pthread-wmm/mix018_pso.opt_false-unreach-call.i 1 330   190   5400 1900 0     0     1 17    9.0  610 0   0  
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i 0 23   9.7 1100 220 0     0     0 96    71    2400 0   0  
pthread-wmm/mix018_rmo.opt_false-unreach-call.i 1 340   190   5400 2000 0     0     1 16    8.0  600 0   0  
pthread-wmm/mix018_tso.oepc_false-unreach-call.i 1 110   64   3900 880 0     0     1 38    24    1600 0   0  
pthread-wmm/mix018_tso.opt_false-unreach-call.i 1 330   190   5400 2200 0     0     1 16    8.4  620 0   0  
pthread-wmm/mix019_power.oepc_false-unreach-call.i 1 13   3.9 540 110 0     0     1 28    16    1100 0   0  
pthread-wmm/mix019_power.opt_false-unreach-call.i 1 25   11   1100 210 0     0     1 8.9  4.7  290 0   0  
pthread-wmm/mix019_pso.oepc_false-unreach-call.i 1 12   3.8 520 100 0     0     1 26    15    1100 0   0  
pthread-wmm/mix019_pso.opt_false-unreach-call.i 1 26   12   1100 170 0     0     1 8.5  4.5  290 0   0  
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i 1 13   3.9 550 120 0     0     1 25    15    1100 0   0  
pthread-wmm/mix019_rmo.opt_false-unreach-call.i 1 25   12   1100 180 0     0     1 7.6  4.0  300 0   0  
pthread-wmm/mix019_tso.oepc_false-unreach-call.i 1 20   7.7 980 160 0     0     1 11    6.0  480 0   0  
pthread-wmm/mix019_tso.opt_false-unreach-call.i 1 25   12   1100 200 0     0     1 7.6  4.0  300 0   0  
pthread-wmm/mix020_power.oepc_false-unreach-call.i 0 23   9.8 1100 170 0     0     0 98    73    2400 0   0  
pthread-wmm/mix020_power.opt_false-unreach-call.i 1 340   190   5500 2100 0     0     1 18    9.6  610 0   0  
pthread-wmm/mix020_pso.oepc_false-unreach-call.i 0 24   10   1100 180 0     0     0 97    73    2400 0   0  
pthread-wmm/mix020_pso.opt_false-unreach-call.i 1 350   200   5400 2200 0     0     1 16    8.4  620 0   0  
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i 0 23   9.9 1100 180 0     0     0 96    72    2300 0   0  
pthread-wmm/mix020_rmo.opt_false-unreach-call.i 1 340   190   5400 2400 0     0     1 18    9.5  630 0   0  
pthread-wmm/mix020_tso.oepc_false-unreach-call.i 0 23   9.5 1100 200 0     0     0 98    73    2400 0   0  
pthread-wmm/mix020_tso.opt_false-unreach-call.i 1 330   190   5400 2200 0     0     1 16    8.4  620 0   0  
pthread-wmm/mix021_power.oepc_false-unreach-call.i 0 26   10   1100 190 0     0     0 97    72    2300 0   0  
pthread-wmm/mix021_power.opt_false-unreach-call.i 1 360   190   5600 2000 0     0     1 16    8.0  540 0   0  
pthread-wmm/mix021_pso.oepc_false-unreach-call.i 0 24   9.6 1100 180 0     0     0 95    71    2300 0   0  
pthread-wmm/mix021_pso.opt_false-unreach-call.i 1 340   190   5300 2700 0     0     1 18    9.3  540 0   0  
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i 0 24   9.9 1100 210 0     0     0 96    68    2400 0   0  
pthread-wmm/mix021_rmo.opt_false-unreach-call.i 1 330   190   5500 2300 0     0     1 16    8.4  530 0   0  
pthread-wmm/mix021_tso.oepc_false-unreach-call.i 1 220   130   4900 1600 0     0     1 48    32    1800 0   0  
pthread-wmm/mix021_tso.opt_false-unreach-call.i 1 340   190   5400 2300 0     0     1 16    8.2  560 0   0  
pthread-wmm/mix022_power.oepc_false-unreach-call.i 1 8.2 2.5 460 64 0     0     1 8.0  4.2  290 0   0  
pthread-wmm/mix022_power.opt_false-unreach-call.i 1 8.4 2.5 460 70 0     0     1 8.6  4.6  290 0   0  
pthread-wmm/mix022_pso.oepc_false-unreach-call.i 1 8.5 2.5 470 70 0     0     1 7.3  3.9  280 0   0  
pthread-wmm/mix022_pso.opt_false-unreach-call.i 1 8.6 2.6 460 74 0     0     1 8.3  4.5  280 0   0  
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i 1 8.7 2.7 460 71 0     0     1 7.2  3.9  290 0   0  
pthread-wmm/mix022_rmo.opt_false-unreach-call.i 1 8.5 2.6 460 79 0     .029 1 7.4  4.0  290 0   0  
pthread-wmm/mix022_tso.oepc_false-unreach-call.i 1 8.9 2.7 470 72 0     0     1 10    5.3  340 0   0  
pthread-wmm/mix022_tso.opt_false-unreach-call.i 1 9.3 2.8 460 77 0     0     1 8.5  4.5  350 0   0  
pthread-wmm/mix023_power.oepc_false-unreach-call.i 0 39   19   1800 320 0     0     0 98    74    2400 0   0  
pthread-wmm/mix023_power.opt_false-unreach-call.i 1 540   310   6300 3700 0     0     1 62    44    2100 0   0  
pthread-wmm/mix023_pso.oepc_false-unreach-call.i 0 40   19   1700 330 0     0     0 98    76    2400 0   0  
pthread-wmm/mix023_pso.opt_false-unreach-call.i 1 530   300   6300 4000 0     0     1 65    46    2100 0   0  
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i 0 39   18   1700 280 0     0     0 96    73    2300 0   0  
pthread-wmm/mix023_rmo.opt_false-unreach-call.i 1 550   320   6200 3700 0     0     1 58    41    2200 0   0  
pthread-wmm/mix023_tso.oepc_false-unreach-call.i 0 930   740   5600 5500 0     0     0 5.7  3.1  270 0   0  
pthread-wmm/mix023_tso.opt_false-unreach-call.i 0 940   760   5400 4900 0     0     0 6.0  3.2  270 0   0  
pthread-wmm/mix024_power.oepc_false-unreach-call.i 1 14   4.5 700 120 0     0     1 48    33    1900 0   0  
pthread-wmm/mix024_power.opt_false-unreach-call.i 1 34   13   1400 240 0     0     1 13    6.7  480 0   0  
pthread-wmm/mix024_pso.oepc_false-unreach-call.i 1 14   4.6 680 110 0     0     1 48    32    1800 0   0  
pthread-wmm/mix024_pso.opt_false-unreach-call.i 1 32   12   1400 240 0     0     1 11    5.7  480 0   0  
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i 1 14   4.6 690 130 0     0     1 50    34    1800 0   0  
pthread-wmm/mix024_rmo.opt_false-unreach-call.i 1 33   13   1400 250 0     0     1 13    6.9  490 0   0  
pthread-wmm/mix024_tso.oepc_false-unreach-call.i 1 14   4.6 680 120 0     0     1 47    32    1900 0   0  
pthread-wmm/mix024_tso.opt_false-unreach-call.i 1 13   4.5 680 120 0     0     1 50    33    1900 0   0  
pthread-wmm/mix025_power.oepc_false-unreach-call.i 1 14   4.5 680 120 0     0     1 32    19    1200 0   0  
pthread-wmm/mix025_power.opt_false-unreach-call.i 1 15   4.6 700 140 0     0     1 28    16    1100 0   0  
pthread-wmm/mix025_pso.oepc_false-unreach-call.i 1 14   4.5 680 110 0     0     1 34    19    1100 0   0  
pthread-wmm/mix025_pso.opt_false-unreach-call.i 1 30   12   1200 230 0     0     1 12    6.4  440 0   0  
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i 1 14   4.8 650 120 0     0     1 30    17    1100 0   0  
pthread-wmm/mix025_rmo.opt_false-unreach-call.i 1 30   12   1200 230 0     0     1 13    6.8  430 0   0  
pthread-wmm/mix025_tso.oepc_false-unreach-call.i 1 14   4.6 700 120 0     0     1 34    18    1100 0   0  
pthread-wmm/mix025_tso.opt_false-unreach-call.i 1 14   4.5 680 120 0     0     1 30    16    1100 0   0  
pthread-wmm/mix026_power.oepc_false-unreach-call.i 0 34   14   1600 270 0     0     0 95    71    2300 0   0  
pthread-wmm/mix026_power.opt_false-unreach-call.i 1 190   100   4600 1300 0     0     1 52    33    2200 0   0  
pthread-wmm/mix026_pso.oepc_false-unreach-call.i 0 35   15   1600 260 0     0     0 98    75    2400 0   0  
pthread-wmm/mix026_pso.opt_false-unreach-call.i 1 340   180   5300 2400 0     0     1 45    29    2100 0   0  
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i 0 34   15   1600 240 0     0     0 96    72    2300 0   0  
pthread-wmm/mix026_rmo.opt_false-unreach-call.i 1 330   180   5400 2500 0     0     1 53    35    2000 0   0  
pthread-wmm/mix026_tso.oepc_false-unreach-call.i 0 34   14   1600 290 0     0     0 95    71    2300 0   0  
pthread-wmm/mix026_tso.opt_false-unreach-call.i 1 200   110   4700 1500 0     0     1 48    31    2100 0   0  
pthread-wmm/mix027_power.oepc_false-unreach-call.i 0 34   14   1600 250 0     0     0 95    69    2300 0   0  
pthread-wmm/mix027_power.opt_false-unreach-call.i 1 330   180   5400 2400 0     0     1 58    38    2000 0   0  
pthread-wmm/mix027_pso.oepc_false-unreach-call.i 0 25   12   1200 190 0     0     0 98    73    2400 0   0  
pthread-wmm/mix027_pso.opt_false-unreach-call.i 1 320   180   5300 2100 0     0     1 49    32    2000 0   0  
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i 0 34   14   1600 240 0     0     0 98    75    2400 0   0  
pthread-wmm/mix027_rmo.opt_false-unreach-call.i 1 330   180   5300 2300 0     0     1 46    31    2000 0   0  
pthread-wmm/mix027_tso.oepc_false-unreach-call.i 1 150   90   4400 1100 0     0     1 46    29    1800 0   0  
pthread-wmm/mix027_tso.opt_false-unreach-call.i 1 160   97   4400 990 0     0     1 47    30    1600 0   0  
pthread-wmm/mix028_power.oepc_false-unreach-call.i 1 14   4.5 690 120 0     0     1 33    19    1200 0   0  
pthread-wmm/mix028_power.opt_false-unreach-call.i 1 24   9.6 1100 180 0     0     1 13    6.5  470 0   0  
pthread-wmm/mix028_pso.oepc_false-unreach-call.i 1 14   4.6 610 120 0     0     1 30    17    1100 0   0  
pthread-wmm/mix028_pso.opt_false-unreach-call.i 1 21   9.3 1100 180 0     0     1 15    7.6  470 0   0  
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i 1 15   4.6 700 120 0     0     1 27    16    1100 0   0  
pthread-wmm/mix028_rmo.opt_false-unreach-call.i 1 23   9.6 1100 200 0     .029 1 13    6.8  470 0   0  
pthread-wmm/mix028_tso.oepc_false-unreach-call.i 1 34   15   1500 270 0     0     1 10    5.3  430 0   0  
pthread-wmm/mix028_tso.opt_false-unreach-call.i 1 34   15   1500 240 0     0     1 11    5.7  430 0   0  
pthread-wmm/mix029_power.oepc_false-unreach-call.i 0 33   14   1600 220 0     0     0 98    74    2400 0   0  
pthread-wmm/mix029_power.opt_false-unreach-call.i 1 310   200   5100 2000 0     0     1 58    38    2000 0   0  
pthread-wmm/mix029_pso.oepc_false-unreach-call.i 0 33   14   1600 270 0     0     0 97    74    2400 0   0  
pthread-wmm/mix029_pso.opt_false-unreach-call.i 1 280   180   5100 2400 0     0     1 51    35    2000 0   0  
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i 0 33   14   1600 290 0     0     0 98    73    2400 0   0  
pthread-wmm/mix029_rmo.opt_false-unreach-call.i 1 300   190   5100 2000 0     0     1 53    37    2000 0   0  
pthread-wmm/mix029_tso.oepc_false-unreach-call.i 0 34   15   1600 240 0     0     0 96    74    2400 0   0  
pthread-wmm/mix029_tso.opt_false-unreach-call.i 0 35   14   1600 240 0     0     0 95    72    2400 0   0  
pthread-wmm/mix030_power.oepc_false-unreach-call.i 0 34   15   1600 230 0     0     0 98    75    2400 0   0  
pthread-wmm/mix030_power.opt_false-unreach-call.i 1 290   180   5100 2700 0     0     1 50    34    1900 0   0  
pthread-wmm/mix030_pso.oepc_false-unreach-call.i 0 34   15   1600 230 0     0     0 96    74    2300 0   0  
pthread-wmm/mix030_pso.opt_false-unreach-call.i 1 290   180   5100 2500 0     0     1 57    39    2000 0   0  
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i 0 34   15   1600 280 0     0     0 95    71    2300 0   0  
pthread-wmm/mix030_rmo.opt_false-unreach-call.i 1 290   190   5100 2000 0     0     1 43    29    1900 0   0  
pthread-wmm/mix030_tso.oepc_false-unreach-call.i 1 350   210   5300 2400 0     0     1 18    9.1  630 0   0  
pthread-wmm/mix030_tso.opt_false-unreach-call.i 1 360   220   5300 2300 0     0     1 18    9.2  610 0   0  
pthread-wmm/mix031_power.oepc_false-unreach-call.i 1 8.2 2.5 400 67 0     0     1 8.2  4.4  310 0   0  
pthread-wmm/mix031_power.opt_false-unreach-call.i 1 8.1 2.5 400 62 0     0     1 6.8  3.6  280 0   0  
pthread-wmm/mix031_pso.oepc_false-unreach-call.i 1 8.1 2.4 410 70 0     0     1 8.4  4.5  310 0   0  
pthread-wmm/mix031_pso.opt_false-unreach-call.i 1 8.5 2.5 460 73 0     0     1 7.4  3.9  280 0   0  
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i 1 8.3 2.5 410 67 0     0     1 8.7  4.7  310 0   0  
pthread-wmm/mix031_rmo.opt_false-unreach-call.i 1 8.1 2.4 400 73 0     0     1 8.3  4.4  280 0   0  
pthread-wmm/mix031_tso.oepc_false-unreach-call.i 1 8.3 2.5 320 67 0     0     1 7.5  4.0  310 0   0  
pthread-wmm/mix031_tso.opt_false-unreach-call.i 1 8.0 2.5 410 64 0     0     1 8.3  4.4  270 0   0  
pthread-wmm/mix032_power.oepc_false-unreach-call.i 1 13   4.2 590 110 0     0     1 32    18    1100 0   0  
pthread-wmm/mix032_power.opt_false-unreach-call.i 1 16   5.9 750 140 0     0     1 8.2  4.3  370 0   0  
pthread-wmm/mix032_pso.oepc_false-unreach-call.i 1 14   4.2 590 130 0     0     1 29    17    1100 0   0  
pthread-wmm/mix032_pso.opt_false-unreach-call.i 1 17   5.9 760 150 0     0     1 8.8  4.6  370 0   0  
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i 1 14   4.4 590 120 0     0     1 35    20    1200 0   0  
pthread-wmm/mix032_rmo.opt_false-unreach-call.i 1 17   5.9 760 130 0     0     1 7.7  4.1  380 0   0  
pthread-wmm/mix032_tso.oepc_false-unreach-call.i 1 13   4.2 600 120 0     0     1 33    20    1000 0   0  
pthread-wmm/mix032_tso.opt_false-unreach-call.i 1 18   6.1 750 130 0     0     1 10    5.4  380 0   0  
pthread-wmm/mix033_power.oepc_false-unreach-call.i 1 14   4.4 580 110 0     0     1 30    17    1200 0   0  
pthread-wmm/mix033_power.opt_false-unreach-call.i 1 18   5.9 760 140 0     0     1 8.1  4.3  370 0   0  
pthread-wmm/mix033_pso.oepc_false-unreach-call.i 1 13   4.2 580 110 0     0     1 27    16    1100 0   0  
pthread-wmm/mix033_pso.opt_false-unreach-call.i 1 18   6.0 770 160 0     0     1 9.0  4.7  380 0   0  
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i 1 13   4.3 570 110 0     0     1 28    17    1100 0   0  
pthread-wmm/mix033_rmo.opt_false-unreach-call.i 1 17   5.9 750 140 0     0     1 10    5.3  370 0   0  
pthread-wmm/mix033_tso.oepc_false-unreach-call.i 1 19   8.1 1000 140 0     0     1 26    14    700 0   0  
pthread-wmm/mix033_tso.opt_false-unreach-call.i 1 18   6.0 750 150 0     0     1 10    5.2  370 0   0  
pthread-wmm/mix034_power.oepc_false-unreach-call.i 1 7.9 2.5 390 69 0     0     1 7.5  4.0  290 0   0  
pthread-wmm/mix034_power.opt_false-unreach-call.i 1 8.0 2.4 320 70 0     0     1 7.6  4.0  300 0   0  
pthread-wmm/mix034_pso.oepc_false-unreach-call.i 1 8.0 2.4 320 75 0     0     1 7.1  3.8  300 0   0  
pthread-wmm/mix034_pso.opt_false-unreach-call.i 1 7.9 2.4 390 66 0     0     1 8.3  4.4  270 0   0  
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i 1 8.1 2.5 380 76 0     0     1 7.4  4.0  300 0   0  
pthread-wmm/mix034_rmo.opt_false-unreach-call.i 1 7.9 2.4 380 71 0     0     1 7.3  3.9  290 0   0  
pthread-wmm/mix034_tso.oepc_false-unreach-call.i 1 8.2 2.5 390 67 0     0     1 7.3  3.9  300 0   0  
pthread-wmm/mix034_tso.opt_false-unreach-call.i 1 7.8 2.4 380 68 0     0     1 6.7  3.5  260 0   0  
pthread-wmm/mix035_power.oepc_false-unreach-call.i 1 13   4.1 540 110 0     0     1 29    17    1100 0   0  
pthread-wmm/mix035_power.opt_false-unreach-call.i 1 29   11   1200 210 0     0     1 13    6.9  440 0   0  
pthread-wmm/mix035_pso.oepc_false-unreach-call.i 1 14   4.1 530 110 0     0     1 32    19    1200 0   0  
pthread-wmm/mix035_pso.opt_false-unreach-call.i 1 18   5.9 780 170 0     0     1 9.1  4.8  350 0   0  
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i 1 13   4.1 550 120 0     0     1 32    18    1100 0   0  
pthread-wmm/mix035_rmo.opt_false-unreach-call.i 1 30   11   1200 220 0     0     1 11    5.9  440 0   0  
pthread-wmm/mix035_tso.oepc_false-unreach-call.i 1 12   3.9 530 100 0     0     1 36    21    1200 0   0  
pthread-wmm/mix035_tso.opt_false-unreach-call.i 1 18   5.7 770 140 0     0     1 8.1  4.3  340 0   0  
pthread-wmm/mix036_power.oepc_false-unreach-call.i 0 24   9.8 1100 180 0     0     0 96    72    2400 0   0  
pthread-wmm/mix036_power.opt_false-unreach-call.i 1 280   140   5100 2400 0     0     1 53    35    2000 0   0  
pthread-wmm/mix036_pso.oepc_false-unreach-call.i 0 30   11   1300 230 0     0     0 96    71    2400 0   0  
pthread-wmm/mix036_pso.opt_false-unreach-call.i 1 170   83   4700 1100 0     0     1 22    11    740 0   0  
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i 0 23   9.7 1100 180 0     0     0 97    72    2400 0   0  
pthread-wmm/mix036_rmo.opt_false-unreach-call.i 1 270   140   5100 1600 0     0     1 47    31    1900 0   0  
pthread-wmm/mix036_tso.oepc_false-unreach-call.i 0 24   10   1100 190 0     0     0 96    73    2400 0   0  
pthread-wmm/mix036_tso.opt_false-unreach-call.i 1 170   83   4700 1300 0     0     1 25    13    680 0   0  
pthread-wmm/mix037_power.oepc_false-unreach-call.i 0 23   9.8 1100 160 0     0     0 95    71    2400 0   0  
pthread-wmm/mix037_power.opt_false-unreach-call.i 1 180   85   4700 1200 0     0     1 22    11    680 0   0  
pthread-wmm/mix037_pso.oepc_false-unreach-call.i 0 24   10   1100 190 0     0     0 96    72    2400 0   0  
pthread-wmm/mix037_pso.opt_false-unreach-call.i 1 170   82   4700 1200 0     0     1 19    10    680 0   0  
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i 0 22   9.6 1000 190 0     0     0 97    73    2400 0   0  
pthread-wmm/mix037_rmo.opt_false-unreach-call.i 1 170   84   4700 1200 0     0     1 24    12    690 0   0  
pthread-wmm/mix037_tso.oepc_false-unreach-call.i 1 120   67   4200 950 0     0     1 40    25    1600 0   0  
pthread-wmm/mix037_tso.opt_false-unreach-call.i 1 180   86   4700 1200 0     0     1 21    11    680 0   0  
pthread-wmm/mix038_power.oepc_false-unreach-call.i 1 12   3.9 530 94 0     0     1 31    18    1200 0   0  
pthread-wmm/mix038_power.opt_false-unreach-call.i 1 17   5.9 770 150 0     0     1 7.4  3.9  340 0   0  
pthread-wmm/mix038_pso.oepc_false-unreach-call.i 1 13   3.9 540 96 0     0     1 30    17    1100 0   0  
pthread-wmm/mix038_pso.opt_false-unreach-call.i 1 17   5.8 760 140 0     0     1 8.2  4.4  350 0   0  
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i 1 14   4.1 560 110 0     0     1 29    17    1100 0   0  
pthread-wmm/mix038_rmo.opt_false-unreach-call.i 1 17   5.7 710 150 0     0     1 8.0  4.2  350 0   0  
pthread-wmm/mix038_tso.oepc_false-unreach-call.i 1 21   8.0 1000 160 0     0     1 14    7.5  480 0   0  
pthread-wmm/mix038_tso.opt_false-unreach-call.i 1 15   5.6 750 140 0     0     1 8.0  4.3  350 0   0  
pthread-wmm/mix039_power.oepc_false-unreach-call.i 0 25   10   1100 180 0     0     0 98    72    2400 0   0  
pthread-wmm/mix039_power.opt_false-unreach-call.i 1 170   82   4700 1200 0     0     1 21    11    700 0   0  
pthread-wmm/mix039_pso.oepc_false-unreach-call.i 0 23   10   1100 180 0     0     0 96    68    2400 0   0  
pthread-wmm/mix039_pso.opt_false-unreach-call.i 1 170   82   4700 1300 0     0     1 24    13    690 0   0  
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i 0 24   9.7 1100 210 0     0     0 98    72    2300 0   0  
pthread-wmm/mix039_rmo.opt_false-unreach-call.i 1 170   83   4700 1200 0     0     1 22    11    680 0   0  
pthread-wmm/mix039_tso.oepc_false-unreach-call.i 0 23   9.8 1100 180 0     0     0 97    77    2200 0   0  
pthread-wmm/mix039_tso.opt_false-unreach-call.i 1 170   84   4700 1300 0     0     1 24    12    700 0   0  
pthread-wmm/mix040_power.oepc_false-unreach-call.i 0 30   12   1300 200 0     0     0 96    71    2400 0   0  
pthread-wmm/mix040_power.opt_false-unreach-call.i 1 170   81   4700 1300 0     0     1 20    10    690 0   0  
pthread-wmm/mix040_pso.oepc_false-unreach-call.i 0 24   9.8 1100 180 0     0     0 97    75    2400 0   0  
pthread-wmm/mix040_pso.opt_false-unreach-call.i 1 170   80   4700 1300 0     0     1 20    11    690 0   0  
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i 0 23   9.3 1100 200 0     0     0 97    72    2400 0   0  
pthread-wmm/mix040_rmo.opt_false-unreach-call.i 1 170   83   4700 1200 0     0     1 23    12    690 0   0  
pthread-wmm/mix040_tso.oepc_false-unreach-call.i 1 240   140   4800 1700 0     0     1 50    33    2000 0   0  
pthread-wmm/mix040_tso.opt_false-unreach-call.i 1 170   81   4700 1300 0     0     1 22    11    700 0   0  
pthread-wmm/mix041_power.oepc_false-unreach-call.i 1 7.9 2.4 380 73 0     0     1 8.6  4.6  290 0   0  
pthread-wmm/mix041_power.opt_false-unreach-call.i 1 7.4 2.3 350 62 0     0     1 7.4  3.9  320 0   0  
pthread-wmm/mix041_pso.oepc_false-unreach-call.i 1 8.0 2.5 320 65 0     0     1 6.8  3.6  290 0   0  
pthread-wmm/mix041_pso.opt_false-unreach-call.i 1 7.4 2.3 350 63 0     0     1 8.8  4.7  310 0   0  
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i 1 8.1 2.4 390 69 0     0     1 7.2  3.8  300 0   0  
pthread-wmm/mix041_rmo.opt_false-unreach-call.i 1 7.2 2.3 340 56 0     0     1 7.8  4.1  310 0   0  
pthread-wmm/mix041_tso.oepc_false-unreach-call.i 1 7.1 2.2 340 63 0     0     1 7.7  4.1  310 0   0  
pthread-wmm/mix041_tso.opt_false-unreach-call.i 1 7.1 2.2 340 59 0     0     1 8.5  4.5  310 0   0  
pthread-wmm/mix042_power.oepc_false-unreach-call.i 1 13   4.0 560 120 0     0     1 29    17    1100 0   0  
pthread-wmm/mix042_power.opt_false-unreach-call.i 1 15   4.6 700 140 0     0     1 11    5.9  430 0   0  
pthread-wmm/mix042_pso.oepc_false-unreach-call.i 1 14   4.0 540 110 0     0     1 33    19    1100 0   0  
pthread-wmm/mix042_pso.opt_false-unreach-call.i 1 14   4.6 700 110 0     0     1 11    5.9  420 0   0  
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i 1 14   4.1 490 110 0     0     1 26    15    1100 0   0  
pthread-wmm/mix042_rmo.opt_false-unreach-call.i 1 14   4.6 700 120 0     0     1 12    6.1  420 0   0  
pthread-wmm/mix042_tso.oepc_false-unreach-call.i 1 13   4.1 530 110 0     0     1 31    18    1200 0   0  
pthread-wmm/mix042_tso.opt_false-unreach-call.i 1 15   4.7 730 130 0     0     1 12    6.2  420 0   0  
pthread-wmm/mix043_power.oepc_false-unreach-call.i 0 23   9.9 1100 180 0     0     0 96    70    2300 0   0  
pthread-wmm/mix043_power.opt_false-unreach-call.i 1 110   52   3800 710 0     0     1 21    11    680 0   0  
pthread-wmm/mix043_pso.oepc_false-unreach-call.i 0 24   9.8 1100 210 0     0     0 96    72    2300 0   0  
pthread-wmm/mix043_pso.opt_false-unreach-call.i 1 110   52   4300 750 0     0     1 21    11    680 0   0  
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i 0 24   9.8 1100 180 0     0     0 96    74    2300 0   0  
pthread-wmm/mix043_rmo.opt_false-unreach-call.i 1 110   54   4200 800 0     0     1 23    13    680 0   0  
pthread-wmm/mix043_tso.oepc_false-unreach-call.i 0 24   9.7 1100 180 0     0     0 96    72    2400 0   0  
pthread-wmm/mix043_tso.opt_false-unreach-call.i 1 110   54   4300 760 0     0     1 25    14    680 0   0  
pthread-wmm/mix044_power.oepc_false-unreach-call.i 0 24   9.9 1100 190 0     0     0 95    72    2400 0   0  
pthread-wmm/mix044_power.opt_false-unreach-call.i 1 100   52   4200 730 0     0     1 25    13    680 0   0  
pthread-wmm/mix044_pso.oepc_false-unreach-call.i 0 24   10   1100 170 0     0     0 97    71    2400 0   0  
pthread-wmm/mix044_pso.opt_false-unreach-call.i 1 100   50   3800 760 0     0     1 24    13    690 0   0  
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i 0 23   11   1000 190 0     0     0 98    73    2400 0   0  
pthread-wmm/mix044_rmo.opt_false-unreach-call.i 1 110   55   3900 700 0     0     1 21    11    670 0   0  
pthread-wmm/mix044_tso.oepc_false-unreach-call.i 1 130   67   4300 1100 0     0     1 43    27    1900 0   0  
pthread-wmm/mix044_tso.opt_false-unreach-call.i 1 100   52   4300 770 0     0     1 22    12    680 0   0  
pthread-wmm/mix045_power.oepc_false-unreach-call.i 1 13   4.0 540 110 0     0     1 27    16    1100 0   0  
pthread-wmm/mix045_power.opt_false-unreach-call.i 1 15   4.7 690 120 0     0     1 14    7.0  420 0   0  
pthread-wmm/mix045_pso.oepc_false-unreach-call.i 1 13   4.0 540 110 0     0     1 28    16    1100 0   0  
pthread-wmm/mix045_pso.opt_false-unreach-call.i 1 14   4.7 700 120 0     0     1 14    7.2  410 0   0  
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i 1 13   3.9 550 100 0     0     1 29    17    1100 0   0  
pthread-wmm/mix045_rmo.opt_false-unreach-call.i 1 15   4.8 690 110 0     0     1 12    6.2  430 0   0  
pthread-wmm/mix045_tso.oepc_false-unreach-call.i 1 15   4.7 700 120 0     0     1 15    7.7  420 0   0  
pthread-wmm/mix045_tso.opt_false-unreach-call.i 1 14   4.6 720 120 0     0     1 12    6.5  420 0   0  
pthread-wmm/mix046_power.oepc_false-unreach-call.i 0 28   11   1200 200 0     0     0 97    73    2400 0   0  
pthread-wmm/mix046_power.opt_false-unreach-call.i 1 110   54   4100 750 0     0     1 21    11    690 0   0  
pthread-wmm/mix046_pso.oepc_false-unreach-call.i 0 24   9.9 1200 210 0     0     0 95    77    2300 0   0  
pthread-wmm/mix046_pso.opt_false-unreach-call.i 1 100   51   4000 720 0     0     1 21    11    690 0   0  
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i 0 23   9.6 1100 200 0     0     0 96    72    2400 0   0  
pthread-wmm/mix046_rmo.opt_false-unreach-call.i 1 100   53   4100 730 0     0     1 21    11    710 0   0  
pthread-wmm/mix046_tso.oepc_false-unreach-call.i 0 30   12   1300 220 0     0     0 97    73    2400 0   0  
pthread-wmm/mix046_tso.opt_false-unreach-call.i 1 110   53   3800 760 0     0     1 26    14    670 0   0  
pthread-wmm/mix047_power.oepc_false-unreach-call.i 0 24   10   1100 170 0     0     0 97    73    2400 0   0  
pthread-wmm/mix047_power.opt_false-unreach-call.i 1 110   54   4300 680 0     0     1 24    13    670 0   0  
pthread-wmm/mix047_pso.oepc_false-unreach-call.i 0 27   10   1100 200 0     0     0 96    74    2300 0   0  
pthread-wmm/mix047_pso.opt_false-unreach-call.i 1 110   52   3800 770 0     0     1 24    13    670 0   0  
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i 0 30   11   1300 220 0     0     0 97    75    2400 0   0  
pthread-wmm/mix047_rmo.opt_false-unreach-call.i 1 110   53   3900 840 0     0     1 26    14    690 0   0  
pthread-wmm/mix047_tso.oepc_false-unreach-call.i 1 110   53   4100 790 0     0     1 27    14    690 0   0  
pthread-wmm/mix047_tso.opt_false-unreach-call.i 1 120   57   4200 790 0     0     1 20    11    680 0   0  
pthread-wmm/mix048_power.oepc_false-unreach-call.i 1 7.8 2.4 370 70 0     0     1 7.0  3.7  290 0   0  
pthread-wmm/mix048_power.opt_false-unreach-call.i 1 7.8 2.4 380 72 0     0     1 8.4  4.5  290 0   0  
pthread-wmm/mix048_pso.oepc_false-unreach-call.i 1 7.8 2.4 370 68 0     0     1 7.1  3.8  290 0   0  
pthread-wmm/mix048_pso.opt_false-unreach-call.i 1 7.9 2.4 370 74 0     0     1 8.6  4.5  290 0   0  
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i 1 7.7 2.4 310 64 0     0     1 8.5  4.5  290 0   0  
pthread-wmm/mix048_rmo.opt_false-unreach-call.i 1 7.8 2.4 380 70 0     0     1 7.5  4.0  290 0   0  
pthread-wmm/mix048_tso.oepc_false-unreach-call.i 1 7.8 2.3 380 73 0     0     1 8.9  4.7  290 0   0  
pthread-wmm/mix048_tso.opt_false-unreach-call.i 1 7.8 2.4 380 61 0     0     1 7.0  3.8  280 0   0  
pthread-wmm/mix049_power.oepc_false-unreach-call.i 1 14   3.9 560 120 0     0     1 25    14    1100 0   0  
pthread-wmm/mix049_power.opt_false-unreach-call.i 1 14   3.9 560 110 0     0     1 32    19    1100 0   0  
pthread-wmm/mix049_pso.oepc_false-unreach-call.i 1 14   3.9 550 120 0     0     1 27    16    1100 0   0  
pthread-wmm/mix049_pso.opt_false-unreach-call.i 1 12   3.7 540 100 0     0     1 34    18    1100 0   0  
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i 1 13   3.9 550 110 0     0     1 26    15    1100 0   0  
pthread-wmm/mix049_rmo.opt_false-unreach-call.i 1 13   3.8 540 110 0     0     1 33    19    1100 0   0  
pthread-wmm/mix049_tso.oepc_false-unreach-call.i 1 12   3.7 530 100 0     0     1 34    19    1200 0   0  
pthread-wmm/mix049_tso.opt_false-unreach-call.i 1 14   3.8 540 100 0     0     1 30    17    1000 0   0  
pthread-wmm/mix050_power.oepc_false-unreach-call.i 0 24   9.4 1100 180 0     0     0 98    73    2300 0   0  
pthread-wmm/mix050_power.opt_false-unreach-call.i 0 24   9.5 1100 180 0     0     0 95    71    2400 0   0  
pthread-wmm/mix050_pso.oepc_false-unreach-call.i 0 22   9.1 1100 180 0     0     0 95    71    2400 0   0  
pthread-wmm/mix050_pso.opt_false-unreach-call.i 0 23   9.6 1200 170 0     0     0 98    73    2400 0   0  
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i 0 25   9.9 1100 190 0     0     0 95    72    2300 0   0  
pthread-wmm/mix050_rmo.opt_false-unreach-call.i 0 22   9.7 1100 160 0     0     0 95    70    2400 0   0  
pthread-wmm/mix050_tso.oepc_false-unreach-call.i 0 24   9.6 1100 180 0     0     0 94    77    2200 0   0  
pthread-wmm/mix050_tso.opt_false-unreach-call.i 0 24   9.8 1100 170 0     0     0 97    76    2300 0   0  
pthread-wmm/mix051_power.oepc_false-unreach-call.i 0 23   9.5 1100 170 0     0     0 98    74    2400 0   0  
pthread-wmm/mix051_power.opt_false-unreach-call.i 0 22   9.3 1100 160 0     0     0 96    73    2300 0   0  
pthread-wmm/mix051_pso.oepc_false-unreach-call.i 0 22   9.4 1100 170 0     0     0 97    72    2400 0   0  
pthread-wmm/mix051_pso.opt_false-unreach-call.i 1 150   72   4600 1300 0     0     1 13    6.9  470 0   0  
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i 0 21   9.2 1100 160 0     0     0 97    72    2400 0   0  
pthread-wmm/mix051_rmo.opt_false-unreach-call.i 1 150   70   4600 1100 0     0     1 15    7.9  480 0   0  
pthread-wmm/mix051_tso.oepc_false-unreach-call.i 1 110   58   4000 870 0     0     1 47    28    1600 0   0  
pthread-wmm/mix051_tso.opt_false-unreach-call.i 1 150   73   4600 1200 0     0     1 17    8.6  490 0   0  
pthread-wmm/mix052_power.oepc_false-unreach-call.i 1 13   3.8 530 100 0     0     1 28    16    1100 0   0  
pthread-wmm/mix052_power.opt_false-unreach-call.i 1 13   3.8 540 100 0     0     1 25    14    1100 0   0  
pthread-wmm/mix052_pso.oepc_false-unreach-call.i 1 13   3.8 540 110 0     0     1 33    18    1100 0   0  
pthread-wmm/mix052_pso.opt_false-unreach-call.i 1 15   5.1 760 120 0     0     1 7.2  3.9  280 0   0  
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i 1 12   3.8 520 100 0     0     1 29    17    1100 0   0  
pthread-wmm/mix052_rmo.opt_false-unreach-call.i 1 17   5.3 780 130 0     0     1 7.3  3.9  270 0   0  
pthread-wmm/mix052_tso.oepc_false-unreach-call.i 1 18   7.1 860 150 0     0     1 12    6.5  470 0   0  
pthread-wmm/mix052_tso.opt_false-unreach-call.i 1 16   5.1 760 140 0     0     1 7.8  4.1  280 0   0  
pthread-wmm/mix053_power.oepc_false-unreach-call.i 0 23   9.8 1100 170 0     0     0 98    75    2400 0   0  
pthread-wmm/mix053_power.opt_false-unreach-call.i 1 150   71   4700 1200 0     0     1 13    6.8  480 0   0  
pthread-wmm/mix053_pso.oepc_false-unreach-call.i 0 24   9.6 1100 170 0     0     0 96    72    2300 0   0  
pthread-wmm/mix053_pso.opt_false-unreach-call.i 1 150   72   4700 1300 0     0     1 14    7.3  490 0   0  
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i 0 23   9.4 1100 180 0     0     0 98    75    2400 0   0  
pthread-wmm/mix053_rmo.opt_false-unreach-call.i 1 150   72   4700 1100 0     0     1 13    6.8  480 0   0  
pthread-wmm/mix053_tso.oepc_false-unreach-call.i 1 210   130   4700 1300 0     0     1 46    30    1800 0   0  
pthread-wmm/mix053_tso.opt_false-unreach-call.i 1 150   71   4700 1000 0     0     1 15    7.7  490 0   0  
pthread-wmm/mix054_power.oepc_false-unreach-call.i 1 7.7 2.4 380 67 0     0     1 7.3  3.9  280 0   0  
pthread-wmm/mix054_power.opt_false-unreach-call.i 1 7.7 2.3 370 64 0     0     1 7.8  4.2  290 0   0  
pthread-wmm/mix054_pso.oepc_false-unreach-call.i 1 7.8 2.3 370 61 0     0     1 7.4  3.9  290 0   0  
pthread-wmm/mix054_pso.opt_false-unreach-call.i 1 7.0 2.2 340 64 0     0     1 8.1  4.3  300 0   0  
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i 1 8.0 2.4 320 67 0     0     1 7.4  3.9  290 0   0  
pthread-wmm/mix054_rmo.opt_false-unreach-call.i 1 7.2 2.3 330 63 0     0     1 8.8  4.7  310 0   0  
pthread-wmm/mix054_tso.oepc_false-unreach-call.i 1 7.1 2.2 330 63 0     0     1 9.4  5.0  310 0   0  
pthread-wmm/mix054_tso.opt_false-unreach-call.i 1 7.5 2.3 340 64 0     0     1 9.3  5.0  300 0   0  
pthread-wmm/mix055_power.oepc_false-unreach-call.i 0 23   9.2 1100 190 0     0     0 98    75    2300 0   0  
pthread-wmm/mix055_power.opt_false-unreach-call.i 1 100   49   4000 730 0     0     1 14    7.5  470 0   0  
pthread-wmm/mix055_pso.oepc_false-unreach-call.i 0 22   9.6 1100 160 0     0     0 96    78    2200 0   0  
pthread-wmm/mix055_pso.opt_false-unreach-call.i 1 97   47   3700 720 0     0     1 14    7.1  470 0   0  
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i 0 24   9.6 1100 180 0     0     0 96    72    2400 0   0  
pthread-wmm/mix055_rmo.opt_false-unreach-call.i 1 100   48   3700 660 0     0     1 17    9.0  480 0   0  
pthread-wmm/mix055_tso.oepc_false-unreach-call.i 1 110   59   4100 690 0     0     1 44    29    1700 0   0  
pthread-wmm/mix055_tso.opt_false-unreach-call.i 1 110   49   3900 830 0     0     1 18    9.2  470 0   0  
pthread-wmm/mix056_power.oepc_false-unreach-call.i 1 12   3.8 560 100 0     0     1 29    17    1100 0   0  
pthread-wmm/mix056_power.opt_false-unreach-call.i 1 14   4.6 700 130 0     0     1 9.5  5.0  430 0   0  
pthread-wmm/mix056_pso.oepc_false-unreach-call.i 1 13   3.9 540 120 0     0     1 26    15    1100 0   0  
pthread-wmm/mix056_pso.opt_false-unreach-call.i 1 15   4.4 700 120 0     0     1 11    5.5  430 0   0  
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i 1 13   3.8 540 98 0     0     1 30    17    1100 0   0  
pthread-wmm/mix056_rmo.opt_false-unreach-call.i 1 14   4.5 700 110 0     0     1 9.1  4.7  430 0   0  
pthread-wmm/mix056_tso.oepc_false-unreach-call.i 1 14   4.4 690 120 0     0     1 9.8  5.2  420 0   0  
pthread-wmm/mix056_tso.opt_false-unreach-call.i 1 15   4.5 700 120 0     0     1 9.5  5.0  430 0   0  
pthread-wmm/mix057_power.oepc_false-unreach-call.i 0 22   9.5 1100 170 0     0     0 96    71    2400 0   0  
pthread-wmm/mix057_power.opt_false-unreach-call.i 1 110   49   4000 780 0     0     1 18    9.4  480 0   0  
pthread-wmm/mix057_pso.oepc_false-unreach-call.i 0 22   9.4 1100 160 0     0     0 94    75    2200 0   0  
pthread-wmm/mix057_pso.opt_false-unreach-call.i 1 97   49   3500 710 0     0     1 16    8.3  500 0   0  
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i 0 22   9.1 1100 200 0     0     0 97    73    2400 0   0  
pthread-wmm/mix057_rmo.opt_false-unreach-call.i 1 100   48   3900 810 0     0     1 18    9.2  520 0   0  
pthread-wmm/mix057_tso.oepc_false-unreach-call.i 1 100   49   4000 670 0     0     1 19    9.5  500 0   0  
pthread-wmm/mix057_tso.opt_false-unreach-call.i 1 97   47   4000 740 0     0     1 17    8.6  500 0   0  
pthread-wmm/podwr000_power.oepc_false-unreach-call.i 1 7.8 2.4 370 63 0     0     1 8.0  4.2  300 0   0  
pthread-wmm/podwr000_power.opt_false-unreach-call.i 1 7.8 2.4 380 66 0     0     1 8.1  4.3  290 0   0  
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i 1 7.7 2.4 370 73 0     0     1 6.9  3.7  280 0   0  
pthread-wmm/podwr000_pso.opt_false-unreach-call.i 1 7.8 2.4 370 61 0     0     1 8.7  4.6  290 0   0  
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i 1 8.2 2.5 380 71 0     0     1 7.5  3.9  290 0   0  
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i 1 7.9 2.4 370 65 0     0     1 8.9  4.7  280 0   0  
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i 1 8.0 2.5 370 68 0     0     1 6.9  3.7  290 0   0  
pthread-wmm/podwr000_tso.opt_false-unreach-call.i 1 8.0 2.4 380 71 0     0     1 7.2  3.8  280 0   0  
pthread-wmm/podwr001_power.oepc_false-unreach-call.i 1 13   3.9 550 110 0     0     1 30    17    1100 0   0  
pthread-wmm/podwr001_power.opt_false-unreach-call.i 1 12   3.7 540 100 0     0     1 28    16    1100 0   0  
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i 1 12   3.7 540 100 0     0     1 28    16    1100 0   0  
pthread-wmm/podwr001_pso.opt_false-unreach-call.i 1 12   3.7 530 100 0     0     1 31    18    1200 0   0  
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i 1 13   3.9 540 120 0     0     1 28    16    1000 0   0  
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i 1 12   3.8 530 100 0     0     1 29    17    1100 0   0  
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i 1 14   4.1 490 120 0     0     1 28    16    1100 0   0  
pthread-wmm/podwr001_tso.opt_false-unreach-call.i 1 13   3.8 550 110 0     0     1 30    17    1100 0   0  
pthread-wmm/rfi000_power.oepc_false-unreach-call.i 1 13   3.8 540 110 0     0     1 9.0  4.7  370 0   0  
pthread-wmm/rfi000_power.opt_false-unreach-call.i 1 8.8 2.6 470 72 0     0     1 8.9  4.7  310 0   0  
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i 1 13   3.8 540 100 0     0     1 10    5.5  370 0   0  
pthread-wmm/rfi000_pso.opt_false-unreach-call.i 1 8.6 2.6 460 81 0     0     1 9.0  4.8  300 0   0  
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i 1 13   3.8 530 110 0     0     1 8.4  4.4  370 0   0  
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i 1 8.6 2.6 450 71 0     0     1 8.6  4.6  310 0   0  
pthread-wmm/rfi001_power.oepc_false-unreach-call.i 1 8.1 2.5 380 76 0     0     1 7.7  4.1  300 0   0  
pthread-wmm/rfi001_power.opt_false-unreach-call.i 1 7.1 2.3 340 67 0     0     1 7.7  4.1  310 0   0  
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i 1 7.8 2.4 390 69 0     0     1 8.3  4.4  290 0   0  
pthread-wmm/rfi001_pso.opt_false-unreach-call.i 1 7.2 2.3 340 65 0     0     1 7.5  4.0  310 0   0  
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i 1 7.8 2.4 380 65 0     0     1 7.2  3.9  290 0   0  
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i 1 7.1 2.3 310 62 0     0     1 7.6  4.1  310 0   0  
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i 1 7.3 2.3 340 67 0     0     1 8.5  4.5  310 0   0  
pthread-wmm/rfi001_tso.opt_false-unreach-call.i 1 7.3 2.2 350 61 0     0     1 7.0  3.7  320 0   0  
pthread-wmm/rfi003_power.oepc_false-unreach-call.i 1 9.0 2.7 460 79 0     0     1 7.3  3.9  320 0   0  
pthread-wmm/rfi003_power.opt_false-unreach-call.i 1 9.0 2.7 460 73 0     0     1 7.8  4.1  320 0   0  
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i 1 9.0 2.7 460 80 0     0     1 7.9  4.1  320 0   0  
pthread-wmm/rfi003_pso.opt_false-unreach-call.i 1 9.0 2.6 480 78 0     0     1 7.8  4.1  320 0   0  
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i 1 9.3 2.7 470 78 0     0     1 8.2  4.3  320 0   0  
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i 1 9.4 2.8 470 75 0     0     1 7.8  4.1  330 0   0  
pthread-wmm/rfi004_power.oepc_false-unreach-call.i 1 8.2 2.5 390 76 0     0     1 7.2  3.8  270 0   0  
pthread-wmm/rfi004_power.opt_false-unreach-call.i 1 8.0 2.4 380 65 0     0     1 6.7  3.6  280 0   0  
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i 1 7.9 2.4 390 69 0     0     1 7.5  4.0  270 0   0  
pthread-wmm/rfi004_pso.opt_false-unreach-call.i 1 7.7 2.4 390 72 0     0     1 8.3  4.4  270 0   0  
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i 1 8.4 2.5 390 67 0     0     1 7.5  4.0  270 0   0  
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i 1 8.2 2.5 390 68 0     0     1 7.3  3.8  270 0   0  
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i 1 7.7 2.4 390 64 0     0     1 7.7  4.1  270 0   0  
pthread-wmm/rfi004_tso.opt_false-unreach-call.i 1 7.9 2.4 320 74 0     0     1 7.0  3.7  280 0   0  
pthread-wmm/rfi005_power.oepc_false-unreach-call.i 1 6.1 1.9 310 49 0     0     1 8.0  4.3  270 0   0  
pthread-wmm/rfi005_power.opt_false-unreach-call.i 1 5.9 1.9 300 47 0     0     1 6.6  3.6  270 0   0  
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i 1 6.0 2.0 310 47 0     0     1 6.8  3.6  270 0   0  
pthread-wmm/rfi005_pso.opt_false-unreach-call.i 1 5.9 1.9 310 51 0     0     1 7.2  3.8  270 0   0  
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i 1 6.1 1.9 300 50 0     0     1 6.9  3.7  270 0   0  
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i 1 6.0 1.9 300 55 0     0     1 6.3  3.4  270 0   0  
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i 1 5.8 1.9 300 50 0     0     1 7.9  4.2  270 0   0  
pthread-wmm/rfi005_tso.opt_false-unreach-call.i 1 5.9 1.9 300 51 0     0     1 6.5  3.5  270 0   0  
pthread-wmm/rfi006_power.oepc_false-unreach-call.i 1 6.4 2.0 310 59 0     0     1 7.6  4.0  270 0   0  
pthread-wmm/rfi006_power.opt_false-unreach-call.i 1 6.6 2.0 310 56 0     0     1 7.8  4.1  270 0   0  
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i 1 41   21   1800 270 0     0     1 16    8.2  490 0   0  
pthread-wmm/rfi006_pso.opt_false-unreach-call.i 1 44   21   1900 330 0     0     1 14    7.2  480 0   0  
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i 1 6.8 2.2 300 56 0     0     1 7.8  4.2  270 0   0  
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i 1 6.4 2.1 310 56 0     0     1 7.5  4.0  270 0   0  
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i 1 42   21   1900 310 0     0     1 16    8.3  480 0   0  
pthread-wmm/rfi006_tso.opt_false-unreach-call.i 1 43   21   1800 290 0     0     1 15    7.8  480 0   0  
pthread-wmm/rfi007_power.oepc_false-unreach-call.i 1 8.4 2.5 460 72 0     0     1 8.1  4.3  290 0   0  
pthread-wmm/rfi007_power.opt_false-unreach-call.i 1 8.6 2.6 460 66 0     0     1 8.0  4.3  290 0   0  
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i 1 8.3 2.5 460 78 0     0     1 8.1  4.3  290 0   0  
pthread-wmm/rfi007_pso.opt_false-unreach-call.i 1 8.3 2.5 320 79 0     0     1 8.8  4.6  290 0   0  
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i 1 9.0 2.7 460 75 0     0     1 7.0  3.7  290 0   0  
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i 1 8.9 2.6 470 79 0     0     1 8.7  4.6  290 0   0  
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i 1 9.0 2.6 470 80 0     0     1 9.0  4.8  340 0   0  
pthread-wmm/rfi007_tso.opt_false-unreach-call.i 1 9.0 2.7 470 75 0     0     1 8.9  4.7  340 0   0  
pthread-wmm/rfi008_power.oepc_false-unreach-call.i 1 11   3.0 470 96 0     0     1 8.8  4.7  310 0   0  
pthread-wmm/rfi008_power.opt_false-unreach-call.i 1 9.6 2.7 490 76 0     0     1 7.5  4.0  270 0   0  
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i 1 11   3.0 470 90 0     0     1 8.3  4.4  310 0   0  
pthread-wmm/rfi008_pso.opt_false-unreach-call.i 1 9.3 2.7 480 77 0     0     1 7.3  3.9  270 0   0  
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i 1 10   2.9 470 92 0     0     1 9.9  5.2  310 0   0  
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i 1 9.5 2.8 470 82 0     0     1 7.3  3.8  290 0   0  
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i 1 10   3.1 470 96 0     0     1 7.7  4.1  310 0   0  
pthread-wmm/rfi008_tso.opt_false-unreach-call.i 1 9.6 2.7 480 89 0     0     1 7.2  3.8  270 0   0  
pthread-wmm/rfi009_power.oepc_false-unreach-call.i 1 6.5 2.1 310 57 0     0     1 7.2  3.8  270 0   0  
pthread-wmm/rfi009_power.opt_false-unreach-call.i 1 37   17   1800 250 0     0     1 14    7.5  490 0   0  
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i 1 39   18   1800 320 0     0     1 14    7.4  490 0   0  
pthread-wmm/rfi009_pso.opt_false-unreach-call.i 1 37   17   1700 340 0     0     1 14    7.1  490 0   0  
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i 1 6.3 2.0 300 53 0     0     1 7.2  3.9  270 0   0  
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i 1 39   18   1800 250 0     0     1 13    6.6  500 0   0  
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i 1 35   16   1400 270 0     0     1 15    7.9  490 0   0  
pthread-wmm/rfi009_tso.opt_false-unreach-call.i 1 40   18   1700 270 0     0     1 15    7.9  500 0   0  
pthread-wmm/rfi010_power.oepc_false-unreach-call.i 1 9.4 2.7 470 78 0     0     1 7.0  3.7  280 0   0  
pthread-wmm/rfi010_power.opt_false-unreach-call.i 1 9.3 2.7 480 78 0     0     1 7.0  3.8  270 0   0  
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i 1 9.4 2.7 480 79 0     0     1 7.4  3.9  280 0   0  
pthread-wmm/rfi010_pso.opt_false-unreach-call.i 1 9.5 2.7 480 88 0     0     1 7.8  4.1  270 0   0  
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i 1 9.1 2.7 360 82 0     0     1 9.4  4.9  290 0   0  
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i 1 9.2 2.7 480 73 0     0     1 8.0  4.3  270 0   0  
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i 1 9.1 2.7 470 74 0     0     1 7.4  3.9  280 0   0  
pthread-wmm/rfi010_tso.opt_false-unreach-call.i 1 10   2.9 480 86 0     0     1 8.2  4.3  280 0   0  
pthread-wmm/safe000_power.oepc_false-unreach-call.i 1 6.8 2.1 310 61 0     0     1 8.8  4.7  280 0   0  
pthread-wmm/safe000_power.opt_false-unreach-call.i 1 21   10   920 180 0     0     1 7.0  3.7  270 0   0  
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i 1 6.8 2.1 310 59 0     0     1 7.0  3.7  270 0   0  
pthread-wmm/safe000_rmo.opt_false-unreach-call.i 1 6.7 2.1 310 61 0     0     1 8.7  4.6  270 0   0  
pthread-wmm/safe001_power.oepc_false-unreach-call.i 1 6.8 2.2 310 58 0     0     1 7.1  3.8  280 0   0  
pthread-wmm/safe001_power.opt_false-unreach-call.i 1 35   15   1600 270 0     0     1 14    7.1  470 0   0  
pthread-wmm/safe001_pso.oepc_false-unreach-call.i 1 33   14   1500 250 0     0     1 12    6.4  480 0   0  
pthread-wmm/safe001_pso.opt_false-unreach-call.i 1 28   13   1600 190 0     0     1 14    7.1  520 0   0  
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i 1 6.6 2.1 310 55 0     0     1 6.6  3.5  270 0   0  
pthread-wmm/safe001_rmo.opt_false-unreach-call.i 1 33   14   1600 240 0     0     1 13    6.7  470 0   0  
pthread-wmm/safe002_power.oepc_false-unreach-call.i 1 6.7 2.2 310 63 0     0     1 7.1  3.8  280 0   0  
pthread-wmm/safe002_power.opt_false-unreach-call.i 1 34   14   1400 270 0     0     1 12    6.5  480 0   0  
pthread-wmm/safe002_pso.oepc_false-unreach-call.i 1 34   14   1500 240 0     0     1 11    6.0  480 0   0  
pthread-wmm/safe002_pso.opt_false-unreach-call.i 1 33   14   1400 270 0     0     1 14    7.3  470 0   0  
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i 1 7.0 2.2 310 58 0     0     1 9.2  4.9  270 0   0  
pthread-wmm/safe002_rmo.opt_false-unreach-call.i 1 33   13   1400 250 0     0     1 13    6.6  490 0   0  
pthread-wmm/safe003_power.oepc_false-unreach-call.i 1 18   7.8 980 140 0     0     1 47    31    1700 0   0  
pthread-wmm/safe003_power.opt_false-unreach-call.i 1 21   11   950 180 0     0     1 8.5  4.5  270 0   0  
pthread-wmm/safe003_pso.oepc_false-unreach-call.i 1 18   7.6 810 140 0     0     1 54    36    1800 0   0  
pthread-wmm/safe003_pso.opt_false-unreach-call.i 1 19   8.1 1000 150 0     0     1 58    39    1700 0   0  
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i 1 19   8.0 1000 150 0     0     1 49    32    1500 0   0  
pthread-wmm/safe003_rmo.opt_false-unreach-call.i 1 20   8.5 970 150 0     0     1 46    30    1600 0   0  
pthread-wmm/safe004_power.oepc_false-unreach-call.i 1 19   8.2 970 170 0     0     1 49    31    1600 0   0  
pthread-wmm/safe004_power.opt_false-unreach-call.i 1 36   16   1700 270 0     0     1 13    6.9  470 0   0  
pthread-wmm/safe004_pso.oepc_false-unreach-call.i 1 19   8.0 990 160 0     0     1 52    34    1700 0   0  
pthread-wmm/safe004_pso.opt_false-unreach-call.i 1 36   16   1700 270 0     0     1 13    6.7  480 0   0  
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i 1 20   8.5 990 150 0     0     1 56    36    1600 0   0  
pthread-wmm/safe004_rmo.opt_false-unreach-call.i 1 35   16   1800 280 0     0     1 17    8.7  480 0   0  
pthread-wmm/safe005_power.oepc_false-unreach-call.i 1 39   17   1700 300 0     0     1 15    7.9  490 0   0  
pthread-wmm/safe005_power.opt_false-unreach-call.i 1 39   16   1700 290 0     0     1 15    7.7  490 0   0  
pthread-wmm/safe005_pso.oepc_false-unreach-call.i 1 37   16   1700 300 0     0     1 13    6.8  490 0   0  
pthread-wmm/safe005_pso.opt_false-unreach-call.i 1 38   16   1500 280 0     0     1 13    6.9  490 0   0  
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i 1 37   16   1600 300 0     0     1 13    6.8  490 0   0  
pthread-wmm/safe005_rmo.opt_false-unreach-call.i 1 37   16   1600 320 0     0     1 13    6.5  480 0   0  
pthread-wmm/safe006_power.oepc_false-unreach-call.i 1 6.0 1.9 300 50 0     0     1 6.2  3.4  270 0   0  
pthread-wmm/safe006_power.opt_false-unreach-call.i 1 9.0 2.8 480 69 0     0     1 6.8  3.6  270 0   0  
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i 1 5.8 1.9 300 46 0     0     1 6.3  3.4  260 0   0  
pthread-wmm/safe006_rmo.opt_false-unreach-call.i 1 5.9 1.9 300 53 0     0     1 6.3  3.4  260 0   0  
pthread-wmm/safe007_power.oepc_false-unreach-call.i 1 6.3 2.0 300 56 0     0     1 8.8  4.7  270 0   0  
pthread-wmm/safe007_power.opt_false-unreach-call.i 1 66   50   2300 440 0     0     1 9.0  4.7  350 0   0  
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i 1 5.8 1.9 300 57 0     0     1 7.1  3.8  260 0   0  
pthread-wmm/safe007_rmo.opt_false-unreach-call.i 1 5.8 1.9 300 48 0     0     1 7.0  3.7  270 0   0  
pthread-wmm/safe008_power.oepc_false-unreach-call.i 1 11   3.2 480 94 0     0     1 26    13    690 0   0  
pthread-wmm/safe008_power.opt_false-unreach-call.i 1 18   7.9 730 120 0     0     1 6.7  3.6  280 0   0  
pthread-wmm/safe008_pso.oepc_false-unreach-call.i 1 11   3.2 480 92 0     0     1 23    12    700 0   0  
pthread-wmm/safe008_pso.opt_false-unreach-call.i 1 11   3.3 490 98 0     0     1 24    13    710 0   0  
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i 1 11   3.2 470 96 0     0     1 22    12    700 0   0  
pthread-wmm/safe008_rmo.opt_false-unreach-call.i 1 11   3.4 480 95 0     0     1 20    11    690 0   0  
pthread-wmm/safe009_power.oepc_false-unreach-call.i 1 6.6 2.0 310 57 0     0     1 7.0  3.8  270 0   0  
pthread-wmm/safe009_power.opt_false-unreach-call.i 1 18   7.8 730 130 0     0     1 6.8  3.6  270 0   0  
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i 1 6.3 2.1 300 58 0     0     1 8.6  4.5  280 0   0  
pthread-wmm/safe009_rmo.opt_false-unreach-call.i 1 16   6.7 730 120 0     0     1 7.1  3.8  270 0   0  
pthread-wmm/safe010_power.oepc_false-unreach-call.i 1 6.3 2.0 300 58 0     0     1 8.0  4.2  320 0   0  
pthread-wmm/safe010_power.opt_false-unreach-call.i 1 6.4 2.1 300 55 0     .029 1 9.0  4.8  320 0   0  
pthread-wmm/safe010_pso.oepc_false-unreach-call.i 1 6.6 2.1 300 54 0     0     1 7.8  4.2  320 0   0  
pthread-wmm/safe010_pso.opt_false-unreach-call.i 1 6.4 2.1 300 58 0     0     1 8.0  4.2  320 0   0  
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i 1 6.6 2.1 300 53 0     0     1 8.1  4.3  330 0   0  
pthread-wmm/safe010_rmo.opt_false-unreach-call.i 1 6.5 2.0 300 57 0     0     1 7.8  4.2  330 0   0  
pthread-wmm/safe011_power.oepc_false-unreach-call.i 1 11   3.2 480 95 0     0     1 22    12    680 0   0  
pthread-wmm/safe011_power.opt_false-unreach-call.i 1 19   7.5 990 160 0     0     1 12    6.5  480 0   0  
pthread-wmm/safe011_pso.oepc_false-unreach-call.i 1 11   3.3 480 86 0     0     1 20    10    700 0   0  
pthread-wmm/safe011_pso.opt_false-unreach-call.i 1 19   7.2 910 140 0     0     1 12    6.3  490 0   0  
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i 1 11   3.1 480 91 0     0     1 23    12    690 0   0  
pthread-wmm/safe011_rmo.opt_false-unreach-call.i 1 11   3.3 430 93 0     0     1 23    12    710 0   0  
pthread-wmm/safe012_power.oepc_false-unreach-call.i 1 6.5 2.1 310 57 0     0     1 6.9  3.7  270 0   0  
pthread-wmm/safe012_power.opt_false-unreach-call.i 1 73   56   2500 460 0     0     1 9.8  5.1  360 0   0  
pthread-wmm/safe012_pso.oepc_false-unreach-call.i 1 27   9.9 1200 210 0     0     1 12    6.3  440 0   0  
pthread-wmm/safe012_pso.opt_false-unreach-call.i 1 26   9.5 1200 210 0     0     1 10    5.5  430 0   0  
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i 1 5.9 1.9 300 46 0     0     1 7.8  4.2  270 0   0  
pthread-wmm/safe012_rmo.opt_false-unreach-call.i 1 28   9.7 1200 200 0     0     1 11    5.8  430 0   0  
pthread-wmm/safe013_power.oepc_false-unreach-call.i 1 27   9.5 1200 240 0     0     1 12    6.0  440 0   0  
pthread-wmm/safe013_power.opt_false-unreach-call.i 1 27   9.5 1200 240 0     0     1 12    6.0  440 0   0  
pthread-wmm/safe013_pso.oepc_false-unreach-call.i 1 19   7.7 1100 150 0     0     1 13    6.5  440 0   0  
pthread-wmm/safe013_pso.opt_false-unreach-call.i 1 27   9.4 1100 180 0     0     1 12    6.1  480 0   0  
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i 1 27   9.5 1100 200 0     0     1 12    6.1  440 0   0  
pthread-wmm/safe013_rmo.opt_false-unreach-call.i 1 27   9.4 1100 190 0     0     1 13    7.0  440 0   0  
pthread-wmm/safe014_power.oepc_false-unreach-call.i 1 6.2 2.0 310 58 0     0     1 7.0  3.7  270 0   0  
pthread-wmm/safe014_power.opt_false-unreach-call.i 1 6.4 2.0 310 56 0     0     1 8.6  4.5  270 0   0  
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i 1 5.9 2.0 300 56 0     0     1 7.1  3.8  270 0   0  
pthread-wmm/safe014_rmo.opt_false-unreach-call.i 1 51   31   2000 330 0     0     1 6.7  3.6  270 0   0  
pthread-wmm/safe015_power.oepc_false-unreach-call.i 1 6.1 2.0 310 56 0     0     1 7.0  3.8  280 0   0  
pthread-wmm/safe015_power.opt_false-unreach-call.i 1 54   32   1900 340 0     0     1 7.6  4.0  280 0   0  
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i 1 51   30   1900 340 0     0     1 6.6  3.5  270 0   0  
pthread-wmm/safe015_rmo.opt_false-unreach-call.i 1 54   32   1900 320 0     0     1 7.1  3.8  270 0   0  
pthread-wmm/safe016_power.oepc_false-unreach-call.i 1 6.7 2.1 310 53 0     .029 1 7.3  3.9  280 0   0  
pthread-wmm/safe016_power.opt_false-unreach-call.i 1 550   420   4700 3000 0     0     1 6.7  3.6  270 0   0  
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i 1 6.4 2.0 310 57 0     0     1 7.3  3.9  270 0   0  
pthread-wmm/safe016_rmo.opt_false-unreach-call.i 1 500   400   4900 2800 0     0     1 6.7  3.6  270 0   0  
pthread-wmm/safe017_power.oepc_false-unreach-call.i 1 11   3.2 480 93 0     0     1 20    10    700 0   0  
pthread-wmm/safe017_power.opt_false-unreach-call.i 1 11   3.1 480 86 0     0     1 24    13    690 0   0  
pthread-wmm/safe017_pso.oepc_false-unreach-call.i 1 11   3.2 480 95 0     0     1 21    11    710 0   0  
pthread-wmm/safe017_pso.opt_false-unreach-call.i 1 11   3.2 490 94 0     0     1 24    12    690 0   0  
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i 1 11   3.2 440 85 0     0     1 25    13    710 0   0  
pthread-wmm/safe017_rmo.opt_false-unreach-call.i 1 11   3.3 480 110 0     0     1 22    12    700 0   0  
pthread-wmm/safe018_power.oepc_false-unreach-call.i 1 6.2 2.1 300 53 0     0     1 6.6  3.5  270 0   0  
pthread-wmm/safe018_power.opt_false-unreach-call.i 1 60   44   2100 430 0     0     1 8.2  4.4  270 0   0  
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i 1 5.7 1.9 300 48 0     0     1 7.6  4.1  260 0   0  
pthread-wmm/safe018_rmo.opt_false-unreach-call.i 1 34   17   1400 230 0     0     1 6.5  3.4  270 0   0  
pthread-wmm/safe019_power.oepc_false-unreach-call.i 1 6.5 2.0 300 52 0     0     1 7.6  4.1  280 0   0  
pthread-wmm/safe019_power.opt_false-unreach-call.i 1 770   650   4600 4900 0     0     1 7.1  3.8  270 0   0  
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i 1 6.3 2.0 310 58 0     0     1 7.0  3.7  270 0   0  
pthread-wmm/safe019_rmo.opt_false-unreach-call.i 1 260   190   4500 1400 0     0     1 6.7  3.6  270 0   0  
pthread-wmm/safe020_power.oepc_false-unreach-call.i 1 55   40   2200 470 0     0     1 8.1  4.3  290 0   0  
pthread-wmm/safe020_power.opt_false-unreach-call.i 1 67   47   2300 410 0     0     1 7.0  3.7  270 0   0  
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i 1 36   19   1500 250 0     0     1 7.6  4.0  270 0   0  
pthread-wmm/safe020_rmo.opt_false-unreach-call.i 1 37   19   1600 260 0     0     1 6.6  3.5  270 0   0  
pthread-wmm/safe021_power.oepc_false-unreach-call.i 1 13   3.8 550 110 0     0     1 29    17    1100 0   0  
pthread-wmm/safe021_power.opt_false-unreach-call.i 1 22   7.8 1000 150 0     0     1 13    6.9  480 0   0  
pthread-wmm/safe021_pso.oepc_false-unreach-call.i 1 13   3.9 540 98 0     0     1 32    18    1100 0   0  
pthread-wmm/safe021_pso.opt_false-unreach-call.i 1 19   7.4 1000 180 0     0     1 12    6.4  480 0   0  
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i 1 14   3.9 540 110 0     0     1 33    18    1100 0   0  
pthread-wmm/safe021_rmo.opt_false-unreach-call.i 1 13   3.9 550 110 0     0     1 30    17    1100 0   0  
pthread-wmm/safe022_power.oepc_false-unreach-call.i 1 7.9 2.4 380 66 0     0     1 7.1  3.8  290 0   0  
pthread-wmm/safe022_power.opt_false-unreach-call.i 1 7.7 2.3 370 71 0     0     1 7.9  4.2  290 0   0  
pthread-wmm/safe022_pso.oepc_false-unreach-call.i 1 7.9 2.4 370 68 0     0     1 7.5  4.0  290 0   0  
pthread-wmm/safe022_pso.opt_false-unreach-call.i 1 7.9 2.4 370 66 0     0     1 7.1  3.8  290 0   0  
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i 1 7.8 2.3 370 61 0     0     1 7.9  4.2  280 0   0  
pthread-wmm/safe022_rmo.opt_false-unreach-call.i 1 7.7 2.4 370 65 0     0     1 7.4  4.0  290 0   0  
pthread-wmm/safe023_power.oepc_false-unreach-call.i 1 110   71   4100 940 0     0     1 29    18    1000 0   0  
pthread-wmm/safe023_power.opt_false-unreach-call.i 1 110   80   3900 710 0     0     1 32    19    1000 0   0  
pthread-wmm/safe023_pso.oepc_false-unreach-call.i 1 98   67   4000 720 0     0     1 29    18    970 0   0  
pthread-wmm/safe023_pso.opt_false-unreach-call.i 1 110   71   4100 710 0     0     1 32    19    1000 0   0  
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i 1 100   63   4000 870 0     0     1 31    18    1000 0   0  
pthread-wmm/safe023_rmo.opt_false-unreach-call.i 1 99   66   4000 640 0     0     1 31    19    1000 0   0  
pthread-wmm/safe024_power.oepc_false-unreach-call.i 1 27   9.4 1100 210 0     0     1 11    6.0  440 0   0  
pthread-wmm/safe024_power.opt_false-unreach-call.i 1 20   7.9 1100 180 0     0     1 12    6.2  430 0   0  
pthread-wmm/safe024_pso.oepc_false-unreach-call.i 1 25   9.4 1100 190 0     0     1 11    5.7  430 0   0  
pthread-wmm/safe024_pso.opt_false-unreach-call.i 1 21   8.3 1100 170 0     0     1 12    6.0  440 0   0  
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i 1 26   9.2 1100 190 0     0     1 12    6.3  480 0   0  
pthread-wmm/safe024_rmo.opt_false-unreach-call.i 1 21   8.2 1100 190 0     0     1 12    6.4  440 0   0  
pthread-wmm/safe025_power.oepc_false-unreach-call.i 1 6.2 2.0 310 55 0     0     1 7.5  4.0  280 0   0  
pthread-wmm/safe025_power.opt_false-unreach-call.i 1 6.0 2.0 310 58 0     0     1 7.9  4.2  270 0   0  
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i 1 52   30   2100 360 0     0     1 7.5  4.0  270 0   0  
pthread-wmm/safe025_rmo.opt_false-unreach-call.i 1 50   29   1900 310 0     0     1 6.9  3.6  270 0   0  
pthread-wmm/safe026_power.oepc_false-unreach-call.i 1 12   3.7 530 100 0     0     1 34    20    1200 0   0  
pthread-wmm/safe026_power.opt_false-unreach-call.i 1 13   3.8 540 110 0     0     1 29    17    1100 0   0  
pthread-wmm/safe026_pso.oepc_false-unreach-call.i 1 12   3.7 550 100 0     0     1 27    16    1100 0   0  
pthread-wmm/safe026_pso.opt_false-unreach-call.i 1 12   3.6 530 110 0     0     1 29    17    1100 0   0  
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i 1 13   3.8 540 120 0     0     1 33    18    1000 0   0  
pthread-wmm/safe026_rmo.opt_false-unreach-call.i 1 13   3.8 540 120 0     0     1 31    18    1100 0   0  
pthread-wmm/safe027_power.oepc_false-unreach-call.i 1 6.4 2.0 300 51 0     0     1 8.6  4.6  280 0   0  
pthread-wmm/safe027_power.opt_false-unreach-call.i 1 680   560   4500 4500 0     0     1 9.2  4.9  280 0   0  
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i 1 6.2 2.0 300 50 0     0     1 7.5  4.0  270 0   0  
pthread-wmm/safe027_rmo.opt_false-unreach-call.i 1 6.5 2.0 310 51 0     0     1 7.4  3.9  270 0   0  
pthread-wmm/safe028_power.oepc_false-unreach-call.i 1 76   51   2400 470 0     0     1 7.6  4.0  290 0   0  
pthread-wmm/safe028_power.opt_false-unreach-call.i 1 64   46   2200 390 0     0     1 7.8  4.2  270 0   0  
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i 1 29   16   1300 210 0     0     1 7.6  4.0  270 0   0  
pthread-wmm/safe028_rmo.opt_false-unreach-call.i 1 29   15   1200 200 0     0     1 6.7  3.6  270 0   0  
pthread-wmm/safe029_power.oepc_false-unreach-call.i 1 6.7 2.1 310 56 0     0     1 9.2  4.9  320 0   0  
pthread-wmm/safe029_power.opt_false-unreach-call.i 1 7.4 2.3 330 64 0     0     1 8.8  4.7  310 0   0  
pthread-wmm/safe029_pso.oepc_false-unreach-call.i 1 6.8 2.1 310 63 0     0     1 9.2  4.8  330 0   0  
pthread-wmm/safe029_pso.opt_false-unreach-call.i 1 7.1 2.2 330 61 0     0     1 8.0  4.2  300 0   0  
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i 1 6.5 2.1 310 59 0     0     1 7.7  4.1  330 0   0  
pthread-wmm/safe029_rmo.opt_false-unreach-call.i 1 7.1 2.2 330 61 0     0     1 7.5  4.0  300 0   0  
pthread-wmm/safe030_power.oepc_false-unreach-call.i 1 11   3.1 480 91 0     0     1 25    13    700 0   0  
pthread-wmm/safe030_power.opt_false-unreach-call.i 1 14   4.5 670 110 0     0     1 11    5.8  420 0   0  
pthread-wmm/safe030_pso.oepc_false-unreach-call.i 1 11   3.2 490 93 0     0     1 23    12    690 0   0  
pthread-wmm/safe030_pso.opt_false-unreach-call.i 1 14   4.5 690 120 0     0     1 9.0  4.8  430 0   0  
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i 1 11   3.2 490 90 0     0     1 20    11    730 0   0  
pthread-wmm/safe030_rmo.opt_false-unreach-call.i 1 14   4.5 700 120 0     0     1 8.8  4.6  430 0   0  
pthread-wmm/safe031_power.oepc_false-unreach-call.i 1 26   9.4 1200 190 0     0     1 11    5.8  440 0   0  
pthread-wmm/safe031_power.opt_false-unreach-call.i 1 14   4.5 700 120 0     0     1 9.5  5.0  420 0   0  
pthread-wmm/safe031_pso.oepc_false-unreach-call.i 1 26   9.4 1200 230 0     0     1 11    5.6  440 0   0  
pthread-wmm/safe031_pso.opt_false-unreach-call.i 1 14   4.5 700 130 0     0     1 9.7  5.2  430 0   0  
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i 1 29   9.7 1200 220 0     0     1 11    5.7  440 0   0  
pthread-wmm/safe031_rmo.opt_false-unreach-call.i 1 15   4.6 700 120 0     0     1 9.4  5.0  420 0   0  
pthread-wmm/safe032_power.oepc_false-unreach-call.i 1 59   32   2500 390 0     0     1 22    12    690 0   0  
pthread-wmm/safe032_power.opt_false-unreach-call.i 1 58   33   2500 400 0     0     1 23    13    690 0   0  
pthread-wmm/safe032_pso.oepc_false-unreach-call.i 1 57   32   2400 410 0     0     1 21    12    690 0   0  
pthread-wmm/safe032_pso.opt_false-unreach-call.i 1 58   31   2600 540 0     0     1 22    12    690 0   0  
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i 1 61   37   2700 460 0     0     1 23    12    680 0   0  
pthread-wmm/safe032_rmo.opt_false-unreach-call.i 1 61   35   2500 410 0     0     1 23    12    700 0   0  
pthread-wmm/safe033_power.oepc_false-unreach-call.i 1 7.8 2.4 370 68 0     0     1 7.1  3.8  270 0   0  
pthread-wmm/safe033_power.opt_false-unreach-call.i 1 7.8 2.4 370 69 0     0     1 6.6  3.5  270 0   0  
pthread-wmm/safe033_pso.oepc_false-unreach-call.i 1 7.6 2.3 370 68 0     0     1 7.9  4.2  270 0   0  
pthread-wmm/safe033_pso.opt_false-unreach-call.i 1 7.3 2.3 360 62 0     0     1 6.8  3.6  270 0   0  
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i 1 7.6 2.3 370 70 0     0     1 7.1  3.8  270 0   0  
pthread-wmm/safe033_rmo.opt_false-unreach-call.i 1 7.5 2.3 370 65 0     0     1 6.9  3.7  270 0   0  
pthread-wmm/safe034_power.oepc_false-unreach-call.i 1 18   5.5 780 160 0     0     1 8.7  4.6  290 0   0  
pthread-wmm/safe034_power.opt_false-unreach-call.i 1 18   5.5 770 150 0     0     1 7.3  3.9  280 0   0  
pthread-wmm/safe034_pso.oepc_false-unreach-call.i 1 17   5.5 770 140 0     0     1 7.6  4.1  280 0   0  
pthread-wmm/safe034_pso.opt_false-unreach-call.i 1 17   5.4 760 130 0     0     1 6.9  3.7  290 0   0  
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i 1 17   5.4 760 140 0     0     1 7.1  3.8  280 0   0  
pthread-wmm/safe034_rmo.opt_false-unreach-call.i 1 17   5.5 760 130 0     0     1 9.2  4.9  290 0   0  
pthread-wmm/thin000_power.oepc_false-unreach-call.i 1 6.1 2.0 300 54 0     0     1 6.1  3.3  260 0   0  
pthread-wmm/thin000_power.opt_false-unreach-call.i 1 9.1 2.7 470 75 0     0     1 7.0  3.7  270 0   0  
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i 1 5.8 1.9 300 51 0     0     1 6.9  3.7  260 0   0  
pthread-wmm/thin000_rmo.opt_false-unreach-call.i 1 5.8 1.9 300 47 0     0     1 6.2  3.3  260 0   0  
pthread-wmm/thin001_power.oepc_false-unreach-call.i 1 6.5 2.0 310 57 0     0     1 8.1  4.3  270 0   0  
pthread-wmm/thin001_power.opt_false-unreach-call.i 1 68   52   2300 450 0     0     1 10    5.3  350 0   0  
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i 1 6.0 2.0 300 58 0     0     1 6.9  3.7  270 0   0  
pthread-wmm/thin001_rmo.opt_false-unreach-call.i 1 6.1 2.0 310 53 0     0     1 6.5  3.5  270 0   0  
pthread-wmm/thin002_power.oepc_false-unreach-call.i 1 6.3 2.0 310 51 0     0     1 7.3  3.9  290 0   0  
pthread-wmm/thin002_power.opt_false-unreach-call.i 0 940   730   5600 6800 0     0     0 4.8  2.6  260 0   0  
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i 1 6.3 2.0 310 47 0     0     1 6.9  3.7  280 0   0  
pthread-wmm/thin002_rmo.opt_false-unreach-call.i 1 6.1 2.0 300 56 0     0     1 7.0  3.7  290 0   0  
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i 2 23   12   1300 160 0     0     -
pthread-wmm/rfi000_tso.opt_true-unreach-call.i 2 25   13   1300 170 0     0     -
pthread-wmm/rfi002_power.oepc_true-unreach-call.i 2 23   11   890 170 0     0     -
pthread-wmm/rfi002_power.opt_true-unreach-call.i 2 23   11   1100 170 0     0     -
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i 2 24   12   1200 220 0     0     -
pthread-wmm/rfi002_pso.opt_true-unreach-call.i 2 24   13   1200 180 0     0     -
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i 2 22   10   880 190 0     0     -
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i 2 23   12   1100 190 0     0     -
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i 2 50   32   2000 340 0     0     -
pthread-wmm/rfi002_tso.opt_true-unreach-call.i 2 53   34   1900 290 0     0     -
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i 2 35   19   1400 240 0     0     -
pthread-wmm/rfi003_tso.opt_true-unreach-call.i 2 34   19   1400 220 0     0     -
pthread-wmm/safe000_pso.oepc_true-unreach-call.i 2 19   5.3 780 150 0     0     -
pthread-wmm/safe000_pso.opt_true-unreach-call.i 2 19   5.3 760 140 0     0     -
pthread-wmm/safe000_tso.oepc_true-unreach-call.i 2 15   4.2 680 110 0     0     -
pthread-wmm/safe000_tso.opt_true-unreach-call.i 2 14   4.1 740 120 0     0     -
pthread-wmm/safe001_tso.oepc_true-unreach-call.i 2 14   4.0 730 110 0     0     -
pthread-wmm/safe001_tso.opt_true-unreach-call.i 2 13   3.9 720 120 0     0     -
pthread-wmm/safe002_tso.oepc_true-unreach-call.i 2 14   4.1 730 130 0     0     -
pthread-wmm/safe002_tso.opt_true-unreach-call.i 2 14   4.0 730 120 0     0     -
pthread-wmm/safe003_tso.oepc_true-unreach-call.i 2 17   4.9 830 140 0     0     -
pthread-wmm/safe003_tso.opt_true-unreach-call.i 2 15   4.8 810 120 0     0     -
pthread-wmm/safe004_tso.oepc_true-unreach-call.i 2 16   4.9 750 120 0     0     -
pthread-wmm/safe004_tso.opt_true-unreach-call.i 2 16   5.0 830 140 0     0     -
pthread-wmm/safe005_tso.oepc_true-unreach-call.i 2 15   5.0 800 140 0     0     -
pthread-wmm/safe005_tso.opt_true-unreach-call.i 2 17   5.1 840 140 0     0     -
pthread-wmm/safe006_pso.oepc_true-unreach-call.i 2 5.3 1.8 290 49 0     0     -
pthread-wmm/safe006_pso.opt_true-unreach-call.i 2 5.4 1.8 300 52 0     0     -
pthread-wmm/safe006_tso.oepc_true-unreach-call.i 2 5.4 1.9 300 49 0     0     -
pthread-wmm/safe006_tso.opt_true-unreach-call.i 2 5.4 1.8 290 45 0     0     -
pthread-wmm/safe007_pso.oepc_true-unreach-call.i 2 11   3.2 540 91 0     0     -
pthread-wmm/safe007_pso.opt_true-unreach-call.i 2 11   3.1 540 89 0     0     -
pthread-wmm/safe007_tso.oepc_true-unreach-call.i 2 11   3.2 560 97 0     0     -
pthread-wmm/safe007_tso.opt_true-unreach-call.i 2 11   3.1 560 94 0     0     -
pthread-wmm/safe008_tso.oepc_true-unreach-call.i 2 11   3.2 560 95 0     0     -
pthread-wmm/safe008_tso.opt_true-unreach-call.i 2 11   3.3 530 110 0     0     -
pthread-wmm/safe009_pso.oepc_true-unreach-call.i 2 12   3.5 510 100 0     0     -
pthread-wmm/safe009_pso.opt_true-unreach-call.i 2 12   3.4 540 95 0     0     -
pthread-wmm/safe009_tso.oepc_true-unreach-call.i 2 12   3.3 540 95 0     0     -
pthread-wmm/safe009_tso.opt_true-unreach-call.i 2 12   3.3 540 100 0     0     -
pthread-wmm/safe010_tso.oepc_true-unreach-call.i 2 5.5 1.8 300 55 0     0     -
pthread-wmm/safe010_tso.opt_true-unreach-call.i 2 5.4 1.8 300 45 0     0     -
pthread-wmm/safe011_tso.oepc_true-unreach-call.i 2 11   3.1 530 98 0     0     -
pthread-wmm/safe011_tso.opt_true-unreach-call.i 2 11   3.2 540 99 0     0     -
pthread-wmm/safe012_tso.oepc_true-unreach-call.i 2 11   3.2 550 89 0     0     -
pthread-wmm/safe012_tso.opt_true-unreach-call.i 2 11   3.2 540 93 0     0     -
pthread-wmm/safe013_tso.oepc_true-unreach-call.i 2 11   3.3 550 100 0     0     -
pthread-wmm/safe013_tso.opt_true-unreach-call.i 2 11   3.2 540 99 0     0     -
pthread-wmm/safe014_pso.oepc_true-unreach-call.i 2 15   4.4 680 130 0     0     -
pthread-wmm/safe014_pso.opt_true-unreach-call.i 2 15   4.2 740 120 0     0     -
pthread-wmm/safe014_tso.oepc_true-unreach-call.i 2 14   4.4 660 120 0     0     -
pthread-wmm/safe014_tso.opt_true-unreach-call.i 2 14   4.3 730 130 0     0     -
pthread-wmm/safe015_pso.oepc_true-unreach-call.i 2 14   4.6 720 110 0     0     -
pthread-wmm/safe015_pso.opt_true-unreach-call.i 2 15   4.6 760 130 0     0     -
pthread-wmm/safe015_tso.oepc_true-unreach-call.i 2 15   4.5 770 130 0     0     -
pthread-wmm/safe015_tso.opt_true-unreach-call.i 2 19   5.7 750 150 0     0     -
pthread-wmm/safe016_pso.oepc_true-unreach-call.i 2 86   40   3000 720 0     0     -
pthread-wmm/safe016_pso.opt_true-unreach-call.i 2 82   36   3100 550 0     0     -
pthread-wmm/safe016_tso.oepc_true-unreach-call.i 2 84   36   3100 570 0     0     -
pthread-wmm/safe016_tso.opt_true-unreach-call.i 2 120   72   3400 960 0     0     -
pthread-wmm/safe017_tso.oepc_true-unreach-call.i 2 12   3.3 550 100 0     0     -
pthread-wmm/safe017_tso.opt_true-unreach-call.i 2 11   3.3 540 94 0     0     -
pthread-wmm/safe018_pso.oepc_true-unreach-call.i 2 11   3.1 540 88 0     0     -
pthread-wmm/safe018_pso.opt_true-unreach-call.i 2 11   3.1 540 98 0     0     -
pthread-wmm/safe018_tso.oepc_true-unreach-call.i 2 11   3.1 540 89 0     0     -
pthread-wmm/safe018_tso.opt_true-unreach-call.i 2 10   3.0 440 86 0     0     -
pthread-wmm/safe019_pso.oepc_true-unreach-call.i 2 63   27   2500 520 0     0     -
pthread-wmm/safe019_pso.opt_true-unreach-call.i 2 89   56   2600 1000 0     0     -
pthread-wmm/safe019_tso.oepc_true-unreach-call.i 2 70   29   2600 470 0     0     -
pthread-wmm/safe019_tso.opt_true-unreach-call.i 2 97   58   2700 810 0     0     -
pthread-wmm/safe020_pso.oepc_true-unreach-call.i 2 11   3.2 470 97 0     0     -
pthread-wmm/safe020_pso.opt_true-unreach-call.i 2 11   3.2 550 91 0     0     -
pthread-wmm/safe020_tso.oepc_true-unreach-call.i 2 11   3.1 550 100 0     0     -
pthread-wmm/safe020_tso.opt_true-unreach-call.i 2 11   3.2 550 96 0     0     -
pthread-wmm/safe021_tso.oepc_true-unreach-call.i 2 11   3.2 540 91 0     0     -
pthread-wmm/safe021_tso.opt_true-unreach-call.i 2 11   3.2 540 90 0     0     -
pthread-wmm/safe022_tso.oepc_true-unreach-call.i 2 5.6 1.9 300 51 0     0     -
pthread-wmm/safe022_tso.opt_true-unreach-call.i 2 5.5 1.9 300 48 0     0     -
pthread-wmm/safe023_tso.oepc_true-unreach-call.i 2 21   5.8 780 160 0     0     -
pthread-wmm/safe023_tso.opt_true-unreach-call.i 2 20   5.8 750 160 0     0     -
pthread-wmm/safe024_tso.oepc_true-unreach-call.i 2 12   3.3 550 110 0     0     -
pthread-wmm/safe024_tso.opt_true-unreach-call.i 2 11   3.3 560 88 0     0     -
pthread-wmm/safe025_pso.oepc_true-unreach-call.i 2 19   5.7 750 140 0     0     -
pthread-wmm/safe025_pso.opt_true-unreach-call.i 2 20   5.8 770 150 0     0     -
pthread-wmm/safe025_tso.oepc_true-unreach-call.i 2 15   4.4 770 130 0     0     -
pthread-wmm/safe025_tso.opt_true-unreach-call.i 2 15   4.5 890 120 0     0     -
pthread-wmm/safe026_tso.oepc_true-unreach-call.i 2 12   3.3 560 100 0     0     -
pthread-wmm/safe026_tso.opt_true-unreach-call.i 2 12   3.4 500 110 0     0     -
pthread-wmm/safe027_pso.oepc_true-unreach-call.i 2 57   28   2200 540 0     0     -
pthread-wmm/safe027_pso.opt_true-unreach-call.i 2 58   29   2200 490 0     0     -
pthread-wmm/safe027_tso.oepc_true-unreach-call.i 2 58   29   2200 590 0     0     -
pthread-wmm/safe027_tso.opt_true-unreach-call.i 2 67   39   2200 590 0     0     -
pthread-wmm/safe028_pso.oepc_true-unreach-call.i 2 11   3.2 560 93 0     0     -
pthread-wmm/safe028_pso.opt_true-unreach-call.i 2 11   3.1 550 97 0     0     -
pthread-wmm/safe028_tso.oepc_true-unreach-call.i 2 11   3.1 540 110 0     0     -
pthread-wmm/safe028_tso.opt_true-unreach-call.i 2 11   3.1 540 95 0     0     -
pthread-wmm/safe029_tso.oepc_true-unreach-call.i 2 5.5 1.9 300 50 0     0     -
pthread-wmm/safe029_tso.opt_true-unreach-call.i 2 5.4 1.8 290 43 0     0     -
pthread-wmm/safe030_tso.oepc_true-unreach-call.i 2 11   3.1 550 84 0     0     -
pthread-wmm/safe030_tso.opt_true-unreach-call.i 2 11   3.1 550 89 0     0     -
pthread-wmm/safe031_tso.oepc_true-unreach-call.i 2 11   3.3 550 92 0     0     -
pthread-wmm/safe031_tso.opt_true-unreach-call.i 2 11   3.2 540 110 0     0     -
pthread-wmm/safe032_tso.oepc_true-unreach-call.i 2 20   5.8 750 150 0     0     -
pthread-wmm/safe032_tso.opt_true-unreach-call.i 2 15   4.3 730 130 0     0     -
pthread-wmm/safe033_tso.oepc_true-unreach-call.i 2 5.5 1.8 300 49 0     0     -
pthread-wmm/safe033_tso.opt_true-unreach-call.i 2 5.5 1.8 300 50 0     0     -
pthread-wmm/safe034_tso.oepc_true-unreach-call.i 2 12   3.4 560 96 0     0     -
pthread-wmm/safe034_tso.opt_true-unreach-call.i 2 11   3.3 550 96 0     0     -
pthread-wmm/safe035_power.oepc_true-unreach-call.i 0 920   740   5100 5100 0     0     -
pthread-wmm/safe035_power.opt_true-unreach-call.i 0 920   750   5200 5300 0     0     -
pthread-wmm/safe035_pso.oepc_true-unreach-call.i 2 17   4.8 830 140 0     0     -
pthread-wmm/safe035_pso.opt_true-unreach-call.i 2 21   6.2 820 160 0     0     -
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i 2 22   6.2 790 170 0     0     -
pthread-wmm/safe035_rmo.opt_true-unreach-call.i 2 22   6.1 830 170 0     0     -
pthread-wmm/safe035_tso.oepc_true-unreach-call.i 2 22   6.1 800 170 0     0     -
pthread-wmm/safe035_tso.opt_true-unreach-call.i 2 16   4.9 760 130 0     0     -
pthread-wmm/safe036_power.oepc_true-unreach-call.i 2 5.6 1.9 300 48 0     0     -
pthread-wmm/safe036_power.opt_true-unreach-call.i 2 5.6 1.8 300 52 0     0     -
pthread-wmm/safe036_pso.oepc_true-unreach-call.i 2 5.5 1.8 300 49 0     0     -
pthread-wmm/safe036_pso.opt_true-unreach-call.i 2 5.5 1.9 300 48 0     0     -
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i 2 5.7 1.9 300 48 0     0     -
pthread-wmm/safe036_rmo.opt_true-unreach-call.i 2 5.5 1.8 300 50 0     0     -
pthread-wmm/safe036_tso.oepc_true-unreach-call.i 2 5.7 1.9 300 53 0     0     -
pthread-wmm/safe036_tso.opt_true-unreach-call.i 2 5.4 1.8 300 49 0     0     -
pthread-wmm/safe037_power.oepc_true-unreach-call.i 2 12   3.5 540 97 0     0     -
pthread-wmm/safe037_power.opt_true-unreach-call.i 2 12   3.5 550 110 0     0     -
pthread-wmm/safe037_pso.oepc_true-unreach-call.i 2 12   3.4 540 110 0     0     -
pthread-wmm/safe037_pso.opt_true-unreach-call.i 2 12   3.4 550 92 0     0     -
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i 2 12   3.4 550 100 0     0     -
pthread-wmm/safe037_rmo.opt_true-unreach-call.i 2 12   3.5 540 110 0     0     -
pthread-wmm/safe037_tso.oepc_true-unreach-call.i 2 12   3.5 540 100 0     0     -
pthread-wmm/safe037_tso.opt_true-unreach-call.i 2 12   3.4 550 100 0     0     -
pthread-wmm/thin000_pso.oepc_true-unreach-call.i 2 5.3 1.8 290 52 0     0     -
pthread-wmm/thin000_pso.opt_true-unreach-call.i 2 5.6 1.9 290 47 0     0     -
pthread-wmm/thin000_tso.oepc_true-unreach-call.i 2 5.4 1.8 300 49 0     0     -
pthread-wmm/thin000_tso.opt_true-unreach-call.i 2 5.4 1.8 300 47 0     0     -
pthread-wmm/thin001_pso.oepc_true-unreach-call.i 2 11   3.2 540 95 0     0     -
pthread-wmm/thin001_pso.opt_true-unreach-call.i 2 11   3.3 550 100 0     0     -
pthread-wmm/thin001_tso.oepc_true-unreach-call.i 2 11   3.2 540 91 0     0     -
pthread-wmm/thin001_tso.opt_true-unreach-call.i 2 11   3.1 550 85 0     0     -
pthread-wmm/thin002_pso.oepc_true-unreach-call.i 2 80   36   2900 640 0     0     -
pthread-wmm/thin002_pso.opt_true-unreach-call.i 2 64   26   2600 440 0     0     -
pthread-wmm/thin002_tso.oepc_true-unreach-call.i 2 100   64   2800 910 0     0     -
pthread-wmm/thin002_tso.opt_true-unreach-call.i 2 77   33   2900 550 0     0     -
pthread-lit/fkp2013_false-unreach-call.i 0 5.4 1.8 350 48 0     0     0 4.4  2.4  250 0   0  
pthread-lit/fkp2013_variant_false-unreach-call.i 0 5.4 1.9 340 51 0     0     0 4.2  2.4  260 0   0  
pthread-lit/qw2004_false-unreach-call.i 1 5.2 1.7 310 45 0     0     1 6.1  3.3  260 0   0  
pthread-lit/fk2012_true-unreach-call.i 0 6.9 2.2 460 62 0     0     -
pthread-lit/fkp2013_true-unreach-call.i 0 5.1 1.8 300 46 0     0     -
pthread-lit/fkp2013_variant_true-unreach-call.i 0 5.4 1.9 340 43 0     0     -
pthread-lit/fkp2014_true-unreach-call.i 0 5.2 1.8 340 42 0     0     -
pthread-lit/qw2004_true-unreach-call.i 2 5.4 1.8 320 44 0     0     -
pthread-lit/qw2004_variant_true-unreach-call.i 0 5.5 1.9 360 42 0     0     -
pthread-lit/sssc12_true-unreach-call.i 0 6.1 1.9 390 55 0     0     -
pthread-lit/sssc12_variant_true-unreach-call.i 0 6.0 2.0 370 47 0     0     -
ldv-races/race-1_1-join_true-unreach-call.i 2 5.3 1.8 290 44 0     0     -
ldv-races/race-2_1-container_of_true-unreach-call.i 0 5.7 2.0 300 52 0     0     -
ldv-races/race-3_1-container_of-global_true-unreach-call.i 0 5.6 1.9 310 49 0     0     -
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i 2 9.3 2.7 630 72 0     0     -
ldv-races/race-1_2-join_false-unreach-call.i 1 5.3 1.9 280 43 0     0     1 6.8  3.6  260 0   0  
ldv-races/race-1_3-join_false-unreach-call.i 1 5.3 1.8 270 43 0     0     1 5.8  3.1  260 0   0  
ldv-races/race-2_2-container_of_false-unreach-call.i 0 5.6 1.9 300 49 0     0     0 5.2  2.8  260 0   0  
ldv-races/race-2_3-container_of_false-unreach-call.i 0 5.8 2.0 300 47 0     0     0 6.2  3.4  260 0   0  
ldv-races/race-2_4-container_of_false-unreach-call.i 0 5.8 2.0 300 52 0     0     0 6.7  3.6  280 0   0  
ldv-races/race-2_5-container_of_false-unreach-call.i 0 5.6 1.9 310 48 0     0     0 5.2  2.9  260 0   0  
ldv-races/race-3_2-container_of-global_false-unreach-call.i 0 5.7 1.9 300 52 0     0     0 6.6  3.5  270 0   0  
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i 1 8.9 2.7 590 73 0     0     1 6.5  3.5  270 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_false-unreach-call.cil.i 0 490   380   4100 5500 0     0     0 .62 .38 40 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko_false-unreach-call.cil.i 0 350   280   3900 4000 0     0     0 .59 .38 41 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i 0 110   74   3400 1100 0     0     0 .73 .46 40 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko_false-unreach-call.cil.i 0 910   830   3300 3800 0     0     0 .67 .41 40 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i 1 900   780   3200 6000 0     0     1 37    24    1600 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i 0 910   820   9000 4400 0     0     0 .60 .37 41 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_true-unreach-call.cil.i 0 490   380   4500 5300 0     0     -
pthread-complex/bounded_buffer_false-unreach-call.i 0 8.8 2.6 570 72 0     0     0 .65 .39 40 0   0  
pthread-complex/elimination_backoff_stack_false-unreach-call.i 0 6.7 2.1 350 55 0     0     0 5.1  2.8  260 0   0  
pthread-complex/safestack_relacy_false-unreach-call.i 0 910   860   6200 4200 0     0     0 .60 .36 40 0   0  
pthread-complex/workstealqueue_mutex_false-unreach-call.i 0 910   870   3900 4100 0     0     0 .63 .41 41 0   0  
pthread-complex/workstealqueue_mutex_true-unreach-call.i 0 920   870   3900 4300 0     0     -
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i 0 38   13   2800 240 0     0     -
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i 0 38   14   2800 250 0     0     -
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i 0 39   14   2800 280 0     0     -
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i 0 38   14   2800 260 0     0     -
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i 0 41   14   2800 270 0     0     -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i 0 38   15   3600 290 0     0     -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i 0 41   16   3500 280 0     0     -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i 0 40   16   3600 270 0     0     -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i 0 42   16   3400 320 0     0     -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i 0 37   15   3500 320 0     0     -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i 0 44   16   3700 290 0     0     -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i 0 42   16   3400 290 0     0     -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i 0 40   16   3600 300 0     0     -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i 0 39   16   3500 240 0     0     -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i 0 40   15   3500 300 0     0     -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i 0 39   16   3600 280 0     0     -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i 0 37   15   3500 250 0     0     -
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i 0 38   13   2800 240 0     0     0 .60 .36 42 0   0  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i 0 39   16   3600 310 0     0     0 .61 .38 41 0   0  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i 0 40   16   3600 290 0     0     0 .61 .38 41 0   0  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i 0 41   16   3500 330 0     0     0 .60 .36 41 0   0  
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i 2 360   310   3900 4100 0     0     -
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i 0 160   110   2400 1600 0     0     -
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i 0 6.7 2.0 460 54 0     0     -
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i 0 900   840   3900 12000 0     0     0 5.2  2.8  260 0   0  
pthread-divine/condvar_spurious_wakeup_false-unreach-call.i 1 5.4 1.9 350 45 0     0     1 4.7  2.6  250 0   0  
pthread-divine/divinefifo-bug_1w1r_false-unreach-call.i 0 7.7 2.4 370 67 .016 0     0 .60 .38 42 0   0  
pthread-divine/one_time_barrier_2t_false-unreach-call.i 0 8.1 2.4 350 64 0     0     0 .67 .41 40 0   0  
pthread-divine/one_time_barrier_3t_false-unreach-call.i 0 7.8 2.2 330 62 0     0     0 .72 .45 41 0   0  
pthread-divine/ring_1w1r_false-unreach-call.i 0 6.0 1.9 440 48 0     0     0 .59 .37 40 0   0  
pthread-divine/ring_2w1r_false-unreach-call.i 0 6.7 2.0 440 53 0     0     0 .58 .37 41 0   0  
pthread-divine/tls_destructor_worker_false-unreach-call.i 0 3.7 1.5 260 38 0     0     0 4.2  2.3  260 0   0  
pthread-divine/barrier_2t_true-unreach-call.i 0 8.8 2.4 450 73 0     0     -
pthread-divine/barrier_3t_true-unreach-call.i 0 8.8 2.4 450 70 0     0     -
pthread-divine/condvar_true-unreach-call.i 2 7.2 2.2 490 58 0     0     -
pthread-divine/divinefifo_1w1r_true-unreach-call.i 0 8.2 2.6 480 76 .016 0     -
pthread-divine/one_time_barrier_twice_2t_true-unreach-call.i 0 8.0 2.3 460 65 0     0     -
pthread-divine/one_time_barrier_twice_3t_true-unreach-call.i 0 8.4 2.4 370 73 0     0     -
pthread-divine/ring_1w1r_true-unreach-call.i 0 5.9 1.8 450 50 0     0     -
pthread-divine/ring_2w1r_true-unreach-call.i 0 6.9 2.1 350 58 0     0     -
pthread-divine/tls_basic_true-unreach-call.i 0 3.9 1.6 260 36 0     0     -
pthread-nondet/nondet-array_false-unreach-call.i 0 5.0 1.6 290 40 0     0     0 .74 .45 40 0   0  
pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i 0 5.6 2.0 320 45 0     0     0 4.2  2.3  260 0   0  
pthread-nondet/nondet-loop-bound_false-unreach-call.i 0 5.5 1.8 340 43 0     0     0 4.4  2.4  250 0   0  
pthread-nondet/nondet-array_true-unreach-call.i 0 5.2 1.7 350 44 0     0     -
pthread-nondet/nondet-loop-bound-variant_true-unreach-call.i 0 5.9 1.9 370 47 0     0     -
pthread-nondet/nondet-loop-bound_true-unreach-call.i 0 5.7 1.9 360 48 0     0     -
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
total 1082 996 75000 48000 1600000 540000 .033 .17  820 664 21000 14000 660000 0   0  
    correct results 830 996 48000 27000 1200000 350000 0     .14  664 664 11000 6400 410000 0   0  
        correct true 166 332 4400 2400 150000 39000 0     .029 0
        correct false 664 664 44000 24000 1000000 310000 0     .11  664 664 11000 6400 410000 0   0  
    correct-unconfimed results 102 0 2700 1200 130000 21000 0     0     0
        correct-unconfirmed true 0 0
        correct-unconfirmed false 102 0 2700 1200 130000 21000 0     0     0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (1082 tasks, max score: 1344) 996 664
Run set cpa-seq.sv-comp19_prop-reachsafety.ConcurrencySafety-Main cpa-seq-validate-violation-witnesses-cpa-seq.sv-comp19_prop-reachsafety.ConcurrencySafety-Main