BENCHMARK INFORMATION UGemCutter benchmark definition: ../benchexec/gemcutter-svcomp25.xml name: gemcutter-svcomp25 run sets: SV-COMP24_unreach-call.ConcurrencySafety-Main, SV-COMP24_unreach-call-OnlySleep.ConcurrencySafety-Main, SV-COMP24_unreach-call-OnlyPersistent.ConcurrencySafety-Main date: Wed, 2025-03-19 09:41:18 CET tool: ULTIMATE GemCutter 0.3.0-6f232940 tool executable: ./Ultimate.py options: --full-output --traceabstraction.use.conditional.por.in.concurrent.analysis false --traceabstraction.commutativity.condition.synthesis NONE parallel runs: 7 resource limits: - memory: 15000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 2 - memory: 15000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-6.8.12-5-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ SV-COMP24_unreach-call.ConcurrencySafety-Main Run set 1 of 6 with options '--full-output --traceabstraction.use.conditional.por.in.concurrent.analysis false --traceabstraction.commutativity.condition.synthesis NONE' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 14.74 10.21 None pthread/bigshot_s2.yml true 21.02 15.42 None pthread/butterfly.yml OUT OF MEMORY 145.00 111.47 None pthread/fib_safe-10.yml TIMEOUT 900.33 837.39 None pthread/fib_safe-11.yml TIMEOUT 901.15 837.47 None pthread/fib_safe-12.yml TIMEOUT 900.58 838.35 None pthread/fib_safe-5.yml TIMEOUT 900.38 830.66 None pthread/fib_safe-6.yml TIMEOUT 900.55 828.69 None pthread/fib_safe-7.yml TIMEOUT 901.24 835.60 None pthread/fib_unsafe-10.yml false(unreach-call) 15.09 9.83 None pthread/fib_unsafe-11.yml false(unreach-call) 18.73 12.90 None pthread/fib_unsafe-12.yml false(unreach-call) 18.77 11.60 None pthread/fib_unsafe-5.yml false(unreach-call) 13.79 9.36 None pthread/fib_unsafe-6.yml false(unreach-call) 14.52 9.91 None pthread/fib_unsafe-7.yml false(unreach-call) 14.35 9.76 None pthread/lazy01.yml false(unreach-call) 8.28 5.83 None pthread/queue.yml TIMEOUT 900.65 874.59 None pthread/queue_longer.yml TIMEOUT 900.97 869.11 None pthread/queue_longest.yml TIMEOUT 901.08 860.94 None pthread/queue_ok.yml TIMEOUT 900.62 874.81 None pthread/queue_ok_longer.yml TIMEOUT 900.75 881.51 None pthread/queue_ok_longest.yml TIMEOUT 901.32 876.62 None pthread/reorder_2.yml unknown 20.58 13.89 None pthread/reorder_5.yml unknown 20.43 13.93 None pthread/singleton.yml false(unreach-call) 10.38 6.67 None pthread/singleton_with-uninit-problems.yml true 12.85 8.05 None pthread/stack-1.yml true 79.16 55.24 None pthread/stack-2.yml false(unreach-call) 37.37 21.54 None pthread/stack_longer-1.yml TIMEOUT 900.66 870.09 None pthread/stack_longer-2.yml TIMEOUT 900.65 868.35 None pthread/stack_longest-1.yml TIMEOUT 900.75 866.61 None pthread/stack_longest-2.yml TIMEOUT 900.89 860.76 None pthread/stateful01-1.yml false(unreach-call) 8.12 5.80 None pthread/stateful01-2.yml true 10.32 6.64 None pthread/sync01.yml true 13.83 8.48 None pthread/triangular-1.yml true 26.55 17.30 None pthread/triangular-2.yml false(unreach-call) 12.18 8.11 None pthread/triangular-longer-1.yml true 55.15 41.10 None pthread/triangular-longer-2.yml false(unreach-call) 15.55 9.84 None pthread/triangular-longest-1.yml OUT OF MEMORY 180.54 144.05 None pthread/triangular-longest-2.yml false(unreach-call) 21.88 14.10 None pthread/twostage_3.yml unknown 73.50 48.48 None pthread-atomic/dekker-unfair.yml true 10.31 6.81 None pthread-atomic/dekker.yml true 9.87 6.63 None pthread-atomic/lamport.yml true 10.88 7.06 None pthread-atomic/peterson.yml true 9.74 6.72 None pthread-atomic/read_write_lock-1.yml true 10.77 7.01 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 13.00 8.10 None pthread-atomic/szymanski.yml true 12.28 7.80 None pthread-atomic/time_var_mutex.yml true 10.02 7.65 None pthread-ext/01b_inc.yml OUT OF MEMORY 843.16 755.21 None pthread-ext/02_inc_cas.yml TIMEOUT 900.84 852.60 None pthread-ext/03_incdec.yml OUT OF MEMORY 141.63 105.32 None pthread-ext/04_incdec_cas.yml TIMEOUT 900.88 851.91 None pthread-ext/08_rand_cas.yml OUT OF MEMORY 227.95 186.55 None pthread-ext/09_fmaxsym-zero.yml OUT OF MEMORY 234.57 197.50 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 236.81 202.29 None pthread-ext/11_fmaxsymopt-zero.yml OUT OF MEMORY 274.82 231.85 None pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 428.41 372.98 None pthread-ext/14_spin2003.yml OUT OF MEMORY 263.67 228.60 None pthread-ext/18_read_write_lock.yml true 8.31 5.70 None pthread-ext/25_stack.yml OUT OF MEMORY 145.77 110.52 None pthread-ext/25_stack_longer-1.yml TIMEOUT 900.66 892.55 None pthread-ext/25_stack_longer-2.yml TIMEOUT 900.61 892.34 None pthread-ext/25_stack_longest-1.yml TIMEOUT 900.84 877.87 None pthread-ext/25_stack_longest-2.yml TIMEOUT 900.92 878.29 None pthread-ext/26_stack_cas.yml OUT OF MEMORY 548.34 482.00 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 900.61 891.76 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 900.61 892.09 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 900.78 884.64 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 900.85 883.85 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 7.92 5.57 None pthread-ext/29_conditionals_vs.yml OUT OF MEMORY 182.39 143.37 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 384.03 341.86 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 295.97 257.76 None pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 901.02 862.81 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 616.81 455.38 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 298.43 256.37 None pthread-ext/40_barrier_vf.yml false(unreach-call) 16.16 9.87 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml OUT OF MEMORY 130.57 92.40 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml OUT OF MEMORY 138.08 98.13 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 224.59 188.68 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 272.81 237.45 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml OUT OF MEMORY 208.66 172.32 None pthread-ext/48_ticket_lock_low_contention_vs.yml ERROR (7) 13.71 9.90 None pthread-wmm/mix000.oepc.yml false(unreach-call) 41.80 31.17 None pthread-wmm/mix000.opt.yml false(unreach-call) 36.67 25.57 None pthread-wmm/mix001.oepc.yml false(unreach-call) 69.69 55.27 None pthread-wmm/mix001.opt.yml false(unreach-call) 44.30 31.64 None pthread-wmm/mix002.oepc.yml false(unreach-call) 46.19 33.51 None pthread-wmm/mix002.opt.yml false(unreach-call) 49.07 35.09 None pthread-wmm/mix003.oepc.yml false(unreach-call) 49.04 35.21 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 48.86 35.64 None pthread-wmm/mix004.oepc.yml false(unreach-call) 70.93 53.98 None pthread-wmm/mix004.opt.yml false(unreach-call) 50.86 36.26 None pthread-wmm/mix005.opt.yml false(unreach-call) 43.70 30.27 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 68.53 51.28 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 55.68 39.67 None pthread-wmm/mix006.opt.yml false(unreach-call) 50.34 37.38 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 50.75 36.81 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 168.76 148.94 None pthread-wmm/mix007.oepc.yml false(unreach-call) 69.24 53.04 None pthread-wmm/mix007.opt.yml false(unreach-call) 45.32 30.46 None pthread-wmm/mix008.opt.yml false(unreach-call) 49.48 34.40 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 67.23 51.14 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 158.04 133.73 None pthread-wmm/mix009.oepc.yml false(unreach-call) 35.89 24.78 None pthread-wmm/mix009.opt.yml false(unreach-call) 44.04 31.91 None pthread-wmm/mix010.oepc.yml false(unreach-call) 44.46 32.32 None pthread-wmm/mix010.opt.yml false(unreach-call) 48.36 36.29 None pthread-wmm/mix011.opt.yml false(unreach-call) 49.78 36.94 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 50.73 37.23 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 37.91 25.79 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 34.35 25.17 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 38.82 27.90 None pthread-wmm/mix013.oepc.yml false(unreach-call) 69.17 52.25 None pthread-wmm/mix013.opt.yml false(unreach-call) 51.33 37.01 None pthread-wmm/mix014.opt.yml false(unreach-call) 49.60 34.49 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 70.35 53.46 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 204.11 177.79 None pthread-wmm/mix015.oepc.yml false(unreach-call) 44.36 32.24 None pthread-wmm/mix015.opt.yml false(unreach-call) 47.85 35.07 None pthread-wmm/mix016.oepc.yml false(unreach-call) 47.35 34.86 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 37.30 27.29 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 45.70 32.87 None pthread-wmm/mix017.oepc.yml false(unreach-call) 67.65 51.65 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 51.91 36.97 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 49.47 35.10 None pthread-wmm/mix018.opt.yml false(unreach-call) 47.73 34.32 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 68.28 51.73 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 50.32 34.67 None pthread-wmm/mix019.opt.yml false(unreach-call) 44.27 31.05 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 43.10 31.17 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 33.87 23.02 None pthread-wmm/mix020.oepc.yml false(unreach-call) 72.12 54.99 None pthread-wmm/mix020.opt.yml false(unreach-call) 47.30 33.19 None pthread-wmm/mix021.opt.yml false(unreach-call) 47.25 34.05 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 70.09 53.32 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 71.13 53.34 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 34.39 23.90 None pthread-wmm/mix022_tso.yml false(unreach-call) 30.67 20.34 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 70.80 53.91 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 53.58 38.39 None pthread-wmm/mix023_tso.yml false(unreach-call) 190.56 167.43 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 45.97 33.95 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 39.15 27.73 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 42.26 31.59 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 38.55 27.00 None pthread-wmm/mix026.oepc.yml false(unreach-call) 68.81 52.20 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 52.52 39.00 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 52.08 37.79 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 71.15 53.42 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 51.24 36.86 None pthread-wmm/mix027_tso.yml false(unreach-call) 57.64 42.56 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 44.59 32.47 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 36.90 25.29 None pthread-wmm/mix028_tso.yml false(unreach-call) 57.63 44.85 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 68.47 52.11 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 72.36 54.99 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 68.46 52.91 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 78.96 60.21 None pthread-wmm/mix030_tso.yml false(unreach-call) 47.05 31.53 None pthread-wmm/mix031.oepc.yml false(unreach-call) 32.32 23.22 None pthread-wmm/mix031.opt.yml false(unreach-call) 29.67 19.45 None pthread-wmm/mix032.oepc.yml false(unreach-call) 49.23 36.52 None pthread-wmm/mix032.opt.yml false(unreach-call) 33.13 22.28 None pthread-wmm/mix033.opt.yml false(unreach-call) 35.52 24.10 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 46.88 33.33 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 35.66 24.27 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 33.57 24.18 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 29.06 19.89 None pthread-wmm/mix035.oepc.yml false(unreach-call) 45.91 33.85 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 38.14 27.44 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 33.77 23.15 None pthread-wmm/mix036.oepc.yml false(unreach-call) 65.61 48.54 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 53.14 38.47 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 37.07 23.96 None pthread-wmm/mix037.opt.yml false(unreach-call) 36.44 24.05 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 59.92 44.99 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 45.66 32.50 None pthread-wmm/mix038.opt.yml false(unreach-call) 38.49 26.41 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 46.58 33.89 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 34.54 23.30 None pthread-wmm/mix039.oepc.yml false(unreach-call) 63.12 46.74 None pthread-wmm/mix039.opt.yml false(unreach-call) 36.44 24.14 None pthread-wmm/mix040.opt.yml false(unreach-call) 43.29 29.48 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 62.37 46.73 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 74.91 57.15 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 34.30 24.30 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 24.37 15.42 None pthread-wmm/mix042.oepc.yml false(unreach-call) 45.22 32.85 None pthread-wmm/mix042.opt.yml false(unreach-call) 46.03 33.34 None pthread-wmm/mix043.oepc.yml false(unreach-call) 63.76 47.78 None pthread-wmm/mix043.opt.yml false(unreach-call) 37.46 23.58 None pthread-wmm/mix044.opt.yml false(unreach-call) 39.02 25.52 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 64.14 48.11 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 51.83 36.64 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 44.66 32.74 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 45.89 33.13 None pthread-wmm/mix046.oepc.yml false(unreach-call) 65.74 48.49 None pthread-wmm/mix046.opt.yml false(unreach-call) 35.75 22.65 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 66.94 49.39 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 59.16 43.10 None pthread-wmm/mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 34.57 24.30 None pthread-wmm/mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 46.12 33.24 None pthread-wmm/mix050.yml false(unreach-call) 64.18 48.18 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 65.40 48.53 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 37.07 24.40 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 44.38 30.70 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 48.39 36.17 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 37.77 26.30 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 34.54 23.21 None pthread-wmm/mix053.opt.yml false(unreach-call) 35.37 23.00 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 63.04 47.21 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 71.63 55.08 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 33.20 23.44 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 24.03 15.17 None pthread-wmm/mix055.opt.yml false(unreach-call) 37.13 22.95 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 63.92 47.42 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 45.39 31.63 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 47.30 35.23 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 46.30 33.55 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 65.95 50.68 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 38.01 23.71 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 51.78 39.22 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 28.56 18.46 None pthread-wmm/rfi000_tso.yml true 68.00 52.36 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 32.45 22.21 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 28.95 19.73 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 121.80 104.94 None pthread-wmm/rfi002_tso.yml true 131.48 112.74 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 28.62 19.18 None pthread-wmm/rfi003_tso.yml true 84.88 69.57 None pthread-wmm/rfi004.yml false(unreach-call) 26.81 18.29 None pthread-wmm/rfi005.yml false(unreach-call) 13.00 8.13 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 68.37 52.92 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 84.63 67.61 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 46.31 33.19 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 50.47 36.65 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 31.44 21.59 None pthread-wmm/rfi007_tso.yml false(unreach-call) 40.01 28.82 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 51.73 39.76 None pthread-wmm/rfi008.opt.yml false(unreach-call) 37.11 26.00 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 75.86 58.67 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 46.20 34.49 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 50.26 37.28 None pthread-wmm/rfi010.yml false(unreach-call) 40.57 29.35 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 231.34 210.18 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 40.11 29.32 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.92 9.66 None pthread-wmm/safe000_rmo.yml false(unreach-call) 168.81 149.20 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 136.56 116.84 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 64.44 51.54 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 94.52 78.34 None pthread-wmm/safe001_tso.yml true 11.11 7.34 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 128.56 110.97 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 41.16 29.82 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 90.92 74.43 None pthread-wmm/safe002_tso.yml true 11.96 7.45 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 74.12 59.62 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 40.37 29.47 None pthread-wmm/safe003_tso.yml true 14.33 8.96 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 68.85 54.23 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 64.49 50.28 None pthread-wmm/safe004_tso.yml true 10.66 6.93 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 37.74 26.96 None pthread-wmm/safe005_tso.yml true 11.07 7.31 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 43.59 33.44 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 28.36 19.02 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 9.91 6.59 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 29.88 20.18 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 46.42 34.67 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 56.61 43.49 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.62 7.22 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 33.87 23.08 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 34.84 23.59 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 46.56 33.72 None pthread-wmm/safe008_tso.yml true 12.78 8.03 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 150.28 133.77 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 41.65 30.04 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.09 7.82 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 112.94 97.42 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 28.93 19.74 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 23.96 15.45 None pthread-wmm/safe010_tso.yml true 10.04 6.70 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 56.12 42.81 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 66.68 52.08 None pthread-wmm/safe011_tso.yml true 11.38 7.19 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 46.01 35.19 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 56.93 43.81 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 39.06 27.45 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 30.13 20.91 None pthread-wmm/safe012_tso.yml true 11.88 7.56 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 37.74 26.99 None pthread-wmm/safe013_tso.yml true 11.60 7.38 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 52.47 38.87 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 52.60 39.56 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.39 8.32 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 32.38 21.93 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 84.27 67.42 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 89.80 71.15 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 91.26 71.48 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.05 7.60 None pthread-wmm/safe015_rmo.yml false(unreach-call) 75.82 59.62 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 139.49 121.04 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 95.41 77.90 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.00 9.01 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 79.24 62.01 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 71.62 54.83 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 35.55 24.20 None pthread-wmm/safe017_tso.yml true 11.20 7.21 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 42.00 31.53 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 100.28 78.46 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.17 7.29 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 32.89 22.84 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 60.96 47.44 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 120.94 103.85 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 109.59 86.91 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.21 9.20 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 78.14 61.50 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 77.39 60.84 None pthread-wmm/safe020_power.yml false(unreach-call) 95.31 76.91 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.67 7.35 None pthread-wmm/safe020_rmo.yml false(unreach-call) 60.90 47.13 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 47.44 35.27 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 33.40 22.25 None pthread-wmm/safe021_tso.yml true 11.07 7.37 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 40.17 30.38 None pthread-wmm/safe022_tso.yml true 9.88 6.76 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 142.44 120.28 None pthread-wmm/safe023_tso.yml true 11.57 7.51 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 38.10 27.39 None pthread-wmm/safe024_tso.yml true 11.67 7.56 None pthread-wmm/safe025_power.yml false(unreach-call) 168.89 146.16 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.78 7.96 None pthread-wmm/safe025_rmo.yml false(unreach-call) 75.35 60.45 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 48.27 36.16 None pthread-wmm/safe026_tso.yml true 11.59 7.39 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 70.57 55.22 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 123.88 98.09 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.64 9.38 None pthread-wmm/safe027_rmo.yml false(unreach-call) 51.56 36.79 None pthread-wmm/safe028_power.yml false(unreach-call) 94.90 74.81 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.49 7.36 None pthread-wmm/safe028_rmo.yml false(unreach-call) 57.72 43.98 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.72 15.67 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 37.24 26.93 None pthread-wmm/safe029_tso.yml true 9.32 6.29 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 82.67 63.62 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 48.96 35.29 None pthread-wmm/safe030_tso.yml true 10.98 6.96 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 41.63 31.44 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 46.43 33.77 None pthread-wmm/safe031_tso.yml true 10.88 7.12 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 134.68 110.82 None pthread-wmm/safe032_tso.yml true 11.57 7.40 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 28.99 19.27 None pthread-wmm/safe033_tso.yml true 9.97 6.53 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 38.32 26.83 None pthread-wmm/safe034_tso.yml true 11.56 7.29 None pthread-wmm/safe035_power.yml TIMEOUT 901.73 870.61 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 12.13 7.55 None pthread-wmm/safe036.yml true 9.95 6.63 None pthread-wmm/safe037.yml true 11.68 7.33 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 50.71 37.49 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 65.45 50.43 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.41 12.45 None pthread-wmm/thin002_rmo.yml false(unreach-call) 36.27 23.86 None pthread-lit/qw2004-2b.yml false(unreach-call) 9.29 6.30 None pthread-lit/sssc12.yml OUT OF MEMORY 229.15 169.94 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 284.54 244.45 None ldv-races/race-1_1-join.yml true 10.32 6.75 None ldv-races/race-1_2-join.yml false(unreach-call) 10.26 6.63 None ldv-races/race-1_3-join.yml false(unreach-call) 9.65 6.32 None ldv-races/race-2_1-container_of.yml true 30.77 17.91 None ldv-races/race-2_2-container_of.yml false(unreach-call) 26.24 15.16 None ldv-races/race-2_3-container_of.yml false(unreach-call) 13.08 8.01 None ldv-races/race-2_4-container_of.yml false(unreach-call) 12.71 8.06 None ldv-races/race-2_5-container_of.yml false(unreach-call) 13.50 8.38 None ldv-races/race-3_1-container_of-global.yml true 29.14 17.32 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 33.63 18.70 None ldv-races/race-4_1-thread_local_vars.yml true 15.51 9.50 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR (7) 347.08 267.66 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR (7) 360.17 277.88 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml TIMEOUT 901.14 865.82 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 900.76 855.39 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT 900.83 864.87 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 900.77 864.56 None pthread-complex/bounded_buffer.yml TIMEOUT 900.47 875.39 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.86 852.46 None pthread-complex/safestack_relacy.yml OUT OF MEMORY 140.60 110.73 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 900.71 866.17 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 17.92 11.20 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 18.16 11.48 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml false(unreach-call) 91.74 63.86 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 27.41 16.71 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml OUT OF MEMORY 286.95 194.71 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 28.20 16.89 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 900.47 881.42 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 22.82 13.67 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 19.45 11.91 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml true 25.76 15.21 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 22.37 13.49 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 900.49 881.57 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml true 23.42 13.91 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml true 28.77 16.81 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 21.82 13.17 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 26.09 15.74 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 21.65 14.52 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml true 26.01 16.43 None pthread-C-DAC/pthread-demo-datarace-1.yml true 34.97 21.82 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 15.99 10.27 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 12.52 8.96 None pthread-C-DAC/pthread-numerical-integration.yml unknown 12.73 9.17 None pthread-divine/tls_basic.yml unknown 11.95 8.71 None pthread-divine/tls_destructor_worker.yml unknown 11.55 8.85 None goblint-regression/13-privatized_01-priv_nr_true.yml true 11.07 7.22 None goblint-regression/13-privatized_04-priv_multi_true.yml true 41.13 23.32 None goblint-regression/13-privatized_18-first-reads_true.yml true 9.46 6.18 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 7.55 5.41 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 7.86 5.36 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 8.09 5.47 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 8.19 5.71 None goblint-regression/13-privatized_19-publish-precision_true.yml true 8.82 5.94 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 8.34 5.72 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 9.63 6.42 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 8.59 6.15 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 8.02 5.82 None goblint-regression/13-privatized_20-publish-regression_true.yml true 10.60 6.87 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 15.48 9.44 None goblint-regression/13-privatized_25-struct_nr_true.yml true 10.51 6.74 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 16.05 9.82 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 11.96 7.68 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 9.69 6.55 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 10.62 6.78 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 12.22 7.64 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.99 7.59 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 12.35 7.73 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 9.89 6.54 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 10.27 7.77 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 9.01 6.24 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 9.78 6.57 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 9.89 7.45 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 9.83 6.49 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 8.61 5.76 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 10.06 6.47 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 9.29 6.42 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 10.31 6.62 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 8.03 5.76 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 8.45 5.81 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 8.13 5.73 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 7.38 5.48 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 8.52 5.75 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 7.76 5.49 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 12.05 7.70 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 10.10 6.79 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 11.63 7.48 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 42.61 24.38 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 9.79 6.52 None goblint-regression/28-race_reach_01-simple_racing.yml TIMEOUT 902.46 770.18 None goblint-regression/28-race_reach_02-simple_racefree.yml TIMEOUT 900.95 766.20 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 223.47 184.11 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 218.32 179.20 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml TIMEOUT 901.14 798.65 None goblint-regression/28-race_reach_06-cond_racing1.yml TIMEOUT 900.71 771.47 None goblint-regression/28-race_reach_07-cond_racing2.yml TIMEOUT 900.73 775.35 None goblint-regression/28-race_reach_08-cond_racefree.yml TIMEOUT 901.05 768.90 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 223.62 181.43 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 209.50 169.07 None goblint-regression/28-race_reach_11-ptr_racing.yml TIMEOUT 901.38 779.47 None goblint-regression/28-race_reach_12-ptr_racefree.yml TIMEOUT 901.02 767.04 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 217.24 177.89 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 223.58 182.21 None goblint-regression/28-race_reach_21-deref_read_racing.yml TIMEOUT 901.14 803.10 None goblint-regression/28-race_reach_22-deref_read_racefree.yml TIMEOUT 902.27 780.41 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 12.12 8.91 None goblint-regression/28-race_reach_24-sound_lock_racing.yml TIMEOUT 900.91 772.08 None goblint-regression/28-race_reach_27-funptr_racing.yml TIMEOUT 901.14 777.02 None goblint-regression/28-race_reach_28-funptr_racefree.yml TIMEOUT 901.45 790.85 None goblint-regression/28-race_reach_36-indirect_racefree.yml TIMEOUT 900.98 761.58 None goblint-regression/28-race_reach_37-indirect_racing.yml TIMEOUT 900.92 767.34 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 12.39 8.85 None goblint-regression/28-race_reach_41-trylock_racefree.yml TIMEOUT 902.00 771.31 None goblint-regression/28-race_reach_42-trylock2_racefree.yml TIMEOUT 900.92 772.39 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 9.89 6.58 None goblint-regression/28-race_reach_46-escape_racefree.yml true 12.19 7.80 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml TIMEOUT 901.31 769.58 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 191.52 154.04 None goblint-regression/28-race_reach_61-invariant_racing.yml TIMEOUT 902.48 774.26 None goblint-regression/28-race_reach_70-funloop_racefree.yml TIMEOUT 900.57 877.37 None goblint-regression/28-race_reach_71-funloop_racing.yml TIMEOUT 900.61 878.03 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml TIMEOUT 900.57 877.58 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml TIMEOUT 900.60 878.04 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 373.32 311.18 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml TIMEOUT 901.69 842.77 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 413.04 350.95 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 547.32 478.55 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 218.48 175.08 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 198.15 157.98 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 262.48 217.82 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 267.22 223.82 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 227.42 187.38 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 232.97 191.52 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 251.43 209.62 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 900.74 872.27 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 901.32 874.64 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 900.57 886.55 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 900.53 888.39 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 900.56 888.15 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 900.57 887.75 None goblint-regression/28-race_reach_94-alloc_region_racing.yml false(unreach-call) 22.84 15.97 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 8.38 5.80 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 7.42 5.31 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 8.57 5.64 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 7.52 5.65 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 23.87 13.80 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 12.60 9.04 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 7.61 5.23 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 7.21 5.41 None weaver/array-eq-symm.wvr.yml true 58.66 42.23 None weaver/array-eq-trans.wvr.yml TIMEOUT 900.74 867.61 None weaver/bench-exp1x3.wvr.yml TIMEOUT 900.34 891.80 None weaver/bench-exp2x3.wvr.yml TIMEOUT 900.39 887.70 None weaver/bench-exp2x4.wvr.yml TIMEOUT 900.63 884.96 None weaver/bench-exp2x6.wvr.yml TIMEOUT 900.74 880.79 None weaver/bench-exp2x9.wvr.yml TIMEOUT 900.40 888.07 None weaver/bench-exp3x3-opt.wvr.yml true 26.83 18.48 None weaver/bench-exp3x3.wvr.yml TIMEOUT 900.38 889.55 None weaver/chl-array-int-subst.wvr.yml TIMEOUT 900.30 853.03 None weaver/chl-array-int-symm.wvr.yml true 50.23 34.55 None weaver/chl-array-int-trans.wvr.yml TIMEOUT 900.84 856.04 None weaver/chl-chromosome-opt-symm.wvr.yml true 41.07 25.58 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 900.64 870.05 None weaver/chl-chromosome-symm.wvr.yml true 40.34 25.60 None weaver/chl-chromosome-trans.wvr.yml TIMEOUT 900.74 860.33 None weaver/chl-collitem-subst.wvr.yml true 15.05 9.25 None weaver/chl-collitem-symm.wvr.yml true 11.78 7.47 None weaver/chl-collitem-trans.wvr.yml true 15.17 8.98 None weaver/chl-exp-term-subst.wvr.yml true 14.18 8.87 None weaver/chl-exp-term-symm.wvr.yml true 11.05 7.17 None weaver/chl-file-item-subst.wvr.yml true 17.67 10.74 None weaver/chl-file-item-symm.wvr.yml true 12.43 7.83 None weaver/chl-file-item-trans.wvr.yml true 13.43 8.29 None weaver/chl-match-subst.wvr.yml true 13.33 8.32 None weaver/chl-match-symm.wvr.yml true 10.64 7.02 None weaver/chl-match-trans.wvr.yml true 13.81 8.52 None weaver/chl-name-comparator-subst.wvr.yml true 53.55 35.26 None weaver/chl-name-comparator-symm.wvr.yml true 43.33 28.70 None weaver/chl-name-comparator-trans.wvr.yml true 86.62 61.58 None weaver/chl-node-subst.wvr.yml TIMEOUT 901.13 865.37 None weaver/chl-node-symm.wvr.yml true 14.96 9.27 None weaver/chl-node-trans.wvr.yml true 18.45 11.20 None weaver/chl-nzb-file-subst.wvr.yml TIMEOUT 900.52 872.11 None weaver/chl-nzb-file-symm.wvr.yml true 120.54 86.81 None weaver/chl-nzb-file-trans.wvr.yml true 259.63 217.29 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 900.63 854.25 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 900.59 875.91 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 900.83 844.95 None weaver/chl-simpl-str-subst.wvr.yml true 11.54 7.46 None weaver/chl-simpl-str-symm.wvr.yml true 9.95 6.50 None weaver/chl-simpl-str-trans.wvr.yml true 10.68 7.03 None weaver/chl-sre-subst.wvr.yml true 12.16 7.58 None weaver/chl-sre-symm.wvr.yml true 9.38 6.33 None weaver/chl-sre-trans.wvr.yml true 9.45 6.47 None weaver/chl-time-subst.wvr.yml true 11.07 7.10 None weaver/chl-time-symm.wvr.yml true 9.35 6.35 None weaver/chl-time-trans.wvr.yml true 10.09 6.72 None weaver/chl-word-subst.wvr.yml TIMEOUT 900.64 869.54 None weaver/chl-word-symm.wvr.yml true 50.10 33.76 None weaver/chl-word-trans.wvr.yml TIMEOUT 900.70 860.24 None weaver/clever.wvr.yml TIMEOUT 900.93 822.66 None weaver/fibonacci.wvr.yml true 14.13 9.23 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 900.77 868.35 None weaver/mult-comm.wvr.yml TIMEOUT 900.40 885.05 None weaver/mult-dist.wvr.yml TIMEOUT 900.37 890.78 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 900.52 883.32 None weaver/parallel-bakery-2.wvr.yml true 12.24 7.87 None weaver/parallel-bakery-3.wvr.yml true 115.06 90.09 None weaver/parallel-bakery-4.wvr.yml TIMEOUT 901.46 828.31 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 28.69 16.21 None weaver/parallel-barrier.wvr.yml true 21.39 12.40 None weaver/parallel-bluetooth.wvr.yml true 11.49 7.33 None weaver/parallel-lamport.wvr.yml true 26.88 15.36 None weaver/parallel-min-max-1.wvr.yml true 41.32 26.70 None weaver/parallel-misc-1.wvr.yml TIMEOUT 900.52 879.75 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 10.00 6.83 None weaver/parallel-misc-2-unrolled.wvr.yml true 10.31 6.88 None weaver/parallel-misc-2.wvr.yml TIMEOUT 900.40 885.88 None weaver/parallel-misc-3-extended.wvr.yml true 19.19 11.28 None weaver/parallel-misc-3.wvr.yml true 13.65 8.87 None weaver/parallel-misc-4.wvr.yml true 18.87 12.70 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 111.52 83.15 None weaver/parallel-parallel-sum-1-dsl.wvr.yml TIMEOUT 901.18 862.19 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 767.67 740.37 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 901.04 844.58 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT 901.03 850.87 None weaver/parallel-simple-equiv.wvr.yml true 8.85 6.19 None weaver/parallel-ticket-2.wvr.yml true 9.20 6.30 None weaver/parallel-ticket-3.wvr.yml true 12.57 7.93 None weaver/parallel-ticket-4.wvr.yml true 21.66 12.37 None weaver/parallel-ticket-5.wvr.yml true 47.23 27.99 None weaver/parallel-ticket-6.wvr.yml true 230.52 197.20 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 200.13 165.58 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 181.90 151.58 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 900.78 862.46 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 900.76 856.80 None weaver/popl20-bad-buffer-mult-alt3.wvr.yml TIMEOUT 900.74 834.36 None weaver/popl20-bad-commit-1.wvr-bad.yml true 65.40 42.20 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 257.45 203.21 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 36.34 24.48 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 900.97 866.49 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 900.47 876.90 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 901.11 835.29 None weaver/popl20-bad-ring-nondet.wvr.yml true 14.71 9.44 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 900.71 859.47 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 900.58 874.29 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 493.04 458.85 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 900.68 855.81 None weaver/popl20-commit-1.wvr.yml TIMEOUT 900.69 845.77 None weaver/popl20-commit-2.wvr.yml TIMEOUT 900.80 859.53 None weaver/popl20-counter-determinism.wvr.yml TIMEOUT 901.34 834.09 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 900.71 849.96 None weaver/popl20-difference-det.wvr.yml TIMEOUT 901.44 824.53 None weaver/popl20-figure1-alt.wvr.yml true 118.54 94.62 None weaver/popl20-figure1.wvr.yml TIMEOUT 901.46 828.95 None weaver/popl20-figure3.wvr.yml TIMEOUT 900.47 879.79 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 900.58 873.45 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 161.98 126.32 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 141.06 111.22 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 133.90 102.81 None weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 901.30 852.37 None weaver/popl20-more-array-sum-alt2.wvr.yml TIMEOUT 900.63 848.40 None weaver/popl20-more-array-sum.wvr.yml TIMEOUT 900.63 854.38 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 900.74 867.95 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 900.86 870.37 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 900.57 853.61 None weaver/popl20-more-buffer-mult3.wvr.yml TIMEOUT 900.75 866.76 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 900.64 874.52 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 900.65 869.89 None weaver/popl20-more-buffer-series3.wvr.yml TIMEOUT 900.91 870.66 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 900.53 867.46 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 900.78 861.63 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.42 857.18 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.08 859.97 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 900.46 869.05 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 901.23 850.82 None weaver/popl20-more-min-le-max.wvr.yml true 11.21 7.51 None weaver/popl20-more-mts.wvr.yml TIMEOUT 900.75 860.66 None weaver/popl20-more-multiply-verify.wvr.yml true 70.98 51.49 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 900.42 887.06 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 903.39 756.58 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 900.63 870.77 None weaver/popl20-more-sorted.wvr.yml TIMEOUT 900.55 853.45 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 900.63 877.94 None weaver/popl20-more-vector-add.wvr.yml TIMEOUT 900.82 852.63 None weaver/popl20-mult-4.wvr.yml TIMEOUT 900.45 883.07 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 900.39 888.08 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 146.98 121.71 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.03 840.81 None weaver/popl20-prod-cons-eq.wvr.yml TIMEOUT 900.67 871.20 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 900.67 848.36 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 900.71 865.16 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 901.30 831.76 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 901.01 853.59 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 900.69 864.74 None weaver/popl20-send-receive-alt.wvr.yml OUT OF MEMORY 803.33 678.15 None weaver/popl20-send-receive.wvr.yml TIMEOUT 902.69 832.45 None weaver/popl20-simple-array-sum.wvr.yml true 25.02 15.48 None weaver/popl20-simple-queue.wvr.yml OUT OF MEMORY 841.71 734.46 None weaver/popl20-threaded-sum-3.wvr.yml OUT OF MEMORY 685.46 519.61 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 900.95 866.32 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 458.52 403.17 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 900.44 873.64 None weaver/popl20-two-queue.wvr.yml TIMEOUT 900.70 855.29 None weaver/security.wvr.yml true 8.57 5.85 None weaver/spaghetti.wvr.yml true 15.24 9.14 None weaver/test-context1.wvr.yml OUT OF MEMORY 441.91 353.43 None weaver/test-easy1.wvr.yml true 8.93 6.13 None weaver/test-easy10.wvr.yml true 15.85 9.58 None weaver/test-easy11.wvr.yml true 12.88 8.44 None weaver/test-easy6.wvr.yml true 11.05 7.37 None weaver/test-easy7.wvr.yml true 8.38 5.90 None weaver/test-easy8.wvr.yml true 8.68 5.86 None weaver/test-hard1.wvr.yml TIMEOUT 900.88 847.70 None weaver/test-semi1.wvr.yml true 8.91 6.18 None weaver/unroll-2.wvr.yml TIMEOUT 900.61 860.75 None weaver/unroll-3.wvr.yml TIMEOUT 900.61 871.23 None weaver/unroll-4.wvr.yml TIMEOUT 900.92 861.02 None weaver/unroll-5.wvr.yml TIMEOUT 900.56 871.32 None weaver/unroll-cond-2.wvr.yml TIMEOUT 900.52 885.74 None weaver/unroll-cond-3.wvr.yml TIMEOUT 900.44 884.96 None weaver/unroll-cond-4.wvr.yml TIMEOUT 900.66 879.74 None weaver/unroll-cond-5.wvr.yml TIMEOUT 900.56 870.97 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 17.65 10.96 None pthread-deagle/arithmetic_prog_ok.yml true 23.02 14.54 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 17.65 10.90 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 900.71 880.21 None pthread-race-challenges/thread-local-pthread-value.yml unknown 11.53 8.45 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 11.34 8.64 None pthread-race-challenges/thread-local-value.yml unknown 11.32 9.91 None libvsync/arraylock.yml unknown 16.00 10.87 None libvsync/bounded_mpmc_check_full.yml TIMEOUT 901.01 840.29 None libvsync/cnalock.yml OUT OF MEMORY 238.23 199.18 None libvsync/hclhlock.yml TIMEOUT 901.03 853.12 None libvsync/hmcslock.yml ERROR (7) 26.48 17.61 None libvsync/mcslock.yml OUT OF MEMORY 178.19 141.29 None libvsync/rec_mcslock.yml OUT OF MEMORY 303.29 250.02 None libvsync/rec_ticketlock.yml OUT OF MEMORY 190.27 144.12 None libvsync/rwlock.yml OUT OF MEMORY 192.32 143.09 None libvsync/semaphore.yml OUT OF MEMORY 313.96 252.41 None libvsync/ticketlock.yml OUT OF MEMORY 102.67 76.67 None libvsync/ttaslock.yml OUT OF MEMORY 86.49 63.92 None pthread-theta/exponential-4.yml true 217.97 187.04 None pthread-theta/exponential-64.yml TIMEOUT 900.57 881.10 None pthread-theta/exponential-nondet.yml TIMEOUT 900.46 884.88 None pthread-theta/unwind1-1.yml false(unreach-call) 10.57 8.34 None pthread-theta/unwind1-100.yml false(unreach-call) 115.25 96.24 None pthread-theta/unwind1-nondet.yml false(unreach-call) 9.92 6.87 None pthread-theta/unwind2-1.yml false(unreach-call) 13.59 9.25 None pthread-theta/unwind2-100.yml false(unreach-call) 57.42 42.17 None pthread-theta/unwind2-nondet.yml false(unreach-call) 24.38 16.66 None pthread-theta/unwind3-1.yml false(unreach-call) 9.74 6.57 None pthread-theta/unwind3-100.yml OUT OF MEMORY 812.30 747.45 None pthread-theta/unwind3-nondet.yml false(unreach-call) 7.59 5.50 None pthread-theta/wsc.yml true 13.69 9.39 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 187247.42 24886.79 - SV-COMP24_unreach-call-OnlySleep.ConcurrencySafety-Main Run set 2 of 6 with options '--full-output --traceabstraction.use.conditional.por.in.concurrent.analysis false --traceabstraction.commutativity.condition.synthesis NONE --traceabstraction.partial.order.reduction.in.concurrent.analysis SLEEP_NEW_STATES' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 14.37 9.92 None pthread/bigshot_s2.yml true 23.23 17.70 None pthread/butterfly.yml OUT OF MEMORY 257.91 178.97 None pthread/fib_safe-10.yml TIMEOUT 901.11 840.60 None pthread/fib_safe-11.yml TIMEOUT 900.23 839.37 None pthread/fib_safe-12.yml TIMEOUT 901.10 841.74 None pthread/fib_safe-5.yml TIMEOUT 900.62 827.75 None pthread/fib_safe-6.yml TIMEOUT 900.49 830.92 None pthread/fib_safe-7.yml TIMEOUT 901.31 835.67 None pthread/fib_unsafe-10.yml false(unreach-call) 14.48 9.93 None pthread/fib_unsafe-11.yml false(unreach-call) 18.30 11.82 None pthread/fib_unsafe-12.yml false(unreach-call) 18.66 11.83 None pthread/fib_unsafe-5.yml false(unreach-call) 13.10 9.15 None pthread/fib_unsafe-6.yml false(unreach-call) 13.78 9.45 None pthread/fib_unsafe-7.yml false(unreach-call) 14.05 9.69 None pthread/lazy01.yml false(unreach-call) 8.10 5.61 None pthread/queue.yml TIMEOUT 900.68 875.36 None pthread/queue_longer.yml TIMEOUT 900.91 869.41 None pthread/queue_longest.yml TIMEOUT 900.42 800.67 None pthread/queue_ok.yml TIMEOUT 900.78 874.21 None pthread/queue_ok_longer.yml TIMEOUT 900.77 882.07 None pthread/queue_ok_longest.yml TIMEOUT 901.28 876.58 None pthread/reorder_2.yml unknown 20.04 13.73 None pthread/reorder_5.yml unknown 20.60 13.91 None pthread/singleton.yml false(unreach-call) 8.46 5.96 None pthread/singleton_with-uninit-problems.yml true 10.95 7.18 None pthread/stack-1.yml true 80.05 55.85 None pthread/stack-2.yml false(unreach-call) 37.49 21.45 None pthread/stack_longer-1.yml TIMEOUT 900.63 869.88 None pthread/stack_longer-2.yml TIMEOUT 900.64 871.95 None pthread/stack_longest-1.yml TIMEOUT 900.78 866.34 None pthread/stack_longest-2.yml TIMEOUT 901.04 859.34 None pthread/stateful01-1.yml false(unreach-call) 8.58 5.91 None pthread/stateful01-2.yml true 9.34 6.23 None pthread/sync01.yml true 13.57 8.55 None pthread/triangular-1.yml true 27.86 18.43 None pthread/triangular-2.yml false(unreach-call) 12.24 8.12 None pthread/triangular-longer-1.yml true 85.77 67.99 None pthread/triangular-longer-2.yml false(unreach-call) 16.41 10.33 None pthread/triangular-longest-1.yml OUT OF MEMORY 172.36 136.40 None pthread/triangular-longest-2.yml false(unreach-call) 25.08 15.63 None pthread/twostage_3.yml unknown 80.55 57.19 None pthread-atomic/dekker-unfair.yml true 10.28 6.72 None pthread-atomic/dekker.yml true 9.62 6.43 None pthread-atomic/lamport.yml true 11.62 7.26 None pthread-atomic/peterson.yml true 9.79 6.40 None pthread-atomic/read_write_lock-1.yml true 10.66 6.85 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 13.50 8.42 None pthread-atomic/szymanski.yml true 11.77 7.48 None pthread-atomic/time_var_mutex.yml true 9.96 6.56 None pthread-ext/01b_inc.yml TIMEOUT 901.28 808.82 None pthread-ext/02_inc_cas.yml TIMEOUT 900.86 849.66 None pthread-ext/03_incdec.yml OUT OF MEMORY 321.44 243.21 None pthread-ext/04_incdec_cas.yml TIMEOUT 900.93 854.05 None pthread-ext/08_rand_cas.yml OUT OF MEMORY 167.93 133.14 None pthread-ext/09_fmaxsym-zero.yml OUT OF MEMORY 188.56 155.91 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 191.80 161.30 None pthread-ext/11_fmaxsymopt-zero.yml OUT OF MEMORY 230.21 190.67 None pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 205.13 172.44 None pthread-ext/14_spin2003.yml OUT OF MEMORY 233.38 199.66 None pthread-ext/18_read_write_lock.yml true 8.61 6.16 None pthread-ext/25_stack.yml OUT OF MEMORY 148.07 112.22 None pthread-ext/25_stack_longer-1.yml TIMEOUT 900.55 892.97 None pthread-ext/25_stack_longer-2.yml TIMEOUT 900.58 892.81 None pthread-ext/25_stack_longest-1.yml TIMEOUT 900.86 878.01 None pthread-ext/25_stack_longest-2.yml TIMEOUT 900.94 878.24 None pthread-ext/26_stack_cas.yml OUT OF MEMORY 531.40 466.19 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 900.60 892.26 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 900.61 893.73 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 900.87 884.74 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 900.81 885.81 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 7.56 5.50 None pthread-ext/29_conditionals_vs.yml OUT OF MEMORY 243.19 181.87 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 374.43 336.83 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 248.11 212.84 None pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 901.08 862.32 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 602.14 437.80 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 195.90 160.47 None pthread-ext/40_barrier_vf.yml false(unreach-call) 14.30 8.72 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml OUT OF MEMORY 798.06 474.14 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml OUT OF MEMORY 454.15 290.79 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 229.02 191.09 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 248.04 209.18 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml OUT OF MEMORY 235.15 190.22 None pthread-ext/48_ticket_lock_low_contention_vs.yml ERROR (7) 14.26 10.42 None pthread-wmm/mix000.oepc.yml false(unreach-call) 28.03 18.94 None pthread-wmm/mix000.opt.yml false(unreach-call) 19.01 11.36 None pthread-wmm/mix001.oepc.yml false(unreach-call) 44.07 31.89 None pthread-wmm/mix001.opt.yml false(unreach-call) 36.29 24.42 None pthread-wmm/mix002.oepc.yml false(unreach-call) 34.12 23.57 None pthread-wmm/mix002.opt.yml false(unreach-call) 38.08 25.72 None pthread-wmm/mix003.oepc.yml false(unreach-call) 38.29 26.59 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 39.51 27.54 None pthread-wmm/mix004.oepc.yml false(unreach-call) 54.99 39.91 None pthread-wmm/mix004.opt.yml false(unreach-call) 37.45 24.81 None pthread-wmm/mix005.opt.yml false(unreach-call) 37.44 25.24 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 56.63 41.60 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 34.43 20.96 None pthread-wmm/mix006.opt.yml false(unreach-call) 44.06 31.55 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 39.05 27.06 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 96.76 78.57 None pthread-wmm/mix007.oepc.yml false(unreach-call) 53.75 38.52 None pthread-wmm/mix007.opt.yml false(unreach-call) 43.19 29.30 None pthread-wmm/mix008.opt.yml false(unreach-call) 40.61 26.56 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 55.73 40.51 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 109.47 88.15 None pthread-wmm/mix009.oepc.yml false(unreach-call) 24.40 15.80 None pthread-wmm/mix009.opt.yml false(unreach-call) 25.80 16.07 None pthread-wmm/mix010.oepc.yml false(unreach-call) 33.12 23.14 None pthread-wmm/mix010.opt.yml false(unreach-call) 38.51 26.68 None pthread-wmm/mix011.opt.yml false(unreach-call) 39.51 27.38 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 36.12 25.47 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 25.32 14.72 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 21.85 14.05 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 19.44 11.58 None pthread-wmm/mix013.oepc.yml false(unreach-call) 55.73 40.68 None pthread-wmm/mix013.opt.yml false(unreach-call) 37.17 24.45 None pthread-wmm/mix014.opt.yml false(unreach-call) 44.80 30.46 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 51.12 37.62 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 125.99 102.78 None pthread-wmm/mix015.oepc.yml false(unreach-call) 35.01 24.09 None pthread-wmm/mix015.opt.yml false(unreach-call) 39.82 27.83 None pthread-wmm/mix016.oepc.yml false(unreach-call) 35.88 25.14 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 21.76 14.30 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 37.56 27.10 None pthread-wmm/mix017.oepc.yml false(unreach-call) 49.04 36.15 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 49.26 34.57 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 36.72 23.98 None pthread-wmm/mix018.opt.yml false(unreach-call) 33.42 21.23 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 49.80 37.12 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 34.13 20.31 None pthread-wmm/mix019.opt.yml false(unreach-call) 36.10 24.45 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 31.71 21.68 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 22.53 13.42 None pthread-wmm/mix020.oepc.yml false(unreach-call) 55.74 40.83 None pthread-wmm/mix020.opt.yml false(unreach-call) 33.53 21.83 None pthread-wmm/mix021.opt.yml false(unreach-call) 35.30 24.01 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 52.42 38.10 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 53.99 38.14 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.78 14.79 None pthread-wmm/mix022_tso.yml false(unreach-call) 19.22 11.37 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 55.57 41.59 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 47.91 34.27 None pthread-wmm/mix023_tso.yml false(unreach-call) 271.99 248.93 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 33.48 22.70 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 24.64 14.73 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 30.99 21.80 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 24.88 14.74 None pthread-wmm/mix026.oepc.yml false(unreach-call) 52.19 38.60 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 28.78 18.45 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 46.88 33.32 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 56.92 41.28 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 49.72 34.32 None pthread-wmm/mix027_tso.yml false(unreach-call) 35.00 23.24 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 32.07 22.00 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 22.00 13.12 None pthread-wmm/mix028_tso.yml false(unreach-call) 34.47 22.93 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 56.40 40.80 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 51.01 36.06 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 52.32 38.58 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 59.24 42.36 None pthread-wmm/mix030_tso.yml false(unreach-call) 28.02 16.26 None pthread-wmm/mix031.oepc.yml false(unreach-call) 22.95 14.85 None pthread-wmm/mix031.opt.yml false(unreach-call) 17.63 10.38 None pthread-wmm/mix032.oepc.yml false(unreach-call) 35.03 24.57 None pthread-wmm/mix032.opt.yml false(unreach-call) 32.03 21.29 None pthread-wmm/mix033.opt.yml false(unreach-call) 30.54 20.60 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 37.07 25.28 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 23.37 13.56 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 22.81 14.97 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 16.36 9.95 None pthread-wmm/mix035.oepc.yml false(unreach-call) 36.80 26.23 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 21.22 13.27 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 29.68 19.85 None pthread-wmm/mix036.oepc.yml false(unreach-call) 52.23 37.28 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 50.24 36.43 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 28.91 17.88 None pthread-wmm/mix037.opt.yml false(unreach-call) 27.30 16.99 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 46.59 33.32 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 28.43 17.61 None pthread-wmm/mix038.opt.yml false(unreach-call) 34.76 23.91 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 32.94 22.73 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 23.04 13.89 None pthread-wmm/mix039.oepc.yml false(unreach-call) 51.17 36.30 None pthread-wmm/mix039.opt.yml false(unreach-call) 28.34 17.60 None pthread-wmm/mix040.opt.yml false(unreach-call) 41.23 26.97 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 46.51 33.44 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 53.52 37.87 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.47 14.68 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 16.68 10.04 None pthread-wmm/mix042.oepc.yml false(unreach-call) 35.10 25.43 None pthread-wmm/mix042.opt.yml false(unreach-call) 31.25 20.71 None pthread-wmm/mix043.oepc.yml false(unreach-call) 53.39 37.61 None pthread-wmm/mix043.opt.yml false(unreach-call) 24.17 13.80 None pthread-wmm/mix044.opt.yml false(unreach-call) 23.29 13.51 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 49.62 35.75 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 31.07 18.87 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 33.93 23.60 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 31.12 20.57 None pthread-wmm/mix046.oepc.yml false(unreach-call) 51.45 36.93 None pthread-wmm/mix046.opt.yml false(unreach-call) 24.02 13.62 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 52.60 37.31 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 42.45 27.80 None pthread-wmm/mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 22.49 14.80 None pthread-wmm/mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 35.09 23.95 None pthread-wmm/mix050.yml false(unreach-call) 49.71 36.64 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 52.33 37.14 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 30.69 18.83 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 29.50 18.12 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 36.05 25.96 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 35.12 23.79 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 21.98 13.05 None pthread-wmm/mix053.opt.yml false(unreach-call) 28.01 17.53 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 49.69 35.52 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 52.12 36.04 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 23.01 15.08 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 16.47 9.95 None pthread-wmm/mix055.opt.yml false(unreach-call) 24.47 13.81 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 50.64 35.65 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 28.14 17.56 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 35.31 25.11 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 31.48 20.52 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 53.03 38.91 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 28.28 16.09 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 30.32 21.83 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 17.83 10.43 None pthread-wmm/rfi000_tso.yml true 47.27 33.39 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 21.32 13.89 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 19.04 11.07 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 69.66 54.18 None pthread-wmm/rfi002_tso.yml true 76.32 58.80 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.61 10.89 None pthread-wmm/rfi003_tso.yml true 52.89 39.38 None pthread-wmm/rfi004.yml false(unreach-call) 16.45 9.75 None pthread-wmm/rfi005.yml false(unreach-call) 9.55 6.24 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 39.33 26.67 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 57.65 41.80 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 27.27 15.95 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 37.95 26.41 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 20.76 13.25 None pthread-wmm/rfi007_tso.yml false(unreach-call) 27.51 17.77 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 32.87 23.41 None pthread-wmm/rfi008.opt.yml false(unreach-call) 19.83 11.74 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 47.28 31.30 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 24.31 14.67 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 38.07 27.21 None pthread-wmm/rfi010.yml false(unreach-call) 23.07 14.11 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 92.81 75.83 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 11.75 7.59 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.62 9.30 None pthread-wmm/safe000_rmo.yml false(unreach-call) 87.81 70.80 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 61.07 44.04 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 40.23 28.73 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 49.33 36.10 None pthread-wmm/safe001_tso.yml true 10.72 7.14 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 57.25 41.97 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 28.21 18.47 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 43.72 30.29 None pthread-wmm/safe002_tso.yml true 11.57 7.48 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 43.81 31.77 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 12.12 7.65 None pthread-wmm/safe003_tso.yml true 15.25 9.24 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 41.32 28.88 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 41.27 28.93 None pthread-wmm/safe004_tso.yml true 10.33 6.75 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.91 13.84 None pthread-wmm/safe005_tso.yml true 10.76 6.99 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 21.59 13.66 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 11.59 8.47 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 10.17 6.56 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 17.51 10.63 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 22.52 13.72 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 40.55 29.17 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.53 7.47 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 19.77 11.59 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.39 13.80 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 18.51 10.95 None pthread-wmm/safe008_tso.yml true 12.92 7.99 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 67.32 54.70 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 11.67 7.58 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.95 7.78 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 54.89 42.30 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 11.21 7.39 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.60 9.62 None pthread-wmm/safe010_tso.yml true 10.34 6.87 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 38.93 27.64 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 44.89 31.21 None pthread-wmm/safe011_tso.yml true 10.45 7.10 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 22.59 13.82 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 41.17 29.68 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 24.27 14.76 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 19.72 11.58 None pthread-wmm/safe012_tso.yml true 11.61 7.28 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.70 13.88 None pthread-wmm/safe013_tso.yml true 11.31 7.33 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 27.19 16.98 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 35.23 23.23 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.29 8.22 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 22.51 13.15 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 51.43 36.56 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 45.04 30.33 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 51.65 34.09 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.75 7.48 None pthread-wmm/safe015_rmo.yml false(unreach-call) 46.56 33.58 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 50.35 36.33 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 56.03 42.66 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.29 8.80 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 42.49 29.24 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 52.14 36.20 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 26.68 16.61 None pthread-wmm/safe017_tso.yml true 11.11 7.30 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 24.77 15.49 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 91.60 75.54 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.60 7.46 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 22.96 14.12 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 35.76 24.81 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 47.69 33.56 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 70.48 49.43 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.93 9.11 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 47.55 32.26 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 50.20 35.79 None pthread-wmm/safe020_power.yml false(unreach-call) 66.17 48.13 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.35 7.22 None pthread-wmm/safe020_rmo.yml false(unreach-call) 37.73 26.25 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 36.08 25.71 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 26.99 15.73 None pthread-wmm/safe021_tso.yml true 12.53 7.91 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 31.13 22.09 None pthread-wmm/safe022_tso.yml true 10.81 7.07 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 93.92 73.49 None pthread-wmm/safe023_tso.yml true 11.61 7.51 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 24.37 14.97 None pthread-wmm/safe024_tso.yml true 11.67 8.46 None pthread-wmm/safe025_power.yml false(unreach-call) 106.51 84.37 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.33 10.48 None pthread-wmm/safe025_rmo.yml false(unreach-call) 38.44 26.39 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 36.61 26.15 None pthread-wmm/safe026_tso.yml true 11.64 8.38 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 47.28 33.18 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 91.92 71.02 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.17 9.20 None pthread-wmm/safe027_rmo.yml false(unreach-call) 34.71 22.26 None pthread-wmm/safe028_power.yml false(unreach-call) 66.64 47.38 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.82 8.39 None pthread-wmm/safe028_rmo.yml false(unreach-call) 35.50 24.01 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 15.77 9.53 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 27.36 17.80 None pthread-wmm/safe029_tso.yml true 9.58 6.17 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 57.29 40.40 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 34.81 23.00 None pthread-wmm/safe030_tso.yml true 10.30 7.79 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 28.66 18.70 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 33.83 21.90 None pthread-wmm/safe031_tso.yml true 10.67 7.17 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 91.95 72.87 None pthread-wmm/safe032_tso.yml true 10.98 7.11 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 17.35 10.40 None pthread-wmm/safe033_tso.yml true 9.78 6.48 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 35.60 24.79 None pthread-wmm/safe034_tso.yml true 11.57 7.34 None pthread-wmm/safe035_power.yml true 275.42 250.93 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 12.92 8.26 None pthread-wmm/safe036.yml true 10.22 6.98 None pthread-wmm/safe037.yml true 11.76 7.64 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 28.93 17.45 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 48.81 33.42 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.45 14.10 None pthread-wmm/thin002_rmo.yml false(unreach-call) 21.62 12.59 None pthread-lit/qw2004-2b.yml false(unreach-call) 9.48 6.44 None pthread-lit/sssc12.yml OUT OF MEMORY 186.48 136.94 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 216.01 178.99 None ldv-races/race-1_1-join.yml true 9.60 6.50 None ldv-races/race-1_2-join.yml false(unreach-call) 9.87 6.55 None ldv-races/race-1_3-join.yml false(unreach-call) 10.10 6.68 None ldv-races/race-2_1-container_of.yml true 27.21 15.71 None ldv-races/race-2_2-container_of.yml false(unreach-call) 26.47 14.79 None ldv-races/race-2_3-container_of.yml false(unreach-call) 13.18 8.48 None ldv-races/race-2_4-container_of.yml false(unreach-call) 11.90 7.43 None ldv-races/race-2_5-container_of.yml false(unreach-call) 12.22 7.83 None ldv-races/race-3_1-container_of-global.yml true 25.90 14.75 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 32.29 18.33 None ldv-races/race-4_1-thread_local_vars.yml true 14.12 9.04 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR (7) 415.37 343.07 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR (7) 385.84 298.49 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml TIMEOUT 901.24 870.04 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 900.80 858.06 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT 901.65 830.60 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 900.74 873.26 None pthread-complex/bounded_buffer.yml TIMEOUT 900.43 880.84 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.89 855.62 None pthread-complex/safestack_relacy.yml OUT OF MEMORY 150.95 120.13 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 900.72 866.99 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 16.69 10.58 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 16.83 11.60 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml false(unreach-call) 91.39 64.38 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 26.22 15.41 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml OUT OF MEMORY 280.86 185.30 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 27.81 16.50 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 900.47 882.64 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 22.07 13.59 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 18.33 11.31 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml true 25.19 15.22 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 22.36 13.50 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 900.45 881.48 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml true 24.46 14.61 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml true 29.97 17.82 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 21.46 12.99 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 25.32 15.00 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 20.36 12.47 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml true 26.03 15.73 None pthread-C-DAC/pthread-demo-datarace-1.yml true 34.27 21.40 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 16.80 10.64 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 13.51 9.90 None pthread-C-DAC/pthread-numerical-integration.yml unknown 12.69 9.01 None pthread-divine/tls_basic.yml unknown 11.95 9.92 None pthread-divine/tls_destructor_worker.yml unknown 11.97 8.85 None goblint-regression/13-privatized_01-priv_nr_true.yml true 10.67 6.92 None goblint-regression/13-privatized_04-priv_multi_true.yml true 51.51 33.19 None goblint-regression/13-privatized_18-first-reads_true.yml true 8.52 5.91 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 7.99 5.43 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 8.02 5.64 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 7.81 5.46 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 8.17 5.49 None goblint-regression/13-privatized_19-publish-precision_true.yml true 8.90 6.11 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 7.87 5.55 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 9.10 6.17 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 9.18 6.12 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 7.94 5.78 None goblint-regression/13-privatized_20-publish-regression_true.yml true 10.03 6.70 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 13.57 8.30 None goblint-regression/13-privatized_25-struct_nr_true.yml true 9.95 6.67 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 14.55 8.90 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 11.37 7.52 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 9.75 6.54 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 10.18 6.79 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 11.60 7.41 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.53 8.31 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 11.56 7.31 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 9.84 6.42 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 9.25 6.13 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 9.57 6.44 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 9.06 6.53 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 9.38 6.42 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 9.35 6.59 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 8.12 5.68 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 9.48 6.23 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 9.19 6.37 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 10.06 6.54 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 7.77 5.73 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 8.55 5.79 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 9.07 6.44 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 8.02 5.62 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 8.56 5.80 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 7.56 5.40 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 11.98 7.58 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 10.48 6.58 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 11.67 7.46 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 41.02 23.80 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 9.83 6.58 None goblint-regression/28-race_reach_01-simple_racing.yml TIMEOUT 901.46 819.36 None goblint-regression/28-race_reach_02-simple_racefree.yml TIMEOUT 900.96 809.18 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 159.32 127.23 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 173.45 138.26 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml TIMEOUT 900.89 804.23 None goblint-regression/28-race_reach_06-cond_racing1.yml TIMEOUT 900.52 816.11 None goblint-regression/28-race_reach_07-cond_racing2.yml TIMEOUT 901.56 817.30 None goblint-regression/28-race_reach_08-cond_racefree.yml TIMEOUT 900.62 815.59 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 181.84 144.86 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 211.23 167.13 None goblint-regression/28-race_reach_11-ptr_racing.yml TIMEOUT 902.41 818.50 None goblint-regression/28-race_reach_12-ptr_racefree.yml TIMEOUT 901.11 808.20 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 189.51 150.19 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 180.68 143.10 None goblint-regression/28-race_reach_21-deref_read_racing.yml TIMEOUT 901.47 818.03 None goblint-regression/28-race_reach_22-deref_read_racefree.yml TIMEOUT 901.48 821.28 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 11.92 8.64 None goblint-regression/28-race_reach_24-sound_lock_racing.yml TIMEOUT 900.55 822.69 None goblint-regression/28-race_reach_27-funptr_racing.yml TIMEOUT 900.95 803.41 None goblint-regression/28-race_reach_28-funptr_racefree.yml TIMEOUT 901.28 808.50 None goblint-regression/28-race_reach_36-indirect_racefree.yml TIMEOUT 901.50 818.29 None goblint-regression/28-race_reach_37-indirect_racing.yml TIMEOUT 900.55 818.32 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 11.94 8.68 None goblint-regression/28-race_reach_41-trylock_racefree.yml TIMEOUT 902.21 816.50 None goblint-regression/28-race_reach_42-trylock2_racefree.yml TIMEOUT 900.67 808.96 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 9.59 6.22 None goblint-regression/28-race_reach_46-escape_racefree.yml true 11.30 7.33 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml TIMEOUT 900.54 817.90 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 184.27 147.82 None goblint-regression/28-race_reach_61-invariant_racing.yml TIMEOUT 901.83 854.69 None goblint-regression/28-race_reach_70-funloop_racefree.yml TIMEOUT 900.58 878.13 None goblint-regression/28-race_reach_71-funloop_racing.yml TIMEOUT 900.59 878.34 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml TIMEOUT 900.56 879.28 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml TIMEOUT 900.57 877.40 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 278.03 226.36 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml TIMEOUT 902.04 840.42 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 304.97 248.21 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 333.72 280.17 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 167.48 130.36 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 186.45 147.57 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 184.49 148.74 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 199.05 161.33 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 180.40 145.12 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 170.88 140.15 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 197.48 160.52 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 901.31 878.16 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 901.37 876.22 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 900.59 886.07 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 900.57 888.21 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 900.57 888.72 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 900.55 888.35 None goblint-regression/28-race_reach_94-alloc_region_racing.yml false(unreach-call) 15.18 9.53 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 8.73 5.93 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 8.13 5.53 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 9.11 6.01 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 8.12 5.74 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 24.74 14.48 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 13.35 9.33 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 7.85 5.35 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 7.71 5.57 None weaver/array-eq-symm.wvr.yml true 64.59 46.24 None weaver/array-eq-trans.wvr.yml TIMEOUT 900.74 864.22 None weaver/bench-exp1x3.wvr.yml TIMEOUT 900.37 892.35 None weaver/bench-exp2x3.wvr.yml TIMEOUT 900.37 886.27 None weaver/bench-exp2x4.wvr.yml TIMEOUT 900.59 881.31 None weaver/bench-exp2x6.wvr.yml TIMEOUT 900.70 879.74 None weaver/bench-exp2x9.wvr.yml TIMEOUT 900.45 888.38 None weaver/bench-exp3x3-opt.wvr.yml true 27.85 19.90 None weaver/bench-exp3x3.wvr.yml TIMEOUT 900.37 889.75 None weaver/chl-array-int-subst.wvr.yml TIMEOUT 900.43 850.89 None weaver/chl-array-int-symm.wvr.yml true 54.20 37.94 None weaver/chl-array-int-trans.wvr.yml TIMEOUT 901.11 853.45 None weaver/chl-chromosome-opt-symm.wvr.yml true 41.03 26.31 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 900.67 867.31 None weaver/chl-chromosome-symm.wvr.yml true 40.98 26.03 None weaver/chl-chromosome-trans.wvr.yml TIMEOUT 900.77 859.90 None weaver/chl-collitem-subst.wvr.yml true 15.41 9.42 None weaver/chl-collitem-symm.wvr.yml true 11.85 7.66 None weaver/chl-collitem-trans.wvr.yml true 14.30 8.74 None weaver/chl-exp-term-subst.wvr.yml true 13.10 8.44 None weaver/chl-exp-term-symm.wvr.yml true 10.17 6.72 None weaver/chl-file-item-subst.wvr.yml true 15.24 9.28 None weaver/chl-file-item-symm.wvr.yml true 11.44 7.36 None weaver/chl-file-item-trans.wvr.yml true 11.03 7.14 None weaver/chl-match-subst.wvr.yml true 11.26 7.23 None weaver/chl-match-symm.wvr.yml true 9.44 6.50 None weaver/chl-match-trans.wvr.yml true 9.92 6.57 None weaver/chl-name-comparator-subst.wvr.yml true 56.50 36.90 None weaver/chl-name-comparator-symm.wvr.yml true 44.50 30.22 None weaver/chl-name-comparator-trans.wvr.yml true 91.49 64.98 None weaver/chl-node-subst.wvr.yml TIMEOUT 901.68 867.27 None weaver/chl-node-symm.wvr.yml true 13.73 8.44 None weaver/chl-node-trans.wvr.yml true 15.04 9.66 None weaver/chl-nzb-file-subst.wvr.yml TIMEOUT 900.51 873.87 None weaver/chl-nzb-file-symm.wvr.yml true 123.15 90.33 None weaver/chl-nzb-file-trans.wvr.yml true 270.39 225.13 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 900.64 852.41 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 900.61 875.22 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 900.82 844.95 None weaver/chl-simpl-str-subst.wvr.yml true 10.73 6.85 None weaver/chl-simpl-str-symm.wvr.yml true 9.69 6.48 None weaver/chl-simpl-str-trans.wvr.yml true 9.80 6.49 None weaver/chl-sre-subst.wvr.yml true 10.78 7.29 None weaver/chl-sre-symm.wvr.yml true 9.01 6.15 None weaver/chl-sre-trans.wvr.yml true 8.80 6.09 None weaver/chl-time-subst.wvr.yml true 10.71 7.05 None weaver/chl-time-symm.wvr.yml true 9.34 6.26 None weaver/chl-time-trans.wvr.yml true 10.22 7.11 None weaver/chl-word-subst.wvr.yml TIMEOUT 900.74 866.23 None weaver/chl-word-symm.wvr.yml true 51.63 34.42 None weaver/chl-word-trans.wvr.yml TIMEOUT 900.88 862.15 None weaver/clever.wvr.yml TIMEOUT 901.23 812.66 None weaver/fibonacci.wvr.yml true 13.86 9.15 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 901.78 867.89 None weaver/mult-comm.wvr.yml TIMEOUT 900.42 885.07 None weaver/mult-dist.wvr.yml TIMEOUT 900.35 891.20 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 900.51 884.41 None weaver/parallel-bakery-2.wvr.yml true 12.11 7.69 None weaver/parallel-bakery-3.wvr.yml true 162.38 134.47 None weaver/parallel-bakery-4.wvr.yml TIMEOUT 902.52 822.26 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 28.48 16.31 None weaver/parallel-barrier.wvr.yml true 18.01 10.60 None weaver/parallel-bluetooth.wvr.yml true 10.03 6.74 None weaver/parallel-lamport.wvr.yml true 24.93 14.56 None weaver/parallel-min-max-1.wvr.yml true 39.28 27.27 None weaver/parallel-misc-1.wvr.yml TIMEOUT 900.52 880.12 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 9.50 6.46 None weaver/parallel-misc-2-unrolled.wvr.yml true 9.70 6.40 None weaver/parallel-misc-2.wvr.yml TIMEOUT 900.42 886.67 None weaver/parallel-misc-3-extended.wvr.yml true 18.36 11.04 None weaver/parallel-misc-3.wvr.yml true 12.97 8.70 None weaver/parallel-misc-4.wvr.yml true 21.14 13.94 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 147.81 103.21 None weaver/parallel-parallel-sum-1-dsl.wvr.yml TIMEOUT 901.07 859.85 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 814.98 785.82 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 901.05 842.69 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT 900.94 855.71 None weaver/parallel-simple-equiv.wvr.yml true 8.36 5.68 None weaver/parallel-ticket-2.wvr.yml true 8.76 6.14 None weaver/parallel-ticket-3.wvr.yml true 12.40 7.90 None weaver/parallel-ticket-4.wvr.yml true 22.24 12.98 None weaver/parallel-ticket-5.wvr.yml true 57.50 39.45 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 225.85 178.71 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 338.30 273.66 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 213.65 169.46 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 900.81 860.14 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 900.80 856.90 None weaver/popl20-bad-buffer-mult-alt3.wvr.yml TIMEOUT 901.72 831.07 None weaver/popl20-bad-commit-1.wvr-bad.yml true 83.54 59.34 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 325.34 260.03 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 38.04 25.04 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 900.71 869.17 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 900.46 876.96 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 901.11 837.47 None weaver/popl20-bad-ring-nondet.wvr.yml true 14.29 9.23 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 900.67 860.81 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 900.58 874.02 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 524.32 489.73 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 900.67 857.64 None weaver/popl20-commit-1.wvr.yml TIMEOUT 900.71 844.16 None weaver/popl20-commit-2.wvr.yml TIMEOUT 900.81 859.59 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 247.30 201.47 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 900.70 854.69 None weaver/popl20-difference-det.wvr.yml TIMEOUT 901.23 813.70 None weaver/popl20-figure1-alt.wvr.yml true 116.05 94.21 None weaver/popl20-figure1.wvr.yml TIMEOUT 901.66 829.77 None weaver/popl20-figure3.wvr.yml TIMEOUT 900.48 880.35 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 900.68 869.69 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 521.08 348.08 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 140.86 110.73 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 120.23 91.94 None weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 901.30 848.12 None weaver/popl20-more-array-sum-alt2.wvr.yml TIMEOUT 901.54 849.83 None weaver/popl20-more-array-sum.wvr.yml TIMEOUT 900.67 852.93 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 900.78 868.82 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 901.22 866.95 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 901.33 853.62 None weaver/popl20-more-buffer-mult3.wvr.yml TIMEOUT 900.91 864.90 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 900.66 871.17 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 901.15 866.59 None weaver/popl20-more-buffer-series3.wvr.yml TIMEOUT 900.93 871.47 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 900.53 867.15 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 900.93 861.60 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.42 855.87 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.14 861.17 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 900.45 870.67 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 902.18 851.39 None weaver/popl20-more-min-le-max.wvr.yml true 10.62 7.02 None weaver/popl20-more-mts.wvr.yml TIMEOUT 900.79 859.45 None weaver/popl20-more-multiply-verify.wvr.yml true 80.66 60.73 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 900.49 882.75 None weaver/popl20-more-queue-add-2-nl.wvr.yml OUT OF MEMORY 891.44 755.62 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 900.70 869.06 None weaver/popl20-more-sorted.wvr.yml TIMEOUT 900.55 853.60 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 900.62 877.75 None weaver/popl20-more-vector-add.wvr.yml TIMEOUT 900.84 851.10 None weaver/popl20-mult-4.wvr.yml TIMEOUT 900.45 881.56 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 900.38 888.46 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 144.77 119.77 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.45 830.83 None weaver/popl20-prod-cons-eq.wvr.yml TIMEOUT 900.68 872.24 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 900.66 844.21 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 900.69 863.50 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 901.32 832.27 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 901.04 854.55 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 900.71 864.51 None weaver/popl20-send-receive-alt.wvr.yml OUT OF MEMORY 768.52 659.02 None weaver/popl20-send-receive.wvr.yml TIMEOUT 902.19 834.21 None weaver/popl20-simple-array-sum.wvr.yml true 28.28 18.06 None weaver/popl20-simple-queue.wvr.yml OUT OF MEMORY 838.01 728.51 None weaver/popl20-threaded-sum-3.wvr.yml OUT OF MEMORY 664.35 495.76 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 900.92 867.05 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 462.09 401.71 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 900.44 872.82 None weaver/popl20-two-queue.wvr.yml TIMEOUT 900.76 851.30 None weaver/security.wvr.yml true 8.29 5.86 None weaver/spaghetti.wvr.yml true 16.83 10.16 None weaver/test-context1.wvr.yml OUT OF MEMORY 441.25 353.00 None weaver/test-easy1.wvr.yml true 8.95 5.91 None weaver/test-easy10.wvr.yml true 16.06 9.88 None weaver/test-easy11.wvr.yml true 12.74 8.53 None weaver/test-easy6.wvr.yml true 11.01 7.25 None weaver/test-easy7.wvr.yml true 8.55 5.96 None weaver/test-easy8.wvr.yml true 9.15 6.14 None weaver/test-hard1.wvr.yml TIMEOUT 901.00 839.37 None weaver/test-semi1.wvr.yml true 8.26 5.87 None weaver/unroll-2.wvr.yml TIMEOUT 900.61 863.22 None weaver/unroll-3.wvr.yml TIMEOUT 900.63 871.80 None weaver/unroll-4.wvr.yml TIMEOUT 900.91 861.01 None weaver/unroll-5.wvr.yml TIMEOUT 900.59 873.08 None weaver/unroll-cond-2.wvr.yml TIMEOUT 900.56 884.90 None weaver/unroll-cond-3.wvr.yml TIMEOUT 900.44 886.34 None weaver/unroll-cond-4.wvr.yml TIMEOUT 900.66 880.35 None weaver/unroll-cond-5.wvr.yml TIMEOUT 900.57 869.40 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 17.74 11.02 None pthread-deagle/arithmetic_prog_ok.yml true 23.80 15.01 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 15.09 9.50 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 900.72 880.50 None pthread-race-challenges/thread-local-pthread-value.yml unknown 11.71 8.90 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 11.91 8.76 None pthread-race-challenges/thread-local-value.yml unknown 11.42 8.66 None libvsync/arraylock.yml unknown 15.75 10.73 None libvsync/bounded_mpmc_check_full.yml TIMEOUT 900.99 839.12 None libvsync/cnalock.yml OUT OF MEMORY 262.06 221.81 None libvsync/hclhlock.yml TIMEOUT 901.02 851.84 None libvsync/hmcslock.yml ERROR (7) 28.30 17.82 None libvsync/mcslock.yml OUT OF MEMORY 187.15 149.46 None libvsync/rec_mcslock.yml OUT OF MEMORY 180.09 138.96 None libvsync/rec_ticketlock.yml OUT OF MEMORY 165.59 126.35 None libvsync/rwlock.yml OUT OF MEMORY 164.69 122.86 None libvsync/semaphore.yml OUT OF MEMORY 301.62 243.76 None libvsync/ticketlock.yml OUT OF MEMORY 94.45 67.95 None libvsync/ttaslock.yml OUT OF MEMORY 110.26 85.12 None pthread-theta/exponential-4.yml true 198.50 170.73 None pthread-theta/exponential-64.yml TIMEOUT 900.55 882.62 None pthread-theta/exponential-nondet.yml TIMEOUT 900.44 887.97 None pthread-theta/unwind1-1.yml false(unreach-call) 9.70 6.79 None pthread-theta/unwind1-100.yml false(unreach-call) 111.49 93.59 None pthread-theta/unwind1-nondet.yml false(unreach-call) 9.39 6.61 None pthread-theta/unwind2-1.yml false(unreach-call) 13.04 8.97 None pthread-theta/unwind2-100.yml false(unreach-call) 58.32 42.78 None pthread-theta/unwind2-nondet.yml false(unreach-call) 27.43 18.27 None pthread-theta/unwind3-1.yml false(unreach-call) 9.75 6.78 None pthread-theta/unwind3-100.yml OUT OF MEMORY 359.77 322.14 None pthread-theta/unwind3-nondet.yml false(unreach-call) 8.17 5.61 None pthread-theta/wsc.yml true 13.08 8.30 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 2 done 181244.12 24194.94 - SV-COMP24_unreach-call-OnlyPersistent.ConcurrencySafety-Main Run set 3 of 6 with options '--full-output --traceabstraction.use.conditional.por.in.concurrent.analysis false --traceabstraction.commutativity.condition.synthesis NONE --traceabstraction.partial.order.reduction.in.concurrent.analysis PERSISTENT_SETS' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 16.62 12.22 None pthread/bigshot_s2.yml true 19.38 13.89 None pthread/butterfly.yml OUT OF MEMORY 137.45 106.18 None pthread/fib_safe-10.yml TIMEOUT 900.49 817.41 None pthread/fib_safe-11.yml TIMEOUT 900.98 815.59 None pthread/fib_safe-12.yml TIMEOUT 901.39 818.69 None pthread/fib_safe-5.yml true 835.41 761.41 None pthread/fib_safe-6.yml TIMEOUT 900.81 817.72 None pthread/fib_safe-7.yml TIMEOUT 900.69 817.30 None pthread/fib_unsafe-10.yml false(unreach-call) 92.70 74.69 None pthread/fib_unsafe-11.yml false(unreach-call) 110.17 89.21 None pthread/fib_unsafe-12.yml false(unreach-call) 121.42 100.01 None pthread/fib_unsafe-5.yml false(unreach-call) 32.54 22.43 None pthread/fib_unsafe-6.yml false(unreach-call) 35.06 24.12 None pthread/fib_unsafe-7.yml false(unreach-call) 53.98 40.00 None pthread/lazy01.yml false(unreach-call) 8.38 5.95 None pthread/queue.yml false(unreach-call) 17.25 10.58 None pthread/queue_longer.yml false(unreach-call) 33.53 21.30 None pthread/queue_longest.yml false(unreach-call) 56.90 39.13 None pthread/queue_ok.yml TIMEOUT 900.58 872.63 None pthread/queue_ok_longer.yml TIMEOUT 900.77 880.91 None pthread/queue_ok_longest.yml TIMEOUT 901.40 876.81 None pthread/reorder_2.yml unknown 19.41 13.21 None pthread/reorder_5.yml unknown 18.84 13.21 None pthread/singleton.yml false(unreach-call) 10.11 6.65 None pthread/singleton_with-uninit-problems.yml true 13.41 8.34 None pthread/stack-1.yml true 125.57 96.08 None pthread/stack-2.yml false(unreach-call) 28.86 17.48 None pthread/stack_longer-1.yml TIMEOUT 900.68 877.58 None pthread/stack_longer-2.yml TIMEOUT 900.67 868.74 None pthread/stack_longest-1.yml TIMEOUT 900.91 874.40 None pthread/stack_longest-2.yml TIMEOUT 900.73 864.12 None pthread/stateful01-1.yml false(unreach-call) 8.36 5.80 None pthread/stateful01-2.yml true 10.12 6.68 None pthread/sync01.yml true 13.37 8.54 None pthread/triangular-1.yml true 22.66 15.06 None pthread/triangular-2.yml false(unreach-call) 12.06 7.93 None pthread/triangular-longer-1.yml true 43.11 31.03 None pthread/triangular-longer-2.yml false(unreach-call) 16.16 10.28 None pthread/triangular-longest-1.yml true 193.46 154.68 None pthread/triangular-longest-2.yml false(unreach-call) 23.22 14.91 None pthread/twostage_3.yml unknown 36.91 23.43 None pthread-atomic/dekker-unfair.yml true 9.75 6.56 None pthread-atomic/dekker.yml true 9.86 6.70 None pthread-atomic/lamport.yml true 11.60 7.51 None pthread-atomic/peterson.yml true 9.34 6.45 None pthread-atomic/read_write_lock-1.yml true 10.93 7.14 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 11.18 7.27 None pthread-atomic/szymanski.yml true 11.28 7.45 None pthread-atomic/time_var_mutex.yml true 10.40 6.87 None pthread-ext/01b_inc.yml TIMEOUT 901.02 829.57 None pthread-ext/02_inc_cas.yml TIMEOUT 901.21 845.93 None pthread-ext/03_incdec.yml OUT OF MEMORY 180.41 139.23 None pthread-ext/04_incdec_cas.yml TIMEOUT 900.44 877.00 None pthread-ext/08_rand_cas.yml OUT OF MEMORY 290.84 250.09 None pthread-ext/09_fmaxsym-zero.yml OUT OF MEMORY 176.02 143.22 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 154.18 126.07 None pthread-ext/11_fmaxsymopt-zero.yml OUT OF MEMORY 209.11 172.19 None pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 241.82 208.47 None pthread-ext/14_spin2003.yml OUT OF MEMORY 210.80 181.34 None pthread-ext/18_read_write_lock.yml true 8.61 6.01 None pthread-ext/25_stack.yml OUT OF MEMORY 164.80 130.24 None pthread-ext/25_stack_longer-1.yml TIMEOUT 900.62 892.23 None pthread-ext/25_stack_longer-2.yml TIMEOUT 900.63 892.47 None pthread-ext/25_stack_longest-1.yml TIMEOUT 901.04 876.35 None pthread-ext/25_stack_longest-2.yml TIMEOUT 901.04 877.45 None pthread-ext/26_stack_cas.yml TIMEOUT 901.34 846.15 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 900.68 893.29 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 900.59 892.60 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 900.89 883.19 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 900.88 883.24 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 8.46 6.04 None pthread-ext/29_conditionals_vs.yml OUT OF MEMORY 188.32 149.64 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 348.29 312.77 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 217.54 181.57 None pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 900.92 825.57 None pthread-ext/37_stack_lock_p0_vs_concur.yml TIMEOUT 900.86 856.99 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 282.08 238.83 None pthread-ext/40_barrier_vf.yml false(unreach-call) 15.10 9.33 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml OUT OF MEMORY 108.22 80.39 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml OUT OF MEMORY 329.04 252.58 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 144.12 112.86 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 252.48 219.13 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml OUT OF MEMORY 196.19 162.67 None pthread-ext/48_ticket_lock_low_contention_vs.yml ERROR (7) 13.33 9.96 None pthread-wmm/mix000.oepc.yml false(unreach-call) 41.83 30.74 None pthread-wmm/mix000.opt.yml false(unreach-call) 34.30 23.92 None pthread-wmm/mix001.oepc.yml false(unreach-call) 76.42 63.00 None pthread-wmm/mix001.opt.yml false(unreach-call) 46.22 33.66 None pthread-wmm/mix002.oepc.yml false(unreach-call) 40.41 29.30 None pthread-wmm/mix002.opt.yml false(unreach-call) 46.68 33.16 None pthread-wmm/mix003.oepc.yml false(unreach-call) 45.93 33.79 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 45.43 32.88 None pthread-wmm/mix004.oepc.yml false(unreach-call) 68.54 52.79 None pthread-wmm/mix004.opt.yml false(unreach-call) 46.85 32.00 None pthread-wmm/mix005.opt.yml false(unreach-call) 43.16 29.92 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 65.89 49.96 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 52.19 36.97 None pthread-wmm/mix006.opt.yml false(unreach-call) 53.81 40.92 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 47.68 35.11 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 142.77 122.62 None pthread-wmm/mix007.oepc.yml false(unreach-call) 66.65 50.22 None pthread-wmm/mix007.opt.yml false(unreach-call) 44.96 31.15 None pthread-wmm/mix008.opt.yml false(unreach-call) 45.14 32.13 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 63.68 49.31 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 175.66 151.01 None pthread-wmm/mix009.oepc.yml false(unreach-call) 34.38 24.66 None pthread-wmm/mix009.opt.yml false(unreach-call) 41.63 30.72 None pthread-wmm/mix010.oepc.yml false(unreach-call) 42.78 30.65 None pthread-wmm/mix010.opt.yml false(unreach-call) 50.90 37.62 None pthread-wmm/mix011.opt.yml false(unreach-call) 52.72 38.88 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 47.95 34.82 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 38.99 26.25 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 32.59 22.72 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 39.18 28.27 None pthread-wmm/mix013.oepc.yml false(unreach-call) 66.24 49.98 None pthread-wmm/mix013.opt.yml false(unreach-call) 45.94 31.72 None pthread-wmm/mix014.opt.yml false(unreach-call) 48.01 33.91 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 63.73 49.07 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 201.08 177.80 None pthread-wmm/mix015.oepc.yml false(unreach-call) 43.61 31.29 None pthread-wmm/mix015.opt.yml false(unreach-call) 50.30 37.03 None pthread-wmm/mix016.oepc.yml false(unreach-call) 46.18 33.64 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 36.09 25.90 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 48.64 34.75 None pthread-wmm/mix017.oepc.yml false(unreach-call) 63.77 48.04 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 51.93 36.87 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 46.67 32.15 None pthread-wmm/mix018.opt.yml false(unreach-call) 46.88 32.88 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 62.91 48.56 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 44.60 31.29 None pthread-wmm/mix019.opt.yml false(unreach-call) 47.49 33.35 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 44.00 31.58 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 35.27 23.53 None pthread-wmm/mix020.oepc.yml false(unreach-call) 66.82 51.22 None pthread-wmm/mix020.opt.yml false(unreach-call) 47.71 33.08 None pthread-wmm/mix021.opt.yml false(unreach-call) 44.76 31.45 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 63.09 48.27 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 72.72 56.44 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 32.36 22.14 None pthread-wmm/mix022_tso.yml false(unreach-call) 29.06 19.83 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 65.88 50.51 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 49.98 35.42 None pthread-wmm/mix023_tso.yml false(unreach-call) 193.95 171.06 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 44.11 31.73 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 39.65 28.28 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 43.34 31.18 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 37.27 26.26 None pthread-wmm/mix026.oepc.yml false(unreach-call) 66.40 50.38 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 51.77 39.42 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 50.39 36.14 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 65.21 50.37 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 50.20 35.59 None pthread-wmm/mix027_tso.yml false(unreach-call) 91.89 72.56 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 43.57 31.49 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 37.60 25.97 None pthread-wmm/mix028_tso.yml false(unreach-call) 52.62 39.13 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 64.88 51.02 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 71.45 54.73 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 64.01 49.22 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 68.17 52.13 None pthread-wmm/mix030_tso.yml false(unreach-call) 44.72 30.86 None pthread-wmm/mix031.oepc.yml false(unreach-call) 33.01 21.98 None pthread-wmm/mix031.opt.yml false(unreach-call) 29.35 19.85 None pthread-wmm/mix032.oepc.yml false(unreach-call) 46.36 34.40 None pthread-wmm/mix032.opt.yml false(unreach-call) 34.17 22.55 None pthread-wmm/mix033.opt.yml false(unreach-call) 32.65 21.47 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 44.81 31.71 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 35.53 24.26 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 32.10 22.31 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 29.08 19.68 None pthread-wmm/mix035.oepc.yml false(unreach-call) 48.07 35.35 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 37.68 26.91 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 33.46 22.59 None pthread-wmm/mix036.oepc.yml false(unreach-call) 62.13 46.05 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 49.71 34.87 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 34.44 23.82 None pthread-wmm/mix037.opt.yml false(unreach-call) 37.48 24.29 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 62.12 46.44 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 52.39 36.04 None pthread-wmm/mix038.opt.yml false(unreach-call) 37.14 25.69 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 42.01 30.39 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 36.39 24.41 None pthread-wmm/mix039.oepc.yml false(unreach-call) 55.00 41.31 None pthread-wmm/mix039.opt.yml false(unreach-call) 35.89 23.32 None pthread-wmm/mix040.opt.yml false(unreach-call) 41.65 28.41 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 59.31 45.65 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 74.95 58.01 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 32.75 22.88 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 36.58 26.51 None pthread-wmm/mix042.oepc.yml false(unreach-call) 42.64 30.80 None pthread-wmm/mix042.opt.yml false(unreach-call) 42.37 30.52 None pthread-wmm/mix043.oepc.yml false(unreach-call) 58.48 43.49 None pthread-wmm/mix043.opt.yml false(unreach-call) 35.26 22.21 None pthread-wmm/mix044.opt.yml false(unreach-call) 38.47 24.53 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 59.74 45.18 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 52.29 36.89 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 42.23 31.36 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 45.27 32.85 None pthread-wmm/mix046.oepc.yml false(unreach-call) 58.42 44.26 None pthread-wmm/mix046.opt.yml false(unreach-call) 36.23 23.01 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 56.65 42.28 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 54.26 40.30 None pthread-wmm/mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 31.97 22.19 None pthread-wmm/mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 42.21 30.67 None pthread-wmm/mix050.yml false(unreach-call) 61.26 45.73 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 60.69 45.17 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 35.61 23.40 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 46.48 31.72 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 43.78 32.36 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 36.22 25.18 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 35.01 23.65 None pthread-wmm/mix053.opt.yml false(unreach-call) 35.00 22.69 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 58.09 43.94 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 72.24 54.57 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 33.69 23.15 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 25.82 16.09 None pthread-wmm/mix055.opt.yml false(unreach-call) 34.85 21.48 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 57.20 43.81 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 46.36 32.62 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 47.13 34.94 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 41.92 29.33 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 62.55 48.11 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 35.03 22.55 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 50.24 38.38 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 27.17 17.45 None pthread-wmm/rfi000_tso.yml true 64.40 49.88 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 31.57 21.64 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 27.24 17.62 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 121.61 101.44 None pthread-wmm/rfi002_tso.yml true 133.86 117.36 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 27.68 18.48 None pthread-wmm/rfi003_tso.yml true 83.03 68.13 None pthread-wmm/rfi004.yml false(unreach-call) 29.79 20.03 None pthread-wmm/rfi005.yml false(unreach-call) 12.87 8.25 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 66.80 52.71 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 83.70 67.88 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 45.39 32.31 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 49.64 36.23 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 31.15 21.03 None pthread-wmm/rfi007_tso.yml false(unreach-call) 40.78 29.59 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 49.75 37.62 None pthread-wmm/rfi008.opt.yml false(unreach-call) 38.15 26.45 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 73.27 56.80 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 45.88 34.64 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 50.59 37.45 None pthread-wmm/rfi010.yml false(unreach-call) 41.04 29.45 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 226.57 206.36 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 41.31 30.13 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.78 8.12 None pthread-wmm/safe000_rmo.yml false(unreach-call) 163.56 146.19 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 141.45 121.61 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 59.63 46.43 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 101.31 84.51 None pthread-wmm/safe001_tso.yml true 11.96 7.47 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 131.18 113.95 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 41.83 30.50 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 87.69 72.74 None pthread-wmm/safe002_tso.yml true 13.04 8.12 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 70.59 55.52 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 40.17 29.42 None pthread-wmm/safe003_tso.yml true 12.89 8.03 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 68.88 54.74 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 58.11 44.79 None pthread-wmm/safe004_tso.yml true 10.62 6.99 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 38.89 27.31 None pthread-wmm/safe005_tso.yml true 11.66 7.36 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 43.04 32.90 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 29.58 19.87 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 9.65 6.60 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 30.61 21.22 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 45.87 34.37 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 53.75 41.25 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.46 7.24 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 31.83 21.91 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 36.55 25.24 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 45.48 32.44 None pthread-wmm/safe008_tso.yml true 13.18 8.26 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 150.27 132.87 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 40.50 30.22 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.27 7.70 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 111.35 95.49 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 29.82 21.53 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 24.10 15.23 None pthread-wmm/safe010_tso.yml true 10.60 6.85 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 79.53 61.08 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 58.84 45.14 None pthread-wmm/safe011_tso.yml true 11.25 7.23 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 46.72 36.05 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 55.30 42.31 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 40.31 28.80 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 33.54 22.96 None pthread-wmm/safe012_tso.yml true 11.64 7.55 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 41.98 29.88 None pthread-wmm/safe013_tso.yml true 11.10 7.18 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 53.92 40.69 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 51.74 39.01 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.53 8.40 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 34.34 22.96 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 79.83 63.99 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 160.94 140.80 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 88.97 71.80 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.21 7.62 None pthread-wmm/safe015_rmo.yml false(unreach-call) 77.00 59.84 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 138.23 120.22 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 100.54 80.68 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.73 8.58 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 77.34 61.53 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 70.29 53.99 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 34.84 23.75 None pthread-wmm/safe017_tso.yml true 11.84 8.55 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 45.63 33.60 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 99.72 78.68 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.62 7.45 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 33.74 22.68 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 61.48 47.70 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 118.80 102.21 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 111.10 90.04 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.49 8.45 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 78.24 62.45 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 70.88 56.03 None pthread-wmm/safe020_power.yml false(unreach-call) 96.33 75.19 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.05 7.16 None pthread-wmm/safe020_rmo.yml false(unreach-call) 60.73 47.56 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 45.17 32.90 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 32.49 21.45 None pthread-wmm/safe021_tso.yml true 11.23 7.23 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 38.06 27.89 None pthread-wmm/safe022_tso.yml true 10.08 6.59 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 137.85 117.53 None pthread-wmm/safe023_tso.yml true 11.60 7.36 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 37.67 26.76 None pthread-wmm/safe024_tso.yml true 11.20 7.21 None pthread-wmm/safe025_power.yml false(unreach-call) 162.71 142.49 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.53 7.52 None pthread-wmm/safe025_rmo.yml false(unreach-call) 72.08 57.24 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 45.94 34.13 None pthread-wmm/safe026_tso.yml true 10.93 7.04 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 66.92 51.58 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 118.20 93.73 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.80 8.56 None pthread-wmm/safe027_rmo.yml false(unreach-call) 50.64 36.52 None pthread-wmm/safe028_power.yml false(unreach-call) 96.73 77.32 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.39 7.27 None pthread-wmm/safe028_rmo.yml false(unreach-call) 54.32 41.02 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 23.98 15.32 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 39.17 29.02 None pthread-wmm/safe029_tso.yml true 9.56 6.32 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 37.50 25.05 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 47.30 34.50 None pthread-wmm/safe030_tso.yml true 10.16 6.62 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 39.97 29.57 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 44.62 31.80 None pthread-wmm/safe031_tso.yml true 10.37 6.77 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 138.56 114.28 None pthread-wmm/safe032_tso.yml true 11.73 7.50 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 29.32 19.82 None pthread-wmm/safe033_tso.yml true 9.62 6.31 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 37.70 26.58 None pthread-wmm/safe034_tso.yml true 11.68 7.54 None pthread-wmm/safe035_power.yml TIMEOUT 901.68 875.13 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 12.01 7.76 None pthread-wmm/safe036.yml true 10.54 6.88 None pthread-wmm/safe037.yml true 12.02 7.56 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 49.04 36.79 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 60.05 45.94 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.43 10.41 None pthread-wmm/thin002_rmo.yml false(unreach-call) 35.25 23.27 None pthread-lit/qw2004-2b.yml false(unreach-call) 10.01 6.83 None pthread-lit/sssc12.yml OUT OF MEMORY 215.31 174.72 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 223.27 185.51 None ldv-races/race-1_1-join.yml true 9.67 6.45 None ldv-races/race-1_2-join.yml false(unreach-call) 9.85 6.52 None ldv-races/race-1_3-join.yml false(unreach-call) 10.71 6.94 None ldv-races/race-2_1-container_of.yml true 88.01 63.64 None ldv-races/race-2_2-container_of.yml false(unreach-call) 30.44 17.38 None ldv-races/race-2_3-container_of.yml false(unreach-call) 12.70 9.00 None ldv-races/race-2_4-container_of.yml false(unreach-call) 12.50 7.98 None ldv-races/race-2_5-container_of.yml false(unreach-call) 13.10 8.26 None ldv-races/race-3_1-container_of-global.yml true 64.23 40.26 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 37.69 22.14 None ldv-races/race-4_1-thread_local_vars.yml true 15.27 9.11 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR (7) 363.87 282.12 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR (7) 352.50 275.33 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml TIMEOUT 900.81 861.87 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 901.00 853.39 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT 900.76 862.22 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 900.91 861.68 None pthread-complex/bounded_buffer.yml TIMEOUT 900.54 875.56 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.71 869.71 None pthread-complex/safestack_relacy.yml OUT OF MEMORY 137.22 108.03 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 900.74 865.93 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 17.96 12.13 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 17.33 10.82 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml false(unreach-call) 88.95 61.29 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 27.51 16.83 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT 900.94 874.83 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 25.08 15.19 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 900.83 878.60 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 23.86 14.53 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 20.04 12.49 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml true 26.64 15.86 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 21.72 12.89 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 900.49 879.99 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml true 22.48 13.52 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml true 30.94 18.20 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 22.94 15.15 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 25.33 15.36 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 20.51 12.89 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml true 25.12 14.88 None pthread-C-DAC/pthread-demo-datarace-1.yml true 35.29 22.49 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 17.42 11.07 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 13.12 9.51 None pthread-C-DAC/pthread-numerical-integration.yml unknown 13.22 10.32 None pthread-divine/tls_basic.yml unknown 12.58 9.18 None pthread-divine/tls_destructor_worker.yml unknown 11.83 8.87 None goblint-regression/13-privatized_01-priv_nr_true.yml true 11.17 7.23 None goblint-regression/13-privatized_04-priv_multi_true.yml true 58.65 38.56 None goblint-regression/13-privatized_18-first-reads_true.yml true 8.88 6.06 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 8.12 5.66 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 8.43 6.78 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 8.18 5.63 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 8.15 5.56 None goblint-regression/13-privatized_19-publish-precision_true.yml true 8.97 6.34 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 8.74 5.96 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 9.51 6.31 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 9.49 6.43 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 8.67 5.84 None goblint-regression/13-privatized_20-publish-regression_true.yml true 10.53 7.04 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 15.79 9.59 None goblint-regression/13-privatized_25-struct_nr_true.yml true 10.65 6.79 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 17.42 10.32 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 12.92 7.88 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 10.40 6.81 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 10.81 6.85 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 12.84 7.95 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.59 7.35 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 11.68 7.44 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 10.44 6.71 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 10.17 6.53 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 9.29 6.24 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 9.95 6.62 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 9.65 6.39 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 9.40 6.34 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 8.27 6.94 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 9.77 6.79 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 9.06 6.34 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 11.58 7.59 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 8.20 5.74 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 7.91 5.50 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 8.29 5.68 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 8.63 6.05 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 7.77 5.51 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 7.46 5.44 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 12.24 7.65 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 10.00 6.61 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 12.34 7.62 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 88.97 66.10 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 9.85 6.50 None goblint-regression/28-race_reach_01-simple_racing.yml TIMEOUT 902.51 771.62 None goblint-regression/28-race_reach_02-simple_racefree.yml TIMEOUT 901.64 785.48 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 162.15 128.95 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 154.69 121.19 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml TIMEOUT 901.08 794.04 None goblint-regression/28-race_reach_06-cond_racing1.yml TIMEOUT 900.92 769.57 None goblint-regression/28-race_reach_07-cond_racing2.yml TIMEOUT 901.63 772.19 None goblint-regression/28-race_reach_08-cond_racefree.yml TIMEOUT 900.80 771.95 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 384.32 326.46 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml TIMEOUT 901.79 819.99 None goblint-regression/28-race_reach_11-ptr_racing.yml TIMEOUT 900.74 779.41 None goblint-regression/28-race_reach_12-ptr_racefree.yml TIMEOUT 900.86 775.61 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 176.36 141.31 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 211.64 170.40 None goblint-regression/28-race_reach_21-deref_read_racing.yml TIMEOUT 900.87 774.02 None goblint-regression/28-race_reach_22-deref_read_racefree.yml TIMEOUT 900.92 767.24 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 12.23 8.92 None goblint-regression/28-race_reach_24-sound_lock_racing.yml TIMEOUT 900.98 766.26 None goblint-regression/28-race_reach_27-funptr_racing.yml TIMEOUT 901.71 766.61 None goblint-regression/28-race_reach_28-funptr_racefree.yml TIMEOUT 901.58 778.84 None goblint-regression/28-race_reach_36-indirect_racefree.yml TIMEOUT 901.10 762.90 None goblint-regression/28-race_reach_37-indirect_racing.yml TIMEOUT 902.48 769.99 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 12.25 9.07 None goblint-regression/28-race_reach_41-trylock_racefree.yml TIMEOUT 901.24 769.85 None goblint-regression/28-race_reach_42-trylock2_racefree.yml TIMEOUT 901.55 771.36 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 10.28 6.66 None goblint-regression/28-race_reach_46-escape_racefree.yml true 12.16 7.81 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml TIMEOUT 902.55 749.34 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 160.01 126.59 None goblint-regression/28-race_reach_61-invariant_racing.yml TIMEOUT 902.52 766.60 None goblint-regression/28-race_reach_70-funloop_racefree.yml TIMEOUT 900.60 877.98 None goblint-regression/28-race_reach_71-funloop_racing.yml TIMEOUT 900.82 863.35 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml TIMEOUT 900.57 878.10 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml TIMEOUT 900.61 875.87 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 211.29 166.27 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml OUT OF MEMORY 244.28 195.76 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 193.45 148.92 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 303.51 248.10 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 206.27 159.75 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 171.57 135.70 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 427.41 365.64 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 334.20 288.62 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 177.06 141.16 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 176.82 143.95 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 195.58 158.71 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 900.73 871.23 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 901.42 874.68 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 900.58 886.63 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 900.56 888.51 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 900.57 887.05 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 900.57 886.51 None goblint-regression/28-race_reach_94-alloc_region_racing.yml false(unreach-call) 20.45 13.10 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 9.23 6.10 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 8.02 5.75 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 9.40 6.33 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 8.75 6.10 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 19.63 11.65 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 13.84 8.62 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 7.84 5.42 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 7.80 5.52 None weaver/array-eq-symm.wvr.yml TIMEOUT 901.02 841.13 None weaver/array-eq-trans.wvr.yml TIMEOUT 901.22 851.74 None weaver/bench-exp1x3.wvr.yml TIMEOUT 900.37 890.01 None weaver/bench-exp2x3.wvr.yml TIMEOUT 900.37 881.40 None weaver/bench-exp2x4.wvr.yml TIMEOUT 900.45 886.10 None weaver/bench-exp2x6.wvr.yml TIMEOUT 900.58 883.44 None weaver/bench-exp2x9.wvr.yml TIMEOUT 900.44 885.31 None weaver/bench-exp3x3-opt.wvr.yml TIMEOUT 900.52 883.63 None weaver/bench-exp3x3.wvr.yml TIMEOUT 900.48 883.94 None weaver/chl-array-int-subst.wvr.yml TIMEOUT 900.80 855.09 None weaver/chl-array-int-symm.wvr.yml TIMEOUT 900.76 853.49 None weaver/chl-array-int-trans.wvr.yml TIMEOUT 900.53 855.14 None weaver/chl-chromosome-opt-symm.wvr.yml true 194.18 164.60 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 900.59 868.17 None weaver/chl-chromosome-symm.wvr.yml true 214.85 181.69 None weaver/chl-chromosome-trans.wvr.yml ERROR (7) 790.69 744.34 None weaver/chl-collitem-subst.wvr.yml true 19.93 11.69 None weaver/chl-collitem-symm.wvr.yml true 11.74 7.51 None weaver/chl-collitem-trans.wvr.yml true 17.72 10.63 None weaver/chl-exp-term-subst.wvr.yml true 18.37 10.97 None weaver/chl-exp-term-symm.wvr.yml true 12.12 7.70 None weaver/chl-file-item-subst.wvr.yml true 25.01 14.24 None weaver/chl-file-item-symm.wvr.yml true 14.08 8.54 None weaver/chl-file-item-trans.wvr.yml true 16.69 9.84 None weaver/chl-match-subst.wvr.yml true 14.56 9.08 None weaver/chl-match-symm.wvr.yml true 11.32 7.48 None weaver/chl-match-trans.wvr.yml true 15.96 9.88 None weaver/chl-name-comparator-subst.wvr.yml TIMEOUT 901.29 841.15 None weaver/chl-name-comparator-symm.wvr.yml true 91.94 68.99 None weaver/chl-name-comparator-trans.wvr.yml TIMEOUT 901.30 827.85 None weaver/chl-node-subst.wvr.yml TIMEOUT 900.88 867.65 None weaver/chl-node-symm.wvr.yml true 14.63 9.26 None weaver/chl-node-trans.wvr.yml true 19.03 11.49 None weaver/chl-nzb-file-subst.wvr.yml TIMEOUT 900.69 867.02 None weaver/chl-nzb-file-symm.wvr.yml true 216.95 180.41 None weaver/chl-nzb-file-trans.wvr.yml TIMEOUT 900.86 861.43 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 900.88 857.96 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 900.57 880.06 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 901.01 858.85 None weaver/chl-simpl-str-subst.wvr.yml true 16.79 9.83 None weaver/chl-simpl-str-symm.wvr.yml true 12.24 7.75 None weaver/chl-simpl-str-trans.wvr.yml true 13.42 8.27 None weaver/chl-sre-subst.wvr.yml true 17.81 10.49 None weaver/chl-sre-symm.wvr.yml true 9.99 7.02 None weaver/chl-sre-trans.wvr.yml true 11.11 7.22 None weaver/chl-time-subst.wvr.yml true 14.52 8.85 None weaver/chl-time-symm.wvr.yml true 10.28 6.73 None weaver/chl-time-trans.wvr.yml true 11.52 7.54 None weaver/chl-word-subst.wvr.yml TIMEOUT 900.66 860.86 None weaver/chl-word-symm.wvr.yml TIMEOUT 901.12 838.58 None weaver/chl-word-trans.wvr.yml TIMEOUT 901.15 861.05 None weaver/clever.wvr.yml TIMEOUT 900.57 879.57 None weaver/fibonacci.wvr.yml TIMEOUT 900.82 821.85 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 900.57 869.36 None weaver/mult-comm.wvr.yml TIMEOUT 900.40 887.32 None weaver/mult-dist.wvr.yml TIMEOUT 900.37 889.77 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 900.51 881.37 None weaver/parallel-bakery-2.wvr.yml true 13.13 8.26 None weaver/parallel-bakery-3.wvr.yml true 646.99 592.59 None weaver/parallel-bakery-4.wvr.yml TIMEOUT 901.53 836.31 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 27.10 15.35 None weaver/parallel-barrier.wvr.yml TIMEOUT 901.06 839.80 None weaver/parallel-bluetooth.wvr.yml true 10.11 6.58 None weaver/parallel-lamport.wvr.yml true 45.97 27.00 None weaver/parallel-min-max-1.wvr.yml OUT OF MEMORY 190.74 154.87 None weaver/parallel-misc-1.wvr.yml TIMEOUT 900.61 875.35 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 7.54 5.65 None weaver/parallel-misc-2-unrolled.wvr.yml true 8.61 5.84 None weaver/parallel-misc-2.wvr.yml TIMEOUT 900.44 886.36 None weaver/parallel-misc-3-extended.wvr.yml true 16.49 10.14 None weaver/parallel-misc-3.wvr.yml true 11.71 7.72 None weaver/parallel-misc-4.wvr.yml true 22.36 13.26 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 561.35 518.56 None weaver/parallel-parallel-sum-1-dsl.wvr.yml TIMEOUT 900.96 855.61 None weaver/parallel-parallel-sum-1.wvr.yml TIMEOUT 900.94 851.04 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 901.09 840.39 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT 900.76 862.79 None weaver/parallel-simple-equiv.wvr.yml true 9.77 6.71 None weaver/parallel-ticket-2.wvr.yml true 9.64 6.22 None weaver/parallel-ticket-3.wvr.yml true 13.18 8.28 None weaver/parallel-ticket-4.wvr.yml true 23.88 13.85 None weaver/parallel-ticket-5.wvr.yml true 62.39 42.83 None weaver/parallel-ticket-6.wvr.yml true 608.72 554.29 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 140.60 111.26 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 147.20 120.19 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 900.75 863.66 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 900.98 866.48 None weaver/popl20-bad-buffer-mult-alt3.wvr.yml TIMEOUT 900.84 865.73 None weaver/popl20-bad-commit-1.wvr-bad.yml true 67.41 42.64 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 261.09 201.52 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 498.24 459.73 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 900.65 863.93 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 900.58 870.13 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 901.23 841.90 None weaver/popl20-bad-ring-nondet.wvr.yml true 13.69 8.75 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 900.67 869.74 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 900.59 877.87 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 327.61 286.51 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 900.61 864.53 None weaver/popl20-commit-1.wvr.yml TIMEOUT 900.73 865.81 None weaver/popl20-commit-2.wvr.yml TIMEOUT 900.92 852.28 None weaver/popl20-counter-determinism.wvr.yml TIMEOUT 900.74 817.01 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 900.64 853.70 None weaver/popl20-difference-det.wvr.yml TIMEOUT 900.91 815.16 None weaver/popl20-figure1-alt.wvr.yml true 624.94 568.29 None weaver/popl20-figure1.wvr.yml TIMEOUT 900.58 836.18 None weaver/popl20-figure3.wvr.yml TIMEOUT 900.46 884.69 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 900.83 873.19 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 248.03 203.88 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 153.05 119.66 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 151.42 115.88 None weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 900.87 858.72 None weaver/popl20-more-array-sum-alt2.wvr.yml TIMEOUT 900.76 847.97 None weaver/popl20-more-array-sum.wvr.yml TIMEOUT 900.81 875.92 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 900.86 855.99 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 900.59 852.25 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 900.66 872.71 None weaver/popl20-more-buffer-mult3.wvr.yml TIMEOUT 900.87 871.75 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 900.74 870.48 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 900.71 870.58 None weaver/popl20-more-buffer-series3.wvr.yml TIMEOUT 900.68 871.14 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 900.67 858.19 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 900.48 866.05 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 900.78 866.90 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 900.80 867.20 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 900.77 868.21 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 900.54 870.13 None weaver/popl20-more-min-le-max.wvr.yml true 12.68 8.39 None weaver/popl20-more-mts.wvr.yml TIMEOUT 900.78 854.63 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 900.61 871.66 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 900.38 887.67 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 901.05 851.85 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 900.90 864.39 None weaver/popl20-more-sorted.wvr.yml TIMEOUT 900.52 869.83 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 900.47 880.13 None weaver/popl20-more-vector-add.wvr.yml OUT OF MEMORY 272.92 236.96 None weaver/popl20-mult-4.wvr.yml TIMEOUT 900.47 880.20 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 901.06 884.94 None weaver/popl20-nonblocking-cntr-alt.wvr.yml OUT OF MEMORY 819.45 708.47 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.38 857.85 None weaver/popl20-prod-cons-eq.wvr.yml TIMEOUT 900.50 859.12 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 900.57 864.53 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 900.69 853.31 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 900.57 825.74 None weaver/popl20-queue-add-2.wvr.yml OUT OF MEMORY 685.44 487.66 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 900.87 865.37 None weaver/popl20-send-receive-alt.wvr.yml TIMEOUT 900.62 863.59 None weaver/popl20-send-receive.wvr.yml OUT OF MEMORY 531.63 419.40 None weaver/popl20-simple-array-sum.wvr.yml true 44.51 30.55 None weaver/popl20-simple-queue.wvr.yml true 107.80 81.71 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 900.76 872.26 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 900.54 879.32 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 341.13 282.55 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 900.47 867.90 None weaver/popl20-two-queue.wvr.yml TIMEOUT 900.60 870.39 None weaver/security.wvr.yml true 8.78 7.14 None weaver/spaghetti.wvr.yml true 11.42 7.48 None weaver/test-context1.wvr.yml ERROR (7) 859.02 795.70 None weaver/test-easy1.wvr.yml true 10.75 7.53 None weaver/test-easy10.wvr.yml true 191.27 159.41 None weaver/test-easy11.wvr.yml true 16.47 10.67 None weaver/test-easy6.wvr.yml true 10.92 7.19 None weaver/test-easy7.wvr.yml true 8.07 5.64 None weaver/test-easy8.wvr.yml true 8.28 5.86 None weaver/test-hard1.wvr.yml TIMEOUT 900.56 870.84 None weaver/test-semi1.wvr.yml true 8.25 6.88 None weaver/unroll-2.wvr.yml TIMEOUT 900.83 864.49 None weaver/unroll-3.wvr.yml TIMEOUT 900.72 865.09 None weaver/unroll-4.wvr.yml TIMEOUT 900.82 868.12 None weaver/unroll-5.wvr.yml TIMEOUT 900.66 873.14 None weaver/unroll-cond-2.wvr.yml TIMEOUT 900.51 883.66 None weaver/unroll-cond-3.wvr.yml TIMEOUT 900.51 883.98 None weaver/unroll-cond-4.wvr.yml TIMEOUT 900.70 886.15 None weaver/unroll-cond-5.wvr.yml TIMEOUT 900.58 869.08 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 16.53 10.11 None pthread-deagle/arithmetic_prog_ok.yml true 23.27 14.50 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 19.13 11.78 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 900.72 880.27 None pthread-race-challenges/thread-local-pthread-value.yml unknown 13.85 9.63 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 13.91 9.91 None pthread-race-challenges/thread-local-value.yml unknown 13.54 9.73 None libvsync/arraylock.yml unknown 17.80 11.90 None libvsync/bounded_mpmc_check_full.yml TIMEOUT 900.67 841.56 None libvsync/cnalock.yml OUT OF MEMORY 237.29 198.01 None libvsync/hclhlock.yml TIMEOUT 900.75 854.16 None libvsync/hmcslock.yml ERROR (7) 29.61 18.09 None libvsync/mcslock.yml OUT OF MEMORY 206.85 162.36 None libvsync/rec_mcslock.yml OUT OF MEMORY 214.40 164.46 None libvsync/rec_ticketlock.yml OUT OF MEMORY 233.17 182.73 None libvsync/rwlock.yml OUT OF MEMORY 216.27 163.31 None libvsync/semaphore.yml OUT OF MEMORY 195.38 146.86 None libvsync/ticketlock.yml OUT OF MEMORY 265.04 217.97 None libvsync/ttaslock.yml OUT OF MEMORY 119.91 77.66 None pthread-theta/exponential-4.yml true 56.00 41.82 None pthread-theta/exponential-64.yml TIMEOUT 900.55 878.60 None pthread-theta/exponential-nondet.yml TIMEOUT 900.50 883.62 None pthread-theta/unwind1-1.yml false(unreach-call) 9.94 6.98 None pthread-theta/unwind1-100.yml false(unreach-call) 121.66 103.85 None pthread-theta/unwind1-nondet.yml false(unreach-call) 8.89 6.42 None pthread-theta/unwind2-1.yml false(unreach-call) 11.85 8.14 None pthread-theta/unwind2-100.yml false(unreach-call) 48.52 37.71 None pthread-theta/unwind2-nondet.yml false(unreach-call) 10.55 7.13 None pthread-theta/unwind3-1.yml false(unreach-call) 9.81 6.57 None pthread-theta/unwind3-100.yml TIMEOUT 902.43 833.24 None pthread-theta/unwind3-nondet.yml false(unreach-call) 8.02 5.57 None pthread-theta/wsc.yml true 12.12 7.77 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 3 done 195867.34 26185.91 - SV-COMP24_no-data-race.NoDataRace-Main Run set 4 of 6: skipped SV-COMP24_valid-memsafety.ConcurrencySafety-MemSafety Run set 5 of 6: skipped SV-COMP24_no-overflow.ConcurrencySafety-NoOverflows Run set 6 of 6: skipped Statistics: 2175 Files correct: 1431 correct true: 540 correct false: 891 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 744 Score: 1971 (max: 3297)