BENCHMARK INFORMATION benchmark definition: ../benchexec/cpa-seq-validate-violation-witnesses.xml name: cpa-seq-validate-violation-witnesses run sets: SV-COMP21_unreach-call.ConcurrencySafety-Main date: Thu, 2021-09-23 17:53:22 CEST tool: CPAchecker 2.0.1-svn tool executable: /storage/repos/cpachecker/scripts/cpa.sh options: -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 parallel runs: 14 resource limits: - memory: 7000.0 MB - time: 90 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 7000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-5.4.65-1-pve-x86_64-with-glibc2.31 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ SV-COMP21_unreach-call.ConcurrencySafety-Main Run set 1 of 5 with options '-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 /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/results-verified/uautomizer-local.2021-09-22_14-18-52.files/${rundefinition_name}/${taskdef_name}/witness.graphml' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- pthread/bigshot_p.yml ERROR 5.01 2.70 None pthread/fib_bench-2.yml ERROR (invalid witness file) 0.75 0.50 None pthread/fib_bench_longer-2.yml ERROR (invalid witness file) 0.78 0.49 None pthread/fib_bench_longest-2.yml ERROR (invalid witness file) 0.64 0.49 None pthread/lazy01.yml false(unreach-call) 6.13 3.32 None pthread/queue.yml ERROR (invalid witness file) 0.61 0.43 None pthread/queue_longer.yml ERROR (invalid witness file) 0.60 0.39 None pthread/queue_longest.yml ERROR (invalid witness file) 0.76 0.48 None pthread/reorder_2.yml ERROR (invalid witness file) 0.59 0.38 None pthread/reorder_5.yml ERROR (invalid witness file) 0.64 0.43 None pthread/sigma.yml ERROR (invalid witness file) 0.79 0.50 None pthread/singleton.yml ERROR 8.33 4.36 None pthread/stack-2.yml ERROR 5.38 2.89 None pthread/stack_longer-1.yml ERROR 5.25 2.89 None pthread/stack_longest-1.yml ERROR 5.58 3.01 None pthread/stateful01-1.yml true 5.59 3.13 None pthread/triangular-2.yml TIMEOUT 97.12 56.57 None pthread/triangular-longer-2.yml TIMEOUT 97.14 66.15 None pthread/triangular-longest-2.yml TIMEOUT 98.04 57.17 None pthread/twostage_3.yml ERROR (invalid witness file) 0.68 0.69 None pthread-atomic/qrcu-2.yml TIMEOUT 98.15 52.63 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 5.03 2.76 None pthread-ext/25_stack_longer-1.yml ERROR (invalid witness file) 0.79 0.49 None pthread-ext/25_stack_longest-2.yml ERROR (invalid witness file) 0.78 0.53 None pthread-ext/26_stack_cas_longer-1.yml ERROR (invalid witness file) 0.64 0.56 None pthread-ext/26_stack_cas_longest-1.yml ERROR (invalid witness file) 0.81 0.50 None pthread-ext/27_Boop_simple_vf.yml ERROR 5.08 3.00 None pthread-ext/28_buggy_simple_loop1_vf.yml ERROR 4.56 2.50 None pthread-ext/32_pthread5_vs.yml ERROR (invalid witness file) 0.80 0.55 None pthread-ext/40_barrier_vf.yml ERROR (invalid witness file) 0.61 0.40 None pthread-wmm/mix000_power.oepc.yml false(unreach-call) 5.87 3.30 None pthread-wmm/mix000_power.opt.yml false(unreach-call) 7.64 4.07 None pthread-wmm/mix000_pso.oepc.yml false(unreach-call) 6.18 3.35 None pthread-wmm/mix000_pso.opt.yml false(unreach-call) 5.61 3.00 None pthread-wmm/mix000_rmo.oepc.yml false(unreach-call) 8.14 4.28 None pthread-wmm/mix000_rmo.opt.yml false(unreach-call) 5.92 3.20 None pthread-wmm/mix000_tso.oepc.yml false(unreach-call) 6.12 3.31 None pthread-wmm/mix000_tso.opt.yml false(unreach-call) 7.77 4.07 None pthread-wmm/mix001_power.oepc.yml false(unreach-call) 6.36 3.45 None pthread-wmm/mix001_power.opt.yml false(unreach-call) 6.64 4.37 None pthread-wmm/mix001_pso.oepc.yml false(unreach-call) 6.19 3.53 None pthread-wmm/mix001_pso.opt.yml false(unreach-call) 5.77 3.09 None pthread-wmm/mix001_rmo.oepc.yml false(unreach-call) 6.34 3.47 None pthread-wmm/mix001_rmo.opt.yml false(unreach-call) 6.28 3.46 None pthread-wmm/mix001_tso.oepc.yml false(unreach-call) 6.30 3.39 None pthread-wmm/mix001_tso.opt.yml false(unreach-call) 8.17 4.37 None pthread-wmm/mix002_power.oepc.yml TIMEOUT 96.49 66.67 None pthread-wmm/mix002_power.opt.yml false(unreach-call) 8.10 4.27 None pthread-wmm/mix002_pso.oepc.yml TIMEOUT 95.99 72.47 None pthread-wmm/mix002_pso.opt.yml false(unreach-call) 6.89 4.56 None pthread-wmm/mix002_rmo.oepc.yml TIMEOUT 95.86 71.06 None pthread-wmm/mix002_rmo.opt.yml false(unreach-call) 5.52 3.10 None pthread-wmm/mix002_tso.oepc.yml TIMEOUT 96.24 71.35 None pthread-wmm/mix002_tso.opt.yml false(unreach-call) 6.46 3.54 None pthread-wmm/mix003_power.oepc.yml TIMEOUT 93.19 70.33 None pthread-wmm/mix003_power.opt.yml false(unreach-call) 7.56 4.00 None pthread-wmm/mix003_pso.oepc.yml TIMEOUT 95.29 65.93 None pthread-wmm/mix003_pso.opt.yml false(unreach-call) 5.63 3.01 None pthread-wmm/mix003_rmo.oepc.yml TIMEOUT 94.15 72.07 None pthread-wmm/mix003_rmo.opt.0.1.yml false(unreach-call) 6.58 3.75 None pthread-wmm/mix003_rmo.opt.0.yml false(unreach-call) 8.21 4.34 None pthread-wmm/mix003_rmo.opt.yml false(unreach-call) 5.84 3.13 None pthread-wmm/mix003_tso.oepc.yml TIMEOUT 94.36 74.28 None pthread-wmm/mix003_tso.opt.yml false(unreach-call) 5.51 2.96 None pthread-wmm/mix004_power.oepc.yml false(unreach-call) 8.06 4.26 None pthread-wmm/mix004_power.opt.yml false(unreach-call) 5.94 3.18 None pthread-wmm/mix004_pso.oepc.yml false(unreach-call) 8.63 4.58 None pthread-wmm/mix004_pso.opt.yml false(unreach-call) 5.86 3.13 None pthread-wmm/mix004_rmo.oepc.yml false(unreach-call) 6.27 3.37 None pthread-wmm/mix004_rmo.opt.yml false(unreach-call) 8.40 4.37 None pthread-wmm/mix004_tso.oepc.yml false(unreach-call) 6.15 3.24 None pthread-wmm/mix004_tso.opt.yml false(unreach-call) 8.01 4.21 None pthread-wmm/mix005_power.oepc.yml TIMEOUT 96.22 68.03 None pthread-wmm/mix005_power.opt.yml false(unreach-call) 8.31 4.44 None pthread-wmm/mix005_pso.oepc.yml TIMEOUT 98.13 64.59 None pthread-wmm/mix005_pso.opt.yml false(unreach-call) 7.85 4.15 None pthread-wmm/mix005_rmo.oepc.yml TIMEOUT 98.10 66.29 None pthread-wmm/mix005_rmo.opt.yml false(unreach-call) 7.72 4.06 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 8.48 4.48 None pthread-wmm/mix005_tso.opt.yml false(unreach-call) 8.28 4.37 None pthread-wmm/mix006_power.oepc.yml false(unreach-call) 7.60 3.97 None pthread-wmm/mix006_power.opt.yml false(unreach-call) 7.88 4.16 None pthread-wmm/mix006_pso.oepc.yml false(unreach-call) 6.04 3.37 None pthread-wmm/mix006_pso.opt.yml false(unreach-call) 8.31 4.46 None pthread-wmm/mix006_rmo.oepc.yml false(unreach-call) 6.42 3.89 None pthread-wmm/mix006_rmo.opt.yml false(unreach-call) 7.72 4.09 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 8.89 4.72 None pthread-wmm/mix006_tso.opt.yml false(unreach-call) 5.92 3.49 None pthread-wmm/mix007_power.oepc.yml TIMEOUT 98.07 65.53 None pthread-wmm/mix007_power.opt.yml false(unreach-call) 8.15 4.26 None pthread-wmm/mix007_pso.oepc.yml TIMEOUT 98.08 68.18 None pthread-wmm/mix007_pso.opt.yml false(unreach-call) 5.97 3.47 None pthread-wmm/mix007_rmo.oepc.yml TIMEOUT 98.19 65.21 None pthread-wmm/mix007_rmo.opt.yml false(unreach-call) 8.24 4.31 None pthread-wmm/mix007_tso.oepc.yml TIMEOUT 96.61 67.21 None pthread-wmm/mix007_tso.opt.yml false(unreach-call) 6.20 3.32 None pthread-wmm/mix008_power.oepc.yml TIMEOUT 94.57 67.92 None pthread-wmm/mix008_power.opt.yml false(unreach-call) 6.48 3.76 None pthread-wmm/mix008_pso.oepc.yml TIMEOUT 94.60 67.22 None pthread-wmm/mix008_pso.opt.yml false(unreach-call) 8.21 4.32 None pthread-wmm/mix008_rmo.oepc.yml TIMEOUT 94.70 72.73 None pthread-wmm/mix008_rmo.opt.yml false(unreach-call) 6.48 3.74 None pthread-wmm/mix008_tso.oepc.yml TIMEOUT 95.20 73.11 None pthread-wmm/mix008_tso.opt.yml false(unreach-call) 8.26 4.33 None pthread-wmm/mix009_power.oepc.yml false(unreach-call) 6.01 3.91 None pthread-wmm/mix009_power.opt.yml false(unreach-call) 6.17 3.66 None pthread-wmm/mix009_pso.oepc.yml false(unreach-call) 7.66 4.02 None pthread-wmm/mix009_pso.opt.yml false(unreach-call) 6.20 3.88 None pthread-wmm/mix009_rmo.oepc.yml false(unreach-call) 6.40 4.21 None pthread-wmm/mix009_rmo.opt.yml false(unreach-call) 8.12 4.26 None pthread-wmm/mix009_tso.oepc.yml false(unreach-call) 6.21 4.05 None pthread-wmm/mix009_tso.opt.yml false(unreach-call) 6.61 4.37 None pthread-wmm/mix010_power.oepc.yml TIMEOUT 94.18 64.65 None pthread-wmm/mix010_power.opt.yml false(unreach-call) 6.51 4.10 None pthread-wmm/mix010_pso.oepc.yml TIMEOUT 93.69 70.19 None pthread-wmm/mix010_pso.opt.yml false(unreach-call) 6.56 4.10 None pthread-wmm/mix010_rmo.oepc.yml TIMEOUT 94.67 77.04 None pthread-wmm/mix010_rmo.opt.yml false(unreach-call) 8.09 4.30 None pthread-wmm/mix010_tso.oepc.yml TIMEOUT 94.23 76.23 None pthread-wmm/mix010_tso.opt.yml false(unreach-call) 8.51 4.46 None pthread-wmm/mix011_power.oepc.yml TIMEOUT 94.21 64.64 None pthread-wmm/mix011_power.opt.yml false(unreach-call) 8.01 4.24 None pthread-wmm/mix011_pso.oepc.yml TIMEOUT 95.93 66.17 None pthread-wmm/mix011_pso.opt.yml false(unreach-call) 8.38 4.44 None pthread-wmm/mix011_rmo.oepc.yml TIMEOUT 94.93 64.57 None pthread-wmm/mix011_rmo.opt.yml false(unreach-call) 7.93 4.77 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 8.26 4.35 None pthread-wmm/mix011_tso.opt.yml false(unreach-call) 5.88 3.17 None pthread-wmm/mix012_power.oepc.yml false(unreach-call) 6.01 3.25 None pthread-wmm/mix012_power.opt.yml false(unreach-call) 7.96 4.32 None pthread-wmm/mix012_pso.oepc.yml false(unreach-call) 5.59 2.98 None pthread-wmm/mix012_pso.opt.yml false(unreach-call) 8.54 4.52 None pthread-wmm/mix012_rmo.oepc.yml false(unreach-call) 5.67 3.04 None pthread-wmm/mix012_rmo.opt.yml false(unreach-call) 5.93 3.19 None pthread-wmm/mix012_tso.oepc.yml false(unreach-call) 5.66 3.03 None pthread-wmm/mix012_tso.opt.yml false(unreach-call) 7.85 4.23 None pthread-wmm/mix013_power.oepc.yml false(unreach-call) 8.88 4.69 None pthread-wmm/mix013_power.opt.yml false(unreach-call) 6.34 3.39 None pthread-wmm/mix013_pso.oepc.yml false(unreach-call) 6.09 3.25 None pthread-wmm/mix013_pso.opt.yml false(unreach-call) 6.46 3.47 None pthread-wmm/mix013_rmo.oepc.yml false(unreach-call) 6.22 3.49 None pthread-wmm/mix013_rmo.opt.yml false(unreach-call) 8.05 4.36 None pthread-wmm/mix013_tso.oepc.yml false(unreach-call) 5.91 3.18 None pthread-wmm/mix013_tso.opt.yml false(unreach-call) 8.56 4.53 None pthread-wmm/mix014_power.oepc.yml TIMEOUT 96.74 67.31 None pthread-wmm/mix014_power.opt.yml false(unreach-call) 6.58 3.55 None pthread-wmm/mix014_pso.oepc.yml TIMEOUT 96.82 67.57 None pthread-wmm/mix014_pso.opt.yml false(unreach-call) 6.30 3.56 None pthread-wmm/mix014_rmo.oepc.yml TIMEOUT 97.35 69.21 None pthread-wmm/mix014_rmo.opt.yml false(unreach-call) 8.86 4.89 None pthread-wmm/mix014_tso.oepc.yml TIMEOUT 95.43 74.19 None pthread-wmm/mix014_tso.opt.yml false(unreach-call) 8.86 4.66 None pthread-wmm/mix015_power.oepc.yml false(unreach-call) 6.21 3.50 None pthread-wmm/mix015_power.opt.yml false(unreach-call) 8.04 4.28 None pthread-wmm/mix015_pso.oepc.yml false(unreach-call) 8.47 4.68 None pthread-wmm/mix015_pso.opt.yml false(unreach-call) 6.15 3.48 None pthread-wmm/mix015_rmo.oepc.yml false(unreach-call) 8.69 4.58 None pthread-wmm/mix015_rmo.opt.yml false(unreach-call) 8.32 4.42 None pthread-wmm/mix015_tso.oepc.yml false(unreach-call) 6.07 3.39 None pthread-wmm/mix015_tso.opt.yml false(unreach-call) 8.33 4.68 None pthread-wmm/mix016_power.oepc.yml false(unreach-call) 8.16 4.29 None pthread-wmm/mix016_power.opt.yml false(unreach-call) 5.89 3.22 None pthread-wmm/mix016_pso.oepc.yml false(unreach-call) 8.13 4.31 None pthread-wmm/mix016_pso.opt.yml false(unreach-call) 5.83 3.27 None pthread-wmm/mix016_rmo.oepc.yml false(unreach-call) 8.01 4.56 None pthread-wmm/mix016_rmo.opt.yml false(unreach-call) 8.16 4.30 None pthread-wmm/mix016_tso.oepc.yml false(unreach-call) 5.70 3.04 None pthread-wmm/mix016_tso.opt.yml false(unreach-call) 6.05 3.35 None pthread-wmm/mix017_power.oepc.yml false(unreach-call) 8.51 4.49 None pthread-wmm/mix017_power.opt.yml TIMEOUT 98.03 68.04 None pthread-wmm/mix017_pso.oepc.yml false(unreach-call) 8.16 4.29 None pthread-wmm/mix017_pso.opt.yml false(unreach-call) 8.53 4.84 None pthread-wmm/mix017_rmo.oepc.yml false(unreach-call) 8.85 4.65 None pthread-wmm/mix017_rmo.opt.yml TIMEOUT 97.55 69.51 None pthread-wmm/mix017_tso.oepc.yml false(unreach-call) 6.42 3.74 None pthread-wmm/mix017_tso.opt.yml false(unreach-call) 8.20 4.32 None pthread-wmm/mix018_power.oepc.yml false(unreach-call) 6.50 4.67 None pthread-wmm/mix018_power.opt.yml false(unreach-call) 8.16 4.38 None pthread-wmm/mix018_pso.oepc.yml false(unreach-call) 6.59 4.42 None pthread-wmm/mix018_pso.opt.yml false(unreach-call) 8.16 4.80 None pthread-wmm/mix018_rmo.oepc.yml false(unreach-call) 8.21 4.31 None pthread-wmm/mix018_rmo.opt.yml false(unreach-call) 8.27 4.36 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 6.62 4.22 None pthread-wmm/mix018_tso.opt.yml false(unreach-call) 8.44 4.49 None pthread-wmm/mix019_power.oepc.yml TIMEOUT 94.26 76.01 None pthread-wmm/mix019_power.opt.yml false(unreach-call) 8.20 4.35 None pthread-wmm/mix019_pso.oepc.yml TIMEOUT 95.84 67.73 None pthread-wmm/mix019_pso.opt.yml false(unreach-call) 7.86 4.31 None pthread-wmm/mix019_rmo.oepc.yml TIMEOUT 96.30 65.16 None pthread-wmm/mix019_rmo.opt.yml false(unreach-call) 6.36 4.52 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 8.06 4.35 None pthread-wmm/mix019_tso.opt.yml false(unreach-call) 8.24 4.33 None pthread-wmm/mix020_power.oepc.yml false(unreach-call) 8.18 4.41 None pthread-wmm/mix020_power.opt.yml false(unreach-call) 6.55 4.08 None pthread-wmm/mix020_pso.oepc.yml false(unreach-call) 8.25 4.40 None pthread-wmm/mix020_pso.opt.yml false(unreach-call) 8.53 4.48 None pthread-wmm/mix020_rmo.oepc.yml false(unreach-call) 8.36 4.45 None pthread-wmm/mix020_rmo.opt.yml false(unreach-call) 6.72 4.66 None pthread-wmm/mix020_tso.oepc.yml false(unreach-call) 8.20 4.37 None pthread-wmm/mix020_tso.opt.yml false(unreach-call) 8.28 4.39 None pthread-wmm/mix021_power.oepc.yml TIMEOUT 94.27 66.74 None pthread-wmm/mix021_power.opt.yml false(unreach-call) 8.48 4.50 None pthread-wmm/mix021_pso.oepc.yml TIMEOUT 94.16 74.24 None pthread-wmm/mix021_pso.opt.yml false(unreach-call) 8.28 4.39 None pthread-wmm/mix021_rmo.oepc.yml TIMEOUT 95.13 65.50 None pthread-wmm/mix021_rmo.opt.yml false(unreach-call) 8.85 4.65 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 7.83 4.14 None pthread-wmm/mix021_tso.opt.yml false(unreach-call) 8.87 4.68 None pthread-wmm/mix022_power.oepc.yml false(unreach-call) 7.64 4.08 None pthread-wmm/mix022_power.opt.yml false(unreach-call) 8.20 4.30 None pthread-wmm/mix022_pso.oepc.yml false(unreach-call) 7.63 4.03 None pthread-wmm/mix022_pso.opt.yml false(unreach-call) 5.97 3.26 None pthread-wmm/mix022_rmo.oepc.yml false(unreach-call) 5.78 3.09 None pthread-wmm/mix022_rmo.opt.yml false(unreach-call) 7.20 3.81 None pthread-wmm/mix022_tso.oepc.yml false(unreach-call) 8.00 4.19 None pthread-wmm/mix022_tso.opt.yml false(unreach-call) 5.99 3.23 None pthread-wmm/mix023_power.oepc.yml false(unreach-call) 6.50 3.48 None pthread-wmm/mix023_power.opt.yml false(unreach-call) 5.69 3.01 None pthread-wmm/mix023_pso.oepc.yml false(unreach-call) 8.08 4.25 None pthread-wmm/mix023_pso.opt.yml false(unreach-call) 8.44 4.46 None pthread-wmm/mix023_rmo.oepc.yml false(unreach-call) 6.43 3.49 None pthread-wmm/mix023_rmo.opt.yml false(unreach-call) 6.24 3.36 None pthread-wmm/mix023_tso.oepc.yml TIMEOUT 94.38 72.87 None pthread-wmm/mix023_tso.opt.yml TIMEOUT 96.19 69.55 None pthread-wmm/mix024_power.oepc.yml false(unreach-call) 8.34 4.36 None pthread-wmm/mix024_power.opt.yml false(unreach-call) 5.90 3.17 None pthread-wmm/mix024_pso.oepc.yml false(unreach-call) 6.41 3.38 None pthread-wmm/mix024_pso.opt.yml false(unreach-call) 6.09 3.28 None pthread-wmm/mix024_rmo.oepc.yml false(unreach-call) 6.18 3.34 None pthread-wmm/mix024_rmo.opt.yml false(unreach-call) 6.17 3.38 None pthread-wmm/mix024_tso.oepc.yml false(unreach-call) 6.11 3.28 None pthread-wmm/mix024_tso.opt.yml false(unreach-call) 8.29 4.35 None pthread-wmm/mix025_power.oepc.yml TIMEOUT 96.52 72.61 None pthread-wmm/mix025_power.opt.yml TIMEOUT 95.22 72.29 None pthread-wmm/mix025_pso.oepc.yml TIMEOUT 94.53 71.79 None pthread-wmm/mix025_pso.opt.yml false(unreach-call) 8.24 4.34 None pthread-wmm/mix025_rmo.oepc.yml TIMEOUT 96.06 73.59 None pthread-wmm/mix025_rmo.opt.yml false(unreach-call) 8.20 4.32 None pthread-wmm/mix025_tso.oepc.yml TIMEOUT 93.77 70.74 None pthread-wmm/mix025_tso.opt.yml TIMEOUT 96.04 64.74 None pthread-wmm/mix026_power.oepc.yml false(unreach-call) 8.30 4.37 None pthread-wmm/mix026_power.opt.yml TIMEOUT 98.12 65.99 None pthread-wmm/mix026_pso.oepc.yml false(unreach-call) 8.36 4.43 None pthread-wmm/mix026_pso.opt.yml false(unreach-call) 5.87 3.51 None pthread-wmm/mix026_rmo.oepc.yml false(unreach-call) 8.35 4.36 None pthread-wmm/mix026_rmo.opt.yml false(unreach-call) 5.89 3.45 None pthread-wmm/mix026_tso.oepc.yml false(unreach-call) 8.52 4.51 None pthread-wmm/mix026_tso.opt.yml TIMEOUT 97.87 66.77 None pthread-wmm/mix027_power.oepc.yml TIMEOUT 94.05 77.34 None pthread-wmm/mix027_power.opt.yml false(unreach-call) 8.27 4.34 None pthread-wmm/mix027_pso.oepc.yml TIMEOUT 94.51 67.74 None pthread-wmm/mix027_pso.opt.yml false(unreach-call) 7.88 4.17 None pthread-wmm/mix027_rmo.oepc.yml TIMEOUT 94.46 75.04 None pthread-wmm/mix027_rmo.opt.yml false(unreach-call) 8.27 4.34 None pthread-wmm/mix027_tso.oepc.yml false(unreach-call) 8.45 4.44 None pthread-wmm/mix027_tso.opt.yml false(unreach-call) 8.04 4.24 None pthread-wmm/mix028_power.oepc.yml false(unreach-call) 7.92 4.19 None pthread-wmm/mix028_power.opt.yml false(unreach-call) 8.22 4.34 None pthread-wmm/mix028_pso.oepc.yml false(unreach-call) 8.19 4.36 None pthread-wmm/mix028_pso.opt.yml false(unreach-call) 5.51 2.98 None pthread-wmm/mix028_rmo.oepc.yml false(unreach-call) 8.47 4.46 None pthread-wmm/mix028_rmo.opt.yml false(unreach-call) 5.39 2.93 None pthread-wmm/mix028_tso.oepc.yml false(unreach-call) 7.70 4.05 None pthread-wmm/mix028_tso.opt.yml false(unreach-call) 8.19 4.35 None pthread-wmm/mix029_power.oepc.yml TIMEOUT 93.64 69.72 None pthread-wmm/mix029_power.opt.yml false(unreach-call) 8.00 4.23 None pthread-wmm/mix029_pso.oepc.yml TIMEOUT 95.36 71.02 None pthread-wmm/mix029_pso.opt.yml false(unreach-call) 6.29 3.42 None pthread-wmm/mix029_rmo.oepc.yml TIMEOUT 95.11 72.27 None pthread-wmm/mix029_rmo.opt.yml false(unreach-call) 7.98 4.21 None pthread-wmm/mix029_tso.oepc.yml TIMEOUT 94.72 65.20 None pthread-wmm/mix029_tso.opt.yml TIMEOUT 95.42 65.01 None pthread-wmm/mix030_power.oepc.yml false(unreach-call) 6.10 3.23 None pthread-wmm/mix030_power.opt.yml false(unreach-call) 8.30 4.39 None pthread-wmm/mix030_pso.oepc.yml false(unreach-call) 6.00 3.30 None pthread-wmm/mix030_pso.opt.yml false(unreach-call) 5.45 2.94 None pthread-wmm/mix030_rmo.oepc.yml false(unreach-call) 6.79 3.61 None pthread-wmm/mix030_rmo.opt.yml false(unreach-call) 8.25 4.41 None pthread-wmm/mix030_tso.oepc.yml false(unreach-call) 8.44 4.47 None pthread-wmm/mix030_tso.opt.yml false(unreach-call) 5.76 3.13 None pthread-wmm/mix031_power.oepc.yml true 56.68 40.48 None pthread-wmm/mix031_power.opt.yml false(unreach-call) 5.97 3.20 None pthread-wmm/mix031_pso.oepc.yml true 60.54 41.98 None pthread-wmm/mix031_pso.opt.yml false(unreach-call) 7.58 4.03 None pthread-wmm/mix031_rmo.oepc.yml true 71.07 49.10 None pthread-wmm/mix031_rmo.opt.yml false(unreach-call) 6.08 3.26 None pthread-wmm/mix031_tso.oepc.yml true 64.87 45.98 None pthread-wmm/mix031_tso.opt.yml false(unreach-call) 7.81 4.33 None pthread-wmm/mix032_power.oepc.yml false(unreach-call) 8.04 4.24 None pthread-wmm/mix032_power.opt.yml false(unreach-call) 7.92 4.22 None pthread-wmm/mix032_pso.oepc.yml false(unreach-call) 8.12 4.35 None pthread-wmm/mix032_pso.opt.yml false(unreach-call) 7.68 4.09 None pthread-wmm/mix032_rmo.oepc.yml false(unreach-call) 8.02 4.22 None pthread-wmm/mix032_rmo.opt.yml false(unreach-call) 7.63 4.00 None pthread-wmm/mix032_tso.oepc.yml false(unreach-call) 7.52 3.97 None pthread-wmm/mix032_tso.opt.yml false(unreach-call) 7.35 3.85 None pthread-wmm/mix033_power.oepc.yml false(unreach-call) 5.85 3.91 None pthread-wmm/mix033_power.opt.yml false(unreach-call) 7.89 4.20 None pthread-wmm/mix033_pso.oepc.yml false(unreach-call) 7.52 4.00 None pthread-wmm/mix033_pso.opt.yml false(unreach-call) 7.57 3.97 None pthread-wmm/mix033_rmo.oepc.yml false(unreach-call) 5.47 3.13 None pthread-wmm/mix033_rmo.opt.yml false(unreach-call) 7.90 4.43 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 7.71 4.14 None pthread-wmm/mix033_tso.opt.yml false(unreach-call) 7.64 4.04 None pthread-wmm/mix034_power.oepc.yml true 53.20 39.17 None pthread-wmm/mix034_power.opt.yml true 53.96 40.79 None pthread-wmm/mix034_pso.oepc.yml true 60.26 40.31 None pthread-wmm/mix034_pso.opt.yml false(unreach-call) 7.82 4.14 None pthread-wmm/mix034_rmo.oepc.yml true 67.43 45.77 None pthread-wmm/mix034_rmo.opt.yml true 62.20 41.42 None pthread-wmm/mix034_tso.oepc.yml true 40.58 25.97 None pthread-wmm/mix034_tso.opt.yml false(unreach-call) 5.57 3.11 None pthread-wmm/mix035_power.oepc.yml TIMEOUT 93.42 69.25 None pthread-wmm/mix035_power.opt.yml false(unreach-call) 7.84 4.16 None pthread-wmm/mix035_pso.oepc.yml TIMEOUT 94.38 69.93 None pthread-wmm/mix035_pso.opt.yml false(unreach-call) 5.68 3.07 None pthread-wmm/mix035_rmo.oepc.yml TIMEOUT 93.66 65.06 None pthread-wmm/mix035_rmo.opt.yml false(unreach-call) 8.16 4.34 None pthread-wmm/mix035_tso.oepc.yml TIMEOUT 94.33 63.27 None pthread-wmm/mix035_tso.opt.yml false(unreach-call) 5.48 2.95 None pthread-wmm/mix036_power.oepc.yml TIMEOUT 94.10 70.18 None pthread-wmm/mix036_power.opt.yml TIMEOUT 97.93 68.84 None pthread-wmm/mix036_pso.oepc.yml TIMEOUT 95.96 66.06 None pthread-wmm/mix036_pso.opt.yml false(unreach-call) 5.58 2.97 None pthread-wmm/mix036_rmo.oepc.yml TIMEOUT 96.09 74.03 None pthread-wmm/mix036_rmo.opt.yml TIMEOUT 97.96 72.30 None pthread-wmm/mix036_tso.oepc.yml TIMEOUT 93.36 79.47 None pthread-wmm/mix036_tso.opt.yml false(unreach-call) 6.64 4.64 None pthread-wmm/mix037_power.oepc.yml false(unreach-call) 8.87 4.90 None pthread-wmm/mix037_power.opt.yml false(unreach-call) 6.50 4.92 None pthread-wmm/mix037_pso.oepc.yml false(unreach-call) 9.08 5.12 None pthread-wmm/mix037_pso.opt.yml false(unreach-call) 8.04 4.33 None pthread-wmm/mix037_rmo.oepc.yml false(unreach-call) 8.78 4.65 None pthread-wmm/mix037_rmo.opt.yml false(unreach-call) 6.36 4.20 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 7.95 4.33 None pthread-wmm/mix037_tso.opt.yml false(unreach-call) 8.10 4.43 None pthread-wmm/mix038_power.oepc.yml TIMEOUT 95.00 65.61 None pthread-wmm/mix038_power.opt.yml false(unreach-call) 6.29 4.46 None pthread-wmm/mix038_pso.oepc.yml TIMEOUT 93.60 67.80 None pthread-wmm/mix038_pso.opt.yml false(unreach-call) 8.04 4.72 None pthread-wmm/mix038_rmo.oepc.yml TIMEOUT 93.91 79.77 None pthread-wmm/mix038_rmo.opt.yml false(unreach-call) 7.76 4.43 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 7.78 4.34 None pthread-wmm/mix038_tso.opt.yml false(unreach-call) 7.68 4.24 None pthread-wmm/mix039_power.oepc.yml false(unreach-call) 8.38 4.54 None pthread-wmm/mix039_power.opt.yml false(unreach-call) 8.23 4.71 None pthread-wmm/mix039_pso.oepc.yml false(unreach-call) 6.23 3.42 None pthread-wmm/mix039_pso.opt.yml false(unreach-call) 7.81 4.18 None pthread-wmm/mix039_rmo.oepc.yml false(unreach-call) 8.59 4.56 None pthread-wmm/mix039_rmo.opt.yml false(unreach-call) 6.16 3.47 None pthread-wmm/mix039_tso.oepc.yml false(unreach-call) 8.27 4.40 None pthread-wmm/mix039_tso.opt.yml false(unreach-call) 6.37 3.48 None pthread-wmm/mix040_power.oepc.yml TIMEOUT 96.99 68.49 None pthread-wmm/mix040_power.opt.yml false(unreach-call) 6.11 3.37 None pthread-wmm/mix040_pso.oepc.yml TIMEOUT 97.90 63.96 None pthread-wmm/mix040_pso.opt.yml false(unreach-call) 8.10 4.31 None pthread-wmm/mix040_rmo.oepc.yml TIMEOUT 96.30 68.40 None pthread-wmm/mix040_rmo.opt.yml false(unreach-call) 8.45 4.54 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 5.99 3.35 None pthread-wmm/mix040_tso.opt.yml false(unreach-call) 6.08 3.30 None pthread-wmm/mix041_power.oepc.yml false(unreach-call) 5.98 3.29 None pthread-wmm/mix041_power.opt.yml false(unreach-call) 7.40 4.04 None pthread-wmm/mix041_pso.oepc.yml false(unreach-call) 5.67 3.07 None pthread-wmm/mix041_pso.opt.yml false(unreach-call) 7.98 4.35 None pthread-wmm/mix041_rmo.oepc.yml false(unreach-call) 6.00 3.27 None pthread-wmm/mix041_rmo.opt.yml false(unreach-call) 6.02 3.26 None pthread-wmm/mix041_tso.oepc.yml false(unreach-call) 5.59 3.12 None pthread-wmm/mix041_tso.opt.yml false(unreach-call) 7.52 3.99 None pthread-wmm/mix042_power.oepc.yml TIMEOUT 94.99 65.14 None pthread-wmm/mix042_power.opt.yml false(unreach-call) 5.90 3.26 None pthread-wmm/mix042_pso.oepc.yml TIMEOUT 94.48 71.43 None pthread-wmm/mix042_pso.opt.yml false(unreach-call) 5.95 3.61 None pthread-wmm/mix042_rmo.oepc.yml TIMEOUT 93.04 70.77 None pthread-wmm/mix042_rmo.opt.yml false(unreach-call) 5.82 3.20 None pthread-wmm/mix042_tso.oepc.yml TIMEOUT 94.79 66.88 None pthread-wmm/mix042_tso.opt.yml false(unreach-call) 6.08 3.36 None pthread-wmm/mix043_power.oepc.yml false(unreach-call) 6.64 3.82 None pthread-wmm/mix043_power.opt.yml false(unreach-call) 5.78 3.15 None pthread-wmm/mix043_pso.oepc.yml false(unreach-call) 6.48 3.52 None pthread-wmm/mix043_pso.opt.yml false(unreach-call) 5.80 3.17 None pthread-wmm/mix043_rmo.oepc.yml false(unreach-call) 6.43 3.61 None pthread-wmm/mix043_rmo.opt.yml false(unreach-call) 6.24 3.41 None pthread-wmm/mix043_tso.oepc.yml false(unreach-call) 5.98 3.29 None pthread-wmm/mix043_tso.opt.yml false(unreach-call) 5.90 3.32 None pthread-wmm/mix044_power.oepc.yml TIMEOUT 97.27 78.46 None pthread-wmm/mix044_power.opt.yml false(unreach-call) 7.83 4.14 None pthread-wmm/mix044_pso.oepc.yml TIMEOUT 96.23 69.00 None pthread-wmm/mix044_pso.opt.yml false(unreach-call) 5.99 3.27 None pthread-wmm/mix044_rmo.oepc.yml TIMEOUT 96.29 70.33 None pthread-wmm/mix044_rmo.opt.yml false(unreach-call) 7.97 4.26 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 6.03 3.28 None pthread-wmm/mix044_tso.opt.yml false(unreach-call) 7.79 4.18 None pthread-wmm/mix045_power.oepc.yml false(unreach-call) 5.65 3.09 None pthread-wmm/mix045_power.opt.yml false(unreach-call) 7.74 4.09 None pthread-wmm/mix045_pso.oepc.yml false(unreach-call) 7.87 4.26 None pthread-wmm/mix045_pso.opt.yml false(unreach-call) 5.67 3.06 None pthread-wmm/mix045_rmo.oepc.yml false(unreach-call) 8.06 4.27 None pthread-wmm/mix045_rmo.opt.yml false(unreach-call) 5.45 3.01 None pthread-wmm/mix045_tso.oepc.yml false(unreach-call) 7.39 3.95 None pthread-wmm/mix045_tso.opt.yml false(unreach-call) 7.68 4.12 None pthread-wmm/mix046_power.oepc.yml TIMEOUT 96.33 67.75 None pthread-wmm/mix046_power.opt.yml false(unreach-call) 7.52 4.03 None pthread-wmm/mix046_pso.oepc.yml TIMEOUT 97.53 78.51 None pthread-wmm/mix046_pso.opt.yml false(unreach-call) 7.73 4.08 None pthread-wmm/mix046_rmo.oepc.yml TIMEOUT 98.19 65.83 None pthread-wmm/mix046_rmo.opt.yml false(unreach-call) 8.03 4.25 None pthread-wmm/mix046_tso.oepc.yml TIMEOUT 98.20 64.95 None pthread-wmm/mix046_tso.opt.yml false(unreach-call) 8.23 4.44 None pthread-wmm/mix047_power.oepc.yml TIMEOUT 98.14 66.08 None pthread-wmm/mix047_power.opt.yml false(unreach-call) 8.32 4.51 None pthread-wmm/mix047_pso.oepc.yml TIMEOUT 96.42 68.64 None pthread-wmm/mix047_pso.opt.yml false(unreach-call) 7.89 4.20 None pthread-wmm/mix047_rmo.oepc.yml TIMEOUT 98.21 64.56 None pthread-wmm/mix047_rmo.opt.yml false(unreach-call) 8.30 4.36 None pthread-wmm/mix047_tso.oepc.yml false(unreach-call) 7.43 3.97 None pthread-wmm/mix047_tso.opt.yml false(unreach-call) 8.28 4.36 None pthread-wmm/mix048_power.oepc.yml false(unreach-call) 5.99 3.23 None pthread-wmm/mix048_power.opt.yml false(unreach-call) 5.54 3.07 None pthread-wmm/mix048_pso.oepc.yml false(unreach-call) 7.43 3.94 None pthread-wmm/mix048_pso.opt.yml false(unreach-call) 5.65 3.07 None pthread-wmm/mix048_rmo.oepc.yml false(unreach-call) 7.85 4.13 None pthread-wmm/mix048_rmo.opt.yml false(unreach-call) 5.49 2.92 None pthread-wmm/mix048_tso.oepc.yml false(unreach-call) 7.42 3.92 None pthread-wmm/mix048_tso.opt.yml false(unreach-call) 5.84 3.14 None pthread-wmm/mix049_power.oepc.yml false(unreach-call) 5.61 2.97 None pthread-wmm/mix049_power.opt.yml false(unreach-call) 8.52 4.44 None pthread-wmm/mix049_pso.oepc.yml false(unreach-call) 6.01 3.22 None pthread-wmm/mix049_pso.opt.yml false(unreach-call) 7.90 4.15 None pthread-wmm/mix049_rmo.oepc.yml false(unreach-call) 5.89 3.16 None pthread-wmm/mix049_rmo.opt.yml false(unreach-call) 6.03 3.26 None pthread-wmm/mix049_tso.oepc.yml false(unreach-call) 7.87 4.11 None pthread-wmm/mix049_tso.opt.yml false(unreach-call) 6.07 3.28 None pthread-wmm/mix050_power.oepc.yml false(unreach-call) 6.01 3.25 None pthread-wmm/mix050_power.opt.yml false(unreach-call) 8.17 4.30 None pthread-wmm/mix050_pso.oepc.yml false(unreach-call) 6.66 3.56 None pthread-wmm/mix050_pso.opt.yml false(unreach-call) 6.16 3.35 None pthread-wmm/mix050_rmo.oepc.yml false(unreach-call) 6.12 3.28 None pthread-wmm/mix050_rmo.opt.yml false(unreach-call) 8.61 4.51 None pthread-wmm/mix050_tso.oepc.yml false(unreach-call) 5.73 3.06 None pthread-wmm/mix050_tso.opt.yml false(unreach-call) 6.18 3.36 None pthread-wmm/mix051_power.oepc.yml TIMEOUT 94.24 67.82 None pthread-wmm/mix051_power.opt.yml TIMEOUT 94.56 70.78 None pthread-wmm/mix051_pso.oepc.yml TIMEOUT 94.19 74.42 None pthread-wmm/mix051_pso.opt.yml false(unreach-call) 5.56 3.09 None pthread-wmm/mix051_rmo.oepc.yml TIMEOUT 93.02 70.68 None pthread-wmm/mix051_rmo.opt.yml false(unreach-call) 8.17 4.36 None pthread-wmm/mix051_tso.oepc.yml TIMEOUT 96.04 69.83 None pthread-wmm/mix051_tso.opt.yml false(unreach-call) 5.64 2.99 None pthread-wmm/mix052_power.oepc.yml false(unreach-call) 8.52 4.53 None pthread-wmm/mix052_power.opt.yml false(unreach-call) 5.45 2.88 None pthread-wmm/mix052_pso.oepc.yml false(unreach-call) 5.94 3.19 None pthread-wmm/mix052_pso.opt.yml false(unreach-call) 5.05 2.73 None pthread-wmm/mix052_rmo.oepc.yml false(unreach-call) 8.51 4.46 None pthread-wmm/mix052_rmo.opt.yml false(unreach-call) 5.44 2.92 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 7.42 3.91 None pthread-wmm/mix052_tso.opt.yml false(unreach-call) 5.57 2.95 None pthread-wmm/mix053_power.oepc.yml TIMEOUT 96.34 67.81 None pthread-wmm/mix053_power.opt.yml false(unreach-call) 8.16 4.31 None pthread-wmm/mix053_pso.oepc.yml TIMEOUT 96.34 68.99 None pthread-wmm/mix053_pso.opt.yml false(unreach-call) 7.55 3.99 None pthread-wmm/mix053_rmo.oepc.yml TIMEOUT 98.19 66.55 None pthread-wmm/mix053_rmo.opt.yml false(unreach-call) 8.19 4.30 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 7.66 4.13 None pthread-wmm/mix053_tso.opt.yml false(unreach-call) 5.88 3.42 None pthread-wmm/mix054_power.oepc.yml false(unreach-call) 7.90 4.23 None pthread-wmm/mix054_power.opt.yml false(unreach-call) 7.48 3.94 None pthread-wmm/mix054_pso.oepc.yml false(unreach-call) 5.87 3.33 None pthread-wmm/mix054_pso.opt.yml false(unreach-call) 7.69 4.07 None pthread-wmm/mix054_rmo.oepc.yml false(unreach-call) 7.45 4.00 None pthread-wmm/mix054_rmo.opt.yml false(unreach-call) 7.68 4.17 None pthread-wmm/mix054_tso.oepc.yml false(unreach-call) 5.39 3.14 None pthread-wmm/mix054_tso.opt.yml false(unreach-call) 7.37 3.93 None pthread-wmm/mix055_power.oepc.yml TIMEOUT 96.91 75.51 None pthread-wmm/mix055_power.opt.yml false(unreach-call) 7.54 4.01 None pthread-wmm/mix055_pso.oepc.yml TIMEOUT 98.13 66.83 None pthread-wmm/mix055_pso.opt.yml false(unreach-call) 5.61 3.01 None pthread-wmm/mix055_rmo.oepc.yml TIMEOUT 98.15 65.08 None pthread-wmm/mix055_rmo.opt.yml false(unreach-call) 7.97 4.20 None pthread-wmm/mix055_tso.oepc.yml TIMEOUT 93.68 68.36 None pthread-wmm/mix055_tso.opt.yml false(unreach-call) 7.79 4.12 None pthread-wmm/mix056_power.oepc.yml TIMEOUT 94.65 65.55 None pthread-wmm/mix056_power.opt.yml false(unreach-call) 7.65 4.03 None pthread-wmm/mix056_pso.oepc.yml TIMEOUT 94.40 66.50 None pthread-wmm/mix056_pso.opt.yml false(unreach-call) 7.26 3.92 None pthread-wmm/mix056_rmo.oepc.yml TIMEOUT 95.12 72.84 None pthread-wmm/mix056_rmo.opt.yml false(unreach-call) 5.67 3.06 None pthread-wmm/mix056_tso.oepc.yml false(unreach-call) 7.36 3.93 None pthread-wmm/mix056_tso.opt.yml false(unreach-call) 5.77 3.14 None pthread-wmm/mix057_power.oepc.yml TIMEOUT 97.63 69.21 None pthread-wmm/mix057_power.opt.yml false(unreach-call) 6.20 3.84 None pthread-wmm/mix057_pso.oepc.yml TIMEOUT 98.08 67.42 None pthread-wmm/mix057_pso.opt.yml false(unreach-call) 5.67 3.05 None pthread-wmm/mix057_rmo.oepc.yml TIMEOUT 97.56 76.80 None pthread-wmm/mix057_rmo.opt.yml false(unreach-call) 5.45 2.96 None pthread-wmm/mix057_tso.oepc.yml false(unreach-call) 5.58 3.01 None pthread-wmm/mix057_tso.opt.yml false(unreach-call) 5.68 3.06 None pthread-wmm/podwr000_power.oepc.yml false(unreach-call) 5.47 2.94 None pthread-wmm/podwr000_power.opt.yml false(unreach-call) 7.60 4.03 None pthread-wmm/podwr000_pso.oepc.yml false(unreach-call) 5.43 2.96 None pthread-wmm/podwr000_pso.opt.yml false(unreach-call) 5.47 2.92 None pthread-wmm/podwr000_rmo.oepc.yml false(unreach-call) 5.38 2.93 None pthread-wmm/podwr000_rmo.opt.yml false(unreach-call) 5.47 2.96 None pthread-wmm/podwr000_tso.oepc.yml false(unreach-call) 7.33 3.85 None pthread-wmm/podwr000_tso.opt.yml false(unreach-call) 5.26 2.79 None pthread-wmm/podwr001_power.oepc.yml false(unreach-call) 5.57 3.03 None pthread-wmm/podwr001_power.opt.yml false(unreach-call) 5.83 3.13 None pthread-wmm/podwr001_pso.oepc.yml false(unreach-call) 5.38 2.92 None pthread-wmm/podwr001_pso.opt.yml false(unreach-call) 7.53 3.96 None pthread-wmm/podwr001_rmo.oepc.yml false(unreach-call) 5.86 3.13 None pthread-wmm/podwr001_rmo.opt.yml false(unreach-call) 5.40 2.89 None pthread-wmm/podwr001_tso.oepc.yml false(unreach-call) 5.47 2.92 None pthread-wmm/podwr001_tso.opt.yml false(unreach-call) 7.88 4.14 None pthread-wmm/rfi000_power.oepc.yml false(unreach-call) 5.84 3.14 None pthread-wmm/rfi000_power.opt.yml false(unreach-call) 5.73 3.09 None pthread-wmm/rfi000_pso.oepc.yml false(unreach-call) 5.87 3.12 None pthread-wmm/rfi000_pso.opt.yml false(unreach-call) 7.29 3.94 None pthread-wmm/rfi000_rmo.oepc.yml false(unreach-call) 5.82 3.13 None pthread-wmm/rfi000_rmo.opt.yml false(unreach-call) 5.70 3.09 None pthread-wmm/rfi001_power.oepc.yml false(unreach-call) 7.61 4.04 None pthread-wmm/rfi001_power.opt.yml false(unreach-call) 5.20 2.77 None pthread-wmm/rfi001_pso.oepc.yml false(unreach-call) 7.62 4.04 None pthread-wmm/rfi001_pso.opt.yml false(unreach-call) 5.40 2.98 None pthread-wmm/rfi001_rmo.oepc.yml false(unreach-call) 5.83 3.15 None pthread-wmm/rfi001_rmo.opt.yml false(unreach-call) 7.38 3.87 None pthread-wmm/rfi001_tso.oepc.yml false(unreach-call) 5.25 2.82 None pthread-wmm/rfi001_tso.opt.yml false(unreach-call) 5.52 2.97 None pthread-wmm/rfi003_power.oepc.yml false(unreach-call) 7.78 4.09 None pthread-wmm/rfi003_power.opt.yml false(unreach-call) 7.57 4.00 None pthread-wmm/rfi003_pso.oepc.yml false(unreach-call) 7.96 4.20 None pthread-wmm/rfi003_pso.opt.yml false(unreach-call) 5.42 2.94 None pthread-wmm/rfi003_rmo.oepc.yml false(unreach-call) 5.49 2.98 None pthread-wmm/rfi003_rmo.opt.yml false(unreach-call) 5.47 2.94 None pthread-wmm/rfi004_power.oepc.yml false(unreach-call) 5.78 3.59 None pthread-wmm/rfi004_power.opt.yml false(unreach-call) 7.41 3.98 None pthread-wmm/rfi004_pso.oepc.yml false(unreach-call) 5.80 3.10 None pthread-wmm/rfi004_pso.opt.yml false(unreach-call) 7.33 3.88 None pthread-wmm/rfi004_rmo.oepc.yml false(unreach-call) 7.74 4.06 None pthread-wmm/rfi004_rmo.opt.yml false(unreach-call) 5.52 3.01 None pthread-wmm/rfi004_tso.oepc.yml false(unreach-call) 5.87 3.15 None pthread-wmm/rfi004_tso.opt.yml false(unreach-call) 7.71 4.05 None pthread-wmm/rfi005_power.oepc.yml false(unreach-call) 5.38 2.87 None pthread-wmm/rfi005_power.opt.yml false(unreach-call) 5.73 3.13 None pthread-wmm/rfi005_pso.oepc.yml false(unreach-call) 5.86 3.48 None pthread-wmm/rfi005_pso.opt.yml false(unreach-call) 6.83 3.61 None pthread-wmm/rfi005_rmo.oepc.yml false(unreach-call) 7.62 4.06 None pthread-wmm/rfi005_rmo.opt.yml false(unreach-call) 5.31 2.87 None pthread-wmm/rfi005_tso.oepc.yml false(unreach-call) 5.47 3.00 None pthread-wmm/rfi005_tso.opt.yml false(unreach-call) 7.39 3.93 None pthread-wmm/rfi006_power.oepc.yml TIMEOUT 92.89 70.28 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 8.51 4.45 None pthread-wmm/rfi006_pso.oepc.yml false(unreach-call) 6.22 3.33 None pthread-wmm/rfi006_pso.opt.yml false(unreach-call) 8.30 4.37 None pthread-wmm/rfi006_rmo.oepc.yml false(unreach-call) 6.36 3.72 None pthread-wmm/rfi006_rmo.opt.yml false(unreach-call) 8.24 4.45 None pthread-wmm/rfi006_tso.oepc.yml false(unreach-call) 5.87 3.14 None pthread-wmm/rfi006_tso.opt.yml false(unreach-call) 7.92 4.27 None pthread-wmm/rfi007_power.oepc.yml false(unreach-call) 5.63 3.05 None pthread-wmm/rfi007_power.opt.yml false(unreach-call) 7.22 3.78 None pthread-wmm/rfi007_pso.oepc.yml false(unreach-call) 5.73 3.11 None pthread-wmm/rfi007_pso.opt.yml false(unreach-call) 7.73 4.13 None pthread-wmm/rfi007_rmo.oepc.yml false(unreach-call) 5.65 3.33 None pthread-wmm/rfi007_rmo.opt.yml false(unreach-call) 7.55 4.00 None pthread-wmm/rfi007_tso.oepc.yml false(unreach-call) 5.56 3.10 None pthread-wmm/rfi007_tso.opt.yml false(unreach-call) 5.71 3.12 None pthread-wmm/rfi008_power.oepc.yml false(unreach-call) 7.87 4.13 None pthread-wmm/rfi008_power.opt.yml false(unreach-call) 7.90 4.37 None pthread-wmm/rfi008_pso.oepc.yml false(unreach-call) 8.04 4.27 None pthread-wmm/rfi008_pso.opt.yml false(unreach-call) 6.28 3.53 None pthread-wmm/rfi008_rmo.oepc.yml false(unreach-call) 6.13 3.71 None pthread-wmm/rfi008_rmo.opt.yml false(unreach-call) 5.43 3.01 None pthread-wmm/rfi008_tso.oepc.yml false(unreach-call) 8.23 4.34 None pthread-wmm/rfi008_tso.opt.yml false(unreach-call) 5.80 3.10 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 8.20 4.30 None pthread-wmm/rfi009_power.opt.yml false(unreach-call) 7.82 4.18 None pthread-wmm/rfi009_pso.oepc.yml false(unreach-call) 8.22 4.51 None pthread-wmm/rfi009_pso.opt.yml false(unreach-call) 6.26 3.35 None pthread-wmm/rfi009_rmo.oepc.yml TIMEOUT 94.34 70.50 None pthread-wmm/rfi009_rmo.opt.yml false(unreach-call) 5.97 3.19 None pthread-wmm/rfi009_tso.oepc.yml false(unreach-call) 5.91 3.21 None pthread-wmm/rfi009_tso.opt.yml false(unreach-call) 6.33 3.81 None pthread-wmm/rfi010_power.oepc.yml false(unreach-call) 7.85 4.12 None pthread-wmm/rfi010_power.opt.yml false(unreach-call) 7.77 4.10 None pthread-wmm/rfi010_pso.oepc.yml false(unreach-call) 7.58 4.03 None pthread-wmm/rfi010_pso.opt.yml false(unreach-call) 6.12 3.30 None pthread-wmm/rfi010_rmo.oepc.yml false(unreach-call) 5.61 3.02 None pthread-wmm/rfi010_rmo.opt.yml false(unreach-call) 7.55 4.02 None pthread-wmm/rfi010_tso.oepc.yml false(unreach-call) 5.77 3.11 None pthread-wmm/rfi010_tso.opt.yml false(unreach-call) 5.85 3.49 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 8.74 4.62 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 8.57 4.49 None pthread-wmm/safe000_rmo.oepc.yml false(unreach-call) 6.38 3.50 None pthread-wmm/safe000_rmo.opt.yml false(unreach-call) 6.05 3.25 None pthread-wmm/safe001_power.oepc.yml TIMEOUT 94.32 73.89 None pthread-wmm/safe001_power.opt.yml false(unreach-call) 6.12 3.35 None pthread-wmm/safe001_pso.oepc.yml false(unreach-call) 7.95 4.55 None pthread-wmm/safe001_pso.opt.yml false(unreach-call) 6.10 4.26 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 6.34 3.42 None pthread-wmm/safe001_rmo.opt.yml false(unreach-call) 5.91 3.24 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 9.12 4.79 None pthread-wmm/safe002_power.opt.yml false(unreach-call) 5.88 3.45 None pthread-wmm/safe002_pso.oepc.yml false(unreach-call) 7.84 4.14 None pthread-wmm/safe002_pso.opt.yml false(unreach-call) 8.01 4.93 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 6.26 4.31 None pthread-wmm/safe002_rmo.opt.yml false(unreach-call) 6.24 3.54 None pthread-wmm/safe003_power.oepc.yml false(unreach-call) 5.89 3.28 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 8.19 4.34 None pthread-wmm/safe003_pso.oepc.yml false(unreach-call) 6.23 3.36 None pthread-wmm/safe003_pso.opt.yml false(unreach-call) 6.20 3.45 None pthread-wmm/safe003_rmo.oepc.yml false(unreach-call) 8.48 4.43 None pthread-wmm/safe003_rmo.opt.yml false(unreach-call) 6.29 3.35 None pthread-wmm/safe004_power.oepc.yml false(unreach-call) 8.64 4.53 None pthread-wmm/safe004_power.opt.yml false(unreach-call) 5.59 3.04 None pthread-wmm/safe004_pso.oepc.yml false(unreach-call) 6.74 3.61 None pthread-wmm/safe004_pso.opt.yml false(unreach-call) 5.94 3.91 None pthread-wmm/safe004_rmo.oepc.yml false(unreach-call) 8.05 4.37 None pthread-wmm/safe004_rmo.opt.yml false(unreach-call) 6.05 3.26 None pthread-wmm/safe005_power.oepc.yml false(unreach-call) 6.15 3.43 None pthread-wmm/safe005_power.opt.yml false(unreach-call) 5.92 3.17 None pthread-wmm/safe005_pso.oepc.yml false(unreach-call) 7.95 4.20 None pthread-wmm/safe005_pso.opt.yml false(unreach-call) 7.70 4.03 None pthread-wmm/safe005_rmo.oepc.yml false(unreach-call) 5.78 3.19 None pthread-wmm/safe005_rmo.opt.yml false(unreach-call) 7.88 4.22 None pthread-wmm/safe006_power.oepc.yml false(unreach-call) 6.21 3.37 None pthread-wmm/safe006_power.opt.yml false(unreach-call) 6.52 4.65 None pthread-wmm/safe006_rmo.oepc.yml false(unreach-call) 5.76 3.11 None pthread-wmm/safe006_rmo.opt.yml false(unreach-call) 5.79 3.21 None pthread-wmm/safe007_power.oepc.yml TIMEOUT 94.48 66.02 None pthread-wmm/safe007_power.opt.yml false(unreach-call) 8.42 4.57 None pthread-wmm/safe007_rmo.oepc.yml false(unreach-call) 8.00 4.24 None pthread-wmm/safe007_rmo.opt.yml false(unreach-call) 5.79 3.20 None pthread-wmm/safe008_power.oepc.yml false(unreach-call) 8.14 4.28 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 6.43 3.45 None pthread-wmm/safe008_pso.oepc.yml false(unreach-call) 8.12 4.26 None pthread-wmm/safe008_pso.opt.yml false(unreach-call) 5.76 3.07 None pthread-wmm/safe008_rmo.oepc.yml false(unreach-call) 5.72 3.20 None pthread-wmm/safe008_rmo.opt.yml false(unreach-call) 6.01 3.80 None pthread-wmm/safe009_power.oepc.yml TIMEOUT 93.85 79.54 None pthread-wmm/safe009_power.opt.yml TIMEOUT 93.10 74.58 None pthread-wmm/safe009_rmo.oepc.yml TIMEOUT 94.56 77.47 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 7.83 4.11 None pthread-wmm/safe010_power.oepc.yml false(unreach-call) 5.80 3.12 None pthread-wmm/safe010_power.opt.yml false(unreach-call) 5.71 3.13 None pthread-wmm/safe010_pso.oepc.yml false(unreach-call) 5.30 2.90 None pthread-wmm/safe010_pso.opt.yml false(unreach-call) 7.83 4.15 None pthread-wmm/safe010_rmo.oepc.yml false(unreach-call) 7.46 3.91 None pthread-wmm/safe010_rmo.opt.yml false(unreach-call) 5.77 4.06 None pthread-wmm/safe011_power.oepc.yml false(unreach-call) 5.76 3.11 None pthread-wmm/safe011_power.opt.yml false(unreach-call) 5.88 3.17 None pthread-wmm/safe011_pso.oepc.yml false(unreach-call) 5.96 3.50 None pthread-wmm/safe011_pso.opt.yml false(unreach-call) 8.04 4.36 None pthread-wmm/safe011_rmo.oepc.yml false(unreach-call) 8.24 4.32 None pthread-wmm/safe011_rmo.opt.yml false(unreach-call) 8.00 4.19 None pthread-wmm/safe012_power.oepc.yml TIMEOUT 97.94 75.61 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 6.39 3.42 None pthread-wmm/safe012_pso.oepc.yml false(unreach-call) 6.16 3.29 None pthread-wmm/safe012_pso.opt.yml false(unreach-call) 5.88 3.25 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 8.04 4.30 None pthread-wmm/safe012_rmo.opt.yml false(unreach-call) 8.23 4.34 None pthread-wmm/safe013_power.oepc.yml false(unreach-call) 7.99 4.22 None pthread-wmm/safe013_power.opt.yml false(unreach-call) 5.76 3.09 None pthread-wmm/safe013_pso.oepc.yml false(unreach-call) 5.73 3.08 None pthread-wmm/safe013_pso.opt.yml false(unreach-call) 5.81 3.22 None pthread-wmm/safe013_rmo.oepc.yml false(unreach-call) 7.76 4.30 None pthread-wmm/safe013_rmo.opt.yml false(unreach-call) 5.85 3.15 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 6.38 3.42 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 8.50 4.47 None pthread-wmm/safe014_rmo.oepc.yml TIMEOUT 98.19 62.92 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 6.38 3.60 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 6.08 3.28 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 7.07 3.86 None pthread-wmm/safe015_rmo.oepc.yml false(unreach-call) 8.40 4.41 None pthread-wmm/safe015_rmo.opt.yml false(unreach-call) 6.36 3.50 None pthread-wmm/safe016_power.oepc.yml TIMEOUT 95.64 64.09 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 6.16 3.44 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 6.41 3.50 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 6.34 3.35 None pthread-wmm/safe017_power.oepc.yml false(unreach-call) 7.93 4.18 None pthread-wmm/safe017_power.opt.yml false(unreach-call) 6.01 3.24 None pthread-wmm/safe017_pso.oepc.yml false(unreach-call) 6.31 3.54 None pthread-wmm/safe017_pso.opt.yml false(unreach-call) 5.90 3.23 None pthread-wmm/safe017_rmo.oepc.yml false(unreach-call) 7.51 3.96 None pthread-wmm/safe017_rmo.opt.yml false(unreach-call) 5.79 3.14 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 6.30 3.48 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 6.13 3.65 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 5.90 3.16 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 8.44 4.49 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 6.63 3.55 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 6.43 3.43 None pthread-wmm/safe019_rmo.oepc.yml TIMEOUT 94.60 71.36 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 6.57 3.62 None pthread-wmm/safe020_power.oepc.yml false(unreach-call) 6.68 3.57 None pthread-wmm/safe020_power.opt.yml false(unreach-call) 8.90 4.69 None pthread-wmm/safe020_rmo.oepc.yml false(unreach-call) 5.93 3.18 None pthread-wmm/safe020_rmo.opt.yml false(unreach-call) 6.37 3.52 None pthread-wmm/safe021_power.oepc.yml false(unreach-call) 6.06 3.24 None pthread-wmm/safe021_power.opt.yml false(unreach-call) 5.81 3.13 None pthread-wmm/safe021_pso.oepc.yml false(unreach-call) 5.60 3.24 None pthread-wmm/safe021_pso.opt.yml false(unreach-call) 7.95 4.24 None pthread-wmm/safe021_rmo.oepc.yml false(unreach-call) 7.90 4.20 None pthread-wmm/safe021_rmo.opt.yml false(unreach-call) 6.19 3.34 None pthread-wmm/safe022_power.oepc.yml false(unreach-call) 5.58 3.00 None pthread-wmm/safe022_power.opt.yml false(unreach-call) 5.89 3.35 None pthread-wmm/safe022_pso.oepc.yml false(unreach-call) 7.66 4.07 None pthread-wmm/safe022_pso.opt.yml false(unreach-call) 5.84 3.12 None pthread-wmm/safe022_rmo.oepc.yml false(unreach-call) 7.88 4.16 None pthread-wmm/safe022_rmo.opt.yml false(unreach-call) 5.54 2.98 None pthread-wmm/safe023_power.oepc.yml false(unreach-call) 6.11 3.30 None pthread-wmm/safe023_power.opt.yml false(unreach-call) 6.73 3.58 None pthread-wmm/safe023_pso.oepc.yml false(unreach-call) 6.14 3.25 None pthread-wmm/safe023_pso.opt.yml false(unreach-call) 8.22 4.33 None pthread-wmm/safe023_rmo.oepc.yml false(unreach-call) 8.65 4.55 None pthread-wmm/safe023_rmo.opt.yml false(unreach-call) 6.27 3.49 None pthread-wmm/safe024_power.oepc.yml false(unreach-call) 8.00 4.26 None pthread-wmm/safe024_power.opt.yml false(unreach-call) 5.62 3.01 None pthread-wmm/safe024_pso.oepc.yml false(unreach-call) 6.13 3.28 None pthread-wmm/safe024_pso.opt.yml false(unreach-call) 7.92 4.20 None pthread-wmm/safe024_rmo.oepc.yml false(unreach-call) 5.83 3.30 None pthread-wmm/safe024_rmo.opt.yml false(unreach-call) 7.77 4.10 None pthread-wmm/safe025_power.oepc.yml false(unreach-call) 5.61 2.97 None pthread-wmm/safe025_power.opt.yml false(unreach-call) 6.01 3.22 None pthread-wmm/safe025_rmo.oepc.yml false(unreach-call) 8.29 4.38 None pthread-wmm/safe025_rmo.opt.yml false(unreach-call) 6.42 3.62 None pthread-wmm/safe026_power.oepc.yml TIMEOUT 93.41 66.79 None pthread-wmm/safe026_power.opt.yml TIMEOUT 93.40 70.02 None pthread-wmm/safe026_pso.oepc.yml TIMEOUT 93.70 65.62 None pthread-wmm/safe026_pso.opt.yml TIMEOUT 92.28 69.47 None pthread-wmm/safe026_rmo.oepc.yml TIMEOUT 93.37 71.43 None pthread-wmm/safe026_rmo.opt.yml TIMEOUT 93.65 65.40 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 6.47 3.53 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 6.72 3.67 None pthread-wmm/safe027_rmo.oepc.yml false(unreach-call) 6.62 3.66 None pthread-wmm/safe027_rmo.opt.yml false(unreach-call) 5.93 3.17 None pthread-wmm/safe028_power.oepc.yml false(unreach-call) 6.58 3.60 None pthread-wmm/safe028_power.opt.yml false(unreach-call) 9.12 5.38 None pthread-wmm/safe028_rmo.oepc.yml false(unreach-call) 5.94 3.20 None pthread-wmm/safe028_rmo.opt.yml false(unreach-call) 8.70 4.57 None pthread-wmm/safe029_power.oepc.yml false(unreach-call) 5.59 3.16 None pthread-wmm/safe029_power.opt.yml false(unreach-call) 6.47 4.50 None pthread-wmm/safe029_pso.oepc.yml false(unreach-call) 5.49 3.00 None pthread-wmm/safe029_pso.opt.yml false(unreach-call) 5.66 3.19 None pthread-wmm/safe029_rmo.oepc.yml false(unreach-call) 5.95 3.93 None pthread-wmm/safe029_rmo.opt.yml false(unreach-call) 7.44 3.96 None pthread-wmm/safe030_power.oepc.yml false(unreach-call) 7.88 4.26 None pthread-wmm/safe030_power.opt.yml false(unreach-call) 7.86 4.16 None pthread-wmm/safe030_pso.oepc.yml false(unreach-call) 5.95 4.08 None pthread-wmm/safe030_pso.opt.yml false(unreach-call) 5.45 2.95 None pthread-wmm/safe030_rmo.oepc.yml false(unreach-call) 5.73 3.16 None pthread-wmm/safe030_rmo.opt.yml false(unreach-call) 5.83 3.71 None pthread-wmm/safe031_power.oepc.yml false(unreach-call) 7.86 4.17 None pthread-wmm/safe031_power.opt.yml false(unreach-call) 7.83 4.55 None pthread-wmm/safe031_pso.oepc.yml false(unreach-call) 5.70 3.21 None pthread-wmm/safe031_pso.opt.yml false(unreach-call) 6.57 4.48 None pthread-wmm/safe031_rmo.oepc.yml false(unreach-call) 8.19 4.30 None pthread-wmm/safe031_rmo.opt.yml false(unreach-call) 5.67 3.26 None pthread-wmm/safe032_power.oepc.yml false(unreach-call) 6.74 4.44 None pthread-wmm/safe032_power.opt.yml false(unreach-call) 6.05 3.26 None pthread-wmm/safe032_pso.oepc.yml false(unreach-call) 8.91 4.65 None pthread-wmm/safe032_pso.opt.yml false(unreach-call) 8.52 4.76 None pthread-wmm/safe032_rmo.oepc.yml false(unreach-call) 6.38 3.47 None pthread-wmm/safe032_rmo.opt.yml false(unreach-call) 9.01 4.73 None pthread-wmm/safe033_power.oepc.yml false(unreach-call) 6.38 4.37 None pthread-wmm/safe033_power.opt.yml false(unreach-call) 5.31 2.97 None pthread-wmm/safe033_pso.oepc.yml false(unreach-call) 6.18 3.81 None pthread-wmm/safe033_pso.opt.yml false(unreach-call) 7.77 4.13 None pthread-wmm/safe033_rmo.oepc.yml false(unreach-call) 5.67 3.13 None pthread-wmm/safe033_rmo.opt.yml false(unreach-call) 7.78 4.31 None pthread-wmm/safe034_power.oepc.yml false(unreach-call) 6.28 3.97 None pthread-wmm/safe034_power.opt.yml false(unreach-call) 8.07 4.27 None pthread-wmm/safe034_pso.oepc.yml false(unreach-call) 5.73 3.08 None pthread-wmm/safe034_pso.opt.yml false(unreach-call) 5.65 3.82 None pthread-wmm/safe034_rmo.oepc.yml false(unreach-call) 5.68 3.09 None pthread-wmm/safe034_rmo.opt.yml false(unreach-call) 7.54 3.99 None pthread-wmm/thin000_power.oepc.yml false(unreach-call) 5.63 3.02 None pthread-wmm/thin000_power.opt.yml false(unreach-call) 6.59 4.02 None pthread-wmm/thin000_rmo.oepc.yml false(unreach-call) 7.44 3.95 None pthread-wmm/thin000_rmo.opt.yml false(unreach-call) 7.38 3.89 None pthread-wmm/thin001_power.oepc.yml TIMEOUT 98.13 67.10 None pthread-wmm/thin001_power.opt.yml false(unreach-call) 5.97 3.45 None pthread-wmm/thin001_rmo.oepc.yml false(unreach-call) 5.52 3.03 None pthread-wmm/thin001_rmo.opt.yml false(unreach-call) 7.87 4.20 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 6.47 3.49 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 8.72 4.80 None pthread-wmm/thin002_rmo.oepc.yml TIMEOUT 98.22 65.19 None pthread-wmm/thin002_rmo.opt.yml TIMEOUT 98.05 57.56 None pthread-lit/fkp2013-1.yml ERROR (invalid witness file) 0.71 0.65 None pthread-lit/fkp2013_variant-2.yml false(unreach-call) 4.98 2.73 None pthread-lit/qw2004-2.yml false(unreach-call) 4.94 2.81 None ldv-races/race-1_2-join.yml false(unreach-call) 5.43 2.94 None ldv-races/race-1_3-join.yml false(unreach-call) 7.32 3.88 None ldv-races/race-2_2-container_of.yml true 6.78 3.63 None ldv-races/race-2_3-container_of.yml false(unreach-call) 7.57 4.00 None ldv-races/race-2_4-container_of.yml false(unreach-call) 6.00 3.52 None ldv-races/race-2_5-container_of.yml true 10.29 5.41 None ldv-races/race-3_2-container_of-global.yml true 12.56 6.54 None ldv-races/race-4_2-thread_local_vars.yml false(unreach-call) 5.27 2.82 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR (invalid witness file) 0.65 0.43 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml ERROR (invalid witness file) 0.79 0.49 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml ERROR (invalid witness file) 0.69 0.67 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml ERROR (invalid witness file) 0.79 0.51 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml ERROR (invalid witness file) 0.81 0.54 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml ERROR (invalid witness file) 0.69 0.72 None pthread-complex/bounded_buffer.yml ERROR (invalid witness file) 0.82 0.55 None pthread-complex/elimination_backoff_stack.yml ERROR (invalid witness file) 0.65 0.46 None pthread-complex/safestack_relacy.yml ERROR (invalid witness file) 0.68 0.60 None pthread-complex/workstealqueue_mutex-1.yml ERROR (invalid witness file) 0.60 0.40 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml ERROR (invalid witness file) 0.80 0.56 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml ERROR (invalid witness file) 0.68 0.47 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml ERROR (invalid witness file) 0.58 0.42 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml ERROR (invalid witness file) 0.68 0.52 None pthread-C-DAC/pthread-demo-datarace-2.yml ASSERTION 3.39 1.85 None pthread-divine/condvar_spurious_wakeup.yml false(unreach-call) 4.46 2.43 None pthread-divine/divinefifo-bug_1w1r.yml ERROR (invalid witness file) 0.82 0.52 None pthread-divine/one_time_barrier_2t.yml ERROR (invalid witness file) 0.66 0.50 None pthread-divine/one_time_barrier_3t.yml ERROR (invalid witness file) 0.79 0.50 None pthread-divine/ring_1w1r-1.yml ERROR 5.17 3.33 None pthread-divine/ring_2w1r-2.yml ERROR (invalid witness file) 0.81 0.50 None pthread-divine/tls_destructor_worker.yml ERROR (invalid witness file) 0.81 0.52 None pthread-nondet/nondet-array-1.yml ERROR (invalid witness file) 0.80 0.50 None pthread-nondet/nondet-loop-bound-1.yml ERROR (invalid witness file) 0.63 0.42 None pthread-nondet/nondet-loop-bound-variant-1.yml ERROR (invalid witness file) 0.79 0.50 None goblint-regression/28-race_reach_01-simple_racing.yml ERROR (invalid witness file) 0.81 0.51 None goblint-regression/28-race_reach_03-munge_racing.yml ERROR (invalid witness file) 0.59 0.38 None goblint-regression/28-race_reach_06-cond_racing1.yml ERROR (invalid witness file) 0.65 0.43 None goblint-regression/28-race_reach_07-cond_racing2.yml ERROR (invalid witness file) 0.79 0.50 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml ERROR (invalid witness file) 0.59 0.39 None goblint-regression/28-race_reach_11-ptr_racing.yml ERROR (invalid witness file) 0.78 0.48 None goblint-regression/28-race_reach_19-callback_racing.yml ERROR (invalid witness file) 0.62 0.40 None goblint-regression/28-race_reach_21-deref_read_racing.yml ERROR (invalid witness file) 0.80 0.50 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml ERROR (invalid witness file) 0.60 0.41 None goblint-regression/28-race_reach_24-sound_lock_racing.yml ERROR (invalid witness file) 0.64 0.42 None goblint-regression/28-race_reach_27-funptr_racing.yml ERROR (invalid witness file) 0.79 0.50 None goblint-regression/28-race_reach_37-indirect_racing.yml ERROR (invalid witness file) 0.59 0.39 None goblint-regression/28-race_reach_40-trylock_racing.yml ERROR (invalid witness file) 0.81 0.50 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 5.02 2.74 None goblint-regression/28-race_reach_61-invariant_racing.yml ERROR (invalid witness file) 0.72 0.70 None goblint-regression/28-race_reach_71-funloop_racing.yml ERROR (invalid witness file) 0.80 0.51 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml ERROR (invalid witness file) 0.61 0.42 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml ERROR (invalid witness file) 0.82 0.51 None goblint-regression/28-race_reach_78-equ_racing.yml ERROR (invalid witness file) 0.81 0.53 None goblint-regression/28-race_reach_81-list_racing.yml ERROR (invalid witness file) 0.66 0.56 None goblint-regression/28-race_reach_82-list_racefree.yml ERROR (invalid witness file) 0.60 0.39 None goblint-regression/28-race_reach_83-list2_racing1.yml ERROR (invalid witness file) 0.82 0.57 None goblint-regression/28-race_reach_84-list2_racing2.yml ERROR (invalid witness file) 0.82 0.54 None goblint-regression/28-race_reach_86-lists_racing.yml ERROR (invalid witness file) 0.66 0.65 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml ERROR (invalid witness file) 0.59 0.39 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml ERROR (invalid witness file) 0.81 0.51 None goblint-regression/28-race_reach_94-alloc_region_racing.yml ERROR (invalid witness file) 0.78 0.49 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 17351.21 888.07 - SV-COMP21_valid-memcleanup Run set 2 of 5: skipped SV-COMP21_valid-memsafety Run set 3 of 5: skipped SV-COMP21_no-overflow Run set 4 of 5: skipped SV-COMP21_termination Run set 5 of 5: skipped Statistics: 847 Files correct: 631 correct true: 0 correct false: 631 incorrect: 14 incorrect true: 14 incorrect false: 0 unknown: 202 Score: 183 (max: 847)