BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: Automizer-PN.SVCOMP-ConcurrencySafety-Main date: Tue, 2022-09-20 20:14:50 CEST tool: ULTIMATE Automizer 0.2.2-0612a5f3 tool executable: ./Ultimate.py options: --force-no-wrapper parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-5.11.22-4-pve-x86_64-with-glibc2.31 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 4549.121 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ Automizer-PN.SVCOMP-ConcurrencySafety-Main Run set 1 of 5 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_p.yml false(unreach-call) 8.73 5.60 None pthread/bigshot_s.yml UNKNOWN: OverapproxCex 11.45 6.38 None pthread/bigshot_s2.yml UNKNOWN: OverapproxCex 10.52 6.03 None pthread/fib_safe-10.yml TIMEOUT 901.55 727.62 None pthread/fib_safe-11.yml TIMEOUT 901.49 730.96 None pthread/fib_safe-12.yml TIMEOUT 901.41 733.86 None pthread/fib_safe-5.yml OUT OF MEMORY 480.82 350.90 None pthread/fib_safe-6.yml OUT OF MEMORY 478.69 419.87 None pthread/fib_safe-7.yml TIMEOUT 900.50 725.81 None pthread/fib_unsafe-10.yml TIMEOUT 901.12 746.52 None pthread/fib_unsafe-11.yml TIMEOUT 902.12 811.04 None pthread/fib_unsafe-12.yml TIMEOUT 900.88 795.82 None pthread/fib_unsafe-5.yml OUT OF MEMORY 402.29 320.24 None pthread/fib_unsafe-6.yml OUT OF MEMORY 573.68 473.90 None pthread/fib_unsafe-7.yml TIMEOUT 902.27 797.47 None pthread/lazy01.yml false(unreach-call) 11.11 6.32 None pthread/queue.yml TIMEOUT 901.40 777.76 None pthread/queue_longer.yml TIMEOUT 901.25 832.62 None pthread/queue_longest.yml TIMEOUT 901.26 823.31 None pthread/queue_ok.yml OUT OF MEMORY 488.23 373.31 None pthread/queue_ok_longer.yml OUT OF MEMORY 880.65 737.20 None pthread/queue_ok_longest.yml TIMEOUT 915.16 636.03 None pthread/singleton.yml false(unreach-call) 12.41 7.00 None pthread/singleton_with-uninit-problems.yml true 12.18 6.89 None pthread/stack-1.yml TIMEOUT 901.21 827.13 None pthread/stack-2.yml false(unreach-call) 34.50 19.11 None pthread/stack_longer-1.yml false(unreach-call) 29.78 16.30 None pthread/stack_longer-2.yml OUT OF MEMORY 758.56 692.31 None pthread/stack_longest-1.yml false(unreach-call) 28.78 15.81 None pthread/stack_longest-2.yml TIMEOUT 901.18 851.83 None pthread/stateful01-1.yml false(unreach-call) 9.58 5.51 None pthread/stateful01-2.yml true 11.00 6.39 None pthread/sync01.yml true 10.33 6.02 None pthread/triangular-1.yml true 32.60 18.59 None pthread/triangular-2.yml false(unreach-call) 24.37 13.36 None pthread/triangular-longer-1.yml true 66.31 43.65 None pthread/triangular-longer-2.yml false(unreach-call) 70.23 45.74 None pthread/triangular-longest-1.yml true 361.02 313.17 None pthread/triangular-longest-2.yml false(unreach-call) 157.57 125.50 None pthread-atomic/dekker.yml true 8.35 5.08 None pthread-atomic/gcd-2.yml TIMEOUT 901.87 886.56 None pthread-atomic/lamport.yml true 12.13 6.97 None pthread-atomic/peterson.yml true 8.50 5.12 None pthread-atomic/qrcu-1.yml true 36.49 21.58 None pthread-atomic/qrcu-2.yml false(unreach-call) 11.25 6.79 None pthread-atomic/read_write_lock-1.yml true 24.11 14.83 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 27.81 17.51 None pthread-atomic/scull.yml true 25.37 14.38 None pthread-atomic/szymanski.yml true 9.63 5.61 None pthread-atomic/time_var_mutex.yml true 8.84 5.62 None pthread-ext/01b_inc.yml OUT OF MEMORY 132.73 85.41 None pthread-ext/17_szymanski.yml true 8.17 5.24 None pthread-ext/18_read_write_lock.yml true 8.03 4.99 None pthread-ext/23_lu-fig2.fixed.yml true 7.90 5.15 None pthread-wmm/mix000.oepc.yml false(unreach-call) 13.89 8.05 None pthread-wmm/mix000.opt.yml false(unreach-call) 13.83 7.79 None pthread-wmm/mix001.oepc.yml false(unreach-call) 19.80 11.94 None pthread-wmm/mix001.opt.yml false(unreach-call) 23.33 12.54 None pthread-wmm/mix002.oepc.yml false(unreach-call) 18.22 10.44 None pthread-wmm/mix002.opt.yml false(unreach-call) 17.37 9.66 None pthread-wmm/mix003.oepc.yml false(unreach-call) 16.75 10.04 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 16.74 9.65 None pthread-wmm/mix004.oepc.yml false(unreach-call) 27.90 16.65 None pthread-wmm/mix004.opt.yml false(unreach-call) 34.55 18.77 None pthread-wmm/mix005.opt.yml false(unreach-call) 67.69 51.29 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 142.60 118.29 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 59.83 41.87 None pthread-wmm/mix006.opt.yml false(unreach-call) 23.25 12.53 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 31.76 17.00 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 30.82 16.90 None pthread-wmm/mix007.oepc.yml OUT OF MEMORY 228.16 183.18 None pthread-wmm/mix007.opt.yml false(unreach-call) 43.05 30.07 None pthread-wmm/mix008.opt.yml false(unreach-call) 86.20 67.10 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 118.29 83.79 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 46.07 26.50 None pthread-wmm/mix009.oepc.yml false(unreach-call) 12.81 7.75 None pthread-wmm/mix009.opt.yml false(unreach-call) 19.40 10.67 None pthread-wmm/mix010.oepc.yml false(unreach-call) 15.97 9.46 None pthread-wmm/mix010.opt.yml false(unreach-call) 21.09 11.31 None pthread-wmm/mix011.opt.yml false(unreach-call) 19.98 11.27 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 31.23 17.06 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 15.88 9.35 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 12.74 7.63 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 13.21 7.63 None pthread-wmm/mix013.oepc.yml false(unreach-call) 27.23 15.34 None pthread-wmm/mix013.opt.yml false(unreach-call) 20.79 11.91 None pthread-wmm/mix014.opt.yml false(unreach-call) 54.56 33.94 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 79.60 62.83 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 59.01 37.43 None pthread-wmm/mix015.oepc.yml false(unreach-call) 16.47 9.41 None pthread-wmm/mix015.opt.yml false(unreach-call) 16.42 9.31 None pthread-wmm/mix016.oepc.yml false(unreach-call) 15.39 8.92 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 14.88 8.51 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 14.79 8.42 None pthread-wmm/mix017.oepc.yml false(unreach-call) 21.68 13.01 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 30.39 16.11 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 19.07 10.25 None pthread-wmm/mix018.opt.yml false(unreach-call) 44.63 32.14 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 85.92 61.81 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 35.45 22.97 None pthread-wmm/mix019.opt.yml false(unreach-call) 25.63 13.61 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 35.72 19.44 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 21.70 12.30 None pthread-wmm/mix020.oepc.yml false(unreach-call) 102.95 83.53 None pthread-wmm/mix020.opt.yml false(unreach-call) 48.12 33.91 None pthread-wmm/mix021.opt.yml false(unreach-call) 64.84 48.25 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 367.70 315.41 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 63.10 38.81 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.20 8.85 None pthread-wmm/mix022_tso.yml false(unreach-call) 17.00 9.25 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 201.55 174.38 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 111.19 78.48 None pthread-wmm/mix023_tso.yml false(unreach-call) 121.11 87.11 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 26.86 15.55 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 23.79 13.86 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 26.98 14.49 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 16.82 9.28 None pthread-wmm/mix026.oepc.yml false(unreach-call) 113.95 90.99 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 115.86 90.90 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 58.35 38.30 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 127.75 104.25 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 81.49 61.35 None pthread-wmm/mix027_tso.yml false(unreach-call) 39.22 25.85 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 37.67 22.02 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 26.92 14.14 None pthread-wmm/mix028_tso.yml false(unreach-call) 16.31 9.48 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml OUT OF MEMORY 220.46 189.40 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 62.33 39.70 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 102.49 70.99 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 63.56 38.41 None pthread-wmm/mix030_tso.yml false(unreach-call) 31.78 19.34 None pthread-wmm/mix031.oepc.yml false(unreach-call) 12.89 7.74 None pthread-wmm/mix031.opt.yml false(unreach-call) 13.33 7.44 None pthread-wmm/mix032.oepc.yml false(unreach-call) 17.06 9.69 None pthread-wmm/mix032.opt.yml false(unreach-call) 13.87 8.06 None pthread-wmm/mix033.opt.yml false(unreach-call) 18.36 9.95 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 30.82 17.21 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 16.39 9.36 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 13.00 7.64 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 16.16 9.03 None pthread-wmm/mix035.oepc.yml false(unreach-call) 15.09 8.18 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 14.66 8.36 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 13.79 7.81 None pthread-wmm/mix036.oepc.yml false(unreach-call) 29.12 17.22 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 27.10 14.41 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 15.80 8.67 None pthread-wmm/mix037.opt.yml false(unreach-call) 52.20 32.44 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 76.67 59.90 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 35.99 24.38 None pthread-wmm/mix038.opt.yml false(unreach-call) 18.06 9.75 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 31.67 17.44 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 24.18 13.01 None pthread-wmm/mix039.oepc.yml OUT OF MEMORY 161.18 125.07 None pthread-wmm/mix039.opt.yml false(unreach-call) 47.41 33.27 None pthread-wmm/mix040.opt.yml false(unreach-call) 68.16 53.19 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 257.32 225.18 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 55.30 37.25 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 15.15 8.32 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 17.12 9.37 None pthread-wmm/mix042.oepc.yml false(unreach-call) 27.79 14.66 None pthread-wmm/mix042.opt.yml false(unreach-call) 18.79 9.85 None pthread-wmm/mix043.oepc.yml false(unreach-call) 70.51 49.53 None pthread-wmm/mix043.opt.yml false(unreach-call) 23.70 12.85 None pthread-wmm/mix044.opt.yml false(unreach-call) 34.86 19.07 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 170.89 140.33 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 39.64 25.98 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 29.97 17.53 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 29.38 15.43 None pthread-wmm/mix046.oepc.yml OUT OF MEMORY 243.11 210.10 None pthread-wmm/mix046.opt.yml false(unreach-call) 27.46 15.55 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 251.49 203.77 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 39.13 25.92 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) 12.03 6.99 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) 19.55 10.37 None pthread-wmm/mix050.yml false(unreach-call) 22.17 11.93 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 92.33 68.51 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 29.00 18.74 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 37.07 22.48 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 19.23 10.63 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 15.08 8.69 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 26.23 14.09 None pthread-wmm/mix053.opt.yml false(unreach-call) 53.70 34.25 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 84.41 67.93 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 48.46 30.77 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 11.23 6.67 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 15.53 9.31 None pthread-wmm/mix055.opt.yml false(unreach-call) 41.66 23.46 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 111.86 87.26 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 70.60 50.27 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 26.91 15.00 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 31.17 16.90 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 107.79 70.24 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 46.89 27.57 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 18.86 10.50 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 20.39 10.73 None pthread-wmm/rfi000_tso.yml true 30.70 16.42 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 11.95 7.50 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 15.87 8.45 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 35.44 19.06 None pthread-wmm/rfi002_tso.yml true 31.24 18.84 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 13.23 7.83 None pthread-wmm/rfi003_tso.yml true 33.23 17.92 None pthread-wmm/rfi004.yml false(unreach-call) 15.29 8.10 None pthread-wmm/rfi005.yml false(unreach-call) 9.22 6.42 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 23.95 13.80 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 29.91 16.15 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 16.44 10.16 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 22.11 12.97 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.47 8.84 None pthread-wmm/rfi007_tso.yml false(unreach-call) 17.59 9.41 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 14.25 8.42 None pthread-wmm/rfi008.opt.yml false(unreach-call) 16.07 8.99 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 23.83 13.02 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 23.71 12.96 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 21.38 11.73 None pthread-wmm/rfi010.yml false(unreach-call) 12.77 7.67 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 22.90 13.43 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 25.65 13.59 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.11 6.71 None pthread-wmm/safe000_rmo.yml false(unreach-call) 19.46 11.81 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 29.26 17.15 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 24.69 13.34 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 35.08 19.81 None pthread-wmm/safe001_tso.yml true 15.17 8.49 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 26.01 13.93 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 18.99 10.59 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 17.68 11.05 None pthread-wmm/safe002_tso.yml true 15.90 8.92 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 25.03 14.06 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 24.25 12.72 None pthread-wmm/safe003_tso.yml true 14.66 8.33 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 32.80 19.00 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 19.37 11.01 None pthread-wmm/safe004_tso.yml true 14.75 8.17 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.86 11.48 None pthread-wmm/safe005_tso.yml true 17.10 9.49 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 12.60 7.04 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 17.63 9.63 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.08 6.92 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 11.33 7.45 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 18.30 10.04 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 14.77 8.55 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.02 6.59 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 17.95 9.55 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 20.74 12.03 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 22.71 12.47 None pthread-wmm/safe008_tso.yml true 14.45 7.80 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 16.07 8.97 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 21.73 11.97 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.74 6.61 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 20.44 10.82 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 16.94 9.98 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 14.26 8.42 None pthread-wmm/safe010_tso.yml true 14.80 7.96 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 29.55 16.17 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 17.20 10.24 None pthread-wmm/safe011_tso.yml true 18.78 10.22 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 14.56 8.17 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 16.19 9.12 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 19.47 10.36 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 13.93 8.35 None pthread-wmm/safe012_tso.yml true 12.78 7.56 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 18.46 11.19 None pthread-wmm/safe013_tso.yml true 15.82 8.72 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 22.47 12.16 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 16.50 9.08 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.99 8.57 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 13.90 8.29 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 33.82 17.88 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 13.67 7.66 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 26.03 13.97 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.05 7.49 None pthread-wmm/safe015_rmo.yml false(unreach-call) 32.41 17.03 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 30.11 15.84 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 43.31 23.41 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.76 9.66 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 38.68 21.63 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 28.43 16.23 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 21.34 12.29 None pthread-wmm/safe017_tso.yml true 16.14 8.54 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 15.80 9.85 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 21.72 12.68 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.06 6.23 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 13.59 7.87 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 26.31 14.40 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 26.20 13.89 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 141.71 106.87 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.85 11.98 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 24.52 13.39 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 69.88 50.80 None pthread-wmm/safe020_power.yml false(unreach-call) 23.56 12.68 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.23 7.21 None pthread-wmm/safe020_rmo.yml false(unreach-call) 22.40 13.09 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 22.06 12.44 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 20.62 11.38 None pthread-wmm/safe021_tso.yml true 15.94 8.85 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 12.03 7.36 None pthread-wmm/safe022_tso.yml true 11.82 6.55 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 35.89 19.79 None pthread-wmm/safe023_tso.yml true 15.51 8.39 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.86 10.89 None pthread-wmm/safe024_tso.yml true 10.75 6.31 None pthread-wmm/safe025_power.yml false(unreach-call) 10.88 6.29 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.19 7.87 None pthread-wmm/safe025_rmo.yml false(unreach-call) 20.42 11.67 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.45 11.90 None pthread-wmm/safe026_tso.yml true 16.23 8.60 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 42.07 22.66 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 103.48 63.13 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.25 8.33 None pthread-wmm/safe027_rmo.yml false(unreach-call) 26.72 16.75 None pthread-wmm/safe028_power.yml false(unreach-call) 22.64 12.66 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.23 7.13 None pthread-wmm/safe028_rmo.yml false(unreach-call) 19.43 10.70 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.79 12.51 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 17.25 10.15 None pthread-wmm/safe029_tso.yml true 11.08 6.05 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 31.39 17.19 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 30.41 16.47 None pthread-wmm/safe030_tso.yml true 17.75 9.50 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 21.47 11.72 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 18.94 10.42 None pthread-wmm/safe031_tso.yml true 12.74 7.29 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 35.94 21.47 None pthread-wmm/safe032_tso.yml true 14.93 7.94 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 11.32 7.03 None pthread-wmm/safe033_tso.yml true 11.62 6.65 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 20.63 11.15 None pthread-wmm/safe034_tso.yml true 11.42 6.70 None pthread-wmm/safe035_power.yml true 33.24 19.30 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 15.08 8.23 None pthread-wmm/safe036.yml true 9.04 5.50 None pthread-wmm/safe037.yml true 13.74 7.48 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 16.66 9.70 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 23.27 12.40 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.68 8.41 None pthread-wmm/thin002_rmo.yml false(unreach-call) 15.44 8.59 None pthread-lit/qw2004-1.yml true 9.62 5.73 None pthread-lit/qw2004-2b.yml false(unreach-call) 9.85 5.62 None ldv-races/race-1_1-join.yml true 12.44 7.03 None ldv-races/race-1_2-join.yml false(unreach-call) 12.19 6.85 None ldv-races/race-1_3-join.yml false(unreach-call) 11.78 6.86 None ldv-races/race-2_1-container_of.yml OUT OF MEMORY 229.15 164.69 None ldv-races/race-2_2-container_of.yml OUT OF MEMORY 284.33 232.44 None ldv-races/race-2_3-container_of.yml false(unreach-call) 11.35 6.79 None ldv-races/race-2_4-container_of.yml false(unreach-call) 14.28 7.84 None ldv-races/race-2_5-container_of.yml false(unreach-call) 12.32 6.88 None ldv-races/race-3_1-container_of-global.yml OUT OF MEMORY 174.16 126.21 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 443.28 384.95 None ldv-races/race-4_1-thread_local_vars.yml true 20.26 11.19 None ldv-races/race-4_2-thread_local_vars.yml false(unreach-call) 25.07 13.42 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 51.72 29.86 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 43.17 27.75 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 210.89 136.01 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 178.63 109.55 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 200.87 134.95 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml OUT OF MEMORY 258.42 159.93 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml OUT OF MEMORY 188.58 114.95 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 270.53 145.99 None pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 10.65 6.11 None pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 9.70 5.72 None pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 10.15 5.84 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 10.48 6.10 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 9.40 5.41 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 11.00 6.26 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 9.34 5.53 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 9.15 5.70 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 9.00 5.49 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 10.93 6.19 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 12.61 6.96 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 9.29 5.69 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 9.27 6.19 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 12.12 6.57 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 11.72 6.46 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 10.21 5.86 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 9.50 5.68 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 10.57 5.92 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 12.34 6.62 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 9.34 5.93 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 9.18 5.63 None pthread-C-DAC/pthread-demo-datarace-1.yml OUT OF MEMORY 696.10 545.18 None pthread-C-DAC/pthread-demo-datarace-2.yml false(unreach-call) 739.77 559.17 None pthread-divine/condvar.yml true 10.26 6.81 None pthread-divine/condvar_spurious_wakeup.yml false(unreach-call) 6.93 4.34 None pthread-divine/divinefifo-bug_1w1r.yml OUT OF MEMORY 264.13 222.23 None pthread-divine/divinefifo_1w1r.yml OUT OF MEMORY 228.10 183.19 None pthread-divine/ring_1w1r-1.yml false(unreach-call) 7.93 4.66 None pthread-divine/ring_1w1r-2.yml OUT OF MEMORY 311.30 244.31 None pthread-divine/ring_2w1r-1.yml OUT OF MEMORY 194.20 135.36 None pthread-divine/ring_2w1r-2.yml OUT OF MEMORY 174.64 122.40 None pthread-divine/tls_basic.yml unknown 5.13 3.13 None pthread-divine/tls_destructor_worker.yml unknown 5.61 3.63 None goblint-regression/13-privatized_01-priv_nr_true.yml true 10.91 6.18 None goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 200.41 121.00 None goblint-regression/13-privatized_18-first-reads_true.yml true 7.90 5.06 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 7.22 4.68 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 9.35 5.20 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 7.60 4.47 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 7.09 4.21 None goblint-regression/13-privatized_19-publish-precision_true.yml true 9.76 5.49 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 8.95 5.01 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 7.73 4.62 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 10.22 5.98 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 9.09 5.41 None goblint-regression/13-privatized_20-publish-regression_true.yml true 10.73 6.42 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 11.51 6.97 None goblint-regression/13-privatized_25-struct_nr_true.yml true 12.93 7.26 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 18.30 9.97 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 15.56 8.36 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 8.19 5.19 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 11.07 6.57 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 10.04 5.83 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.38 6.56 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 11.89 6.83 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 11.09 6.38 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 8.00 4.86 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 10.63 6.05 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 10.75 6.22 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 10.26 5.72 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 7.14 4.21 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 11.22 6.58 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 10.45 6.03 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 8.39 4.82 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 10.52 6.07 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 9.97 5.77 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 7.99 4.75 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 9.79 5.85 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 9.41 5.26 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 7.25 4.27 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 9.62 5.70 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 12.22 6.92 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 10.37 5.85 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 9.25 5.68 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 181.98 126.23 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 14.33 7.76 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 11.89 6.41 None goblint-regression/28-race_reach_46-escape_racefree.yml true 10.18 6.03 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 7.99 5.52 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 9.65 5.84 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 9.99 5.77 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 7.10 4.27 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 53.32 39.07 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 16.93 9.39 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 8.61 4.87 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 8.91 5.30 None weaver/array-eq-symm.wvr.yml OUT OF MEMORY 349.59 262.70 None weaver/array-eq-trans.wvr.yml OUT OF MEMORY 194.88 126.42 None weaver/bench-exp1x3.wvr.yml TIMEOUT 901.65 889.81 None weaver/bench-exp2x3.wvr.yml TIMEOUT 901.11 867.82 None weaver/bench-exp2x4.wvr.yml TIMEOUT 901.33 876.27 None weaver/bench-exp2x6.wvr.yml TIMEOUT 904.45 881.78 None weaver/bench-exp2x9.wvr.yml OUT OF MEMORY 631.78 601.23 None weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 77.26 52.40 None weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 109.20 80.81 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 139.66 107.09 None weaver/chl-array-int-symm.wvr.yml OUT OF MEMORY 200.69 136.58 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 125.78 91.82 None weaver/chl-chromosome-opt-symm.wvr.yml OUT OF MEMORY 212.86 146.53 None weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 112.26 79.20 None weaver/chl-chromosome-symm.wvr.yml OUT OF MEMORY 128.01 100.03 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 118.52 90.90 None weaver/chl-collitem-subst.wvr.yml true 31.11 17.94 None weaver/chl-collitem-symm.wvr.yml true 14.19 8.35 None weaver/chl-collitem-trans.wvr.yml true 21.45 12.19 None weaver/chl-exp-term-subst.wvr.yml OUT OF MEMORY 124.59 94.86 None weaver/chl-exp-term-symm.wvr.yml OUT OF MEMORY 636.89 547.96 None weaver/chl-file-item-subst.wvr.yml OUT OF MEMORY 590.12 435.19 None weaver/chl-file-item-symm.wvr.yml OUT OF MEMORY 496.85 433.19 None weaver/chl-file-item-trans.wvr.yml OUT OF MEMORY 184.92 117.94 None weaver/chl-match-subst.wvr.yml OUT OF MEMORY 503.24 373.68 None weaver/chl-match-symm.wvr.yml OUT OF MEMORY 143.17 105.71 None weaver/chl-match-trans.wvr.yml OUT OF MEMORY 130.34 80.53 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 121.47 73.79 None weaver/chl-name-comparator-symm.wvr.yml OUT OF MEMORY 190.46 133.36 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 155.70 99.20 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 159.57 115.43 None weaver/chl-node-symm.wvr.yml OUT OF MEMORY 93.08 68.49 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 154.86 95.09 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 116.73 85.97 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 261.64 191.91 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 290.72 209.40 None weaver/chl-simpl-str-subst.wvr.yml OUT OF MEMORY 147.83 101.80 None weaver/chl-simpl-str-symm.wvr.yml OUT OF MEMORY 313.45 231.50 None weaver/chl-simpl-str-trans.wvr.yml OUT OF MEMORY 150.03 102.39 None weaver/chl-sre-subst.wvr.yml true 218.90 160.38 None weaver/chl-sre-symm.wvr.yml true 32.77 18.20 None weaver/chl-sre-trans.wvr.yml true 12.15 7.05 None weaver/chl-time-subst.wvr.yml true 22.16 12.24 None weaver/chl-time-symm.wvr.yml true 11.81 6.65 None weaver/chl-time-trans.wvr.yml true 13.13 7.31 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 848.66 622.96 None weaver/chl-word-symm.wvr.yml OUT OF MEMORY 168.93 126.27 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 134.93 98.97 None weaver/clever.wvr.yml OUT OF MEMORY 317.01 280.30 None weaver/fibonacci.wvr.yml OUT OF MEMORY 258.01 184.97 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 900.89 868.62 None weaver/mult-comm.wvr.yml TIMEOUT 901.18 859.36 None weaver/mult-dist.wvr.yml OUT OF MEMORY 487.88 415.55 None weaver/mult-flipped-dist.wvr.yml OUT OF MEMORY 185.78 122.92 None weaver/parallel-bakery-2.wvr.yml true 14.38 7.74 None weaver/parallel-bakery-3.wvr.yml OUT OF MEMORY 119.81 86.01 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 104.36 71.50 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 18.89 10.19 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 228.78 179.12 None weaver/parallel-bluetooth.wvr.yml true 9.37 6.23 None weaver/parallel-lamport.wvr.yml OUT OF MEMORY 217.08 160.78 None weaver/parallel-min-max-1.wvr.yml true 56.28 40.30 None weaver/parallel-misc-1.wvr.yml OUT OF MEMORY 171.53 121.24 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 9.51 5.30 None weaver/parallel-misc-2-unrolled.wvr.yml true 21.39 12.84 None weaver/parallel-misc-2.wvr.yml TIMEOUT 901.38 859.06 None weaver/parallel-misc-3-extended.wvr.yml true 39.62 24.30 None weaver/parallel-misc-3.wvr.yml true 16.14 9.01 None weaver/parallel-misc-4.wvr.yml true 62.26 39.56 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 147.18 115.14 None weaver/parallel-parallel-sum-1-dsl.wvr.yml TIMEOUT 901.11 864.32 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 178.36 139.46 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 900.74 867.83 None weaver/parallel-parallel-sum-equiv.wvr.yml OUT OF MEMORY 231.34 172.44 None weaver/parallel-simple-equiv.wvr.yml true 13.14 7.84 None weaver/parallel-ticket-2.wvr.yml true 8.91 5.30 None weaver/parallel-ticket-3.wvr.yml true 13.41 7.56 None weaver/parallel-ticket-4.wvr.yml true 25.84 14.63 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 214.73 175.06 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 339.50 217.84 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 68.02 42.41 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 67.71 41.67 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 901.22 849.92 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 261.84 191.57 None weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 200.06 159.38 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 180.42 135.47 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 26.39 14.50 None weaver/popl20-bad-counter-queue2.wvr.yml OUT OF MEMORY 377.62 291.36 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 133.23 93.41 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 105.12 77.02 None weaver/popl20-bad-ring-nondet.wvr.yml true 32.04 20.62 None weaver/popl20-bad-ring.wvr.yml OUT OF MEMORY 221.46 172.20 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 901.20 820.45 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 164.14 129.78 None weaver/popl20-channel-sum.wvr.yml OUT OF MEMORY 303.89 244.97 None weaver/popl20-commit-1.wvr.yml TIMEOUT 900.77 852.39 None weaver/popl20-commit-2.wvr.yml TIMEOUT 902.11 872.72 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 692.56 471.66 None weaver/popl20-counter-fun.wvr.yml ERROR: EXCEPTION 80.96 68.26 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 112.95 76.46 None weaver/popl20-figure1-alt.wvr.yml TIMEOUT 901.17 841.28 None weaver/popl20-figure1.wvr.yml OUT OF MEMORY 415.51 347.75 None weaver/popl20-figure3.wvr.yml TIMEOUT 901.11 836.18 None weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 402.35 353.84 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 198.51 120.09 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 186.01 110.90 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 201.00 118.54 None weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 192.80 155.63 None weaver/popl20-more-array-sum-alt2.wvr.yml OUT OF MEMORY 256.81 207.10 None weaver/popl20-more-array-sum.wvr.yml TIMEOUT 900.68 867.73 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 901.00 842.60 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 112.84 77.36 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 161.19 117.17 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 900.88 864.74 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 901.05 878.95 None weaver/popl20-more-dec-subseq.wvr.yml ERROR: EXCEPTION 364.79 346.50 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 900.67 863.49 None weaver/popl20-more-max-array-hom.wvr.yml OUT OF MEMORY 347.40 276.52 None weaver/popl20-more-max-array.wvr.yml OUT OF MEMORY 363.81 268.12 None weaver/popl20-more-min-array-hom.wvr.yml OUT OF MEMORY 387.96 325.21 None weaver/popl20-more-min-array.wvr.yml OUT OF MEMORY 295.18 227.58 None weaver/popl20-more-min-le-max.wvr.yml true 17.78 10.66 None weaver/popl20-more-mts.wvr.yml OUT OF MEMORY 640.25 510.58 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 901.76 802.04 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 902.09 814.13 None weaver/popl20-more-parray-copy.wvr.yml OUT OF MEMORY 827.35 574.02 None weaver/popl20-more-queue-add-2-nl.wvr.yml OUT OF MEMORY 433.40 372.52 None weaver/popl20-more-queue-add-3-nl.wvr.yml OUT OF MEMORY 225.59 169.62 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 550.50 371.09 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 901.24 806.24 None weaver/popl20-more-vector-add.wvr.yml OUT OF MEMORY 439.40 407.12 None weaver/popl20-mult-4.wvr.yml OUT OF MEMORY 300.50 228.12 None weaver/popl20-mult-equiv.wvr.yml OUT OF MEMORY 209.13 166.62 None weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 901.29 800.74 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.45 804.09 None weaver/popl20-prod-cons-eq.wvr.yml TIMEOUT 901.18 837.10 None weaver/popl20-prod-cons.wvr.yml OUT OF MEMORY 347.69 262.99 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 900.71 872.01 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 104.15 71.70 None weaver/popl20-queue-add-2.wvr.yml OUT OF MEMORY 747.32 669.21 None weaver/popl20-queue-add-3.wvr.yml OUT OF MEMORY 192.76 143.49 None weaver/popl20-send-receive-alt.wvr.yml OUT OF MEMORY 711.40 616.02 None weaver/popl20-send-receive.wvr.yml OUT OF MEMORY 238.40 182.97 None weaver/popl20-simple-array-sum.wvr.yml true 98.74 72.64 None weaver/popl20-simple-queue.wvr.yml OUT OF MEMORY 423.42 322.12 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 900.92 885.69 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 901.19 871.12 None weaver/popl20-three-array-min.wvr.yml TIMEOUT 901.12 839.86 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.67 878.77 None weaver/popl20-two-queue.wvr.yml TIMEOUT 901.70 790.48 None weaver/security.wvr.yml true 35.09 18.21 None weaver/spaghetti.wvr.yml true 11.10 6.01 None weaver/test-context1.wvr.yml TIMEOUT 901.08 847.92 None weaver/test-easy1.wvr.yml TIMEOUT 901.28 811.76 None weaver/test-easy10.wvr.yml OUT OF MEMORY 140.06 100.37 None weaver/test-easy11.wvr.yml TIMEOUT 901.66 828.48 None weaver/test-easy6.wvr.yml true 12.36 6.65 None weaver/test-easy7.wvr.yml TIMEOUT 900.72 772.72 None weaver/test-hard1.wvr.yml OUT OF MEMORY 469.22 364.13 None weaver/test-semi1.wvr.yml true 10.62 6.04 None weaver/unroll-2.wvr.yml OUT OF MEMORY 214.62 144.62 None weaver/unroll-3.wvr.yml TIMEOUT 900.96 802.27 None weaver/unroll-4.wvr.yml OUT OF MEMORY 170.39 123.77 None weaver/unroll-5.wvr.yml TIMEOUT 902.05 843.67 None weaver/unroll-cond-2.wvr.yml OUT OF MEMORY 176.19 125.68 None weaver/unroll-cond-3.wvr.yml OUT OF MEMORY 223.46 155.13 None weaver/unroll-cond-4.wvr.yml OUT OF MEMORY 206.14 142.75 None weaver/unroll-cond-5.wvr.yml OUT OF MEMORY 236.33 180.85 None pthread-deagle/airline-10.yml OUT OF MEMORY 171.47 112.50 None pthread-deagle/airline-15.yml OUT OF MEMORY 143.88 92.49 None pthread-deagle/airline-20.yml OUT OF MEMORY 165.14 107.41 None pthread-deagle/airline-25.yml OUT OF MEMORY 230.09 136.01 None pthread-deagle/airline-5.yml OUT OF MEMORY 122.53 82.19 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 13.31 8.76 None pthread-deagle/arithmetic_prog_ok.yml true 19.53 11.95 None pthread-deagle/circular_buffer_bad.yml OUT OF MEMORY 260.72 218.56 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 901.47 888.80 None pthread-deagle/floating_read-10.yml OUT OF MEMORY 182.17 138.36 None pthread-deagle/floating_read-15.yml OUT OF MEMORY 140.53 98.36 None pthread-deagle/floating_read-20.yml OUT OF MEMORY 185.27 146.85 None pthread-deagle/floating_read-25.yml OUT OF MEMORY 182.91 134.28 None pthread-deagle/floating_read-5.yml true 62.12 48.31 None pthread-deagle/reorder_c11_bad-10.yml OUT OF MEMORY 88.30 55.95 None pthread-deagle/reorder_c11_bad-20.yml OUT OF MEMORY 118.84 68.95 None pthread-deagle/reorder_c11_bad-30.yml OUT OF MEMORY 114.74 67.24 None pthread-deagle/reorder_c11_bad-40.yml OUT OF MEMORY 94.29 59.17 None pthread-deagle/reorder_c11_bad-50.yml OUT OF MEMORY 92.29 59.60 None pthread-deagle/reorder_c11_good-10.yml OUT OF MEMORY 175.99 113.65 None pthread-deagle/reorder_c11_good-20.yml OUT OF MEMORY 148.63 97.36 None pthread-deagle/reorder_c11_good-30.yml OUT OF MEMORY 110.66 79.84 None pthread-deagle/reorder_c11_good-40.yml OUT OF MEMORY 144.46 94.36 None pthread-deagle/reorder_c11_good-50.yml OUT OF MEMORY 111.11 79.79 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 101637.66 6586.10 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.SVCOMP-ConcurrencySafety-Main Run set 2 of 5: skipped GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.WithAssertions.SVCOMP-ConcurrencySafety-Main Run set 3 of 5: skipped GemCutter.NewStatesSleepPersistentFixedOrder.VarAbsGlobalSyntactic.SVCOMP-ConcurrencySafety-Main Run set 4 of 5: skipped GemCutter.NewStatesSleepPersistentFixedOrder.VarAbsGlobalSyntactic.WithAssertions.SVCOMP-ConcurrencySafety-Main Run set 5 of 5: skipped Statistics: 637 Files correct: 399 correct true: 128 correct false: 271 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 238 Score: 527 (max: 956)