BENCHMARK INFORMATION benchmark definition: ../benchexec/conditional-commutativity.xml name: conditional-commutativity run sets: UNCONDITIONAL.SVCOMP-ConcurrencySafety, PROOFSENSITIVE.SVCOMP-ConcurrencySafety, CE-Sufficient.SVCOMP-ConcurrencySafety, CE-NecessaryAndSufficient.SVCOMP-ConcurrencySafety date: Thu, 2025-01-23 00:05:07 CET tool: ULTIMATE GemCutter 0.3.0-ebd41074 tool executable: ./Ultimate.py options: parallel runs: 7 resource limits: - memory: 16000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 16000.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 ------------------------------------------------------------ UNCONDITIONAL.SVCOMP-ConcurrencySafety Run set 1 of 7 with options '--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 18.10 11.00 None pthread/bigshot_s2.yml true 25.81 18.87 None pthread/butterfly.yml OUT OF MEMORY 183.36 133.24 None pthread/fib_safe-10.yml TIMEOUT 901.08 840.52 None pthread/fib_safe-11.yml TIMEOUT 900.34 815.37 None pthread/fib_safe-12.yml TIMEOUT 900.79 867.34 None pthread/fib_safe-5.yml TIMEOUT 900.50 828.79 None pthread/fib_safe-6.yml TIMEOUT 900.77 810.00 None pthread/fib_safe-7.yml TIMEOUT 900.77 868.47 None pthread/fib_unsafe-10.yml false(unreach-call) 16.09 10.04 None pthread/fib_unsafe-11.yml false(unreach-call) 18.34 11.38 None pthread/fib_unsafe-12.yml false(unreach-call) 20.74 12.41 None pthread/fib_unsafe-5.yml false(unreach-call) 14.84 9.51 None pthread/fib_unsafe-6.yml false(unreach-call) 14.29 8.82 None pthread/fib_unsafe-7.yml false(unreach-call) 14.28 9.12 None pthread/lazy01.yml false(unreach-call) 8.77 5.12 None pthread/queue.yml TIMEOUT 900.66 876.07 None pthread/queue_longer.yml TIMEOUT 900.97 850.33 None pthread/queue_longest.yml TIMEOUT 900.65 763.59 None pthread/queue_ok.yml TIMEOUT 900.77 868.40 None pthread/queue_ok_longer.yml TIMEOUT 900.76 877.98 None pthread/queue_ok_longest.yml TIMEOUT 901.43 876.00 None pthread/reorder_2.yml unknown 19.98 13.06 None pthread/reorder_5.yml unknown 20.36 13.07 None pthread/singleton.yml false(unreach-call) 10.12 6.39 None pthread/singleton_with-uninit-problems.yml true 12.67 7.57 None pthread/stack-1.yml true 81.42 58.19 None pthread/stack-2.yml false(unreach-call) 35.86 20.63 None pthread/stack_longer-1.yml TIMEOUT 900.61 872.94 None pthread/stack_longer-2.yml TIMEOUT 900.60 872.10 None pthread/stack_longest-1.yml TIMEOUT 900.91 851.76 None pthread/stack_longest-2.yml TIMEOUT 901.92 836.47 None pthread/stateful01-1.yml false(unreach-call) 8.52 5.14 None pthread/stateful01-2.yml true 9.76 5.60 None pthread/sync01.yml true 13.22 7.37 None pthread/triangular-1.yml true 25.27 15.53 None pthread/triangular-2.yml false(unreach-call) 12.62 7.48 None pthread/triangular-longer-1.yml true 60.16 43.68 None pthread/triangular-longer-2.yml false(unreach-call) 15.14 9.19 None pthread/triangular-longest-1.yml true 213.60 165.21 None pthread/triangular-longest-2.yml false(unreach-call) 22.43 13.92 None pthread/twostage_3.yml unknown 75.01 48.63 None pthread-atomic/dekker-unfair.yml true 11.58 6.63 None pthread-atomic/dekker.yml true 11.44 6.54 None pthread-atomic/lamport.yml true 12.94 7.34 None pthread-atomic/peterson.yml true 10.47 6.31 None pthread-atomic/read_write_lock-1.yml true 11.84 6.94 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 14.28 8.27 None pthread-atomic/szymanski.yml true 12.58 7.46 None pthread-atomic/time_var_mutex.yml true 11.53 6.89 None pthread-ext/01b_inc.yml TIMEOUT 902.20 821.41 None pthread-ext/02_inc_cas.yml TIMEOUT 900.82 843.18 None pthread-ext/03_incdec.yml OUT OF MEMORY 375.32 290.95 None pthread-ext/04_incdec_cas.yml TIMEOUT 900.89 853.23 None pthread-ext/08_rand_cas.yml OUT OF MEMORY 275.07 226.91 None pthread-ext/09_fmaxsym-zero.yml OUT OF MEMORY 282.98 237.55 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 405.06 341.39 None pthread-ext/11_fmaxsymopt-zero.yml OUT OF MEMORY 307.40 257.53 None pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 243.12 192.29 None pthread-ext/14_spin2003.yml OUT OF MEMORY 265.92 216.10 None pthread-ext/18_read_write_lock.yml true 8.44 5.18 None pthread-ext/25_stack.yml OUT OF MEMORY 161.91 123.32 None pthread-ext/25_stack_longer-1.yml TIMEOUT 900.68 888.00 None pthread-ext/25_stack_longer-2.yml TIMEOUT 900.61 890.92 None pthread-ext/25_stack_longest-1.yml TIMEOUT 900.88 877.76 None pthread-ext/25_stack_longest-2.yml TIMEOUT 901.02 875.39 None pthread-ext/26_stack_cas.yml OUT OF MEMORY 808.77 745.06 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 900.74 887.13 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 900.59 890.98 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 900.92 882.84 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 900.97 877.33 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 8.26 5.32 None pthread-ext/29_conditionals_vs.yml OUT OF MEMORY 196.54 155.09 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 435.96 385.75 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 386.77 334.61 None pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 901.02 843.82 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 654.16 467.39 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 344.72 292.80 None pthread-ext/40_barrier_vf.yml false(unreach-call) 16.63 9.18 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml OUT OF MEMORY 547.16 356.80 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml TIMEOUT 902.19 581.29 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 265.82 218.53 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 353.93 306.79 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml OUT OF MEMORY 282.22 230.10 None pthread-ext/48_ticket_lock_low_contention_vs.yml ERROR (7) 14.22 9.06 None pthread-wmm/mix000.oepc.yml false(unreach-call) 46.00 33.59 None pthread-wmm/mix000.opt.yml false(unreach-call) 38.80 26.23 None pthread-wmm/mix001.oepc.yml false(unreach-call) 74.95 60.53 None pthread-wmm/mix001.opt.yml false(unreach-call) 48.22 33.72 None pthread-wmm/mix002.oepc.yml false(unreach-call) 46.86 33.60 None pthread-wmm/mix002.opt.yml false(unreach-call) 48.56 35.11 None pthread-wmm/mix003.oepc.yml false(unreach-call) 53.29 37.63 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 59.48 39.69 None pthread-wmm/mix004.oepc.yml false(unreach-call) 73.59 56.33 None pthread-wmm/mix004.opt.yml false(unreach-call) 50.81 35.73 None pthread-wmm/mix005.opt.yml false(unreach-call) 43.79 28.96 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 86.50 60.68 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 54.49 37.67 None pthread-wmm/mix006.opt.yml false(unreach-call) 67.18 46.66 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 56.63 40.72 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 169.99 152.48 None pthread-wmm/mix007.oepc.yml false(unreach-call) 66.56 49.77 None pthread-wmm/mix007.opt.yml false(unreach-call) 46.85 30.54 None pthread-wmm/mix008.opt.yml false(unreach-call) 53.13 36.41 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 82.96 58.48 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 220.90 183.25 None pthread-wmm/mix009.oepc.yml false(unreach-call) 39.39 26.79 None pthread-wmm/mix009.opt.yml false(unreach-call) 41.61 29.87 None pthread-wmm/mix010.oepc.yml false(unreach-call) 43.99 31.43 None pthread-wmm/mix010.opt.yml false(unreach-call) 53.20 38.70 None pthread-wmm/mix011.opt.yml false(unreach-call) 52.68 37.77 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 47.77 34.46 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 37.43 24.45 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 42.72 27.15 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 36.96 25.55 None pthread-wmm/mix013.oepc.yml false(unreach-call) 73.66 55.60 None pthread-wmm/mix013.opt.yml false(unreach-call) 48.86 33.48 None pthread-wmm/mix014.opt.yml false(unreach-call) 53.86 37.49 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 83.99 59.30 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 186.97 160.26 None pthread-wmm/mix015.oepc.yml false(unreach-call) 45.60 32.45 None pthread-wmm/mix015.opt.yml false(unreach-call) 50.13 36.67 None pthread-wmm/mix016.oepc.yml false(unreach-call) 53.76 39.92 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 38.70 26.96 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 47.02 33.21 None pthread-wmm/mix017.oepc.yml false(unreach-call) 81.16 57.42 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 53.18 38.21 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 52.82 37.90 None pthread-wmm/mix018.opt.yml false(unreach-call) 51.04 35.23 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 65.91 49.60 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 66.52 43.19 None pthread-wmm/mix019.opt.yml false(unreach-call) 43.05 30.99 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 48.11 35.16 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 34.94 23.33 None pthread-wmm/mix020.oepc.yml false(unreach-call) 84.62 59.92 None pthread-wmm/mix020.opt.yml false(unreach-call) 50.52 35.52 None pthread-wmm/mix021.opt.yml false(unreach-call) 47.83 35.20 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 68.45 50.90 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 81.12 63.20 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 47.65 30.61 None pthread-wmm/mix022_tso.yml false(unreach-call) 32.07 20.94 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 70.48 54.72 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 51.42 35.93 None pthread-wmm/mix023_tso.yml false(unreach-call) 235.95 199.66 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 56.86 37.97 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 41.40 28.63 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 43.12 30.52 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 42.97 29.93 None pthread-wmm/mix026.oepc.yml false(unreach-call) 65.44 48.30 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 54.95 40.94 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 64.36 42.55 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 70.12 51.45 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 52.86 38.28 None pthread-wmm/mix027_tso.yml false(unreach-call) 66.49 50.70 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 43.67 30.40 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 37.63 25.39 None pthread-wmm/mix028_tso.yml false(unreach-call) 68.52 48.84 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 69.59 53.74 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 74.36 56.08 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 72.58 55.19 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 74.21 55.76 None pthread-wmm/mix030_tso.yml false(unreach-call) 50.42 34.66 None pthread-wmm/mix031.oepc.yml false(unreach-call) 42.14 25.92 None pthread-wmm/mix031.opt.yml false(unreach-call) 30.14 20.55 None pthread-wmm/mix032.oepc.yml false(unreach-call) 54.03 40.57 None pthread-wmm/mix032.opt.yml false(unreach-call) 33.94 22.38 None pthread-wmm/mix033.opt.yml false(unreach-call) 43.42 26.93 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 47.99 34.53 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 36.16 23.81 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 33.76 22.67 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 28.15 18.61 None pthread-wmm/mix035.oepc.yml false(unreach-call) 54.29 40.71 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 42.32 29.67 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 42.96 26.52 None pthread-wmm/mix036.oepc.yml false(unreach-call) 63.86 45.64 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 53.03 36.89 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 37.24 24.92 None pthread-wmm/mix037.opt.yml false(unreach-call) 51.30 31.01 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 77.69 53.49 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 49.35 34.43 None pthread-wmm/mix038.opt.yml false(unreach-call) 38.79 27.64 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 50.34 37.07 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 47.15 29.68 None pthread-wmm/mix039.oepc.yml false(unreach-call) 63.04 46.06 None pthread-wmm/mix039.opt.yml false(unreach-call) 35.69 22.66 None pthread-wmm/mix040.opt.yml false(unreach-call) 44.32 30.50 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 69.70 52.23 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 72.24 53.68 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 46.53 30.43 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.65 16.65 None pthread-wmm/mix042.oepc.yml false(unreach-call) 56.58 37.47 None pthread-wmm/mix042.opt.yml false(unreach-call) 44.33 31.09 None pthread-wmm/mix043.oepc.yml false(unreach-call) 68.08 51.51 None pthread-wmm/mix043.opt.yml false(unreach-call) 40.40 24.89 None pthread-wmm/mix044.opt.yml false(unreach-call) 53.84 32.12 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 71.81 52.72 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 56.89 41.87 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 56.40 37.62 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 45.15 32.00 None pthread-wmm/mix046.oepc.yml false(unreach-call) 63.88 46.18 None pthread-wmm/mix046.opt.yml false(unreach-call) 50.41 29.44 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 69.32 52.79 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 58.64 41.66 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) 43.55 27.57 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) 50.50 36.22 None pthread-wmm/mix050.yml false(unreach-call) 84.99 59.67 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 63.84 46.25 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 39.77 25.44 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 56.30 35.51 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 52.38 38.78 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 36.86 24.77 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 35.23 23.58 None pthread-wmm/mix053.opt.yml false(unreach-call) 37.46 24.79 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 61.15 44.57 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 86.47 61.47 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 34.33 24.56 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 24.05 14.38 None pthread-wmm/mix055.opt.yml false(unreach-call) 39.52 24.50 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 85.28 59.45 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 47.10 32.83 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 46.96 34.22 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 46.18 32.72 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 73.55 57.24 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 36.93 22.04 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 53.70 40.72 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 27.34 16.74 None pthread-wmm/rfi000_tso.yml true 70.43 56.26 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 39.69 24.91 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 27.90 17.28 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 156.53 129.93 None pthread-wmm/rfi002_tso.yml true 128.56 108.52 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 27.38 17.58 None pthread-wmm/rfi003_tso.yml true 100.54 84.54 None pthread-wmm/rfi004.yml false(unreach-call) 36.89 22.06 None pthread-wmm/rfi005.yml false(unreach-call) 13.54 7.81 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 73.03 56.55 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 82.55 64.89 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 57.47 37.41 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 53.13 39.70 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 40.97 25.24 None pthread-wmm/rfi007_tso.yml false(unreach-call) 42.98 30.68 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 55.05 43.17 None pthread-wmm/rfi008.opt.yml false(unreach-call) 36.40 24.79 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 82.94 64.91 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 55.92 38.37 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 50.03 35.61 None pthread-wmm/rfi010.yml false(unreach-call) 43.54 30.92 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 208.65 186.65 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 54.94 36.78 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.30 8.25 None pthread-wmm/safe000_rmo.yml false(unreach-call) 177.19 160.11 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 153.92 124.87 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 61.92 48.89 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 104.32 86.93 None pthread-wmm/safe001_tso.yml true 14.80 8.15 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 144.13 126.61 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 53.09 35.87 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 90.11 73.34 None pthread-wmm/safe002_tso.yml true 15.69 8.65 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 97.13 74.58 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 40.66 29.20 None pthread-wmm/safe003_tso.yml true 15.16 8.71 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 66.83 52.26 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 76.85 55.81 None pthread-wmm/safe004_tso.yml true 11.10 6.30 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 40.53 28.57 None pthread-wmm/safe005_tso.yml true 15.28 8.32 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 47.29 36.52 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 30.20 20.49 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.22 7.37 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 29.91 19.75 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 60.23 41.71 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 59.34 45.01 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.48 6.67 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 32.94 22.32 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 46.23 28.92 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 44.81 31.06 None pthread-wmm/safe008_tso.yml true 12.15 7.12 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 170.56 154.25 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 38.35 27.45 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.55 6.86 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 113.71 100.81 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 41.26 24.90 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 32.05 17.88 None pthread-wmm/safe010_tso.yml true 10.60 6.35 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 58.18 43.43 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 69.85 53.92 None pthread-wmm/safe011_tso.yml true 10.77 6.47 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 44.24 32.34 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 66.96 47.70 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 52.77 34.31 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 32.63 21.09 None pthread-wmm/safe012_tso.yml true 11.44 6.58 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 36.99 25.50 None pthread-wmm/safe013_tso.yml true 15.48 8.55 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 54.98 40.77 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 69.32 48.46 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.20 9.48 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 33.41 21.74 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 97.22 72.20 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 86.33 67.45 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 95.56 74.05 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.28 7.43 None pthread-wmm/safe015_rmo.yml false(unreach-call) 83.96 65.66 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 140.34 123.98 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 122.53 95.52 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.53 8.92 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 91.86 74.28 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 86.49 62.09 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 35.02 23.49 None pthread-wmm/safe017_tso.yml true 10.99 6.28 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 46.89 34.38 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 98.98 76.49 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.24 6.57 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 32.68 21.08 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 59.33 45.10 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 129.88 110.25 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 147.31 111.39 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 19.20 10.36 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 88.99 72.10 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 90.70 66.15 None pthread-wmm/safe020_power.yml false(unreach-call) 101.09 83.35 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.26 6.64 None pthread-wmm/safe020_rmo.yml false(unreach-call) 59.29 44.84 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 46.12 33.21 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 36.85 24.18 None pthread-wmm/safe021_tso.yml true 11.16 6.29 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 48.74 31.98 None pthread-wmm/safe022_tso.yml true 9.83 6.00 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 135.89 113.55 None pthread-wmm/safe023_tso.yml true 11.87 6.92 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 36.86 25.73 None pthread-wmm/safe024_tso.yml true 12.03 7.05 None pthread-wmm/safe025_power.yml false(unreach-call) 175.08 155.26 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.09 7.28 None pthread-wmm/safe025_rmo.yml false(unreach-call) 85.52 70.99 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 58.83 40.57 None pthread-wmm/safe026_tso.yml true 12.15 6.83 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 92.78 68.36 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 135.60 108.65 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.34 8.75 None pthread-wmm/safe027_rmo.yml false(unreach-call) 50.41 35.48 None pthread-wmm/safe028_power.yml false(unreach-call) 112.70 83.08 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.72 6.53 None pthread-wmm/safe028_rmo.yml false(unreach-call) 55.62 41.40 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 27.76 16.78 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 50.11 33.53 None pthread-wmm/safe029_tso.yml true 9.84 6.20 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 79.38 60.25 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 54.45 40.34 None pthread-wmm/safe030_tso.yml true 14.31 7.81 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 40.01 28.94 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 63.25 43.45 None pthread-wmm/safe031_tso.yml true 10.92 6.37 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 151.82 116.23 None pthread-wmm/safe032_tso.yml true 12.13 7.04 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 30.76 19.96 None pthread-wmm/safe033_tso.yml true 10.27 6.16 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 37.22 25.02 None pthread-wmm/safe034_tso.yml true 12.67 7.50 None pthread-wmm/safe035_power.yml TIMEOUT 901.70 869.28 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 12.68 7.42 None pthread-wmm/safe036.yml true 9.79 6.52 None pthread-wmm/safe037.yml true 12.33 6.92 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 52.56 40.04 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 72.52 57.12 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 28.81 15.41 None pthread-wmm/thin002_rmo.yml false(unreach-call) 38.72 25.12 None pthread-lit/qw2004-2b.yml false(unreach-call) 9.68 5.55 None pthread-lit/sssc12.yml OUT OF MEMORY 459.14 344.00 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 323.51 263.02 None ldv-races/race-1_1-join.yml true 10.47 6.28 None ldv-races/race-1_2-join.yml false(unreach-call) 10.13 5.92 None ldv-races/race-1_3-join.yml false(unreach-call) 10.17 6.38 None ldv-races/race-2_1-container_of.yml true 31.39 17.63 None ldv-races/race-2_2-container_of.yml false(unreach-call) 26.80 14.93 None ldv-races/race-2_3-container_of.yml false(unreach-call) 12.79 7.47 None ldv-races/race-2_4-container_of.yml false(unreach-call) 13.27 7.47 None ldv-races/race-2_5-container_of.yml false(unreach-call) 12.84 7.77 None ldv-races/race-3_1-container_of-global.yml true 29.96 16.97 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 33.76 18.54 None ldv-races/race-4_1-thread_local_vars.yml true 14.71 8.84 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR (7) 357.03 281.70 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR (7) 378.58 297.16 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml TIMEOUT 901.06 848.02 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 900.77 853.40 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT 901.09 847.22 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 900.73 863.12 None pthread-complex/bounded_buffer.yml TIMEOUT 900.47 876.59 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.96 854.12 None pthread-complex/safestack_relacy.yml OUT OF MEMORY 256.45 210.41 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 900.80 851.27 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 18.72 10.84 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 18.16 10.56 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml false(unreach-call) 94.38 65.25 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 28.30 16.36 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml OUT OF MEMORY 464.72 278.29 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 27.35 15.41 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 900.47 881.37 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 31.13 17.07 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 25.04 13.89 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml true 35.51 19.46 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 30.75 17.46 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 900.54 871.70 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml true 24.38 13.58 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml true 30.41 17.26 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 22.39 13.25 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 26.17 15.02 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 19.96 11.70 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml true 26.16 14.91 None pthread-C-DAC/pthread-demo-datarace-1.yml true 35.70 22.35 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 17.06 10.61 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 12.18 7.36 None pthread-C-DAC/pthread-numerical-integration.yml unknown 12.75 8.12 None pthread-divine/tls_basic.yml unknown 11.62 7.15 None pthread-divine/tls_destructor_worker.yml unknown 12.38 7.91 None goblint-regression/13-privatized_01-priv_nr_true.yml true 11.24 6.72 None goblint-regression/13-privatized_04-priv_multi_true.yml true 40.59 22.09 None goblint-regression/13-privatized_18-first-reads_true.yml true 8.64 5.95 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 8.62 5.45 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 8.28 5.20 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 8.11 4.99 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 7.97 4.97 None goblint-regression/13-privatized_19-publish-precision_true.yml true 9.32 5.60 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 8.35 5.35 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 9.76 6.06 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 9.20 5.63 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 8.31 5.07 None goblint-regression/13-privatized_20-publish-regression_true.yml true 11.23 6.70 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 15.94 8.97 None goblint-regression/13-privatized_25-struct_nr_true.yml true 10.40 6.11 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 16.62 9.57 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 12.85 7.64 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 10.16 6.12 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 11.21 6.37 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 12.36 6.94 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.48 7.16 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 12.72 7.54 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 10.50 6.29 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 9.58 5.68 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 9.73 6.09 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 10.41 6.35 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 10.51 6.20 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 9.57 5.93 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 8.38 5.25 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 9.93 6.22 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 10.18 5.95 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 10.50 6.40 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 8.00 5.49 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 8.68 5.35 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 8.33 5.23 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 7.86 4.99 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 7.87 4.92 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 8.04 4.93 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 12.52 7.22 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 10.08 6.42 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 11.63 6.88 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 45.26 25.96 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 9.82 6.45 None goblint-regression/28-race_reach_01-simple_racing.yml TIMEOUT 900.55 771.90 None goblint-regression/28-race_reach_02-simple_racefree.yml TIMEOUT 900.74 776.33 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 272.44 225.65 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 248.49 200.78 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml TIMEOUT 901.37 838.31 None goblint-regression/28-race_reach_06-cond_racing1.yml TIMEOUT 901.38 822.63 None goblint-regression/28-race_reach_07-cond_racing2.yml TIMEOUT 900.60 762.87 None goblint-regression/28-race_reach_08-cond_racefree.yml TIMEOUT 900.54 764.98 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 674.29 475.46 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 238.80 188.69 None goblint-regression/28-race_reach_11-ptr_racing.yml TIMEOUT 900.85 776.16 None goblint-regression/28-race_reach_12-ptr_racefree.yml TIMEOUT 901.29 785.00 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 220.67 178.31 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 332.08 279.09 None goblint-regression/28-race_reach_21-deref_read_racing.yml TIMEOUT 902.52 756.52 None goblint-regression/28-race_reach_22-deref_read_racefree.yml TIMEOUT 901.56 770.25 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 12.04 7.48 None goblint-regression/28-race_reach_24-sound_lock_racing.yml TIMEOUT 900.87 821.90 None goblint-regression/28-race_reach_27-funptr_racing.yml TIMEOUT 900.80 833.71 None goblint-regression/28-race_reach_28-funptr_racefree.yml TIMEOUT 901.93 781.74 None goblint-regression/28-race_reach_36-indirect_racefree.yml TIMEOUT 901.28 763.01 None goblint-regression/28-race_reach_37-indirect_racing.yml TIMEOUT 900.67 779.98 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 15.65 8.96 None goblint-regression/28-race_reach_41-trylock_racefree.yml TIMEOUT 900.94 763.78 None goblint-regression/28-race_reach_42-trylock2_racefree.yml TIMEOUT 901.67 772.51 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 10.11 6.40 None goblint-regression/28-race_reach_46-escape_racefree.yml true 11.96 7.27 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml TIMEOUT 901.63 810.57 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 294.48 242.58 None goblint-regression/28-race_reach_61-invariant_racing.yml TIMEOUT 902.38 826.17 None goblint-regression/28-race_reach_70-funloop_racefree.yml TIMEOUT 900.57 876.83 None goblint-regression/28-race_reach_71-funloop_racing.yml TIMEOUT 900.62 876.27 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml TIMEOUT 900.63 876.20 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml TIMEOUT 900.67 863.36 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 330.83 250.68 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml TIMEOUT 901.75 848.11 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 372.04 294.29 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 555.52 488.84 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 259.15 203.00 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 530.64 373.78 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 279.37 230.16 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 335.69 277.09 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 312.79 258.79 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 300.80 246.87 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 282.41 231.59 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 901.44 860.24 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 901.49 860.61 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 900.61 883.98 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 900.56 887.19 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 900.64 888.93 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 900.64 886.70 None goblint-regression/28-race_reach_94-alloc_region_racing.yml false(unreach-call) 20.12 12.13 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 8.95 5.88 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 7.28 4.68 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 8.75 5.11 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 8.20 5.03 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 24.53 13.21 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 13.21 7.61 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 7.40 4.41 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 7.23 4.31 None weaver/array-eq-symm.wvr.yml true 59.42 42.77 None weaver/array-eq-trans.wvr.yml TIMEOUT 900.71 865.22 None weaver/bench-exp1x3.wvr.yml true 374.18 362.79 None weaver/bench-exp2x3.wvr.yml TIMEOUT 900.42 880.47 None weaver/bench-exp2x4.wvr.yml TIMEOUT 900.60 879.66 None weaver/bench-exp2x6.wvr.yml TIMEOUT 900.74 879.51 None weaver/bench-exp2x9.wvr.yml TIMEOUT 900.54 887.66 None weaver/bench-exp3x3-opt.wvr.yml true 28.63 19.58 None weaver/bench-exp3x3.wvr.yml TIMEOUT 900.35 890.08 None weaver/chl-array-int-subst.wvr.yml TIMEOUT 900.22 851.44 None weaver/chl-array-int-symm.wvr.yml true 66.24 42.16 None weaver/chl-array-int-trans.wvr.yml TIMEOUT 901.04 836.92 None weaver/chl-chromosome-opt-symm.wvr.yml true 52.54 30.37 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 900.78 851.61 None weaver/chl-chromosome-symm.wvr.yml true 45.23 27.23 None weaver/chl-chromosome-trans.wvr.yml TIMEOUT 900.79 859.33 None weaver/chl-collitem-subst.wvr.yml true 16.30 9.18 None weaver/chl-collitem-symm.wvr.yml true 12.57 7.07 None weaver/chl-collitem-trans.wvr.yml true 15.49 8.57 None weaver/chl-exp-term-subst.wvr.yml true 15.17 8.43 None weaver/chl-exp-term-symm.wvr.yml true 11.47 6.67 None weaver/chl-file-item-subst.wvr.yml true 17.50 9.91 None weaver/chl-file-item-symm.wvr.yml true 12.92 7.27 None weaver/chl-file-item-trans.wvr.yml true 14.15 8.14 None weaver/chl-match-subst.wvr.yml true 13.98 8.37 None weaver/chl-match-symm.wvr.yml true 11.48 6.47 None weaver/chl-match-trans.wvr.yml true 14.45 8.18 None weaver/chl-name-comparator-subst.wvr.yml true 57.38 36.49 None weaver/chl-name-comparator-symm.wvr.yml true 48.31 30.60 None weaver/chl-name-comparator-trans.wvr.yml true 90.78 67.31 None weaver/chl-node-subst.wvr.yml TIMEOUT 900.76 877.60 None weaver/chl-node-symm.wvr.yml true 15.26 8.63 None weaver/chl-node-trans.wvr.yml true 17.63 10.13 None weaver/chl-nzb-file-subst.wvr.yml TIMEOUT 900.53 869.70 None weaver/chl-nzb-file-symm.wvr.yml true 118.99 85.86 None weaver/chl-nzb-file-trans.wvr.yml true 259.08 223.62 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 900.67 852.00 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 900.69 861.44 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 900.79 852.04 None weaver/chl-simpl-str-subst.wvr.yml true 14.73 8.29 None weaver/chl-simpl-str-symm.wvr.yml true 12.49 6.92 None weaver/chl-simpl-str-trans.wvr.yml true 13.96 7.63 None weaver/chl-sre-subst.wvr.yml true 15.45 8.41 None weaver/chl-sre-symm.wvr.yml true 8.99 5.63 None weaver/chl-sre-trans.wvr.yml true 12.52 6.91 None weaver/chl-time-subst.wvr.yml true 10.95 6.16 None weaver/chl-time-symm.wvr.yml true 9.19 5.56 None weaver/chl-time-trans.wvr.yml true 13.10 7.48 None weaver/chl-word-subst.wvr.yml TIMEOUT 900.66 868.31 None weaver/chl-word-symm.wvr.yml true 66.19 40.53 None weaver/chl-word-trans.wvr.yml TIMEOUT 900.97 838.22 None weaver/clever.wvr.yml TIMEOUT 901.08 863.90 None weaver/fibonacci.wvr.yml true 14.52 8.81 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 900.80 865.59 None weaver/mult-comm.wvr.yml TIMEOUT 900.40 885.15 None weaver/mult-dist.wvr.yml TIMEOUT 900.41 882.86 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 900.43 886.22 None weaver/parallel-bakery-2.wvr.yml true 12.47 7.05 None weaver/parallel-bakery-3.wvr.yml true 113.40 86.75 None weaver/parallel-bakery-4.wvr.yml TIMEOUT 901.23 806.62 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 25.60 13.85 None weaver/parallel-barrier.wvr.yml true 19.67 10.62 None weaver/parallel-bluetooth.wvr.yml true 11.68 6.90 None weaver/parallel-lamport.wvr.yml true 23.96 13.34 None weaver/parallel-min-max-1.wvr.yml true 40.22 26.57 None weaver/parallel-misc-1.wvr.yml TIMEOUT 900.54 878.44 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 9.87 6.05 None weaver/parallel-misc-2-unrolled.wvr.yml true 9.71 5.88 None weaver/parallel-misc-2.wvr.yml TIMEOUT 900.40 884.94 None weaver/parallel-misc-3-extended.wvr.yml true 18.85 11.10 None weaver/parallel-misc-3.wvr.yml true 13.69 8.70 None weaver/parallel-misc-4.wvr.yml true 19.32 11.51 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 121.37 91.23 None weaver/parallel-parallel-sum-1-dsl.wvr.yml TIMEOUT 901.46 857.68 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 827.06 786.65 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 900.99 855.96 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT 900.84 862.47 None weaver/parallel-simple-equiv.wvr.yml true 10.81 6.14 None weaver/parallel-ticket-2.wvr.yml true 11.85 6.57 None weaver/parallel-ticket-3.wvr.yml true 16.39 8.86 None weaver/parallel-ticket-4.wvr.yml true 27.93 14.99 None weaver/parallel-ticket-5.wvr.yml true 61.78 34.32 None weaver/parallel-ticket-6.wvr.yml true 261.38 209.34 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 307.07 251.94 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 254.48 193.29 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 900.84 858.52 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 900.85 854.75 None weaver/popl20-bad-buffer-mult-alt3.wvr.yml TIMEOUT 900.93 802.17 None weaver/popl20-bad-commit-1.wvr-bad.yml true 67.58 44.91 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 300.67 244.85 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 49.22 29.90 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 900.72 877.57 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 900.57 865.97 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 901.21 832.20 None weaver/popl20-bad-ring-nondet.wvr.yml true 14.92 8.95 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 900.67 861.94 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 900.57 873.83 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 577.00 521.03 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 900.62 856.64 None weaver/popl20-commit-1.wvr.yml TIMEOUT 900.73 840.24 None weaver/popl20-commit-2.wvr.yml TIMEOUT 901.00 837.09 None weaver/popl20-counter-determinism.wvr.yml TIMEOUT 900.85 866.59 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 900.52 866.03 None weaver/popl20-difference-det.wvr.yml TIMEOUT 900.75 792.48 None weaver/popl20-figure1-alt.wvr.yml true 115.53 92.80 None weaver/popl20-figure1.wvr.yml TIMEOUT 900.63 829.30 None weaver/popl20-figure3.wvr.yml TIMEOUT 900.46 880.90 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 900.64 867.39 None weaver/popl20-min-max-dec.wvr.yml TIMEOUT 902.88 579.44 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 161.27 124.11 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 223.02 168.02 None weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 901.22 861.11 None weaver/popl20-more-array-sum-alt2.wvr.yml TIMEOUT 900.84 830.65 None weaver/popl20-more-array-sum.wvr.yml TIMEOUT 900.69 859.95 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 900.82 851.95 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 900.85 870.28 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 901.30 853.50 None weaver/popl20-more-buffer-mult3.wvr.yml TIMEOUT 900.81 862.63 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 900.70 871.02 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 900.78 851.52 None weaver/popl20-more-buffer-series3.wvr.yml TIMEOUT 900.95 871.11 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 900.76 848.43 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 900.76 860.94 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 900.96 856.03 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.19 857.84 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 900.45 871.66 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 901.32 829.88 None weaver/popl20-more-min-le-max.wvr.yml true 11.06 7.04 None weaver/popl20-more-mts.wvr.yml TIMEOUT 900.69 868.93 None weaver/popl20-more-multiply-verify.wvr.yml true 91.74 61.58 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 900.49 877.32 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 902.30 748.91 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 900.66 870.87 None weaver/popl20-more-sorted.wvr.yml TIMEOUT 900.58 849.66 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 900.75 866.91 None weaver/popl20-more-vector-add.wvr.yml TIMEOUT 901.72 854.95 None weaver/popl20-mult-4.wvr.yml TIMEOUT 900.46 884.23 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 900.42 886.71 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 189.32 149.72 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.17 832.33 None weaver/popl20-prod-cons-eq.wvr.yml TIMEOUT 900.94 856.44 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 900.67 841.19 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 900.79 845.35 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 901.08 860.99 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 900.96 869.08 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 900.75 860.36 None weaver/popl20-send-receive-alt.wvr.yml OUT OF MEMORY 859.03 709.10 None weaver/popl20-send-receive.wvr.yml TIMEOUT 900.92 807.68 None weaver/popl20-simple-array-sum.wvr.yml true 26.23 15.79 None weaver/popl20-simple-queue.wvr.yml OUT OF MEMORY 859.41 723.75 None weaver/popl20-threaded-sum-3.wvr.yml OUT OF MEMORY 473.86 426.09 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 900.94 873.63 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 539.93 450.00 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 900.45 872.37 None weaver/popl20-two-queue.wvr.yml TIMEOUT 900.69 855.70 None weaver/security.wvr.yml true 10.98 6.20 None weaver/spaghetti.wvr.yml true 21.20 11.23 None weaver/test-context1.wvr.yml OUT OF MEMORY 717.79 494.21 None weaver/test-easy1.wvr.yml true 9.61 5.86 None weaver/test-easy10.wvr.yml true 16.75 9.23 None weaver/test-easy11.wvr.yml true 13.49 7.89 None weaver/test-easy6.wvr.yml true 11.73 7.02 None weaver/test-easy7.wvr.yml true 8.77 5.26 None weaver/test-easy8.wvr.yml true 11.53 6.64 None weaver/test-hard1.wvr.yml TIMEOUT 901.09 842.35 None weaver/test-semi1.wvr.yml true 11.51 6.49 None weaver/unroll-2.wvr.yml TIMEOUT 900.78 842.52 None weaver/unroll-3.wvr.yml TIMEOUT 900.63 873.17 None weaver/unroll-4.wvr.yml TIMEOUT 900.88 866.32 None weaver/unroll-5.wvr.yml TIMEOUT 900.70 858.03 None weaver/unroll-cond-2.wvr.yml TIMEOUT 900.56 883.41 None weaver/unroll-cond-3.wvr.yml TIMEOUT 900.48 885.63 None weaver/unroll-cond-4.wvr.yml TIMEOUT 900.70 879.52 None weaver/unroll-cond-5.wvr.yml TIMEOUT 900.69 852.13 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 16.75 10.01 None pthread-deagle/arithmetic_prog_ok.yml true 23.71 14.80 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 16.90 10.28 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 900.70 883.54 None pthread-race-challenges/thread-local-pthread-value.yml unknown 12.31 7.90 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 12.89 8.19 None pthread-race-challenges/thread-local-value.yml unknown 12.82 7.96 None libvsync/arraylock.yml unknown 21.04 11.87 None libvsync/bounded_mpmc_check_full.yml TIMEOUT 901.09 840.91 None libvsync/cnalock.yml OUT OF MEMORY 284.03 227.56 None libvsync/hclhlock.yml TIMEOUT 901.20 831.60 None libvsync/hmcslock.yml ERROR (7) 26.28 14.98 None libvsync/mcslock.yml OUT OF MEMORY 215.44 171.42 None libvsync/rec_mcslock.yml OUT OF MEMORY 359.38 292.51 None libvsync/rec_ticketlock.yml OUT OF MEMORY 309.36 215.56 None libvsync/rwlock.yml OUT OF MEMORY 238.93 182.99 None libvsync/semaphore.yml OUT OF MEMORY 374.98 306.08 None libvsync/ticketlock.yml OUT OF MEMORY 128.52 97.15 None libvsync/ttaslock.yml OUT OF MEMORY 477.80 401.54 None pthread-theta/exponential-4.yml true 217.56 186.84 None pthread-theta/exponential-64.yml TIMEOUT 900.87 872.20 None pthread-theta/exponential-nondet.yml TIMEOUT 900.46 886.96 None pthread-theta/unwind1-1.yml false(unreach-call) 9.65 5.93 None pthread-theta/unwind1-100.yml false(unreach-call) 116.59 104.28 None pthread-theta/unwind1-nondet.yml false(unreach-call) 9.60 5.95 None pthread-theta/unwind2-1.yml false(unreach-call) 13.53 8.09 None pthread-theta/unwind2-100.yml false(unreach-call) 57.67 42.15 None pthread-theta/unwind2-nondet.yml false(unreach-call) 25.48 16.47 None pthread-theta/unwind3-1.yml false(unreach-call) 9.65 5.89 None pthread-theta/unwind3-100.yml OUT OF MEMORY 850.16 781.40 None pthread-theta/unwind3-nondet.yml false(unreach-call) 7.76 4.94 None pthread-theta/wsc.yml true 13.55 7.50 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 194921.38 25541.55 - PROOFSENSITIVE.SVCOMP-ConcurrencySafety Run set 2 of 7 with options '--traceabstraction.use.conditional.por.in.concurrent.analysis true --traceabstraction.commutativity.condition.synthesis NONE' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 18.34 11.19 None pthread/bigshot_s2.yml true 26.26 20.37 None pthread/butterfly.yml OUT OF MEMORY 179.69 135.22 None pthread/fib_safe-10.yml TIMEOUT 901.21 836.57 None pthread/fib_safe-11.yml TIMEOUT 900.83 807.07 None pthread/fib_safe-12.yml TIMEOUT 900.80 864.68 None pthread/fib_safe-5.yml TIMEOUT 900.36 823.74 None pthread/fib_safe-6.yml TIMEOUT 900.79 804.50 None pthread/fib_safe-7.yml TIMEOUT 900.95 862.41 None pthread/fib_unsafe-10.yml false(unreach-call) 14.28 9.09 None pthread/fib_unsafe-11.yml false(unreach-call) 18.55 10.77 None pthread/fib_unsafe-12.yml false(unreach-call) 18.43 11.08 None pthread/fib_unsafe-5.yml false(unreach-call) 13.20 8.49 None pthread/fib_unsafe-6.yml false(unreach-call) 13.86 8.57 None pthread/fib_unsafe-7.yml false(unreach-call) 13.90 8.94 None pthread/lazy01.yml false(unreach-call) 8.64 5.27 None pthread/queue.yml TIMEOUT 900.67 874.88 None pthread/queue_longer.yml TIMEOUT 900.98 851.27 None pthread/queue_longest.yml TIMEOUT 900.75 769.94 None pthread/queue_ok.yml TIMEOUT 900.92 873.63 None pthread/queue_ok_longer.yml TIMEOUT 900.87 878.58 None pthread/queue_ok_longest.yml TIMEOUT 901.45 875.12 None pthread/reorder_2.yml unknown 19.87 13.05 None pthread/reorder_5.yml unknown 20.22 12.85 None pthread/singleton.yml false(unreach-call) 9.98 6.30 None pthread/singleton_with-uninit-problems.yml true 12.52 7.66 None pthread/stack-1.yml true 78.85 57.23 None pthread/stack-2.yml false(unreach-call) 36.89 21.28 None pthread/stack_longer-1.yml TIMEOUT 900.61 874.49 None pthread/stack_longer-2.yml TIMEOUT 900.65 870.36 None pthread/stack_longest-1.yml TIMEOUT 900.98 852.34 None pthread/stack_longest-2.yml TIMEOUT 900.65 842.63 None pthread/stateful01-1.yml false(unreach-call) 7.98 5.08 None pthread/stateful01-2.yml true 9.42 5.79 None pthread/sync01.yml true 13.11 7.61 None pthread/triangular-1.yml true 19.90 12.31 None pthread/triangular-2.yml false(unreach-call) 11.58 7.09 None pthread/triangular-longer-1.yml true 28.59 17.34 None pthread/triangular-longer-2.yml false(unreach-call) 15.18 8.99 None pthread/triangular-longest-1.yml true 44.59 28.20 None pthread/triangular-longest-2.yml false(unreach-call) 21.50 13.56 None pthread/twostage_3.yml unknown 71.51 44.21 None pthread-atomic/dekker-unfair.yml true 10.64 6.62 None pthread-atomic/dekker.yml true 10.24 6.18 None pthread-atomic/lamport.yml true 11.99 7.15 None pthread-atomic/peterson.yml true 10.48 6.43 None pthread-atomic/read_write_lock-1.yml true 11.95 6.98 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 13.27 7.96 None pthread-atomic/szymanski.yml true 12.88 7.55 None pthread-atomic/time_var_mutex.yml true 11.08 6.76 None pthread-ext/01b_inc.yml TIMEOUT 902.38 805.12 None pthread-ext/02_inc_cas.yml TIMEOUT 900.64 801.18 None pthread-ext/03_incdec.yml OUT OF MEMORY 221.54 168.31 None pthread-ext/04_incdec_cas.yml TIMEOUT 900.86 854.72 None pthread-ext/08_rand_cas.yml OUT OF MEMORY 453.88 377.89 None pthread-ext/09_fmaxsym-zero.yml OUT OF MEMORY 294.79 248.70 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 769.49 628.81 None pthread-ext/11_fmaxsymopt-zero.yml OUT OF MEMORY 391.92 334.60 None pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 267.42 213.71 None pthread-ext/14_spin2003.yml OUT OF MEMORY 240.95 194.54 None pthread-ext/18_read_write_lock.yml true 8.93 5.49 None pthread-ext/25_stack.yml OUT OF MEMORY 218.16 166.22 None pthread-ext/25_stack_longer-1.yml TIMEOUT 900.61 891.04 None pthread-ext/25_stack_longer-2.yml TIMEOUT 900.65 887.42 None pthread-ext/25_stack_longest-1.yml TIMEOUT 900.89 876.65 None pthread-ext/25_stack_longest-2.yml TIMEOUT 901.16 868.07 None pthread-ext/26_stack_cas.yml TIMEOUT 901.60 850.09 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 900.62 891.62 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 900.68 891.98 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 900.84 883.03 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 900.93 877.44 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 8.03 5.07 None pthread-ext/29_conditionals_vs.yml OUT OF MEMORY 189.97 149.51 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 351.96 298.71 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 380.61 333.34 None pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 901.15 859.95 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 466.75 345.76 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 330.20 281.41 None pthread-ext/40_barrier_vf.yml false(unreach-call) 21.79 11.89 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml OUT OF MEMORY 704.29 439.88 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml OUT OF MEMORY 577.50 395.10 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 717.46 536.80 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 300.98 258.02 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml OUT OF MEMORY 254.18 207.17 None pthread-ext/48_ticket_lock_low_contention_vs.yml ERROR (7) 13.71 9.10 None pthread-wmm/mix000.oepc.yml false(unreach-call) 57.50 39.91 None pthread-wmm/mix000.opt.yml false(unreach-call) 37.79 26.98 None pthread-wmm/mix001.oepc.yml false(unreach-call) 72.39 59.16 None pthread-wmm/mix001.opt.yml false(unreach-call) 79.07 56.89 None pthread-wmm/mix002.oepc.yml false(unreach-call) 47.30 33.41 None pthread-wmm/mix002.opt.yml false(unreach-call) 69.62 53.38 None pthread-wmm/mix003.oepc.yml false(unreach-call) 79.23 64.60 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 88.24 66.27 None pthread-wmm/mix004.oepc.yml false(unreach-call) 134.84 103.80 None pthread-wmm/mix004.opt.yml false(unreach-call) 72.08 54.74 None pthread-wmm/mix005.opt.yml false(unreach-call) 53.68 38.81 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 96.24 68.44 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 70.79 52.32 None pthread-wmm/mix006.opt.yml false(unreach-call) 69.57 53.98 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 84.02 69.41 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 225.82 202.19 None pthread-wmm/mix007.oepc.yml false(unreach-call) 81.83 57.88 None pthread-wmm/mix007.opt.yml false(unreach-call) 94.62 68.11 None pthread-wmm/mix008.opt.yml false(unreach-call) 69.95 52.74 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 72.32 54.61 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 270.66 240.41 None pthread-wmm/mix009.oepc.yml false(unreach-call) 52.05 33.94 None pthread-wmm/mix009.opt.yml false(unreach-call) 48.37 37.32 None pthread-wmm/mix010.oepc.yml false(unreach-call) 48.25 35.32 None pthread-wmm/mix010.opt.yml false(unreach-call) 78.87 56.97 None pthread-wmm/mix011.opt.yml false(unreach-call) 77.80 61.64 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 49.79 37.31 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 55.34 35.96 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 36.51 25.37 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 54.50 36.69 None pthread-wmm/mix013.oepc.yml false(unreach-call) 70.04 53.90 None pthread-wmm/mix013.opt.yml false(unreach-call) 65.24 49.01 None pthread-wmm/mix014.opt.yml false(unreach-call) 79.20 54.94 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 75.21 56.35 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 420.13 371.94 None pthread-wmm/mix015.oepc.yml false(unreach-call) 48.00 35.33 None pthread-wmm/mix015.opt.yml false(unreach-call) 69.09 53.86 None pthread-wmm/mix016.oepc.yml false(unreach-call) 50.92 38.16 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 51.21 34.20 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 72.96 56.80 None pthread-wmm/mix017.oepc.yml false(unreach-call) 72.33 56.45 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 107.74 89.77 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 81.75 57.05 None pthread-wmm/mix018.opt.yml false(unreach-call) 61.37 47.86 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 82.43 62.33 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 62.75 46.96 None pthread-wmm/mix019.opt.yml false(unreach-call) 55.43 40.70 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 54.91 36.41 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 37.85 26.14 None pthread-wmm/mix020.oepc.yml false(unreach-call) 97.22 78.43 None pthread-wmm/mix020.opt.yml false(unreach-call) 55.40 39.85 None pthread-wmm/mix021.opt.yml false(unreach-call) 60.38 46.07 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 126.00 106.91 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 137.99 107.06 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 35.51 24.22 None pthread-wmm/mix022_tso.yml false(unreach-call) 32.62 21.40 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 66.84 50.04 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 108.73 91.11 None pthread-wmm/mix023_tso.yml false(unreach-call) 333.09 305.52 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 44.70 31.20 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 41.78 29.81 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 43.15 30.23 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 41.19 29.15 None pthread-wmm/mix026.oepc.yml false(unreach-call) 80.41 56.93 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 59.56 45.86 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 92.98 73.79 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 132.09 112.32 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 98.93 82.44 None pthread-wmm/mix027_tso.yml false(unreach-call) 70.92 54.94 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 54.92 36.73 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 49.44 31.93 None pthread-wmm/mix028_tso.yml false(unreach-call) 65.03 50.35 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 155.42 123.89 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 107.04 86.15 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 67.38 52.95 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 145.03 112.16 None pthread-wmm/mix030_tso.yml false(unreach-call) 55.40 38.96 None pthread-wmm/mix031.oepc.yml false(unreach-call) 32.75 21.28 None pthread-wmm/mix031.opt.yml false(unreach-call) 31.79 22.00 None pthread-wmm/mix032.oepc.yml false(unreach-call) 49.16 35.29 None pthread-wmm/mix032.opt.yml false(unreach-call) 47.98 35.59 None pthread-wmm/mix033.opt.yml false(unreach-call) 49.46 37.12 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 81.10 63.73 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 38.29 25.83 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 36.04 25.67 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 31.73 22.33 None pthread-wmm/mix035.oepc.yml false(unreach-call) 64.94 45.09 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 40.88 28.70 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 50.17 37.33 None pthread-wmm/mix036.oepc.yml false(unreach-call) 79.13 54.13 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 106.70 89.32 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 48.04 32.21 None pthread-wmm/mix037.opt.yml false(unreach-call) 42.20 28.61 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 62.52 45.29 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 67.94 46.93 None pthread-wmm/mix038.opt.yml false(unreach-call) 56.92 43.70 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 49.66 35.46 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 36.67 24.69 None pthread-wmm/mix039.oepc.yml false(unreach-call) 77.19 53.07 None pthread-wmm/mix039.opt.yml false(unreach-call) 43.84 29.75 None pthread-wmm/mix040.opt.yml false(unreach-call) 57.45 41.32 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 67.89 50.02 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 128.80 108.59 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 45.06 28.92 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.72 17.34 None pthread-wmm/mix042.oepc.yml false(unreach-call) 45.28 31.70 None pthread-wmm/mix042.opt.yml false(unreach-call) 66.86 47.06 None pthread-wmm/mix043.oepc.yml false(unreach-call) 152.80 119.23 None pthread-wmm/mix043.opt.yml false(unreach-call) 39.63 25.36 None pthread-wmm/mix044.opt.yml false(unreach-call) 40.46 25.23 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 68.39 49.88 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 63.13 46.31 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 46.05 33.87 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 57.05 43.27 None pthread-wmm/mix046.oepc.yml false(unreach-call) 112.49 84.00 None pthread-wmm/mix046.opt.yml false(unreach-call) 39.08 24.97 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 123.91 102.17 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 76.78 57.31 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) 32.99 22.17 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) 63.42 49.58 None pthread-wmm/mix050.yml false(unreach-call) 63.19 48.51 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 109.15 88.46 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 59.67 39.36 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 51.39 36.24 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 50.27 36.85 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 63.48 44.12 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 36.81 25.83 None pthread-wmm/mix053.opt.yml false(unreach-call) 59.21 38.81 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 60.76 44.41 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 111.91 93.66 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 35.19 24.86 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.99 16.67 None pthread-wmm/mix055.opt.yml false(unreach-call) 52.57 30.37 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 65.98 48.74 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 52.68 38.30 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 51.38 38.37 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 72.97 51.58 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 64.93 48.80 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 55.81 33.06 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 47.10 34.92 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 28.94 19.03 None pthread-wmm/rfi000_tso.yml true 98.11 80.15 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 39.67 24.66 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 30.33 20.03 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 536.21 491.94 None pthread-wmm/rfi002_tso.yml true 197.20 174.56 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 29.75 20.31 None pthread-wmm/rfi003_tso.yml true 104.14 86.86 None pthread-wmm/rfi004.yml false(unreach-call) 38.14 23.28 None pthread-wmm/rfi005.yml false(unreach-call) 12.93 7.55 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 127.30 111.29 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 169.85 149.76 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 62.01 41.51 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 73.19 57.47 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 40.58 25.23 None pthread-wmm/rfi007_tso.yml false(unreach-call) 43.32 31.18 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 57.99 40.79 None pthread-wmm/rfi008.opt.yml false(unreach-call) 39.92 28.28 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 147.01 126.32 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 50.01 38.79 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 84.49 63.60 None pthread-wmm/rfi010.yml false(unreach-call) 44.62 31.66 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 738.37 712.19 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 40.11 29.84 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.73 8.97 None pthread-wmm/safe000_rmo.yml false(unreach-call) 567.22 533.90 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 271.90 246.26 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 86.09 72.86 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 140.16 114.68 None pthread-wmm/safe001_tso.yml true 10.95 6.24 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 191.84 169.66 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 52.00 40.39 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 136.95 120.22 None pthread-wmm/safe002_tso.yml true 15.34 8.48 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 104.95 80.66 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 49.02 32.64 None pthread-wmm/safe003_tso.yml true 15.48 8.64 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 89.00 71.46 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 79.41 64.96 None pthread-wmm/safe004_tso.yml true 11.20 6.76 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 51.64 34.51 None pthread-wmm/safe005_tso.yml true 11.14 6.89 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 43.66 33.16 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 36.91 22.06 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 9.71 6.09 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 40.29 25.36 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 48.13 37.83 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 83.94 63.49 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 10.89 6.53 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 35.96 24.61 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 35.04 23.23 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 61.98 40.31 None pthread-wmm/safe008_tso.yml true 13.95 8.04 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 387.97 368.70 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 38.38 27.25 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.08 7.08 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 267.12 244.47 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 39.04 24.19 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 23.69 14.01 None pthread-wmm/safe010_tso.yml true 13.18 7.23 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 110.18 85.61 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 110.89 93.09 None pthread-wmm/safe011_tso.yml true 14.82 8.05 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 72.50 52.58 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 90.07 69.56 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 49.59 33.12 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 36.01 24.53 None pthread-wmm/safe012_tso.yml true 15.04 8.33 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 40.21 28.58 None pthread-wmm/safe013_tso.yml true 14.74 8.21 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 65.23 45.87 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 85.25 63.44 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.02 7.85 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 33.59 22.15 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 135.94 115.11 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 127.92 108.23 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 254.28 216.36 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.53 9.09 None pthread-wmm/safe015_rmo.yml false(unreach-call) 132.14 103.77 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 177.73 156.35 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 181.77 159.94 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.59 8.02 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 110.61 91.12 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 143.96 125.87 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 46.80 29.79 None pthread-wmm/safe017_tso.yml true 11.28 6.96 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 45.59 34.34 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 199.93 163.73 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.49 6.70 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 37.78 27.38 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 76.25 63.04 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 153.98 132.65 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 203.30 163.85 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.61 9.06 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 129.13 110.25 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 104.70 86.41 None pthread-wmm/safe020_power.yml false(unreach-call) 152.59 133.65 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.91 7.36 None pthread-wmm/safe020_rmo.yml false(unreach-call) 73.93 59.51 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 49.73 37.70 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 50.70 31.94 None pthread-wmm/safe021_tso.yml true 12.26 6.93 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 39.85 28.15 None pthread-wmm/safe022_tso.yml true 10.64 6.38 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 257.99 230.96 None pthread-wmm/safe023_tso.yml true 12.80 7.36 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 44.44 32.29 None pthread-wmm/safe024_tso.yml true 11.66 6.64 None pthread-wmm/safe025_power.yml false(unreach-call) 446.69 404.18 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.27 7.79 None pthread-wmm/safe025_rmo.yml false(unreach-call) 85.60 69.67 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 50.94 38.46 None pthread-wmm/safe026_tso.yml true 15.06 8.28 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 103.57 85.28 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 212.68 172.89 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.31 8.80 None pthread-wmm/safe027_rmo.yml false(unreach-call) 67.62 52.62 None pthread-wmm/safe028_power.yml false(unreach-call) 172.51 151.29 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.87 6.88 None pthread-wmm/safe028_rmo.yml false(unreach-call) 63.31 48.59 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.64 15.32 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 52.59 39.71 None pthread-wmm/safe029_tso.yml true 9.60 6.03 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 334.02 310.98 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 68.73 53.47 None pthread-wmm/safe030_tso.yml true 11.15 6.54 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 52.47 40.22 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 59.94 45.93 None pthread-wmm/safe031_tso.yml true 11.37 6.49 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 312.24 287.81 None pthread-wmm/safe032_tso.yml true 15.05 8.55 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 32.74 21.40 None pthread-wmm/safe033_tso.yml true 9.83 5.91 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 64.16 44.71 None pthread-wmm/safe034_tso.yml true 11.70 6.55 None pthread-wmm/safe035_power.yml TIMEOUT 901.81 866.79 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 12.65 7.12 None pthread-wmm/safe036.yml true 10.16 5.72 None pthread-wmm/safe037.yml true 11.68 6.74 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 49.57 35.38 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 83.53 66.78 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 28.38 15.03 None pthread-wmm/thin002_rmo.yml false(unreach-call) 44.86 27.24 None pthread-lit/qw2004-2b.yml false(unreach-call) 9.09 5.58 None pthread-lit/sssc12.yml OUT OF MEMORY 733.53 550.42 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 297.21 242.04 None ldv-races/race-1_1-join.yml true 10.14 5.99 None ldv-races/race-1_2-join.yml false(unreach-call) 9.88 5.78 None ldv-races/race-1_3-join.yml false(unreach-call) 10.03 5.80 None ldv-races/race-2_1-container_of.yml true 35.67 22.10 None ldv-races/race-2_2-container_of.yml false(unreach-call) 24.40 12.99 None ldv-races/race-2_3-container_of.yml false(unreach-call) 12.89 7.44 None ldv-races/race-2_4-container_of.yml false(unreach-call) 13.64 7.86 None ldv-races/race-2_5-container_of.yml false(unreach-call) 13.11 7.31 None ldv-races/race-3_1-container_of-global.yml true 32.32 19.51 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 25.40 13.50 None ldv-races/race-4_1-thread_local_vars.yml true 21.74 11.59 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR (7) 435.69 319.96 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR (7) 359.43 276.45 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml TIMEOUT 900.91 870.63 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 900.80 865.03 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT 901.31 850.39 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 900.73 862.15 None pthread-complex/bounded_buffer.yml TIMEOUT 900.95 862.65 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.84 854.53 None pthread-complex/safestack_relacy.yml OUT OF MEMORY 195.08 154.18 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 900.72 865.93 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 17.03 10.22 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 17.29 10.37 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml false(unreach-call) 88.14 62.21 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 28.44 16.84 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml OUT OF MEMORY 503.88 312.70 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 28.05 16.28 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 900.54 872.52 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 22.01 13.10 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 19.39 11.76 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml true 26.68 15.65 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 22.47 13.40 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 900.46 883.47 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml true 26.15 15.19 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml true 32.27 18.34 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 23.48 13.80 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 37.12 20.84 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 21.96 13.11 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml true 27.92 16.29 None pthread-C-DAC/pthread-demo-datarace-1.yml true 48.87 27.94 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 17.32 10.36 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 13.12 7.88 None pthread-C-DAC/pthread-numerical-integration.yml unknown 16.90 9.55 None pthread-divine/tls_basic.yml unknown 11.77 7.57 None pthread-divine/tls_destructor_worker.yml unknown 15.62 9.08 None goblint-regression/13-privatized_01-priv_nr_true.yml true 11.65 6.71 None goblint-regression/13-privatized_04-priv_multi_true.yml true 48.35 25.57 None goblint-regression/13-privatized_18-first-reads_true.yml true 9.53 5.63 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 7.99 5.14 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 8.22 5.16 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 8.16 4.92 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 7.48 4.80 None goblint-regression/13-privatized_19-publish-precision_true.yml true 8.90 5.81 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 8.57 5.04 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 8.85 5.10 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 9.09 5.48 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 10.86 6.31 None goblint-regression/13-privatized_20-publish-regression_true.yml true 10.51 6.03 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 15.21 8.36 None goblint-regression/13-privatized_25-struct_nr_true.yml true 10.42 6.53 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 24.03 13.07 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 13.02 7.52 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 9.86 5.95 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 11.01 6.64 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 13.51 7.57 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.53 6.86 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 12.76 7.48 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 13.69 7.62 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 10.31 6.17 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 9.09 5.62 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 9.52 5.77 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 12.83 7.14 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 10.26 6.15 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 7.87 4.92 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 9.69 6.15 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 12.00 6.76 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 10.02 5.76 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 8.26 5.10 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 8.80 5.41 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 7.99 4.65 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 7.77 5.06 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 11.51 6.67 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 7.88 5.08 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 11.88 6.82 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 10.51 6.13 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 16.03 8.75 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 42.48 25.04 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 9.75 5.83 None goblint-regression/28-race_reach_01-simple_racing.yml TIMEOUT 901.09 769.70 None goblint-regression/28-race_reach_02-simple_racefree.yml TIMEOUT 901.55 770.75 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 298.43 246.96 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 257.40 209.40 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml TIMEOUT 901.29 842.54 None goblint-regression/28-race_reach_06-cond_racing1.yml TIMEOUT 900.67 761.17 None goblint-regression/28-race_reach_07-cond_racing2.yml TIMEOUT 901.59 782.11 None goblint-regression/28-race_reach_08-cond_racefree.yml TIMEOUT 901.04 758.66 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 268.94 218.63 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 272.02 218.92 None goblint-regression/28-race_reach_11-ptr_racing.yml TIMEOUT 901.48 776.91 None goblint-regression/28-race_reach_12-ptr_racefree.yml TIMEOUT 900.79 835.75 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 264.57 213.31 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 523.84 444.04 None goblint-regression/28-race_reach_21-deref_read_racing.yml TIMEOUT 900.69 805.98 None goblint-regression/28-race_reach_22-deref_read_racefree.yml TIMEOUT 900.67 779.41 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 12.27 7.48 None goblint-regression/28-race_reach_24-sound_lock_racing.yml TIMEOUT 901.49 771.87 None goblint-regression/28-race_reach_27-funptr_racing.yml TIMEOUT 900.49 760.08 None goblint-regression/28-race_reach_28-funptr_racefree.yml TIMEOUT 900.61 777.22 None goblint-regression/28-race_reach_36-indirect_racefree.yml TIMEOUT 900.69 756.93 None goblint-regression/28-race_reach_37-indirect_racing.yml TIMEOUT 901.46 820.67 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 12.24 7.86 None goblint-regression/28-race_reach_41-trylock_racefree.yml TIMEOUT 901.22 829.64 None goblint-regression/28-race_reach_42-trylock2_racefree.yml TIMEOUT 902.48 773.74 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 10.06 5.98 None goblint-regression/28-race_reach_46-escape_racefree.yml true 12.64 7.05 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml TIMEOUT 900.91 771.19 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 270.93 213.63 None goblint-regression/28-race_reach_61-invariant_racing.yml TIMEOUT 900.95 773.41 None goblint-regression/28-race_reach_70-funloop_racefree.yml TIMEOUT 900.68 866.71 None goblint-regression/28-race_reach_71-funloop_racing.yml TIMEOUT 900.69 864.78 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml TIMEOUT 900.56 880.38 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml TIMEOUT 900.57 881.05 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 518.48 454.23 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml TIMEOUT 901.81 809.96 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 685.27 599.15 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml TIMEOUT 901.02 781.78 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 617.68 441.98 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 235.43 187.03 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 315.27 265.53 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 335.77 281.58 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 300.50 252.74 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 284.91 236.84 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 294.44 244.60 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 901.46 875.26 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 901.53 860.16 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 900.61 885.13 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 900.60 884.77 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 900.59 888.26 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 900.57 886.71 None goblint-regression/28-race_reach_94-alloc_region_racing.yml false(unreach-call) 26.71 15.63 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 10.79 6.06 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 9.91 5.90 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 10.51 6.00 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 9.77 5.64 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 36.99 19.47 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 17.70 9.58 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 9.24 5.29 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 9.14 5.25 None weaver/array-eq-symm.wvr.yml true 77.93 52.15 None weaver/array-eq-trans.wvr.yml TIMEOUT 900.85 847.79 None weaver/bench-exp1x3.wvr.yml TIMEOUT 900.41 884.94 None weaver/bench-exp2x3.wvr.yml TIMEOUT 900.37 889.05 None weaver/bench-exp2x4.wvr.yml TIMEOUT 900.58 882.52 None weaver/bench-exp2x6.wvr.yml TIMEOUT 900.69 879.53 None weaver/bench-exp2x9.wvr.yml TIMEOUT 900.41 888.48 None weaver/bench-exp3x3-opt.wvr.yml true 34.40 24.58 None weaver/bench-exp3x3.wvr.yml TIMEOUT 900.38 887.93 None weaver/chl-array-int-subst.wvr.yml TIMEOUT 901.35 839.14 None weaver/chl-array-int-symm.wvr.yml true 66.75 42.68 None weaver/chl-array-int-trans.wvr.yml TIMEOUT 900.72 871.07 None weaver/chl-chromosome-opt-symm.wvr.yml true 55.15 31.80 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 900.63 871.94 None weaver/chl-chromosome-symm.wvr.yml true 56.96 32.41 None weaver/chl-chromosome-trans.wvr.yml TIMEOUT 900.97 838.16 None weaver/chl-collitem-subst.wvr.yml true 16.79 9.22 None weaver/chl-collitem-symm.wvr.yml true 12.25 6.96 None weaver/chl-collitem-trans.wvr.yml true 15.22 8.42 None weaver/chl-exp-term-subst.wvr.yml true 15.31 8.57 None weaver/chl-exp-term-symm.wvr.yml true 10.76 6.52 None weaver/chl-file-item-subst.wvr.yml true 18.51 10.08 None weaver/chl-file-item-symm.wvr.yml true 11.97 7.20 None weaver/chl-file-item-trans.wvr.yml true 13.14 7.58 None weaver/chl-match-subst.wvr.yml true 14.92 8.28 None weaver/chl-match-symm.wvr.yml true 10.78 6.96 None weaver/chl-match-trans.wvr.yml true 13.83 7.87 None weaver/chl-name-comparator-subst.wvr.yml true 51.11 33.31 None weaver/chl-name-comparator-symm.wvr.yml true 43.08 27.72 None weaver/chl-name-comparator-trans.wvr.yml true 88.25 61.74 None weaver/chl-node-subst.wvr.yml TIMEOUT 900.77 870.65 None weaver/chl-node-symm.wvr.yml true 14.07 8.32 None weaver/chl-node-trans.wvr.yml true 17.11 9.89 None weaver/chl-nzb-file-subst.wvr.yml TIMEOUT 900.50 873.30 None weaver/chl-nzb-file-symm.wvr.yml true 112.36 82.91 None weaver/chl-nzb-file-trans.wvr.yml true 288.40 226.97 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 900.62 851.89 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 900.67 865.51 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 900.74 854.21 None weaver/chl-simpl-str-subst.wvr.yml true 11.75 7.20 None weaver/chl-simpl-str-symm.wvr.yml true 10.05 6.25 None weaver/chl-simpl-str-trans.wvr.yml true 10.41 6.28 None weaver/chl-sre-subst.wvr.yml true 11.62 6.83 None weaver/chl-sre-symm.wvr.yml true 12.30 6.80 None weaver/chl-sre-trans.wvr.yml true 9.14 5.92 None weaver/chl-time-subst.wvr.yml true 14.03 7.77 None weaver/chl-time-symm.wvr.yml true 9.51 6.01 None weaver/chl-time-trans.wvr.yml true 13.07 7.63 None weaver/chl-word-subst.wvr.yml TIMEOUT 900.63 874.93 None weaver/chl-word-symm.wvr.yml true 68.23 41.52 None weaver/chl-word-trans.wvr.yml TIMEOUT 901.06 839.68 None weaver/clever.wvr.yml TIMEOUT 900.91 822.44 None weaver/fibonacci.wvr.yml true 13.37 8.24 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 900.79 870.98 None weaver/mult-comm.wvr.yml TIMEOUT 900.41 884.95 None weaver/mult-dist.wvr.yml TIMEOUT 900.40 885.01 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 900.56 887.26 None weaver/parallel-bakery-2.wvr.yml true 13.85 8.22 None weaver/parallel-bakery-3.wvr.yml true 203.03 173.05 None weaver/parallel-bakery-4.wvr.yml TIMEOUT 901.37 786.87 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 28.81 15.53 None weaver/parallel-barrier.wvr.yml true 22.13 12.34 None weaver/parallel-bluetooth.wvr.yml true 11.26 6.96 None weaver/parallel-lamport.wvr.yml true 25.15 14.65 None weaver/parallel-min-max-1.wvr.yml true 40.47 24.87 None weaver/parallel-misc-1.wvr.yml TIMEOUT 900.57 877.20 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 10.08 6.21 None weaver/parallel-misc-2-unrolled.wvr.yml true 10.78 6.24 None weaver/parallel-misc-2.wvr.yml TIMEOUT 900.42 883.18 None weaver/parallel-misc-3-extended.wvr.yml true 18.02 10.07 None weaver/parallel-misc-3.wvr.yml true 13.85 8.25 None weaver/parallel-misc-4.wvr.yml true 34.46 20.28 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 149.54 111.49 None weaver/parallel-parallel-sum-1-dsl.wvr.yml TIMEOUT 901.47 846.56 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 781.33 756.37 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 901.30 813.05 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT 900.93 861.02 None weaver/parallel-simple-equiv.wvr.yml true 11.42 6.31 None weaver/parallel-ticket-2.wvr.yml true 11.90 6.63 None weaver/parallel-ticket-3.wvr.yml true 18.87 10.40 None weaver/parallel-ticket-4.wvr.yml true 37.88 20.14 None weaver/parallel-ticket-5.wvr.yml true 84.92 51.94 None weaver/parallel-ticket-6.wvr.yml true 335.72 270.46 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 334.42 266.81 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 248.33 205.96 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 901.24 851.36 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 901.36 834.84 None weaver/popl20-bad-buffer-mult-alt3.wvr.yml TIMEOUT 900.78 830.80 None weaver/popl20-bad-commit-1.wvr-bad.yml true 136.01 94.19 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 288.97 222.05 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 39.24 26.69 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 900.65 872.08 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 900.54 866.46 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 901.28 829.37 None weaver/popl20-bad-ring-nondet.wvr.yml true 15.48 9.15 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 900.67 863.68 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 900.66 859.66 None weaver/popl20-bad-three-array-sum-alt.wvr.yml TIMEOUT 900.56 871.12 None weaver/popl20-channel-sum.wvr.yml true 67.60 48.03 None weaver/popl20-commit-1.wvr.yml TIMEOUT 900.73 841.09 None weaver/popl20-commit-2.wvr.yml TIMEOUT 900.79 867.02 None weaver/popl20-counter-determinism.wvr.yml TIMEOUT 901.21 793.58 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 900.73 844.28 None weaver/popl20-difference-det.wvr.yml TIMEOUT 901.11 861.80 None weaver/popl20-figure1-alt.wvr.yml true 153.15 115.51 None weaver/popl20-figure1.wvr.yml TIMEOUT 900.58 816.71 None weaver/popl20-figure3.wvr.yml TIMEOUT 900.55 882.86 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 901.19 838.38 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 613.29 426.13 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 180.67 140.60 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 320.21 259.43 None weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 901.09 862.32 None weaver/popl20-more-array-sum-alt2.wvr.yml TIMEOUT 901.05 869.80 None weaver/popl20-more-array-sum.wvr.yml TIMEOUT 900.69 850.12 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 900.90 852.65 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 901.49 862.80 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 900.99 859.76 None weaver/popl20-more-buffer-mult3.wvr.yml TIMEOUT 901.18 856.71 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 900.63 872.87 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 900.80 872.87 None weaver/popl20-more-buffer-series3.wvr.yml TIMEOUT 900.75 868.38 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 900.57 849.22 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 900.64 861.72 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.37 858.56 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.30 839.58 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 900.45 873.24 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 901.18 862.48 None weaver/popl20-more-min-le-max.wvr.yml true 13.92 8.22 None weaver/popl20-more-mts.wvr.yml TIMEOUT 900.77 858.51 None weaver/popl20-more-multiply-verify.wvr.yml true 117.99 98.32 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 900.46 879.89 None weaver/popl20-more-queue-add-2-nl.wvr.yml OUT OF MEMORY 743.82 583.84 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 900.72 860.91 None weaver/popl20-more-sorted.wvr.yml TIMEOUT 900.68 827.07 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 900.59 882.35 None weaver/popl20-more-vector-add.wvr.yml TIMEOUT 901.03 853.76 None weaver/popl20-mult-4.wvr.yml TIMEOUT 900.45 882.30 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 900.40 886.43 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 39.96 26.00 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 900.41 817.97 None weaver/popl20-prod-cons-eq.wvr.yml true 682.30 620.25 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 901.15 840.52 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 900.63 858.82 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 901.11 860.99 None weaver/popl20-queue-add-2.wvr.yml OUT OF MEMORY 305.59 233.34 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 900.61 862.32 None weaver/popl20-send-receive-alt.wvr.yml TIMEOUT 901.00 809.01 None weaver/popl20-send-receive.wvr.yml TIMEOUT 900.75 835.38 None weaver/popl20-simple-array-sum.wvr.yml true 23.85 14.22 None weaver/popl20-simple-queue.wvr.yml TIMEOUT 901.16 861.34 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 900.50 871.19 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 900.46 867.55 None weaver/popl20-three-array-min.wvr.yml TIMEOUT 900.77 868.66 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 900.55 852.15 None weaver/popl20-two-queue.wvr.yml true 98.02 76.74 None weaver/security.wvr.yml true 10.75 6.40 None weaver/spaghetti.wvr.yml true 20.65 11.05 None weaver/test-context1.wvr.yml OUT OF MEMORY 606.66 435.41 None weaver/test-easy1.wvr.yml true 9.91 5.82 None weaver/test-easy10.wvr.yml true 16.12 9.18 None weaver/test-easy11.wvr.yml true 12.63 7.89 None weaver/test-easy6.wvr.yml true 11.58 6.61 None weaver/test-easy7.wvr.yml true 8.27 4.93 None weaver/test-easy8.wvr.yml true 8.70 5.05 None weaver/test-hard1.wvr.yml TIMEOUT 901.33 842.67 None weaver/test-semi1.wvr.yml true 8.29 4.85 None weaver/unroll-2.wvr.yml TIMEOUT 900.60 862.79 None weaver/unroll-3.wvr.yml TIMEOUT 900.61 871.78 None weaver/unroll-4.wvr.yml TIMEOUT 901.12 844.43 None weaver/unroll-5.wvr.yml TIMEOUT 900.57 875.02 None weaver/unroll-cond-2.wvr.yml TIMEOUT 900.56 886.29 None weaver/unroll-cond-3.wvr.yml TIMEOUT 900.54 876.01 None weaver/unroll-cond-4.wvr.yml TIMEOUT 900.68 879.01 None weaver/unroll-cond-5.wvr.yml TIMEOUT 900.58 867.89 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 17.26 10.09 None pthread-deagle/arithmetic_prog_ok.yml true 23.10 13.89 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 23.04 14.07 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 900.66 879.27 None pthread-race-challenges/thread-local-pthread-value.yml unknown 15.28 8.76 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 15.25 8.76 None pthread-race-challenges/thread-local-value.yml unknown 15.67 9.10 None libvsync/arraylock.yml unknown 19.72 11.14 None libvsync/bounded_mpmc_check_full.yml TIMEOUT 901.43 816.91 None libvsync/cnalock.yml OUT OF MEMORY 266.50 227.68 None libvsync/hclhlock.yml TIMEOUT 900.81 866.57 None libvsync/hmcslock.yml ERROR (7) 34.90 19.02 None libvsync/mcslock.yml OUT OF MEMORY 218.17 166.48 None libvsync/rec_mcslock.yml OUT OF MEMORY 482.64 423.00 None libvsync/rec_ticketlock.yml OUT OF MEMORY 257.45 195.73 None libvsync/rwlock.yml OUT OF MEMORY 232.21 164.22 None libvsync/semaphore.yml OUT OF MEMORY 359.30 291.08 None libvsync/ticketlock.yml OUT OF MEMORY 147.74 112.45 None libvsync/ttaslock.yml OUT OF MEMORY 203.06 143.73 None pthread-theta/exponential-4.yml true 222.30 191.22 None pthread-theta/exponential-64.yml TIMEOUT 900.63 880.10 None pthread-theta/exponential-nondet.yml TIMEOUT 900.51 878.83 None pthread-theta/unwind1-1.yml false(unreach-call) 10.40 6.72 None pthread-theta/unwind1-100.yml false(unreach-call) 116.62 103.70 None pthread-theta/unwind1-nondet.yml false(unreach-call) 12.26 6.97 None pthread-theta/unwind2-1.yml false(unreach-call) 12.97 8.24 None pthread-theta/unwind2-100.yml false(unreach-call) 76.80 52.20 None pthread-theta/unwind2-nondet.yml false(unreach-call) 25.08 15.93 None pthread-theta/unwind3-1.yml false(unreach-call) 9.68 5.79 None pthread-theta/unwind3-100.yml TIMEOUT 902.17 830.30 None pthread-theta/unwind3-nondet.yml false(unreach-call) 7.82 4.91 None pthread-theta/wsc.yml true 13.54 7.82 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 2 done 201924.17 26545.82 - CE-Sufficient.SVCOMP-ConcurrencySafety Run set 3 of 7 with options '--traceabstraction.use.conditional.por.in.concurrent.analysis true --traceabstraction.commutativity.condition.synthesis SUFFICIENT' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 17.90 10.77 None pthread/bigshot_s2.yml true 22.13 16.40 None pthread/butterfly.yml OUT OF MEMORY 171.90 130.16 None pthread/fib_safe-10.yml TIMEOUT 901.16 836.14 None pthread/fib_safe-11.yml TIMEOUT 900.78 808.72 None pthread/fib_safe-12.yml TIMEOUT 900.79 863.95 None pthread/fib_safe-5.yml TIMEOUT 900.56 823.58 None pthread/fib_safe-6.yml TIMEOUT 900.78 800.57 None pthread/fib_safe-7.yml TIMEOUT 901.06 862.11 None pthread/fib_unsafe-10.yml false(unreach-call) 14.51 9.01 None pthread/fib_unsafe-11.yml false(unreach-call) 18.67 11.17 None pthread/fib_unsafe-12.yml false(unreach-call) 18.60 11.18 None pthread/fib_unsafe-5.yml false(unreach-call) 13.51 8.64 None pthread/fib_unsafe-6.yml false(unreach-call) 14.16 9.01 None pthread/fib_unsafe-7.yml false(unreach-call) 14.27 9.11 None pthread/lazy01.yml false(unreach-call) 8.24 5.15 None pthread/queue.yml TIMEOUT 900.63 875.92 None pthread/queue_longer.yml TIMEOUT 901.19 850.31 None pthread/queue_longest.yml TIMEOUT 900.84 767.04 None pthread/queue_ok.yml TIMEOUT 900.84 873.54 None pthread/queue_ok_longer.yml TIMEOUT 900.78 877.87 None pthread/queue_ok_longest.yml TIMEOUT 901.39 874.97 None pthread/reorder_2.yml unknown 20.24 13.11 None pthread/reorder_5.yml unknown 20.10 12.94 None pthread/singleton.yml false(unreach-call) 10.08 6.12 None pthread/singleton_with-uninit-problems.yml true 12.91 7.60 None pthread/stack-1.yml true 81.55 57.88 None pthread/stack-2.yml false(unreach-call) 36.67 21.28 None pthread/stack_longer-1.yml TIMEOUT 900.61 873.70 None pthread/stack_longer-2.yml TIMEOUT 900.61 870.83 None pthread/stack_longest-1.yml TIMEOUT 901.15 854.09 None pthread/stack_longest-2.yml TIMEOUT 901.04 843.53 None pthread/stateful01-1.yml false(unreach-call) 8.42 4.88 None pthread/stateful01-2.yml true 9.49 5.51 None pthread/sync01.yml true 13.26 7.71 None pthread/triangular-1.yml true 20.35 12.27 None pthread/triangular-2.yml false(unreach-call) 11.49 7.10 None pthread/triangular-longer-1.yml true 28.36 17.22 None pthread/triangular-longer-2.yml false(unreach-call) 15.23 9.01 None pthread/triangular-longest-1.yml true 44.77 28.63 None pthread/triangular-longest-2.yml false(unreach-call) 21.73 13.39 None pthread/twostage_3.yml unknown 72.23 44.88 None pthread-atomic/dekker-unfair.yml true 10.54 6.44 None pthread-atomic/dekker.yml true 10.06 6.07 None pthread-atomic/lamport.yml true 12.62 7.07 None pthread-atomic/peterson.yml true 10.60 6.53 None pthread-atomic/read_write_lock-1.yml true 13.19 7.45 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 13.72 8.13 None pthread-atomic/szymanski.yml true 13.79 7.73 None pthread-atomic/time_var_mutex.yml true 10.94 6.70 None pthread-ext/01b_inc.yml TIMEOUT 902.54 801.08 None pthread-ext/02_inc_cas.yml TIMEOUT 900.79 845.54 None pthread-ext/03_incdec.yml OUT OF MEMORY 475.27 354.24 None pthread-ext/04_incdec_cas.yml TIMEOUT 900.84 853.54 None pthread-ext/08_rand_cas.yml OUT OF MEMORY 463.40 389.09 None pthread-ext/09_fmaxsym-zero.yml OUT OF MEMORY 299.04 251.86 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 347.54 300.93 None pthread-ext/11_fmaxsymopt-zero.yml OUT OF MEMORY 320.43 269.73 None pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 263.99 212.32 None pthread-ext/14_spin2003.yml OUT OF MEMORY 234.18 188.97 None pthread-ext/18_read_write_lock.yml true 8.76 5.24 None pthread-ext/25_stack.yml OUT OF MEMORY 225.80 173.95 None pthread-ext/25_stack_longer-1.yml TIMEOUT 900.65 890.88 None pthread-ext/25_stack_longer-2.yml TIMEOUT 900.57 892.00 None pthread-ext/25_stack_longest-1.yml TIMEOUT 901.02 868.36 None pthread-ext/25_stack_longest-2.yml TIMEOUT 901.02 871.81 None pthread-ext/26_stack_cas.yml TIMEOUT 900.78 784.08 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 900.61 892.89 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 900.62 891.23 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 900.97 875.66 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 901.01 876.46 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 8.43 5.31 None pthread-ext/29_conditionals_vs.yml OUT OF MEMORY 209.20 164.37 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 549.98 495.73 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 325.57 282.38 None pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 900.79 871.84 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 698.41 467.38 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 368.79 313.80 None pthread-ext/40_barrier_vf.yml false(unreach-call) 16.75 9.59 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml TIMEOUT 901.79 564.93 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml OUT OF MEMORY 532.25 359.35 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 304.47 251.42 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 316.28 271.05 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml OUT OF MEMORY 227.35 188.24 None pthread-ext/48_ticket_lock_low_contention_vs.yml ERROR (7) 18.52 10.85 None pthread-wmm/mix000.oepc.yml false(unreach-call) 64.81 45.91 None pthread-wmm/mix000.opt.yml false(unreach-call) 45.92 32.06 None pthread-wmm/mix001.oepc.yml false(unreach-call) 88.36 65.43 None pthread-wmm/mix001.opt.yml false(unreach-call) 57.78 42.68 None pthread-wmm/mix002.oepc.yml false(unreach-call) 47.72 34.86 None pthread-wmm/mix002.opt.yml false(unreach-call) 78.05 59.00 None pthread-wmm/mix003.oepc.yml false(unreach-call) 103.20 77.77 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 71.04 56.72 None pthread-wmm/mix004.oepc.yml false(unreach-call) 112.85 91.15 None pthread-wmm/mix004.opt.yml false(unreach-call) 80.03 55.63 None pthread-wmm/mix005.opt.yml false(unreach-call) 60.31 43.59 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 71.01 54.28 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 87.95 61.33 None pthread-wmm/mix006.opt.yml false(unreach-call) 78.34 63.77 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 87.11 71.99 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 271.77 246.08 None pthread-wmm/mix007.oepc.yml false(unreach-call) 87.53 62.22 None pthread-wmm/mix007.opt.yml false(unreach-call) 72.74 57.64 None pthread-wmm/mix008.opt.yml false(unreach-call) 65.83 48.29 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 91.86 66.07 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 304.13 279.12 None pthread-wmm/mix009.oepc.yml false(unreach-call) 45.00 32.85 None pthread-wmm/mix009.opt.yml false(unreach-call) 58.76 40.89 None pthread-wmm/mix010.oepc.yml false(unreach-call) 45.39 33.02 None pthread-wmm/mix010.opt.yml false(unreach-call) 64.43 48.40 None pthread-wmm/mix011.opt.yml false(unreach-call) 74.09 59.64 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 63.22 43.65 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 52.79 33.60 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 32.71 22.23 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 38.46 26.83 None pthread-wmm/mix013.oepc.yml false(unreach-call) 65.90 49.02 None pthread-wmm/mix013.opt.yml false(unreach-call) 73.22 50.45 None pthread-wmm/mix014.opt.yml false(unreach-call) 88.42 62.86 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 73.65 56.81 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 303.23 270.80 None pthread-wmm/mix015.oepc.yml false(unreach-call) 44.76 31.41 None pthread-wmm/mix015.opt.yml false(unreach-call) 80.21 59.38 None pthread-wmm/mix016.oepc.yml false(unreach-call) 51.01 37.69 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 38.97 27.88 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 87.22 64.78 None pthread-wmm/mix017.oepc.yml false(unreach-call) 65.61 50.47 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 115.48 94.62 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 69.00 53.55 None pthread-wmm/mix018.opt.yml false(unreach-call) 72.31 49.77 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 88.96 64.62 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 61.24 46.22 None pthread-wmm/mix019.opt.yml false(unreach-call) 60.74 47.25 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 53.47 35.95 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 37.78 26.34 None pthread-wmm/mix020.oepc.yml false(unreach-call) 102.38 85.59 None pthread-wmm/mix020.opt.yml false(unreach-call) 71.29 48.60 None pthread-wmm/mix021.opt.yml false(unreach-call) 63.18 46.57 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 166.30 133.42 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 126.01 106.02 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 34.18 24.15 None pthread-wmm/mix022_tso.yml false(unreach-call) 32.56 21.82 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 86.36 60.39 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 119.80 98.75 None pthread-wmm/mix023_tso.yml false(unreach-call) 320.59 299.73 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 45.42 34.18 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 41.66 29.65 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 53.60 35.76 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 38.78 27.02 None pthread-wmm/mix026.oepc.yml false(unreach-call) 73.72 57.78 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 59.88 45.80 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 127.60 100.79 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 122.12 100.11 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 116.54 88.43 None pthread-wmm/mix027_tso.yml false(unreach-call) 86.90 69.26 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 45.63 34.58 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 41.65 29.38 None pthread-wmm/mix028_tso.yml false(unreach-call) 68.70 54.84 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 129.04 109.42 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 122.99 100.36 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 82.20 57.85 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 162.97 128.72 None pthread-wmm/mix030_tso.yml false(unreach-call) 53.33 35.74 None pthread-wmm/mix031.oepc.yml false(unreach-call) 32.29 20.90 None pthread-wmm/mix031.opt.yml false(unreach-call) 30.70 20.04 None pthread-wmm/mix032.oepc.yml false(unreach-call) 48.18 34.35 None pthread-wmm/mix032.opt.yml false(unreach-call) 56.97 37.74 None pthread-wmm/mix033.opt.yml false(unreach-call) 46.14 32.92 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 79.88 62.90 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 40.36 29.03 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 35.94 24.61 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 29.70 19.70 None pthread-wmm/mix035.oepc.yml false(unreach-call) 58.94 40.14 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 44.71 32.75 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 50.67 37.43 None pthread-wmm/mix036.oepc.yml false(unreach-call) 63.82 45.72 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 103.51 86.52 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 59.55 38.11 None pthread-wmm/mix037.opt.yml false(unreach-call) 54.59 34.63 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 66.10 50.40 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 48.84 34.82 None pthread-wmm/mix038.opt.yml false(unreach-call) 56.98 43.07 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 43.43 30.65 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 47.27 29.98 None pthread-wmm/mix039.oepc.yml false(unreach-call) 83.58 58.45 None pthread-wmm/mix039.opt.yml false(unreach-call) 43.74 29.72 None pthread-wmm/mix040.opt.yml false(unreach-call) 63.98 47.15 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 65.80 50.21 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 114.78 93.34 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 41.82 26.92 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 25.25 15.40 None pthread-wmm/mix042.oepc.yml false(unreach-call) 45.87 33.77 None pthread-wmm/mix042.opt.yml false(unreach-call) 53.61 40.09 None pthread-wmm/mix043.oepc.yml false(unreach-call) 134.64 103.93 None pthread-wmm/mix043.opt.yml false(unreach-call) 55.90 32.74 None pthread-wmm/mix044.opt.yml false(unreach-call) 44.34 27.93 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 68.26 51.74 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 65.27 50.63 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 43.78 30.63 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 77.71 56.49 None pthread-wmm/mix046.oepc.yml false(unreach-call) 105.00 83.82 None pthread-wmm/mix046.opt.yml false(unreach-call) 38.03 23.46 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 109.80 89.03 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 84.36 65.79 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.78 24.54 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) 59.65 44.18 None pthread-wmm/mix050.yml false(unreach-call) 64.73 49.22 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 148.84 117.09 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 56.02 35.63 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 55.10 38.97 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 47.25 34.26 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 55.87 43.11 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 45.40 28.77 None pthread-wmm/mix053.opt.yml false(unreach-call) 43.03 30.03 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 59.41 43.36 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 101.92 82.19 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 34.67 23.47 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 32.65 18.85 None pthread-wmm/mix055.opt.yml false(unreach-call) 39.48 24.74 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 65.35 48.42 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 56.60 41.68 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 57.94 39.26 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 56.04 42.69 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 63.54 47.29 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 59.49 35.88 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 53.87 41.83 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 29.64 18.74 None pthread-wmm/rfi000_tso.yml true 106.17 81.75 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 31.57 21.83 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 29.24 18.71 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 501.54 470.72 None pthread-wmm/rfi002_tso.yml true 194.17 171.54 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 39.74 24.58 None pthread-wmm/rfi003_tso.yml true 110.99 97.41 None pthread-wmm/rfi004.yml false(unreach-call) 28.96 19.75 None pthread-wmm/rfi005.yml false(unreach-call) 13.05 7.78 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 165.16 137.48 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 165.51 146.88 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 51.53 37.69 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 87.48 64.95 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 32.90 22.16 None pthread-wmm/rfi007_tso.yml false(unreach-call) 47.09 35.28 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 48.84 37.93 None pthread-wmm/rfi008.opt.yml false(unreach-call) 49.28 31.84 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 160.96 142.55 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 47.87 35.93 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 86.34 64.13 None pthread-wmm/rfi010.yml false(unreach-call) 56.07 38.37 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 613.41 577.97 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 42.26 31.47 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.22 8.68 None pthread-wmm/safe000_rmo.yml false(unreach-call) 513.90 484.71 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 353.67 313.57 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 90.95 77.24 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 141.54 115.02 None pthread-wmm/safe001_tso.yml true 11.68 6.97 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 221.16 202.62 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 53.38 41.64 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 143.42 125.15 None pthread-wmm/safe002_tso.yml true 15.82 8.63 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 107.39 81.99 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 47.77 32.14 None pthread-wmm/safe003_tso.yml true 16.43 9.70 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 96.26 80.46 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 95.71 74.73 None pthread-wmm/safe004_tso.yml true 11.20 6.76 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 43.65 30.75 None pthread-wmm/safe005_tso.yml true 11.51 6.66 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 42.72 32.82 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 30.99 20.08 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.71 7.48 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 41.36 25.83 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 46.90 35.92 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 78.90 64.31 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.75 8.01 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 38.73 27.76 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 44.82 28.21 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 61.28 39.63 None pthread-wmm/safe008_tso.yml true 13.61 8.19 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 411.49 393.02 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 43.79 31.90 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.83 8.97 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 299.31 266.05 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 40.24 24.80 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 25.89 15.61 None pthread-wmm/safe010_tso.yml true 11.01 6.85 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 101.58 83.82 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 124.76 109.74 None pthread-wmm/safe011_tso.yml true 15.43 8.41 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 71.07 52.04 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 93.62 72.51 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 39.48 28.07 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 37.04 25.51 None pthread-wmm/safe012_tso.yml true 11.48 6.44 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 40.19 28.44 None pthread-wmm/safe013_tso.yml true 11.87 6.78 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 58.45 44.82 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 70.41 55.49 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.44 7.46 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 47.19 29.42 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 121.16 101.41 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 142.04 127.32 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 255.28 231.93 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.33 8.92 None pthread-wmm/safe015_rmo.yml false(unreach-call) 125.74 105.16 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 238.06 205.38 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 185.47 154.62 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.47 7.98 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 109.90 90.21 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 135.93 119.41 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 40.64 26.91 None pthread-wmm/safe017_tso.yml true 12.25 7.22 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 47.48 34.92 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 149.28 124.76 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.66 8.03 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 38.47 27.72 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 86.48 68.95 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 171.91 153.29 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 232.96 192.32 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.64 9.32 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 130.86 111.48 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 107.87 82.97 None pthread-wmm/safe020_power.yml false(unreach-call) 156.09 136.73 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.50 6.97 None pthread-wmm/safe020_rmo.yml false(unreach-call) 74.16 58.78 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 45.40 32.90 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 45.77 28.52 None pthread-wmm/safe021_tso.yml true 12.14 7.14 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 39.17 28.43 None pthread-wmm/safe022_tso.yml true 10.47 6.20 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 254.65 229.70 None pthread-wmm/safe023_tso.yml true 12.23 6.96 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 50.35 33.67 None pthread-wmm/safe024_tso.yml true 11.98 7.16 None pthread-wmm/safe025_power.yml false(unreach-call) 420.01 389.68 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.39 6.97 None pthread-wmm/safe025_rmo.yml false(unreach-call) 96.07 80.91 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 47.89 34.21 None pthread-wmm/safe026_tso.yml true 11.67 7.13 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 97.23 81.12 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 210.58 171.08 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.51 8.50 None pthread-wmm/safe027_rmo.yml false(unreach-call) 88.66 63.10 None pthread-wmm/safe028_power.yml false(unreach-call) 154.68 131.22 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.53 7.05 None pthread-wmm/safe028_rmo.yml false(unreach-call) 70.07 56.27 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 25.37 16.00 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 63.06 45.73 None pthread-wmm/safe029_tso.yml true 9.58 6.03 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 358.42 335.68 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 76.08 60.57 None pthread-wmm/safe030_tso.yml true 14.29 7.78 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 66.42 47.99 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 60.32 46.14 None pthread-wmm/safe031_tso.yml true 14.43 7.92 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 312.12 269.85 None pthread-wmm/safe032_tso.yml true 11.28 7.09 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 31.96 25.03 None pthread-wmm/safe033_tso.yml true 10.33 6.65 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 70.73 51.13 None pthread-wmm/safe034_tso.yml true 12.10 7.22 None pthread-wmm/safe035_power.yml TIMEOUT 901.83 866.14 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 12.51 6.98 None pthread-wmm/safe036.yml true 10.41 6.26 None pthread-wmm/safe037.yml true 13.05 8.56 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 52.72 39.07 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 79.84 65.98 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 29.92 15.97 None pthread-wmm/thin002_rmo.yml false(unreach-call) 36.14 23.83 None pthread-lit/qw2004-2b.yml false(unreach-call) 12.37 6.91 None pthread-lit/sssc12.yml OUT OF MEMORY 321.77 226.14 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 404.18 347.87 None ldv-races/race-1_1-join.yml true 9.56 5.52 None ldv-races/race-1_2-join.yml false(unreach-call) 9.86 5.86 None ldv-races/race-1_3-join.yml false(unreach-call) 9.87 5.89 None ldv-races/race-2_1-container_of.yml true 34.58 21.41 None ldv-races/race-2_2-container_of.yml false(unreach-call) 22.74 12.62 None ldv-races/race-2_3-container_of.yml false(unreach-call) 12.33 8.71 None ldv-races/race-2_4-container_of.yml false(unreach-call) 13.59 8.10 None ldv-races/race-2_5-container_of.yml false(unreach-call) 13.01 7.68 None ldv-races/race-3_1-container_of-global.yml true 35.35 21.30 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 24.04 13.95 None ldv-races/race-4_1-thread_local_vars.yml true 16.35 9.21 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR (7) 344.80 269.86 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR (7) 371.13 286.40 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml TIMEOUT 900.91 871.01 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 900.93 835.16 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT 900.99 848.17 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 900.81 865.05 None pthread-complex/bounded_buffer.yml TIMEOUT 900.16 879.59 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.90 843.83 None pthread-complex/safestack_relacy.yml OUT OF MEMORY 252.76 207.78 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 900.85 851.85 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 18.73 11.90 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 18.66 11.76 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml false(unreach-call) 84.84 60.26 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 28.17 16.79 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT 900.54 861.14 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 39.59 21.91 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 900.76 805.72 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 30.57 17.40 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 25.27 14.40 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml true 34.90 18.97 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 30.69 17.06 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 900.66 862.33 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml true 23.26 13.30 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml true 29.15 16.36 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 25.19 14.40 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 25.39 14.25 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 19.17 11.46 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml true 27.60 15.73 None pthread-C-DAC/pthread-demo-datarace-1.yml true 35.64 21.48 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 16.26 9.88 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 13.07 7.61 None pthread-C-DAC/pthread-numerical-integration.yml unknown 12.48 7.66 None pthread-divine/tls_basic.yml unknown 11.92 7.65 None pthread-divine/tls_destructor_worker.yml unknown 11.62 6.97 None goblint-regression/13-privatized_01-priv_nr_true.yml true 11.05 6.12 None goblint-regression/13-privatized_04-priv_multi_true.yml true 38.49 20.57 None goblint-regression/13-privatized_18-first-reads_true.yml true 8.47 6.90 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 7.86 4.80 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 7.56 4.69 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 8.04 5.17 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 7.84 4.79 None goblint-regression/13-privatized_19-publish-precision_true.yml true 9.06 5.57 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 8.06 4.74 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 9.11 5.76 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 9.82 5.90 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 7.99 4.68 None goblint-regression/13-privatized_20-publish-regression_true.yml true 10.06 6.61 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 17.40 9.87 None goblint-regression/13-privatized_25-struct_nr_true.yml true 10.47 5.98 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 17.68 9.98 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 12.91 7.30 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 10.58 5.99 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 10.39 6.16 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 12.51 7.36 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 12.53 7.30 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 12.77 7.22 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 9.82 6.09 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 10.25 6.16 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 9.15 5.64 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 10.38 6.67 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 10.53 6.10 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 9.53 5.84 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 7.90 5.29 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 11.05 6.50 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 8.98 5.15 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 8.77 4.99 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 8.47 5.07 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 8.18 4.95 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 8.14 5.06 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 7.64 4.75 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 7.57 4.74 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 11.61 6.94 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 10.15 5.71 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 11.15 6.70 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 42.88 24.68 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 10.08 6.08 None goblint-regression/28-race_reach_01-simple_racing.yml TIMEOUT 901.29 757.83 None goblint-regression/28-race_reach_02-simple_racefree.yml TIMEOUT 901.47 745.88 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 315.60 262.20 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 284.13 231.23 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml TIMEOUT 901.24 740.58 None goblint-regression/28-race_reach_06-cond_racing1.yml TIMEOUT 901.62 835.74 None goblint-regression/28-race_reach_07-cond_racing2.yml TIMEOUT 902.03 761.02 None goblint-regression/28-race_reach_08-cond_racefree.yml TIMEOUT 902.47 790.18 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 223.86 167.80 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 255.44 205.85 None goblint-regression/28-race_reach_11-ptr_racing.yml TIMEOUT 901.40 765.66 None goblint-regression/28-race_reach_12-ptr_racefree.yml TIMEOUT 901.67 757.10 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 270.03 219.98 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 471.13 392.87 None goblint-regression/28-race_reach_21-deref_read_racing.yml TIMEOUT 901.41 742.51 None goblint-regression/28-race_reach_22-deref_read_racefree.yml TIMEOUT 900.82 744.95 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 12.45 8.18 None goblint-regression/28-race_reach_24-sound_lock_racing.yml TIMEOUT 901.47 801.72 None goblint-regression/28-race_reach_27-funptr_racing.yml TIMEOUT 901.22 818.17 None goblint-regression/28-race_reach_28-funptr_racefree.yml TIMEOUT 901.62 795.73 None goblint-regression/28-race_reach_36-indirect_racefree.yml TIMEOUT 901.48 747.57 None goblint-regression/28-race_reach_37-indirect_racing.yml TIMEOUT 900.70 741.98 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 15.01 8.56 None goblint-regression/28-race_reach_41-trylock_racefree.yml TIMEOUT 901.54 745.76 None goblint-regression/28-race_reach_42-trylock2_racefree.yml TIMEOUT 901.33 757.28 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 9.77 5.79 None goblint-regression/28-race_reach_46-escape_racefree.yml true 12.22 7.20 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml TIMEOUT 902.21 791.67 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 295.11 245.21 None goblint-regression/28-race_reach_61-invariant_racing.yml TIMEOUT 901.13 745.62 None goblint-regression/28-race_reach_70-funloop_racefree.yml TIMEOUT 900.58 877.43 None goblint-regression/28-race_reach_71-funloop_racing.yml TIMEOUT 900.60 878.62 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml TIMEOUT 900.57 879.90 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml TIMEOUT 900.71 865.99 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 644.78 560.27 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml OUT OF MEMORY 848.95 769.96 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 387.17 302.44 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml TIMEOUT 902.23 813.39 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 275.13 220.23 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 236.67 190.84 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 330.35 274.86 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 507.43 381.75 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 318.00 265.84 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 236.48 197.74 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 238.80 181.95 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 901.49 872.68 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 900.79 870.42 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 900.60 883.52 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 900.56 887.87 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 900.65 880.72 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 900.64 881.43 None goblint-regression/28-race_reach_94-alloc_region_racing.yml false(unreach-call) 22.42 14.06 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 9.85 5.70 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 8.97 5.63 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 9.34 5.72 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 8.65 5.38 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 30.57 16.73 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 15.61 8.73 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 8.80 5.32 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 7.96 4.94 None weaver/array-eq-symm.wvr.yml true 65.70 45.96 None weaver/array-eq-trans.wvr.yml TIMEOUT 900.72 860.60 None weaver/bench-exp1x3.wvr.yml TIMEOUT 900.37 888.77 None weaver/bench-exp2x3.wvr.yml TIMEOUT 900.35 889.45 None weaver/bench-exp2x4.wvr.yml TIMEOUT 900.58 879.59 None weaver/bench-exp2x6.wvr.yml TIMEOUT 900.73 882.38 None weaver/bench-exp2x9.wvr.yml TIMEOUT 900.44 880.14 None weaver/bench-exp3x3-opt.wvr.yml true 36.75 22.84 None weaver/bench-exp3x3.wvr.yml TIMEOUT 900.41 884.36 None weaver/chl-array-int-subst.wvr.yml TIMEOUT 900.36 849.24 None weaver/chl-array-int-symm.wvr.yml true 50.08 34.41 None weaver/chl-array-int-trans.wvr.yml TIMEOUT 900.76 857.24 None weaver/chl-chromosome-opt-symm.wvr.yml true 40.17 25.31 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 900.67 870.34 None weaver/chl-chromosome-symm.wvr.yml true 43.76 27.60 None weaver/chl-chromosome-trans.wvr.yml TIMEOUT 900.75 866.74 None weaver/chl-collitem-subst.wvr.yml true 15.56 9.17 None weaver/chl-collitem-symm.wvr.yml true 16.52 8.99 None weaver/chl-collitem-trans.wvr.yml true 14.88 8.44 None weaver/chl-exp-term-subst.wvr.yml true 19.91 10.74 None weaver/chl-exp-term-symm.wvr.yml true 10.70 6.42 None weaver/chl-file-item-subst.wvr.yml true 17.23 9.74 None weaver/chl-file-item-symm.wvr.yml true 17.22 9.23 None weaver/chl-file-item-trans.wvr.yml true 13.79 8.20 None weaver/chl-match-subst.wvr.yml true 18.64 10.08 None weaver/chl-match-symm.wvr.yml true 10.38 6.25 None weaver/chl-match-trans.wvr.yml true 18.25 9.76 None weaver/chl-name-comparator-subst.wvr.yml true 73.21 44.05 None weaver/chl-name-comparator-symm.wvr.yml true 44.87 29.88 None weaver/chl-name-comparator-trans.wvr.yml true 110.78 74.40 None weaver/chl-node-subst.wvr.yml TIMEOUT 900.29 871.95 None weaver/chl-node-symm.wvr.yml true 20.81 11.25 None weaver/chl-node-trans.wvr.yml true 24.41 13.14 None weaver/chl-nzb-file-subst.wvr.yml TIMEOUT 900.60 858.04 None weaver/chl-nzb-file-symm.wvr.yml true 149.61 101.40 None weaver/chl-nzb-file-trans.wvr.yml true 301.61 238.44 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 900.64 852.25 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 900.70 863.83 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 900.80 842.75 None weaver/chl-simpl-str-subst.wvr.yml true 11.39 6.77 None weaver/chl-simpl-str-symm.wvr.yml true 9.34 5.72 None weaver/chl-simpl-str-trans.wvr.yml true 10.21 6.21 None weaver/chl-sre-subst.wvr.yml true 11.77 6.94 None weaver/chl-sre-symm.wvr.yml true 9.30 5.41 None weaver/chl-sre-trans.wvr.yml true 9.57 6.06 None weaver/chl-time-subst.wvr.yml true 10.65 6.24 None weaver/chl-time-symm.wvr.yml true 9.44 5.76 None weaver/chl-time-trans.wvr.yml true 9.94 5.83 None weaver/chl-word-subst.wvr.yml TIMEOUT 900.62 875.09 None weaver/chl-word-symm.wvr.yml true 49.67 32.21 None weaver/chl-word-trans.wvr.yml TIMEOUT 900.86 864.54 None weaver/clever.wvr.yml TIMEOUT 901.30 862.34 None weaver/fibonacci.wvr.yml true 18.68 10.53 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 900.95 853.89 None weaver/mult-comm.wvr.yml TIMEOUT 900.41 884.69 None weaver/mult-dist.wvr.yml TIMEOUT 900.39 885.33 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 900.41 885.27 None weaver/parallel-bakery-2.wvr.yml true 13.97 8.38 None weaver/parallel-bakery-3.wvr.yml true 203.76 172.74 None weaver/parallel-bakery-4.wvr.yml TIMEOUT 900.84 810.32 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 27.39 14.94 None weaver/parallel-barrier.wvr.yml true 21.25 11.90 None weaver/parallel-bluetooth.wvr.yml true 14.29 8.00 None weaver/parallel-lamport.wvr.yml true 24.79 14.54 None weaver/parallel-min-max-1.wvr.yml true 51.75 30.67 None weaver/parallel-misc-1.wvr.yml TIMEOUT 900.55 879.23 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 12.53 7.12 None weaver/parallel-misc-2-unrolled.wvr.yml true 13.30 7.37 None weaver/parallel-misc-2.wvr.yml TIMEOUT 900.48 876.45 None weaver/parallel-misc-3-extended.wvr.yml true 18.67 11.04 None weaver/parallel-misc-3.wvr.yml true 13.59 8.50 None weaver/parallel-misc-4.wvr.yml true 35.87 21.82 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 886.15 550.41 None weaver/parallel-parallel-sum-1-dsl.wvr.yml TIMEOUT 901.75 856.75 None weaver/parallel-parallel-sum-1.wvr.yml TIMEOUT 900.65 811.86 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 901.04 843.66 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT 900.98 866.57 None weaver/parallel-simple-equiv.wvr.yml true 8.79 5.49 None weaver/parallel-ticket-2.wvr.yml true 9.21 5.62 None weaver/parallel-ticket-3.wvr.yml true 13.64 7.95 None weaver/parallel-ticket-4.wvr.yml true 28.45 15.58 None weaver/parallel-ticket-5.wvr.yml true 64.25 41.92 None weaver/parallel-ticket-6.wvr.yml true 281.97 238.65 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 717.09 556.41 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 201.29 155.84 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 901.26 858.69 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 900.80 806.52 None weaver/popl20-bad-buffer-mult-alt3.wvr.yml TIMEOUT 901.46 851.16 None weaver/popl20-bad-commit-1.wvr-bad.yml true 130.43 87.41 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 597.38 527.26 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 38.71 26.58 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 900.76 873.78 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 900.50 873.62 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 901.18 851.88 None weaver/popl20-bad-ring-nondet.wvr.yml true 18.87 10.85 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 900.78 843.26 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 900.65 861.46 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 493.10 455.61 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 900.64 861.09 None weaver/popl20-commit-1.wvr.yml TIMEOUT 900.57 874.89 None weaver/popl20-commit-2.wvr.yml TIMEOUT 900.79 855.00 None weaver/popl20-counter-determinism.wvr.yml TIMEOUT 901.45 820.16 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 901.24 851.28 None weaver/popl20-difference-det.wvr.yml TIMEOUT 901.48 786.38 None weaver/popl20-figure1-alt.wvr.yml true 172.34 132.89 None weaver/popl20-figure1.wvr.yml TIMEOUT 900.74 825.08 None weaver/popl20-figure3.wvr.yml TIMEOUT 900.85 872.73 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 900.58 868.99 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 199.07 155.64 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 376.24 286.78 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 861.20 602.86 None weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 901.32 849.31 None weaver/popl20-more-array-sum-alt2.wvr.yml OUT OF MEMORY 552.70 490.89 None weaver/popl20-more-array-sum.wvr.yml TIMEOUT 900.63 860.72 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 900.68 872.40 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 901.11 829.36 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 900.54 862.17 None weaver/popl20-more-buffer-mult3.wvr.yml TIMEOUT 900.73 824.60 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 900.81 861.50 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 901.21 851.83 None weaver/popl20-more-buffer-series3.wvr.yml TIMEOUT 901.23 866.42 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 900.09 861.87 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 900.93 838.31 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.44 866.12 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.33 843.50 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 900.49 865.11 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 901.41 851.57 None weaver/popl20-more-min-le-max.wvr.yml true 12.50 7.97 None weaver/popl20-more-mts.wvr.yml TIMEOUT 900.66 869.26 None weaver/popl20-more-multiply-verify.wvr.yml true 113.96 98.20 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 900.55 872.49 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 901.24 848.65 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 900.84 875.64 None weaver/popl20-more-sorted.wvr.yml TIMEOUT 900.67 829.61 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 900.63 876.24 None weaver/popl20-more-vector-add.wvr.yml TIMEOUT 901.37 850.02 None weaver/popl20-mult-4.wvr.yml TIMEOUT 900.45 885.17 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 900.53 879.64 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 31.17 21.35 None weaver/popl20-nonblocking-cntr.wvr.yml true 844.73 783.46 None weaver/popl20-prod-cons-eq.wvr.yml true 617.73 545.43 None weaver/popl20-prod-cons.wvr.yml true 145.39 121.23 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 900.62 858.15 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 901.36 829.28 None weaver/popl20-queue-add-2.wvr.yml OUT OF MEMORY 893.04 740.19 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 901.13 840.54 None weaver/popl20-send-receive-alt.wvr.yml TIMEOUT 900.67 853.37 None weaver/popl20-send-receive.wvr.yml TIMEOUT 900.66 853.36 None weaver/popl20-simple-array-sum.wvr.yml true 32.53 17.87 None weaver/popl20-simple-queue.wvr.yml true 28.34 16.04 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 900.60 856.03 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 900.50 869.93 None weaver/popl20-three-array-min.wvr.yml TIMEOUT 900.83 859.98 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 900.84 866.18 None weaver/popl20-two-queue.wvr.yml TIMEOUT 900.81 851.50 None weaver/security.wvr.yml true 8.99 5.59 None weaver/spaghetti.wvr.yml true 16.11 9.37 None weaver/test-context1.wvr.yml true 19.74 12.13 None weaver/test-easy1.wvr.yml true 8.82 5.42 None weaver/test-easy10.wvr.yml true 16.37 9.18 None weaver/test-easy11.wvr.yml true 12.83 7.84 None weaver/test-easy6.wvr.yml true 11.58 6.78 None weaver/test-easy7.wvr.yml true 8.32 5.32 None weaver/test-easy8.wvr.yml true 8.43 5.18 None weaver/test-hard1.wvr.yml TIMEOUT 901.21 859.41 None weaver/test-semi1.wvr.yml true 8.17 5.23 None weaver/unroll-2.wvr.yml TIMEOUT 900.65 862.51 None weaver/unroll-3.wvr.yml TIMEOUT 900.73 856.78 None weaver/unroll-4.wvr.yml TIMEOUT 900.85 868.49 None weaver/unroll-5.wvr.yml TIMEOUT 900.62 868.59 None weaver/unroll-cond-2.wvr.yml TIMEOUT 900.52 885.78 None weaver/unroll-cond-3.wvr.yml TIMEOUT 900.51 878.77 None weaver/unroll-cond-4.wvr.yml TIMEOUT 900.72 883.82 None weaver/unroll-cond-5.wvr.yml TIMEOUT 900.58 868.38 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 24.32 13.31 None pthread-deagle/arithmetic_prog_ok.yml true 31.51 18.29 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 31.29 17.69 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 900.84 868.85 None pthread-race-challenges/thread-local-pthread-value.yml unknown 12.26 8.20 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 12.29 8.04 None pthread-race-challenges/thread-local-value.yml unknown 12.52 7.98 None libvsync/arraylock.yml unknown 16.17 10.14 None libvsync/bounded_mpmc_check_full.yml TIMEOUT 901.23 846.77 None libvsync/cnalock.yml OUT OF MEMORY 272.88 228.12 None libvsync/hclhlock.yml TIMEOUT 900.77 856.68 None libvsync/hmcslock.yml ERROR (7) 28.11 16.13 None libvsync/mcslock.yml OUT OF MEMORY 217.96 172.55 None libvsync/rec_mcslock.yml OUT OF MEMORY 341.00 266.66 None libvsync/rec_ticketlock.yml OUT OF MEMORY 235.34 179.32 None libvsync/rwlock.yml OUT OF MEMORY 248.66 189.72 None libvsync/semaphore.yml OUT OF MEMORY 364.79 295.94 None libvsync/ticketlock.yml OUT OF MEMORY 131.97 94.38 None libvsync/ttaslock.yml OUT OF MEMORY 526.00 445.18 None pthread-theta/exponential-4.yml true 256.63 211.21 None pthread-theta/exponential-64.yml TIMEOUT 900.60 881.86 None pthread-theta/exponential-nondet.yml TIMEOUT 900.51 879.32 None pthread-theta/unwind1-1.yml false(unreach-call) 10.15 6.11 None pthread-theta/unwind1-100.yml false(unreach-call) 115.27 96.20 None pthread-theta/unwind1-nondet.yml false(unreach-call) 9.94 6.23 None pthread-theta/unwind2-1.yml false(unreach-call) 13.57 8.65 None pthread-theta/unwind2-100.yml false(unreach-call) 79.50 53.74 None pthread-theta/unwind2-nondet.yml false(unreach-call) 26.94 18.08 None pthread-theta/unwind3-1.yml false(unreach-call) 10.13 6.43 None pthread-theta/unwind3-100.yml OUT OF MEMORY 867.92 799.23 None pthread-theta/unwind3-nondet.yml false(unreach-call) 8.01 4.97 None pthread-theta/wsc.yml true 19.13 10.15 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 3 done 202901.57 26632.60 - CE-SufficientWithContext.SVCOMP-ConcurrencySafety Run set 4 of 7: skipped CE-NecessaryAndSufficient.SVCOMP-ConcurrencySafety Run set 5 of 7 with options '--traceabstraction.use.conditional.por.in.concurrent.analysis true --traceabstraction.commutativity.condition.synthesis NECESSARY_AND_SUFFICIENT' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 17.98 10.79 None pthread/bigshot_s2.yml true 22.32 16.64 None pthread/butterfly.yml OUT OF MEMORY 176.17 132.44 None pthread/fib_safe-10.yml TIMEOUT 901.17 837.17 None pthread/fib_safe-11.yml TIMEOUT 900.75 807.32 None pthread/fib_safe-12.yml TIMEOUT 900.76 864.88 None pthread/fib_safe-5.yml TIMEOUT 900.53 824.72 None pthread/fib_safe-6.yml TIMEOUT 900.93 802.89 None pthread/fib_safe-7.yml TIMEOUT 900.97 862.60 None pthread/fib_unsafe-10.yml false(unreach-call) 14.81 9.31 None pthread/fib_unsafe-11.yml false(unreach-call) 18.68 11.65 None pthread/fib_unsafe-12.yml false(unreach-call) 18.89 11.34 None pthread/fib_unsafe-5.yml false(unreach-call) 13.35 8.45 None pthread/fib_unsafe-6.yml false(unreach-call) 13.56 8.89 None pthread/fib_unsafe-7.yml false(unreach-call) 14.21 8.93 None pthread/lazy01.yml false(unreach-call) 8.25 5.19 None pthread/queue.yml TIMEOUT 900.63 875.52 None pthread/queue_longer.yml TIMEOUT 901.00 849.51 None pthread/queue_longest.yml TIMEOUT 901.11 841.88 None pthread/queue_ok.yml TIMEOUT 901.54 869.59 None pthread/queue_ok_longer.yml TIMEOUT 900.76 878.77 None pthread/queue_ok_longest.yml TIMEOUT 901.27 873.92 None pthread/reorder_2.yml unknown 19.95 13.00 None pthread/reorder_5.yml unknown 19.80 13.17 None pthread/singleton.yml false(unreach-call) 10.04 6.25 None pthread/singleton_with-uninit-problems.yml true 12.38 7.23 None pthread/stack-1.yml true 79.55 57.13 None pthread/stack-2.yml false(unreach-call) 37.11 21.50 None pthread/stack_longer-1.yml TIMEOUT 900.60 871.93 None pthread/stack_longer-2.yml TIMEOUT 900.60 871.00 None pthread/stack_longest-1.yml TIMEOUT 900.93 851.72 None pthread/stack_longest-2.yml TIMEOUT 901.17 837.35 None pthread/stateful01-1.yml false(unreach-call) 8.07 4.76 None pthread/stateful01-2.yml true 9.75 5.84 None pthread/sync01.yml true 13.06 7.48 None pthread/triangular-1.yml true 18.94 11.66 None pthread/triangular-2.yml false(unreach-call) 12.87 7.98 None pthread/triangular-longer-1.yml true 31.98 18.91 None pthread/triangular-longer-2.yml false(unreach-call) 14.81 8.80 None pthread/triangular-longest-1.yml true 40.71 26.53 None pthread/triangular-longest-2.yml false(unreach-call) 21.31 13.13 None pthread/twostage_3.yml unknown 76.74 47.55 None pthread-atomic/dekker-unfair.yml true 11.07 6.46 None pthread-atomic/dekker.yml true 10.78 6.48 None pthread-atomic/lamport.yml true 11.51 6.65 None pthread-atomic/peterson.yml true 10.36 6.62 None pthread-atomic/read_write_lock-1.yml true 11.13 6.56 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 14.09 8.34 None pthread-atomic/szymanski.yml true 11.62 6.60 None pthread-atomic/time_var_mutex.yml true 10.22 6.15 None pthread-ext/01b_inc.yml OUT OF MEMORY 870.64 790.24 None pthread-ext/02_inc_cas.yml TIMEOUT 900.94 840.12 None pthread-ext/03_incdec.yml OUT OF MEMORY 450.96 348.35 None pthread-ext/04_incdec_cas.yml TIMEOUT 900.88 855.31 None pthread-ext/08_rand_cas.yml OUT OF MEMORY 454.69 377.74 None pthread-ext/09_fmaxsym-zero.yml OUT OF MEMORY 337.18 284.58 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 304.76 260.07 None pthread-ext/11_fmaxsymopt-zero.yml OUT OF MEMORY 332.77 280.06 None pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 293.56 238.90 None pthread-ext/14_spin2003.yml OUT OF MEMORY 239.47 194.09 None pthread-ext/18_read_write_lock.yml true 8.95 5.37 None pthread-ext/25_stack.yml OUT OF MEMORY 207.63 159.44 None pthread-ext/25_stack_longer-1.yml TIMEOUT 900.61 892.33 None pthread-ext/25_stack_longer-2.yml TIMEOUT 900.58 891.36 None pthread-ext/25_stack_longest-1.yml TIMEOUT 901.31 868.24 None pthread-ext/25_stack_longest-2.yml TIMEOUT 901.08 875.32 None pthread-ext/26_stack_cas.yml TIMEOUT 901.56 842.90 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 900.72 886.49 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 900.67 891.46 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 900.77 883.87 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 900.76 883.52 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 7.88 5.01 None pthread-ext/29_conditionals_vs.yml OUT OF MEMORY 289.72 213.96 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 514.92 460.90 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 405.41 354.25 None pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 900.99 844.11 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 460.45 344.30 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 270.87 215.41 None pthread-ext/40_barrier_vf.yml false(unreach-call) 16.84 9.24 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml OUT OF MEMORY 509.01 336.33 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml OUT OF MEMORY 556.77 373.79 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 239.97 188.17 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 280.85 240.30 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml OUT OF MEMORY 210.31 160.78 None pthread-ext/48_ticket_lock_low_contention_vs.yml ERROR (7) 13.61 9.06 None pthread-wmm/mix000.oepc.yml false(unreach-call) 45.88 33.02 None pthread-wmm/mix000.opt.yml false(unreach-call) 37.32 26.38 None pthread-wmm/mix001.oepc.yml false(unreach-call) 70.79 57.17 None pthread-wmm/mix001.opt.yml false(unreach-call) 60.03 45.03 None pthread-wmm/mix002.oepc.yml false(unreach-call) 46.39 34.02 None pthread-wmm/mix002.opt.yml false(unreach-call) 79.01 55.92 None pthread-wmm/mix003.oepc.yml false(unreach-call) 73.82 57.43 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 67.74 52.92 None pthread-wmm/mix004.oepc.yml false(unreach-call) 115.63 97.06 None pthread-wmm/mix004.opt.yml false(unreach-call) 66.42 51.64 None pthread-wmm/mix005.opt.yml false(unreach-call) 50.87 36.25 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 86.10 60.20 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 66.07 47.75 None pthread-wmm/mix006.opt.yml false(unreach-call) 70.18 54.82 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 77.99 61.53 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 247.87 228.28 None pthread-wmm/mix007.oepc.yml false(unreach-call) 89.65 64.01 None pthread-wmm/mix007.opt.yml false(unreach-call) 75.07 55.91 None pthread-wmm/mix008.opt.yml false(unreach-call) 67.45 51.90 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 82.28 58.57 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 280.53 251.43 None pthread-wmm/mix009.oepc.yml false(unreach-call) 40.10 28.26 None pthread-wmm/mix009.opt.yml false(unreach-call) 49.52 38.39 None pthread-wmm/mix010.oepc.yml false(unreach-call) 48.16 34.24 None pthread-wmm/mix010.opt.yml false(unreach-call) 88.80 64.88 None pthread-wmm/mix011.opt.yml false(unreach-call) 66.60 52.11 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 59.20 40.86 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 44.02 29.70 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 34.26 24.29 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 48.81 32.88 None pthread-wmm/mix013.oepc.yml false(unreach-call) 66.73 49.32 None pthread-wmm/mix013.opt.yml false(unreach-call) 63.13 48.02 None pthread-wmm/mix014.opt.yml false(unreach-call) 69.91 52.13 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 92.56 66.21 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 361.11 314.84 None pthread-wmm/mix015.oepc.yml false(unreach-call) 44.66 31.71 None pthread-wmm/mix015.opt.yml false(unreach-call) 72.88 58.43 None pthread-wmm/mix016.oepc.yml false(unreach-call) 52.21 37.96 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 54.69 37.40 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 65.71 49.97 None pthread-wmm/mix017.oepc.yml false(unreach-call) 71.01 55.68 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 111.59 91.54 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 65.43 50.27 None pthread-wmm/mix018.opt.yml false(unreach-call) 79.36 55.20 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 65.97 48.70 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 64.67 48.54 None pthread-wmm/mix019.opt.yml false(unreach-call) 56.00 41.28 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 45.06 33.24 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 50.04 32.40 None pthread-wmm/mix020.oepc.yml false(unreach-call) 97.17 76.69 None pthread-wmm/mix020.opt.yml false(unreach-call) 56.59 40.66 None pthread-wmm/mix021.opt.yml false(unreach-call) 60.14 44.50 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 133.76 114.33 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 122.86 104.59 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 46.64 29.51 None pthread-wmm/mix022_tso.yml false(unreach-call) 31.60 20.24 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 74.47 56.42 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 139.88 109.80 None pthread-wmm/mix023_tso.yml false(unreach-call) 305.88 282.81 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 44.15 31.19 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 42.52 30.24 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 47.51 33.28 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 41.10 29.76 None pthread-wmm/mix026.oepc.yml false(unreach-call) 72.17 55.84 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 58.76 45.42 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 102.74 84.34 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 124.11 107.17 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 112.34 85.91 None pthread-wmm/mix027_tso.yml false(unreach-call) 97.83 73.38 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 45.99 33.70 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 38.62 26.58 None pthread-wmm/mix028_tso.yml false(unreach-call) 64.82 49.70 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 124.92 105.35 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 120.42 97.92 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 85.44 61.00 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 148.30 115.53 None pthread-wmm/mix030_tso.yml false(unreach-call) 52.14 37.44 None pthread-wmm/mix031.oepc.yml false(unreach-call) 32.22 20.76 None pthread-wmm/mix031.opt.yml false(unreach-call) 29.47 19.37 None pthread-wmm/mix032.oepc.yml false(unreach-call) 50.80 37.63 None pthread-wmm/mix032.opt.yml false(unreach-call) 62.81 42.62 None pthread-wmm/mix033.opt.yml false(unreach-call) 45.14 32.40 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 89.84 73.24 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 43.28 30.32 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 34.56 24.38 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 29.63 19.73 None pthread-wmm/mix035.oepc.yml false(unreach-call) 65.71 45.29 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 41.20 30.96 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 45.10 32.65 None pthread-wmm/mix036.oepc.yml false(unreach-call) 65.31 49.30 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 113.57 92.85 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 55.92 36.03 None pthread-wmm/mix037.opt.yml false(unreach-call) 42.99 29.64 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 83.08 57.96 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 48.30 34.46 None pthread-wmm/mix038.opt.yml false(unreach-call) 54.79 42.80 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 55.55 36.98 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 38.00 26.88 None pthread-wmm/mix039.oepc.yml false(unreach-call) 60.82 44.55 None pthread-wmm/mix039.opt.yml false(unreach-call) 44.06 29.39 None pthread-wmm/mix040.opt.yml false(unreach-call) 60.29 45.14 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 77.11 53.15 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 129.16 109.38 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 45.97 29.73 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 27.34 16.76 None pthread-wmm/mix042.oepc.yml false(unreach-call) 43.89 30.78 None pthread-wmm/mix042.opt.yml false(unreach-call) 55.02 41.21 None pthread-wmm/mix043.oepc.yml false(unreach-call) 127.90 104.94 None pthread-wmm/mix043.opt.yml false(unreach-call) 53.87 31.90 None pthread-wmm/mix044.opt.yml false(unreach-call) 42.19 26.83 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 63.58 45.95 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 78.72 55.35 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 44.38 31.63 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 62.19 49.77 None pthread-wmm/mix046.oepc.yml false(unreach-call) 126.30 95.02 None pthread-wmm/mix046.opt.yml false(unreach-call) 38.33 23.63 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 110.52 90.07 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 93.04 66.49 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) 35.28 24.66 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) 58.19 43.03 None pthread-wmm/mix050.yml false(unreach-call) 62.93 47.84 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 120.80 101.16 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 47.71 32.16 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 51.36 35.99 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 64.35 44.28 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 54.81 42.09 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 39.28 26.80 None pthread-wmm/mix053.opt.yml false(unreach-call) 52.98 34.24 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 61.06 44.77 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 116.50 95.76 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 32.37 21.86 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.12 16.26 None pthread-wmm/mix055.opt.yml false(unreach-call) 53.61 30.76 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 81.86 57.46 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 52.31 37.91 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 49.00 37.24 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 55.08 40.48 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 71.03 56.52 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 57.63 34.09 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 47.97 35.32 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 29.67 19.08 None pthread-wmm/rfi000_tso.yml true 121.40 94.73 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 32.03 21.13 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 38.46 22.94 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 441.24 420.75 None pthread-wmm/rfi002_tso.yml true 233.01 209.87 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 29.46 18.86 None pthread-wmm/rfi003_tso.yml true 105.59 88.33 None pthread-wmm/rfi004.yml false(unreach-call) 30.88 20.63 None pthread-wmm/rfi005.yml false(unreach-call) 17.05 9.14 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 145.23 118.22 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 158.78 137.23 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 52.34 38.66 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 76.08 61.58 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 42.59 26.54 None pthread-wmm/rfi007_tso.yml false(unreach-call) 44.03 31.99 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 62.98 44.59 None pthread-wmm/rfi008.opt.yml false(unreach-call) 38.55 26.42 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 162.14 144.62 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 60.15 42.32 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 94.36 71.67 None pthread-wmm/rfi010.yml false(unreach-call) 41.51 29.46 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 632.53 596.43 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 50.47 33.55 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.29 8.41 None pthread-wmm/safe000_rmo.yml false(unreach-call) 488.51 458.63 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 306.79 278.08 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 98.02 76.20 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 156.73 129.62 None pthread-wmm/safe001_tso.yml true 11.57 6.85 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 220.33 201.62 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 62.14 43.47 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 147.56 119.73 None pthread-wmm/safe002_tso.yml true 16.52 8.90 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 113.90 89.03 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 40.22 29.81 None pthread-wmm/safe003_tso.yml true 16.38 9.83 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 118.62 92.93 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 96.09 75.16 None pthread-wmm/safe004_tso.yml true 11.28 6.64 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 43.35 32.00 None pthread-wmm/safe005_tso.yml true 11.43 6.77 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 46.99 35.64 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 30.55 19.64 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 10.04 6.17 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 30.88 21.28 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 49.68 36.75 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 76.53 63.76 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.65 7.08 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 46.36 30.27 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 37.57 25.43 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 63.66 42.03 None pthread-wmm/safe008_tso.yml true 14.44 8.30 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 416.75 396.33 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 45.24 33.51 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.59 9.16 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 308.57 275.00 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 41.56 25.32 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 24.58 15.40 None pthread-wmm/safe010_tso.yml true 11.34 6.79 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 111.43 92.29 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 126.57 111.48 None pthread-wmm/safe011_tso.yml true 16.03 8.56 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 74.64 54.50 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 70.84 56.57 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 54.35 36.91 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 39.90 27.80 None pthread-wmm/safe012_tso.yml true 11.63 6.99 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 56.76 37.99 None pthread-wmm/safe013_tso.yml true 11.43 6.46 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 57.46 44.13 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 70.88 56.11 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.56 7.92 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 34.12 22.45 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 161.51 131.33 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 135.59 113.94 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 218.07 191.72 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.48 7.44 None pthread-wmm/safe015_rmo.yml false(unreach-call) 107.71 90.40 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 204.85 181.93 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 182.65 152.96 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.71 8.68 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 113.05 92.88 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 135.86 118.38 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 47.09 29.75 None pthread-wmm/safe017_tso.yml true 15.72 8.75 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 58.43 40.07 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 146.71 122.88 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.68 7.12 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 39.33 26.88 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 69.02 53.77 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 204.03 172.08 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 188.54 164.75 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.65 8.76 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 133.05 115.96 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 96.42 77.98 None pthread-wmm/safe020_power.yml false(unreach-call) 161.88 132.54 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.34 6.45 None pthread-wmm/safe020_rmo.yml false(unreach-call) 67.29 52.33 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 48.83 35.37 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 35.63 23.30 None pthread-wmm/safe021_tso.yml true 11.13 6.56 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 39.80 28.18 None pthread-wmm/safe022_tso.yml true 9.81 5.54 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 254.06 227.09 None pthread-wmm/safe023_tso.yml true 11.78 6.92 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 42.59 30.86 None pthread-wmm/safe024_tso.yml true 11.44 6.82 None pthread-wmm/safe025_power.yml false(unreach-call) 360.65 339.16 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.78 7.28 None pthread-wmm/safe025_rmo.yml false(unreach-call) 85.42 69.15 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 51.91 39.47 None pthread-wmm/safe026_tso.yml true 15.83 8.64 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 110.27 84.29 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 210.64 181.12 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 21.51 11.48 None pthread-wmm/safe027_rmo.yml false(unreach-call) 89.09 63.55 None pthread-wmm/safe028_power.yml false(unreach-call) 171.70 150.84 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.25 6.81 None pthread-wmm/safe028_rmo.yml false(unreach-call) 62.93 48.47 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 33.55 19.33 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 59.53 42.89 None pthread-wmm/safe029_tso.yml true 12.38 6.91 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 406.65 360.58 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 68.79 52.61 None pthread-wmm/safe030_tso.yml true 13.66 7.54 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 60.66 43.44 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 60.51 45.96 None pthread-wmm/safe031_tso.yml true 13.93 7.91 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 304.39 280.25 None pthread-wmm/safe032_tso.yml true 12.22 6.83 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 39.86 24.87 None pthread-wmm/safe033_tso.yml true 10.08 5.86 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 50.54 37.43 None pthread-wmm/safe034_tso.yml true 12.10 7.14 None pthread-wmm/safe035_power.yml TIMEOUT 902.01 865.72 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 15.90 8.88 None pthread-wmm/safe036.yml true 9.64 5.66 None pthread-wmm/safe037.yml true 11.83 6.93 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 61.76 42.53 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 76.85 60.57 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.72 11.38 None pthread-wmm/thin002_rmo.yml false(unreach-call) 34.00 21.98 None pthread-lit/qw2004-2b.yml false(unreach-call) 12.00 6.70 None pthread-lit/sssc12.yml TIMEOUT 901.93 656.18 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 862.48 648.73 None ldv-races/race-1_1-join.yml true 9.14 5.67 None ldv-races/race-1_2-join.yml false(unreach-call) 9.36 5.72 None ldv-races/race-1_3-join.yml false(unreach-call) 9.83 5.92 None ldv-races/race-2_1-container_of.yml true 33.35 20.15 None ldv-races/race-2_2-container_of.yml false(unreach-call) 23.86 13.37 None ldv-races/race-2_3-container_of.yml false(unreach-call) 12.21 7.06 None ldv-races/race-2_4-container_of.yml false(unreach-call) 12.78 7.76 None ldv-races/race-2_5-container_of.yml false(unreach-call) 12.68 7.17 None ldv-races/race-3_1-container_of-global.yml true 31.79 19.53 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 24.20 13.16 None ldv-races/race-4_1-thread_local_vars.yml true 15.15 8.59 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR (7) 350.12 275.83 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR (7) 336.48 258.76 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml TIMEOUT 900.92 866.23 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 901.07 832.58 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT 900.83 863.55 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 900.73 871.17 None pthread-complex/bounded_buffer.yml TIMEOUT 900.89 877.00 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.88 851.45 None pthread-complex/safestack_relacy.yml OUT OF MEMORY 264.16 212.05 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 900.73 862.89 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 25.56 14.83 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 24.98 15.06 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml false(unreach-call) 88.28 61.70 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 40.36 22.73 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT 900.72 863.73 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 28.14 16.08 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml OUT OF MEMORY 375.39 254.34 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 21.70 12.48 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 17.26 9.99 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml true 24.88 14.49 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 21.03 12.00 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 900.51 879.82 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml true 23.03 13.02 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml true 28.95 16.18 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 20.80 11.86 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 24.47 13.82 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 18.49 10.63 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml true 25.53 14.47 None pthread-C-DAC/pthread-demo-datarace-1.yml true 33.60 20.61 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 16.10 10.00 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 11.86 7.22 None pthread-C-DAC/pthread-numerical-integration.yml unknown 12.22 7.49 None pthread-divine/tls_basic.yml unknown 11.42 6.98 None pthread-divine/tls_destructor_worker.yml unknown 11.33 7.06 None goblint-regression/13-privatized_01-priv_nr_true.yml true 10.62 6.45 None goblint-regression/13-privatized_04-priv_multi_true.yml true 34.72 19.19 None goblint-regression/13-privatized_18-first-reads_true.yml true 8.18 5.18 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 7.67 4.56 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 7.61 4.50 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 8.36 5.35 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 7.53 4.83 None goblint-regression/13-privatized_19-publish-precision_true.yml true 8.78 5.05 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 8.47 5.47 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 8.81 5.15 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 9.12 5.50 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 8.17 5.07 None goblint-regression/13-privatized_20-publish-regression_true.yml true 10.70 6.36 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 15.28 8.70 None goblint-regression/13-privatized_25-struct_nr_true.yml true 10.59 6.21 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 17.76 10.17 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 12.23 6.88 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 9.91 5.69 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 11.02 6.88 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 12.85 7.22 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.58 6.99 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 12.68 7.23 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 10.73 6.46 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 9.69 5.74 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 9.85 6.23 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 9.60 5.84 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 10.12 6.21 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 9.28 5.47 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 8.90 5.46 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 9.60 5.49 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 9.68 6.04 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 10.23 5.86 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 8.28 5.43 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 8.15 4.77 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 7.96 4.67 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 8.38 5.43 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 7.82 4.59 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 7.79 4.77 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 12.48 7.68 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 10.21 6.10 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 11.43 6.45 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 42.50 24.26 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 10.16 6.50 None goblint-regression/28-race_reach_01-simple_racing.yml TIMEOUT 901.65 758.31 None goblint-regression/28-race_reach_02-simple_racefree.yml TIMEOUT 901.57 735.89 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 250.63 202.75 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 273.58 222.33 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml TIMEOUT 901.65 826.33 None goblint-regression/28-race_reach_06-cond_racing1.yml TIMEOUT 902.70 791.45 None goblint-regression/28-race_reach_07-cond_racing2.yml TIMEOUT 902.55 762.83 None goblint-regression/28-race_reach_08-cond_racefree.yml TIMEOUT 901.51 742.02 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 257.51 208.97 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 226.73 169.88 None goblint-regression/28-race_reach_11-ptr_racing.yml TIMEOUT 901.52 756.86 None goblint-regression/28-race_reach_12-ptr_racefree.yml TIMEOUT 901.69 792.80 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 225.93 171.32 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 323.32 271.13 None goblint-regression/28-race_reach_21-deref_read_racing.yml TIMEOUT 901.27 793.47 None goblint-regression/28-race_reach_22-deref_read_racefree.yml TIMEOUT 901.47 743.26 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 12.20 7.36 None goblint-regression/28-race_reach_24-sound_lock_racing.yml TIMEOUT 902.21 759.51 None goblint-regression/28-race_reach_27-funptr_racing.yml TIMEOUT 901.47 737.23 None goblint-regression/28-race_reach_28-funptr_racefree.yml TIMEOUT 900.68 792.44 None goblint-regression/28-race_reach_36-indirect_racefree.yml TIMEOUT 901.12 761.91 None goblint-regression/28-race_reach_37-indirect_racing.yml TIMEOUT 901.66 788.72 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 14.91 8.60 None goblint-regression/28-race_reach_41-trylock_racefree.yml TIMEOUT 901.46 761.76 None goblint-regression/28-race_reach_42-trylock2_racefree.yml TIMEOUT 900.95 764.74 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 10.49 6.22 None goblint-regression/28-race_reach_46-escape_racefree.yml true 12.26 7.01 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml TIMEOUT 901.66 741.78 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 292.09 228.79 None goblint-regression/28-race_reach_61-invariant_racing.yml TIMEOUT 900.63 790.05 None goblint-regression/28-race_reach_70-funloop_racefree.yml TIMEOUT 900.67 857.52 None goblint-regression/28-race_reach_71-funloop_racing.yml TIMEOUT 900.58 877.52 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml TIMEOUT 900.59 878.32 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml TIMEOUT 900.61 877.30 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 500.51 412.70 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml TIMEOUT 902.51 808.74 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 536.89 462.46 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 758.73 645.81 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 205.92 152.17 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 249.73 198.74 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 326.59 251.03 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 318.92 270.29 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 317.90 264.62 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 359.56 299.23 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 369.96 284.54 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 901.51 871.99 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 901.36 874.76 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 900.68 884.03 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 900.57 888.02 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 900.63 879.67 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 900.63 887.03 None goblint-regression/28-race_reach_94-alloc_region_racing.yml false(unreach-call) 24.92 13.82 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 11.25 6.28 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 9.75 5.52 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 10.69 6.11 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 10.17 5.79 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 37.12 19.31 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 17.75 9.58 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 9.22 5.55 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 9.57 5.54 None weaver/array-eq-symm.wvr.yml true 76.20 51.41 None weaver/array-eq-trans.wvr.yml TIMEOUT 900.83 846.25 None weaver/bench-exp1x3.wvr.yml TIMEOUT 900.37 889.40 None weaver/bench-exp2x3.wvr.yml TIMEOUT 900.54 887.75 None weaver/bench-exp2x4.wvr.yml TIMEOUT 900.53 884.07 None weaver/bench-exp2x6.wvr.yml TIMEOUT 900.66 881.08 None weaver/bench-exp2x9.wvr.yml TIMEOUT 900.43 880.20 None weaver/bench-exp3x3-opt.wvr.yml true 30.94 20.52 None weaver/bench-exp3x3.wvr.yml TIMEOUT 900.36 890.19 None weaver/chl-array-int-subst.wvr.yml TIMEOUT 901.71 835.79 None weaver/chl-array-int-symm.wvr.yml true 50.39 34.30 None weaver/chl-array-int-trans.wvr.yml TIMEOUT 900.79 860.18 None weaver/chl-chromosome-opt-symm.wvr.yml true 41.29 24.42 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 900.65 867.83 None weaver/chl-chromosome-symm.wvr.yml true 41.18 26.30 None weaver/chl-chromosome-trans.wvr.yml TIMEOUT 900.66 865.63 None weaver/chl-collitem-subst.wvr.yml true 15.07 8.63 None weaver/chl-collitem-symm.wvr.yml true 11.77 6.58 None weaver/chl-collitem-trans.wvr.yml true 19.51 10.45 None weaver/chl-exp-term-subst.wvr.yml true 14.10 7.83 None weaver/chl-exp-term-symm.wvr.yml true 14.45 7.88 None weaver/chl-file-item-subst.wvr.yml true 16.38 9.23 None weaver/chl-file-item-symm.wvr.yml true 16.43 8.93 None weaver/chl-file-item-trans.wvr.yml true 12.68 7.35 None weaver/chl-match-subst.wvr.yml true 18.27 9.75 None weaver/chl-match-symm.wvr.yml true 10.28 6.22 None weaver/chl-match-trans.wvr.yml true 13.50 7.86 None weaver/chl-name-comparator-subst.wvr.yml true 73.30 44.21 None weaver/chl-name-comparator-symm.wvr.yml true 42.29 27.02 None weaver/chl-name-comparator-trans.wvr.yml true 90.19 66.30 None weaver/chl-node-subst.wvr.yml TIMEOUT 900.86 864.63 None weaver/chl-node-symm.wvr.yml true 20.33 11.27 None weaver/chl-node-trans.wvr.yml true 24.17 13.01 None weaver/chl-nzb-file-subst.wvr.yml TIMEOUT 900.60 856.70 None weaver/chl-nzb-file-symm.wvr.yml true 121.97 91.49 None weaver/chl-nzb-file-trans.wvr.yml ERROR (7) 870.02 789.22 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 900.67 856.12 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 900.61 875.75 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 900.87 843.34 None weaver/chl-simpl-str-subst.wvr.yml true 11.30 6.96 None weaver/chl-simpl-str-symm.wvr.yml true 9.68 6.19 None weaver/chl-simpl-str-trans.wvr.yml true 10.48 6.50 None weaver/chl-sre-subst.wvr.yml true 11.26 6.74 None weaver/chl-sre-symm.wvr.yml true 9.30 5.86 None weaver/chl-sre-trans.wvr.yml true 9.58 5.96 None weaver/chl-time-subst.wvr.yml true 10.72 6.53 None weaver/chl-time-symm.wvr.yml true 9.02 5.90 None weaver/chl-time-trans.wvr.yml true 10.26 6.29 None weaver/chl-word-subst.wvr.yml TIMEOUT 900.60 876.19 None weaver/chl-word-symm.wvr.yml true 64.79 39.96 None weaver/chl-word-trans.wvr.yml TIMEOUT 900.81 862.98 None weaver/clever.wvr.yml TIMEOUT 901.51 791.35 None weaver/fibonacci.wvr.yml true 18.26 10.69 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 900.90 853.31 None weaver/mult-comm.wvr.yml TIMEOUT 900.38 886.75 None weaver/mult-dist.wvr.yml TIMEOUT 900.37 889.85 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 900.65 882.51 None weaver/parallel-bakery-2.wvr.yml true 18.69 10.03 None weaver/parallel-bakery-3.wvr.yml true 204.09 175.59 None weaver/parallel-bakery-4.wvr.yml TIMEOUT 901.18 785.34 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 28.73 15.66 None weaver/parallel-barrier.wvr.yml true 21.66 11.87 None weaver/parallel-bluetooth.wvr.yml true 11.06 6.31 None weaver/parallel-lamport.wvr.yml true 33.42 17.97 None weaver/parallel-min-max-1.wvr.yml true 41.12 25.23 None weaver/parallel-misc-1.wvr.yml TIMEOUT 900.60 869.00 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 9.75 6.11 None weaver/parallel-misc-2-unrolled.wvr.yml true 10.03 6.23 None weaver/parallel-misc-2.wvr.yml TIMEOUT 900.43 884.92 None weaver/parallel-misc-3-extended.wvr.yml true 18.46 10.90 None weaver/parallel-misc-3.wvr.yml true 13.99 8.63 None weaver/parallel-misc-4.wvr.yml true 35.14 21.32 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 132.12 96.85 None weaver/parallel-parallel-sum-1-dsl.wvr.yml TIMEOUT 900.91 864.57 None weaver/parallel-parallel-sum-1.wvr.yml TIMEOUT 900.90 864.47 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 901.06 845.00 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT 901.14 824.08 None weaver/parallel-simple-equiv.wvr.yml true 11.51 6.42 None weaver/parallel-ticket-2.wvr.yml true 11.71 6.55 None weaver/parallel-ticket-3.wvr.yml true 18.48 9.83 None weaver/parallel-ticket-4.wvr.yml true 38.43 20.06 None weaver/parallel-ticket-5.wvr.yml true 84.28 51.73 None weaver/parallel-ticket-6.wvr.yml true 339.15 273.45 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 230.12 176.23 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 227.41 187.02 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 901.13 858.74 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 901.20 791.09 None weaver/popl20-bad-buffer-mult-alt3.wvr.yml TIMEOUT 901.53 823.05 None weaver/popl20-bad-commit-1.wvr-bad.yml true 80.00 54.71 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 299.91 231.99 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 39.07 26.09 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 900.70 872.64 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 900.49 876.06 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 901.18 833.89 None weaver/popl20-bad-ring-nondet.wvr.yml true 14.98 8.92 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 900.68 859.45 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 900.55 877.72 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 606.19 546.16 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 900.75 845.67 None weaver/popl20-commit-1.wvr.yml TIMEOUT 900.60 872.36 None weaver/popl20-commit-2.wvr.yml TIMEOUT 900.86 856.28 None weaver/popl20-counter-determinism.wvr.yml TIMEOUT 900.54 819.75 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 900.88 839.62 None weaver/popl20-difference-det.wvr.yml TIMEOUT 901.26 791.47 None weaver/popl20-figure1-alt.wvr.yml true 142.37 122.84 None weaver/popl20-figure1.wvr.yml TIMEOUT 900.87 795.32 None weaver/popl20-figure3.wvr.yml TIMEOUT 900.62 885.43 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 900.53 873.79 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 181.30 140.17 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 464.18 366.63 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 193.50 149.99 None weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 900.90 828.03 None weaver/popl20-more-array-sum-alt2.wvr.yml OUT OF MEMORY 796.26 755.02 None weaver/popl20-more-array-sum.wvr.yml TIMEOUT 900.59 854.66 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 900.73 873.15 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 901.00 836.98 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 900.55 860.00 None weaver/popl20-more-buffer-mult3.wvr.yml TIMEOUT 900.68 848.53 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 901.06 859.40 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 901.52 826.15 None weaver/popl20-more-buffer-series3.wvr.yml TIMEOUT 901.19 852.81 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 900.46 864.22 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 900.87 842.53 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.45 866.77 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.01 867.10 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 900.47 868.08 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 901.35 828.05 None weaver/popl20-more-min-le-max.wvr.yml true 11.02 6.39 None weaver/popl20-more-mts.wvr.yml TIMEOUT 900.72 861.13 None weaver/popl20-more-multiply-verify.wvr.yml true 110.90 93.02 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 900.48 880.63 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 901.22 846.66 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 900.84 876.34 None weaver/popl20-more-sorted.wvr.yml TIMEOUT 900.54 856.43 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 900.78 866.31 None weaver/popl20-more-vector-add.wvr.yml TIMEOUT 901.05 849.48 None weaver/popl20-mult-4.wvr.yml TIMEOUT 900.46 881.38 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 900.43 881.17 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 33.06 22.08 None weaver/popl20-nonblocking-cntr.wvr.yml true 849.77 791.10 None weaver/popl20-prod-cons-eq.wvr.yml true 750.83 709.98 None weaver/popl20-prod-cons.wvr.yml true 144.28 118.73 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 900.62 858.57 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 900.94 794.55 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 901.86 742.78 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 901.06 857.99 None weaver/popl20-send-receive-alt.wvr.yml TIMEOUT 900.74 843.46 None weaver/popl20-send-receive.wvr.yml TIMEOUT 900.71 836.79 None weaver/popl20-simple-array-sum.wvr.yml true 24.73 14.49 None weaver/popl20-simple-queue.wvr.yml true 20.33 12.34 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 900.44 874.16 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 900.50 864.43 None weaver/popl20-three-array-min.wvr.yml TIMEOUT 900.91 844.23 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 900.46 871.15 None weaver/popl20-two-queue.wvr.yml TIMEOUT 900.61 868.36 None weaver/security.wvr.yml true 9.04 5.35 None weaver/spaghetti.wvr.yml true 20.55 10.92 None weaver/test-context1.wvr.yml true 21.10 12.40 None weaver/test-easy1.wvr.yml true 11.25 6.53 None weaver/test-easy10.wvr.yml true 17.11 9.35 None weaver/test-easy11.wvr.yml true 16.05 9.23 None weaver/test-easy6.wvr.yml true 12.35 7.28 None weaver/test-easy7.wvr.yml true 10.36 5.81 None weaver/test-easy8.wvr.yml true 9.10 5.33 None weaver/test-hard1.wvr.yml TIMEOUT 901.62 821.85 None weaver/test-semi1.wvr.yml true 9.26 5.62 None weaver/unroll-2.wvr.yml TIMEOUT 900.62 857.60 None weaver/unroll-3.wvr.yml TIMEOUT 900.62 873.08 None weaver/unroll-4.wvr.yml TIMEOUT 900.91 860.26 None weaver/unroll-5.wvr.yml TIMEOUT 900.73 857.51 None weaver/unroll-cond-2.wvr.yml TIMEOUT 900.62 885.09 None weaver/unroll-cond-3.wvr.yml TIMEOUT 900.42 884.97 None weaver/unroll-cond-4.wvr.yml TIMEOUT 900.76 870.39 None weaver/unroll-cond-5.wvr.yml TIMEOUT 900.56 867.10 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 17.47 10.43 None pthread-deagle/arithmetic_prog_ok.yml true 23.71 14.65 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 23.68 14.37 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 900.74 883.41 None pthread-race-challenges/thread-local-pthread-value.yml unknown 11.62 7.10 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 11.58 7.34 None pthread-race-challenges/thread-local-value.yml unknown 16.55 9.37 None libvsync/arraylock.yml unknown 15.84 9.50 None libvsync/bounded_mpmc_check_full.yml TIMEOUT 901.48 810.78 None libvsync/cnalock.yml OUT OF MEMORY 264.67 218.68 None libvsync/hclhlock.yml TIMEOUT 900.88 866.69 None libvsync/hmcslock.yml ERROR (7) 25.45 14.79 None libvsync/mcslock.yml OUT OF MEMORY 214.20 171.27 None libvsync/rec_mcslock.yml OUT OF MEMORY 518.04 437.98 None libvsync/rec_ticketlock.yml OUT OF MEMORY 232.55 177.92 None libvsync/rwlock.yml OUT OF MEMORY 238.16 167.68 None libvsync/semaphore.yml OUT OF MEMORY 429.80 341.65 None libvsync/ticketlock.yml OUT OF MEMORY 133.59 100.92 None libvsync/ttaslock.yml OUT OF MEMORY 185.52 131.05 None pthread-theta/exponential-4.yml true 211.61 180.36 None pthread-theta/exponential-64.yml TIMEOUT 900.62 881.53 None pthread-theta/exponential-nondet.yml TIMEOUT 900.47 884.89 None pthread-theta/unwind1-1.yml false(unreach-call) 13.06 7.76 None pthread-theta/unwind1-100.yml false(unreach-call) 142.59 115.54 None pthread-theta/unwind1-nondet.yml false(unreach-call) 12.85 7.43 None pthread-theta/unwind2-1.yml false(unreach-call) 17.99 10.38 None pthread-theta/unwind2-100.yml false(unreach-call) 80.03 53.99 None pthread-theta/unwind2-nondet.yml false(unreach-call) 24.73 15.94 None pthread-theta/unwind3-1.yml false(unreach-call) 13.76 7.75 None pthread-theta/unwind3-100.yml OUT OF MEMORY 852.83 783.20 None pthread-theta/unwind3-nondet.yml false(unreach-call) 7.71 4.94 None pthread-theta/wsc.yml true 19.58 10.39 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 5 done 200740.98 26395.53 - CE-NecessaryAndSufficient-Badger.SVCOMP-ConcurrencySafety Run set 6 of 7: skipped CE-NecessaryAndSufficient-Camel.SVCOMP-ConcurrencySafety Run set 7 of 7: skipped Statistics: 2900 Files correct: 1933 correct true: 749 correct false: 1184 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 967 Score: 2682 (max: 4396)