BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: Automizer-FA.SVCOMP-Concurrency-NoOverflow, Automizer-PN.SVCOMP-Concurrency-NoOverflow, GemCutter.NewStatesSleepPersistentFixedOrder.SVCOMP-Concurrency-NoOverflow, GemCutter.NewStatesSleepPersistentFixedOrder.VarAbsGlobalSyntactic.SVCOMP-Concurrency-NoOverflow date: Fri, 2022-09-16 10:13:21 CEST tool: ULTIMATE Automizer 0.2.2-53ca0810 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-FA.SVCOMP-Concurrency-NoOverflow Run set 1 of 7 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_p.yml true 6.73 4.62 None pthread/bigshot_s.yml true 9.40 5.19 None pthread/bigshot_s2.yml true 9.24 5.07 None pthread/fib_safe-10.yml OUT OF MEMORY 321.38 186.11 None pthread/fib_safe-11.yml OUT OF MEMORY 295.72 177.53 None pthread/fib_safe-12.yml OUT OF MEMORY 304.17 177.50 None pthread/fib_safe-5.yml OUT OF MEMORY 351.66 205.60 None pthread/fib_safe-6.yml OUT OF MEMORY 293.73 186.61 None pthread/fib_safe-7.yml OUT OF MEMORY 299.76 173.11 None pthread/fib_unsafe-10.yml OUT OF MEMORY 241.14 150.13 None pthread/fib_unsafe-11.yml OUT OF MEMORY 273.43 172.24 None pthread/fib_unsafe-12.yml OUT OF MEMORY 265.34 172.69 None pthread/fib_unsafe-5.yml OUT OF MEMORY 283.97 172.82 None pthread/fib_unsafe-6.yml OUT OF MEMORY 280.61 169.97 None pthread/fib_unsafe-7.yml OUT OF MEMORY 265.40 166.99 None pthread/lazy01.yml true 15.05 8.52 None pthread/queue.yml OUT OF MEMORY 426.43 334.48 None pthread/queue_longer.yml TIMEOUT 901.45 790.40 None pthread/queue_longest.yml TIMEOUT 901.61 827.53 None pthread/queue_ok.yml TIMEOUT 901.33 836.93 None pthread/queue_ok_longer.yml TIMEOUT 900.96 859.94 None pthread/queue_ok_longest.yml TIMEOUT 901.42 858.39 None pthread/singleton.yml true 7.39 4.67 None pthread/singleton_with-uninit-problems.yml true 7.57 4.55 None pthread/stack-1.yml true 52.56 31.96 None pthread/stack-2.yml true 163.05 103.22 None pthread/stack_longer-1.yml OUT OF MEMORY 376.13 224.92 None pthread/stack_longer-2.yml OUT OF MEMORY 263.45 177.87 None pthread/stack_longest-1.yml OUT OF MEMORY 97.29 65.68 None pthread/stack_longest-2.yml OUT OF MEMORY 301.48 188.57 None pthread/stateful01-1.yml true 10.44 6.26 None pthread/stateful01-2.yml true 10.33 6.14 None pthread/sync01.yml true 9.67 6.26 None pthread/triangular-1.yml true 27.21 15.64 None pthread/triangular-2.yml true 30.56 17.62 None pthread/triangular-longer-1.yml true 26.37 17.21 None pthread/triangular-longer-2.yml true 33.35 19.50 None pthread/triangular-longest-1.yml TIMEOUT 901.27 853.87 None pthread/triangular-longest-2.yml TIMEOUT 901.41 808.87 None pthread-atomic/dekker.yml true 7.97 4.95 None pthread-atomic/gcd-2.yml true 7.11 4.21 None pthread-atomic/lamport.yml true 8.20 4.77 None pthread-atomic/peterson.yml true 6.68 3.95 None pthread-atomic/qrcu-1.yml OUT OF MEMORY 191.21 103.68 None pthread-atomic/qrcu-2.yml OUT OF MEMORY 174.63 95.29 None pthread-atomic/read_write_lock-1.yml true 53.06 30.25 None pthread-atomic/read_write_lock-2.yml true 77.68 45.05 None pthread-atomic/scull.yml OUT OF MEMORY 145.05 78.59 None pthread-atomic/szymanski.yml true 6.62 3.91 None pthread-atomic/time_var_mutex.yml true 6.77 4.20 None pthread-ext/01b_inc.yml true 8.13 4.80 None pthread-ext/17_szymanski.yml true 6.73 4.77 None pthread-ext/18_read_write_lock.yml true 7.76 4.82 None pthread-ext/23_lu-fig2.fixed.yml true 9.63 5.53 None pthread-wmm/mix000.oepc.yml true 13.11 7.35 None pthread-wmm/mix000.opt.yml true 10.44 7.48 None pthread-wmm/mix001.oepc.yml true 22.39 12.36 None pthread-wmm/mix001.opt.yml true 25.90 14.03 None pthread-wmm/mix002.oepc.yml true 28.93 15.66 None pthread-wmm/mix002.opt.yml true 22.74 13.52 None pthread-wmm/mix003.oepc.yml true 20.98 11.68 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml true 26.42 14.30 None pthread-wmm/mix004.oepc.yml OUT OF MEMORY 165.75 89.69 None pthread-wmm/mix004.opt.yml true 145.89 83.11 None pthread-wmm/mix005.opt.yml true 163.57 87.98 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 142.41 77.99 None pthread-wmm/mix005_tso.oepc.yml OUT OF MEMORY 172.33 92.19 None pthread-wmm/mix006.opt.yml true 24.77 13.47 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml true 27.88 14.94 None pthread-wmm/mix006_tso.oepc.yml true 31.12 16.42 None pthread-wmm/mix007.oepc.yml OUT OF MEMORY 170.58 91.36 None pthread-wmm/mix007.opt.yml true 173.50 94.01 None pthread-wmm/mix008.opt.yml true 132.77 73.65 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 138.83 77.83 None pthread-wmm/mix008_tso.oepc.yml OUT OF MEMORY 167.79 90.19 None pthread-wmm/mix009.oepc.yml true 12.91 7.28 None pthread-wmm/mix009.opt.yml true 13.41 7.38 None pthread-wmm/mix010.oepc.yml true 28.00 15.37 None pthread-wmm/mix010.opt.yml true 24.80 13.48 None pthread-wmm/mix011.opt.yml true 27.43 14.68 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml true 26.58 14.52 None pthread-wmm/mix011_tso.oepc.yml true 30.53 16.35 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 12.48 6.74 None pthread-wmm/mix012_pso.opt_tso.opt.yml true 13.22 7.41 None pthread-wmm/mix013.oepc.yml OUT OF MEMORY 166.05 89.32 None pthread-wmm/mix013.opt.yml true 173.43 92.57 None pthread-wmm/mix014.opt.yml true 169.04 90.76 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 156.07 84.00 None pthread-wmm/mix014_tso.oepc.yml OUT OF MEMORY 131.64 72.26 None pthread-wmm/mix015.oepc.yml true 22.45 13.11 None pthread-wmm/mix015.opt.yml true 20.12 11.76 None pthread-wmm/mix016.oepc.yml true 25.76 13.82 None pthread-wmm/mix016_power.opt_rmo.opt.yml true 19.35 10.93 None pthread-wmm/mix016_pso.opt_tso.opt.yml true 23.21 12.53 None pthread-wmm/mix017.oepc.yml OUT OF MEMORY 144.07 82.08 None pthread-wmm/mix017_power.opt_rmo.opt.yml true 167.34 90.86 None pthread-wmm/mix017_pso.opt_tso.opt.yml true 113.08 63.68 None pthread-wmm/mix018.opt.yml true 149.06 81.17 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 161.42 86.85 None pthread-wmm/mix018_tso.oepc.yml OUT OF MEMORY 170.93 92.05 None pthread-wmm/mix019.opt.yml true 24.55 12.86 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml true 26.84 14.40 None pthread-wmm/mix019_tso.oepc.yml true 26.13 14.12 None pthread-wmm/mix020.oepc.yml OUT OF MEMORY 146.82 83.00 None pthread-wmm/mix020.opt.yml true 151.65 83.42 None pthread-wmm/mix021.opt.yml true 116.07 65.96 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 173.15 92.62 None pthread-wmm/mix021_tso.oepc.yml OUT OF MEMORY 173.27 92.82 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 12.36 6.60 None pthread-wmm/mix022_tso.yml true 13.22 7.10 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 169.29 90.38 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml OUT OF MEMORY 157.42 84.43 None pthread-wmm/mix023_tso.yml OUT OF MEMORY 143.40 77.97 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 22.15 12.98 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml true 28.60 15.39 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 20.40 11.56 None pthread-wmm/mix025_pso.opt_rmo.opt.yml true 26.61 14.13 None pthread-wmm/mix026.oepc.yml OUT OF MEMORY 174.45 93.50 None pthread-wmm/mix026_power.opt_tso.opt.yml OUT OF MEMORY 144.13 82.13 None pthread-wmm/mix026_pso.opt_rmo.opt.yml true 179.31 95.88 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 179.13 95.71 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml true 153.79 85.25 None pthread-wmm/mix027_tso.yml OUT OF MEMORY 178.78 95.51 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 26.40 14.12 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml true 19.39 10.55 None pthread-wmm/mix028_tso.yml true 26.41 14.33 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml OUT OF MEMORY 135.33 74.16 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml OUT OF MEMORY 175.30 93.61 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 153.36 88.07 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml OUT OF MEMORY 168.25 90.69 None pthread-wmm/mix030_tso.yml true 180.58 98.43 None pthread-wmm/mix031.oepc.yml true 13.71 7.41 None pthread-wmm/mix031.opt.yml true 11.78 6.46 None pthread-wmm/mix032.oepc.yml true 31.78 17.04 None pthread-wmm/mix032.opt.yml true 26.67 14.30 None pthread-wmm/mix033.opt.yml true 27.10 14.33 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml true 23.12 13.04 None pthread-wmm/mix033_tso.oepc.yml true 27.00 14.75 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 12.91 7.29 None pthread-wmm/mix034_pso.opt_tso.opt.yml true 12.68 7.18 None pthread-wmm/mix035.oepc.yml true 27.67 14.95 None pthread-wmm/mix035_power.opt_rmo.opt.yml true 19.11 10.43 None pthread-wmm/mix035_pso.opt_tso.opt.yml true 25.58 13.83 None pthread-wmm/mix036.oepc.yml OUT OF MEMORY 162.66 86.95 None pthread-wmm/mix036_power.opt_rmo.opt.yml true 185.36 102.00 None pthread-wmm/mix036_pso.opt_tso.opt.yml true 135.16 74.04 None pthread-wmm/mix037.opt.yml true 164.25 90.41 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 182.84 98.05 None pthread-wmm/mix037_tso.oepc.yml OUT OF MEMORY 142.12 81.43 None pthread-wmm/mix038.opt.yml true 24.85 13.14 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml true 26.69 14.06 None pthread-wmm/mix038_tso.oepc.yml true 29.26 15.34 None pthread-wmm/mix039.oepc.yml OUT OF MEMORY 154.28 83.45 None pthread-wmm/mix039.opt.yml true 168.37 91.30 None pthread-wmm/mix040.opt.yml true 176.71 97.38 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 134.30 73.67 None pthread-wmm/mix040_tso.oepc.yml OUT OF MEMORY 149.76 81.46 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml true 12.03 6.83 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 12.28 6.66 None pthread-wmm/mix042.oepc.yml true 29.21 15.84 None pthread-wmm/mix042.opt.yml true 24.72 13.12 None pthread-wmm/mix043.oepc.yml OUT OF MEMORY 146.31 85.90 None pthread-wmm/mix043.opt.yml OUT OF MEMORY 182.85 97.03 None pthread-wmm/mix044.opt.yml OUT OF MEMORY 164.61 94.19 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 145.64 86.42 None pthread-wmm/mix044_tso.oepc.yml OUT OF MEMORY 175.62 94.46 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml true 29.06 15.58 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 24.38 12.98 None pthread-wmm/mix046.oepc.yml OUT OF MEMORY 176.01 94.10 None pthread-wmm/mix046.opt.yml OUT OF MEMORY 185.27 98.83 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 159.73 85.89 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml OUT OF MEMORY 136.05 74.61 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 true 13.07 7.49 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 true 20.81 11.93 None pthread-wmm/mix050.yml OUT OF MEMORY 154.88 89.82 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml OUT OF MEMORY 175.21 94.33 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml true 119.45 67.46 None pthread-wmm/mix051_tso.oepc.yml OUT OF MEMORY 145.75 80.88 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 21.48 11.68 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml true 19.48 10.97 None pthread-wmm/mix052_tso.oepc.yml true 20.31 11.51 None pthread-wmm/mix053.opt.yml true 121.82 68.63 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 148.88 92.23 None pthread-wmm/mix053_tso.oepc.yml true 152.26 96.11 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 12.35 7.84 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 14.15 7.72 None pthread-wmm/mix055.opt.yml true 161.48 87.93 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 182.61 97.76 None pthread-wmm/mix055_tso.oepc.yml OUT OF MEMORY 169.58 97.68 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml true 28.48 15.16 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 23.32 12.58 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 144.57 79.25 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 158.66 86.92 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml true 14.09 7.52 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml true 13.85 7.94 None pthread-wmm/rfi000_tso.yml true 14.27 8.09 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml true 12.85 7.38 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 14.53 8.06 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 15.74 8.60 None pthread-wmm/rfi002_tso.yml true 16.13 8.56 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 14.39 7.91 None pthread-wmm/rfi003_tso.yml true 12.85 7.88 None pthread-wmm/rfi004.yml true 10.51 6.11 None pthread-wmm/rfi005.yml true 14.84 8.31 None pthread-wmm/rfi006_power.oepc.yml true 23.43 12.27 None pthread-wmm/rfi006_power.opt.yml true 24.79 13.03 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 27.11 14.65 None pthread-wmm/rfi006_rmo.yml true 18.58 11.06 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 10.50 6.11 None pthread-wmm/rfi007_tso.yml true 14.41 8.20 None pthread-wmm/rfi008.oepc.yml true 11.96 7.11 None pthread-wmm/rfi008.opt.yml true 11.50 6.67 None pthread-wmm/rfi009_power.oepc.yml true 23.14 12.50 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 20.50 13.08 None pthread-wmm/rfi009_rmo.oepc.yml true 23.78 12.83 None pthread-wmm/rfi010.yml true 14.14 7.85 None pthread-wmm/safe000_power.oepc.yml true 21.85 11.74 None pthread-wmm/safe000_power.opt.yml true 21.06 11.79 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.63 11.24 None pthread-wmm/safe000_rmo.yml true 26.95 14.10 None pthread-wmm/safe001_power.oepc.yml true 25.22 13.62 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 20.01 12.04 None pthread-wmm/safe001_rmo.oepc.yml true 21.54 11.57 None pthread-wmm/safe001_tso.yml true 19.69 10.92 None pthread-wmm/safe002_power.oepc.yml true 20.32 11.67 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 25.01 13.60 None pthread-wmm/safe002_rmo.oepc.yml true 27.18 14.46 None pthread-wmm/safe002_tso.yml true 18.73 10.05 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 21.67 12.45 None pthread-wmm/safe003_power.opt.yml true 25.67 13.67 None pthread-wmm/safe003_tso.yml true 15.34 8.38 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml true 20.00 11.69 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml true 19.16 10.85 None pthread-wmm/safe004_tso.yml true 21.11 11.55 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 17.85 9.70 None pthread-wmm/safe005_tso.yml true 19.60 10.85 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml true 11.00 6.95 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml true 11.46 6.46 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 10.30 5.71 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml true 10.33 5.88 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml true 18.63 11.24 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml true 19.05 12.01 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.80 9.41 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml true 23.06 12.60 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 23.56 12.79 None pthread-wmm/safe008_power.opt.yml true 19.65 10.63 None pthread-wmm/safe008_tso.yml true 19.79 10.43 None pthread-wmm/safe009_power.oepc.yml true 19.35 10.63 None pthread-wmm/safe009_power.opt.yml true 25.37 13.60 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 18.46 10.22 None pthread-wmm/safe009_rmo.oepc.yml true 23.85 12.73 None pthread-wmm/safe009_rmo.opt.yml true 18.89 10.61 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 11.95 7.68 None pthread-wmm/safe010_tso.yml true 8.68 5.24 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 26.31 14.11 None pthread-wmm/safe011_power.opt_pso.opt.yml true 20.22 11.92 None pthread-wmm/safe011_tso.yml true 14.67 8.05 None pthread-wmm/safe012_power.oepc.yml true 17.51 10.30 None pthread-wmm/safe012_power.opt.yml true 25.48 13.39 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml true 24.58 13.14 None pthread-wmm/safe012_rmo.oepc.yml true 17.42 9.47 None pthread-wmm/safe012_tso.yml true 18.89 10.00 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 22.41 12.14 None pthread-wmm/safe013_tso.yml true 16.82 10.08 None pthread-wmm/safe014_power.oepc.yml true 18.36 10.56 None pthread-wmm/safe014_power.opt.yml true 17.93 10.48 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.64 11.27 None pthread-wmm/safe014_rmo.oepc.yml true 23.09 12.41 None pthread-wmm/safe014_rmo.opt.yml true 19.69 10.80 None pthread-wmm/safe015_power.oepc.yml true 20.23 12.36 None pthread-wmm/safe015_power.opt.yml true 19.62 10.98 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.86 8.86 None pthread-wmm/safe015_rmo.yml true 24.46 13.21 None pthread-wmm/safe016_power.oepc.yml true 105.52 67.16 None pthread-wmm/safe016_power.opt.yml true 159.44 87.26 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 70.70 46.30 None pthread-wmm/safe016_rmo.oepc.yml true 106.84 59.61 None pthread-wmm/safe016_rmo.opt.yml true 157.60 85.61 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 24.20 13.05 None pthread-wmm/safe017_tso.yml true 14.17 7.94 None pthread-wmm/safe018_power.oepc.yml true 23.28 12.54 None pthread-wmm/safe018_power.opt.yml true 25.09 13.59 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.77 8.09 None pthread-wmm/safe018_rmo.oepc.yml true 17.01 10.22 None pthread-wmm/safe018_rmo.opt.yml true 17.85 9.72 None pthread-wmm/safe019_power.oepc.yml true 92.91 54.46 None pthread-wmm/safe019_power.opt.yml true 120.36 74.63 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 81.10 47.15 None pthread-wmm/safe019_rmo.oepc.yml true 92.55 53.01 None pthread-wmm/safe019_rmo.opt.yml true 144.79 78.53 None pthread-wmm/safe020_power.yml true 25.53 13.65 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.84 9.06 None pthread-wmm/safe020_rmo.yml true 19.09 10.31 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 26.63 14.32 None pthread-wmm/safe021_power.opt_pso.opt.yml true 20.23 11.59 None pthread-wmm/safe021_tso.yml true 21.34 11.44 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 10.25 6.16 None pthread-wmm/safe022_tso.yml true 11.77 6.70 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 22.07 12.07 None pthread-wmm/safe023_tso.yml true 16.18 9.70 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 25.54 13.69 None pthread-wmm/safe024_tso.yml true 21.73 11.47 None pthread-wmm/safe025_power.yml true 21.23 12.23 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.28 8.43 None pthread-wmm/safe025_rmo.yml true 20.58 12.19 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 25.05 13.60 None pthread-wmm/safe026_tso.yml true 18.83 10.20 None pthread-wmm/safe027_power.oepc.yml true 83.01 47.44 None pthread-wmm/safe027_power.opt.yml true 113.55 71.46 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 79.90 46.87 None pthread-wmm/safe027_rmo.yml true 96.40 53.47 None pthread-wmm/safe028_power.yml true 19.68 11.99 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.20 8.50 None pthread-wmm/safe028_rmo.yml true 25.06 13.43 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml true 11.61 7.24 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml true 13.33 7.19 None pthread-wmm/safe029_tso.yml true 8.34 5.11 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml true 19.34 10.57 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml true 18.84 10.59 None pthread-wmm/safe030_tso.yml true 15.53 9.63 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml true 25.25 13.74 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml true 19.53 11.09 None pthread-wmm/safe031_tso.yml true 20.50 11.16 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 19.58 11.69 None pthread-wmm/safe032_tso.yml true 14.99 8.43 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 10.30 6.22 None pthread-wmm/safe033_tso.yml true 9.16 5.60 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 18.24 11.07 None pthread-wmm/safe034_tso.yml true 19.34 10.63 None pthread-wmm/safe035_power.yml true 32.77 17.17 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 20.14 11.15 None pthread-wmm/safe036.yml true 11.33 6.46 None pthread-wmm/safe037.yml true 15.64 8.72 None pthread-wmm/thin002_power.oepc.yml true 110.01 68.91 None pthread-wmm/thin002_power.opt.yml true 120.33 68.59 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 98.56 55.27 None pthread-wmm/thin002_rmo.yml true 112.28 67.48 None pthread-lit/qw2004-1.yml true 11.63 7.35 None pthread-lit/qw2004-2b.yml true 14.78 8.18 None ldv-races/race-1_1-join.yml true 9.60 5.57 None ldv-races/race-1_2-join.yml true 7.66 5.07 None ldv-races/race-1_3-join.yml true 10.39 6.10 None ldv-races/race-2_1-container_of.yml TIMEOUT 901.78 686.96 None ldv-races/race-2_2-container_of.yml TIMEOUT 900.86 852.84 None ldv-races/race-2_3-container_of.yml TIMEOUT 900.63 685.90 None ldv-races/race-2_4-container_of.yml TIMEOUT 901.07 723.27 None ldv-races/race-2_5-container_of.yml TIMEOUT 901.16 724.41 None ldv-races/race-3_1-container_of-global.yml true 584.19 430.09 None ldv-races/race-3_2-container_of-global.yml true 440.82 316.68 None ldv-races/race-4_1-thread_local_vars.yml true 10.00 5.60 None ldv-races/race-4_2-thread_local_vars.yml true 10.03 5.85 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 53.35 30.93 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 53.58 31.64 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 159.83 94.24 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 156.70 84.97 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 168.40 92.15 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml OUT OF MEMORY 151.32 82.76 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml OUT OF MEMORY 130.15 76.11 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 110.15 63.66 None pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 8.87 5.25 None pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 11.13 6.25 None pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 10.56 5.95 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 10.29 6.23 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 8.54 5.49 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 8.94 5.63 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 8.90 5.58 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 9.19 5.63 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 10.30 6.14 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 9.39 5.83 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 10.21 6.48 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 9.23 5.25 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 10.88 6.29 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 9.34 5.76 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 9.03 5.52 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 10.97 5.92 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 11.57 6.63 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 11.56 6.32 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 11.28 6.20 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 10.52 6.07 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 10.81 6.45 None pthread-C-DAC/pthread-demo-datarace-1.yml OUT OF MEMORY 368.94 279.18 None pthread-C-DAC/pthread-demo-datarace-2.yml OUT OF MEMORY 248.07 195.04 None pthread-divine/condvar.yml true 10.57 6.31 None pthread-divine/condvar_spurious_wakeup.yml true 10.42 6.40 None pthread-divine/divinefifo-bug_1w1r.yml true 22.48 13.48 None pthread-divine/divinefifo_1w1r.yml true 22.30 12.25 None pthread-divine/ring_1w1r-1.yml TIMEOUT 900.54 837.70 None pthread-divine/ring_1w1r-2.yml TIMEOUT 901.38 700.63 None pthread-divine/ring_2w1r-1.yml OUT OF MEMORY 195.11 103.53 None pthread-divine/ring_2w1r-2.yml OUT OF MEMORY 141.22 77.23 None pthread-divine/tls_basic.yml unknown 5.59 3.89 None pthread-divine/tls_destructor_worker.yml unknown 5.48 3.24 None goblint-regression/04-mutex_02-simple_nr.yml true 8.23 5.35 None goblint-regression/04-mutex_04-munge_nr.yml true 12.64 7.74 None goblint-regression/04-mutex_05-lockfuns.yml true 8.53 5.69 None goblint-regression/04-mutex_07-ps_nr.yml true 8.92 5.62 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 19.16 12.58 None goblint-regression/04-mutex_12-ptr_nr.yml true 11.50 7.19 None goblint-regression/04-mutex_15-funarg_nr.yml true 8.20 5.19 None goblint-regression/04-mutex_17-ps_add1_nr.yml false(no-overflow) 8.36 5.09 None goblint-regression/04-mutex_18-glob_guards.yml true 6.53 4.30 None goblint-regression/04-mutex_22-deref_read.yml true 6.36 4.38 None goblint-regression/04-mutex_28-base_nr.yml true 7.56 4.56 None goblint-regression/04-mutex_41-pt_rwlock.yml true 7.45 4.72 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 8.87 5.53 None goblint-regression/04-mutex_43-thread_create_nr.yml true 8.28 4.76 None goblint-regression/04-mutex_46-escape_nr.yml false(no-overflow) 7.73 5.06 None goblint-regression/04-mutex_51-mutex_ptr.yml true 11.53 6.61 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 7.75 5.05 None goblint-regression/05-lval_ls_04-fld_nr.yml true 8.56 4.90 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 10.74 6.26 None goblint-regression/06-symbeq_11-equ_nr.yml false(no-overflow) 9.10 5.36 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 6.36 3.82 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 303.67 272.72 None goblint-regression/09-regions_02-list_nr.yml true 8.75 5.05 None goblint-regression/09-regions_04-list2_nr.yml true 25.46 15.42 None goblint-regression/09-regions_06-ptra_nr.yml true 9.06 5.19 None goblint-regression/09-regions_09-arraylist.yml true 8.94 5.29 None goblint-regression/09-regions_17-arrayloop_nr.yml true 30.26 17.13 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 902.02 857.77 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT 902.17 844.75 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 902.17 843.23 None goblint-regression/10-synch_01-thread_unique.yml true 6.37 4.05 None goblint-regression/10-synch_03-two_unique.yml true 6.70 4.18 None goblint-regression/13-privatized_01-priv_nr_true.yml true 10.27 6.35 None goblint-regression/13-privatized_03-priv_inv.yml true 6.40 4.08 None goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 171.49 94.34 None goblint-regression/13-privatized_18-first-reads_true.yml true 7.67 4.67 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml true 8.30 4.53 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml true 7.83 4.40 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml true 7.78 4.85 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml true 8.77 5.14 None goblint-regression/13-privatized_19-publish-precision_true.yml true 7.93 4.78 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml true 7.95 4.40 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml true 8.80 5.18 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml true 7.98 4.63 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml true 8.73 4.79 None goblint-regression/13-privatized_20-publish-regression_true.yml true 7.03 4.64 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 12.42 6.74 None goblint-regression/13-privatized_25-struct_nr_true.yml true 12.97 7.35 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 20.88 12.21 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 10.62 5.82 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 8.38 5.06 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 10.12 5.59 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 8.69 5.13 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 6.57 4.06 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 8.03 4.84 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 8.52 4.77 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 6.78 4.31 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 7.66 4.59 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 6.67 4.25 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 8.73 4.84 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml true 6.42 3.92 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml true 7.72 4.31 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 8.33 4.79 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 6.74 4.07 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 7.74 4.61 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 7.90 4.50 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 6.56 4.40 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 9.95 5.41 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 8.37 5.07 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 6.15 4.13 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 7.87 4.43 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml true 9.22 5.60 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml true 7.00 4.41 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml true 8.71 5.06 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 585.17 390.11 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml OUT OF MEMORY 676.10 503.52 None goblint-regression/28-race_reach_45-escape_racing.yml true 11.77 6.42 None goblint-regression/28-race_reach_46-escape_racefree.yml true 11.77 6.39 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 7.93 4.51 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 7.67 4.83 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml true 7.92 4.80 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml true 7.41 4.63 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 65.80 37.18 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true.yml false(no-overflow) 10.86 6.43 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 17.62 9.92 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml true 6.91 4.61 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml true 7.62 4.45 None weaver/array-eq-symm.wvr.yml true 36.68 23.45 None weaver/array-eq-trans.wvr.yml OUT OF MEMORY 445.80 257.86 None weaver/bench-exp1x3.wvr.yml true 6.47 4.24 None weaver/bench-exp2x3.wvr.yml true 7.49 4.86 None weaver/bench-exp2x4.wvr.yml true 6.85 4.43 None weaver/bench-exp2x6.wvr.yml true 6.76 4.47 None weaver/bench-exp2x9.wvr.yml true 6.83 4.16 None weaver/bench-exp3x3-opt.wvr.yml true 6.37 3.86 None weaver/bench-exp3x3.wvr.yml true 7.24 4.34 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 155.27 88.72 None weaver/chl-array-int-symm.wvr.yml OUT OF MEMORY 455.10 321.19 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 182.21 97.03 None weaver/chl-chromosome-opt-symm.wvr.yml true 34.98 21.57 None weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 163.30 94.24 None weaver/chl-chromosome-symm.wvr.yml OUT OF MEMORY 383.29 318.19 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 146.19 81.45 None weaver/chl-collitem-subst.wvr.yml true 62.79 34.23 None weaver/chl-collitem-symm.wvr.yml true 17.80 9.66 None weaver/chl-collitem-trans.wvr.yml true 48.96 28.10 None weaver/chl-exp-term-subst.wvr.yml OUT OF MEMORY 150.52 85.21 None weaver/chl-exp-term-symm.wvr.yml true 39.59 22.29 None weaver/chl-file-item-subst.wvr.yml OUT OF MEMORY 154.33 85.58 None weaver/chl-file-item-symm.wvr.yml true 48.65 27.34 None weaver/chl-file-item-trans.wvr.yml OUT OF MEMORY 158.49 87.46 None weaver/chl-match-subst.wvr.yml OUT OF MEMORY 115.16 64.26 None weaver/chl-match-symm.wvr.yml true 123.64 85.10 None weaver/chl-match-trans.wvr.yml OUT OF MEMORY 146.24 79.05 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 142.04 76.85 None weaver/chl-name-comparator-symm.wvr.yml OUT OF MEMORY 513.71 345.83 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 134.63 73.36 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 163.01 91.35 None weaver/chl-node-symm.wvr.yml OUT OF MEMORY 162.74 109.56 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 171.34 97.79 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 153.00 82.15 None weaver/chl-nzb-file-symm.wvr.yml TIMEOUT 902.50 521.63 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 114.24 68.15 None weaver/chl-simpl-str-subst.wvr.yml OUT OF MEMORY 192.92 102.72 None weaver/chl-simpl-str-symm.wvr.yml true 30.21 18.05 None weaver/chl-simpl-str-trans.wvr.yml OUT OF MEMORY 184.65 98.98 None weaver/chl-sre-subst.wvr.yml true 8.36 5.03 None weaver/chl-sre-symm.wvr.yml true 7.91 4.44 None weaver/chl-sre-trans.wvr.yml true 8.30 4.60 None weaver/chl-time-subst.wvr.yml true 16.43 9.21 None weaver/chl-time-symm.wvr.yml true 16.52 9.05 None weaver/chl-time-trans.wvr.yml true 16.96 11.20 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 169.78 91.77 None weaver/chl-word-symm.wvr.yml true 64.03 41.13 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 146.72 84.85 None weaver/clever.wvr.yml true 12.80 7.73 None weaver/fibonacci.wvr.yml TIMEOUT 913.53 556.51 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 902.02 863.10 None weaver/mult-comm.wvr.yml true 6.41 4.33 None weaver/mult-dist.wvr.yml true 6.36 4.05 None weaver/mult-flipped-dist.wvr.yml true 6.52 4.24 None weaver/parallel-bakery-2.wvr.yml true 10.99 7.13 None weaver/parallel-bakery-3.wvr.yml true 209.11 151.89 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 159.00 89.42 None weaver/parallel-barrier-loop.wvr.yml true 8.75 5.27 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 149.93 84.86 None weaver/parallel-bluetooth.wvr.yml true 11.75 6.51 None weaver/parallel-lamport.wvr.yml true 19.19 11.08 None weaver/parallel-min-max-1.wvr.yml true 35.19 22.14 None weaver/parallel-misc-1.wvr.yml OUT OF MEMORY 794.42 445.52 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 10.74 6.60 None weaver/parallel-misc-2-unrolled.wvr.yml true 8.73 4.79 None weaver/parallel-misc-2.wvr.yml true 6.16 4.02 None weaver/parallel-misc-3-extended.wvr.yml OUT OF MEMORY 323.46 175.51 None weaver/parallel-misc-3.wvr.yml OUT OF MEMORY 389.00 205.58 None weaver/parallel-misc-4.wvr.yml true 31.85 18.86 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 282.75 159.69 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 158.09 87.85 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 220.57 120.06 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 125.48 72.20 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT 901.49 601.04 None weaver/parallel-simple-equiv.wvr.yml true 7.51 4.47 None weaver/parallel-ticket-2.wvr.yml true 11.63 6.36 None weaver/parallel-ticket-3.wvr.yml true 17.37 9.34 None weaver/parallel-ticket-4.wvr.yml true 64.90 37.27 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 138.10 80.21 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 150.54 83.99 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 117.55 71.36 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 150.01 83.40 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 392.47 237.19 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 461.02 259.60 None weaver/popl20-bad-commit-1.wvr-bad.yml true 81.78 58.78 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 131.14 74.93 None weaver/popl20-bad-counter-queue.wvr.yml TIMEOUT 900.62 869.08 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 900.54 762.50 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 173.93 94.98 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 255.05 134.38 None weaver/popl20-bad-ring-nondet.wvr.yml TIMEOUT 902.10 544.74 None weaver/popl20-bad-ring.wvr.yml OUT OF MEMORY 212.31 154.23 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 6.49 4.19 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 166.44 89.56 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 901.02 755.28 None weaver/popl20-commit-1.wvr.yml true 71.32 45.62 None weaver/popl20-commit-2.wvr.yml OUT OF MEMORY 296.57 178.47 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 164.77 88.19 None weaver/popl20-counter-fun.wvr.yml true 35.38 24.07 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 155.72 83.60 None weaver/popl20-figure1-alt.wvr.yml OUT OF MEMORY 737.16 688.19 None weaver/popl20-figure1.wvr.yml OUT OF MEMORY 591.31 557.35 None weaver/popl20-figure3.wvr.yml true 6.26 3.88 None weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 373.27 304.97 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 507.56 274.69 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 201.03 108.94 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 511.06 283.46 None weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 493.61 339.36 None weaver/popl20-more-array-sum-alt2.wvr.yml OUT OF MEMORY 642.06 500.25 None weaver/popl20-more-array-sum.wvr.yml OUT OF MEMORY 323.52 228.83 None weaver/popl20-more-array-sum2.wvr.yml OUT OF MEMORY 163.13 113.71 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 539.33 295.95 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 407.43 232.76 None weaver/popl20-more-buffer-series.wvr.yml OUT OF MEMORY 310.13 172.91 None weaver/popl20-more-buffer-series2.wvr.yml OUT OF MEMORY 364.81 207.10 None weaver/popl20-more-dec-subseq.wvr.yml true 31.79 18.16 None weaver/popl20-more-inc-subseq.wvr.yml true 30.55 18.29 None weaver/popl20-more-max-array-hom.wvr.yml true 85.78 57.03 None weaver/popl20-more-max-array.wvr.yml true 100.80 63.08 None weaver/popl20-more-min-array-hom.wvr.yml true 107.49 66.42 None weaver/popl20-more-min-array.wvr.yml true 101.57 62.51 None weaver/popl20-more-min-le-max.wvr.yml true 32.78 20.53 None weaver/popl20-more-mts.wvr.yml OUT OF MEMORY 207.52 110.65 None weaver/popl20-more-multiply-verify.wvr.yml true 29.67 16.67 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml true 6.38 3.81 None weaver/popl20-more-parray-copy.wvr.yml true 102.75 66.61 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 901.54 741.08 None weaver/popl20-more-queue-add-3-nl.wvr.yml OUT OF MEMORY 377.25 256.61 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 524.23 285.14 None weaver/popl20-more-sum-array-hom.wvr.yml true 146.11 93.77 None weaver/popl20-more-vector-add.wvr.yml true 165.04 101.43 None weaver/popl20-mult-4.wvr.yml true 6.83 4.42 None weaver/popl20-mult-equiv.wvr.yml true 6.06 3.74 None weaver/popl20-nonblocking-cntr-alt.wvr.yml OUT OF MEMORY 866.95 788.95 None weaver/popl20-nonblocking-cntr.wvr.yml OUT OF MEMORY 590.01 544.75 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 534.88 301.85 None weaver/popl20-prod-cons.wvr.yml OUT OF MEMORY 828.88 678.51 None weaver/popl20-prod-cons3.wvr.yml OUT OF MEMORY 693.83 399.00 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 263.72 159.47 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 901.16 794.15 None weaver/popl20-queue-add-3.wvr.yml ERROR: EXCEPTION 347.22 243.94 None weaver/popl20-send-receive-alt.wvr.yml TIMEOUT 918.47 739.77 None weaver/popl20-send-receive.wvr.yml OUT OF MEMORY 462.63 361.80 None weaver/popl20-simple-array-sum.wvr.yml true 112.95 78.67 None weaver/popl20-simple-queue.wvr.yml true 15.25 9.41 None weaver/popl20-threaded-sum-3.wvr.yml true 8.35 5.13 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 513.84 362.55 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 624.93 402.51 None weaver/popl20-three-array-sum.wvr.yml true 203.88 134.48 None weaver/popl20-two-queue.wvr.yml TIMEOUT 900.90 722.22 None weaver/security.wvr.yml true 7.78 4.42 None weaver/spaghetti.wvr.yml true 8.20 4.54 None weaver/test-context1.wvr.yml true 39.69 24.01 None weaver/test-easy1.wvr.yml true 10.87 6.37 None weaver/test-easy10.wvr.yml true 8.72 5.25 None weaver/test-easy11.wvr.yml true 178.52 129.59 None weaver/test-easy6.wvr.yml true 13.69 7.49 None weaver/test-easy7.wvr.yml true 7.25 4.16 None weaver/test-hard1.wvr.yml true 15.91 9.07 None weaver/test-semi1.wvr.yml true 9.65 5.82 None weaver/unroll-2.wvr.yml true 13.00 7.86 None weaver/unroll-3.wvr.yml true 12.12 7.86 None weaver/unroll-4.wvr.yml true 12.87 7.57 None weaver/unroll-5.wvr.yml true 12.21 8.28 None weaver/unroll-cond-2.wvr.yml true 13.03 7.70 None weaver/unroll-cond-3.wvr.yml true 13.15 8.52 None weaver/unroll-cond-4.wvr.yml true 13.08 7.70 None weaver/unroll-cond-5.wvr.yml true 13.26 8.34 None pthread-deagle/airline-10.yml OUT OF MEMORY 259.80 145.59 None pthread-deagle/airline-15.yml OUT OF MEMORY 269.59 156.39 None pthread-deagle/airline-20.yml OUT OF MEMORY 247.36 137.99 None pthread-deagle/airline-25.yml OUT OF MEMORY 221.73 126.49 None pthread-deagle/airline-5.yml OUT OF MEMORY 275.52 154.10 None pthread-deagle/arithmetic_prog_bad.yml true 22.97 12.57 None pthread-deagle/arithmetic_prog_ok.yml true 18.27 10.92 None pthread-deagle/circular_buffer_bad.yml true 20.87 11.22 None pthread-deagle/circular_buffer_ok.yml true 16.89 10.60 None pthread-deagle/floating_read-10.yml OUT OF MEMORY 155.30 92.43 None pthread-deagle/floating_read-15.yml OUT OF MEMORY 186.16 108.13 None pthread-deagle/floating_read-20.yml OUT OF MEMORY 199.42 110.27 None pthread-deagle/floating_read-25.yml OUT OF MEMORY 158.13 93.04 None pthread-deagle/floating_read-5.yml OUT OF MEMORY 154.03 87.25 None pthread-deagle/reorder_c11_bad-10.yml OUT OF MEMORY 166.81 93.66 None pthread-deagle/reorder_c11_bad-20.yml OUT OF MEMORY 176.61 98.85 None pthread-deagle/reorder_c11_bad-30.yml OUT OF MEMORY 189.80 105.70 None pthread-deagle/reorder_c11_bad-40.yml OUT OF MEMORY 134.15 81.27 None pthread-deagle/reorder_c11_bad-50.yml OUT OF MEMORY 139.71 86.73 None pthread-deagle/reorder_c11_good-10.yml OUT OF MEMORY 155.23 96.02 None pthread-deagle/reorder_c11_good-20.yml OUT OF MEMORY 175.32 97.43 None pthread-deagle/reorder_c11_good-30.yml OUT OF MEMORY 145.04 82.56 None pthread-deagle/reorder_c11_good-40.yml OUT OF MEMORY 167.42 93.68 None pthread-deagle/reorder_c11_good-50.yml OUT OF MEMORY 159.50 88.83 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 85594.51 4394.24 - Automizer-PN.SVCOMP-Concurrency-NoOverflow Run set 2 of 7 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 true 7.25 4.74 None pthread/bigshot_s.yml true 9.22 5.26 None pthread/bigshot_s2.yml true 9.32 5.53 None pthread/fib_safe-10.yml OUT OF MEMORY 150.17 102.53 None pthread/fib_safe-11.yml OUT OF MEMORY 148.87 103.28 None pthread/fib_safe-12.yml OUT OF MEMORY 141.89 98.84 None pthread/fib_safe-5.yml OUT OF MEMORY 207.12 152.51 None pthread/fib_safe-6.yml OUT OF MEMORY 127.36 98.03 None pthread/fib_safe-7.yml OUT OF MEMORY 203.49 153.04 None pthread/fib_unsafe-10.yml OUT OF MEMORY 131.73 96.84 None pthread/fib_unsafe-11.yml OUT OF MEMORY 141.71 107.41 None pthread/fib_unsafe-12.yml OUT OF MEMORY 129.43 95.94 None pthread/fib_unsafe-5.yml OUT OF MEMORY 162.10 114.21 None pthread/fib_unsafe-6.yml OUT OF MEMORY 221.70 167.65 None pthread/fib_unsafe-7.yml OUT OF MEMORY 119.40 90.36 None pthread/lazy01.yml true 13.14 7.20 None pthread/queue.yml OUT OF MEMORY 211.25 146.86 None pthread/queue_longer.yml OUT OF MEMORY 213.44 148.65 None pthread/queue_longest.yml OUT OF MEMORY 202.58 159.06 None pthread/queue_ok.yml OUT OF MEMORY 889.12 826.23 None pthread/queue_ok_longer.yml ERROR: EXCEPTION 371.79 328.69 None pthread/queue_ok_longest.yml OUT OF MEMORY 735.98 678.39 None pthread/singleton.yml true 9.62 5.48 None pthread/singleton_with-uninit-problems.yml true 9.40 5.56 None pthread/stack-1.yml true 42.58 24.98 None pthread/stack-2.yml true 136.89 100.69 None pthread/stack_longer-1.yml OUT OF MEMORY 215.87 167.95 None pthread/stack_longer-2.yml OUT OF MEMORY 223.16 161.43 None pthread/stack_longest-1.yml OUT OF MEMORY 239.24 186.97 None pthread/stack_longest-2.yml OUT OF MEMORY 223.69 160.77 None pthread/stateful01-1.yml true 12.74 7.22 None pthread/stateful01-2.yml true 13.04 7.32 None pthread/sync01.yml true 11.49 6.32 None pthread/triangular-1.yml true 20.88 12.32 None pthread/triangular-2.yml true 22.79 13.31 None pthread/triangular-longer-1.yml true 27.98 16.03 None pthread/triangular-longer-2.yml true 28.19 16.46 None pthread/triangular-longest-1.yml true 163.27 118.99 None pthread/triangular-longest-2.yml true 184.48 126.47 None pthread-atomic/dekker.yml true 9.05 4.92 None pthread-atomic/gcd-2.yml true 8.57 5.31 None pthread-atomic/lamport.yml true 8.85 4.92 None pthread-atomic/peterson.yml true 8.48 5.16 None pthread-atomic/qrcu-1.yml OUT OF MEMORY 317.47 253.26 None pthread-atomic/qrcu-2.yml OUT OF MEMORY 355.27 283.47 None pthread-atomic/read_write_lock-1.yml true 14.18 7.85 None pthread-atomic/read_write_lock-2.yml true 17.33 9.53 None pthread-atomic/scull.yml OUT OF MEMORY 243.17 194.81 None pthread-atomic/szymanski.yml true 9.00 5.41 None pthread-atomic/time_var_mutex.yml true 8.31 5.10 None pthread-ext/01b_inc.yml true 8.66 5.28 None pthread-ext/17_szymanski.yml true 8.19 5.14 None pthread-ext/18_read_write_lock.yml true 10.31 5.71 None pthread-ext/23_lu-fig2.fixed.yml true 9.71 5.61 None pthread-wmm/mix000.oepc.yml true 13.96 7.79 None pthread-wmm/mix000.opt.yml true 14.08 7.92 None pthread-wmm/mix001.oepc.yml true 12.16 7.23 None pthread-wmm/mix001.opt.yml true 15.03 8.31 None pthread-wmm/mix002.oepc.yml true 11.67 6.60 None pthread-wmm/mix002.opt.yml true 14.50 8.08 None pthread-wmm/mix003.oepc.yml true 11.24 7.32 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml true 15.20 8.35 None pthread-wmm/mix004.oepc.yml true 22.21 11.84 None pthread-wmm/mix004.opt.yml true 17.64 9.99 None pthread-wmm/mix005.opt.yml true 13.46 8.19 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml true 23.01 12.38 None pthread-wmm/mix005_tso.oepc.yml true 23.31 12.20 None pthread-wmm/mix006.opt.yml true 11.25 6.82 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml true 15.05 8.96 None pthread-wmm/mix006_tso.oepc.yml true 15.10 8.50 None pthread-wmm/mix007.oepc.yml true 22.75 12.38 None pthread-wmm/mix007.opt.yml true 19.89 11.04 None pthread-wmm/mix008.opt.yml true 14.15 8.37 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml true 22.20 12.86 None pthread-wmm/mix008_tso.oepc.yml true 23.75 13.10 None pthread-wmm/mix009.oepc.yml true 12.59 7.11 None pthread-wmm/mix009.opt.yml true 12.20 6.57 None pthread-wmm/mix010.oepc.yml true 11.30 7.27 None pthread-wmm/mix010.opt.yml true 11.86 6.51 None pthread-wmm/mix011.opt.yml true 15.41 8.45 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml true 15.64 8.63 None pthread-wmm/mix011_tso.oepc.yml true 15.01 8.38 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 12.32 6.98 None pthread-wmm/mix012_pso.opt_tso.opt.yml true 10.12 7.16 None pthread-wmm/mix013.oepc.yml true 21.78 12.87 None pthread-wmm/mix013.opt.yml true 14.42 7.92 None pthread-wmm/mix014.opt.yml true 14.24 8.21 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml true 23.38 12.54 None pthread-wmm/mix014_tso.oepc.yml true 34.35 18.72 None pthread-wmm/mix015.oepc.yml true 15.58 8.48 None pthread-wmm/mix015.opt.yml true 13.66 7.27 None pthread-wmm/mix016.oepc.yml true 10.96 7.11 None pthread-wmm/mix016_power.opt_rmo.opt.yml true 11.48 6.39 None pthread-wmm/mix016_pso.opt_tso.opt.yml true 11.25 6.31 None pthread-wmm/mix017.oepc.yml true 20.01 10.64 None pthread-wmm/mix017_power.opt_rmo.opt.yml true 18.80 11.07 None pthread-wmm/mix017_pso.opt_tso.opt.yml true 18.79 10.65 None pthread-wmm/mix018.opt.yml true 13.84 8.10 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml true 16.68 9.08 None pthread-wmm/mix018_tso.oepc.yml true 23.60 12.71 None pthread-wmm/mix019.opt.yml true 11.59 6.43 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml true 15.54 8.48 None pthread-wmm/mix019_tso.oepc.yml true 11.80 6.79 None pthread-wmm/mix020.oepc.yml true 16.39 9.76 None pthread-wmm/mix020.opt.yml true 17.20 9.39 None pthread-wmm/mix021.opt.yml true 15.01 8.32 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml true 21.90 11.72 None pthread-wmm/mix021_tso.oepc.yml true 22.50 12.92 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 13.80 7.69 None pthread-wmm/mix022_tso.yml true 11.42 6.41 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml true 22.01 12.01 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml true 14.38 8.23 None pthread-wmm/mix023_tso.yml true 33.83 19.11 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 11.45 6.88 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml true 14.12 8.18 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 15.55 8.61 None pthread-wmm/mix025_pso.opt_rmo.opt.yml true 11.64 6.63 None pthread-wmm/mix026.oepc.yml true 21.78 12.34 None pthread-wmm/mix026_power.opt_tso.opt.yml true 16.28 9.99 None pthread-wmm/mix026_pso.opt_rmo.opt.yml true 14.94 8.28 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml true 22.57 12.19 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml true 15.41 8.77 None pthread-wmm/mix027_tso.yml true 24.05 12.75 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 15.48 8.66 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml true 12.02 6.92 None pthread-wmm/mix028_tso.yml true 15.22 8.86 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 16.86 10.38 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml true 22.15 11.88 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml true 18.45 9.86 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml true 21.92 11.83 None pthread-wmm/mix030_tso.yml true 22.10 11.90 None pthread-wmm/mix031.oepc.yml true 10.05 6.08 None pthread-wmm/mix031.opt.yml true 12.32 7.08 None pthread-wmm/mix032.oepc.yml true 14.45 8.30 None pthread-wmm/mix032.opt.yml true 11.18 6.49 None pthread-wmm/mix033.opt.yml true 10.67 6.13 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml true 11.75 6.72 None pthread-wmm/mix033_tso.oepc.yml true 14.13 7.83 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 12.48 6.81 None pthread-wmm/mix034_pso.opt_tso.opt.yml true 13.08 7.34 None pthread-wmm/mix035.oepc.yml true 15.87 8.71 None pthread-wmm/mix035_power.opt_rmo.opt.yml true 11.03 6.92 None pthread-wmm/mix035_pso.opt_tso.opt.yml true 14.00 9.22 None pthread-wmm/mix036.oepc.yml true 18.01 10.03 None pthread-wmm/mix036_power.opt_rmo.opt.yml true 14.34 8.21 None pthread-wmm/mix036_pso.opt_tso.opt.yml true 16.95 9.38 None pthread-wmm/mix037.opt.yml true 16.58 8.86 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml true 22.63 12.36 None pthread-wmm/mix037_tso.oepc.yml true 17.46 10.02 None pthread-wmm/mix038.opt.yml true 14.35 7.99 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml true 14.83 9.30 None pthread-wmm/mix038_tso.oepc.yml true 12.42 7.12 None pthread-wmm/mix039.oepc.yml true 17.91 9.72 None pthread-wmm/mix039.opt.yml true 16.02 8.80 None pthread-wmm/mix040.opt.yml true 17.28 9.32 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml true 22.19 11.80 None pthread-wmm/mix040_tso.oepc.yml true 14.91 8.71 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml true 10.17 5.91 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 13.14 7.09 None pthread-wmm/mix042.oepc.yml true 14.71 9.15 None pthread-wmm/mix042.opt.yml true 14.99 8.31 None pthread-wmm/mix043.oepc.yml true 18.14 10.31 None pthread-wmm/mix043.opt.yml true 17.26 9.52 None pthread-wmm/mix044.opt.yml true 18.95 10.44 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml true 17.08 9.53 None pthread-wmm/mix044_tso.oepc.yml true 23.91 12.57 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml true 12.26 7.13 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 15.12 9.54 None pthread-wmm/mix046.oepc.yml true 23.29 12.49 None pthread-wmm/mix046.opt.yml true 19.83 10.44 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml true 17.44 9.46 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 19.30 10.82 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 true 10.21 6.60 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 true 14.58 8.25 None pthread-wmm/mix050.yml true 16.68 9.59 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 19.87 11.94 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml true 17.48 9.63 None pthread-wmm/mix051_tso.oepc.yml true 25.63 13.48 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 11.43 7.01 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml true 10.98 6.39 None pthread-wmm/mix052_tso.oepc.yml true 15.73 8.79 None pthread-wmm/mix053.opt.yml true 16.59 8.91 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml true 19.87 10.79 None pthread-wmm/mix053_tso.oepc.yml true 16.37 9.57 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 9.97 6.95 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 10.28 6.18 None pthread-wmm/mix055.opt.yml true 21.34 11.22 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml true 15.57 8.54 None pthread-wmm/mix055_tso.oepc.yml true 21.45 14.24 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml true 15.87 8.57 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 13.93 7.78 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml true 16.94 9.52 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 18.81 10.40 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml true 11.42 6.35 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml true 12.46 7.07 None pthread-wmm/rfi000_tso.yml true 10.99 7.08 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml true 10.84 6.13 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 12.78 7.40 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 15.54 8.61 None pthread-wmm/rfi002_tso.yml true 16.28 9.19 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 13.23 7.44 None pthread-wmm/rfi003_tso.yml true 12.20 7.17 None pthread-wmm/rfi004.yml true 11.49 6.56 None pthread-wmm/rfi005.yml true 10.58 7.49 None pthread-wmm/rfi006_power.oepc.yml true 12.74 7.27 None pthread-wmm/rfi006_power.opt.yml true 17.69 9.89 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.41 9.89 None pthread-wmm/rfi006_rmo.yml true 12.37 6.89 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 13.28 7.67 None pthread-wmm/rfi007_tso.yml true 14.17 8.05 None pthread-wmm/rfi008.oepc.yml true 14.15 7.92 None pthread-wmm/rfi008.opt.yml true 10.84 6.41 None pthread-wmm/rfi009_power.oepc.yml true 15.99 8.99 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 15.05 8.44 None pthread-wmm/rfi009_rmo.oepc.yml true 12.07 7.48 None pthread-wmm/rfi010.yml true 10.70 6.21 None pthread-wmm/safe000_power.oepc.yml true 13.37 7.50 None pthread-wmm/safe000_power.opt.yml true 17.90 9.74 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.95 6.89 None pthread-wmm/safe000_rmo.yml true 16.90 10.02 None pthread-wmm/safe001_power.oepc.yml true 14.28 7.79 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 15.60 8.45 None pthread-wmm/safe001_rmo.oepc.yml true 17.78 9.70 None pthread-wmm/safe001_tso.yml true 9.65 5.57 None pthread-wmm/safe002_power.oepc.yml true 17.83 9.61 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 11.19 7.65 None pthread-wmm/safe002_rmo.oepc.yml true 16.02 8.56 None pthread-wmm/safe002_tso.yml true 8.91 5.15 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 17.88 9.52 None pthread-wmm/safe003_power.opt.yml true 14.73 8.60 None pthread-wmm/safe003_tso.yml true 9.46 5.28 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml true 17.64 9.58 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml true 15.74 8.58 None pthread-wmm/safe004_tso.yml true 9.72 5.52 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 14.12 8.83 None pthread-wmm/safe005_tso.yml true 9.37 6.78 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml true 14.10 8.06 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml true 13.47 7.54 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 10.58 6.24 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml true 10.77 6.48 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml true 12.53 6.94 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml true 16.38 8.97 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.87 6.80 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml true 13.17 7.32 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 12.49 8.28 None pthread-wmm/safe008_power.opt.yml true 18.40 10.07 None pthread-wmm/safe008_tso.yml true 12.18 6.78 None pthread-wmm/safe009_power.oepc.yml true 15.73 9.85 None pthread-wmm/safe009_power.opt.yml true 17.37 9.53 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.82 6.66 None pthread-wmm/safe009_rmo.oepc.yml true 17.14 9.39 None pthread-wmm/safe009_rmo.opt.yml true 12.75 7.04 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 13.69 8.10 None pthread-wmm/safe010_tso.yml true 11.06 6.43 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 12.57 7.38 None pthread-wmm/safe011_power.opt_pso.opt.yml true 15.24 8.43 None pthread-wmm/safe011_tso.yml true 12.03 7.01 None pthread-wmm/safe012_power.oepc.yml true 12.03 8.52 None pthread-wmm/safe012_power.opt.yml true 16.62 9.21 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml true 11.90 6.58 None pthread-wmm/safe012_rmo.oepc.yml true 15.81 8.81 None pthread-wmm/safe012_tso.yml true 11.40 6.55 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 15.10 9.15 None pthread-wmm/safe013_tso.yml true 12.91 7.35 None pthread-wmm/safe014_power.oepc.yml true 16.19 8.95 None pthread-wmm/safe014_power.opt.yml true 16.07 9.26 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 10.19 6.22 None pthread-wmm/safe014_rmo.oepc.yml true 15.33 8.65 None pthread-wmm/safe014_rmo.opt.yml true 17.99 9.85 None pthread-wmm/safe015_power.oepc.yml true 14.64 8.01 None pthread-wmm/safe015_power.opt.yml true 13.89 8.47 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.82 7.00 None pthread-wmm/safe015_rmo.yml true 16.89 8.96 None pthread-wmm/safe016_power.oepc.yml true 23.99 12.84 None pthread-wmm/safe016_power.opt.yml true 27.42 14.76 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.20 6.62 None pthread-wmm/safe016_rmo.oepc.yml true 20.90 12.62 None pthread-wmm/safe016_rmo.opt.yml true 25.50 13.81 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 11.99 6.69 None pthread-wmm/safe017_tso.yml true 11.39 6.34 None pthread-wmm/safe018_power.oepc.yml true 11.62 6.47 None pthread-wmm/safe018_power.opt.yml true 18.06 9.75 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 9.74 6.06 None pthread-wmm/safe018_rmo.oepc.yml true 14.71 8.23 None pthread-wmm/safe018_rmo.opt.yml true 15.48 8.56 None pthread-wmm/safe019_power.oepc.yml true 18.71 10.14 None pthread-wmm/safe019_power.opt.yml true 22.61 12.58 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.05 6.59 None pthread-wmm/safe019_rmo.oepc.yml true 16.84 9.71 None pthread-wmm/safe019_rmo.opt.yml true 19.04 11.85 None pthread-wmm/safe020_power.yml true 18.19 10.12 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.46 7.37 None pthread-wmm/safe020_rmo.yml true 17.20 9.46 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 15.75 8.40 None pthread-wmm/safe021_power.opt_pso.opt.yml true 15.99 8.66 None pthread-wmm/safe021_tso.yml true 11.89 6.96 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 12.77 7.21 None pthread-wmm/safe022_tso.yml true 10.74 5.92 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 15.53 9.01 None pthread-wmm/safe023_tso.yml true 11.74 7.74 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 11.53 6.44 None pthread-wmm/safe024_tso.yml true 12.17 7.11 None pthread-wmm/safe025_power.yml true 14.36 7.90 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.65 6.69 None pthread-wmm/safe025_rmo.yml true 16.96 9.17 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 16.21 8.50 None pthread-wmm/safe026_tso.yml true 12.18 7.08 None pthread-wmm/safe027_power.oepc.yml true 17.58 12.44 None pthread-wmm/safe027_power.opt.yml true 28.13 15.14 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.44 7.59 None pthread-wmm/safe027_rmo.yml true 17.71 9.95 None pthread-wmm/safe028_power.yml true 13.69 7.93 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.36 7.65 None pthread-wmm/safe028_rmo.yml true 17.35 9.63 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml true 13.50 7.55 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml true 10.19 5.85 None pthread-wmm/safe029_tso.yml true 11.85 6.81 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml true 15.75 8.36 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml true 15.39 8.67 None pthread-wmm/safe030_tso.yml true 11.74 6.33 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml true 11.73 6.87 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml true 11.52 7.48 None pthread-wmm/safe031_tso.yml true 11.47 7.01 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 15.90 9.00 None pthread-wmm/safe032_tso.yml true 9.42 5.71 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 13.11 7.42 None pthread-wmm/safe033_tso.yml true 11.37 6.75 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 13.62 7.82 None pthread-wmm/safe034_tso.yml true 11.81 6.79 None pthread-wmm/safe035_power.yml true 22.65 12.34 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 11.74 6.70 None pthread-wmm/safe036.yml true 11.19 6.51 None pthread-wmm/safe037.yml true 9.39 5.40 None pthread-wmm/thin002_power.oepc.yml true 15.88 8.84 None pthread-wmm/thin002_power.opt.yml true 17.75 11.15 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.72 8.66 None pthread-wmm/thin002_rmo.yml true 19.81 10.43 None pthread-lit/qw2004-1.yml true 13.35 7.40 None pthread-lit/qw2004-2b.yml true 14.51 8.32 None ldv-races/race-1_1-join.yml true 10.53 6.06 None ldv-races/race-1_2-join.yml true 9.85 5.68 None ldv-races/race-1_3-join.yml true 10.45 6.26 None ldv-races/race-2_1-container_of.yml OUT OF MEMORY 201.77 143.31 None ldv-races/race-2_2-container_of.yml OUT OF MEMORY 377.82 306.12 None ldv-races/race-2_3-container_of.yml OUT OF MEMORY 174.44 124.54 None ldv-races/race-2_4-container_of.yml OUT OF MEMORY 200.44 152.77 None ldv-races/race-2_5-container_of.yml OUT OF MEMORY 183.10 130.68 None ldv-races/race-3_1-container_of-global.yml OUT OF MEMORY 206.43 147.17 None ldv-races/race-3_2-container_of-global.yml OUT OF MEMORY 464.33 393.19 None ldv-races/race-4_1-thread_local_vars.yml true 9.88 5.74 None ldv-races/race-4_2-thread_local_vars.yml true 10.39 6.18 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 61.02 35.13 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 47.29 30.65 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 303.27 184.75 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 343.93 190.53 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 422.34 258.68 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml OUT OF MEMORY 308.68 222.50 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml OUT OF MEMORY 214.67 152.23 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 916.60 579.71 None pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 11.41 6.23 None pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 12.61 6.78 None pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 12.74 7.47 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 13.92 7.39 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 12.73 7.06 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 13.11 7.12 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 12.73 7.29 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 10.79 6.66 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 16.51 8.59 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 16.12 8.62 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 12.84 7.09 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 10.24 6.23 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 15.44 8.51 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 11.98 6.63 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 9.29 5.71 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 13.44 7.90 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 12.13 7.19 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 15.54 8.22 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 12.03 6.69 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 14.28 7.70 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 12.51 7.03 None pthread-C-DAC/pthread-demo-datarace-1.yml OUT OF MEMORY 250.57 181.93 None pthread-C-DAC/pthread-demo-datarace-2.yml OUT OF MEMORY 216.24 165.82 None pthread-divine/condvar.yml true 11.94 7.04 None pthread-divine/condvar_spurious_wakeup.yml true 11.00 6.60 None pthread-divine/divinefifo-bug_1w1r.yml true 18.39 10.40 None pthread-divine/divinefifo_1w1r.yml true 14.08 8.04 None pthread-divine/ring_1w1r-1.yml OUT OF MEMORY 154.28 107.87 None pthread-divine/ring_1w1r-2.yml OUT OF MEMORY 285.28 221.10 None pthread-divine/ring_2w1r-1.yml OUT OF MEMORY 116.95 75.29 None pthread-divine/ring_2w1r-2.yml OUT OF MEMORY 115.19 81.05 None pthread-divine/tls_basic.yml unknown 7.45 4.21 None pthread-divine/tls_destructor_worker.yml unknown 7.08 4.32 None goblint-regression/04-mutex_02-simple_nr.yml true 11.47 6.44 None goblint-regression/04-mutex_04-munge_nr.yml true 17.20 9.59 None goblint-regression/04-mutex_05-lockfuns.yml true 12.45 7.24 None goblint-regression/04-mutex_07-ps_nr.yml true 12.84 7.26 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 22.51 13.69 None goblint-regression/04-mutex_12-ptr_nr.yml true 16.16 8.94 None goblint-regression/04-mutex_15-funarg_nr.yml true 12.24 6.96 None goblint-regression/04-mutex_17-ps_add1_nr.yml false(no-overflow) 9.04 5.70 None goblint-regression/04-mutex_18-glob_guards.yml true 6.79 4.45 None goblint-regression/04-mutex_22-deref_read.yml true 8.66 5.40 None goblint-regression/04-mutex_28-base_nr.yml true 7.82 5.11 None goblint-regression/04-mutex_41-pt_rwlock.yml true 8.17 5.22 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 12.32 7.15 None goblint-regression/04-mutex_43-thread_create_nr.yml true 8.60 5.39 None goblint-regression/04-mutex_46-escape_nr.yml false(no-overflow) 8.04 5.32 None goblint-regression/04-mutex_51-mutex_ptr.yml true 17.55 9.72 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 8.31 4.84 None goblint-regression/05-lval_ls_04-fld_nr.yml true 12.48 7.11 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 11.70 7.32 None goblint-regression/06-symbeq_11-equ_nr.yml false(no-overflow) 7.90 5.43 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 8.15 4.77 None goblint-regression/06-symbeq_15-list_entry_nr.yml TIMEOUT 901.43 751.14 None goblint-regression/09-regions_02-list_nr.yml true 9.36 5.48 None goblint-regression/09-regions_04-list2_nr.yml true 33.14 19.46 None goblint-regression/09-regions_06-ptra_nr.yml true 7.20 4.69 None goblint-regression/09-regions_09-arraylist.yml true 7.21 4.55 None goblint-regression/09-regions_17-arrayloop_nr.yml true 23.63 13.85 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 901.96 851.14 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT 901.99 871.99 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 902.17 876.64 None goblint-regression/10-synch_01-thread_unique.yml true 6.24 4.05 None goblint-regression/10-synch_03-two_unique.yml true 8.15 4.76 None goblint-regression/13-privatized_01-priv_nr_true.yml true 10.07 5.76 None goblint-regression/13-privatized_03-priv_inv.yml true 8.73 5.15 None goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 120.75 75.89 None goblint-regression/13-privatized_18-first-reads_true.yml true 7.82 4.89 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml true 8.59 4.81 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml true 5.91 3.98 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml true 8.07 4.50 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml true 6.29 3.70 None goblint-regression/13-privatized_19-publish-precision_true.yml true 8.32 5.04 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml true 7.88 4.63 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml true 6.51 4.11 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml true 8.23 4.90 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml true 6.30 3.80 None goblint-regression/13-privatized_20-publish-regression_true.yml true 8.11 4.46 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 13.40 7.51 None goblint-regression/13-privatized_25-struct_nr_true.yml true 9.83 5.88 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 12.04 6.75 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 11.83 6.74 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 6.43 3.76 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 9.80 5.46 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 6.72 4.00 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 8.83 5.38 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 7.94 4.68 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 6.58 3.94 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 6.28 3.76 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 7.75 4.69 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 8.88 5.29 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 6.64 3.99 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml true 7.78 4.36 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml true 8.37 4.88 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 8.33 4.93 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 6.55 3.83 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 8.02 4.47 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 8.93 5.03 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 8.60 5.06 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 7.86 4.46 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 7.66 4.70 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 8.91 5.30 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 8.37 4.90 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml true 6.84 4.50 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml true 8.60 4.97 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml true 9.34 5.42 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 180.87 144.98 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml OUT OF MEMORY 308.39 242.38 None goblint-regression/28-race_reach_45-escape_racing.yml true 12.94 7.13 None goblint-regression/28-race_reach_46-escape_racefree.yml true 11.82 6.49 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 8.66 5.06 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 8.12 4.60 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml true 7.80 4.41 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml true 8.73 5.16 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 11.09 6.44 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true.yml false(no-overflow) 11.92 6.78 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 17.78 9.51 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml true 6.62 4.34 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml true 8.41 4.96 None weaver/array-eq-symm.wvr.yml true 44.01 31.05 None weaver/array-eq-trans.wvr.yml OUT OF MEMORY 131.59 91.18 None weaver/bench-exp1x3.wvr.yml true 6.16 3.52 None weaver/bench-exp2x3.wvr.yml true 7.94 4.44 None weaver/bench-exp2x4.wvr.yml true 6.28 4.11 None weaver/bench-exp2x6.wvr.yml true 8.48 4.71 None weaver/bench-exp2x9.wvr.yml true 8.12 4.55 None weaver/bench-exp3x3-opt.wvr.yml true 6.32 4.10 None weaver/bench-exp3x3.wvr.yml true 8.57 5.12 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 131.88 102.30 None weaver/chl-array-int-symm.wvr.yml OUT OF MEMORY 201.18 137.33 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 107.89 78.48 None weaver/chl-chromosome-opt-symm.wvr.yml true 44.78 25.08 None weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 220.37 160.31 None weaver/chl-chromosome-symm.wvr.yml OUT OF MEMORY 550.04 447.79 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 281.68 184.58 None weaver/chl-collitem-subst.wvr.yml true 75.52 50.99 None weaver/chl-collitem-symm.wvr.yml true 20.29 11.03 None weaver/chl-collitem-trans.wvr.yml true 86.30 64.17 None weaver/chl-exp-term-subst.wvr.yml true 31.11 17.91 None weaver/chl-exp-term-symm.wvr.yml true 15.26 8.56 None weaver/chl-file-item-subst.wvr.yml true 34.27 21.47 None weaver/chl-file-item-symm.wvr.yml true 15.80 8.66 None weaver/chl-file-item-trans.wvr.yml true 33.58 19.53 None weaver/chl-match-subst.wvr.yml true 101.45 71.48 None weaver/chl-match-symm.wvr.yml true 36.06 19.02 None weaver/chl-match-trans.wvr.yml true 93.19 74.93 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 160.59 118.00 None weaver/chl-name-comparator-symm.wvr.yml OUT OF MEMORY 152.51 117.79 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 330.20 218.33 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 151.78 115.55 None weaver/chl-node-symm.wvr.yml OUT OF MEMORY 125.80 90.73 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 150.75 114.63 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 123.58 86.10 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 315.49 246.09 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 555.29 418.47 None weaver/chl-simpl-str-subst.wvr.yml true 27.70 15.41 None weaver/chl-simpl-str-symm.wvr.yml true 14.50 8.01 None weaver/chl-simpl-str-trans.wvr.yml true 32.41 17.37 None weaver/chl-sre-subst.wvr.yml true 6.63 4.39 None weaver/chl-sre-symm.wvr.yml true 6.04 4.13 None weaver/chl-sre-trans.wvr.yml true 6.38 4.04 None weaver/chl-time-subst.wvr.yml true 23.83 12.74 None weaver/chl-time-symm.wvr.yml true 12.67 7.11 None weaver/chl-time-trans.wvr.yml true 17.49 10.12 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 130.52 94.71 None weaver/chl-word-symm.wvr.yml true 101.49 69.56 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 320.96 223.39 None weaver/clever.wvr.yml true 15.50 8.89 None weaver/fibonacci.wvr.yml OUT OF MEMORY 215.92 159.84 None weaver/loop-tiling-eq.wvr.yml OUT OF MEMORY 264.11 220.91 None weaver/mult-comm.wvr.yml true 6.25 4.01 None weaver/mult-dist.wvr.yml true 5.72 3.78 None weaver/mult-flipped-dist.wvr.yml true 5.76 3.95 None weaver/parallel-bakery-2.wvr.yml true 11.40 6.33 None weaver/parallel-bakery-3.wvr.yml OUT OF MEMORY 135.24 101.28 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 148.06 105.46 None weaver/parallel-barrier-loop.wvr.yml true 8.60 5.18 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 130.27 92.51 None weaver/parallel-bluetooth.wvr.yml true 10.76 6.52 None weaver/parallel-lamport.wvr.yml true 21.97 12.29 None weaver/parallel-min-max-1.wvr.yml true 36.27 23.27 None weaver/parallel-misc-1.wvr.yml OUT OF MEMORY 125.38 88.63 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 9.73 5.50 None weaver/parallel-misc-2-unrolled.wvr.yml true 6.33 3.88 None weaver/parallel-misc-2.wvr.yml true 6.09 3.72 None weaver/parallel-misc-3-extended.wvr.yml OUT OF MEMORY 210.17 141.17 None weaver/parallel-misc-3.wvr.yml OUT OF MEMORY 185.71 122.94 None weaver/parallel-misc-4.wvr.yml true 36.73 21.14 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 221.55 169.50 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 100.89 69.21 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 90.64 63.78 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 91.19 64.95 None weaver/parallel-parallel-sum-equiv.wvr.yml OUT OF MEMORY 149.39 114.37 None weaver/parallel-simple-equiv.wvr.yml true 7.47 4.46 None weaver/parallel-ticket-2.wvr.yml true 10.86 6.40 None weaver/parallel-ticket-3.wvr.yml true 14.75 7.85 None weaver/parallel-ticket-4.wvr.yml true 28.99 14.96 None weaver/parallel-ticket-5.wvr.yml true 86.30 61.52 None weaver/parallel-ticket-6.wvr.yml TIMEOUT 916.55 528.85 None weaver/parallel-ticket-7.wvr.yml TIMEOUT 914.85 534.75 None weaver/parallel-ticket-8.wvr.yml TIMEOUT 909.54 562.53 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 101.30 72.82 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 151.85 121.11 None weaver/popl20-bad-commit-1.wvr-bad.yml true 76.63 53.85 None weaver/popl20-bad-commit-2.wvr-bad.yml true 255.35 190.12 None weaver/popl20-bad-counter-queue.wvr.yml OUT OF MEMORY 261.05 197.56 None weaver/popl20-bad-counter-queue2.wvr.yml OUT OF MEMORY 355.59 274.12 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 134.39 106.08 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 125.43 87.81 None weaver/popl20-bad-ring-nondet.wvr.yml OUT OF MEMORY 125.22 98.75 None weaver/popl20-bad-ring.wvr.yml OUT OF MEMORY 117.20 90.71 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 6.91 4.78 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 270.90 203.04 None weaver/popl20-channel-sum.wvr.yml OUT OF MEMORY 207.95 149.91 None weaver/popl20-commit-1.wvr.yml true 73.22 45.96 None weaver/popl20-commit-2.wvr.yml true 194.26 165.42 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 120.93 90.70 None weaver/popl20-counter-fun.wvr.yml true 79.93 62.26 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 174.38 129.53 None weaver/popl20-figure1-alt.wvr.yml OUT OF MEMORY 168.74 128.07 None weaver/popl20-figure1.wvr.yml OUT OF MEMORY 232.94 171.22 None weaver/popl20-figure3.wvr.yml true 7.62 4.31 None weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 161.08 113.44 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 142.24 107.03 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 147.56 105.39 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 119.29 87.44 None weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 156.18 116.93 None weaver/popl20-more-array-sum-alt2.wvr.yml OUT OF MEMORY 131.99 103.79 None weaver/popl20-more-array-sum.wvr.yml OUT OF MEMORY 271.71 218.95 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 901.32 847.17 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 118.09 90.62 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 106.27 81.96 None weaver/popl20-more-buffer-series.wvr.yml OUT OF MEMORY 109.10 80.12 None weaver/popl20-more-buffer-series2.wvr.yml OUT OF MEMORY 138.09 112.07 None weaver/popl20-more-dec-subseq.wvr.yml true 26.74 16.11 None weaver/popl20-more-inc-subseq.wvr.yml true 33.89 19.34 None weaver/popl20-more-max-array-hom.wvr.yml true 50.64 35.72 None weaver/popl20-more-max-array.wvr.yml true 60.18 39.76 None weaver/popl20-more-min-array-hom.wvr.yml true 62.93 41.98 None weaver/popl20-more-min-array.wvr.yml true 48.89 33.65 None weaver/popl20-more-min-le-max.wvr.yml true 43.61 25.23 None weaver/popl20-more-mts.wvr.yml OUT OF MEMORY 132.17 84.66 None weaver/popl20-more-multiply-verify.wvr.yml true 14.64 9.46 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml true 7.93 4.90 None weaver/popl20-more-parray-copy.wvr.yml true 40.99 28.38 None weaver/popl20-more-queue-add-2-nl.wvr.yml OUT OF MEMORY 373.19 304.66 None weaver/popl20-more-queue-add-3-nl.wvr.yml OUT OF MEMORY 138.83 96.00 None weaver/popl20-more-sorted.wvr.yml true 93.99 73.51 None weaver/popl20-more-sum-array-hom.wvr.yml true 34.69 21.83 None weaver/popl20-more-vector-add.wvr.yml true 48.67 33.57 None weaver/popl20-mult-4.wvr.yml true 8.47 5.15 None weaver/popl20-mult-equiv.wvr.yml true 7.99 4.93 None weaver/popl20-nonblocking-cntr-alt.wvr.yml OUT OF MEMORY 478.95 448.07 None weaver/popl20-nonblocking-cntr.wvr.yml OUT OF MEMORY 682.72 594.12 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 120.61 86.96 None weaver/popl20-prod-cons.wvr.yml OUT OF MEMORY 294.83 267.54 None weaver/popl20-prod-cons3.wvr.yml OUT OF MEMORY 155.16 115.86 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 286.35 210.52 None weaver/popl20-queue-add-2.wvr.yml OUT OF MEMORY 447.77 397.55 None weaver/popl20-queue-add-3.wvr.yml OUT OF MEMORY 232.14 166.28 None weaver/popl20-send-receive-alt.wvr.yml OUT OF MEMORY 692.32 639.99 None weaver/popl20-send-receive.wvr.yml OUT OF MEMORY 369.25 288.12 None weaver/popl20-simple-array-sum.wvr.yml true 161.14 136.97 None weaver/popl20-simple-queue.wvr.yml true 15.31 8.87 None weaver/popl20-threaded-sum-3.wvr.yml true 6.40 4.33 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 162.54 111.58 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 195.65 133.75 None weaver/popl20-three-array-sum.wvr.yml true 212.39 165.30 None weaver/popl20-two-queue.wvr.yml OUT OF MEMORY 302.71 232.31 None weaver/security.wvr.yml true 8.10 4.62 None weaver/spaghetti.wvr.yml true 8.52 4.77 None weaver/test-context1.wvr.yml true 32.28 24.52 None weaver/test-easy1.wvr.yml true 10.07 5.98 None weaver/test-easy10.wvr.yml true 6.70 4.01 None weaver/test-easy11.wvr.yml TIMEOUT 905.92 808.11 None weaver/test-easy6.wvr.yml true 11.22 6.52 None weaver/test-easy7.wvr.yml true 5.99 3.70 None weaver/test-hard1.wvr.yml true 8.63 5.01 None weaver/test-semi1.wvr.yml true 9.39 6.50 None weaver/unroll-2.wvr.yml true 10.84 7.24 None weaver/unroll-3.wvr.yml true 13.21 9.00 None weaver/unroll-4.wvr.yml true 13.92 8.38 None weaver/unroll-5.wvr.yml true 10.85 6.79 None weaver/unroll-cond-2.wvr.yml true 12.87 9.86 None weaver/unroll-cond-3.wvr.yml true 13.73 8.35 None weaver/unroll-cond-4.wvr.yml true 11.06 6.83 None weaver/unroll-cond-5.wvr.yml true 14.51 8.82 None pthread-deagle/airline-10.yml OUT OF MEMORY 198.35 151.68 None pthread-deagle/airline-15.yml OUT OF MEMORY 167.69 124.22 None pthread-deagle/airline-20.yml OUT OF MEMORY 141.01 103.10 None pthread-deagle/airline-25.yml OUT OF MEMORY 98.80 81.82 None pthread-deagle/airline-5.yml OUT OF MEMORY 197.58 139.41 None pthread-deagle/arithmetic_prog_bad.yml true 15.80 9.15 None pthread-deagle/arithmetic_prog_ok.yml true 15.45 9.24 None pthread-deagle/circular_buffer_bad.yml true 13.39 8.07 None pthread-deagle/circular_buffer_ok.yml true 14.61 8.52 None pthread-deagle/floating_read-10.yml true 92.83 68.22 None pthread-deagle/floating_read-15.yml OUT OF MEMORY 203.32 156.27 None pthread-deagle/floating_read-20.yml OUT OF MEMORY 160.48 133.25 None pthread-deagle/floating_read-25.yml OUT OF MEMORY 140.40 107.10 None pthread-deagle/floating_read-5.yml true 16.93 11.13 None pthread-deagle/reorder_c11_bad-10.yml OUT OF MEMORY 137.80 106.97 None pthread-deagle/reorder_c11_bad-20.yml OUT OF MEMORY 126.36 100.34 None pthread-deagle/reorder_c11_bad-30.yml OUT OF MEMORY 110.84 81.59 None pthread-deagle/reorder_c11_bad-40.yml OUT OF MEMORY 123.40 91.93 None pthread-deagle/reorder_c11_bad-50.yml OUT OF MEMORY 120.95 89.03 None pthread-deagle/reorder_c11_good-10.yml OUT OF MEMORY 137.88 114.63 None pthread-deagle/reorder_c11_good-20.yml OUT OF MEMORY 116.75 92.80 None pthread-deagle/reorder_c11_good-30.yml OUT OF MEMORY 124.74 96.69 None pthread-deagle/reorder_c11_good-40.yml OUT OF MEMORY 131.17 108.74 None pthread-deagle/reorder_c11_good-50.yml OUT OF MEMORY 149.95 113.34 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 2 done 48371.91 3009.44 - GemCutter.NewStatesSleepPersistentFixedOrder.SVCOMP-Concurrency-NoOverflow Run set 3 of 7 with options '--force-no-wrapper -s ../../../trunk/examples/settings/gemcutter/NewStatesSleepPersistentFixedOrder.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_p.yml true 6.73 4.42 None pthread/bigshot_s.yml true 9.13 5.31 None pthread/bigshot_s2.yml true 9.04 5.56 None pthread/fib_safe-10.yml TIMEOUT 905.54 625.38 None pthread/fib_safe-11.yml TIMEOUT 901.68 634.50 None pthread/fib_safe-12.yml TIMEOUT 901.54 708.68 None pthread/fib_safe-5.yml OUT OF MEMORY 791.57 521.35 None pthread/fib_safe-6.yml OUT OF MEMORY 742.02 501.02 None pthread/fib_safe-7.yml OUT OF MEMORY 727.15 455.84 None pthread/fib_unsafe-10.yml OUT OF MEMORY 372.26 288.45 None pthread/fib_unsafe-11.yml TIMEOUT 901.06 725.17 None pthread/fib_unsafe-12.yml TIMEOUT 901.08 751.08 None pthread/fib_unsafe-5.yml OUT OF MEMORY 502.13 346.59 None pthread/fib_unsafe-6.yml OUT OF MEMORY 759.07 486.99 None pthread/fib_unsafe-7.yml TIMEOUT 902.29 604.37 None pthread/lazy01.yml true 13.76 8.26 None pthread/queue.yml TIMEOUT 900.44 818.03 None pthread/queue_longer.yml TIMEOUT 900.59 805.81 None pthread/queue_longest.yml TIMEOUT 900.60 807.74 None pthread/queue_ok.yml ERROR: EXCEPTION 677.49 628.70 None pthread/queue_ok_longer.yml TIMEOUT 901.45 840.44 None pthread/queue_ok_longest.yml ERROR: EXCEPTION 721.45 676.35 None pthread/singleton.yml true 6.83 4.70 None pthread/singleton_with-uninit-problems.yml true 7.08 4.65 None pthread/stack-1.yml true 31.79 20.60 None pthread/stack-2.yml true 67.57 41.67 None pthread/stack_longer-1.yml TIMEOUT 901.63 855.21 None pthread/stack_longer-2.yml true 66.06 42.15 None pthread/stack_longest-1.yml TIMEOUT 900.87 733.51 None pthread/stack_longest-2.yml true 49.88 36.29 None pthread/stateful01-1.yml true 13.73 8.35 None pthread/stateful01-2.yml true 14.03 8.52 None pthread/sync01.yml true 12.66 8.07 None pthread/triangular-1.yml true 24.35 15.23 None pthread/triangular-2.yml true 24.88 14.81 None pthread/triangular-longer-1.yml true 30.67 20.94 None pthread/triangular-longer-2.yml true 44.53 25.97 None pthread/triangular-longest-1.yml true 78.78 49.35 None pthread/triangular-longest-2.yml true 56.87 41.61 None pthread-atomic/dekker.yml true 8.13 4.88 None pthread-atomic/gcd-2.yml true 8.22 5.13 None pthread-atomic/lamport.yml true 8.94 5.29 None pthread-atomic/peterson.yml true 8.64 5.09 None pthread-atomic/qrcu-1.yml true 258.69 190.80 None pthread-atomic/qrcu-2.yml true 243.21 174.82 None pthread-atomic/read_write_lock-1.yml true 18.46 10.64 None pthread-atomic/read_write_lock-2.yml true 24.55 13.82 None pthread-atomic/scull.yml true 897.99 865.07 None pthread-atomic/szymanski.yml true 8.62 5.16 None pthread-atomic/time_var_mutex.yml true 6.65 4.58 None pthread-ext/01b_inc.yml true 8.23 5.11 None pthread-ext/17_szymanski.yml true 6.71 4.84 None pthread-ext/18_read_write_lock.yml true 10.10 5.75 None pthread-ext/23_lu-fig2.fixed.yml true 8.08 5.91 None pthread-wmm/mix000.oepc.yml true 16.92 9.90 None pthread-wmm/mix000.opt.yml true 15.20 9.55 None pthread-wmm/mix001.oepc.yml true 26.11 14.56 None pthread-wmm/mix001.opt.yml true 17.21 10.18 None pthread-wmm/mix002.oepc.yml true 20.37 12.54 None pthread-wmm/mix002.opt.yml true 17.36 10.65 None pthread-wmm/mix003.oepc.yml true 18.47 10.87 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml true 21.45 12.33 None pthread-wmm/mix004.oepc.yml true 40.44 25.85 None pthread-wmm/mix004.opt.yml true 33.16 20.30 None pthread-wmm/mix005.opt.yml true 42.20 23.74 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml true 46.48 30.12 None pthread-wmm/mix005_tso.oepc.yml true 40.28 25.73 None pthread-wmm/mix006.opt.yml true 21.10 12.12 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml true 22.32 12.91 None pthread-wmm/mix006_tso.oepc.yml true 34.68 19.03 None pthread-wmm/mix007.oepc.yml true 54.83 31.95 None pthread-wmm/mix007.opt.yml true 30.56 19.50 None pthread-wmm/mix008.opt.yml true 35.03 20.98 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml true 53.05 31.68 None pthread-wmm/mix008_tso.oepc.yml true 57.43 34.28 None pthread-wmm/mix009.oepc.yml true 11.63 7.79 None pthread-wmm/mix009.opt.yml true 14.11 8.74 None pthread-wmm/mix010.oepc.yml true 18.59 10.76 None pthread-wmm/mix010.opt.yml true 22.53 12.91 None pthread-wmm/mix011.opt.yml true 17.60 10.91 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml true 24.17 13.95 None pthread-wmm/mix011_tso.oepc.yml true 18.73 11.40 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 14.89 8.98 None pthread-wmm/mix012_pso.opt_tso.opt.yml true 16.64 9.80 None pthread-wmm/mix013.oepc.yml true 50.23 30.51 None pthread-wmm/mix013.opt.yml true 42.02 23.60 None pthread-wmm/mix014.opt.yml true 30.72 19.18 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml true 44.42 28.25 None pthread-wmm/mix014_tso.oepc.yml true 65.30 38.80 None pthread-wmm/mix015.oepc.yml true 24.47 13.93 None pthread-wmm/mix015.opt.yml true 17.13 10.55 None pthread-wmm/mix016.oepc.yml true 23.87 13.32 None pthread-wmm/mix016_power.opt_rmo.opt.yml true 22.41 12.92 None pthread-wmm/mix016_pso.opt_tso.opt.yml true 21.94 12.49 None pthread-wmm/mix017.oepc.yml true 48.17 29.03 None pthread-wmm/mix017_power.opt_rmo.opt.yml true 31.72 19.11 None pthread-wmm/mix017_pso.opt_tso.opt.yml true 30.32 17.74 None pthread-wmm/mix018.opt.yml true 39.69 22.37 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml true 50.13 29.39 None pthread-wmm/mix018_tso.oepc.yml true 48.35 29.36 None pthread-wmm/mix019.opt.yml true 21.71 12.48 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml true 19.75 11.75 None pthread-wmm/mix019_tso.oepc.yml true 18.16 11.01 None pthread-wmm/mix020.oepc.yml true 50.18 29.40 None pthread-wmm/mix020.opt.yml true 39.94 22.35 None pthread-wmm/mix021.opt.yml true 41.16 22.61 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml true 41.98 27.07 None pthread-wmm/mix021_tso.oepc.yml true 35.46 21.82 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 16.38 9.51 None pthread-wmm/mix022_tso.yml true 18.24 10.49 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml true 52.00 31.73 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml true 45.24 26.05 None pthread-wmm/mix023_tso.yml true 64.07 40.19 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 22.97 12.82 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml true 17.26 10.89 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 23.68 13.41 None pthread-wmm/mix025_pso.opt_rmo.opt.yml true 18.13 11.06 None pthread-wmm/mix026.oepc.yml true 47.70 28.72 None pthread-wmm/mix026_power.opt_tso.opt.yml true 35.62 21.90 None pthread-wmm/mix026_pso.opt_rmo.opt.yml true 33.50 20.25 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml true 50.44 30.36 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml true 30.75 18.53 None pthread-wmm/mix027_tso.yml true 52.20 30.66 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 23.30 13.33 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml true 19.06 11.09 None pthread-wmm/mix028_tso.yml true 17.79 10.86 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 45.30 28.16 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml true 45.46 26.58 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml true 52.38 31.11 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml true 44.54 26.51 None pthread-wmm/mix030_tso.yml true 34.34 20.97 None pthread-wmm/mix031.oepc.yml true 12.06 7.35 None pthread-wmm/mix031.opt.yml true 14.97 8.65 None pthread-wmm/mix032.oepc.yml true 24.25 13.88 None pthread-wmm/mix032.opt.yml true 16.05 9.76 None pthread-wmm/mix033.opt.yml true 21.29 11.92 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml true 24.61 14.00 None pthread-wmm/mix033_tso.oepc.yml true 25.93 14.30 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 12.08 7.35 None pthread-wmm/mix034_pso.opt_tso.opt.yml true 12.78 8.27 None pthread-wmm/mix035.oepc.yml true 17.97 10.68 None pthread-wmm/mix035_power.opt_rmo.opt.yml true 20.13 11.42 None pthread-wmm/mix035_pso.opt_tso.opt.yml true 20.06 11.82 None pthread-wmm/mix036.oepc.yml true 49.29 29.54 None pthread-wmm/mix036_power.opt_rmo.opt.yml true 29.61 18.21 None pthread-wmm/mix036_pso.opt_tso.opt.yml true 29.48 18.07 None pthread-wmm/mix037.opt.yml true 29.30 17.65 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml true 50.44 30.30 None pthread-wmm/mix037_tso.oepc.yml true 49.13 29.83 None pthread-wmm/mix038.opt.yml true 20.28 11.92 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml true 24.02 13.71 None pthread-wmm/mix038_tso.oepc.yml true 23.70 13.65 None pthread-wmm/mix039.oepc.yml true 37.62 24.26 None pthread-wmm/mix039.opt.yml true 31.08 18.78 None pthread-wmm/mix040.opt.yml true 36.58 21.13 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml true 40.59 26.30 None pthread-wmm/mix040_tso.oepc.yml true 46.85 27.74 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml true 15.67 9.47 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 16.30 9.70 None pthread-wmm/mix042.oepc.yml true 22.88 13.25 None pthread-wmm/mix042.opt.yml true 17.90 11.02 None pthread-wmm/mix043.oepc.yml true 49.18 29.17 None pthread-wmm/mix043.opt.yml true 31.80 18.72 None pthread-wmm/mix044.opt.yml true 42.76 24.40 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml true 54.07 31.72 None pthread-wmm/mix044_tso.oepc.yml true 40.14 25.96 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml true 22.85 13.22 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 17.93 11.10 None pthread-wmm/mix046.oepc.yml true 52.86 31.30 None pthread-wmm/mix046.opt.yml true 34.30 21.71 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml true 41.25 25.43 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 42.63 24.75 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 true 12.08 7.79 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 true 22.38 12.98 None pthread-wmm/mix050.yml true 46.99 27.65 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 37.69 22.65 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml true 26.16 16.47 None pthread-wmm/mix051_tso.oepc.yml true 48.93 28.30 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 22.74 13.11 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml true 17.24 10.70 None pthread-wmm/mix052_tso.oepc.yml true 24.05 13.68 None pthread-wmm/mix053.opt.yml true 27.21 15.92 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml true 48.53 28.12 None pthread-wmm/mix053_tso.oepc.yml true 32.82 20.18 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 13.58 8.95 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 15.95 9.53 None pthread-wmm/mix055.opt.yml true 30.84 17.92 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml true 48.23 28.43 None pthread-wmm/mix055_tso.oepc.yml true 49.81 29.38 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml true 18.26 11.45 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 16.80 9.74 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml true 48.95 29.22 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 42.10 23.79 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml true 15.31 9.86 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml true 12.16 7.44 None pthread-wmm/rfi000_tso.yml true 14.95 9.20 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml true 12.57 8.14 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 15.90 9.56 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 14.96 8.87 None pthread-wmm/rfi002_tso.yml true 18.26 10.71 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 12.53 8.54 None pthread-wmm/rfi003_tso.yml true 15.41 9.04 None pthread-wmm/rfi004.yml true 15.00 9.09 None pthread-wmm/rfi005.yml true 17.88 10.49 None pthread-wmm/rfi006_power.oepc.yml true 41.12 27.69 None pthread-wmm/rfi006_power.opt.yml true 35.05 25.36 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 26.17 14.90 None pthread-wmm/rfi006_rmo.yml true 31.57 22.89 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 13.04 8.15 None pthread-wmm/rfi007_tso.yml true 17.50 10.16 None pthread-wmm/rfi008.oepc.yml true 13.58 8.81 None pthread-wmm/rfi008.opt.yml true 12.71 7.64 None pthread-wmm/rfi009_power.oepc.yml true 40.19 26.82 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 22.90 12.82 None pthread-wmm/rfi009_rmo.oepc.yml true 30.79 22.20 None pthread-wmm/rfi010.yml true 12.74 7.65 None pthread-wmm/safe000_power.oepc.yml true 73.66 61.29 None pthread-wmm/safe000_power.opt.yml true 103.84 85.53 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.65 9.68 None pthread-wmm/safe000_rmo.yml true 65.33 54.75 None pthread-wmm/safe001_power.oepc.yml true 78.16 61.32 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 21.05 12.53 None pthread-wmm/safe001_rmo.oepc.yml true 76.96 59.16 None pthread-wmm/safe001_tso.yml true 11.63 7.26 None pthread-wmm/safe002_power.oepc.yml true 78.56 62.37 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 21.16 11.93 None pthread-wmm/safe002_rmo.oepc.yml true 66.56 54.79 None pthread-wmm/safe002_tso.yml true 12.90 8.23 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 23.66 14.07 None pthread-wmm/safe003_power.opt.yml true 97.92 84.99 None pthread-wmm/safe003_tso.yml true 14.58 8.95 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml true 22.32 13.63 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml true 23.25 13.48 None pthread-wmm/safe004_tso.yml true 14.87 9.51 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 20.32 11.55 None pthread-wmm/safe005_tso.yml true 11.61 7.62 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml true 20.95 15.23 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml true 35.01 27.40 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.37 7.23 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml true 19.27 14.14 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml true 39.48 26.67 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml true 56.58 43.27 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.14 8.81 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml true 27.27 19.76 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 17.11 10.43 None pthread-wmm/safe008_power.opt.yml true 101.63 84.28 None pthread-wmm/safe008_tso.yml true 15.32 9.22 None pthread-wmm/safe009_power.oepc.yml true 64.99 55.21 None pthread-wmm/safe009_power.opt.yml true 108.19 89.40 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.99 7.32 None pthread-wmm/safe009_rmo.oepc.yml true 68.73 57.43 None pthread-wmm/safe009_rmo.opt.yml true 109.90 95.10 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 11.79 7.25 None pthread-wmm/safe010_tso.yml true 9.03 6.08 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 22.94 13.07 None pthread-wmm/safe011_power.opt_pso.opt.yml true 18.13 10.52 None pthread-wmm/safe011_tso.yml true 12.18 7.42 None pthread-wmm/safe012_power.oepc.yml true 38.99 26.70 None pthread-wmm/safe012_power.opt.yml true 52.73 42.45 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml true 15.78 9.45 None pthread-wmm/safe012_rmo.oepc.yml true 26.85 19.53 None pthread-wmm/safe012_tso.yml true 14.41 8.82 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 16.12 9.54 None pthread-wmm/safe013_tso.yml true 14.11 8.35 None pthread-wmm/safe014_power.oepc.yml true 38.77 26.62 None pthread-wmm/safe014_power.opt.yml true 39.27 27.82 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.73 7.24 None pthread-wmm/safe014_rmo.oepc.yml true 26.87 19.82 None pthread-wmm/safe014_rmo.opt.yml true 75.13 59.25 None pthread-wmm/safe015_power.oepc.yml true 60.32 49.09 None pthread-wmm/safe015_power.opt.yml true 68.26 55.31 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.27 8.39 None pthread-wmm/safe015_rmo.yml true 74.21 58.63 None pthread-wmm/safe016_power.oepc.yml true 97.23 80.64 None pthread-wmm/safe016_power.opt.yml true 257.90 236.24 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 21.60 13.43 None pthread-wmm/safe016_rmo.oepc.yml true 99.88 77.46 None pthread-wmm/safe016_rmo.opt.yml true 254.93 232.24 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 23.05 13.09 None pthread-wmm/safe017_tso.yml true 12.97 8.70 None pthread-wmm/safe018_power.oepc.yml true 37.34 25.79 None pthread-wmm/safe018_power.opt.yml true 64.32 47.95 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.72 7.79 None pthread-wmm/safe018_rmo.oepc.yml true 31.16 21.49 None pthread-wmm/safe018_rmo.opt.yml true 59.02 48.02 None pthread-wmm/safe019_power.oepc.yml true 95.09 78.92 None pthread-wmm/safe019_power.opt.yml true 144.34 125.77 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 25.44 14.72 None pthread-wmm/safe019_rmo.oepc.yml true 101.61 78.91 None pthread-wmm/safe019_rmo.opt.yml true 159.57 136.31 None pthread-wmm/safe020_power.yml true 62.47 46.64 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.73 8.98 None pthread-wmm/safe020_rmo.yml true 55.02 45.31 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 22.20 12.91 None pthread-wmm/safe021_power.opt_pso.opt.yml true 22.29 12.85 None pthread-wmm/safe021_tso.yml true 10.93 7.32 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 15.64 9.15 None pthread-wmm/safe022_tso.yml true 10.84 7.17 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 28.09 15.81 None pthread-wmm/safe023_tso.yml true 15.23 9.51 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 15.77 9.76 None pthread-wmm/safe024_tso.yml true 12.54 8.41 None pthread-wmm/safe025_power.yml true 66.11 49.07 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.46 9.46 None pthread-wmm/safe025_rmo.yml true 66.10 54.11 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 18.19 11.22 None pthread-wmm/safe026_tso.yml true 14.62 8.63 None pthread-wmm/safe027_power.oepc.yml true 62.00 40.48 None pthread-wmm/safe027_power.opt.yml true 133.47 118.47 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 24.06 14.08 None pthread-wmm/safe027_rmo.yml true 52.73 34.58 None pthread-wmm/safe028_power.yml true 57.98 48.04 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.46 7.48 None pthread-wmm/safe028_rmo.yml true 62.35 48.12 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml true 12.73 7.94 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml true 15.89 9.26 None pthread-wmm/safe029_tso.yml true 9.49 6.02 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml true 17.88 10.56 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml true 22.06 12.77 None pthread-wmm/safe030_tso.yml true 16.14 9.68 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml true 20.82 11.88 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml true 21.23 12.13 None pthread-wmm/safe031_tso.yml true 12.03 8.25 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 28.52 15.95 None pthread-wmm/safe032_tso.yml true 16.36 9.67 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 11.07 6.80 None pthread-wmm/safe033_tso.yml true 9.33 6.35 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 18.47 10.56 None pthread-wmm/safe034_tso.yml true 15.36 9.08 None pthread-wmm/safe035_power.yml true 30.02 18.16 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 11.25 7.40 None pthread-wmm/safe036.yml true 12.24 7.54 None pthread-wmm/safe037.yml true 11.75 7.86 None pthread-wmm/thin002_power.oepc.yml true 59.97 39.33 None pthread-wmm/thin002_power.opt.yml true 90.22 68.36 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 25.77 14.98 None pthread-wmm/thin002_rmo.yml true 41.26 29.39 None pthread-lit/qw2004-1.yml true 9.88 6.14 None pthread-lit/qw2004-2b.yml true 14.10 7.99 None ldv-races/race-1_1-join.yml true 9.71 5.55 None ldv-races/race-1_2-join.yml true 7.78 5.14 None ldv-races/race-1_3-join.yml true 7.44 4.68 None ldv-races/race-2_1-container_of.yml true 110.68 84.45 None ldv-races/race-2_2-container_of.yml true 335.13 320.37 None ldv-races/race-2_3-container_of.yml TIMEOUT 902.42 859.10 None ldv-races/race-2_4-container_of.yml true 728.74 700.30 None ldv-races/race-2_5-container_of.yml true 199.11 178.48 None ldv-races/race-3_1-container_of-global.yml true 108.22 90.29 None ldv-races/race-3_2-container_of-global.yml true 351.36 328.53 None ldv-races/race-4_1-thread_local_vars.yml true 7.35 4.53 None ldv-races/race-4_2-thread_local_vars.yml true 7.32 4.33 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 55.75 31.70 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 41.99 25.98 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 144.67 101.85 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 223.90 158.66 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 119.59 78.76 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 901.68 868.23 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml OUT OF MEMORY 285.61 212.01 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 901.43 824.89 None pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 8.78 5.30 None pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 14.47 7.63 None pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 10.24 5.93 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 14.12 7.66 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 8.87 5.38 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 10.42 5.74 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 10.33 6.20 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 11.76 6.75 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 11.43 6.32 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 10.15 5.70 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 12.16 6.66 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 10.65 5.87 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 9.72 5.52 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 12.65 6.97 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 10.70 5.84 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 9.27 6.18 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 12.00 6.83 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 12.33 6.80 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 9.47 5.75 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 12.50 6.75 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 12.68 6.85 None pthread-C-DAC/pthread-demo-datarace-1.yml OUT OF MEMORY 350.92 303.47 None pthread-C-DAC/pthread-demo-datarace-2.yml OUT OF MEMORY 210.70 149.41 None pthread-divine/condvar.yml true 10.45 6.53 None pthread-divine/condvar_spurious_wakeup.yml true 11.01 6.55 None pthread-divine/divinefifo-bug_1w1r.yml true 155.45 135.72 None pthread-divine/divinefifo_1w1r.yml true 154.85 133.78 None pthread-divine/ring_1w1r-1.yml TIMEOUT 900.56 880.71 None pthread-divine/ring_1w1r-2.yml OUT OF MEMORY 538.32 393.08 None pthread-divine/ring_2w1r-1.yml TIMEOUT 901.03 855.21 None pthread-divine/ring_2w1r-2.yml TIMEOUT 902.06 846.67 None pthread-divine/tls_basic.yml unknown 6.97 4.05 None pthread-divine/tls_destructor_worker.yml unknown 7.10 4.09 None goblint-regression/04-mutex_02-simple_nr.yml true 10.98 6.48 None goblint-regression/04-mutex_04-munge_nr.yml true 11.27 6.53 None goblint-regression/04-mutex_05-lockfuns.yml true 11.86 7.28 None goblint-regression/04-mutex_07-ps_nr.yml true 11.19 6.80 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 13.90 8.20 None goblint-regression/04-mutex_12-ptr_nr.yml true 13.46 8.02 None goblint-regression/04-mutex_15-funarg_nr.yml true 10.88 6.76 None goblint-regression/04-mutex_17-ps_add1_nr.yml false(no-overflow) 11.64 7.03 None goblint-regression/04-mutex_18-glob_guards.yml true 9.13 5.32 None goblint-regression/04-mutex_22-deref_read.yml true 8.18 4.91 None goblint-regression/04-mutex_28-base_nr.yml true 10.37 6.54 None goblint-regression/04-mutex_41-pt_rwlock.yml true 10.74 6.54 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 13.75 8.48 None goblint-regression/04-mutex_43-thread_create_nr.yml true 10.59 6.50 None goblint-regression/04-mutex_46-escape_nr.yml false(no-overflow) 9.95 5.92 None goblint-regression/04-mutex_51-mutex_ptr.yml true 13.46 7.56 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 10.56 6.50 None goblint-regression/05-lval_ls_04-fld_nr.yml true 12.38 7.29 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 10.99 7.05 None goblint-regression/06-symbeq_11-equ_nr.yml false(no-overflow) 8.97 5.38 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 9.02 5.11 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 30.71 17.68 None goblint-regression/09-regions_02-list_nr.yml true 6.92 4.47 None goblint-regression/09-regions_04-list2_nr.yml true 31.03 18.54 None goblint-regression/09-regions_06-ptra_nr.yml true 9.32 5.36 None goblint-regression/09-regions_09-arraylist.yml true 7.10 4.92 None goblint-regression/09-regions_17-arrayloop_nr.yml true 104.67 86.99 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 901.79 883.57 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT 901.87 865.61 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 901.87 867.89 None goblint-regression/10-synch_01-thread_unique.yml true 7.98 4.91 None goblint-regression/10-synch_03-two_unique.yml true 8.45 4.85 None goblint-regression/13-privatized_01-priv_nr_true.yml true 12.48 7.23 None goblint-regression/13-privatized_03-priv_inv.yml true 8.47 4.84 None goblint-regression/13-privatized_04-priv_multi_true.yml true 206.71 132.50 None goblint-regression/13-privatized_18-first-reads_true.yml true 8.84 4.96 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml true 8.57 5.11 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml true 6.73 4.91 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml true 8.77 5.21 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml true 7.04 4.88 None goblint-regression/13-privatized_19-publish-precision_true.yml true 9.17 5.34 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml true 6.82 4.22 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml true 9.16 5.53 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml true 6.63 4.47 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml true 9.04 5.13 None goblint-regression/13-privatized_20-publish-regression_true.yml true 6.60 4.64 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 13.73 7.78 None goblint-regression/13-privatized_25-struct_nr_true.yml true 9.48 6.20 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 14.50 8.95 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 12.11 7.29 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 9.02 5.26 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 9.07 6.08 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 8.88 5.30 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 6.61 4.08 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 9.12 5.40 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 6.82 4.72 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 6.53 4.66 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 9.02 5.22 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 6.54 4.08 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 8.73 4.76 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml true 6.30 4.17 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml true 8.87 5.24 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 6.69 4.02 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 7.95 4.52 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 8.90 5.28 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 6.72 4.52 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 8.01 4.45 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 10.94 6.69 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 6.42 4.56 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 8.04 4.46 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 6.45 4.15 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml true 9.82 5.84 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml true 9.06 5.17 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml true 7.22 4.34 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 901.10 872.01 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml TIMEOUT 900.66 767.22 None goblint-regression/28-race_reach_45-escape_racing.yml true 9.98 6.38 None goblint-regression/28-race_reach_46-escape_racefree.yml true 10.04 6.58 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 6.95 4.76 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 6.69 4.12 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml true 6.55 3.97 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml true 6.53 4.07 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 17.61 10.25 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true.yml false(no-overflow) 9.91 5.96 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 12.97 8.15 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml true 6.76 4.08 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml true 6.54 3.86 None weaver/array-eq-symm.wvr.yml true 32.69 21.67 None weaver/array-eq-trans.wvr.yml true 70.87 49.95 None weaver/bench-exp1x3.wvr.yml true 6.38 4.00 None weaver/bench-exp2x3.wvr.yml true 6.54 4.68 None weaver/bench-exp2x4.wvr.yml true 6.46 4.55 None weaver/bench-exp2x6.wvr.yml true 6.64 4.62 None weaver/bench-exp2x9.wvr.yml true 6.95 4.64 None weaver/bench-exp3x3-opt.wvr.yml true 6.87 4.51 None weaver/bench-exp3x3.wvr.yml true 6.87 4.57 None weaver/chl-array-int-subst.wvr.yml TIMEOUT 901.04 850.18 None weaver/chl-array-int-symm.wvr.yml TIMEOUT 900.49 849.54 None weaver/chl-array-int-trans.wvr.yml TIMEOUT 900.70 868.59 None weaver/chl-chromosome-opt-symm.wvr.yml true 30.02 18.23 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 900.98 851.91 None weaver/chl-chromosome-symm.wvr.yml TIMEOUT 901.31 749.13 None weaver/chl-chromosome-trans.wvr.yml TIMEOUT 900.90 825.50 None weaver/chl-collitem-subst.wvr.yml true 58.82 40.46 None weaver/chl-collitem-symm.wvr.yml true 30.43 19.79 None weaver/chl-collitem-trans.wvr.yml true 59.71 42.43 None weaver/chl-exp-term-subst.wvr.yml true 14.71 8.68 None weaver/chl-exp-term-symm.wvr.yml true 11.87 7.85 None weaver/chl-file-item-subst.wvr.yml true 13.73 8.49 None weaver/chl-file-item-symm.wvr.yml true 11.93 7.54 None weaver/chl-file-item-trans.wvr.yml true 14.44 8.52 None weaver/chl-match-subst.wvr.yml true 23.96 13.88 None weaver/chl-match-symm.wvr.yml true 15.58 9.93 None weaver/chl-match-trans.wvr.yml true 19.25 11.63 None weaver/chl-name-comparator-subst.wvr.yml true 53.83 37.84 None weaver/chl-name-comparator-symm.wvr.yml true 191.88 123.35 None weaver/chl-name-comparator-trans.wvr.yml true 53.23 35.93 None weaver/chl-node-subst.wvr.yml TIMEOUT 900.57 880.90 None weaver/chl-node-symm.wvr.yml TIMEOUT 900.88 821.62 None weaver/chl-node-trans.wvr.yml TIMEOUT 900.62 874.24 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 160.07 108.96 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 179.67 134.45 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 208.78 147.81 None weaver/chl-simpl-str-subst.wvr.yml true 16.80 9.84 None weaver/chl-simpl-str-symm.wvr.yml true 14.33 8.65 None weaver/chl-simpl-str-trans.wvr.yml true 16.99 9.92 None weaver/chl-sre-subst.wvr.yml true 7.65 4.78 None weaver/chl-sre-symm.wvr.yml true 7.87 4.77 None weaver/chl-sre-trans.wvr.yml true 7.49 4.63 None weaver/chl-time-subst.wvr.yml true 32.29 19.69 None weaver/chl-time-symm.wvr.yml true 21.06 12.24 None weaver/chl-time-trans.wvr.yml true 30.02 18.58 None weaver/chl-word-subst.wvr.yml true 112.28 75.56 None weaver/chl-word-symm.wvr.yml true 38.41 26.49 None weaver/chl-word-trans.wvr.yml true 109.33 74.38 None weaver/clever.wvr.yml true 11.92 8.48 None weaver/fibonacci.wvr.yml true 124.14 101.55 None weaver/loop-tiling-eq.wvr.yml OUT OF MEMORY 487.60 439.02 None weaver/mult-comm.wvr.yml true 7.49 4.19 None weaver/mult-dist.wvr.yml true 7.51 4.24 None weaver/mult-flipped-dist.wvr.yml true 7.68 4.33 None weaver/parallel-bakery-2.wvr.yml true 14.80 8.63 None weaver/parallel-bakery-3.wvr.yml true 203.51 147.34 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 181.28 130.63 None weaver/parallel-barrier-loop.wvr.yml true 8.19 5.00 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 355.57 217.18 None weaver/parallel-bluetooth.wvr.yml true 10.98 7.07 None weaver/parallel-lamport.wvr.yml true 14.90 9.79 None weaver/parallel-min-max-1.wvr.yml true 24.74 16.09 None weaver/parallel-misc-1.wvr.yml TIMEOUT 901.22 835.73 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 11.19 7.00 None weaver/parallel-misc-2-unrolled.wvr.yml true 6.22 3.88 None weaver/parallel-misc-2.wvr.yml true 6.04 3.74 None weaver/parallel-misc-3-extended.wvr.yml TIMEOUT 901.44 879.81 None weaver/parallel-misc-3.wvr.yml TIMEOUT 901.81 852.04 None weaver/parallel-misc-4.wvr.yml true 36.88 21.63 None weaver/parallel-misc-5.wvr.yml TIMEOUT 900.93 875.24 None weaver/parallel-parallel-sum-1-dsl.wvr.yml TIMEOUT 901.34 823.48 None weaver/parallel-parallel-sum-1.wvr.yml ERROR: EXCEPTION 474.22 365.71 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 901.14 828.46 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT 900.25 816.85 None weaver/parallel-simple-equiv.wvr.yml true 7.45 4.22 None weaver/parallel-ticket-2.wvr.yml true 13.27 7.72 None weaver/parallel-ticket-3.wvr.yml true 18.76 11.09 None weaver/parallel-ticket-4.wvr.yml true 46.38 25.43 None weaver/parallel-ticket-5.wvr.yml true 162.94 124.94 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 364.78 240.20 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 237.03 153.39 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 84.46 57.70 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 900.94 854.71 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 900.61 780.42 None weaver/popl20-bad-commit-1.wvr-bad.yml true 171.77 120.01 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 109.24 78.64 None weaver/popl20-bad-counter-queue.wvr.yml ERROR: EXCEPTION 95.26 65.41 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 902.53 827.65 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.76 878.81 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 347.36 260.38 None weaver/popl20-bad-ring-nondet.wvr.yml OUT OF MEMORY 441.39 344.88 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 900.49 806.70 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 6.67 4.07 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 379.31 291.65 None weaver/popl20-channel-sum.wvr.yml ERROR: EXCEPTION 154.01 112.66 None weaver/popl20-commit-1.wvr.yml true 114.95 84.47 None weaver/popl20-commit-2.wvr.yml OUT OF MEMORY 108.24 78.37 None weaver/popl20-counter-determinism.wvr.yml TIMEOUT 901.66 734.94 None weaver/popl20-counter-fun.wvr.yml true 36.84 23.41 None weaver/popl20-difference-det.wvr.yml TIMEOUT 901.46 835.94 None weaver/popl20-figure1-alt.wvr.yml TIMEOUT 902.05 822.17 None weaver/popl20-figure1.wvr.yml TIMEOUT 901.55 793.67 None weaver/popl20-figure3.wvr.yml true 8.11 4.70 None weaver/popl20-horseshoe.wvr.yml ERROR: EXCEPTION 112.92 73.71 None weaver/popl20-min-max-dec.wvr.yml TIMEOUT 900.76 870.51 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 573.94 346.34 None weaver/popl20-min-max-inc.wvr.yml TIMEOUT 900.49 818.95 None weaver/popl20-more-array-sum-alt.wvr.yml ERROR: EXCEPTION 197.09 147.12 None weaver/popl20-more-array-sum-alt2.wvr.yml ERROR: EXCEPTION 305.13 267.00 None weaver/popl20-more-array-sum.wvr.yml TIMEOUT 900.49 804.68 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 900.89 790.79 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 900.63 817.00 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 900.46 800.90 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 900.67 874.24 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 900.65 874.17 None weaver/popl20-more-dec-subseq.wvr.yml true 40.73 24.61 None weaver/popl20-more-inc-subseq.wvr.yml true 40.32 24.57 None weaver/popl20-more-max-array-hom.wvr.yml true 21.54 13.56 None weaver/popl20-more-max-array.wvr.yml true 27.54 17.50 None weaver/popl20-more-min-array-hom.wvr.yml true 20.31 13.69 None weaver/popl20-more-min-array.wvr.yml true 22.15 14.60 None weaver/popl20-more-min-le-max.wvr.yml true 28.53 17.79 None weaver/popl20-more-mts.wvr.yml TIMEOUT 901.10 731.07 None weaver/popl20-more-multiply-verify.wvr.yml true 21.91 13.26 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml true 8.02 4.43 None weaver/popl20-more-parray-copy.wvr.yml true 44.50 26.10 None weaver/popl20-more-queue-add-2-nl.wvr.yml ERROR: EXCEPTION 98.78 65.38 None weaver/popl20-more-queue-add-3-nl.wvr.yml ERROR: EXCEPTION 162.67 113.37 None weaver/popl20-more-sorted.wvr.yml true 39.57 23.75 None weaver/popl20-more-sum-array-hom.wvr.yml true 25.10 16.13 None weaver/popl20-more-vector-add.wvr.yml true 51.96 31.35 None weaver/popl20-mult-4.wvr.yml true 8.10 4.91 None weaver/popl20-mult-equiv.wvr.yml true 7.58 4.68 None weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 902.12 791.10 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.12 790.86 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 116.40 81.54 None weaver/popl20-prod-cons.wvr.yml ERROR: EXCEPTION 155.13 117.25 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 900.83 868.82 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 900.85 778.24 None weaver/popl20-queue-add-2.wvr.yml ERROR: EXCEPTION 335.79 252.94 None weaver/popl20-queue-add-3.wvr.yml ERROR: EXCEPTION 79.14 61.15 None weaver/popl20-send-receive-alt.wvr.yml ERROR: EXCEPTION 78.59 54.47 None weaver/popl20-send-receive.wvr.yml ERROR: EXCEPTION 37.71 24.85 None weaver/popl20-simple-array-sum.wvr.yml true 36.34 24.42 None weaver/popl20-simple-queue.wvr.yml true 16.17 10.82 None weaver/popl20-threaded-sum-3.wvr.yml true 6.96 4.19 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 900.59 875.89 None weaver/popl20-three-array-min.wvr.yml TIMEOUT 900.62 868.48 None weaver/popl20-three-array-sum.wvr.yml true 49.62 31.15 None weaver/popl20-two-queue.wvr.yml true 542.09 423.93 None weaver/security.wvr.yml true 7.52 4.24 None weaver/spaghetti.wvr.yml true 7.78 4.40 None weaver/test-context1.wvr.yml true 23.28 14.38 None weaver/test-easy1.wvr.yml true 9.95 6.32 None weaver/test-easy10.wvr.yml true 7.75 4.42 None weaver/test-easy11.wvr.yml true 24.75 15.12 None weaver/test-easy6.wvr.yml true 13.25 8.19 None weaver/test-easy7.wvr.yml true 7.64 4.21 None weaver/test-hard1.wvr.yml true 21.69 13.79 None weaver/test-semi1.wvr.yml true 10.66 6.71 None weaver/unroll-2.wvr.yml true 13.69 8.21 None weaver/unroll-3.wvr.yml true 14.14 8.44 None weaver/unroll-4.wvr.yml true 13.78 8.71 None weaver/unroll-5.wvr.yml true 13.79 8.66 None weaver/unroll-cond-2.wvr.yml true 13.14 7.94 None weaver/unroll-cond-3.wvr.yml true 10.96 7.06 None weaver/unroll-cond-4.wvr.yml true 14.20 8.40 None weaver/unroll-cond-5.wvr.yml true 13.92 8.28 None pthread-deagle/airline-10.yml OUT OF MEMORY 183.96 132.04 None pthread-deagle/airline-15.yml OUT OF MEMORY 252.14 198.15 None pthread-deagle/airline-20.yml OUT OF MEMORY 312.05 230.58 None pthread-deagle/airline-25.yml OUT OF MEMORY 204.01 148.32 None pthread-deagle/airline-5.yml OUT OF MEMORY 183.38 141.95 None pthread-deagle/arithmetic_prog_bad.yml true 18.91 11.30 None pthread-deagle/arithmetic_prog_ok.yml true 15.00 9.67 None pthread-deagle/circular_buffer_bad.yml true 24.55 17.03 None pthread-deagle/circular_buffer_ok.yml true 21.54 16.77 None pthread-deagle/floating_read-10.yml OUT OF MEMORY 119.94 93.19 None pthread-deagle/floating_read-15.yml OUT OF MEMORY 169.99 127.83 None pthread-deagle/floating_read-20.yml OUT OF MEMORY 174.03 132.44 None pthread-deagle/floating_read-25.yml OUT OF MEMORY 157.41 131.79 None pthread-deagle/floating_read-5.yml true 71.11 49.23 None pthread-deagle/reorder_c11_bad-10.yml OUT OF MEMORY 123.81 86.42 None pthread-deagle/reorder_c11_bad-20.yml OUT OF MEMORY 307.94 267.12 None pthread-deagle/reorder_c11_bad-30.yml TIMEOUT 901.47 806.95 None pthread-deagle/reorder_c11_bad-40.yml TIMEOUT 900.40 787.78 None pthread-deagle/reorder_c11_bad-50.yml TIMEOUT 901.22 722.07 None pthread-deagle/reorder_c11_good-10.yml OUT OF MEMORY 113.03 80.33 None pthread-deagle/reorder_c11_good-20.yml OUT OF MEMORY 323.83 286.03 None pthread-deagle/reorder_c11_good-30.yml OUT OF MEMORY 724.93 615.01 None pthread-deagle/reorder_c11_good-40.yml TIMEOUT 901.04 750.87 None pthread-deagle/reorder_c11_good-50.yml TIMEOUT 901.14 722.23 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 3 done 97874.57 6219.87 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.SVCOMP-Concurrency-NoOverflow Run set 4 of 7: skipped GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.WithAssertions.SVCOMP-Concurrency-NoOverflow Run set 5 of 7: skipped GemCutter.NewStatesSleepPersistentFixedOrder.VarAbsGlobalSyntactic.SVCOMP-Concurrency-NoOverflow Run set 6 of 7 with options '--force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.trace.refinement.strategy BADGER -s ../../../trunk/examples/settings/gemcutter/NewStatesSleepPersistentFixedOrder-VarAbsGlobalSyntactic.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_p.yml true 7.01 5.10 None pthread/bigshot_s.yml true 9.08 5.41 None pthread/bigshot_s2.yml true 8.99 5.18 None pthread/fib_safe-10.yml TIMEOUT 901.62 679.86 None pthread/fib_safe-11.yml TIMEOUT 900.35 682.09 None pthread/fib_safe-12.yml TIMEOUT 901.53 684.46 None pthread/fib_safe-5.yml TIMEOUT 900.75 664.86 None pthread/fib_safe-6.yml TIMEOUT 901.11 844.28 None pthread/fib_safe-7.yml TIMEOUT 900.54 681.59 None pthread/fib_unsafe-10.yml TIMEOUT 901.07 717.07 None pthread/fib_unsafe-11.yml TIMEOUT 901.11 845.86 None pthread/fib_unsafe-12.yml TIMEOUT 901.30 823.76 None pthread/fib_unsafe-5.yml TIMEOUT 901.38 708.22 None pthread/fib_unsafe-6.yml TIMEOUT 901.48 695.53 None pthread/fib_unsafe-7.yml TIMEOUT 900.75 793.28 None pthread/lazy01.yml true 15.73 10.99 None pthread/queue.yml TIMEOUT 901.33 731.49 None pthread/queue_longer.yml TIMEOUT (ERROR: EXCEPTION) 901.04 699.24 None pthread/queue_longest.yml TIMEOUT 901.58 693.32 None pthread/queue_ok.yml TIMEOUT 901.56 701.25 None pthread/queue_ok_longer.yml TIMEOUT 901.28 700.79 None pthread/queue_ok_longest.yml TIMEOUT 901.55 705.99 None pthread/singleton.yml true 8.57 5.06 None pthread/singleton_with-uninit-problems.yml true 8.63 5.09 None pthread/stack-1.yml true 45.83 28.04 None pthread/stack-2.yml true 176.65 139.77 None pthread/stack_longer-1.yml TIMEOUT 901.62 649.56 None pthread/stack_longer-2.yml TIMEOUT 901.43 650.42 None pthread/stack_longest-1.yml TIMEOUT 902.23 691.59 None pthread/stack_longest-2.yml TIMEOUT 901.49 659.19 None pthread/stateful01-1.yml true 16.67 12.40 None pthread/stateful01-2.yml true 16.75 12.63 None pthread/sync01.yml true 13.79 9.59 None pthread/triangular-1.yml TIMEOUT 900.83 633.45 None pthread/triangular-2.yml TIMEOUT 901.43 774.51 None pthread/triangular-longer-1.yml TIMEOUT 901.04 702.29 None pthread/triangular-longer-2.yml TIMEOUT 901.21 699.68 None pthread/triangular-longest-1.yml TIMEOUT 900.68 751.48 None pthread/triangular-longest-2.yml TIMEOUT 900.92 726.10 None pthread-atomic/dekker.yml true 6.72 3.88 None pthread-atomic/gcd-2.yml true 8.79 5.08 None pthread-atomic/lamport.yml true 6.76 4.07 None pthread-atomic/peterson.yml true 8.22 4.58 None pthread-atomic/qrcu-1.yml true 345.42 270.59 None pthread-atomic/qrcu-2.yml true 303.17 252.66 None pthread-atomic/read_write_lock-1.yml true 33.58 22.56 None pthread-atomic/read_write_lock-2.yml true 37.54 25.22 None pthread-atomic/scull.yml OUT OF MEMORY 431.58 290.66 None pthread-atomic/szymanski.yml true 8.15 4.96 None pthread-atomic/time_var_mutex.yml true 8.28 5.14 None pthread-ext/01b_inc.yml true 8.85 4.87 None pthread-ext/17_szymanski.yml true 8.19 4.64 None pthread-ext/18_read_write_lock.yml true 12.27 8.00 None pthread-ext/23_lu-fig2.fixed.yml true 11.03 7.66 None pthread-wmm/mix000.oepc.yml true 18.89 12.38 None pthread-wmm/mix000.opt.yml true 18.51 12.10 None pthread-wmm/mix001.oepc.yml true 25.72 16.57 None pthread-wmm/mix001.opt.yml true 23.36 15.56 None pthread-wmm/mix002.oepc.yml true 23.60 15.68 None pthread-wmm/mix002.opt.yml true 24.04 15.98 None pthread-wmm/mix003.oepc.yml true 17.79 12.86 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml true 23.55 15.28 None pthread-wmm/mix004.oepc.yml true 37.39 23.67 None pthread-wmm/mix004.opt.yml true 34.26 22.01 None pthread-wmm/mix005.opt.yml true 25.89 17.73 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml true 36.70 23.19 None pthread-wmm/mix005_tso.oepc.yml true 37.45 23.56 None pthread-wmm/mix006.opt.yml true 23.73 15.62 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml true 16.91 12.10 None pthread-wmm/mix006_tso.oepc.yml true 32.67 20.02 None pthread-wmm/mix007.oepc.yml true 37.87 23.70 None pthread-wmm/mix007.opt.yml true 34.55 22.06 None pthread-wmm/mix008.opt.yml true 35.29 22.31 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml true 37.44 23.66 None pthread-wmm/mix008_tso.oepc.yml true 34.45 22.18 None pthread-wmm/mix009.oepc.yml true 17.55 11.77 None pthread-wmm/mix009.opt.yml true 18.38 12.21 None pthread-wmm/mix010.oepc.yml true 23.03 15.25 None pthread-wmm/mix010.opt.yml true 23.47 15.52 None pthread-wmm/mix011.opt.yml true 24.24 15.90 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml true 23.28 15.54 None pthread-wmm/mix011_tso.oepc.yml true 18.04 12.58 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 16.61 10.82 None pthread-wmm/mix012_pso.opt_tso.opt.yml true 18.11 12.06 None pthread-wmm/mix013.oepc.yml true 37.54 23.63 None pthread-wmm/mix013.opt.yml true 26.20 17.49 None pthread-wmm/mix014.opt.yml true 33.78 21.96 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml true 38.08 23.96 None pthread-wmm/mix014_tso.oepc.yml true 46.30 28.20 None pthread-wmm/mix015.oepc.yml true 23.39 15.04 None pthread-wmm/mix015.opt.yml true 17.65 12.49 None pthread-wmm/mix016.oepc.yml true 22.82 15.41 None pthread-wmm/mix016_power.opt_rmo.opt.yml true 21.72 14.80 None pthread-wmm/mix016_pso.opt_tso.opt.yml true 23.23 15.50 None pthread-wmm/mix017.oepc.yml true 37.12 23.37 None pthread-wmm/mix017_power.opt_rmo.opt.yml true 24.13 16.70 None pthread-wmm/mix017_pso.opt_tso.opt.yml true 33.92 21.88 None pthread-wmm/mix018.opt.yml true 34.50 22.24 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml true 30.13 20.54 None pthread-wmm/mix018_tso.oepc.yml true 37.47 23.63 None pthread-wmm/mix019.opt.yml true 22.96 14.97 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml true 16.93 12.19 None pthread-wmm/mix019_tso.oepc.yml true 18.31 12.75 None pthread-wmm/mix020.oepc.yml true 35.94 22.51 None pthread-wmm/mix020.opt.yml true 34.26 21.98 None pthread-wmm/mix021.opt.yml true 34.86 22.14 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml true 28.06 20.05 None pthread-wmm/mix021_tso.oepc.yml true 37.00 23.47 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 13.10 9.63 None pthread-wmm/mix022_tso.yml true 16.17 11.31 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml true 36.96 23.32 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml true 24.36 16.92 None pthread-wmm/mix023_tso.yml ERROR: EXCEPTION 12.87 9.18 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 23.41 15.68 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml true 22.35 14.67 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 22.34 15.12 None pthread-wmm/mix025_pso.opt_rmo.opt.yml true 17.86 13.16 None pthread-wmm/mix026.oepc.yml true 29.50 19.78 None pthread-wmm/mix026_power.opt_tso.opt.yml true 35.02 22.42 None pthread-wmm/mix026_pso.opt_rmo.opt.yml true 25.24 17.90 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml true 28.12 19.90 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml true 34.54 22.35 None pthread-wmm/mix027_tso.yml true 27.70 18.63 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 23.43 15.23 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml true 23.77 15.82 None pthread-wmm/mix028_tso.yml true 24.74 15.97 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 28.60 19.75 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml true 27.71 19.78 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml true 29.30 19.46 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml true 36.84 22.93 None pthread-wmm/mix030_tso.yml true 28.29 20.29 None pthread-wmm/mix031.oepc.yml true 17.72 11.32 None pthread-wmm/mix031.opt.yml true 13.16 9.39 None pthread-wmm/mix032.oepc.yml true 22.62 15.16 None pthread-wmm/mix032.opt.yml true 17.61 12.71 None pthread-wmm/mix033.opt.yml true 21.68 14.65 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml true 23.98 15.51 None pthread-wmm/mix033_tso.oepc.yml true 18.60 13.23 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 13.38 9.32 None pthread-wmm/mix034_pso.opt_tso.opt.yml true 17.16 11.46 None pthread-wmm/mix035.oepc.yml true 17.58 13.32 None pthread-wmm/mix035_power.opt_rmo.opt.yml true 18.30 13.18 None pthread-wmm/mix035_pso.opt_tso.opt.yml true 15.96 12.41 None pthread-wmm/mix036.oepc.yml true 36.34 22.93 None pthread-wmm/mix036_power.opt_rmo.opt.yml true 33.74 21.37 None pthread-wmm/mix036_pso.opt_tso.opt.yml true 32.56 20.93 None pthread-wmm/mix037.opt.yml true 23.90 16.66 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml true 27.57 20.06 None pthread-wmm/mix037_tso.oepc.yml true 29.33 20.39 None pthread-wmm/mix038.opt.yml true 22.42 14.69 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml true 24.03 15.84 None pthread-wmm/mix038_tso.oepc.yml true 18.88 13.65 None pthread-wmm/mix039.oepc.yml true 27.96 20.01 None pthread-wmm/mix039.opt.yml true 25.13 18.00 None pthread-wmm/mix040.opt.yml true 26.01 18.02 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml true 26.81 18.14 None pthread-wmm/mix040_tso.oepc.yml true 36.16 22.85 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml true 18.01 11.92 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 18.60 12.08 None pthread-wmm/mix042.oepc.yml true 17.86 12.77 None pthread-wmm/mix042.opt.yml true 23.70 15.70 None pthread-wmm/mix043.oepc.yml true 36.84 23.42 None pthread-wmm/mix043.opt.yml true 26.59 18.64 None pthread-wmm/mix044.opt.yml true 27.44 19.21 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml true 37.88 23.45 None pthread-wmm/mix044_tso.oepc.yml true 28.39 20.26 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml true 18.96 13.42 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 17.40 13.89 None pthread-wmm/mix046.oepc.yml true 36.94 23.37 None pthread-wmm/mix046.opt.yml true 35.78 22.42 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml true 28.40 19.60 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 24.98 17.24 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 true 18.04 11.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 true 17.41 12.86 None pthread-wmm/mix050.yml true 36.76 23.15 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 28.54 19.65 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml true 25.47 17.66 None pthread-wmm/mix051_tso.oepc.yml true 28.17 20.38 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 22.54 15.25 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml true 21.63 14.49 None pthread-wmm/mix052_tso.oepc.yml true 17.75 13.63 None pthread-wmm/mix053.opt.yml true 30.97 20.44 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml true 26.11 18.20 None pthread-wmm/mix053_tso.oepc.yml true 26.87 19.60 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 12.99 9.21 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 17.86 11.80 None pthread-wmm/mix055.opt.yml true 34.85 22.07 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml true 29.43 19.46 None pthread-wmm/mix055_tso.oepc.yml true 35.59 22.82 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml true 22.15 14.86 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 17.70 13.13 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml true 28.41 19.98 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 34.58 22.38 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml true 17.41 11.29 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml true 14.19 10.56 None pthread-wmm/rfi000_tso.yml true 21.74 13.89 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml true 17.71 11.68 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 18.43 12.24 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 15.89 10.64 None pthread-wmm/rfi002_tso.yml true 18.66 13.22 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 12.97 9.41 None pthread-wmm/rfi003_tso.yml true 17.22 11.95 None pthread-wmm/rfi004.yml true 12.82 10.13 None pthread-wmm/rfi005.yml true 20.55 13.11 None pthread-wmm/rfi006_power.oepc.yml true 28.54 18.27 None pthread-wmm/rfi006_power.opt.yml true 28.94 18.34 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 26.27 17.03 None pthread-wmm/rfi006_rmo.yml true 20.73 13.93 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 17.95 11.92 None pthread-wmm/rfi007_tso.yml true 15.02 10.38 None pthread-wmm/rfi008.oepc.yml true 14.86 10.92 None pthread-wmm/rfi008.opt.yml true 18.31 11.67 None pthread-wmm/rfi009_power.oepc.yml true 21.55 14.39 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 25.20 16.14 None pthread-wmm/rfi009_rmo.oepc.yml true 19.30 14.19 None pthread-wmm/rfi010.yml true 14.31 10.90 None pthread-wmm/safe000_power.oepc.yml true 26.63 18.12 None pthread-wmm/safe000_power.opt.yml true 27.56 17.60 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.30 10.07 None pthread-wmm/safe000_rmo.yml true 24.81 16.49 None pthread-wmm/safe001_power.oepc.yml true 25.07 17.42 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 24.23 16.07 None pthread-wmm/safe001_rmo.oepc.yml true 29.46 18.64 None pthread-wmm/safe001_tso.yml true 16.42 12.09 None pthread-wmm/safe002_power.oepc.yml true 32.86 20.40 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 22.26 14.93 None pthread-wmm/safe002_rmo.oepc.yml true 22.72 15.94 None pthread-wmm/safe002_tso.yml true 13.44 10.25 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 21.65 15.48 None pthread-wmm/safe003_power.opt.yml true 28.22 17.85 None pthread-wmm/safe003_tso.yml true 12.75 10.29 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml true 21.14 15.06 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml true 23.29 15.46 None pthread-wmm/safe004_tso.yml true 16.53 12.10 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 16.94 12.08 None pthread-wmm/safe005_tso.yml true 13.22 10.31 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml true 20.50 12.94 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml true 16.23 11.74 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.90 9.27 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml true 13.95 10.28 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml true 18.46 12.91 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml true 26.24 16.74 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.43 10.59 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml true 22.97 15.07 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 24.24 15.95 None pthread-wmm/safe008_power.opt.yml true 21.61 14.99 None pthread-wmm/safe008_tso.yml true 12.78 10.05 None pthread-wmm/safe009_power.oepc.yml true 31.36 19.12 None pthread-wmm/safe009_power.opt.yml true 21.74 14.26 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.40 11.97 None pthread-wmm/safe009_rmo.oepc.yml true 25.98 16.44 None pthread-wmm/safe009_rmo.opt.yml true 19.08 13.95 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 17.87 11.80 None pthread-wmm/safe010_tso.yml true 10.13 8.29 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 18.33 14.12 None pthread-wmm/safe011_power.opt_pso.opt.yml true 17.26 12.73 None pthread-wmm/safe011_tso.yml true 16.31 11.61 None pthread-wmm/safe012_power.oepc.yml true 20.04 13.44 None pthread-wmm/safe012_power.opt.yml true 26.33 17.07 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml true 16.60 12.86 None pthread-wmm/safe012_rmo.oepc.yml true 22.42 15.19 None pthread-wmm/safe012_tso.yml true 16.61 12.20 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 18.05 13.26 None pthread-wmm/safe013_tso.yml true 16.97 11.95 None pthread-wmm/safe014_power.oepc.yml true 20.57 14.23 None pthread-wmm/safe014_power.opt.yml true 20.05 14.13 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.02 11.92 None pthread-wmm/safe014_rmo.oepc.yml true 16.86 11.95 None pthread-wmm/safe014_rmo.opt.yml true 30.06 18.77 None pthread-wmm/safe015_power.oepc.yml true 24.69 17.11 None pthread-wmm/safe015_power.opt.yml true 32.04 19.68 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.71 10.01 None pthread-wmm/safe015_rmo.yml true 23.10 15.79 None pthread-wmm/safe016_power.oepc.yml true 42.92 26.69 None pthread-wmm/safe016_power.opt.yml true 46.72 28.16 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 19.26 14.94 None pthread-wmm/safe016_rmo.oepc.yml true 40.38 25.06 None pthread-wmm/safe016_rmo.opt.yml true 43.92 26.69 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 17.97 13.01 None pthread-wmm/safe017_tso.yml true 15.94 11.36 None pthread-wmm/safe018_power.oepc.yml true 20.56 14.74 None pthread-wmm/safe018_power.opt.yml true 21.77 14.88 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.79 10.13 None pthread-wmm/safe018_rmo.oepc.yml true 17.90 13.11 None pthread-wmm/safe018_rmo.opt.yml true 26.54 16.87 None pthread-wmm/safe019_power.oepc.yml true 31.96 21.77 None pthread-wmm/safe019_power.opt.yml true 42.65 26.44 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.93 15.76 None pthread-wmm/safe019_rmo.oepc.yml true 28.92 19.25 None pthread-wmm/safe019_rmo.opt.yml true 31.49 21.76 None pthread-wmm/safe020_power.yml true 22.85 14.96 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.87 11.01 None pthread-wmm/safe020_rmo.yml true 19.39 13.47 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 16.77 12.45 None pthread-wmm/safe021_power.opt_pso.opt.yml true 24.12 15.69 None pthread-wmm/safe021_tso.yml true 16.24 12.10 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 16.87 10.97 None pthread-wmm/safe022_tso.yml true 12.23 8.92 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 29.88 18.70 None pthread-wmm/safe023_tso.yml true 12.33 10.37 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 21.18 14.42 None pthread-wmm/safe024_tso.yml true 12.22 10.02 None pthread-wmm/safe025_power.yml true 25.17 16.51 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.83 10.19 None pthread-wmm/safe025_rmo.yml true 22.44 16.08 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 17.12 13.19 None pthread-wmm/safe026_tso.yml true 16.05 11.94 None pthread-wmm/safe027_power.oepc.yml true 29.97 20.96 None pthread-wmm/safe027_power.opt.yml true 43.31 26.59 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 23.63 16.20 None pthread-wmm/safe027_rmo.yml true 26.82 18.81 None pthread-wmm/safe028_power.yml true 28.38 17.77 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.52 12.02 None pthread-wmm/safe028_rmo.yml true 19.86 13.46 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml true 17.60 11.33 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml true 13.94 9.63 None pthread-wmm/safe029_tso.yml true 12.17 8.83 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml true 17.92 13.01 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml true 17.50 12.85 None pthread-wmm/safe030_tso.yml true 16.66 11.69 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml true 16.71 12.44 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml true 23.13 14.90 None pthread-wmm/safe031_tso.yml true 12.68 9.94 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 28.33 17.98 None pthread-wmm/safe032_tso.yml true 12.20 9.73 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 17.01 11.47 None pthread-wmm/safe033_tso.yml true 12.12 9.10 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 20.46 14.05 None pthread-wmm/safe034_tso.yml true 12.93 10.73 None pthread-wmm/safe035_power.yml true 26.47 17.58 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 16.47 11.94 None pthread-wmm/safe036.yml true 10.26 7.70 None pthread-wmm/safe037.yml true 12.25 10.28 None pthread-wmm/thin002_power.oepc.yml true 27.78 19.23 None pthread-wmm/thin002_power.opt.yml true 29.74 20.16 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 24.66 16.99 None pthread-wmm/thin002_rmo.yml true 24.72 17.54 None pthread-lit/qw2004-1.yml true 15.23 9.74 None pthread-lit/qw2004-2b.yml true 16.25 10.65 None ldv-races/race-1_1-join.yml true 9.77 5.82 None ldv-races/race-1_2-join.yml true 8.29 5.48 None ldv-races/race-1_3-join.yml true 7.45 4.79 None ldv-races/race-2_1-container_of.yml true 79.20 58.70 None ldv-races/race-2_2-container_of.yml true 101.61 65.71 None ldv-races/race-2_3-container_of.yml true 152.89 98.94 None ldv-races/race-2_4-container_of.yml true 216.87 145.17 None ldv-races/race-2_5-container_of.yml true 82.77 56.25 None ldv-races/race-3_1-container_of-global.yml true 50.49 32.59 None ldv-races/race-3_2-container_of-global.yml true 70.87 40.90 None ldv-races/race-4_1-thread_local_vars.yml true 9.46 5.69 None ldv-races/race-4_2-thread_local_vars.yml true 7.96 5.61 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 58.24 33.98 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 55.08 31.35 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 249.77 170.22 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 182.27 148.44 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 173.39 137.79 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml OUT OF MEMORY 464.06 398.28 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml OUT OF MEMORY 471.76 402.56 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.85 867.76 None pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 12.39 6.90 None pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 10.64 5.95 None pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 14.41 7.71 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 12.75 6.90 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 11.78 6.44 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 12.68 7.16 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 13.13 7.19 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 11.17 6.26 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 10.24 6.24 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 10.46 6.13 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 13.36 7.58 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 11.09 6.18 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 13.23 7.17 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 9.68 5.48 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 9.72 5.97 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 10.91 6.09 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 11.18 6.03 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 13.43 7.65 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 16.01 9.07 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 10.74 6.12 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 10.41 6.24 None pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 900.78 675.26 None pthread-C-DAC/pthread-demo-datarace-2.yml TIMEOUT 901.56 633.56 None pthread-divine/condvar.yml true 11.58 7.29 None pthread-divine/condvar_spurious_wakeup.yml true 8.86 5.75 None pthread-divine/divinefifo-bug_1w1r.yml true 20.95 14.55 None pthread-divine/divinefifo_1w1r.yml true 27.88 17.50 None pthread-divine/ring_1w1r-1.yml TIMEOUT 900.72 675.42 None pthread-divine/ring_1w1r-2.yml TIMEOUT 901.16 711.47 None pthread-divine/ring_2w1r-1.yml OUT OF MEMORY 99.86 70.21 None pthread-divine/ring_2w1r-2.yml OUT OF MEMORY 184.96 126.56 None pthread-divine/tls_basic.yml unknown 7.37 4.28 None pthread-divine/tls_destructor_worker.yml unknown 7.76 4.46 None goblint-regression/04-mutex_02-simple_nr.yml true 13.28 8.84 None goblint-regression/04-mutex_04-munge_nr.yml true 16.31 10.12 None goblint-regression/04-mutex_05-lockfuns.yml true 14.58 9.36 None goblint-regression/04-mutex_07-ps_nr.yml true 14.57 9.73 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 18.70 11.69 None goblint-regression/04-mutex_12-ptr_nr.yml true 15.71 10.15 None goblint-regression/04-mutex_15-funarg_nr.yml true 10.54 7.51 None goblint-regression/04-mutex_17-ps_add1_nr.yml false(no-overflow) 7.87 5.26 None goblint-regression/04-mutex_18-glob_guards.yml true 9.03 5.19 None goblint-regression/04-mutex_22-deref_read.yml true 6.13 3.98 None goblint-regression/04-mutex_28-base_nr.yml true 11.39 7.48 None goblint-regression/04-mutex_41-pt_rwlock.yml true 9.30 7.30 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 11.13 8.86 None goblint-regression/04-mutex_43-thread_create_nr.yml true 9.38 7.36 None goblint-regression/04-mutex_46-escape_nr.yml false(no-overflow) 10.00 5.72 None goblint-regression/04-mutex_51-mutex_ptr.yml true 16.39 10.27 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 8.99 7.07 None goblint-regression/05-lval_ls_04-fld_nr.yml true 12.60 8.59 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 13.36 9.48 None goblint-regression/06-symbeq_11-equ_nr.yml false(no-overflow) 7.69 4.80 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 6.89 4.63 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 25.69 16.82 None goblint-regression/09-regions_02-list_nr.yml true 9.61 5.65 None goblint-regression/09-regions_04-list2_nr.yml true 31.31 19.85 None goblint-regression/09-regions_06-ptra_nr.yml true 8.87 5.44 None goblint-regression/09-regions_09-arraylist.yml true 7.14 4.67 None goblint-regression/09-regions_17-arrayloop_nr.yml true 25.98 17.33 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 901.84 892.64 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT 901.72 897.00 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 901.92 892.78 None goblint-regression/10-synch_01-thread_unique.yml true 6.86 4.44 None goblint-regression/10-synch_03-two_unique.yml true 8.44 5.05 None goblint-regression/13-privatized_01-priv_nr_true.yml true 11.92 8.30 None goblint-regression/13-privatized_03-priv_inv.yml true 6.86 4.46 None goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 152.46 109.89 None goblint-regression/13-privatized_18-first-reads_true.yml true 8.67 5.08 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml true 6.60 3.91 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml true 8.52 5.06 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml true 6.69 4.10 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml true 8.37 4.96 None goblint-regression/13-privatized_19-publish-precision_true.yml true 6.96 4.27 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml true 8.53 4.79 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml true 7.04 4.99 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml true 8.40 4.98 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml true 8.91 5.09 None goblint-regression/13-privatized_20-publish-regression_true.yml true 6.70 4.08 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 16.57 12.37 None goblint-regression/13-privatized_25-struct_nr_true.yml true 11.53 7.68 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 16.78 12.87 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 10.48 8.12 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 9.33 5.18 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 12.13 8.70 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 9.01 5.20 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 6.63 4.37 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 6.91 4.62 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 8.58 5.17 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 8.69 5.06 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 6.64 4.57 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 9.41 5.22 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 8.48 5.06 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml true 6.74 4.20 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml true 8.91 5.00 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 8.19 4.97 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 6.57 4.50 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 9.35 5.68 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 8.68 5.24 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 6.62 4.19 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 11.52 7.66 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 8.90 5.34 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 6.45 3.93 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 6.47 4.47 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml true 9.49 5.53 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml true 9.30 5.46 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml true 7.34 4.85 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 393.70 292.81 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml TIMEOUT 901.56 627.77 None goblint-regression/28-race_reach_45-escape_racing.yml true 11.58 8.78 None goblint-regression/28-race_reach_46-escape_racefree.yml true 11.38 8.73 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 6.47 4.01 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 6.83 4.66 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml true 6.32 3.91 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml true 6.89 4.21 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 9.61 7.55 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true.yml false(no-overflow) 11.13 7.87 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 17.43 13.71 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml true 6.85 4.89 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml true 6.83 4.41 None weaver/array-eq-symm.wvr.yml TIMEOUT 901.15 826.32 None weaver/array-eq-trans.wvr.yml TIMEOUT 900.66 792.15 None weaver/bench-exp1x3.wvr.yml true 5.71 3.54 None weaver/bench-exp2x3.wvr.yml true 5.83 3.56 None weaver/bench-exp2x4.wvr.yml true 6.42 3.78 None weaver/bench-exp2x6.wvr.yml true 6.07 4.15 None weaver/bench-exp2x9.wvr.yml true 6.48 3.91 None weaver/bench-exp3x3-opt.wvr.yml true 6.05 3.67 None weaver/bench-exp3x3.wvr.yml true 6.59 4.23 None weaver/chl-array-int-subst.wvr.yml TIMEOUT 900.63 670.81 None weaver/chl-array-int-symm.wvr.yml TIMEOUT 900.61 670.83 None weaver/chl-array-int-trans.wvr.yml TIMEOUT 901.37 635.81 None weaver/chl-chromosome-opt-symm.wvr.yml true 39.78 24.45 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 900.40 677.96 None weaver/chl-chromosome-symm.wvr.yml true 459.36 335.20 None weaver/chl-chromosome-trans.wvr.yml TIMEOUT 900.58 674.46 None weaver/chl-collitem-subst.wvr.yml true 739.58 683.17 None weaver/chl-collitem-symm.wvr.yml true 313.21 290.93 None weaver/chl-collitem-trans.wvr.yml true 850.36 768.23 None weaver/chl-exp-term-subst.wvr.yml true 25.51 21.02 None weaver/chl-exp-term-symm.wvr.yml true 19.32 15.63 None weaver/chl-file-item-subst.wvr.yml true 21.85 20.27 None weaver/chl-file-item-symm.wvr.yml true 20.67 15.60 None weaver/chl-file-item-trans.wvr.yml true 26.75 21.96 None weaver/chl-match-subst.wvr.yml true 37.30 34.50 None weaver/chl-match-symm.wvr.yml true 32.15 26.36 None weaver/chl-match-trans.wvr.yml true 39.19 35.34 None weaver/chl-name-comparator-subst.wvr.yml TIMEOUT 902.74 613.76 None weaver/chl-name-comparator-symm.wvr.yml TIMEOUT 901.06 823.95 None weaver/chl-name-comparator-trans.wvr.yml TIMEOUT 904.20 616.03 None weaver/chl-node-subst.wvr.yml TIMEOUT 902.64 620.73 None weaver/chl-node-symm.wvr.yml TIMEOUT 901.20 675.82 None weaver/chl-node-trans.wvr.yml TIMEOUT 900.40 803.14 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 367.49 268.67 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 314.20 252.38 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 414.41 332.06 None weaver/chl-simpl-str-subst.wvr.yml true 26.05 21.48 None weaver/chl-simpl-str-symm.wvr.yml true 19.67 15.67 None weaver/chl-simpl-str-trans.wvr.yml true 26.02 21.14 None weaver/chl-sre-subst.wvr.yml true 7.83 4.36 None weaver/chl-sre-symm.wvr.yml true 7.83 4.77 None weaver/chl-sre-trans.wvr.yml true 7.97 4.36 None weaver/chl-time-subst.wvr.yml true 124.12 101.11 None weaver/chl-time-symm.wvr.yml true 92.49 73.67 None weaver/chl-time-trans.wvr.yml true 105.87 94.02 None weaver/chl-word-subst.wvr.yml TIMEOUT 901.05 639.44 None weaver/chl-word-symm.wvr.yml TIMEOUT 903.47 798.07 None weaver/chl-word-trans.wvr.yml TIMEOUT 903.58 636.16 None weaver/clever.wvr.yml TIMEOUT 900.83 596.63 None weaver/fibonacci.wvr.yml TIMEOUT 901.77 688.98 None weaver/loop-tiling-eq.wvr.yml true 203.07 186.77 None weaver/mult-comm.wvr.yml true 6.21 4.01 None weaver/mult-dist.wvr.yml true 6.35 4.12 None weaver/mult-flipped-dist.wvr.yml true 6.36 4.03 None weaver/parallel-bakery-2.wvr.yml true 13.97 11.81 None weaver/parallel-bakery-3.wvr.yml true 86.24 63.15 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 570.96 503.46 None weaver/parallel-barrier-loop.wvr.yml true 7.99 4.99 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 110.72 77.71 None weaver/parallel-bluetooth.wvr.yml true 16.92 12.54 None weaver/parallel-lamport.wvr.yml TIMEOUT 901.23 645.12 None weaver/parallel-min-max-1.wvr.yml TIMEOUT 901.36 640.14 None weaver/parallel-misc-1.wvr.yml TIMEOUT 901.04 627.28 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 23.46 20.31 None weaver/parallel-misc-2-unrolled.wvr.yml true 5.97 3.60 None weaver/parallel-misc-2.wvr.yml true 7.81 4.43 None weaver/parallel-misc-3-extended.wvr.yml TIMEOUT 901.88 643.76 None weaver/parallel-misc-3.wvr.yml TIMEOUT 901.28 644.53 None weaver/parallel-misc-4.wvr.yml TIMEOUT 901.21 766.65 None weaver/parallel-misc-5.wvr.yml TIMEOUT 902.56 750.83 None weaver/parallel-parallel-sum-1-dsl.wvr.yml TIMEOUT 901.41 780.18 None weaver/parallel-parallel-sum-1.wvr.yml TIMEOUT 900.87 622.02 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 903.46 617.12 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT 900.38 616.80 None weaver/parallel-simple-equiv.wvr.yml true 5.96 3.80 None weaver/parallel-ticket-2.wvr.yml true 13.18 10.99 None weaver/parallel-ticket-3.wvr.yml true 21.77 17.38 None weaver/parallel-ticket-4.wvr.yml true 51.43 39.61 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 147.03 113.76 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 97.12 72.18 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 96.07 71.09 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 97.05 72.31 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 900.52 678.71 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 900.78 792.86 None weaver/popl20-bad-commit-1.wvr-bad.yml TIMEOUT 901.39 771.65 None weaver/popl20-bad-commit-2.wvr-bad.yml TIMEOUT 901.35 637.24 None weaver/popl20-bad-counter-queue.wvr.yml TIMEOUT 901.39 645.30 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 901.20 643.99 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 902.99 668.09 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 901.40 618.22 None weaver/popl20-bad-ring-nondet.wvr.yml TIMEOUT 904.00 645.21 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 901.39 636.54 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 7.46 4.23 None weaver/popl20-bad-three-array-sum-alt.wvr.yml TIMEOUT 901.26 826.46 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 902.20 625.52 None weaver/popl20-commit-1.wvr.yml TIMEOUT 901.25 637.65 None weaver/popl20-commit-2.wvr.yml TIMEOUT 901.08 763.31 None weaver/popl20-counter-determinism.wvr.yml TIMEOUT 900.57 666.50 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 901.32 635.75 None weaver/popl20-difference-det.wvr.yml TIMEOUT (ERROR: EXCEPTION) 900.35 659.32 None weaver/popl20-figure1-alt.wvr.yml TIMEOUT 900.89 622.33 None weaver/popl20-figure1.wvr.yml TIMEOUT 901.36 636.46 None weaver/popl20-figure3.wvr.yml true 6.12 3.87 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 900.64 781.57 None weaver/popl20-min-max-dec.wvr.yml TIMEOUT 900.50 679.05 None weaver/popl20-min-max-inc-dec.wvr.yml TIMEOUT 900.76 755.25 None weaver/popl20-min-max-inc.wvr.yml TIMEOUT 900.75 678.11 None weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 901.16 626.30 None weaver/popl20-more-array-sum-alt2.wvr.yml TIMEOUT 901.30 644.97 None weaver/popl20-more-array-sum.wvr.yml TIMEOUT 901.61 616.85 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 901.30 730.31 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 900.36 797.28 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 901.41 633.24 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 902.13 641.34 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 901.56 617.85 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 901.55 628.79 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 901.42 643.25 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.43 652.95 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.09 804.69 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 900.29 752.28 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 900.54 678.57 None weaver/popl20-more-min-le-max.wvr.yml TIMEOUT 901.41 625.05 None weaver/popl20-more-mts.wvr.yml TIMEOUT 901.57 614.15 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 901.86 634.18 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml true 5.83 3.66 None weaver/popl20-more-parray-copy.wvr.yml TIMEOUT 900.54 810.03 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 900.47 631.45 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 900.37 629.82 None weaver/popl20-more-sorted.wvr.yml TIMEOUT 900.69 678.36 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 901.36 644.03 None weaver/popl20-more-vector-add.wvr.yml TIMEOUT 902.10 815.69 None weaver/popl20-mult-4.wvr.yml true 7.50 4.65 None weaver/popl20-mult-equiv.wvr.yml true 7.55 4.26 None weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 901.32 615.60 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 900.80 649.69 None weaver/popl20-prod-cons-eq.wvr.yml TIMEOUT 902.79 622.63 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 900.59 631.15 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 901.36 655.23 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 901.44 629.07 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 903.07 798.06 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 900.32 790.21 None weaver/popl20-send-receive-alt.wvr.yml TIMEOUT 901.30 646.16 None weaver/popl20-send-receive.wvr.yml TIMEOUT 900.82 623.01 None weaver/popl20-simple-array-sum.wvr.yml TIMEOUT 901.12 652.82 None weaver/popl20-simple-queue.wvr.yml TIMEOUT 902.54 609.81 None weaver/popl20-threaded-sum-3.wvr.yml true 6.19 3.81 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 902.49 682.39 None weaver/popl20-three-array-min.wvr.yml TIMEOUT 904.28 770.94 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 900.55 681.16 None weaver/popl20-two-queue.wvr.yml TIMEOUT 901.09 803.32 None weaver/security.wvr.yml true 7.81 4.38 None weaver/spaghetti.wvr.yml true 7.66 4.75 None weaver/test-context1.wvr.yml TIMEOUT 900.89 636.87 None weaver/test-easy1.wvr.yml true 10.71 8.31 None weaver/test-easy10.wvr.yml true 8.01 4.73 None weaver/test-easy11.wvr.yml TIMEOUT 901.39 635.40 None weaver/test-easy6.wvr.yml true 15.55 12.15 None weaver/test-easy7.wvr.yml true 5.86 3.91 None weaver/test-hard1.wvr.yml true 18.71 13.76 None weaver/test-semi1.wvr.yml true 8.81 7.06 None weaver/unroll-2.wvr.yml TIMEOUT 900.45 683.11 None weaver/unroll-3.wvr.yml TIMEOUT 901.40 628.66 None weaver/unroll-4.wvr.yml TIMEOUT 903.69 826.23 None weaver/unroll-5.wvr.yml TIMEOUT 900.75 774.80 None weaver/unroll-cond-2.wvr.yml TIMEOUT 901.39 633.93 None weaver/unroll-cond-3.wvr.yml TIMEOUT 901.26 640.63 None weaver/unroll-cond-4.wvr.yml TIMEOUT 901.39 635.26 None weaver/unroll-cond-5.wvr.yml TIMEOUT 901.13 653.99 None pthread-deagle/airline-10.yml OUT OF MEMORY 70.56 47.39 None pthread-deagle/airline-15.yml OUT OF MEMORY 73.85 49.92 None pthread-deagle/airline-20.yml OUT OF MEMORY 74.59 51.29 None pthread-deagle/airline-25.yml OUT OF MEMORY 68.80 46.53 None pthread-deagle/airline-5.yml OUT OF MEMORY 78.92 53.83 None pthread-deagle/arithmetic_prog_bad.yml true 17.22 13.23 None pthread-deagle/arithmetic_prog_ok.yml true 17.60 12.98 None pthread-deagle/circular_buffer_bad.yml true 13.05 10.44 None pthread-deagle/circular_buffer_ok.yml true 13.73 10.25 None pthread-deagle/floating_read-10.yml OUT OF MEMORY 67.94 45.35 None pthread-deagle/floating_read-15.yml OUT OF MEMORY 63.30 41.94 None pthread-deagle/floating_read-20.yml OUT OF MEMORY 94.09 61.20 None pthread-deagle/floating_read-25.yml OUT OF MEMORY 96.63 69.68 None pthread-deagle/floating_read-5.yml OUT OF MEMORY 107.08 70.06 None pthread-deagle/reorder_c11_bad-10.yml OUT OF MEMORY 80.85 56.74 None pthread-deagle/reorder_c11_bad-20.yml OUT OF MEMORY 72.23 51.05 None pthread-deagle/reorder_c11_bad-30.yml OUT OF MEMORY 85.58 56.38 None pthread-deagle/reorder_c11_bad-40.yml OUT OF MEMORY 89.24 58.55 None pthread-deagle/reorder_c11_bad-50.yml OUT OF MEMORY 80.12 56.08 None pthread-deagle/reorder_c11_good-10.yml OUT OF MEMORY 89.79 57.62 None pthread-deagle/reorder_c11_good-20.yml OUT OF MEMORY 69.92 47.12 None pthread-deagle/reorder_c11_good-30.yml OUT OF MEMORY 67.14 44.22 None pthread-deagle/reorder_c11_good-40.yml OUT OF MEMORY 87.32 59.15 None pthread-deagle/reorder_c11_good-50.yml OUT OF MEMORY 70.06 46.08 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 6 done 144642.26 8080.95 - GemCutter.NewStatesSleepPersistentFixedOrder.VarAbsGlobalSyntactic.WithAssertions.SVCOMP-Concurrency-NoOverflow Run set 7 of 7: skipped Statistics: 2684 Files correct: 1918 correct true: 1914 correct false: 4 incorrect: 12 incorrect true: 0 incorrect false: 12 unknown: 754 Score: 3640 (max: 5364)