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 error 0 wit inspect 4.4 1.7 270 36 0     0     error 0 wit inspect 5.6  3.1  260 0   0  
pthread/fib_bench_false-unreach-call.i false(unreach-call) 1 wit inspect 38   18   1500 300 0     0     false(unreach-call) 1 wit inspect 5.6  3.0  260 0   0  
pthread/fib_bench_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 230   170   3900 2100 0     0     false(unreach-call) 1 wit inspect 5.2  2.9  260 0   0  
pthread/fib_bench_longest_false-unreach-call.i timeout 0 wit inspect 900   810   4100 7400 0     0     error 0 --- inspect 4.6  2.5  250 0   0  
pthread/lazy01_false-unreach-call.i false(unreach-call) 1 wit inspect 4.2 1.6 270 35 0     0     false(unreach-call) 1 wit inspect 5.9  3.3  260 0   0  
pthread/queue_false-unreach-call.i false(unreach-call) 1 wit inspect 5.4 1.8 310 42 0     0     false(unreach-call) 1 wit inspect 5.7  3.0  260 0   0  
pthread/queue_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 5.2 1.8 300 44 0     0     false(unreach-call) 1 wit inspect 7.3  3.9  260 0   0  
pthread/queue_longest_false-unreach-call.i false(unreach-call) 1 wit inspect 5.5 1.8 310 48 0     0     false(unreach-call) 1 wit inspect 6.2  3.3  260 0   0  
pthread/reorder_2_false-unreach-call.i error 0 --- inspect 5.8 1.8 460 54 0     0     error (invalid witness file) 0 --- inspect .60 .37 42 0   0  
pthread/reorder_5_false-unreach-call.i error 0 --- inspect 6.2 1.9 470 51 0     0     error (invalid witness file) 0 --- inspect .76 .47 41 0   0  
pthread/sigma_false-unreach-call.i error 0 wit inspect 6.4 2.0 460 52 0     0     error 0 --- inspect 4.4  2.4  260 0   0  
pthread/singleton_false-unreach-call.i error 0 wit inspect 4.8 1.8 280 40 0     0     error 0 wit inspect 4.6  2.5  260 0   0  
pthread/stack_false-unreach-call.i error 0 --- inspect 6.7 2.0 460 62 0     0     error (invalid witness file) 0 --- inspect .61 .38 41 0   0  
pthread/stack_longer_false-unreach-call.i error 0 --- inspect 19   8.4 1300 160 0     0     error (invalid witness file) 0 --- inspect .76 .45 41 0   0  
pthread/stack_longest_false-unreach-call.i error 0 --- inspect 36   23   2900 430 0     0     error (invalid witness file) 0 --- inspect .62 .38 44 0   0  
pthread/stateful01_false-unreach-call.i false(unreach-call) 1 wit inspect 4.2 1.6 290 41 0     0     false(unreach-call) 1 wit inspect 5.2  2.8  250 0   0  
pthread/triangular-longer_false-unreach-call.i false(unreach-call) 1 wit inspect 64   38   3900 540 0     0     false(unreach-call) 1 wit inspect 6.4  3.4  260 0   0  
pthread/triangular-longest_false-unreach-call.i timeout 0 wit inspect 900   810   4000 9900 0     0     error 0 --- inspect 3.8  2.1  250 0   0  
pthread/triangular_false-unreach-call.i false(unreach-call) 1 wit inspect 19   5.5 800 130 0     0     false(unreach-call) 1 wit inspect 5.6  3.0  250 0   0  
pthread/twostage_3_false-unreach-call.i error 0 --- inspect 6.5 1.9 470 53 0     0     error (invalid witness file) 0 --- inspect .74 .44 41 0   0  
pthread/bigshot_s2_true-unreach-call.i error 0 wit inspect 4.6 1.7 290 42 0     0     - --- inspect
pthread/bigshot_s_true-unreach-call.i error 0 wit inspect 4.3 1.7 270 36 0     0     - --- inspect
pthread/fib_bench_longer_true-unreach-call.i true 2 wit inspect 790   690   4100 7900 0     0     - --- inspect
pthread/fib_bench_longest_true-unreach-call.i timeout 0 wit inspect 900   810   4100 7400 0     0     - --- inspect
pthread/fib_bench_true-unreach-call.i true 2 wit inspect 89   55   3700 790 0     0     - --- inspect
pthread/indexer_true-unreach-call.i error 0 --- inspect 8.0 2.3 460 62 0     0     - --- inspect
pthread/queue_ok_longer_true-unreach-call.i error 0 --- inspect 40   25   3400 390 0     0     - --- inspect
pthread/queue_ok_longest_true-unreach-call.i error 0 --- inspect 100   83   3800 1200 0     0     - --- inspect
pthread/queue_ok_true-unreach-call.i error 0 --- inspect 8.7 2.5 480 69 0     0     - --- inspect
pthread/singleton_with-uninit-problems_true-unreach-call.i error 0 wit inspect 4.8 1.7 280 46 0     0     - --- inspect
pthread/stack_longer_true-unreach-call.i error 0 --- inspect 18   7.9 1000 150 0     0     - --- inspect
pthread/stack_longest_true-unreach-call.i error 0 --- inspect 35   22   2800 270 0     0     - --- inspect
pthread/stack_true-unreach-call.i error 0 --- inspect 6.9 2.1 460 53 0     0     - --- inspect
pthread/stateful01_true-unreach-call.i true 2 wit inspect 4.7 1.7 290 39 0     0     - --- inspect
pthread/sync01_true-unreach-call.i true 2 wit inspect 5.7 1.9 430 54 0     0     - --- inspect
pthread/triangular-longer_true-unreach-call.i true 2 wit inspect 68   40   3900 700 0     .029 - --- inspect
pthread/triangular-longest_true-unreach-call.i timeout 0 wit inspect 900   810   4000 12000 0     0     - --- inspect
pthread/triangular_true-unreach-call.i true 2 wit inspect 19   5.7 790 140 0     0     - --- inspect
pthread-atomic/qrcu_false-unreach-call.i false(unreach-call) 1 wit inspect 12   3.2 570 86 0     0     false(unreach-call) 1 wit inspect 5.9  3.2  260 0   0  
pthread-atomic/read_write_lock_false-unreach-call.i false(unreach-call) 1 wit inspect 21   6.0 830 160 0     0     false(unreach-call) 1 wit inspect 6.4  3.4  270 0   0  
pthread-atomic/dekker_true-unreach-call.i true 2 wit inspect 6.3 2.0 380 52 0     0     - --- inspect
pthread-atomic/gcd_true-unreach-call_true-termination.i timeout 0 --- inspect 920   850   3600 3800 0     0     - --- inspect
pthread-atomic/lamport_true-unreach-call.i true 2 wit inspect 6.9 2.1 430 60 0     0     - --- inspect
pthread-atomic/peterson_true-unreach-call.i true 2 wit inspect 5.3 1.8 310 46 0     0     - --- inspect
pthread-atomic/qrcu_true-unreach-call.i timeout 0 --- inspect 910   870   4000 4600 0     0     - --- inspect
pthread-atomic/read_write_lock_true-unreach-call.i true 2 wit inspect 9.1 2.8 480 89 0     0     - --- inspect
pthread-atomic/scull_true-unreach-call.i timeout 0 --- inspect 910   860   3300 5800 0     0     - --- inspect
pthread-atomic/szymanski_true-unreach-call.i true 2 wit inspect 6.0 1.9 380 45 0     0     - --- inspect
pthread-atomic/time_var_mutex_true-unreach-call.i true 2 wit inspect 4.2 1.6 290 43 0     0     - --- inspect
pthread-ext/25_stack_longer_false-unreach-call.i error 0 wit inspect 6.7 2.1 480 51 0     0     error 0 --- inspect 4.0  2.2  250 0   0  
pthread-ext/25_stack_longest_false-unreach-call.i error 0 wit inspect 6.5 2.1 470 52 0     .029 error 0 --- inspect 4.3  2.4  270 0   0  
pthread-ext/26_stack_cas_longer_false-unreach-call.i error 0 wit inspect 6.7 2.1 470 55 0     0     error 0 --- inspect 4.5  2.5  250 0   0  
pthread-ext/26_stack_cas_longest_false-unreach-call.i error 0 wit inspect 6.5 2.1 470 52 0     0     error 0 --- inspect 3.9  2.2  250 0   0  
pthread-ext/27_Boop_simple_vf_false-unreach-call.i error 0 wit inspect 5.5 1.8 360 45 0     0     error 0 --- inspect 4.7  2.6  250 0   0  
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i error 0 wit inspect 5.3 1.8 350 42 0     0     error 0 --- inspect 3.9  2.3  250 0   0  
pthread-ext/32_pthread5_vs_false-unreach-call.i error 0 wit inspect 5.5 1.8 360 51 0     0     error 0 --- inspect 3.7  2.1  250 0   0  
pthread-ext/40_barrier_vf_false-unreach-call.i error 0 wit inspect 5.5 1.8 350 45 0     0     error 0 --- inspect 4.3  2.4  260 0   0  
pthread-ext/01_inc_true-unreach-call.i error 0 wit inspect 5.6 1.8 340 46 0     0     - --- inspect
pthread-ext/02_inc_cas_true-unreach-call.i error 0 wit inspect 5.2 1.8 330 39 0     0     - --- inspect
pthread-ext/03_incdec_true-unreach-call.i error 0 wit inspect 6.0 2.0 380 54 0     0     - --- inspect
pthread-ext/04_incdec_cas_true-unreach-call.i error 0 wit inspect 5.9 1.9 380 47 0     0     - --- inspect
pthread-ext/05_tas_true-unreach-call.i error 0 wit inspect 5.6 1.9 320 47 0     0     - --- inspect
pthread-ext/06_ticket_true-unreach-call.i error 0 wit inspect 5.9 1.9 360 48 0     0     - --- inspect
pthread-ext/07_rand_true-unreach-call.i error 0 wit inspect 6.1 1.9 380 54 0     0     - --- inspect
pthread-ext/08_rand_cas_true-unreach-call.i error 0 wit inspect 5.9 1.9 400 53 0     0     - --- inspect
pthread-ext/09_fmaxsym_true-unreach-call.i error 0 --- inspect 5.0 1.7 330 46 0     0     - --- inspect
pthread-ext/10_fmaxsym_cas_true-unreach-call.i error 0 --- inspect 5.2 1.7 330 41 0     0     - --- inspect
pthread-ext/11_fmaxsymopt_true-unreach-call.i error 0 --- inspect 4.9 1.6 320 49 0     0     - --- inspect
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i error 0 --- inspect 5.0 1.8 330 45 0     0     - --- inspect
pthread-ext/13_unverif_true-unreach-call.i error 0 wit inspect 5.1 1.7 340 44 0     0     - --- inspect
pthread-ext/14_spin2003_true-unreach-call.i error 0 wit inspect 5.2 1.8 340 40 0     0     - --- inspect
pthread-ext/15_dekker_true-unreach-call.i true 2 wit inspect 5.9 1.9 370 56 0     0     - --- inspect
pthread-ext/16_peterson_true-unreach-call.i true 2 wit inspect 5.3 1.8 320 48 0     0     - --- inspect
pthread-ext/17_szymanski_true-unreach-call.i true 2 wit inspect 6.0 1.9 420 53 0     0     - --- inspect
pthread-ext/18_read_write_lock_true-unreach-call.i true 2 wit inspect 4.3 1.6 280 37 0     0     - --- inspect
pthread-ext/19_time_var_mutex_true-unreach-call.i true 2 wit inspect 4.6 1.7 290 39 0     0     - --- inspect
pthread-ext/20_lamport_true-unreach-call.i true 2 wit inspect 6.6 2.0 420 59 0     0     - --- inspect
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i true 2 wit inspect 5.8 1.9 320 46 0     0     - --- inspect
pthread-ext/25_stack_longer_true-unreach-call.i error 0 wit inspect 6.7 2.1 480 61 0     0     - --- inspect
pthread-ext/25_stack_longest_true-unreach-call.i error 0 wit inspect 6.4 2.0 480 58 0     0     - --- inspect
pthread-ext/25_stack_true-unreach-call.i error 0 wit inspect 6.4 2.0 470 55 0     0     - --- inspect
pthread-ext/26_stack_cas_longer_true-unreach-call.i error 0 wit inspect 6.7 2.1 460 56 0     0     - --- inspect
pthread-ext/26_stack_cas_longest_true-unreach-call.i error 0 wit inspect 6.8 2.1 460 57 0     0     - --- inspect
pthread-ext/26_stack_cas_true-unreach-call.i error 0 wit inspect 6.6 2.1 460 56 0     0     - --- inspect
pthread-ext/29_conditionals_vs_true-unreach-call.i error 0 wit inspect 5.6 1.8 350 47 0     0     - --- inspect
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i error 0 wit inspect 5.6 1.8 350 49 0     0     - --- inspect
pthread-ext/31_simple_loop5_vs_true-unreach-call.i error 0 wit inspect 5.3 1.8 320 47 0     0     - --- inspect
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i error 0 wit inspect 5.9 1.9 380 47 0     0     - --- inspect
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i error 0 wit inspect 5.8 1.9 380 53 0     0     - --- inspect
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i error 0 wit inspect 5.6 1.8 370 45 0     0     - --- inspect
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i error 0 wit inspect 6.0 1.9 380 53 0     0     - --- inspect
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i error 0 wit inspect 5.8 1.9 380 50 0     0     - --- inspect
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i error 0 wit inspect 5.6 1.9 330 41 0     0     - --- inspect
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i error 0 wit inspect 5.8 1.8 350 45 0     0     - --- inspect
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i error 0 wit inspect 6.1 2.0 460 50 0     0     - --- inspect
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i error 0 wit inspect 6.6 2.1 460 54 0     0     - --- inspect
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i error 0 wit inspect 8.0 2.5 480 74 0     0     - --- inspect
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i error 0 wit inspect 7.8 2.3 480 64 0     0     - --- inspect
pthread-ext/45_monabsex1_vs_true-unreach-call.i error 0 wit inspect 5.2 1.7 330 43 0     0     - --- inspect
pthread-ext/46_monabsex2_vs_true-unreach-call.i error 0 wit inspect 5.2 1.8 300 43 0     0     - --- inspect
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i timeout 0 --- inspect 910   860   6100 3800 0     0     - --- inspect
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i timeout 0 --- inspect 910   870   3900 4500 0     0     - --- inspect
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 10   3.1 470 86 0     0     false(unreach-call) 1 wit inspect 9.4  5.0  310 0   0  
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.6 2.7 480 86 0     0     false(unreach-call) 1 wit inspect 8.0  4.3  270 0   0  
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 11   3.0 470 90 0     0     false(unreach-call) 1 wit inspect 7.7  4.1  310 0   0  
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.6 2.7 480 74 0     0     false(unreach-call) 1 wit inspect 7.1  3.8  270 0   0  
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 10   3.0 480 88 0     0     false(unreach-call) 1 wit inspect 8.2  4.4  310 0   0  
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.9 2.8 480 77 0     0     false(unreach-call) 1 wit inspect 6.7  3.6  280 0   0  
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 11   3.3 500 100 0     0     false(unreach-call) 1 wit inspect 8.2  4.3  310 0   0  
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.4 2.7 470 81 0     0     false(unreach-call) 1 wit inspect 7.5  4.0  280 0   0  
pthread-wmm/mix001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15   5.8 690 130 0     0     false(unreach-call) 1 wit inspect 34    21    1400 0   0  
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35   15   1500 240 0     0     false(unreach-call) 1 wit inspect 9.5  5.0  310 0   0  
pthread-wmm/mix001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15   5.8 680 110 0     0     false(unreach-call) 1 wit inspect 35    21    1200 0   0  
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35   15   1500 260 0     0     false(unreach-call) 1 wit inspect 7.4  3.9  300 0   0  
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15   5.7 690 120 0     0     false(unreach-call) 1 wit inspect 39    24    1300 0   0  
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25   12   1200 180 0     0     false(unreach-call) 1 wit inspect 7.5  4.0  300 0   0  
pthread-wmm/mix001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16   5.6 590 120 0     0     false(unreach-call) 1 wit inspect 37    22    1300 0   0  
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 36   15   1500 250 0     0     false(unreach-call) 1 wit inspect 8.8  4.6  310 0   0  
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   4.1 560 110 0     0     false(unreach-call) 1 wit inspect 42    27    1800 0   0  
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 36   16   1500 240 0     0     false(unreach-call) 1 wit inspect 7.7  4.1  310 0   0  
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   4.2 570 110 0     0     false(unreach-call) 1 wit inspect 47    30    1900 0   0  
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34   16   1500 240 0     0     false(unreach-call) 1 wit inspect 7.7  4.0  320 0   0  
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.2 560 120 0     0     false(unreach-call) 1 wit inspect 54    34    1800 0   0  
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35   16   1500 240 0     0     false(unreach-call) 1 wit inspect 7.7  4.1  300 0   0  
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   4.1 560 100 0     0     false(unreach-call) 1 wit inspect 45    30    1800 0   0  
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 38   17   1500 280 0     0     false(unreach-call) 1 wit inspect 7.8  4.1  310 0   0  
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   3.9 530 120 0     0     false(unreach-call) 1 wit inspect 35    20    1100 0   0  
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32   14   1500 220 0     0     false(unreach-call) 1 wit inspect 7.7  4.1  300 0   0  
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.1 540 110 0     0     false(unreach-call) 1 wit inspect 31    18    1100 0   0  
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32   14   1500 220 0     0     false(unreach-call) 1 wit inspect 7.5  4.0  300 0   0  
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   4.0 540 120 0     0     false(unreach-call) 1 wit inspect 29    16    1100 0   0  
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 1 wit inspect 33   14   1500 230 0     0     false(unreach-call) 1 wit inspect 7.6  4.0  300 0   0  
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 1 wit inspect 24   12   1200 200 0     0     false(unreach-call) 1 wit inspect 7.7  4.1  300 0   0  
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32   14   1500 210 0     0     false(unreach-call) 1 wit inspect 8.8  4.7  300 0   0  
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   4.0 540 110 0     0     false(unreach-call) 1 wit inspect 31    18    1100 0   0  
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26   12   1200 200 0     0     false(unreach-call) 1 wit inspect 8.9  4.7  300 0   0  
pthread-wmm/mix004_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 24   10   1100 200 0     0     timeout 0 wit inspect 95    71    2300 0   0  
pthread-wmm/mix004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 370   210   5600 2400 0     0     false(unreach-call) 1 wit inspect 19    10    640 0   0  
pthread-wmm/mix004_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 25   11   1100 180 0     0     timeout 0 wit inspect 97    71    2400 0   0  
pthread-wmm/mix004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 360   210   5500 2800 0     0     false(unreach-call) 1 wit inspect 17    8.6  600 0   0  
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 24   10   1100 200 0     0     timeout 0 wit inspect 96    76    2300 0   0  
pthread-wmm/mix004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 350   200   5500 2600 0     0     false(unreach-call) 1 wit inspect 20    10    620 0   0  
pthread-wmm/mix004_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 23   10   1100 180 0     0     timeout 0 wit inspect 96    73    2400 0   0  
pthread-wmm/mix004_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 370   210   5500 2300 0     0     false(unreach-call) 1 wit inspect 19    9.7  620 0   0  
pthread-wmm/mix005_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 24   10   1100 170 0     0     timeout 0 wit inspect 97    74    2400 0   0  
pthread-wmm/mix005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 370   210   5500 2200 0     0     false(unreach-call) 1 wit inspect 20    11    630 0   0  
pthread-wmm/mix005_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 23   9.7 1200 180 0     0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 360   200   5600 2700 0     0     false(unreach-call) 1 wit inspect 17    8.9  620 0   0  
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 23   9.8 1100 190 0     0     timeout 0 wit inspect 97    74    2400 0   0  
pthread-wmm/mix005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 360   190   5600 2800 0     0     false(unreach-call) 1 wit inspect 17    9.0  630 0   0  
pthread-wmm/mix005_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 130   73   4300 800 0     0     false(unreach-call) 1 wit inspect 55    40    1600 0   0  
pthread-wmm/mix005_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 350   190   5600 2600 0     0     false(unreach-call) 1 wit inspect 17    8.9  620 0   0  
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.7 680 130 0     0     false(unreach-call) 1 wit inspect 34    19    1100 0   0  
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 38   18   1700 270 0     0     false(unreach-call) 1 wit inspect 8.1  4.2  300 0   0  
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.6 680 130 0     0     false(unreach-call) 1 wit inspect 33    19    1100 0   0  
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 36   17   1700 270 0     0     false(unreach-call) 1 wit inspect 7.4  3.9  290 0   0  
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.7 680 120 0     0     false(unreach-call) 1 wit inspect 36    21    1200 0   0  
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 40   19   1700 270 0     0     false(unreach-call) 1 wit inspect 8.9  4.7  300 0   0  
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 130   99   3900 820 0     0     false(unreach-call) 1 wit inspect 18    9.7  600 0   0  
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 40   19   1600 270 0     0     false(unreach-call) 1 wit inspect 7.5  3.9  300 0   0  
pthread-wmm/mix007_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 35   15   1600 300 0     0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 520   310   6100 3500 0     0     false(unreach-call) 1 wit inspect 18    9.3  630 0   0  
pthread-wmm/mix007_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 34   15   1500 260 0     0     timeout 0 --- inspect 98    75    2400 0   0  
pthread-wmm/mix007_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 540   300   6300 4400 0     0     false(unreach-call) 1 wit inspect 19    9.6  620 0   0  
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 33   15   1600 230 0     0     timeout 0 wit inspect 95    71    2300 0   0  
pthread-wmm/mix007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 570   310   6300 3900 0     0     false(unreach-call) 1 wit inspect 21    11    630 0   0  
pthread-wmm/mix007_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37   16   1700 270 0     0     timeout 0 wit inspect 96    73    2300 0   0  
pthread-wmm/mix007_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 550   320   6300 3200 0     0     false(unreach-call) 1 wit inspect 17    8.8  620 0   0  
pthread-wmm/mix008_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 35   16   1600 250 0     0     timeout 0 wit inspect 96    76    2300 0   0  
pthread-wmm/mix008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 520   300   6100 3300 0     0     false(unreach-call) 1 wit inspect 20    10    620 0   0  
pthread-wmm/mix008_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 35   15   1500 240 0     0     timeout 0 wit inspect 96    73    2300 0   0  
pthread-wmm/mix008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 500   290   6100 4000 0     0     false(unreach-call) 1 wit inspect 17    8.7  610 0   0  
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 36   15   1600 250 0     0     timeout 0 wit inspect 97    74    2300 0   0  
pthread-wmm/mix008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 540   320   6100 3800 0     0     false(unreach-call) 1 wit inspect 17    8.8  620 0   0  
pthread-wmm/mix008_tso.oepc_false-unreach-call.i timeout 0 wit inspect 930   750   5800 7900 0     0     error 0 wit inspect 5.9  3.2  270 0   0  
pthread-wmm/mix008_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 560   330   6200 3200 0     0     false(unreach-call) 1 wit inspect 22    11    620 0   0  
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.0 2.5 400 71 0     0     false(unreach-call) 1 wit inspect 7.5  4.0  310 0   0  
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.6 2.8 480 84 0     0     false(unreach-call) 1 wit inspect 7.4  3.9  270 0   0  
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 7.8 2.4 390 68 0     0     false(unreach-call) 1 wit inspect 9.2  4.8  310 0   0  
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.7 2.8 480 79 0     0     false(unreach-call) 1 wit inspect 7.0  3.7  280 0   0  
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 7.9 2.4 400 62 0     0     false(unreach-call) 1 wit inspect 8.1  4.3  300 0   0  
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.7 2.8 480 86 0     0     false(unreach-call) 1 wit inspect 7.1  3.8  280 0   0  
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.0 2.4 390 68 0     0     false(unreach-call) 1 wit inspect 8.8  4.7  310 0   0  
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.8 2.8 480 84 0     0     false(unreach-call) 1 wit inspect 8.7  4.6  280 0   0  
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   4.2 570 110 0     0     false(unreach-call) 1 wit inspect 29    17    1100 0   0  
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33   15   1500 230 0     0     false(unreach-call) 1 wit inspect 8.9  4.7  320 0   0  
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   4.2 570 120 0     0     false(unreach-call) 1 wit inspect 31    17    1100 0   0  
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34   15   1500 250 0     0     false(unreach-call) 1 wit inspect 8.3  4.3  300 0   0  
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   4.2 560 110 0     0     false(unreach-call) 1 wit inspect 29    16    1100 0   0  
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33   14   1600 270 0     0     false(unreach-call) 1 wit inspect 8.1  4.3  310 0   0  
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 12   4.1 550 98 0     0     false(unreach-call) 1 wit inspect 31    18    1100 0   0  
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35   15   1500 240 0     0     false(unreach-call) 1 wit inspect 9.1  4.8  310 0   0  
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 12   4.0 560 120 0     0     false(unreach-call) 1 wit inspect 35    20    1200 0   0  
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34   15   1500 250 0     0     false(unreach-call) 1 wit inspect 9.1  4.8  300 0   0  
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 12   4.1 560 110 0     0     false(unreach-call) 1 wit inspect 29    16    1100 0   0  
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34   15   1500 280 0     0     false(unreach-call) 1 wit inspect 7.7  4.1  300 0   0  
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   4.2 570 120 0     0     false(unreach-call) 1 wit inspect 27    16    1100 0   0  
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35   15   1600 260 0     0     false(unreach-call) 1 wit inspect 7.6  4.0  300 0   0  
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21   8.2 1000 160 0     0     false(unreach-call) 1 wit inspect 23    12    720 0   0  
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 36   15   1500 260 0     0     false(unreach-call) 1 wit inspect 9.7  5.1  310 0   0  
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.2 2.5 390 73 0     0     false(unreach-call) 1 wit inspect 7.0  3.7  290 0   0  
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 7.8 2.4 380 63 0     0     false(unreach-call) 1 wit inspect 7.5  3.9  290 0   0  
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.1 2.5 380 70 0     0     false(unreach-call) 1 wit inspect 8.6  4.5  280 0   0  
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.3 2.7 480 72 0     0     false(unreach-call) 1 wit inspect 8.1  4.3  270 0   0  
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 7.7 2.4 380 61 0     0     false(unreach-call) 1 wit inspect 6.9  3.7  300 0   0  
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 7.9 2.4 380 64 0     0     false(unreach-call) 1 wit inspect 7.6  4.0  290 0   0  
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 7.9 2.4 390 68 0     0     false(unreach-call) 1 wit inspect 9.0  4.7  290 0   0  
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.3 2.7 360 75 0     0     false(unreach-call) 1 wit inspect 6.8  3.6  270 0   0  
pthread-wmm/mix013_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 25   10   1100 210 0     0     timeout 0 wit inspect 97    74    2400 0   0  
pthread-wmm/mix013_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 370   210   5500 2400 0     0     false(unreach-call) 1 wit inspect 18    9.3  620 0   0  
pthread-wmm/mix013_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 25   10   1100 180 0     0     timeout 0 wit inspect 96    77    2300 0   0  
pthread-wmm/mix013_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 370   200   5500 2500 0     0     false(unreach-call) 1 wit inspect 18    9.3  630 0   0  
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 24   10   1200 180 0     0     timeout 0 wit inspect 96    74    2300 0   0  
pthread-wmm/mix013_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 360   210   5500 2600 0     0     false(unreach-call) 1 wit inspect 16    8.1  620 0   0  
pthread-wmm/mix013_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 24   9.8 1100 170 0     0     timeout 0 wit inspect 94    75    2200 0   0  
pthread-wmm/mix013_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 370   210   5500 2300 0     0     false(unreach-call) 1 wit inspect 20    10    640 0   0  
pthread-wmm/mix014_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 34   15   1600 270 0     0     timeout 0 wit inspect 97    74    2400 0   0  
pthread-wmm/mix014_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 520   310   6000 3100 0     0     false(unreach-call) 1 wit inspect 16    8.5  620 0   0  
pthread-wmm/mix014_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 35   15   1600 300 0     0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix014_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 540   310   6000 3100 0     0     false(unreach-call) 1 wit inspect 19    10    620 0   0  
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 35   15   1600 250 0     0     timeout 0 wit inspect 96    73    2300 0   0  
pthread-wmm/mix014_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 520   310   6100 3500 0     0     false(unreach-call) 1 wit inspect 18    9.2  630 0   0  
pthread-wmm/mix014_tso.oepc_false-unreach-call.i timeout 0 wit inspect 940   710   6300 5400 0     0     error 0 wit inspect 5.7  3.1  270 0   0  
pthread-wmm/mix014_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 520   300   6000 3100 0     0     false(unreach-call) 1 wit inspect 16    8.3  620 0   0  
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   4.0 540 110 0     0     false(unreach-call) 1 wit inspect 40    26    1800 0   0  
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35   15   1500 230 0     0     false(unreach-call) 1 wit inspect 8.7  4.6  310 0   0  
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   4.1 530 110 0     0     false(unreach-call) 1 wit inspect 43    28    1900 0   0  
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35   15   1500 240 0     0     false(unreach-call) 1 wit inspect 7.8  4.1  310 0   0  
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 12   3.9 540 99 0     0     false(unreach-call) 1 wit inspect 43    28    1800 0   0  
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32   15   1300 230 0     0     false(unreach-call) 1 wit inspect 7.8  4.1  310 0   0  
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   4.0 530 110 0     0     false(unreach-call) 1 wit inspect 43    28    1900 0   0  
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35   15   1500 230 0     0     false(unreach-call) 1 wit inspect 9.0  4.7  310 0   0  
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 12   3.8 530 95 0     0     false(unreach-call) 1 wit inspect 29    16    1100 0   0  
pthread-wmm/mix016_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28   10   1200 190 0     0     false(unreach-call) 1 wit inspect 13    6.8  430 0   0  
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   3.9 540 110 0     0     false(unreach-call) 1 wit inspect 26    15    1100 0   0  
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25   12   1100 190 0     0     false(unreach-call) 1 wit inspect 7.7  4.1  290 0   0  
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 12   3.9 540 100 0     0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/mix016_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20   8.3 1100 190 0     0     false(unreach-call) 1 wit inspect 11    5.7  430 0   0  
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.0 550 100 0     0     false(unreach-call) 1 wit inspect 30    17    1100 0   0  
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25   12   1100 210 0     0     false(unreach-call) 1 wit inspect 7.5  4.0  290 0   0  
pthread-wmm/mix017_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 23   9.9 1200 190 0     0     timeout 0 wit inspect 98    77    2400 0   0  
pthread-wmm/mix017_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 250   130   5100 1800 0     0     false(unreach-call) 1 wit inspect 52    34    1800 0   0  
pthread-wmm/mix017_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 22   10   980 190 0     0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix017_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340   200   5200 2400 0     0     false(unreach-call) 1 wit inspect 16    8.3  620 0   0  
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 24   10   1200 190 0     0     timeout 0 wit inspect 97    72    2400 0   0  
pthread-wmm/mix017_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 260   130   5200 1700 0     0     false(unreach-call) 1 wit inspect 52    34    1800 0   0  
pthread-wmm/mix017_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 23   9.7 1100 190 0     0     timeout 0 wit inspect 94    75    2300 0   0  
pthread-wmm/mix017_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330   190   5600 2200 0     0     false(unreach-call) 1 wit inspect 19    9.9  690 0   0  
pthread-wmm/mix018_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 24   9.8 1100 190 0     0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix018_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340   190   5400 2200 0     0     false(unreach-call) 1 wit inspect 19    9.8  620 0   0  
pthread-wmm/mix018_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 24   9.6 1100 220 0     0     timeout 0 wit inspect 97    73    2300 0   0  
pthread-wmm/mix018_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330   190   5400 1900 0     0     false(unreach-call) 1 wit inspect 17    9.0  610 0   0  
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 23   9.7 1100 220 0     0     timeout 0 wit inspect 96    71    2400 0   0  
pthread-wmm/mix018_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340   190   5400 2000 0     0     false(unreach-call) 1 wit inspect 16    8.0  600 0   0  
pthread-wmm/mix018_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 110   64   3900 880 0     0     false(unreach-call) 1 wit inspect 38    24    1600 0   0  
pthread-wmm/mix018_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330   190   5400 2200 0     0     false(unreach-call) 1 wit inspect 16    8.4  620 0   0  
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   3.9 540 110 0     0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25   11   1100 210 0     0     false(unreach-call) 1 wit inspect 8.9  4.7  290 0   0  
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 12   3.8 520 100 0     0     false(unreach-call) 1 wit inspect 26    15    1100 0   0  
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26   12   1100 170 0     0     false(unreach-call) 1 wit inspect 8.5  4.5  290 0   0  
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   3.9 550 120 0     0     false(unreach-call) 1 wit inspect 25    15    1100 0   0  
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25   12   1100 180 0     0     false(unreach-call) 1 wit inspect 7.6  4.0  300 0   0  
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20   7.7 980 160 0     0     false(unreach-call) 1 wit inspect 11    6.0  480 0   0  
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25   12   1100 200 0     0     false(unreach-call) 1 wit inspect 7.6  4.0  300 0   0  
pthread-wmm/mix020_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 23   9.8 1100 170 0     0     timeout 0 --- inspect 98    73    2400 0   0  
pthread-wmm/mix020_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340   190   5500 2100 0     0     false(unreach-call) 1 wit inspect 18    9.6  610 0   0  
pthread-wmm/mix020_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 24   10   1100 180 0     0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix020_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 350   200   5400 2200 0     0     false(unreach-call) 1 wit inspect 16    8.4  620 0   0  
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 23   9.9 1100 180 0     0     timeout 0 wit inspect 96    72    2300 0   0  
pthread-wmm/mix020_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340   190   5400 2400 0     0     false(unreach-call) 1 wit inspect 18    9.5  630 0   0  
pthread-wmm/mix020_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 23   9.5 1100 200 0     0     timeout 0 --- inspect 98    73    2400 0   0  
pthread-wmm/mix020_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330   190   5400 2200 0     0     false(unreach-call) 1 wit inspect 16    8.4  620 0   0  
pthread-wmm/mix021_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 26   10   1100 190 0     0     timeout 0 wit inspect 97    72    2300 0   0  
pthread-wmm/mix021_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 360   190   5600 2000 0     0     false(unreach-call) 1 wit inspect 16    8.0  540 0   0  
pthread-wmm/mix021_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 24   9.6 1100 180 0     0     timeout 0 wit inspect 95    71    2300 0   0  
pthread-wmm/mix021_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340   190   5300 2700 0     0     false(unreach-call) 1 wit inspect 18    9.3  540 0   0  
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 24   9.9 1100 210 0     0     timeout 0 wit inspect 96    68    2400 0   0  
pthread-wmm/mix021_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330   190   5500 2300 0     0     false(unreach-call) 1 wit inspect 16    8.4  530 0   0  
pthread-wmm/mix021_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 220   130   4900 1600 0     0     false(unreach-call) 1 wit inspect 48    32    1800 0   0  
pthread-wmm/mix021_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340   190   5400 2300 0     0     false(unreach-call) 1 wit inspect 16    8.2  560 0   0  
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.2 2.5 460 64 0     0     false(unreach-call) 1 wit inspect 8.0  4.2  290 0   0  
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 8.4 2.5 460 70 0     0     false(unreach-call) 1 wit inspect 8.6  4.6  290 0   0  
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.5 2.5 470 70 0     0     false(unreach-call) 1 wit inspect 7.3  3.9  280 0   0  
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 8.6 2.6 460 74 0     0     false(unreach-call) 1 wit inspect 8.3  4.5  280 0   0  
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.7 2.7 460 71 0     0     false(unreach-call) 1 wit inspect 7.2  3.9  290 0   0  
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 8.5 2.6 460 79 0     .029 false(unreach-call) 1 wit inspect 7.4  4.0  290 0   0  
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.9 2.7 470 72 0     0     false(unreach-call) 1 wit inspect 10    5.3  340 0   0  
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.3 2.8 460 77 0     0     false(unreach-call) 1 wit inspect 8.5  4.5  350 0   0  
pthread-wmm/mix023_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39   19   1800 320 0     0     timeout 0 wit inspect 98    74    2400 0   0  
pthread-wmm/mix023_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 540   310   6300 3700 0     0     false(unreach-call) 1 wit inspect 62    44    2100 0   0  
pthread-wmm/mix023_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 40   19   1700 330 0     0     timeout 0 wit inspect 98    76    2400 0   0  
pthread-wmm/mix023_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 530   300   6300 4000 0     0     false(unreach-call) 1 wit inspect 65    46    2100 0   0  
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39   18   1700 280 0     0     timeout 0 wit inspect 96    73    2300 0   0  
pthread-wmm/mix023_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 550   320   6200 3700 0     0     false(unreach-call) 1 wit inspect 58    41    2200 0   0  
pthread-wmm/mix023_tso.oepc_false-unreach-call.i timeout 0 wit inspect 930   740   5600 5500 0     0     error 0 wit inspect 5.7  3.1  270 0   0  
pthread-wmm/mix023_tso.opt_false-unreach-call.i timeout 0 wit inspect 940   760   5400 4900 0     0     error 0 wit inspect 6.0  3.2  270 0   0  
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.5 700 120 0     0     false(unreach-call) 1 wit inspect 48    33    1900 0   0  
pthread-wmm/mix024_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34   13   1400 240 0     0     false(unreach-call) 1 wit inspect 13    6.7  480 0   0  
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.6 680 110 0     0     false(unreach-call) 1 wit inspect 48    32    1800 0   0  
pthread-wmm/mix024_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32   12   1400 240 0     0     false(unreach-call) 1 wit inspect 11    5.7  480 0   0  
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.6 690 130 0     0     false(unreach-call) 1 wit inspect 50    34    1800 0   0  
pthread-wmm/mix024_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33   13   1400 250 0     0     false(unreach-call) 1 wit inspect 13    6.9  490 0   0  
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.6 680 120 0     0     false(unreach-call) 1 wit inspect 47    32    1900 0   0  
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 13   4.5 680 120 0     0     false(unreach-call) 1 wit inspect 50    33    1900 0   0  
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.5 680 120 0     0     false(unreach-call) 1 wit inspect 32    19    1200 0   0  
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 15   4.6 700 140 0     0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.5 680 110 0     0     false(unreach-call) 1 wit inspect 34    19    1100 0   0  
pthread-wmm/mix025_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 30   12   1200 230 0     0     false(unreach-call) 1 wit inspect 12    6.4  440 0   0  
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.8 650 120 0     0     false(unreach-call) 1 wit inspect 30    17    1100 0   0  
pthread-wmm/mix025_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 30   12   1200 230 0     0     false(unreach-call) 1 wit inspect 13    6.8  430 0   0  
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.6 700 120 0     0     false(unreach-call) 1 wit inspect 34    18    1100 0   0  
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.5 680 120 0     0     false(unreach-call) 1 wit inspect 30    16    1100 0   0  
pthread-wmm/mix026_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 34   14   1600 270 0     0     timeout 0 wit inspect 95    71    2300 0   0  
pthread-wmm/mix026_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 190   100   4600 1300 0     0     false(unreach-call) 1 wit inspect 52    33    2200 0   0  
pthread-wmm/mix026_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 35   15   1600 260 0     0     timeout 0 wit inspect 98    75    2400 0   0  
pthread-wmm/mix026_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340   180   5300 2400 0     0     false(unreach-call) 1 wit inspect 45    29    2100 0   0  
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 34   15   1600 240 0     0     timeout 0 wit inspect 96    72    2300 0   0  
pthread-wmm/mix026_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330   180   5400 2500 0     0     false(unreach-call) 1 wit inspect 53    35    2000 0   0  
pthread-wmm/mix026_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 34   14   1600 290 0     0     timeout 0 wit inspect 95    71    2300 0   0  
pthread-wmm/mix026_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 200   110   4700 1500 0     0     false(unreach-call) 1 wit inspect 48    31    2100 0   0  
pthread-wmm/mix027_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 34   14   1600 250 0     0     timeout 0 wit inspect 95    69    2300 0   0  
pthread-wmm/mix027_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330   180   5400 2400 0     0     false(unreach-call) 1 wit inspect 58    38    2000 0   0  
pthread-wmm/mix027_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 25   12   1200 190 0     0     timeout 0 wit inspect 98    73    2400 0   0  
pthread-wmm/mix027_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 320   180   5300 2100 0     0     false(unreach-call) 1 wit inspect 49    32    2000 0   0  
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 34   14   1600 240 0     0     timeout 0 --- inspect 98    75    2400 0   0  
pthread-wmm/mix027_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330   180   5300 2300 0     0     false(unreach-call) 1 wit inspect 46    31    2000 0   0  
pthread-wmm/mix027_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 150   90   4400 1100 0     0     false(unreach-call) 1 wit inspect 46    29    1800 0   0  
pthread-wmm/mix027_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 160   97   4400 990 0     0     false(unreach-call) 1 wit inspect 47    30    1600 0   0  
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.5 690 120 0     0     false(unreach-call) 1 wit inspect 33    19    1200 0   0  
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24   9.6 1100 180 0     0     false(unreach-call) 1 wit inspect 13    6.5  470 0   0  
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.6 610 120 0     0     false(unreach-call) 1 wit inspect 30    17    1100 0   0  
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21   9.3 1100 180 0     0     false(unreach-call) 1 wit inspect 15    7.6  470 0   0  
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15   4.6 700 120 0     0     false(unreach-call) 1 wit inspect 27    16    1100 0   0  
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23   9.6 1100 200 0     .029 false(unreach-call) 1 wit inspect 13    6.8  470 0   0  
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34   15   1500 270 0     0     false(unreach-call) 1 wit inspect 10    5.3  430 0   0  
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34   15   1500 240 0     0     false(unreach-call) 1 wit inspect 11    5.7  430 0   0  
pthread-wmm/mix029_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 33   14   1600 220 0     0     timeout 0 --- inspect 98    74    2400 0   0  
pthread-wmm/mix029_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 310   200   5100 2000 0     0     false(unreach-call) 1 wit inspect 58    38    2000 0   0  
pthread-wmm/mix029_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 33   14   1600 270 0     0     timeout 0 wit inspect 97    74    2400 0   0  
pthread-wmm/mix029_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 280   180   5100 2400 0     0     false(unreach-call) 1 wit inspect 51    35    2000 0   0  
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 33   14   1600 290 0     0     timeout 0 --- inspect 98    73    2400 0   0  
pthread-wmm/mix029_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 300   190   5100 2000 0     0     false(unreach-call) 1 wit inspect 53    37    2000 0   0  
pthread-wmm/mix029_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 34   15   1600 240 0     0     timeout 0 wit inspect 96    74    2400 0   0  
pthread-wmm/mix029_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 35   14   1600 240 0     0     timeout 0 wit inspect 95    72    2400 0   0  
pthread-wmm/mix030_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 34   15   1600 230 0     0     timeout 0 --- inspect 98    75    2400 0   0  
pthread-wmm/mix030_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 290   180   5100 2700 0     0     false(unreach-call) 1 wit inspect 50    34    1900 0   0  
pthread-wmm/mix030_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 34   15   1600 230 0     0     timeout 0 wit inspect 96    74    2300 0   0  
pthread-wmm/mix030_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 290   180   5100 2500 0     0     false(unreach-call) 1 wit inspect 57    39    2000 0   0  
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 34   15   1600 280 0     0     timeout 0 wit inspect 95    71    2300 0   0  
pthread-wmm/mix030_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 290   190   5100 2000 0     0     false(unreach-call) 1 wit inspect 43    29    1900 0   0  
pthread-wmm/mix030_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 350   210   5300 2400 0     0     false(unreach-call) 1 wit inspect 18    9.1  630 0   0  
pthread-wmm/mix030_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 360   220   5300 2300 0     0     false(unreach-call) 1 wit inspect 18    9.2  610 0   0  
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.2 2.5 400 67 0     0     false(unreach-call) 1 wit inspect 8.2  4.4  310 0   0  
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 8.1 2.5 400 62 0     0     false(unreach-call) 1 wit inspect 6.8  3.6  280 0   0  
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.1 2.4 410 70 0     0     false(unreach-call) 1 wit inspect 8.4  4.5  310 0   0  
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 8.5 2.5 460 73 0     0     false(unreach-call) 1 wit inspect 7.4  3.9  280 0   0  
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.3 2.5 410 67 0     0     false(unreach-call) 1 wit inspect 8.7  4.7  310 0   0  
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 8.1 2.4 400 73 0     0     false(unreach-call) 1 wit inspect 8.3  4.4  280 0   0  
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.3 2.5 320 67 0     0     false(unreach-call) 1