BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: GemCutter.NewStatesSleep.SVCOMP-ConcurrencySafety-Main, GemCutter.NewStatesSleep.VarAbsGlobalSmt.SVCOMP-ConcurrencySafety-Main, GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSmt.SVCOMP-ConcurrencySafety-Main date: Tue, 2023-01-10 12:08:13 CET tool: ULTIMATE Automizer 0.2.3-d6e16366 tool executable: ./Ultimate.py options: --force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION 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.15.60-1-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 ------------------------------------------------------------ GemCutter.NewStatesSleep.SVCOMP-ConcurrencySafety-Main Run set 1 of 26 with options '--force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION -s ../../../trunk/examples/settings/gemcutter/NewStatesSleep.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 100.92 85.52 None pthread/bigshot_s2.yml true 52.77 41.43 None pthread/fib_safe-10.yml TIMEOUT 901.34 846.58 None pthread/fib_safe-11.yml TIMEOUT 901.47 755.85 None pthread/fib_safe-12.yml TIMEOUT 900.18 785.83 None pthread/fib_safe-5.yml TIMEOUT 901.81 827.00 None pthread/fib_safe-6.yml TIMEOUT 901.57 748.60 None pthread/fib_safe-7.yml TIMEOUT 901.37 737.19 None pthread/fib_unsafe-10.yml TIMEOUT 901.53 761.70 None pthread/fib_unsafe-11.yml TIMEOUT 900.81 876.00 None pthread/fib_unsafe-12.yml TIMEOUT 901.28 851.65 None pthread/fib_unsafe-5.yml TIMEOUT 902.23 849.52 None pthread/fib_unsafe-6.yml TIMEOUT 900.53 755.70 None pthread/fib_unsafe-7.yml TIMEOUT 901.68 763.46 None pthread/lazy01.yml false(unreach-call) 11.28 7.67 None pthread/queue.yml false(unreach-call) 112.99 82.02 None pthread/queue_longer.yml false(unreach-call) 128.30 90.47 None pthread/queue_longest.yml false(unreach-call) 102.07 80.81 None pthread/queue_ok.yml TIMEOUT 901.43 847.80 None pthread/queue_ok_longer.yml TIMEOUT (ERROR: EXCEPTION) 901.33 864.04 None pthread/queue_ok_longest.yml TIMEOUT 906.37 786.70 None pthread/singleton.yml false(unreach-call) 13.96 8.85 None pthread/singleton_with-uninit-problems.yml true 27.11 16.73 None pthread/stack-1.yml TIMEOUT 901.97 863.41 None pthread/stack-2.yml false(unreach-call) 41.80 24.36 None pthread/stack_longer-1.yml TIMEOUT 901.96 864.19 None pthread/stack_longer-2.yml TIMEOUT 901.84 874.72 None pthread/stack_longest-1.yml TIMEOUT 901.96 864.19 None pthread/stack_longest-2.yml TIMEOUT 901.92 865.39 None pthread/stateful01-1.yml false(unreach-call) 9.22 5.71 None pthread/stateful01-2.yml true 11.17 6.99 None pthread/sync01.yml true 11.40 7.31 None pthread/triangular-1.yml true 23.92 14.17 None pthread/triangular-2.yml false(unreach-call) 15.46 9.02 None pthread/triangular-longer-1.yml true 41.89 27.10 None pthread/triangular-longer-2.yml false(unreach-call) 21.43 12.49 None pthread/triangular-longest-1.yml true 97.35 69.82 None pthread/triangular-longest-2.yml false(unreach-call) 34.40 20.62 None pthread-atomic/dekker.yml true 13.09 9.05 None pthread-atomic/lamport.yml true 17.96 11.15 None pthread-atomic/peterson.yml true 12.65 8.76 None pthread-atomic/read_write_lock-1.yml true 22.86 14.54 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 14.55 9.52 None pthread-atomic/szymanski.yml true 16.11 10.53 None pthread-atomic/time_var_mutex.yml true 11.34 8.37 None pthread-ext/01b_inc.yml TIMEOUT 912.97 628.83 None pthread-ext/18_read_write_lock.yml true 9.88 6.28 None pthread-wmm/mix000.oepc.yml false(unreach-call) 17.47 10.12 None pthread-wmm/mix000.opt.yml false(unreach-call) 16.60 9.86 None pthread-wmm/mix001.oepc.yml false(unreach-call) 21.88 12.01 None pthread-wmm/mix001.opt.yml false(unreach-call) 19.27 11.23 None pthread-wmm/mix002.oepc.yml false(unreach-call) 20.61 12.24 None pthread-wmm/mix002.opt.yml false(unreach-call) 20.41 11.84 None pthread-wmm/mix003.oepc.yml false(unreach-call) 20.34 11.60 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 20.57 11.64 None pthread-wmm/mix004.oepc.yml false(unreach-call) 43.30 26.48 None pthread-wmm/mix004.opt.yml false(unreach-call) 36.93 22.87 None pthread-wmm/mix005.opt.yml false(unreach-call) 37.90 23.59 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 41.13 23.72 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 44.31 26.28 None pthread-wmm/mix006.opt.yml false(unreach-call) 19.19 11.18 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 21.95 12.31 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 27.60 15.46 None pthread-wmm/mix007.oepc.yml false(unreach-call) 42.33 25.61 None pthread-wmm/mix007.opt.yml false(unreach-call) 42.81 26.04 None pthread-wmm/mix008.opt.yml false(unreach-call) 38.07 23.17 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 42.62 25.20 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 58.54 37.06 None pthread-wmm/mix009.oepc.yml false(unreach-call) 14.84 8.89 None pthread-wmm/mix009.opt.yml false(unreach-call) 15.29 8.78 None pthread-wmm/mix010.oepc.yml false(unreach-call) 21.22 12.38 None pthread-wmm/mix010.opt.yml false(unreach-call) 22.02 12.49 None pthread-wmm/mix011.opt.yml false(unreach-call) 21.76 11.98 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 26.80 14.69 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 23.49 13.25 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 14.94 8.96 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 14.23 8.52 None pthread-wmm/mix013.oepc.yml false(unreach-call) 38.26 20.86 None pthread-wmm/mix013.opt.yml false(unreach-call) 47.41 27.94 None pthread-wmm/mix014.opt.yml false(unreach-call) 42.12 26.31 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 45.86 28.52 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 58.44 35.93 None pthread-wmm/mix015.oepc.yml false(unreach-call) 20.93 11.46 None pthread-wmm/mix015.opt.yml false(unreach-call) 21.94 12.25 None pthread-wmm/mix016.oepc.yml false(unreach-call) 20.66 11.69 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 23.99 13.71 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 21.02 11.79 None pthread-wmm/mix017.oepc.yml false(unreach-call) 36.19 21.08 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 41.49 25.75 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 38.33 23.28 None pthread-wmm/mix018.opt.yml false(unreach-call) 37.54 21.97 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 41.91 25.36 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 51.20 33.27 None pthread-wmm/mix019.opt.yml false(unreach-call) 21.20 12.01 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 21.71 12.30 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 27.92 15.19 None pthread-wmm/mix020.oepc.yml false(unreach-call) 36.11 21.69 None pthread-wmm/mix020.opt.yml false(unreach-call) 35.11 21.05 None pthread-wmm/mix021.opt.yml false(unreach-call) 33.95 21.38 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 36.73 21.42 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 56.29 35.95 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 17.18 9.54 None pthread-wmm/mix022_tso.yml false(unreach-call) 15.77 9.19 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 49.20 29.12 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 58.79 37.95 None pthread-wmm/mix023_tso.yml false(unreach-call) 111.51 78.31 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 22.78 12.76 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 28.69 16.20 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 22.42 12.31 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 25.27 14.01 None pthread-wmm/mix026.oepc.yml false(unreach-call) 39.29 22.24 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 48.98 29.72 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 57.08 36.06 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 43.23 26.89 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 50.76 32.97 None pthread-wmm/mix027_tso.yml false(unreach-call) 68.67 46.83 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.28 12.21 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 27.48 15.27 None pthread-wmm/mix028_tso.yml false(unreach-call) 22.46 12.40 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 38.12 22.03 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 60.50 38.85 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 43.51 26.46 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 55.79 35.96 None pthread-wmm/mix030_tso.yml false(unreach-call) 38.08 22.97 None pthread-wmm/mix031.oepc.yml false(unreach-call) 15.59 8.91 None pthread-wmm/mix031.opt.yml false(unreach-call) 15.73 9.16 None pthread-wmm/mix032.oepc.yml false(unreach-call) 22.47 12.70 None pthread-wmm/mix032.opt.yml false(unreach-call) 20.71 11.56 None pthread-wmm/mix033.opt.yml false(unreach-call) 20.04 11.65 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 20.83 11.88 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 24.30 13.68 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 16.19 10.57 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 15.11 8.64 None pthread-wmm/mix035.oepc.yml false(unreach-call) 20.69 12.22 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 24.52 13.76 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 21.76 12.72 None pthread-wmm/mix036.oepc.yml false(unreach-call) 38.92 21.64 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 47.49 29.85 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 43.12 24.74 None pthread-wmm/mix037.opt.yml false(unreach-call) 53.48 33.69 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 39.28 24.13 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 47.12 28.77 None pthread-wmm/mix038.opt.yml false(unreach-call) 18.13 10.52 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 21.09 11.73 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 25.06 14.08 None pthread-wmm/mix039.oepc.yml false(unreach-call) 36.01 20.41 None pthread-wmm/mix039.opt.yml false(unreach-call) 40.25 24.53 None pthread-wmm/mix040.opt.yml false(unreach-call) 34.38 20.56 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 37.80 22.39 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 45.69 27.57 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 15.53 9.14 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 20.59 11.82 None pthread-wmm/mix042.oepc.yml false(unreach-call) 20.01 11.46 None pthread-wmm/mix042.opt.yml false(unreach-call) 26.12 14.22 None pthread-wmm/mix043.oepc.yml false(unreach-call) 38.61 22.58 None pthread-wmm/mix043.opt.yml false(unreach-call) 63.83 40.81 None pthread-wmm/mix044.opt.yml false(unreach-call) 58.73 37.19 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 42.68 23.81 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 71.39 47.62 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 20.43 11.36 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 40.29 21.77 None pthread-wmm/mix046.oepc.yml false(unreach-call) 37.48 21.84 None pthread-wmm/mix046.opt.yml false(unreach-call) 74.08 50.11 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 44.72 26.53 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 59.77 38.93 None pthread-wmm/mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 14.09 8.68 None pthread-wmm/mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 18.08 10.58 None pthread-wmm/mix050.yml false(unreach-call) 29.31 16.51 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 35.17 21.26 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 33.62 19.59 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 58.84 36.04 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 21.19 11.87 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 20.30 11.05 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 27.99 15.29 None pthread-wmm/mix053.opt.yml false(unreach-call) 35.68 22.54 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 41.52 24.25 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 49.28 30.31 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 14.91 8.86 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 23.48 13.16 None pthread-wmm/mix055.opt.yml false(unreach-call) 50.08 32.40 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 40.73 24.32 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 65.47 43.55 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 21.34 11.74 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 34.79 19.12 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 37.45 22.11 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 70.70 45.61 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 32.14 18.20 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 26.01 15.08 None pthread-wmm/rfi000_tso.yml true 26.90 15.86 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 16.16 9.39 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.53 14.28 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 30.73 17.62 None pthread-wmm/rfi002_tso.yml true 46.04 27.03 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 18.15 10.63 None pthread-wmm/rfi003_tso.yml true 23.98 14.30 None pthread-wmm/rfi004.yml false(unreach-call) 15.02 9.15 None pthread-wmm/rfi005.yml false(unreach-call) 21.33 12.71 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 22.28 12.85 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 22.89 13.10 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 33.09 18.56 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 23.07 12.74 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.53 9.32 None pthread-wmm/rfi007_tso.yml false(unreach-call) 15.51 8.96 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 17.97 9.96 None pthread-wmm/rfi008.opt.yml false(unreach-call) 15.33 8.99 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 21.89 12.16 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.87 14.68 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 20.00 11.25 None pthread-wmm/rfi010.yml false(unreach-call) 14.14 8.65 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 24.69 13.16 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 38.78 21.30 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.63 10.87 None pthread-wmm/safe000_rmo.yml false(unreach-call) 23.29 12.92 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 26.29 14.64 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 39.36 22.55 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 25.72 14.57 None pthread-wmm/safe001_tso.yml true 18.43 10.67 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 25.22 14.49 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 28.80 16.29 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 26.35 14.79 None pthread-wmm/safe002_tso.yml true 19.03 11.75 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 29.91 16.27 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 27.99 15.40 None pthread-wmm/safe003_tso.yml true 16.87 9.89 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 34.56 19.37 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 38.11 21.63 None pthread-wmm/safe004_tso.yml true 15.57 9.53 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 32.90 19.13 None pthread-wmm/safe005_tso.yml true 16.03 9.53 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 14.61 8.30 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 17.78 10.34 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.63 8.29 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 13.26 7.57 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 21.65 12.13 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 23.80 13.61 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 19.08 12.10 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 15.69 9.35 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 23.75 13.30 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 22.17 12.09 None pthread-wmm/safe008_tso.yml true 16.69 9.99 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 32.60 17.54 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 41.32 22.22 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 19.78 11.71 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 29.02 16.07 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 24.14 13.14 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 18.42 10.21 None pthread-wmm/safe010_tso.yml true 12.56 7.96 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 29.15 16.49 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 25.86 15.06 None pthread-wmm/safe011_tso.yml true 13.70 8.35 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 19.27 10.70 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 24.06 13.79 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 24.44 13.56 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 15.82 9.56 None pthread-wmm/safe012_tso.yml true 16.62 9.69 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 24.08 13.09 None pthread-wmm/safe013_tso.yml true 15.19 9.46 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 22.31 12.62 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 24.91 14.09 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 19.01 11.32 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 16.69 9.33 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 31.53 16.70 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 32.49 18.10 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 37.00 20.02 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.27 10.07 None pthread-wmm/safe015_rmo.yml false(unreach-call) 31.54 17.95 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 48.36 26.92 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 91.11 60.44 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 34.97 22.60 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 38.29 20.97 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 71.24 45.55 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 26.40 14.94 None pthread-wmm/safe017_tso.yml true 14.83 9.03 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 22.63 12.87 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 54.16 30.21 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 25.12 13.66 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 16.49 9.76 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 23.90 13.42 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 51.20 27.85 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 117.04 82.71 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 42.42 26.99 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 38.59 21.39 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 79.32 51.99 None pthread-wmm/safe020_power.yml false(unreach-call) 65.96 34.42 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.66 10.49 None pthread-wmm/safe020_rmo.yml false(unreach-call) 28.00 14.81 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 20.85 11.96 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 25.06 14.27 None pthread-wmm/safe021_tso.yml true 16.73 10.39 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.81 9.21 None pthread-wmm/safe022_tso.yml true 12.93 8.40 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 41.36 22.21 None pthread-wmm/safe023_tso.yml true 15.95 9.71 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 25.49 13.76 None pthread-wmm/safe024_tso.yml true 17.13 10.11 None pthread-wmm/safe025_power.yml false(unreach-call) 32.65 18.89 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 18.38 11.28 None pthread-wmm/safe025_rmo.yml false(unreach-call) 39.36 20.61 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 20.68 12.23 None pthread-wmm/safe026_tso.yml true 16.59 10.21 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 32.45 17.34 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 115.36 79.31 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 28.92 17.24 None pthread-wmm/safe027_rmo.yml false(unreach-call) 38.05 21.04 None pthread-wmm/safe028_power.yml false(unreach-call) 46.97 26.30 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.58 10.34 None pthread-wmm/safe028_rmo.yml false(unreach-call) 23.52 13.08 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 25.76 14.07 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 21.72 12.16 None pthread-wmm/safe029_tso.yml true 12.06 7.89 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 28.38 15.91 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 35.95 19.76 None pthread-wmm/safe030_tso.yml true 15.73 9.84 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 34.10 18.12 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 32.73 18.47 None pthread-wmm/safe031_tso.yml true 16.96 10.63 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 58.14 31.58 None pthread-wmm/safe032_tso.yml true 15.02 9.83 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 14.52 9.18 None pthread-wmm/safe033_tso.yml true 12.68 7.84 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 20.47 11.75 None pthread-wmm/safe034_tso.yml true 18.70 11.26 None pthread-wmm/safe035_power.yml true 96.60 67.30 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 15.96 10.13 None pthread-wmm/safe036.yml true 16.27 9.53 None pthread-wmm/safe037.yml true 21.46 12.19 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 25.29 14.17 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 59.34 37.14 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 42.58 27.12 None pthread-wmm/thin002_rmo.yml false(unreach-call) 24.89 15.07 None pthread-lit/qw2004-2b.yml false(unreach-call) 12.28 7.73 None ldv-races/race-1_1-join.yml true 16.42 10.07 None ldv-races/race-1_2-join.yml false(unreach-call) 11.84 8.48 None ldv-races/race-1_3-join.yml false(unreach-call) 15.12 8.85 None ldv-races/race-2_1-container_of.yml true 223.22 193.01 None ldv-races/race-2_2-container_of.yml false(unreach-call) 226.86 190.40 None ldv-races/race-2_3-container_of.yml false(unreach-call) 12.62 8.03 None ldv-races/race-2_4-container_of.yml false(unreach-call) 12.46 7.85 None ldv-races/race-2_5-container_of.yml false(unreach-call) 36.54 29.05 None ldv-races/race-3_1-container_of-global.yml true 199.15 176.55 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 177.91 147.48 None ldv-races/race-4_1-thread_local_vars.yml true 54.65 32.18 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 34.25 20.38 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 45.93 23.79 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 829.81 698.93 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 51.18 32.00 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 399.62 218.71 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml OUT OF MEMORY 117.53 94.87 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 904.03 884.06 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 72.78 48.78 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 90.31 54.86 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml false(unreach-call) 84.80 49.83 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 170.94 120.28 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT 901.75 874.12 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 41.29 24.37 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 901.82 874.23 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 55.22 31.93 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 19.77 12.16 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml true 294.79 238.57 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 26.74 16.19 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 901.81 873.52 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml true 184.28 148.15 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml TIMEOUT 901.99 863.16 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 66.41 38.25 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 61.55 36.08 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 28.72 17.74 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml true 112.82 69.36 None pthread-C-DAC/pthread-demo-datarace-1.yml OUT OF MEMORY 850.73 704.11 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 52.72 30.90 None pthread-divine/ring_2w1r-1.yml TIMEOUT 901.96 849.60 None pthread-divine/tls_basic.yml unknown 7.43 4.47 None pthread-divine/tls_destructor_worker.yml unknown 7.37 4.39 None goblint-regression/13-privatized_01-priv_nr_true.yml true 12.72 8.82 None goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 287.84 193.23 None goblint-regression/13-privatized_18-first-reads_true.yml true 14.49 8.56 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 12.65 7.75 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 8.41 5.84 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 8.60 5.83 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 12.76 7.67 None goblint-regression/13-privatized_19-publish-precision_true.yml true 9.82 6.61 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 10.89 6.40 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 9.83 6.07 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 13.30 7.60 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 11.99 6.85 None goblint-regression/13-privatized_20-publish-regression_true.yml true 11.43 7.98 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 17.20 10.27 None goblint-regression/13-privatized_25-struct_nr_true.yml true 16.70 10.44 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 30.82 17.31 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 14.78 9.35 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 11.89 7.30 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 14.83 8.54 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 13.18 8.27 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.14 6.75 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 15.12 8.70 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 15.56 8.80 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 10.57 6.51 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 9.79 6.33 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 14.79 8.47 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 10.21 6.16 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 8.15 5.83 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 13.64 7.70 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 10.30 6.94 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 11.87 7.29 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 13.92 8.01 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 12.95 7.84 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 9.69 6.48 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 8.89 5.78 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 12.05 7.16 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 12.12 7.19 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 8.77 5.55 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 11.90 7.78 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 13.69 8.37 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 15.52 9.16 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 902.09 846.17 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 12.75 8.97 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 15.10 8.46 None goblint-regression/28-race_reach_46-escape_racefree.yml true 17.22 9.68 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 13.72 8.40 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 9.34 6.33 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 11.53 6.60 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 13.91 7.96 None goblint-regression/36-apron_21-traces-cluster-based_true.yml OUT OF MEMORY 197.20 127.77 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 19.69 12.14 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 11.75 7.04 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 11.78 7.22 None weaver/array-eq-symm.wvr.yml TIMEOUT 901.33 707.99 None weaver/array-eq-trans.wvr.yml TIMEOUT 901.11 835.61 None weaver/bench-exp1x3.wvr.yml TIMEOUT 905.44 883.82 None weaver/bench-exp2x3.wvr.yml TIMEOUT 900.86 880.36 None weaver/bench-exp2x4.wvr.yml TIMEOUT 901.75 876.38 None weaver/bench-exp2x6.wvr.yml TIMEOUT 901.70 886.77 None weaver/bench-exp2x9.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.64 888.47 None weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 89.31 62.30 None weaver/bench-exp3x3.wvr.yml TIMEOUT 901.69 879.70 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 236.63 189.90 None weaver/chl-array-int-symm.wvr.yml TIMEOUT 902.27 775.29 None weaver/chl-array-int-trans.wvr.yml TIMEOUT 903.42 830.07 None weaver/chl-chromosome-opt-symm.wvr.yml true 645.43 526.56 None weaver/chl-chromosome-subst.wvr.yml ERROR: EXCEPTION 863.93 722.67 None weaver/chl-chromosome-symm.wvr.yml TIMEOUT 901.23 718.48 None weaver/chl-chromosome-trans.wvr.yml TIMEOUT 901.93 840.26 None weaver/chl-collitem-subst.wvr.yml true 23.73 13.58 None weaver/chl-collitem-symm.wvr.yml true 19.29 10.90 None weaver/chl-collitem-trans.wvr.yml true 19.85 11.67 None weaver/chl-exp-term-subst.wvr.yml true 168.34 122.43 None weaver/chl-exp-term-symm.wvr.yml true 29.51 18.69 None weaver/chl-file-item-subst.wvr.yml OUT OF MEMORY 250.34 211.83 None weaver/chl-file-item-symm.wvr.yml true 51.03 30.56 None weaver/chl-file-item-trans.wvr.yml true 317.79 225.38 None weaver/chl-match-subst.wvr.yml true 90.60 62.89 None weaver/chl-match-symm.wvr.yml true 32.06 20.32 None weaver/chl-match-trans.wvr.yml true 77.37 48.29 None weaver/chl-name-comparator-subst.wvr.yml TIMEOUT 901.18 717.90 None weaver/chl-name-comparator-symm.wvr.yml true 879.69 833.73 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 374.55 286.94 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 534.23 414.40 None weaver/chl-node-symm.wvr.yml true 81.52 45.74 None weaver/chl-node-trans.wvr.yml TIMEOUT 905.33 649.59 None weaver/chl-nzb-file-subst.wvr.yml TIMEOUT 909.61 571.94 None weaver/chl-nzb-file-symm.wvr.yml TIMEOUT 902.08 855.08 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 250.64 168.94 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 902.16 835.34 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 902.22 817.89 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 900.37 794.14 None weaver/chl-simpl-str-subst.wvr.yml true 81.08 59.01 None weaver/chl-simpl-str-symm.wvr.yml true 22.72 14.18 None weaver/chl-simpl-str-trans.wvr.yml true 61.19 44.76 None weaver/chl-sre-subst.wvr.yml true 14.28 9.11 None weaver/chl-sre-symm.wvr.yml true 12.59 8.43 None weaver/chl-sre-trans.wvr.yml true 11.55 7.71 None weaver/chl-time-subst.wvr.yml true 13.41 8.58 None weaver/chl-time-symm.wvr.yml true 11.39 7.07 None weaver/chl-time-trans.wvr.yml true 13.15 8.44 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 511.00 412.54 None weaver/chl-word-symm.wvr.yml TIMEOUT 901.01 739.67 None weaver/chl-word-trans.wvr.yml TIMEOUT 902.19 825.36 None weaver/clever.wvr.yml TIMEOUT 900.78 884.76 None weaver/fibonacci.wvr.yml TIMEOUT 900.85 850.85 None weaver/loop-tiling-eq.wvr.yml ERROR: EXCEPTION 764.91 728.22 None weaver/mult-comm.wvr.yml TIMEOUT 901.23 874.03 None weaver/mult-dist.wvr.yml TIMEOUT 901.01 867.59 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 901.87 869.46 None weaver/parallel-bakery-2.wvr.yml true 14.62 8.91 None weaver/parallel-bakery-3.wvr.yml true 203.48 161.00 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 631.01 541.25 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 14.73 9.00 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 156.21 111.20 None weaver/parallel-bluetooth.wvr.yml true 16.36 9.85 None weaver/parallel-lamport.wvr.yml true 85.65 63.31 None weaver/parallel-min-max-1.wvr.yml true 60.41 43.99 None weaver/parallel-misc-1.wvr.yml ERROR: EXCEPTION 871.77 837.66 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 9.52 6.41 None weaver/parallel-misc-2-unrolled.wvr.yml true 13.05 8.68 None weaver/parallel-misc-2.wvr.yml TIMEOUT 906.08 880.87 None weaver/parallel-misc-3-extended.wvr.yml true 42.24 27.01 None weaver/parallel-misc-3.wvr.yml true 12.38 7.75 None weaver/parallel-misc-4.wvr.yml true 35.71 21.29 None weaver/parallel-misc-5.wvr.yml TIMEOUT 906.17 775.52 None weaver/parallel-parallel-sum-1-dsl.wvr.yml TIMEOUT 901.14 834.45 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 894.10 705.83 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 901.92 866.39 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.89 844.81 None weaver/parallel-simple-equiv.wvr.yml true 10.95 7.22 None weaver/parallel-ticket-2.wvr.yml true 14.80 8.95 None weaver/parallel-ticket-3.wvr.yml true 18.69 11.09 None weaver/parallel-ticket-4.wvr.yml true 38.99 22.41 None weaver/parallel-ticket-5.wvr.yml true 138.82 103.95 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 288.98 213.08 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 361.54 240.50 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 355.49 228.16 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 901.07 843.93 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 900.50 769.15 None weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 458.09 307.08 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 222.56 159.22 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 20.86 12.40 None weaver/popl20-bad-counter-queue2.wvr.yml OUT OF MEMORY 451.30 377.48 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 75.77 46.30 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 901.05 780.36 None weaver/popl20-bad-ring-nondet.wvr.yml true 61.61 40.83 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 901.01 837.67 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 905.55 858.08 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 246.57 212.24 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 901.39 844.24 None weaver/popl20-commit-1.wvr.yml TIMEOUT 900.81 864.06 None weaver/popl20-commit-2.wvr.yml TIMEOUT 901.26 825.09 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 314.74 263.94 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 901.03 873.06 None weaver/popl20-difference-det.wvr.yml TIMEOUT 901.10 729.55 None weaver/popl20-figure1-alt.wvr.yml true 48.64 34.29 None weaver/popl20-figure1.wvr.yml TIMEOUT 900.32 716.85 None weaver/popl20-figure3.wvr.yml TIMEOUT 901.24 883.21 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 900.88 852.10 None weaver/popl20-min-max-dec.wvr.yml TIMEOUT 905.41 893.06 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 375.92 330.41 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 576.95 460.28 None weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 22.46 13.24 None weaver/popl20-more-array-sum-alt2.wvr.yml ERROR: EXCEPTION 581.12 528.48 None weaver/popl20-more-array-sum.wvr.yml false(unreach-call) 21.35 12.68 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 900.93 843.63 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 901.11 830.95 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 901.89 861.11 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 902.12 825.38 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 901.98 849.77 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 901.05 842.54 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 901.06 827.70 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 900.92 850.23 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 900.70 875.82 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 900.72 873.68 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 900.81 863.95 None weaver/popl20-more-min-le-max.wvr.yml true 19.29 12.01 None weaver/popl20-more-mts.wvr.yml TIMEOUT 902.20 848.35 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 901.09 871.19 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.65 888.94 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 900.36 795.26 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 901.33 814.38 None weaver/popl20-more-sorted.wvr.yml TIMEOUT 901.84 809.66 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 900.70 779.82 None weaver/popl20-more-vector-add.wvr.yml TIMEOUT 901.72 884.84 None weaver/popl20-mult-4.wvr.yml TIMEOUT 901.05 851.94 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 900.94 844.75 None weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 901.40 762.99 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.39 861.92 None weaver/popl20-prod-cons-eq.wvr.yml TIMEOUT 901.58 829.95 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 901.14 766.43 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 901.03 841.66 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 795.22 685.54 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 901.10 837.75 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 901.05 834.99 None weaver/popl20-send-receive-alt.wvr.yml TIMEOUT 901.08 805.24 None weaver/popl20-send-receive.wvr.yml TIMEOUT 901.83 866.78 None weaver/popl20-simple-array-sum.wvr.yml OUT OF MEMORY 206.80 145.89 None weaver/popl20-simple-queue.wvr.yml true 728.37 647.53 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 905.58 859.60 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 901.05 824.01 None weaver/popl20-three-array-min.wvr.yml TIMEOUT 901.03 824.24 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.82 857.86 None weaver/popl20-two-queue.wvr.yml TIMEOUT 901.01 848.84 None weaver/security.wvr.yml true 12.54 7.85 None weaver/spaghetti.wvr.yml true 21.43 14.27 None weaver/test-context1.wvr.yml TIMEOUT 900.80 735.71 None weaver/test-easy1.wvr.yml true 15.45 9.92 None weaver/test-easy10.wvr.yml true 22.20 13.70 None weaver/test-easy11.wvr.yml true 22.76 14.14 None weaver/test-easy6.wvr.yml true 13.89 8.46 None weaver/test-easy7.wvr.yml true 12.87 8.45 None weaver/test-easy8.wvr.yml true 9.82 6.46 None weaver/test-hard1.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.68 875.20 None weaver/test-semi1.wvr.yml true 10.15 6.93 None weaver/unroll-2.wvr.yml TIMEOUT 900.79 866.87 None weaver/unroll-3.wvr.yml TIMEOUT 900.89 875.19 None weaver/unroll-4.wvr.yml TIMEOUT (ERROR: EXCEPTION) 900.67 795.63 None weaver/unroll-5.wvr.yml TIMEOUT 900.91 857.77 None weaver/unroll-cond-2.wvr.yml TIMEOUT 901.81 834.78 None weaver/unroll-cond-3.wvr.yml TIMEOUT 900.84 847.63 None weaver/unroll-cond-4.wvr.yml TIMEOUT 901.08 844.69 None weaver/unroll-cond-5.wvr.yml TIMEOUT 903.86 789.96 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 11.82 7.20 None pthread-deagle/arithmetic_prog_ok.yml true 26.52 14.92 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 21.53 15.50 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 900.85 871.82 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 139282.51 9238.43 - GemCutter.NewStatesSleepPersistentFixedOrder.SVCOMP-ConcurrencySafety-Main Run set 2 of 26: skipped GemCutter.NewStatesSleepPersistentFixedOrder.Badger.SVCOMP-ConcurrencySafety-Main Run set 3 of 26: skipped GemCutter.NewStatesSleepPersistentFixedOrder.PerError.SVCOMP-ConcurrencySafety-Main Run set 4 of 26: skipped GemCutter.NewStatesSleep.VarAbsGlobalSyntactic.SVCOMP-ConcurrencySafety-Main Run set 5 of 26: skipped GemCutter.NewStatesSleep.VarAbsGlobalSmt.SVCOMP-ConcurrencySafety-Main Run set 6 of 26 with options '--force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION -s ../../../trunk/examples/settings/gemcutter/NewStatesSleep-VarAbsGlobalSmt.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 131.67 116.01 None pthread/bigshot_s2.yml true 253.50 240.05 None pthread/fib_safe-10.yml TIMEOUT 901.72 847.98 None pthread/fib_safe-11.yml TIMEOUT 900.55 755.26 None pthread/fib_safe-12.yml TIMEOUT 900.93 789.95 None pthread/fib_safe-5.yml TIMEOUT 901.37 836.37 None pthread/fib_safe-6.yml TIMEOUT 901.60 733.64 None pthread/fib_safe-7.yml TIMEOUT 901.18 738.98 None pthread/fib_unsafe-10.yml TIMEOUT 901.59 765.71 None pthread/fib_unsafe-11.yml TIMEOUT 902.32 873.01 None pthread/fib_unsafe-12.yml TIMEOUT 901.13 855.73 None pthread/fib_unsafe-5.yml TIMEOUT 900.71 836.21 None pthread/fib_unsafe-6.yml TIMEOUT 900.64 762.53 None pthread/fib_unsafe-7.yml TIMEOUT 902.88 768.13 None pthread/lazy01.yml false(unreach-call) 10.82 7.04 None pthread/queue.yml TIMEOUT (ERROR: EXCEPTION) 902.41 715.26 None pthread/queue_longer.yml false(unreach-call) 129.32 97.17 None pthread/queue_longest.yml false(unreach-call) 96.87 66.07 None pthread/queue_ok.yml TIMEOUT 901.93 857.54 None pthread/queue_ok_longer.yml TIMEOUT 900.46 764.91 None pthread/queue_ok_longest.yml TIMEOUT 906.33 784.34 None pthread/singleton.yml false(unreach-call) 14.29 9.04 None pthread/singleton_with-uninit-problems.yml true 20.20 13.54 None pthread/stack-1.yml TIMEOUT 901.60 846.13 None pthread/stack-2.yml false(unreach-call) 45.93 26.01 None pthread/stack_longer-1.yml TIMEOUT 901.85 877.21 None pthread/stack_longer-2.yml TIMEOUT 901.84 875.50 None pthread/stack_longest-1.yml TIMEOUT 901.85 873.29 None pthread/stack_longest-2.yml TIMEOUT 901.93 862.83 None pthread/stateful01-1.yml false(unreach-call) 9.24 5.80 None pthread/stateful01-2.yml true 11.54 7.55 None pthread/sync01.yml true 12.26 7.64 None pthread/triangular-1.yml true 42.15 30.03 None pthread/triangular-2.yml false(unreach-call) 15.71 9.44 None pthread/triangular-longer-1.yml OUT OF MEMORY 228.26 185.62 None pthread/triangular-longer-2.yml false(unreach-call) 21.01 12.67 None pthread/triangular-longest-1.yml OUT OF MEMORY 165.03 131.04 None pthread/triangular-longest-2.yml false(unreach-call) 32.50 21.17 None pthread-atomic/dekker.yml true 13.15 9.16 None pthread-atomic/lamport.yml true 17.08 11.00 None pthread-atomic/peterson.yml true 13.48 9.44 None pthread-atomic/read_write_lock-1.yml true 22.46 14.73 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 15.61 10.09 None pthread-atomic/szymanski.yml true 15.15 10.15 None pthread-atomic/time_var_mutex.yml true 13.21 9.24 None pthread-ext/01b_inc.yml TIMEOUT 903.19 645.27 None pthread-ext/18_read_write_lock.yml true 10.11 6.56 None pthread-wmm/mix000.oepc.yml false(unreach-call) 21.51 12.43 None pthread-wmm/mix000.opt.yml false(unreach-call) 16.32 9.64 None pthread-wmm/mix001.oepc.yml false(unreach-call) 25.08 13.80 None pthread-wmm/mix001.opt.yml false(unreach-call) 20.45 11.70 None pthread-wmm/mix002.oepc.yml false(unreach-call) 25.74 15.14 None pthread-wmm/mix002.opt.yml false(unreach-call) 20.82 11.99 None pthread-wmm/mix003.oepc.yml false(unreach-call) 26.68 15.32 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 21.52 12.40 None pthread-wmm/mix004.oepc.yml false(unreach-call) 45.03 29.41 None pthread-wmm/mix004.opt.yml false(unreach-call) 41.25 27.06 None pthread-wmm/mix005.opt.yml false(unreach-call) 41.31 25.39 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 47.65 29.43 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 68.65 47.32 None pthread-wmm/mix006.opt.yml false(unreach-call) 21.77 12.53 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 28.70 17.12 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 47.54 30.54 None pthread-wmm/mix007.oepc.yml false(unreach-call) 66.64 46.50 None pthread-wmm/mix007.opt.yml false(unreach-call) 43.04 27.83 None pthread-wmm/mix008.opt.yml false(unreach-call) 40.52 25.54 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 50.86 33.93 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 93.46 65.98 None pthread-wmm/mix009.oepc.yml false(unreach-call) 17.28 10.10 None pthread-wmm/mix009.opt.yml false(unreach-call) 17.68 10.02 None pthread-wmm/mix010.oepc.yml false(unreach-call) 24.36 13.19 None pthread-wmm/mix010.opt.yml false(unreach-call) 20.88 12.07 None pthread-wmm/mix011.opt.yml false(unreach-call) 20.59 11.81 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 30.02 17.55 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 30.39 17.93 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 18.49 11.45 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 15.79 9.47 None pthread-wmm/mix013.oepc.yml false(unreach-call) 42.45 26.72 None pthread-wmm/mix013.opt.yml false(unreach-call) 43.25 25.92 None pthread-wmm/mix014.opt.yml false(unreach-call) 45.35 28.46 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 48.64 32.67 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 124.27 93.41 None pthread-wmm/mix015.oepc.yml false(unreach-call) 22.36 12.92 None pthread-wmm/mix015.opt.yml false(unreach-call) 21.96 12.25 None pthread-wmm/mix016.oepc.yml false(unreach-call) 23.83 13.46 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 30.38 18.62 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 21.09 11.79 None pthread-wmm/mix017.oepc.yml false(unreach-call) 43.72 28.67 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 63.00 43.41 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 42.25 25.93 None pthread-wmm/mix018.opt.yml false(unreach-call) 33.57 20.36 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 52.00 33.66 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 66.43 47.28 None pthread-wmm/mix019.opt.yml false(unreach-call) 19.76 10.96 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 26.92 15.77 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 38.80 23.62 None pthread-wmm/mix020.oepc.yml false(unreach-call) 45.74 30.36 None pthread-wmm/mix020.opt.yml false(unreach-call) 32.64 20.16 None pthread-wmm/mix021.opt.yml false(unreach-call) 29.05 15.99 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 48.27 30.61 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 68.00 47.17 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.85 11.47 None pthread-wmm/mix022_tso.yml false(unreach-call) 19.77 11.15 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 55.93 37.82 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 78.35 57.08 None pthread-wmm/mix023_tso.yml false(unreach-call) 150.63 115.61 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 27.58 15.65 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 33.52 18.40 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 27.51 15.91 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 32.51 18.74 None pthread-wmm/mix026.oepc.yml false(unreach-call) 45.91 28.10 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 69.44 49.29 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 81.91 58.37 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 51.10 33.84 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 76.38 54.23 None pthread-wmm/mix027_tso.yml false(unreach-call) 80.65 57.99 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 25.56 15.02 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 35.02 20.38 None pthread-wmm/mix028_tso.yml false(unreach-call) 25.06 14.23 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 47.21 29.84 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 85.25 60.29 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 52.10 35.57 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 52.26 33.22 None pthread-wmm/mix030_tso.yml false(unreach-call) 51.22 34.37 None pthread-wmm/mix031.oepc.yml false(unreach-call) 19.85 11.72 None pthread-wmm/mix031.opt.yml false(unreach-call) 17.36 10.36 None pthread-wmm/mix032.oepc.yml false(unreach-call) 23.57 13.65 None pthread-wmm/mix032.opt.yml false(unreach-call) 21.82 12.94 None pthread-wmm/mix033.opt.yml false(unreach-call) 20.20 11.40 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 29.34 17.67 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 28.54 16.55 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 18.69 10.97 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 16.91 10.49 None pthread-wmm/mix035.oepc.yml false(unreach-call) 26.52 15.02 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 27.76 16.29 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 20.41 11.69 None pthread-wmm/mix036.oepc.yml false(unreach-call) 48.56 31.54 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 83.14 60.12 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 37.13 23.95 None pthread-wmm/mix037.opt.yml false(unreach-call) 34.09 21.26 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 47.83 30.67 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 85.73 61.14 None pthread-wmm/mix038.opt.yml false(unreach-call) 17.57 10.20 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 28.44 17.59 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 30.44 17.61 None pthread-wmm/mix039.oepc.yml false(unreach-call) 39.91 24.12 None pthread-wmm/mix039.opt.yml false(unreach-call) 33.64 19.95 None pthread-wmm/mix040.opt.yml false(unreach-call) 58.45 39.03 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 48.81 31.53 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 59.10 40.33 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 17.23 10.13 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 27.06 15.55 None pthread-wmm/mix042.oepc.yml false(unreach-call) 22.41 12.65 None pthread-wmm/mix042.opt.yml false(unreach-call) 30.61 17.20 None pthread-wmm/mix043.oepc.yml false(unreach-call) 52.87 35.31 None pthread-wmm/mix043.opt.yml false(unreach-call) 129.00 97.59 None pthread-wmm/mix044.opt.yml false(unreach-call) 164.39 126.32 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 63.08 41.15 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 102.51 76.31 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.68 13.62 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 51.00 30.40 None pthread-wmm/mix046.oepc.yml false(unreach-call) 45.13 28.32 None pthread-wmm/mix046.opt.yml false(unreach-call) 175.78 125.27 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 51.03 32.05 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 123.00 92.71 None pthread-wmm/mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 18.30 10.56 None pthread-wmm/mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 30.16 16.35 None pthread-wmm/mix050.yml false(unreach-call) 39.94 23.54 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 43.01 27.00 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 46.70 29.83 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 121.95 83.41 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 24.03 13.41 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 18.90 11.06 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 37.96 23.80 None pthread-wmm/mix053.opt.yml false(unreach-call) 28.56 16.79 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 43.88 26.55 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 58.50 39.13 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 18.51 10.67 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 35.25 21.48 None pthread-wmm/mix055.opt.yml false(unreach-call) 102.51 76.86 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 43.62 26.98 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 75.08 55.27 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.02 13.42 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 48.14 29.46 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 46.71 28.89 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 142.59 109.93 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 35.33 20.03 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 31.25 17.50 None pthread-wmm/rfi000_tso.yml true 42.05 23.15 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 19.61 12.07 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 37.96 20.36 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 75.75 50.11 None pthread-wmm/rfi002_tso.yml true 101.94 62.39 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.85 10.12 None pthread-wmm/rfi003_tso.yml true 37.73 21.93 None pthread-wmm/rfi004.yml false(unreach-call) 19.92 10.98 None pthread-wmm/rfi005.yml false(unreach-call) 27.90 17.89 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 41.40 25.14 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 35.62 21.24 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 51.59 29.69 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 23.97 13.54 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 26.09 14.31 None pthread-wmm/rfi007_tso.yml false(unreach-call) 21.17 13.15 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 20.71 11.49 None pthread-wmm/rfi008.opt.yml false(unreach-call) 15.74 9.19 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 36.38 21.03 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 46.78 25.46 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 25.55 14.52 None pthread-wmm/rfi010.yml false(unreach-call) 20.31 11.25 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 41.77 26.53 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 65.32 39.22 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.05 10.09 None pthread-wmm/safe000_rmo.yml false(unreach-call) 31.06 18.90 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 46.37 28.14 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 40.27 24.45 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 42.02 23.82 None pthread-wmm/safe001_tso.yml true 21.76 12.50 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 38.93 24.10 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 36.56 22.60 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 36.74 22.49 None pthread-wmm/safe002_tso.yml true 28.13 15.54 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 46.64 24.79 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 40.85 22.89 None pthread-wmm/safe003_tso.yml true 16.82 9.94 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 49.45 26.92 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 55.68 35.84 None pthread-wmm/safe004_tso.yml true 15.49 9.86 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 50.24 28.66 None pthread-wmm/safe005_tso.yml true 16.39 10.27 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 40.33 23.28 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 38.08 21.90 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.95 7.79 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 14.04 8.28 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 38.17 21.81 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 45.51 26.59 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 18.08 10.69 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 16.93 9.65 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 30.37 17.84 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 35.54 20.05 None pthread-wmm/safe008_tso.yml true 21.94 12.79 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 56.17 35.58 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 66.12 41.21 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 23.10 13.21 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 45.30 28.66 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 35.39 18.55 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.96 11.11 None pthread-wmm/safe010_tso.yml true 16.44 9.58 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 42.83 23.32 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 41.44 22.37 None pthread-wmm/safe011_tso.yml true 15.09 9.75 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 28.32 15.55 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 45.47 27.39 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 32.97 18.50 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 17.92 10.95 None pthread-wmm/safe012_tso.yml true 18.49 10.96 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 40.39 22.18 None pthread-wmm/safe013_tso.yml true 17.75 10.10 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 45.31 27.13 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 59.99 33.34 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 21.50 12.68 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 22.87 13.85 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 35.64 21.12 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 61.12 37.66 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 71.03 46.93 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.20 12.59 None pthread-wmm/safe015_rmo.yml false(unreach-call) 43.74 25.68 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 88.11 49.02 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 136.42 105.56 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 43.19 29.82 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 50.82 28.04 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 115.59 89.33 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 28.63 16.73 None pthread-wmm/safe017_tso.yml true 15.03 9.51 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 52.74 30.23 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 98.68 68.41 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.33 11.52 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 19.54 11.29 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 41.03 25.18 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 71.20 43.03 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 248.88 197.82 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 48.94 34.23 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 44.96 28.69 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 115.13 87.88 None pthread-wmm/safe020_power.yml false(unreach-call) 101.19 58.68 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.43 10.48 None pthread-wmm/safe020_rmo.yml false(unreach-call) 42.77 23.03 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 27.62 14.96 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 29.24 17.45 None pthread-wmm/safe021_tso.yml true 25.68 14.38 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 25.28 13.47 None pthread-wmm/safe022_tso.yml true 12.25 8.37 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 69.63 43.66 None pthread-wmm/safe023_tso.yml true 22.52 12.82 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 46.17 24.71 None pthread-wmm/safe024_tso.yml true 18.08 10.64 None pthread-wmm/safe025_power.yml false(unreach-call) 51.61 31.23 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 26.13 14.40 None pthread-wmm/safe025_rmo.yml false(unreach-call) 46.08 27.34 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 24.78 14.21 None pthread-wmm/safe026_tso.yml true 16.66 9.91 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 77.40 44.89 None pthread-wmm/safe027_power.opt.yml OUT OF MEMORY 220.51 154.02 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 33.79 22.33 None pthread-wmm/safe027_rmo.yml false(unreach-call) 41.32 24.01 None pthread-wmm/safe028_power.yml false(unreach-call) 77.47 49.05 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.70 12.82 None pthread-wmm/safe028_rmo.yml false(unreach-call) 36.21 19.34 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 26.45 16.34 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 28.81 16.16 None pthread-wmm/safe029_tso.yml true 12.77 8.29 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 45.01 24.39 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 45.68 25.68 None pthread-wmm/safe030_tso.yml true 15.73 9.99 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 27.85 15.90 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 44.98 25.36 None pthread-wmm/safe031_tso.yml true 15.86 9.84 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 75.92 50.89 None pthread-wmm/safe032_tso.yml true 17.06 10.53 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.83 10.97 None pthread-wmm/safe033_tso.yml true 13.49 8.49 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 18.51 11.57 None pthread-wmm/safe034_tso.yml true 22.57 12.92 None pthread-wmm/safe035_power.yml TIMEOUT 901.90 858.45 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 17.49 10.79 None pthread-wmm/safe036.yml true 13.06 8.83 None pthread-wmm/safe037.yml true 16.03 9.98 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 62.32 33.11 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 156.59 107.30 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 41.27 29.39 None pthread-wmm/thin002_rmo.yml false(unreach-call) 23.77 13.35 None pthread-lit/qw2004-2b.yml false(unreach-call) 11.91 6.98 None ldv-races/race-1_1-join.yml true 12.21 8.82 None ldv-races/race-1_2-join.yml false(unreach-call) 11.47 7.26 None ldv-races/race-1_3-join.yml false(unreach-call) 12.31 7.86 None ldv-races/race-2_1-container_of.yml true 160.79 112.97 None ldv-races/race-2_2-container_of.yml false(unreach-call) 94.81 72.68 None ldv-races/race-2_3-container_of.yml false(unreach-call) 11.79 6.96 None ldv-races/race-2_4-container_of.yml false(unreach-call) 11.93 7.11 None ldv-races/race-2_5-container_of.yml false(unreach-call) 24.81 18.11 None ldv-races/race-3_1-container_of-global.yml true 106.45 83.07 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 83.54 62.48 None ldv-races/race-4_1-thread_local_vars.yml true 42.05 26.15 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 33.37 17.91 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 46.17 24.34 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 317.63 185.31 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 319.73 173.74 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 74.66 45.30 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml OUT OF MEMORY 268.92 146.74 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 268.57 153.22 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 83.84 48.36 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 65.58 38.32 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml false(unreach-call) 77.33 46.44 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 145.71 110.53 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT 902.08 873.30 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 42.08 25.49 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 901.95 854.51 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 75.88 42.80 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 27.72 16.11 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml true 239.76 198.40 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 43.20 24.97 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 901.90 859.32 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml true 171.31 143.06 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml true 72.36 44.85 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 60.28 32.28 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 50.84 28.39 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 27.66 16.06 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml true 92.90 54.91 None pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 906.67 738.91 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 32.90 20.00 None pthread-divine/ring_2w1r-1.yml TIMEOUT 901.94 871.19 None pthread-divine/tls_basic.yml unknown 7.85 4.98 None pthread-divine/tls_destructor_worker.yml unknown 7.49 4.45 None goblint-regression/13-privatized_01-priv_nr_true.yml true 13.64 8.95 None goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 257.90 177.98 None goblint-regression/13-privatized_18-first-reads_true.yml true 10.80 6.74 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 9.82 6.99 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 9.25 6.03 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 8.55 5.72 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 9.69 6.33 None goblint-regression/13-privatized_19-publish-precision_true.yml true 10.09 6.66 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 8.87 5.66 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 10.34 6.39 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 10.34 6.22 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 8.96 5.44 None goblint-regression/13-privatized_20-publish-regression_true.yml true 11.37 8.06 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 16.55 10.08 None goblint-regression/13-privatized_25-struct_nr_true.yml true 13.33 8.89 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 23.08 13.66 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 14.98 9.23 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 15.69 9.07 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 10.89 6.71 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 14.02 8.50 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.42 7.40 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 13.02 7.66 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 15.78 9.03 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 11.11 6.83 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 10.58 6.64 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 10.76 6.87 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 11.06 6.80 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 8.70 5.32 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 14.80 8.31 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 10.80 6.89 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 11.93 7.69 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 10.35 6.27 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 10.04 6.32 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 9.89 6.48 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 11.57 7.27 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 8.86 5.62 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 9.33 6.01 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 8.58 5.93 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 11.36 7.48 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 9.41 6.69 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 16.00 9.39 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 901.11 860.98 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 13.42 8.36 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 10.94 6.75 None goblint-regression/28-race_reach_46-escape_racefree.yml true 13.36 8.45 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 10.28 7.05 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 12.32 7.29 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 9.13 5.70 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 11.60 6.74 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 171.32 121.00 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 19.24 12.04 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 9.01 6.05 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 11.12 6.90 None weaver/array-eq-symm.wvr.yml TIMEOUT 902.14 740.27 None weaver/array-eq-trans.wvr.yml TIMEOUT 901.11 835.17 None weaver/bench-exp1x3.wvr.yml TIMEOUT 905.44 885.61 None weaver/bench-exp2x3.wvr.yml TIMEOUT 901.70 877.52 None weaver/bench-exp2x4.wvr.yml TIMEOUT 901.68 881.19 None weaver/bench-exp2x6.wvr.yml TIMEOUT 901.66 888.00 None weaver/bench-exp2x9.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.65 890.23 None weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 114.30 79.34 None weaver/bench-exp3x3.wvr.yml TIMEOUT 901.82 865.10 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 460.49 366.09 None weaver/chl-array-int-symm.wvr.yml TIMEOUT 901.80 727.42 None weaver/chl-array-int-trans.wvr.yml TIMEOUT 903.18 839.56 None weaver/chl-chromosome-opt-symm.wvr.yml TIMEOUT 901.27 718.93 None weaver/chl-chromosome-subst.wvr.yml ERROR: EXCEPTION 778.51 675.67 None weaver/chl-chromosome-symm.wvr.yml TIMEOUT 902.31 835.56 None weaver/chl-chromosome-trans.wvr.yml TIMEOUT 901.92 840.82 None weaver/chl-collitem-subst.wvr.yml true 24.33 13.87 None weaver/chl-collitem-symm.wvr.yml true 19.27 11.43 None weaver/chl-collitem-trans.wvr.yml true 20.37 11.71 None weaver/chl-exp-term-subst.wvr.yml true 160.70 117.04 None weaver/chl-exp-term-symm.wvr.yml true 28.60 18.86 None weaver/chl-file-item-subst.wvr.yml true 377.40 286.07 None weaver/chl-file-item-symm.wvr.yml true 38.91 25.13 None weaver/chl-file-item-trans.wvr.yml true 251.20 189.66 None weaver/chl-match-subst.wvr.yml true 93.15 63.61 None weaver/chl-match-symm.wvr.yml true 31.55 21.15 None weaver/chl-match-trans.wvr.yml true 79.21 52.09 None weaver/chl-name-comparator-subst.wvr.yml TIMEOUT 900.91 744.49 None weaver/chl-name-comparator-symm.wvr.yml TIMEOUT 901.49 860.85 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 278.79 225.59 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 593.87 437.69 None weaver/chl-node-symm.wvr.yml true 102.31 72.45 None weaver/chl-node-trans.wvr.yml TIMEOUT 903.00 638.97 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 173.43 120.85 None weaver/chl-nzb-file-symm.wvr.yml TIMEOUT 902.37 795.32 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 245.60 171.65 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 902.00 848.18 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 902.23 820.40 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 902.18 870.78 None weaver/chl-simpl-str-subst.wvr.yml true 83.79 60.41 None weaver/chl-simpl-str-symm.wvr.yml true 29.52 16.74 None weaver/chl-simpl-str-trans.wvr.yml true 76.19 49.18 None weaver/chl-sre-subst.wvr.yml true 14.94 9.01 None weaver/chl-sre-symm.wvr.yml true 13.26 8.04 None weaver/chl-sre-trans.wvr.yml true 11.62 7.34 None weaver/chl-time-subst.wvr.yml true 16.49 10.52 None weaver/chl-time-symm.wvr.yml true 12.03 7.52 None weaver/chl-time-trans.wvr.yml true 16.63 9.86 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 795.57 670.01 None weaver/chl-word-symm.wvr.yml TIMEOUT 901.52 736.36 None weaver/chl-word-trans.wvr.yml TIMEOUT 902.38 735.50 None weaver/clever.wvr.yml TIMEOUT 900.79 875.23 None weaver/fibonacci.wvr.yml TIMEOUT 901.02 850.89 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 901.85 881.03 None weaver/mult-comm.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.63 884.05 None weaver/mult-dist.wvr.yml TIMEOUT 900.67 877.42 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 901.91 868.90 None weaver/parallel-bakery-2.wvr.yml true 15.59 9.26 None weaver/parallel-bakery-3.wvr.yml true 511.49 453.71 None weaver/parallel-bakery-4.wvr.yml TIMEOUT 906.46 779.39 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 15.57 9.32 None weaver/parallel-barrier.wvr.yml true 96.20 69.96 None weaver/parallel-bluetooth.wvr.yml true 15.89 9.43 None weaver/parallel-lamport.wvr.yml true 121.30 85.99 None weaver/parallel-min-max-1.wvr.yml true 69.25 50.82 None weaver/parallel-misc-1.wvr.yml ERROR: EXCEPTION 869.31 831.44 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 12.73 7.61 None weaver/parallel-misc-2-unrolled.wvr.yml true 13.45 8.35 None weaver/parallel-misc-2.wvr.yml TIMEOUT 906.42 866.00 None weaver/parallel-misc-3-extended.wvr.yml true 44.32 28.75 None weaver/parallel-misc-3.wvr.yml true 13.23 8.21 None weaver/parallel-misc-4.wvr.yml true 38.14 23.69 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 184.73 135.28 None weaver/parallel-parallel-sum-1-dsl.wvr.yml ERROR: EXCEPTION 778.58 693.54 None weaver/parallel-parallel-sum-1.wvr.yml TIMEOUT 900.86 767.14 None weaver/parallel-parallel-sum-2.wvr.yml ERROR: EXCEPTION 701.37 676.97 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT (ERROR: EXCEPTION) 900.48 857.51 None weaver/parallel-simple-equiv.wvr.yml true 14.50 8.75 None weaver/parallel-ticket-2.wvr.yml true 15.34 9.04 None weaver/parallel-ticket-3.wvr.yml true 24.39 13.67 None weaver/parallel-ticket-4.wvr.yml true 35.68 21.01 None weaver/parallel-ticket-5.wvr.yml true 138.69 104.44 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 254.34 185.38 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 261.59 174.39 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 286.96 192.82 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 550.96 466.16 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 392.73 334.65 None weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 220.37 169.92 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 381.09 290.90 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 20.01 11.78 None weaver/popl20-bad-counter-queue2.wvr.yml OUT OF MEMORY 505.29 403.11 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 900.93 854.60 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 901.33 832.25 None weaver/popl20-bad-ring-nondet.wvr.yml true 47.54 32.19 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 901.13 818.06 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 905.46 884.30 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 596.95 503.90 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 901.99 873.20 None weaver/popl20-commit-1.wvr.yml TIMEOUT 900.46 829.62 None weaver/popl20-commit-2.wvr.yml TIMEOUT 900.50 862.94 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 393.12 320.29 None weaver/popl20-counter-fun.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.78 866.30 None weaver/popl20-difference-det.wvr.yml TIMEOUT 900.92 733.50 None weaver/popl20-figure1-alt.wvr.yml true 47.23 33.51 None weaver/popl20-figure1.wvr.yml TIMEOUT 903.75 816.22 None weaver/popl20-figure3.wvr.yml TIMEOUT 900.73 872.73 None weaver/popl20-horseshoe.wvr.yml TIMEOUT (ERROR: EXCEPTION) 900.92 845.98 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 618.75 523.51 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 142.30 95.33 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 258.46 190.44 None weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 21.56 12.81 None weaver/popl20-more-array-sum-alt2.wvr.yml ERROR: EXCEPTION 573.48 527.12 None weaver/popl20-more-array-sum.wvr.yml false(unreach-call) 21.45 13.14 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 900.86 851.07 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 902.32 802.84 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 902.43 815.19 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 901.90 872.85 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 902.29 840.31 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 900.82 864.43 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 901.15 839.28 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 900.98 850.80 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 900.75 878.63 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 900.92 855.02 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 900.70 875.55 None weaver/popl20-more-min-le-max.wvr.yml true 96.46 73.38 None weaver/popl20-more-mts.wvr.yml TIMEOUT 902.32 819.37 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 901.05 866.25 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 901.77 880.56 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 900.35 804.02 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 901.07 849.38 None weaver/popl20-more-sorted.wvr.yml TIMEOUT 901.55 744.46 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 901.05 841.26 None weaver/popl20-more-vector-add.wvr.yml OUT OF MEMORY 407.87 369.41 None weaver/popl20-mult-4.wvr.yml TIMEOUT 905.51 875.43 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 900.87 873.15 None weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 901.09 740.81 None weaver/popl20-nonblocking-cntr.wvr.yml OUT OF MEMORY 579.81 516.42 None weaver/popl20-prod-cons-eq.wvr.yml TIMEOUT 901.23 827.50 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 901.10 840.20 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 901.40 818.32 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 814.51 723.69 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 901.26 753.56 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 901.08 830.35 None weaver/popl20-send-receive-alt.wvr.yml TIMEOUT 900.41 819.35 None weaver/popl20-send-receive.wvr.yml TIMEOUT 901.83 871.06 None weaver/popl20-simple-array-sum.wvr.yml OUT OF MEMORY 665.57 423.58 None weaver/popl20-simple-queue.wvr.yml TIMEOUT 903.64 834.52 None weaver/popl20-threaded-sum-3.wvr.yml OUT OF MEMORY 894.48 571.31 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 902.07 827.58 None weaver/popl20-three-array-min.wvr.yml TIMEOUT 900.77 809.01 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.72 874.14 None weaver/popl20-two-queue.wvr.yml TIMEOUT 901.32 828.99 None weaver/security.wvr.yml true 12.63 7.81 None weaver/spaghetti.wvr.yml true 21.96 14.07 None weaver/test-context1.wvr.yml TIMEOUT 901.00 823.86 None weaver/test-easy1.wvr.yml true 15.63 9.65 None weaver/test-easy10.wvr.yml true 29.79 16.62 None weaver/test-easy11.wvr.yml true 23.84 14.90 None weaver/test-easy6.wvr.yml true 13.05 7.96 None weaver/test-easy7.wvr.yml true 16.48 9.66 None weaver/test-easy8.wvr.yml true 10.89 7.09 None weaver/test-hard1.wvr.yml TIMEOUT 901.05 881.12 None weaver/test-semi1.wvr.yml true 10.31 6.57 None weaver/unroll-2.wvr.yml TIMEOUT 901.24 825.18 None weaver/unroll-3.wvr.yml TIMEOUT 901.86 852.01 None weaver/unroll-4.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.94 777.00 None weaver/unroll-5.wvr.yml TIMEOUT 901.18 853.54 None weaver/unroll-cond-2.wvr.yml TIMEOUT 901.14 861.87 None weaver/unroll-cond-3.wvr.yml TIMEOUT 901.20 829.46 None weaver/unroll-cond-4.wvr.yml TIMEOUT 901.19 848.06 None weaver/unroll-cond-5.wvr.yml TIMEOUT 903.63 839.87 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 15.19 9.21 None pthread-deagle/arithmetic_prog_ok.yml true 26.13 15.05 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 16.12 10.88 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 900.72 872.41 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 6 done 141314.84 9291.26 - GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.SVCOMP-ConcurrencySafety-Main Run set 7 of 26: skipped GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSmt.SVCOMP-ConcurrencySafety-Main Run set 8 of 26 with options '--force-no-wrapper --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSmt.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml ERROR: EXCEPTION 9.26 5.57 None pthread/bigshot_s2.yml ERROR: EXCEPTION 8.96 6.00 None pthread/fib_safe-10.yml ERROR: EXCEPTION 9.33 5.88 None pthread/fib_safe-11.yml ERROR: EXCEPTION 12.40 6.96 None pthread/fib_safe-12.yml ERROR: EXCEPTION 9.77 5.80 None pthread/fib_safe-5.yml ERROR: EXCEPTION 9.81 6.50 None pthread/fib_safe-6.yml ERROR: EXCEPTION 12.61 7.06 None pthread/fib_safe-7.yml ERROR: EXCEPTION 12.39 7.11 None pthread/fib_unsafe-10.yml ERROR: EXCEPTION 12.63 7.29 None pthread/fib_unsafe-11.yml ERROR: EXCEPTION 9.88 6.18 None pthread/fib_unsafe-12.yml ERROR: EXCEPTION 9.24 6.05 None pthread/fib_unsafe-5.yml ERROR: EXCEPTION 9.79 6.38 None pthread/fib_unsafe-6.yml ERROR: EXCEPTION 9.88 5.80 None pthread/fib_unsafe-7.yml ERROR: EXCEPTION 9.44 5.49 None pthread/lazy01.yml ERROR: EXCEPTION 8.20 5.19 None pthread/queue.yml ERROR: EXCEPTION 8.86 5.63 None pthread/queue_longer.yml ERROR: EXCEPTION 9.40 6.19 None pthread/queue_longest.yml ERROR: EXCEPTION 9.24 5.69 None pthread/queue_ok.yml ERROR: EXCEPTION 8.51 6.03 None pthread/queue_ok_longer.yml ERROR: EXCEPTION 8.98 5.60 None pthread/queue_ok_longest.yml ERROR: EXCEPTION 8.90 6.85 None pthread/singleton.yml ERROR: EXCEPTION 9.60 6.09 None pthread/singleton_with-uninit-problems.yml ERROR: EXCEPTION 9.01 6.21 None pthread/stack-1.yml ERROR: EXCEPTION 9.01 6.01 None pthread/stack-2.yml ERROR: EXCEPTION 10.93 6.42 None pthread/stack_longer-1.yml ERROR: EXCEPTION 11.65 6.77 None pthread/stack_longer-2.yml ERROR: EXCEPTION 11.21 6.64 None pthread/stack_longest-1.yml ERROR: EXCEPTION 11.60 6.81 None pthread/stack_longest-2.yml ERROR: EXCEPTION 8.57 5.35 None pthread/stateful01-1.yml ERROR: EXCEPTION 8.42 5.22 None pthread/stateful01-2.yml ERROR: EXCEPTION 8.89 5.65 None pthread/sync01.yml ERROR: EXCEPTION 9.65 6.06 None pthread/triangular-1.yml ERROR: EXCEPTION 8.56 5.52 None pthread/triangular-2.yml ERROR: EXCEPTION 8.64 5.64 None pthread/triangular-longer-1.yml ERROR: EXCEPTION 8.38 5.58 None pthread/triangular-longer-2.yml ERROR: EXCEPTION 8.77 5.71 None pthread/triangular-longest-1.yml ERROR: EXCEPTION 9.48 5.68 None pthread/triangular-longest-2.yml ERROR: EXCEPTION 9.27 5.89 None pthread-atomic/dekker.yml ERROR: EXCEPTION 10.80 6.24 None pthread-atomic/lamport.yml ERROR: EXCEPTION 11.50 6.67 None pthread-atomic/peterson.yml ERROR: EXCEPTION 10.86 6.33 None pthread-atomic/read_write_lock-1.yml ERROR: EXCEPTION 11.00 6.47 None pthread-atomic/read_write_lock-2.yml ERROR: EXCEPTION 8.93 5.60 None pthread-atomic/szymanski.yml ERROR: EXCEPTION 8.24 5.28 None pthread-atomic/time_var_mutex.yml ERROR: EXCEPTION 8.73 5.53 None pthread-ext/01b_inc.yml ERROR: EXCEPTION 8.59 5.27 None pthread-ext/18_read_write_lock.yml ERROR: EXCEPTION 8.67 6.16 None pthread-wmm/mix000.oepc.yml ERROR: EXCEPTION 9.09 5.68 None pthread-wmm/mix000.opt.yml ERROR: EXCEPTION 9.62 6.15 None pthread-wmm/mix001.oepc.yml ERROR: EXCEPTION 8.86 5.96 None pthread-wmm/mix001.opt.yml ERROR: EXCEPTION 9.62 5.96 None pthread-wmm/mix002.oepc.yml ERROR: EXCEPTION 8.49 5.49 None pthread-wmm/mix002.opt.yml ERROR: EXCEPTION 11.93 6.86 None pthread-wmm/mix003.oepc.yml ERROR: EXCEPTION 11.74 6.69 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml ERROR: EXCEPTION 12.07 6.96 None pthread-wmm/mix004.oepc.yml ERROR: EXCEPTION 11.75 6.82 None pthread-wmm/mix004.opt.yml ERROR: EXCEPTION 8.98 5.87 None pthread-wmm/mix005.opt.yml ERROR: EXCEPTION 9.14 5.56 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.37 5.67 None pthread-wmm/mix005_tso.oepc.yml ERROR: EXCEPTION 9.15 5.51 None pthread-wmm/mix006.opt.yml ERROR: EXCEPTION 9.03 5.94 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 8.86 5.84 None pthread-wmm/mix006_tso.oepc.yml ERROR: EXCEPTION 9.80 6.30 None pthread-wmm/mix007.oepc.yml ERROR: EXCEPTION 9.28 5.95 None pthread-wmm/mix007.opt.yml ERROR: EXCEPTION 9.95 6.25 None pthread-wmm/mix008.opt.yml ERROR: EXCEPTION 9.48 6.10 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 11.38 6.58 None pthread-wmm/mix008_tso.oepc.yml ERROR: EXCEPTION 12.54 7.12 None pthread-wmm/mix009.oepc.yml ERROR: EXCEPTION 11.80 6.90 None pthread-wmm/mix009.opt.yml ERROR: EXCEPTION 11.66 6.72 None pthread-wmm/mix010.oepc.yml ERROR: EXCEPTION 9.50 5.81 None pthread-wmm/mix010.opt.yml ERROR: EXCEPTION 8.84 5.49 None pthread-wmm/mix011.opt.yml ERROR: EXCEPTION 8.89 5.50 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.24 5.62 None pthread-wmm/mix011_tso.oepc.yml ERROR: EXCEPTION 9.59 6.44 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml ERROR: EXCEPTION 9.09 5.88 None pthread-wmm/mix012_pso.opt_tso.opt.yml ERROR: EXCEPTION 9.17 6.21 None pthread-wmm/mix013.oepc.yml ERROR: EXCEPTION 9.36 6.59 None pthread-wmm/mix013.opt.yml ERROR: EXCEPTION 9.35 6.04 None pthread-wmm/mix014.opt.yml ERROR: EXCEPTION 9.30 6.11 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 11.12 6.54 None pthread-wmm/mix014_tso.oepc.yml ERROR: EXCEPTION 9.32 5.67 None pthread-wmm/mix015.oepc.yml ERROR: EXCEPTION 9.31 5.91 None pthread-wmm/mix015.opt.yml ERROR: EXCEPTION 11.93 6.75 None pthread-wmm/mix016.oepc.yml ERROR: EXCEPTION 9.25 5.71 None pthread-wmm/mix016_power.opt_rmo.opt.yml ERROR: EXCEPTION 8.93 5.43 None pthread-wmm/mix016_pso.opt_tso.opt.yml ERROR: EXCEPTION 11.91 6.78 None pthread-wmm/mix017.oepc.yml ERROR: EXCEPTION 12.23 7.03 None pthread-wmm/mix017_power.opt_rmo.opt.yml ERROR: EXCEPTION 8.64 6.08 None pthread-wmm/mix017_pso.opt_tso.opt.yml ERROR: EXCEPTION 9.16 6.51 None pthread-wmm/mix018.opt.yml ERROR: EXCEPTION 9.40 6.09 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.22 5.89 None pthread-wmm/mix018_tso.oepc.yml ERROR: EXCEPTION 9.08 6.04 None pthread-wmm/mix019.opt.yml ERROR: EXCEPTION 9.15 5.69 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 8.68 5.39 None pthread-wmm/mix019_tso.oepc.yml ERROR: EXCEPTION 9.40 5.74 None pthread-wmm/mix020.oepc.yml ERROR: EXCEPTION 11.65 6.78 None pthread-wmm/mix020.opt.yml ERROR: EXCEPTION 9.69 5.67 None pthread-wmm/mix021.opt.yml ERROR: EXCEPTION 9.32 5.74 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 11.54 6.72 None pthread-wmm/mix021_tso.oepc.yml ERROR: EXCEPTION 11.87 6.87 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 12.05 6.96 None pthread-wmm/mix022_tso.yml ERROR: EXCEPTION 9.03 5.90 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.24 5.90 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml ERROR: EXCEPTION 9.90 6.66 None pthread-wmm/mix023_tso.yml ERROR: EXCEPTION 9.97 6.81 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml ERROR: EXCEPTION 8.91 5.95 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml ERROR: EXCEPTION 8.96 6.37 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.36 5.69 None pthread-wmm/mix025_pso.opt_rmo.opt.yml ERROR: EXCEPTION 8.95 5.51 None pthread-wmm/mix026.oepc.yml ERROR: EXCEPTION 9.36 5.85 None pthread-wmm/mix026_power.opt_tso.opt.yml ERROR: EXCEPTION 9.05 5.67 None pthread-wmm/mix026_pso.opt_rmo.opt.yml ERROR: EXCEPTION 10.98 6.55 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 11.70 6.87 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml ERROR: EXCEPTION 9.09 6.14 None pthread-wmm/mix027_tso.yml ERROR: EXCEPTION 11.96 6.99 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 11.57 6.71 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml ERROR: EXCEPTION 9.04 5.83 None pthread-wmm/mix028_tso.yml ERROR: EXCEPTION 9.12 6.48 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.72 6.46 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml ERROR: EXCEPTION 9.13 6.49 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.09 5.70 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml ERROR: EXCEPTION 8.61 5.32 None pthread-wmm/mix030_tso.yml ERROR: EXCEPTION 9.18 5.67 None pthread-wmm/mix031.oepc.yml ERROR: EXCEPTION 9.01 5.43 None pthread-wmm/mix031.opt.yml ERROR: EXCEPTION 8.85 5.23 None pthread-wmm/mix032.oepc.yml ERROR: EXCEPTION 11.69 6.77 None pthread-wmm/mix032.opt.yml ERROR: EXCEPTION 9.15 5.99 None pthread-wmm/mix033.opt.yml ERROR: EXCEPTION 8.79 5.96 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 11.66 6.79 None pthread-wmm/mix033_tso.oepc.yml ERROR: EXCEPTION 12.20 7.11 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml ERROR: EXCEPTION 11.88 6.93 None pthread-wmm/mix034_pso.opt_tso.opt.yml ERROR: EXCEPTION 9.03 6.00 None pthread-wmm/mix035.oepc.yml ERROR: EXCEPTION 9.11 5.89 None pthread-wmm/mix035_power.opt_rmo.opt.yml ERROR: EXCEPTION 8.70 5.33 None pthread-wmm/mix035_pso.opt_tso.opt.yml ERROR: EXCEPTION 9.48 6.56 None pthread-wmm/mix036.oepc.yml ERROR: EXCEPTION 9.41 6.15 None pthread-wmm/mix036_power.opt_rmo.opt.yml ERROR: EXCEPTION 9.40 5.69 None pthread-wmm/mix036_pso.opt_tso.opt.yml ERROR: EXCEPTION 9.86 5.90 None pthread-wmm/mix037.opt.yml ERROR: EXCEPTION 9.30 5.61 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 11.27 6.65 None pthread-wmm/mix037_tso.oepc.yml ERROR: EXCEPTION 9.34 6.31 None pthread-wmm/mix038.opt.yml ERROR: EXCEPTION 8.78 6.17 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 8.84 5.49 None pthread-wmm/mix038_tso.oepc.yml ERROR: EXCEPTION 11.85 6.73 None pthread-wmm/mix039.oepc.yml ERROR: EXCEPTION 9.64 6.13 None pthread-wmm/mix039.opt.yml ERROR: EXCEPTION 9.07 5.59 None pthread-wmm/mix040.opt.yml ERROR: EXCEPTION 12.15 7.01 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 12.12 7.06 None pthread-wmm/mix040_tso.oepc.yml ERROR: EXCEPTION 8.99 5.98 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 8.80 5.35 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 8.79 5.42 None pthread-wmm/mix042.oepc.yml ERROR: EXCEPTION 9.31 6.09 None pthread-wmm/mix042.opt.yml ERROR: EXCEPTION 8.78 5.42 None pthread-wmm/mix043.oepc.yml ERROR: EXCEPTION 12.18 6.80 None pthread-wmm/mix043.opt.yml ERROR: EXCEPTION 9.00 5.87 None pthread-wmm/mix044.opt.yml ERROR: EXCEPTION 9.04 5.95 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.13 5.80 None pthread-wmm/mix044_tso.oepc.yml ERROR: EXCEPTION 9.34 5.99 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.72 6.19 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.08 5.77 None pthread-wmm/mix046.oepc.yml ERROR: EXCEPTION 12.09 6.94 None pthread-wmm/mix046.opt.yml ERROR: EXCEPTION 9.01 5.66 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.59 5.64 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.20 5.87 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 ERROR: EXCEPTION 9.03 6.00 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 ERROR: EXCEPTION 11.74 6.85 None pthread-wmm/mix050.yml ERROR: EXCEPTION 12.18 7.07 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.05 5.68 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml ERROR: EXCEPTION 8.59 6.07 None pthread-wmm/mix051_tso.oepc.yml ERROR: EXCEPTION 8.80 6.21 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.45 5.89 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml ERROR: EXCEPTION 11.73 6.65 None pthread-wmm/mix052_tso.oepc.yml ERROR: EXCEPTION 8.87 5.54 None pthread-wmm/mix053.opt.yml ERROR: EXCEPTION 8.99 5.33 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.27 5.56 None pthread-wmm/mix053_tso.oepc.yml ERROR: EXCEPTION 9.60 6.13 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 8.95 5.80 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.55 6.25 None pthread-wmm/mix055.opt.yml ERROR: EXCEPTION 12.10 6.84 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 12.19 6.98 None pthread-wmm/mix055_tso.oepc.yml ERROR: EXCEPTION 11.63 6.79 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.08 5.49 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 8.78 6.06 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.18 6.60 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 8.83 5.35 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.90 5.74 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml ERROR: EXCEPTION 9.17 5.80 None pthread-wmm/rfi000_tso.yml ERROR: EXCEPTION 9.00 5.74 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.04 5.82 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 11.18 6.47 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 9.53 6.12 None pthread-wmm/rfi002_tso.yml ERROR: EXCEPTION 9.42 6.12 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 11.20 6.52 None pthread-wmm/rfi003_tso.yml ERROR: EXCEPTION 12.41 7.19 None pthread-wmm/rfi004.yml ERROR: EXCEPTION 12.19 7.03 None pthread-wmm/rfi005.yml ERROR: EXCEPTION 9.07 5.58 None pthread-wmm/rfi006_power.oepc.yml ERROR: EXCEPTION 17.83 10.55 None pthread-wmm/rfi006_power.opt.yml ERROR: EXCEPTION 9.27 6.36 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.80 5.82 None pthread-wmm/rfi006_rmo.yml ERROR: EXCEPTION 10.90 6.73 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 9.00 5.52 None pthread-wmm/rfi007_tso.yml ERROR: EXCEPTION 8.62 6.21 None pthread-wmm/rfi008.oepc.yml ERROR: EXCEPTION 9.27 5.76 None pthread-wmm/rfi008.opt.yml ERROR: EXCEPTION 11.89 6.84 None pthread-wmm/rfi009_power.oepc.yml ERROR: EXCEPTION 19.10 11.69 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.26 6.43 None pthread-wmm/rfi009_rmo.oepc.yml ERROR: EXCEPTION 13.63 7.71 None pthread-wmm/rfi010.yml ERROR: EXCEPTION 8.57 5.20 None pthread-wmm/safe000_power.oepc.yml ERROR: EXCEPTION 20.40 11.17 None pthread-wmm/safe000_power.opt.yml ERROR: EXCEPTION 13.07 7.28 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.14 5.64 None pthread-wmm/safe000_rmo.yml ERROR: EXCEPTION 11.91 6.93 None pthread-wmm/safe001_power.oepc.yml ERROR: EXCEPTION 14.85 9.74 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml ERROR: EXCEPTION 9.46 6.08 None pthread-wmm/safe001_rmo.oepc.yml ERROR: EXCEPTION 11.47 7.25 None pthread-wmm/safe001_tso.yml ERROR: EXCEPTION 8.76 5.45 None pthread-wmm/safe002_power.oepc.yml ERROR: EXCEPTION 19.92 10.93 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml ERROR: EXCEPTION 9.39 6.18 None pthread-wmm/safe002_rmo.oepc.yml ERROR: EXCEPTION 11.76 6.84 None pthread-wmm/safe002_tso.yml ERROR: EXCEPTION 9.35 5.44 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 11.91 6.92 None pthread-wmm/safe003_power.opt.yml ERROR: EXCEPTION 9.85 6.01 None pthread-wmm/safe003_tso.yml ERROR: EXCEPTION 12.10 6.95 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 9.33 6.52 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml ERROR: EXCEPTION 9.09 5.80 None pthread-wmm/safe004_tso.yml ERROR: EXCEPTION 9.27 5.96 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 9.03 5.97 None pthread-wmm/safe005_tso.yml ERROR: EXCEPTION 8.88 5.71 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml ERROR: EXCEPTION 20.03 12.54 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml ERROR: EXCEPTION 9.97 5.98 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 8.63 6.36 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 13.46 7.59 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml ERROR: EXCEPTION 16.27 9.21 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml ERROR: EXCEPTION 9.93 5.89 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 11.27 6.90 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 10.18 6.74 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 9.10 6.12 None pthread-wmm/safe008_power.opt.yml ERROR: EXCEPTION 12.11 7.00 None pthread-wmm/safe008_tso.yml ERROR: EXCEPTION 9.27 5.57 None pthread-wmm/safe009_power.oepc.yml ERROR: EXCEPTION 15.16 9.63 None pthread-wmm/safe009_power.opt.yml ERROR: EXCEPTION 12.34 7.08 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.24 6.38 None pthread-wmm/safe009_rmo.oepc.yml ERROR: EXCEPTION 11.18 6.55 None pthread-wmm/safe009_rmo.opt.yml ERROR: EXCEPTION 10.26 6.35 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 11.71 6.60 None pthread-wmm/safe010_tso.yml ERROR: EXCEPTION 9.01 5.40 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 9.01 5.56 None pthread-wmm/safe011_power.opt_pso.opt.yml ERROR: EXCEPTION 9.17 6.01 None pthread-wmm/safe011_tso.yml ERROR: EXCEPTION 11.13 6.49 None pthread-wmm/safe012_power.oepc.yml ERROR: EXCEPTION 15.86 9.44 None pthread-wmm/safe012_power.opt.yml ERROR: EXCEPTION 9.24 5.54 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml ERROR: EXCEPTION 11.20 6.61 None pthread-wmm/safe012_rmo.oepc.yml ERROR: EXCEPTION 9.67 6.13 None pthread-wmm/safe012_tso.yml ERROR: EXCEPTION 11.52 6.66 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 9.04 5.84 None pthread-wmm/safe013_tso.yml ERROR: EXCEPTION 8.83 5.46 None pthread-wmm/safe014_power.oepc.yml ERROR: EXCEPTION 19.02 12.21 None pthread-wmm/safe014_power.opt.yml ERROR: EXCEPTION 9.49 6.26 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 8.72 5.44 None pthread-wmm/safe014_rmo.oepc.yml ERROR: EXCEPTION 13.50 7.76 None pthread-wmm/safe014_rmo.opt.yml ERROR: EXCEPTION 11.40 6.86 None pthread-wmm/safe015_power.oepc.yml ERROR: EXCEPTION 10.18 6.47 None pthread-wmm/safe015_power.opt.yml ERROR: EXCEPTION 21.74 13.19 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 11.94 6.75 None pthread-wmm/safe015_rmo.yml ERROR: EXCEPTION 11.53 7.11 None pthread-wmm/safe016_power.oepc.yml ERROR: EXCEPTION 19.42 10.76 None pthread-wmm/safe016_power.opt.yml ERROR: EXCEPTION 29.98 17.71 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.60 6.32 None pthread-wmm/safe016_rmo.oepc.yml ERROR: EXCEPTION 11.44 6.69 None pthread-wmm/safe016_rmo.opt.yml ERROR: EXCEPTION 11.28 6.86 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 8.94 6.01 None pthread-wmm/safe017_tso.yml ERROR: EXCEPTION 8.95 6.05 None pthread-wmm/safe018_power.oepc.yml ERROR: EXCEPTION 19.36 11.42 None pthread-wmm/safe018_power.opt.yml ERROR: EXCEPTION 9.96 6.63 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 12.24 7.04 None pthread-wmm/safe018_rmo.oepc.yml ERROR: EXCEPTION 12.87 7.47 None pthread-wmm/safe018_rmo.opt.yml ERROR: EXCEPTION 11.16 7.11 None pthread-wmm/safe019_power.oepc.yml ERROR: EXCEPTION 17.27 10.83 None pthread-wmm/safe019_power.opt.yml ERROR: EXCEPTION 9.97 6.06 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.20 6.79 None pthread-wmm/safe019_rmo.oepc.yml ERROR: EXCEPTION 11.43 7.31 None pthread-wmm/safe019_rmo.opt.yml ERROR: EXCEPTION 11.69 7.71 None pthread-wmm/safe020_power.yml ERROR: EXCEPTION 9.51 5.75 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 11.20 6.51 None pthread-wmm/safe020_rmo.yml ERROR: EXCEPTION 10.63 6.55 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 9.25 5.88 None pthread-wmm/safe021_power.opt_pso.opt.yml ERROR: EXCEPTION 11.86 6.93 None pthread-wmm/safe021_tso.yml ERROR: EXCEPTION 11.62 6.73 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 9.21 5.76 None pthread-wmm/safe022_tso.yml ERROR: EXCEPTION 8.73 5.92 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 8.67 6.20 None pthread-wmm/safe023_tso.yml ERROR: EXCEPTION 9.00 5.70 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 8.87 5.74 None pthread-wmm/safe024_tso.yml ERROR: EXCEPTION 9.12 5.57 None pthread-wmm/safe025_power.yml ERROR: EXCEPTION 10.26 6.41 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 11.45 6.83 None pthread-wmm/safe025_rmo.yml ERROR: EXCEPTION 10.91 6.80 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 10.29 6.62 None pthread-wmm/safe026_tso.yml ERROR: EXCEPTION 11.95 6.97 None pthread-wmm/safe027_power.oepc.yml ERROR: EXCEPTION 19.29 11.57 None pthread-wmm/safe027_power.opt.yml ERROR: EXCEPTION 13.43 7.72 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.39 5.83 None pthread-wmm/safe027_rmo.yml ERROR: EXCEPTION 11.14 6.96 None pthread-wmm/safe028_power.yml ERROR: EXCEPTION 12.62 7.19 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.12 5.62 None pthread-wmm/safe028_rmo.yml ERROR: EXCEPTION 10.39 6.46 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 8.84 6.08 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml ERROR: EXCEPTION 9.19 5.54 None pthread-wmm/safe029_tso.yml ERROR: EXCEPTION 9.14 6.48 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 11.53 6.58 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml ERROR: EXCEPTION 9.48 6.88 None pthread-wmm/safe030_tso.yml ERROR: EXCEPTION 9.09 6.43 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml ERROR: EXCEPTION 12.80 7.35 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml ERROR: EXCEPTION 9.82 5.67 None pthread-wmm/safe031_tso.yml ERROR: EXCEPTION 9.27 5.53 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 9.55 5.76 None pthread-wmm/safe032_tso.yml ERROR: EXCEPTION 9.02 5.82 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 11.89 6.91 None pthread-wmm/safe033_tso.yml ERROR: EXCEPTION 11.01 6.41 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml ERROR: EXCEPTION 8.91 5.80 None pthread-wmm/safe034_tso.yml ERROR: EXCEPTION 9.37 6.64 None pthread-wmm/safe035_power.yml ERROR: EXCEPTION 9.79 6.22 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 8.60 5.60 None pthread-wmm/safe036.yml ERROR: EXCEPTION 11.12 6.54 None pthread-wmm/safe037.yml ERROR: EXCEPTION 8.76 5.80 None pthread-wmm/thin002_power.oepc.yml ERROR: EXCEPTION 18.00 10.52 None pthread-wmm/thin002_power.opt.yml ERROR: EXCEPTION 10.32 6.95 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml ERROR: EXCEPTION 9.59 5.83 None pthread-wmm/thin002_rmo.yml ERROR: EXCEPTION 13.96 7.92 None pthread-lit/qw2004-2b.yml ERROR: EXCEPTION 8.91 5.48 None ldv-races/race-1_1-join.yml ERROR: EXCEPTION 9.92 6.02 None ldv-races/race-1_2-join.yml ERROR: EXCEPTION 9.45 6.02 None ldv-races/race-1_3-join.yml ERROR: EXCEPTION 11.55 6.72 None ldv-races/race-2_1-container_of.yml ERROR: EXCEPTION 13.13 7.55 None ldv-races/race-2_2-container_of.yml ERROR: EXCEPTION 9.91 6.29 None ldv-races/race-2_3-container_of.yml ERROR: EXCEPTION 9.66 5.86 None ldv-races/race-2_4-container_of.yml ERROR: EXCEPTION 10.01 6.49 None ldv-races/race-2_5-container_of.yml ERROR: EXCEPTION 10.04 6.78 None ldv-races/race-3_1-container_of-global.yml ERROR: EXCEPTION 12.30 7.07 None ldv-races/race-3_2-container_of-global.yml ERROR: EXCEPTION 9.69 5.80 None ldv-races/race-4_1-thread_local_vars.yml ERROR: EXCEPTION 11.04 7.49 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 36.81 19.52 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 35.86 20.47 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml ERROR: EXCEPTION 40.06 23.25 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml ERROR: EXCEPTION 32.65 17.58 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml ERROR: EXCEPTION 22.93 14.24 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml ERROR: EXCEPTION 25.91 13.98 None pthread-complex/elimination_backoff_stack.yml ERROR: EXCEPTION 18.19 10.12 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml ERROR: EXCEPTION 19.45 11.82 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml ERROR: EXCEPTION 24.60 14.99 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml ERROR: EXCEPTION 20.33 13.51 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml ERROR: EXCEPTION 17.83 10.65 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml ERROR: EXCEPTION 17.96 12.13 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml ERROR: EXCEPTION 21.98 12.16 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml ERROR: EXCEPTION 18.80 12.45 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml ERROR: EXCEPTION 18.00 10.72 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml ERROR: EXCEPTION 20.01 12.13 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml ERROR: EXCEPTION 17.59 10.51 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml ERROR: EXCEPTION 20.92 12.01 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml ERROR: EXCEPTION 17.21 10.94 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml ERROR: EXCEPTION 19.79 13.26 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml ERROR: EXCEPTION 17.91 10.90 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml ERROR: EXCEPTION 22.30 13.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml ERROR: EXCEPTION 21.10 12.12 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml ERROR: EXCEPTION 23.68 14.40 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml ERROR: EXCEPTION 19.52 12.36 None pthread-C-DAC/pthread-demo-datarace-1.yml ERROR: EXCEPTION 10.48 6.93 None pthread-C-DAC/pthread-demo-datarace-3.yml ERROR: EXCEPTION 9.28 5.89 None pthread-divine/ring_2w1r-1.yml ERROR: EXCEPTION 9.20 5.65 None pthread-divine/tls_basic.yml unknown 6.94 4.31 None pthread-divine/tls_destructor_worker.yml unknown 7.38 4.32 None goblint-regression/13-privatized_01-priv_nr_true.yml ERROR: EXCEPTION 8.14 5.59 None goblint-regression/13-privatized_04-priv_multi_true.yml ERROR: EXCEPTION 10.06 7.23 None goblint-regression/13-privatized_18-first-reads_true.yml ERROR: EXCEPTION 8.57 5.91 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml ERROR: EXCEPTION 8.51 5.33 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml ERROR: EXCEPTION 10.66 6.41 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml ERROR: EXCEPTION 8.16 5.58 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml ERROR: EXCEPTION 7.75 5.81 None goblint-regression/13-privatized_19-publish-precision_true.yml ERROR: EXCEPTION 8.27 5.30 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml ERROR: EXCEPTION 8.55 5.73 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml ERROR: EXCEPTION 11.24 6.60 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml ERROR: EXCEPTION 8.65 5.47 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml ERROR: EXCEPTION 11.93 6.82 None goblint-regression/13-privatized_20-publish-regression_true.yml ERROR: EXCEPTION 8.67 5.55 None goblint-regression/13-privatized_24-multiple-protecting_true.yml ERROR: EXCEPTION 8.97 5.64 None goblint-regression/13-privatized_25-struct_nr_true.yml ERROR: EXCEPTION 8.59 5.62 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml ERROR: EXCEPTION 9.38 6.14 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml ERROR: EXCEPTION 11.88 6.92 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml ERROR: EXCEPTION 8.50 5.61 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml ERROR: EXCEPTION 9.85 6.99 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml ERROR: EXCEPTION 8.94 5.90 None goblint-regression/13-privatized_33-traces-v-matters_true.yml ERROR: EXCEPTION 11.11 6.38 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml ERROR: EXCEPTION 9.02 5.50 None goblint-regression/13-privatized_35-traces-ex-2_true.yml ERROR: EXCEPTION 8.52 5.63 None goblint-regression/13-privatized_36-traces-ex-3_true.yml ERROR: EXCEPTION 8.81 5.78 None goblint-regression/13-privatized_37-traces-ex-4_true.yml ERROR: EXCEPTION 10.91 6.34 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml ERROR: EXCEPTION 8.77 5.40 None goblint-regression/13-privatized_40-traces-ex-6_true.yml ERROR: EXCEPTION 11.78 6.93 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml ERROR: EXCEPTION 8.79 5.27 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml ERROR: EXCEPTION 8.59 5.55 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml ERROR: EXCEPTION 8.72 5.99 None goblint-regression/13-privatized_44-traces-mine2_true.yml ERROR: EXCEPTION 8.42 5.56 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml ERROR: EXCEPTION 9.18 5.88 None goblint-regression/13-privatized_46-refine-protected1_true.yml ERROR: EXCEPTION 11.28 6.62 None goblint-regression/13-privatized_47-refine-protected2_true.yml ERROR: EXCEPTION 8.37 5.30 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml ERROR: EXCEPTION 11.05 6.39 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml ERROR: EXCEPTION 9.28 6.68 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml ERROR: EXCEPTION 8.51 5.78 None goblint-regression/13-privatized_66-mine-W-init_true.yml ERROR: EXCEPTION 8.14 5.15 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml ERROR: EXCEPTION 8.99 5.54 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml ERROR: EXCEPTION 11.68 6.80 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml ERROR: EXCEPTION 9.24 5.91 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml ERROR: EXCEPTION 8.78 5.71 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml ERROR: EXCEPTION 11.03 6.75 None goblint-regression/28-race_reach_45-escape_racing.yml ERROR: EXCEPTION 9.23 6.01 None goblint-regression/28-race_reach_46-escape_racefree.yml ERROR: EXCEPTION 8.62 5.88 None goblint-regression/36-apron_11-traces-max-simple_true.yml ERROR: EXCEPTION 8.29 5.29 None goblint-regression/36-apron_16-traces-unprot2_true.yml ERROR: EXCEPTION 7.89 5.28 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml ERROR: EXCEPTION 11.59 6.92 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml ERROR: EXCEPTION 8.61 5.41 None goblint-regression/36-apron_21-traces-cluster-based_true.yml ERROR: EXCEPTION 11.19 6.50 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml ERROR: EXCEPTION 9.25 6.06 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml ERROR: EXCEPTION 9.18 6.64 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml ERROR: EXCEPTION 9.02 5.50 None weaver/array-eq-symm.wvr.yml ERROR: EXCEPTION 9.00 5.56 None weaver/array-eq-trans.wvr.yml ERROR: EXCEPTION 9.66 5.99 None weaver/bench-exp1x3.wvr.yml ERROR: EXCEPTION 10.96 6.30 None weaver/bench-exp2x3.wvr.yml ERROR: EXCEPTION 9.12 5.59 None weaver/bench-exp2x4.wvr.yml ERROR: EXCEPTION 10.00 6.38 None weaver/bench-exp2x6.wvr.yml ERROR: EXCEPTION 11.15 6.94 None weaver/bench-exp2x9.wvr.yml ERROR: EXCEPTION 16.95 10.35 None weaver/bench-exp3x3-opt.wvr.yml ERROR: EXCEPTION 24.72 14.17 None weaver/bench-exp3x3.wvr.yml ERROR: EXCEPTION 21.35 11.78 None weaver/chl-array-int-subst.wvr.yml ERROR: EXCEPTION 9.31 5.85 None weaver/chl-array-int-symm.wvr.yml ERROR: EXCEPTION 8.79 5.46 None weaver/chl-array-int-trans.wvr.yml ERROR: EXCEPTION 11.68 6.84 None weaver/chl-chromosome-opt-symm.wvr.yml ERROR: EXCEPTION 11.34 6.79 None weaver/chl-chromosome-subst.wvr.yml ERROR: EXCEPTION 28.19 18.72 None weaver/chl-chromosome-symm.wvr.yml ERROR: EXCEPTION 10.28 6.05 None weaver/chl-chromosome-trans.wvr.yml ERROR: EXCEPTION 26.80 16.94 None weaver/chl-collitem-subst.wvr.yml ERROR: EXCEPTION 12.79 7.36 None weaver/chl-collitem-symm.wvr.yml ERROR: EXCEPTION 10.01 6.01 None weaver/chl-collitem-trans.wvr.yml ERROR: EXCEPTION 10.40 7.70 None weaver/chl-exp-term-subst.wvr.yml ERROR: EXCEPTION 8.50 5.93 None weaver/chl-exp-term-symm.wvr.yml ERROR: EXCEPTION 8.72 5.37 None weaver/chl-file-item-subst.wvr.yml ERROR: EXCEPTION 9.36 5.82 None weaver/chl-file-item-symm.wvr.yml ERROR: EXCEPTION 11.48 6.60 None weaver/chl-file-item-trans.wvr.yml ERROR: EXCEPTION 11.99 7.07 None weaver/chl-match-subst.wvr.yml ERROR: EXCEPTION 10.70 6.30 None weaver/chl-match-symm.wvr.yml ERROR: EXCEPTION 10.11 6.50 None weaver/chl-match-trans.wvr.yml ERROR: EXCEPTION 10.34 6.11 None weaver/chl-name-comparator-subst.wvr.yml ERROR: EXCEPTION 12.60 7.10 None weaver/chl-name-comparator-symm.wvr.yml ERROR: EXCEPTION 9.37 6.44 None weaver/chl-name-comparator-trans.wvr.yml ERROR: EXCEPTION 9.61 5.87 None weaver/chl-node-subst.wvr.yml ERROR: EXCEPTION 10.01 5.98 None weaver/chl-node-symm.wvr.yml ERROR: EXCEPTION 9.15 6.03 None weaver/chl-node-trans.wvr.yml ERROR: EXCEPTION 9.72 6.40 None weaver/chl-nzb-file-subst.wvr.yml ERROR: EXCEPTION 13.53 7.74 None weaver/chl-nzb-file-symm.wvr.yml ERROR: EXCEPTION 12.28 7.04 None weaver/chl-nzb-file-trans.wvr.yml ERROR: EXCEPTION 10.62 6.37 None weaver/chl-poker-hand-subst.wvr.yml ERROR: EXCEPTION 23.45 12.57 None weaver/chl-poker-hand-symm.wvr.yml ERROR: EXCEPTION 14.08 8.95 None weaver/chl-poker-hand-trans.wvr.yml ERROR: EXCEPTION 16.41 9.39 None weaver/chl-simpl-str-subst.wvr.yml ERROR: EXCEPTION 8.61 5.29 None weaver/chl-simpl-str-symm.wvr.yml ERROR: EXCEPTION 8.60 5.54 None weaver/chl-simpl-str-trans.wvr.yml ERROR: EXCEPTION 8.52 6.08 None weaver/chl-sre-subst.wvr.yml ERROR: EXCEPTION 10.92 6.28 None weaver/chl-sre-symm.wvr.yml ERROR: EXCEPTION 8.29 5.86 None weaver/chl-sre-trans.wvr.yml ERROR: EXCEPTION 8.61 5.98 None weaver/chl-time-subst.wvr.yml ERROR: EXCEPTION 9.36 5.84 None weaver/chl-time-symm.wvr.yml ERROR: EXCEPTION 9.77 7.15 None weaver/chl-time-trans.wvr.yml ERROR: EXCEPTION 12.46 7.18 None weaver/chl-word-subst.wvr.yml ERROR: EXCEPTION 10.22 6.02 None weaver/chl-word-symm.wvr.yml ERROR: EXCEPTION 11.19 6.63 None weaver/chl-word-trans.wvr.yml ERROR: EXCEPTION 9.32 5.67 None weaver/clever.wvr.yml ERROR: EXCEPTION 8.63 5.46 None weaver/fibonacci.wvr.yml ERROR: EXCEPTION 10.23 6.68 None weaver/loop-tiling-eq.wvr.yml ERROR: EXCEPTION 9.02 5.85 None weaver/mult-comm.wvr.yml ERROR: EXCEPTION 10.33 6.31 None weaver/mult-dist.wvr.yml ERROR: EXCEPTION 8.90 6.23 None weaver/mult-flipped-dist.wvr.yml ERROR: EXCEPTION 9.25 6.46 None weaver/parallel-bakery-2.wvr.yml ERROR: EXCEPTION 8.24 5.23 None weaver/parallel-bakery-3.wvr.yml ERROR: EXCEPTION 8.99 6.21 None weaver/parallel-bakery-4.wvr.yml ERROR: EXCEPTION 10.59 7.98 None weaver/parallel-barrier-loop.wvr.yml ERROR: EXCEPTION 8.87 5.60 None weaver/parallel-barrier.wvr.yml ERROR: EXCEPTION 11.38 6.90 None weaver/parallel-bluetooth.wvr.yml ERROR: EXCEPTION 11.08 6.70 None weaver/parallel-lamport.wvr.yml ERROR: EXCEPTION 11.11 6.62 None weaver/parallel-min-max-1.wvr.yml ERROR: EXCEPTION 9.63 5.82 None weaver/parallel-misc-1.wvr.yml ERROR: EXCEPTION 11.57 6.79 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml ERROR: EXCEPTION 8.35 5.82 None weaver/parallel-misc-2-unrolled.wvr.yml ERROR: EXCEPTION 10.93 6.60 None weaver/parallel-misc-2.wvr.yml ERROR: EXCEPTION 8.41 5.44 None weaver/parallel-misc-3-extended.wvr.yml ERROR: EXCEPTION 10.66 7.06 None weaver/parallel-misc-3.wvr.yml ERROR: EXCEPTION 8.84 5.94 None weaver/parallel-misc-4.wvr.yml ERROR: EXCEPTION 9.10 5.98 None weaver/parallel-misc-5.wvr.yml ERROR: EXCEPTION 8.84 5.55 None weaver/parallel-parallel-sum-1-dsl.wvr.yml ERROR: EXCEPTION 9.10 5.66 None weaver/parallel-parallel-sum-1.wvr.yml ERROR: EXCEPTION 12.24 7.10 None weaver/parallel-parallel-sum-2.wvr.yml ERROR: EXCEPTION 9.43 5.87 None weaver/parallel-parallel-sum-equiv.wvr.yml ERROR: EXCEPTION 10.92 6.38 None weaver/parallel-simple-equiv.wvr.yml ERROR: EXCEPTION 11.04 6.50 None weaver/parallel-ticket-2.wvr.yml ERROR: EXCEPTION 9.37 6.60 None weaver/parallel-ticket-3.wvr.yml ERROR: EXCEPTION 8.80 5.39 None weaver/parallel-ticket-4.wvr.yml ERROR: EXCEPTION 8.54 5.77 None weaver/parallel-ticket-5.wvr.yml ERROR: EXCEPTION 9.35 5.74 None weaver/parallel-ticket-6.wvr.yml ERROR: EXCEPTION 9.32 6.68 None weaver/parallel-ticket-7.wvr.yml ERROR: EXCEPTION 12.16 7.58 None weaver/parallel-ticket-8.wvr.yml ERROR: EXCEPTION 10.00 6.33 None weaver/popl20-bad-buffer-mult-alt.wvr.yml ERROR: EXCEPTION 11.34 7.20 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml ERROR: EXCEPTION 10.14 6.50 None weaver/popl20-bad-commit-1.wvr-bad.yml ERROR: EXCEPTION 9.99 6.15 None weaver/popl20-bad-commit-2.wvr-bad.yml ERROR: EXCEPTION 9.87 6.12 None weaver/popl20-bad-counter-queue.wvr.yml ERROR: EXCEPTION 10.69 6.55 None weaver/popl20-bad-counter-queue2.wvr.yml ERROR: EXCEPTION 8.89 5.99 None weaver/popl20-bad-dot-product-alt.wvr.yml ERROR: EXCEPTION 28.46 16.39 None weaver/popl20-bad-dot-product.wvr.yml ERROR: EXCEPTION 20.82 11.35 None weaver/popl20-bad-ring-nondet.wvr.yml ERROR: EXCEPTION 11.22 7.86 None weaver/popl20-bad-ring.wvr.yml ERROR: EXCEPTION 9.96 6.75 None weaver/popl20-bad-threaded-sum-2.wvr.yml ERROR: EXCEPTION 8.24 5.17 None weaver/popl20-bad-three-array-sum-alt.wvr.yml ERROR: EXCEPTION 23.73 15.36 None weaver/popl20-channel-sum.wvr.yml ERROR: EXCEPTION 8.65 5.59 None weaver/popl20-commit-1.wvr.yml ERROR: EXCEPTION 9.65 6.10 None weaver/popl20-commit-2.wvr.yml ERROR: EXCEPTION 13.21 7.55 None weaver/popl20-counter-determinism.wvr.yml ERROR: EXCEPTION 12.02 7.47 None weaver/popl20-counter-fun.wvr.yml ERROR: EXCEPTION 9.47 6.03 None weaver/popl20-difference-det.wvr.yml ERROR: EXCEPTION 11.16 6.59 None weaver/popl20-figure1-alt.wvr.yml ERROR: EXCEPTION 8.54 5.30 None weaver/popl20-figure1.wvr.yml ERROR: EXCEPTION 8.37 5.19 None weaver/popl20-figure3.wvr.yml ERROR: EXCEPTION 10.51 6.20 None weaver/popl20-horseshoe.wvr.yml ERROR: EXCEPTION 8.99 5.76 None weaver/popl20-min-max-dec.wvr.yml ERROR: EXCEPTION 12.63 8.70 None weaver/popl20-min-max-inc-dec.wvr.yml ERROR: EXCEPTION 24.79 15.96 None weaver/popl20-min-max-inc.wvr.yml ERROR: EXCEPTION 10.64 6.95 None weaver/popl20-more-array-sum-alt.wvr.yml ERROR: EXCEPTION 10.16 5.97 None weaver/popl20-more-array-sum-alt2.wvr.yml ERROR: EXCEPTION 9.73 6.81 None weaver/popl20-more-array-sum.wvr.yml ERROR: EXCEPTION 13.26 7.55 None weaver/popl20-more-array-sum2.wvr.yml ERROR: EXCEPTION 12.50 7.32 None weaver/popl20-more-buffer-mult.wvr.yml ERROR: EXCEPTION 11.61 6.63 None weaver/popl20-more-buffer-mult2.wvr.yml ERROR: EXCEPTION 10.51 6.30 None weaver/popl20-more-buffer-series.wvr.yml ERROR: EXCEPTION 11.13 6.75 None weaver/popl20-more-buffer-series2.wvr.yml ERROR: EXCEPTION 14.58 8.04 None weaver/popl20-more-dec-subseq.wvr.yml ERROR: EXCEPTION 9.24 6.15 None weaver/popl20-more-inc-subseq.wvr.yml ERROR: EXCEPTION 9.44 5.75 None weaver/popl20-more-max-array-hom.wvr.yml ERROR: EXCEPTION 11.77 6.85 None weaver/popl20-more-max-array.wvr.yml ERROR: EXCEPTION 8.79 6.31 None weaver/popl20-more-min-array-hom.wvr.yml ERROR: EXCEPTION 9.33 6.58 None weaver/popl20-more-min-array.wvr.yml ERROR: EXCEPTION 9.84 6.09 None weaver/popl20-more-min-le-max.wvr.yml ERROR: EXCEPTION 9.10 6.03 None weaver/popl20-more-mts.wvr.yml ERROR: EXCEPTION 13.32 7.90 None weaver/popl20-more-multiply-verify.wvr.yml ERROR: EXCEPTION 9.67 5.80 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml ERROR: EXCEPTION 10.82 6.30 None weaver/popl20-more-queue-add-2-nl.wvr.yml ERROR: EXCEPTION 12.07 6.93 None weaver/popl20-more-queue-add-3-nl.wvr.yml ERROR: EXCEPTION 9.86 5.91 None weaver/popl20-more-sorted.wvr.yml ERROR: EXCEPTION 10.74 7.71 None weaver/popl20-more-sum-array-hom.wvr.yml ERROR: EXCEPTION 12.41 7.04 None weaver/popl20-more-vector-add.wvr.yml ERROR: EXCEPTION 10.60 6.46 None weaver/popl20-mult-4.wvr.yml ERROR: EXCEPTION 12.34 7.47 None weaver/popl20-mult-equiv.wvr.yml ERROR: EXCEPTION 12.03 7.20 None weaver/popl20-nonblocking-cntr-alt.wvr.yml ERROR: EXCEPTION 9.33 6.86 None weaver/popl20-nonblocking-cntr.wvr.yml ERROR: EXCEPTION 9.14 5.82 None weaver/popl20-prod-cons-eq.wvr.yml ERROR: EXCEPTION 13.15 7.96 None weaver/popl20-prod-cons.wvr.yml ERROR: EXCEPTION 9.18 5.76 None weaver/popl20-prod-cons3.wvr.yml ERROR: EXCEPTION 9.19 6.20 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml ERROR: EXCEPTION 9.28 6.09 None weaver/popl20-queue-add-2.wvr.yml ERROR: EXCEPTION 11.42 6.63 None weaver/popl20-queue-add-3.wvr.yml ERROR: EXCEPTION 12.81 7.49 None weaver/popl20-send-receive-alt.wvr.yml ERROR: EXCEPTION 8.73 5.49 None weaver/popl20-send-receive.wvr.yml ERROR: EXCEPTION 8.81 6.04 None weaver/popl20-simple-array-sum.wvr.yml ERROR: EXCEPTION 10.03 6.03 None weaver/popl20-simple-queue.wvr.yml ERROR: EXCEPTION 10.90 6.47 None weaver/popl20-threaded-sum-3.wvr.yml ERROR: EXCEPTION 8.75 6.02 None weaver/popl20-three-array-max.wvr.yml ERROR: EXCEPTION 10.45 6.56 None weaver/popl20-three-array-min.wvr.yml ERROR: EXCEPTION 10.65 7.86 None weaver/popl20-three-array-sum.wvr.yml ERROR: EXCEPTION 13.18 7.52 None weaver/popl20-two-queue.wvr.yml ERROR: EXCEPTION 9.51 7.92 None weaver/security.wvr.yml ERROR: EXCEPTION 8.52 6.27 None weaver/spaghetti.wvr.yml ERROR: EXCEPTION 8.95 5.49 None weaver/test-context1.wvr.yml ERROR: EXCEPTION 8.39 5.31 None weaver/test-easy1.wvr.yml ERROR: EXCEPTION 10.48 6.19 None weaver/test-easy10.wvr.yml ERROR: EXCEPTION 9.04 5.53 None weaver/test-easy11.wvr.yml ERROR: EXCEPTION 8.51 5.83 None weaver/test-easy6.wvr.yml ERROR: EXCEPTION 12.29 7.33 None weaver/test-easy7.wvr.yml ERROR: EXCEPTION 8.48 5.32 None weaver/test-easy8.wvr.yml ERROR: EXCEPTION 10.43 6.29 None weaver/test-hard1.wvr.yml ERROR: EXCEPTION 9.72 6.42 None weaver/test-semi1.wvr.yml ERROR: EXCEPTION 8.43 5.29 None weaver/unroll-2.wvr.yml ERROR: EXCEPTION 8.61 5.89 None weaver/unroll-3.wvr.yml ERROR: EXCEPTION 9.35 6.17 None weaver/unroll-4.wvr.yml ERROR: EXCEPTION 9.33 5.64 None weaver/unroll-5.wvr.yml ERROR: EXCEPTION 9.02 5.52 None weaver/unroll-cond-2.wvr.yml ERROR: EXCEPTION 12.69 7.61 None weaver/unroll-cond-3.wvr.yml ERROR: EXCEPTION 11.44 6.71 None weaver/unroll-cond-4.wvr.yml ERROR: EXCEPTION 9.47 6.18 None weaver/unroll-cond-5.wvr.yml ERROR: EXCEPTION 10.32 7.88 None pthread-deagle/arithmetic_prog_bad.yml ERROR: EXCEPTION 9.63 6.45 None pthread-deagle/arithmetic_prog_ok.yml ERROR: EXCEPTION 10.14 5.97 None pthread-deagle/circular_buffer_bad.yml ERROR: EXCEPTION 11.77 6.84 None pthread-deagle/circular_buffer_ok.yml ERROR: EXCEPTION 11.61 6.65 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 8 done 6641.08 308.57 - GemCutter.SleepMap.Incremental5_Seed0_FALLBACK.SVCOMP-ConcurrencySafety-Main Run set 9 of 26: skipped GemCutter.SleepMap.Incremental10_Seed0_FALLBACK.SVCOMP-ConcurrencySafety-Main Run set 10 of 26: skipped GemCutter.SleepMap.Incremental5_Seed0_PURE.SVCOMP-ConcurrencySafety-Main Run set 11 of 26: skipped GemCutter.SleepMap.Incremental10_Seed0_PURE.SVCOMP-ConcurrencySafety-Main Run set 12 of 26: skipped GemCutter.SleepMap.Flip05_seed0_FALLBACK.SVCOMP-ConcurrencySafety-Main Run set 13 of 26: skipped GemCutter.SleepMap.Flip10_seed0_FALLBACK.SVCOMP-ConcurrencySafety-Main Run set 14 of 26: skipped GemCutter.SleepMap.Flip15_seed0_FALLBACK.SVCOMP-ConcurrencySafety-Main Run set 15 of 26: skipped GemCutter.SleepMap.Flip85_seed0_FALLBACK.SVCOMP-ConcurrencySafety-Main Run set 16 of 26: skipped GemCutter.SleepMap.Flip90_seed0_FALLBACK.SVCOMP-ConcurrencySafety-Main Run set 17 of 26: skipped GemCutter.SleepMap.Flip95_seed0_FALLBACK.SVCOMP-ConcurrencySafety-Main Run set 18 of 26: skipped GemCutter.SleepMap.Flip05_seed0_PURE.SVCOMP-ConcurrencySafety-Main Run set 19 of 26: skipped GemCutter.SleepMap.Flip10_seed0_PURE.SVCOMP-ConcurrencySafety-Main Run set 20 of 26: skipped GemCutter.SleepMap.Flip15_seed0_PURE.SVCOMP-ConcurrencySafety-Main Run set 21 of 26: skipped GemCutter.SleepMap.Flip85_seed0_PURE.SVCOMP-ConcurrencySafety-Main Run set 22 of 26: skipped GemCutter.SleepMap.Flip90_seed0_PURE.SVCOMP-ConcurrencySafety-Main Run set 23 of 26: skipped GemCutter.SleepMap.Flip95_seed0_PURE.SVCOMP-ConcurrencySafety-Main Run set 24 of 26: skipped GemCutter.NewStatesSleepPersistentFixedOrder.VarAbsGlobalSyntactic.SVCOMP-ConcurrencySafety-Main Run set 25 of 26: skipped GemCutter.NewStatesSleepPersistentFixedOrder.VarAbsGlobalSyntactic.Badger.SVCOMP-ConcurrencySafety-Main Run set 26 of 26: skipped Statistics: 1800 Files correct: 882 correct true: 316 correct false: 566 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 918 Score: 1198 (max: 2685)