BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency-insufficient-separately.xml name: concurrency-insufficient-separately run sets: Automizer-PN.SVCOMP-Concurrency-NoDataRace, Automizer-PN.Before.SVCOMP-Concurrency-NoDataRace, Automizer-PN.After.SVCOMP-Concurrency-NoDataRace date: Thu, 2023-08-24 18:10:36 CEST tool: ULTIMATE Automizer 0.2.3-ac9dbd00 tool executable: ./Ultimate.py options: --force-no-wrapper parallel runs: 7 resource limits: - memory: 16000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 16000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-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 ------------------------------------------------------------ Automizer-PN.SVCOMP-Concurrency-NoDataRace Run set 1 of 3 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-VariableLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 105.56 91.61 None pthread/bigshot_s2.yml true 107.66 97.57 None pthread/lazy01.yml false(unreach-call) 22.71 12.30 None pthread/queue.yml OUT OF MEMORY 480.21 359.30 None pthread/queue_longer.yml OUT OF MEMORY 487.12 362.22 None pthread/queue_longest.yml OUT OF MEMORY 485.58 363.88 None pthread/queue_ok.yml OUT OF MEMORY 240.94 200.28 None pthread/queue_ok_longer.yml OUT OF MEMORY 258.76 213.95 None pthread/queue_ok_longest.yml OUT OF MEMORY 261.33 217.16 None pthread/singleton-b.yml OUT OF MEMORY 678.37 571.49 None pthread/singleton.yml false(unreach-call) 121.84 93.99 None pthread/singleton_with-uninit-problems-b.yml OUT OF MEMORY 175.36 127.97 None pthread/singleton_with-uninit-problems.yml true 133.45 104.00 None pthread/stack-1.yml TIMEOUT 905.50 754.85 None pthread/stack-2.yml OUT OF MEMORY 196.14 152.73 None pthread/stack_longer-1.yml OUT OF MEMORY 243.54 198.78 None pthread/stack_longer-2.yml TIMEOUT 901.43 769.56 None pthread/stack_longest-1.yml TIMEOUT 906.58 790.54 None pthread/stack_longest-2.yml OUT OF MEMORY 429.18 379.96 None pthread/stateful01-1.yml false(unreach-call) 18.69 10.58 None pthread/stateful01-2.yml true 20.25 11.10 None pthread/sync01.yml true 20.41 11.71 None pthread/triangular-1.yml true 37.21 21.27 None pthread/triangular-2.yml false(unreach-call) 26.66 14.99 None pthread/triangular-longer-1.yml true 47.18 28.87 None pthread/triangular-longer-2.yml false(unreach-call) 53.23 31.71 None pthread/triangular-longest-1.yml true 485.27 413.20 None pthread/triangular-longest-2.yml false(unreach-call) 74.32 49.04 None pthread-atomic/dekker-b.yml false(unreach-call) 21.46 11.74 None pthread-atomic/dekker.yml true 20.85 11.19 None pthread-atomic/lamport-b.yml false(unreach-call) 22.46 13.15 None pthread-atomic/lamport.yml true 31.90 17.99 None pthread-atomic/peterson-b.yml false(unreach-call) 15.16 8.78 None pthread-atomic/peterson.yml true 13.29 7.64 None pthread-atomic/read_write_lock-1.yml true 44.35 25.73 None pthread-atomic/read_write_lock-1b.yml false(unreach-call) 89.07 64.40 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 34.82 19.39 None pthread-atomic/read_write_lock-2b.yml false(unreach-call) 139.37 98.52 None pthread-atomic/szymanski-b.yml false(unreach-call) 16.48 9.25 None pthread-atomic/szymanski.yml true 16.78 9.71 None pthread-atomic/time_var_mutex.yml true 15.79 8.76 None pthread-ext/01_inc.yml TIMEOUT 906.43 616.38 None pthread-ext/01b_inc.yml OUT OF MEMORY 340.71 229.12 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 9.21 5.14 None pthread-ext/03_incdec.yml OUT OF MEMORY 597.94 374.77 None pthread-ext/04_incdec_cas.yml TIMEOUT 901.60 842.42 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 232.98 152.92 None pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 427.65 269.66 None pthread-ext/14_spin2003.yml OUT OF MEMORY 179.51 119.18 None pthread-ext/18_read_write_lock.yml true 14.15 7.90 None pthread-ext/26_stack_cas.yml OUT OF MEMORY 360.72 238.91 None pthread-ext/26_stack_cas_longer-1.yml OUT OF MEMORY 276.06 197.32 None pthread-ext/26_stack_cas_longer-2.yml OUT OF MEMORY 348.75 232.97 None pthread-ext/26_stack_cas_longest-1.yml OUT OF MEMORY 367.34 244.02 None pthread-ext/26_stack_cas_longest-2.yml OUT OF MEMORY 328.34 224.83 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 12.72 7.29 None pthread-ext/29_conditionals_vs.yml OUT OF MEMORY 261.25 184.85 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 316.06 203.33 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 225.53 142.91 None pthread-ext/36_stack_cas_p0_vs_concur.yml OUT OF MEMORY 317.65 219.74 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 378.93 232.80 None pthread-ext/39_rand_lock_p0_vs-b.yml false(unreach-call) 657.27 483.68 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 317.55 192.32 None pthread-ext/40_barrier_vf-b.yml OUT OF MEMORY 270.93 174.84 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 251.94 155.70 None pthread-ext/41_FreeBSD_abd_kbd_sliced.yml OUT OF MEMORY 586.04 350.47 None pthread-ext/45_monabsex1_vs-b.yml false(unreach-call) 26.37 14.00 None pthread-ext/45_monabsex1_vs.yml TIMEOUT 902.10 682.81 None pthread-ext/46_monabsex2_vs-b.yml OUT OF MEMORY 347.95 214.99 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 211.86 130.36 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml OUT OF MEMORY 255.43 155.19 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 431.14 294.64 None pthread-wmm/mix000.oepc.yml TIMEOUT 906.89 806.42 None pthread-wmm/mix000.opt.yml TIMEOUT (ERROR: EXCEPTION) 901.82 830.60 None pthread-wmm/mix001.oepc.yml TIMEOUT 906.66 813.97 None pthread-wmm/mix001.opt.yml TIMEOUT 901.13 792.01 None pthread-wmm/mix002.oepc.yml TIMEOUT 906.02 828.25 None pthread-wmm/mix002.opt.yml TIMEOUT 901.84 784.63 None pthread-wmm/mix003.oepc.yml TIMEOUT 901.82 863.13 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml TIMEOUT 904.47 830.16 None pthread-wmm/mix004.oepc.yml TIMEOUT 901.48 875.83 None pthread-wmm/mix004.opt.yml TIMEOUT 901.93 795.31 None pthread-wmm/mix005.opt.yml TIMEOUT 906.45 787.08 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.93 861.09 None pthread-wmm/mix005_tso.oepc.yml TIMEOUT 901.33 851.97 None pthread-wmm/mix006.opt.yml TIMEOUT 904.70 860.28 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 509.05 457.96 None pthread-wmm/mix006_tso.oepc.yml TIMEOUT 902.41 772.73 None pthread-wmm/mix007.oepc.yml TIMEOUT 902.03 864.49 None pthread-wmm/mix007.opt.yml TIMEOUT 906.76 828.88 None pthread-wmm/mix008.opt.yml TIMEOUT 906.64 774.06 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.52 855.21 None pthread-wmm/mix008_tso.oepc.yml TIMEOUT 901.86 743.25 None pthread-wmm/mix009.oepc.yml false(unreach-call) 332.34 289.43 None pthread-wmm/mix009.opt.yml TIMEOUT 901.64 832.18 None pthread-wmm/mix010.oepc.yml TIMEOUT 902.00 847.60 None pthread-wmm/mix010.opt.yml TIMEOUT 901.89 825.32 None pthread-wmm/mix011.opt.yml TIMEOUT 906.67 813.97 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 626.58 569.14 None pthread-wmm/mix011_tso.oepc.yml TIMEOUT 901.58 826.49 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml TIMEOUT 906.45 845.69 None pthread-wmm/mix012_pso.opt_tso.opt.yml TIMEOUT 900.90 777.14 None pthread-wmm/mix013.oepc.yml TIMEOUT 901.68 863.22 None pthread-wmm/mix013.opt.yml OUT OF MEMORY 898.88 815.47 None pthread-wmm/mix014.opt.yml TIMEOUT (ERROR: EXCEPTION) 903.07 815.21 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.68 861.25 None pthread-wmm/mix014_tso.oepc.yml TIMEOUT 901.68 766.28 None pthread-wmm/mix015.oepc.yml TIMEOUT 902.70 831.60 None pthread-wmm/mix015.opt.yml TIMEOUT 901.47 793.87 None pthread-wmm/mix016.oepc.yml TIMEOUT 902.66 851.90 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 453.27 415.59 None pthread-wmm/mix016_pso.opt_tso.opt.yml TIMEOUT 901.76 843.98 None pthread-wmm/mix017.oepc.yml TIMEOUT 901.21 863.76 None pthread-wmm/mix017_power.opt_rmo.opt.yml TIMEOUT 901.71 776.62 None pthread-wmm/mix017_pso.opt_tso.opt.yml TIMEOUT 901.74 851.09 None pthread-wmm/mix018.opt.yml TIMEOUT 901.45 851.25 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 904.86 845.76 None pthread-wmm/mix018_tso.oepc.yml TIMEOUT 901.68 834.73 None pthread-wmm/mix019.opt.yml OUT OF MEMORY 706.86 603.43 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 902.27 788.57 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 735.00 661.08 None pthread-wmm/mix020.oepc.yml TIMEOUT 903.22 842.93 None pthread-wmm/mix020.opt.yml TIMEOUT 901.41 851.76 None pthread-wmm/mix021.opt.yml TIMEOUT 904.33 805.07 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.92 871.41 None pthread-wmm/mix021_tso.oepc.yml TIMEOUT 901.36 855.49 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT (ERROR: EXCEPTION) 904.06 784.89 None pthread-wmm/mix022_tso.yml TIMEOUT 901.45 832.85 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.45 857.69 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml TIMEOUT 906.39 858.44 None pthread-wmm/mix023_tso.yml TIMEOUT 901.99 802.01 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 635.77 595.00 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml TIMEOUT 906.78 808.45 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 906.90 796.05 None pthread-wmm/mix025_pso.opt_rmo.opt.yml TIMEOUT 901.09 846.99 None pthread-wmm/mix026.oepc.yml TIMEOUT 905.75 847.51 None pthread-wmm/mix026_power.opt_tso.opt.yml TIMEOUT 905.08 858.69 None pthread-wmm/mix026_pso.opt_rmo.opt.yml TIMEOUT 902.36 865.23 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 902.17 858.15 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml TIMEOUT 902.53 845.30 None pthread-wmm/mix027_tso.yml TIMEOUT 901.44 848.45 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 902.22 850.08 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.45 851.72 None pthread-wmm/mix028_tso.yml TIMEOUT 901.73 829.00 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 901.39 874.26 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.37 857.14 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 902.36 865.38 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.23 843.37 None pthread-wmm/mix030_tso.yml TIMEOUT 904.46 795.99 None pthread-wmm/mix031.oepc.yml TIMEOUT 901.33 833.36 None pthread-wmm/mix031.opt.yml TIMEOUT 906.13 864.60 None pthread-wmm/mix032.oepc.yml TIMEOUT 906.87 829.96 None pthread-wmm/mix032.opt.yml TIMEOUT 906.45 858.22 None pthread-wmm/mix033.opt.yml TIMEOUT 906.67 833.82 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.94 806.62 None pthread-wmm/mix033_tso.oepc.yml TIMEOUT 901.61 833.97 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml TIMEOUT 906.90 811.99 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 401.05 360.20 None pthread-wmm/mix035.oepc.yml TIMEOUT 901.73 833.47 None pthread-wmm/mix035_power.opt_rmo.opt.yml TIMEOUT 903.16 869.75 None pthread-wmm/mix035_pso.opt_tso.opt.yml TIMEOUT 901.61 837.78 None pthread-wmm/mix036.oepc.yml TIMEOUT 901.35 863.84 None pthread-wmm/mix036_power.opt_rmo.opt.yml TIMEOUT 906.35 859.29 None pthread-wmm/mix036_pso.opt_tso.opt.yml TIMEOUT 901.68 837.68 None pthread-wmm/mix037.opt.yml TIMEOUT 902.11 861.44 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.92 863.58 None pthread-wmm/mix037_tso.oepc.yml TIMEOUT 901.28 871.16 None pthread-wmm/mix038.opt.yml TIMEOUT 905.13 832.91 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 412.58 362.67 None pthread-wmm/mix038_tso.oepc.yml TIMEOUT 901.36 861.41 None pthread-wmm/mix039.oepc.yml TIMEOUT 901.69 864.40 None pthread-wmm/mix039.opt.yml TIMEOUT 901.77 856.68 None pthread-wmm/mix040.opt.yml TIMEOUT 905.60 846.77 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.58 856.46 None pthread-wmm/mix040_tso.oepc.yml TIMEOUT 901.18 870.85 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 906.60 813.07 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 537.16 497.46 None pthread-wmm/mix042.oepc.yml false(unreach-call) 400.83 349.44 None pthread-wmm/mix042.opt.yml false(unreach-call) 655.35 579.55 None pthread-wmm/mix043.oepc.yml TIMEOUT 901.70 865.99 None pthread-wmm/mix043.opt.yml TIMEOUT 901.82 824.29 None pthread-wmm/mix044.opt.yml TIMEOUT 901.28 864.57 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.68 856.55 None pthread-wmm/mix044_tso.oepc.yml TIMEOUT 901.52 862.55 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 905.07 839.14 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.38 852.34 None pthread-wmm/mix046.oepc.yml TIMEOUT 901.76 855.32 None pthread-wmm/mix046.opt.yml TIMEOUT 901.32 854.70 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 902.77 870.06 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.56 837.84 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) 200.38 170.37 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 TIMEOUT 903.51 838.00 None pthread-wmm/mix050.yml TIMEOUT 901.31 873.08 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml TIMEOUT 906.28 849.09 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml TIMEOUT 904.14 858.54 None pthread-wmm/mix051_tso.oepc.yml TIMEOUT 901.65 834.09 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml TIMEOUT 904.35 833.25 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml TIMEOUT 903.48 849.94 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 609.58 543.81 None pthread-wmm/mix053.opt.yml TIMEOUT 904.60 874.67 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.39 855.97 None pthread-wmm/mix053_tso.oepc.yml TIMEOUT 901.57 844.32 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 631.62 568.79 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 903.35 805.90 None pthread-wmm/mix055.opt.yml TIMEOUT 901.35 851.35 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.67 855.90 None pthread-wmm/mix055_tso.oepc.yml TIMEOUT 901.25 873.93 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.87 826.12 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.52 838.50 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 906.86 809.54 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.56 838.15 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.62 829.37 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.78 739.58 None pthread-wmm/rfi000_tso.yml TIMEOUT 901.84 804.40 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 904.72 847.42 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 572.05 514.26 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 902.06 796.64 None pthread-wmm/rfi002_tso.yml TIMEOUT 900.90 774.39 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 511.30 461.14 None pthread-wmm/rfi003_tso.yml TIMEOUT (ERROR: EXCEPTION) 905.96 791.12 None pthread-wmm/rfi004.yml TIMEOUT 901.89 787.53 None pthread-wmm/rfi005.yml TIMEOUT 901.03 788.90 None pthread-wmm/rfi006_power.oepc.yml TIMEOUT 901.86 821.95 None pthread-wmm/rfi006_power.opt.yml TIMEOUT 901.48 790.06 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml TIMEOUT 902.08 805.13 None pthread-wmm/rfi006_rmo.yml TIMEOUT 902.28 762.51 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 906.88 812.64 None pthread-wmm/rfi007_tso.yml TIMEOUT 901.80 831.29 None pthread-wmm/rfi008.oepc.yml TIMEOUT 907.02 802.34 None pthread-wmm/rfi008.opt.yml TIMEOUT (ERROR: EXCEPTION) 902.08 802.00 None pthread-wmm/rfi009_power.oepc.yml TIMEOUT 901.52 855.25 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.78 845.99 None pthread-wmm/rfi009_rmo.oepc.yml TIMEOUT 904.67 821.76 None pthread-wmm/rfi010.yml TIMEOUT 901.61 840.09 None pthread-wmm/safe000_power.oepc.yml TIMEOUT 901.56 822.45 None pthread-wmm/safe000_power.opt.yml TIMEOUT 901.84 842.29 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 18.97 10.84 None pthread-wmm/safe000_rmo.yml TIMEOUT 901.96 820.54 None pthread-wmm/safe001_power.oepc.yml TIMEOUT 902.49 820.98 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml TIMEOUT 901.79 857.51 None pthread-wmm/safe001_rmo.oepc.yml TIMEOUT 903.64 803.63 None pthread-wmm/safe001_tso.yml true 17.27 9.79 None pthread-wmm/safe002_power.oepc.yml TIMEOUT 901.54 841.82 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml TIMEOUT 906.29 850.35 None pthread-wmm/safe002_rmo.oepc.yml TIMEOUT 902.02 822.51 None pthread-wmm/safe002_tso.yml true 23.18 12.35 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 902.00 786.54 None pthread-wmm/safe003_power.opt.yml TIMEOUT 901.74 862.58 None pthread-wmm/safe003_tso.yml true 20.73 11.36 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.23 787.57 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.48 852.63 None pthread-wmm/safe004_tso.yml true 17.31 9.86 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.84 869.87 None pthread-wmm/safe005_tso.yml true 22.26 12.00 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml TIMEOUT 901.18 862.86 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml TIMEOUT 901.53 765.06 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.77 8.68 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml TIMEOUT 901.45 854.05 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml TIMEOUT 901.54 854.38 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml TIMEOUT 901.66 790.81 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 18.03 10.17 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml TIMEOUT 901.93 817.71 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 582.32 531.84 None pthread-wmm/safe008_power.opt.yml TIMEOUT 901.99 838.22 None pthread-wmm/safe008_tso.yml true 19.57 11.18 None pthread-wmm/safe009_power.oepc.yml TIMEOUT 903.93 780.57 None pthread-wmm/safe009_power.opt.yml TIMEOUT 902.05 818.88 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.85 9.08 None pthread-wmm/safe009_rmo.oepc.yml TIMEOUT 901.53 788.84 None pthread-wmm/safe009_rmo.opt.yml TIMEOUT 906.99 810.19 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 902.07 822.55 None pthread-wmm/safe010_tso.yml true 16.95 9.53 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml TIMEOUT 901.30 851.51 None pthread-wmm/safe011_power.opt_pso.opt.yml TIMEOUT 901.60 850.02 None pthread-wmm/safe011_tso.yml true 19.37 10.62 None pthread-wmm/safe012_power.oepc.yml TIMEOUT 901.56 838.70 None pthread-wmm/safe012_power.opt.yml TIMEOUT 901.62 790.59 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml TIMEOUT (ERROR: EXCEPTION) 901.18 840.96 None pthread-wmm/safe012_rmo.oepc.yml TIMEOUT 901.61 852.05 None pthread-wmm/safe012_tso.yml true 14.67 8.59 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.56 864.83 None pthread-wmm/safe013_tso.yml true 19.38 10.65 None pthread-wmm/safe014_power.oepc.yml TIMEOUT 902.25 790.11 None pthread-wmm/safe014_power.opt.yml TIMEOUT 902.05 784.99 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.90 11.55 None pthread-wmm/safe014_rmo.oepc.yml TIMEOUT 901.87 813.77 None pthread-wmm/safe014_rmo.opt.yml TIMEOUT (ERROR: EXCEPTION) 903.86 830.38 None pthread-wmm/safe015_power.oepc.yml TIMEOUT 901.52 760.85 None pthread-wmm/safe015_power.opt.yml TIMEOUT 901.77 846.20 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.56 9.64 None pthread-wmm/safe015_rmo.yml TIMEOUT (ERROR: EXCEPTION) 903.41 833.65 None pthread-wmm/safe016_power.oepc.yml TIMEOUT 902.32 742.12 None pthread-wmm/safe016_power.opt.yml TIMEOUT 901.46 784.63 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 26.52 15.23 None pthread-wmm/safe016_rmo.oepc.yml TIMEOUT 901.54 775.53 None pthread-wmm/safe016_rmo.opt.yml TIMEOUT 902.56 746.81 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 902.00 837.27 None pthread-wmm/safe017_tso.yml true 15.34 9.12 None pthread-wmm/safe018_power.oepc.yml TIMEOUT 901.98 827.74 None pthread-wmm/safe018_power.opt.yml TIMEOUT 902.90 812.95 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 18.76 10.35 None pthread-wmm/safe018_rmo.oepc.yml TIMEOUT 902.15 818.46 None pthread-wmm/safe018_rmo.opt.yml TIMEOUT 902.38 790.21 None pthread-wmm/safe019_power.oepc.yml TIMEOUT 901.76 837.58 None pthread-wmm/safe019_power.opt.yml TIMEOUT 902.25 684.33 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 25.54 14.15 None pthread-wmm/safe019_rmo.oepc.yml TIMEOUT 901.29 785.81 None pthread-wmm/safe019_rmo.opt.yml TIMEOUT 901.51 862.13 None pthread-wmm/safe020_power.yml TIMEOUT 902.15 809.74 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 18.12 9.94 None pthread-wmm/safe020_rmo.yml TIMEOUT 902.07 790.86 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml TIMEOUT 902.79 798.93 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 576.32 512.98 None pthread-wmm/safe021_tso.yml true 21.02 11.58 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 263.63 220.97 None pthread-wmm/safe022_tso.yml true 16.41 8.96 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.40 778.34 None pthread-wmm/safe023_tso.yml true 21.90 11.92 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 403.85 352.00 None pthread-wmm/safe024_tso.yml true 15.24 8.78 None pthread-wmm/safe025_power.yml OUT OF MEMORY 779.98 683.84 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.43 9.37 None pthread-wmm/safe025_rmo.yml TIMEOUT 901.45 850.82 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 906.93 819.37 None pthread-wmm/safe026_tso.yml true 19.77 11.06 None pthread-wmm/safe027_power.oepc.yml TIMEOUT 901.27 712.43 None pthread-wmm/safe027_power.opt.yml TIMEOUT 901.98 725.44 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 24.83 13.28 None pthread-wmm/safe027_rmo.yml TIMEOUT 901.79 787.12 None pthread-wmm/safe028_power.yml TIMEOUT 901.80 736.94 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.71 8.52 None pthread-wmm/safe028_rmo.yml TIMEOUT 901.26 849.96 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.62 840.51 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.57 869.03 None pthread-wmm/safe029_tso.yml true 16.00 8.58 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.67 830.05 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml TIMEOUT 906.47 796.36 None pthread-wmm/safe030_tso.yml true 20.57 11.04 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 904.18 850.92 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.88 804.80 None pthread-wmm/safe031_tso.yml true 15.39 8.67 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 902.37 798.18 None pthread-wmm/safe032_tso.yml true 20.65 11.59 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.40 844.93 None pthread-wmm/safe033_tso.yml true 16.30 8.85 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 905.42 831.92 None pthread-wmm/safe034_tso.yml true 19.79 11.08 None pthread-wmm/safe035_power.yml TIMEOUT 901.68 775.64 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 21.20 11.40 None pthread-wmm/safe036.yml true 16.52 9.08 None pthread-wmm/safe037.yml true 19.29 10.51 None pthread-wmm/thin002_power.oepc.yml TIMEOUT (ERROR: EXCEPTION) 902.90 784.47 None pthread-wmm/thin002_power.opt.yml TIMEOUT 901.43 861.06 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 23.05 12.93 None pthread-wmm/thin002_rmo.yml TIMEOUT 901.61 845.91 None pthread-lit/qw2004-2.yml false(unreach-call) 13.89 7.80 None pthread-lit/qw2004-2b.yml false(unreach-call) 13.25 7.69 None ldv-races/race-1_1-join.yml true 15.28 9.04 None ldv-races/race-1_2-join.yml false(unreach-call) 14.99 8.93 None ldv-races/race-1_2b-join.yml false(unreach-call) 15.91 9.24 None ldv-races/race-1_3-join.yml false(unreach-call) 15.93 9.19 None ldv-races/race-1_3b-join.yml false(unreach-call) 15.34 9.10 None ldv-races/race-2_1-container_of.yml false(unreach-call) 174.66 149.64 None ldv-races/race-2_2-container_of.yml false(unreach-call) 82.08 68.07 None ldv-races/race-2_2b-container_of.yml false(unreach-call) 125.49 104.31 None ldv-races/race-2_3-container_of.yml false(unreach-call) 87.70 75.80 None ldv-races/race-2_3b-container_of.yml false(unreach-call) 202.31 162.07 None ldv-races/race-2_4-container_of.yml false(unreach-call) 82.55 67.27 None ldv-races/race-2_4b-container_of.yml false(unreach-call) 227.73 184.74 None ldv-races/race-2_5-container_of.yml false(unreach-call) 89.44 77.69 None ldv-races/race-2_5b-container_of.yml false(unreach-call) 145.64 121.62 None ldv-races/race-3_1-container_of-global.yml false(unreach-call) 184.10 149.57 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 120.04 106.98 None ldv-races/race-3_2b-container_of-global.yml false(unreach-call) 165.09 133.38 None ldv-races/race-4_1-thread_local_vars.yml true 28.72 16.27 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 61.47 33.08 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 47.18 27.43 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 399.89 249.39 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 674.85 433.87 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 304.94 222.50 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 901.28 747.09 None pthread-complex/bounded_buffer.yml TIMEOUT 900.62 882.52 None pthread-complex/elimination_backoff_stack.yml TIMEOUT (ERROR: EXCEPTION) 902.04 869.79 None pthread-complex/safestack_relacy.yml OUT OF MEMORY 456.77 391.86 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 900.65 874.61 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml TIMEOUT 901.90 812.83 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml TIMEOUT (ERROR: EXCEPTION) 901.48 805.42 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml OUT OF MEMORY 554.28 499.43 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 804.08 730.71 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT 901.81 817.55 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 799.20 713.07 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 903.20 793.02 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml TIMEOUT 900.61 821.84 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 569.14 540.15 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml TIMEOUT 900.88 812.36 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 489.95 456.37 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 902.32 825.54 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml TIMEOUT 911.70 783.91 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml TIMEOUT 906.47 807.20 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml TIMEOUT 901.38 817.17 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml TIMEOUT 901.09 797.38 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml TIMEOUT 901.65 830.53 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml OUT OF MEMORY 694.19 599.53 None pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 905.90 784.27 None pthread-C-DAC/pthread-demo-datarace-2.yml false(unreach-call) 14.87 8.28 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 50.06 31.53 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 7.71 4.21 None pthread-C-DAC/pthread-numerical-integration.yml unknown 8.07 4.31 None pthread-divine/ring_2w1r-1.yml OUT OF MEMORY 223.94 144.04 None pthread-divine/tls_basic.yml unknown 7.08 3.96 None pthread-divine/tls_destructor_worker.yml unknown 7.47 4.01 None goblint-regression/00-sanity_09-include.yml false(unreach-call) 13.42 7.24 None goblint-regression/02-base_24-malloc_races.yml false(unreach-call) 23.27 12.48 None goblint-regression/02-base_25-malloc_race_cp.yml false(unreach-call) 22.55 12.18 None goblint-regression/02-base_26-malloc_struct.yml false(unreach-call) 22.18 11.82 None goblint-regression/03-practical_07-nonterm.yml false(unreach-call) 14.43 7.89 None goblint-regression/03-practical_08-nonterm1.yml false(unreach-call) 15.00 8.30 None goblint-regression/03-practical_15-exit_problems.yml false(unreach-call) 14.02 7.70 None goblint-regression/04-mutex_01-simple_rc.yml false(unreach-call) 14.17 7.76 None goblint-regression/04-mutex_02-simple_nr.yml true 14.24 7.69 None goblint-regression/04-mutex_03-munge_rc.yml false(unreach-call) 15.31 8.31 None goblint-regression/04-mutex_04-munge_nr.yml true 13.86 7.54 None goblint-regression/04-mutex_05-lockfuns.yml true 13.99 7.48 None goblint-regression/04-mutex_06-ps_rc.yml false(unreach-call) 15.64 8.43 None goblint-regression/04-mutex_07-ps_nr.yml true 14.50 7.80 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(unreach-call) 19.43 10.74 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 134.18 96.31 None goblint-regression/04-mutex_11-ptr_rc.yml false(unreach-call) 18.71 10.24 None goblint-regression/04-mutex_12-ptr_nr.yml true 27.83 14.77 None goblint-regression/04-mutex_14-funarg_rc.yml false(unreach-call) 15.69 8.49 None goblint-regression/04-mutex_15-funarg_nr.yml true 14.49 7.96 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(unreach-call) 14.70 7.89 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 14.90 8.18 None goblint-regression/04-mutex_18-glob_guards.yml true 14.26 7.83 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(unreach-call) 15.58 8.50 None goblint-regression/04-mutex_20-stdfun_rc.yml false(unreach-call) 13.55 7.44 None goblint-regression/04-mutex_21-sound_base.yml false(unreach-call) 12.68 6.86 None goblint-regression/04-mutex_22-deref_read.yml true 15.04 8.21 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 7.10 3.89 None goblint-regression/04-mutex_24-sound_lock.yml false(unreach-call) 15.58 8.71 None goblint-regression/04-mutex_25-single_acc.yml false(unreach-call) 11.84 6.63 None goblint-regression/04-mutex_27-base_rc.yml false(unreach-call) 15.68 8.66 None goblint-regression/04-mutex_28-base_nr.yml true 15.62 8.33 None goblint-regression/04-mutex_35-trylock_rc.yml false(unreach-call) 34.85 20.17 None goblint-regression/04-mutex_36-trylock_nr.yml true 34.44 20.25 None goblint-regression/04-mutex_37-indirect_rc.yml false(unreach-call) 18.49 10.11 None goblint-regression/04-mutex_38-indexing_malloc.yml false(unreach-call) 15.06 8.15 None goblint-regression/04-mutex_41-pt_rwlock.yml true 14.90 8.09 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 18.06 9.79 None goblint-regression/04-mutex_43-thread_create_nr.yml true 13.52 7.46 None goblint-regression/04-mutex_44-malloc_sound.yml false(unreach-call) 18.16 10.73 None goblint-regression/04-mutex_45-escape_rc.yml false(unreach-call) 18.47 9.94 None goblint-regression/04-mutex_46-escape_nr.yml true 30.65 16.36 None goblint-regression/04-mutex_47-fun_write.yml false(unreach-call) 13.98 7.54 None goblint-regression/04-mutex_50-funptr_rc.yml false(unreach-call) 14.48 8.02 None goblint-regression/04-mutex_51-mutex_ptr.yml true 28.05 14.73 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 15.48 8.31 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml false(unreach-call) 14.33 7.89 None goblint-regression/05-lval_ls_01-idx_rc.yml false(unreach-call) 14.64 8.82 None goblint-regression/05-lval_ls_02-idx_nr.yml true 14.19 8.37 None goblint-regression/05-lval_ls_03-fld_rc.yml false(unreach-call) 13.41 7.39 None goblint-regression/05-lval_ls_04-fld_nr.yml true 13.53 7.40 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml false(unreach-call) 15.72 8.50 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml false(unreach-call) 15.45 8.30 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml false(unreach-call) 32.49 18.44 None goblint-regression/05-lval_ls_09-idxsense_rc.yml false(unreach-call) 18.91 10.43 None goblint-regression/05-lval_ls_11-fldsense_rc.yml false(unreach-call) 17.76 9.66 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 21.99 11.68 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml false(unreach-call) 19.36 10.51 None goblint-regression/05-lval_ls_14-idxunknown_access.yml false(unreach-call) 17.37 9.33 None goblint-regression/05-lval_ls_15-fldunknown_access.yml false(unreach-call) 16.37 8.88 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 7.51 4.01 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 901.24 799.49 None goblint-regression/06-symbeq_03-funloop_simple.yml TIMEOUT 901.82 765.47 None goblint-regression/06-symbeq_04-funloop_hard1.yml TIMEOUT 901.10 798.29 None goblint-regression/06-symbeq_05-funloop_hard2.yml OUT OF MEMORY 791.85 668.45 None goblint-regression/06-symbeq_06-tricky_address1.yml TIMEOUT 901.23 833.79 None goblint-regression/06-symbeq_07-tricky_address2.yml true 236.52 180.48 None goblint-regression/06-symbeq_08-tricky_address3.yml TIMEOUT 902.13 847.53 None goblint-regression/06-symbeq_09-tricky_address4.yml false(unreach-call) 15.97 9.51 None goblint-regression/06-symbeq_10-equ_rc.yml false(unreach-call) 15.14 9.39 None goblint-regression/06-symbeq_11-equ_nr.yml true 28.29 16.78 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 40.24 23.86 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 19.60 11.22 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 18.14 10.60 None goblint-regression/09-regions_01-list_rc.yml TIMEOUT 901.58 829.02 None goblint-regression/09-regions_02-list_nr.yml TIMEOUT 903.26 810.13 None goblint-regression/09-regions_03-list2_rc.yml false(unreach-call) 523.18 473.27 None goblint-regression/09-regions_04-list2_nr.yml TIMEOUT 900.66 891.37 None goblint-regression/09-regions_05-ptra_rc.yml TIMEOUT 901.27 820.67 None goblint-regression/09-regions_06-ptra_nr.yml TIMEOUT 901.55 821.59 None goblint-regression/09-regions_16-arrayloop_rc.yml OUT OF MEMORY 394.78 319.97 None goblint-regression/09-regions_17-arrayloop_nr.yml OUT OF MEMORY 895.02 723.33 None goblint-regression/09-regions_18-nested_rc.yml TIMEOUT 900.64 844.40 None goblint-regression/09-regions_20-arrayloop2_rc.yml TIMEOUT (ERROR: EXCEPTION) 901.66 894.51 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 902.76 846.71 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT (ERROR: EXCEPTION) 901.99 888.20 None goblint-regression/09-regions_23-evilcollapse_rc.yml TIMEOUT (ERROR: EXCEPTION) 901.70 887.23 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 901.90 855.62 None goblint-regression/09-regions_26-alloc_region_rc.yml OUT OF MEMORY 417.97 344.82 None goblint-regression/09-regions_28-list2alloc.yml false(unreach-call) 117.72 106.52 None goblint-regression/10-synch_01-thread_unique.yml true 9.51 5.49 None goblint-regression/10-synch_02-thread_nonunique.yml false(unreach-call) 14.85 8.31 None goblint-regression/10-synch_03-two_unique.yml true 9.12 5.41 None goblint-regression/13-privatized_01-priv_nr_true.yml true 15.33 9.09 None goblint-regression/13-privatized_03-priv_inv.yml true 13.18 8.03 None goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 467.84 333.44 None goblint-regression/13-privatized_18-first-reads_true.yml true 15.49 8.40 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 14.47 8.07 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 14.41 8.04 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 15.14 8.17 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 14.29 7.79 None goblint-regression/13-privatized_19-publish-precision_true.yml true 16.12 8.89 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 14.83 8.33 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 15.75 8.70 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 15.34 8.45 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 15.06 8.17 None goblint-regression/13-privatized_20-publish-regression_true.yml true 17.27 9.54 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 25.90 14.11 None goblint-regression/13-privatized_25-struct_nr_true.yml true 18.76 10.40 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 48.83 29.80 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 20.86 11.23 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 17.61 9.83 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 16.63 9.04 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 19.19 10.48 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 17.07 9.39 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 18.41 10.11 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 16.08 8.64 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 15.70 8.47 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 16.04 8.59 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 15.77 8.47 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 16.59 8.89 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 14.41 7.95 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 15.50 8.33 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 17.13 9.34 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 16.51 8.97 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 15.19 8.25 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 13.26 7.27 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 13.25 7.23 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 15.53 8.73 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 13.34 7.20 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 12.53 6.95 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 11.04 6.11 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 18.93 10.68 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 19.49 10.57 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 20.01 11.15 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 77.53 45.49 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 19.11 10.62 None goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 494.47 302.65 None goblint-regression/28-race_reach_02-simple_racefree.yml OUT OF MEMORY 302.22 186.65 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 286.54 164.10 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 289.42 165.63 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml OUT OF MEMORY 321.07 198.56 None goblint-regression/28-race_reach_06-cond_racing1.yml OUT OF MEMORY 273.33 173.18 None goblint-regression/28-race_reach_07-cond_racing2.yml OUT OF MEMORY 406.50 270.38 None goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 325.65 201.38 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 321.76 184.30 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 314.54 182.18 None goblint-regression/28-race_reach_11-ptr_racing.yml OUT OF MEMORY 186.93 117.17 None goblint-regression/28-race_reach_12-ptr_racefree.yml OUT OF MEMORY 260.74 155.66 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 339.86 205.36 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 333.02 202.30 None goblint-regression/28-race_reach_21-deref_read_racing.yml OUT OF MEMORY 261.68 168.14 None goblint-regression/28-race_reach_22-deref_read_racefree.yml OUT OF MEMORY 338.56 212.18 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 8.23 4.64 None goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 495.90 307.08 None goblint-regression/28-race_reach_27-funptr_racing.yml OUT OF MEMORY 347.05 224.78 None goblint-regression/28-race_reach_28-funptr_racefree.yml OUT OF MEMORY 460.68 281.22 None goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 504.89 308.28 None goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 264.79 174.36 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 7.34 4.02 None goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 535.82 319.98 None goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 191.18 118.26 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 19.33 11.89 None goblint-regression/28-race_reach_46-escape_racefree.yml true 33.35 18.94 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 361.99 242.96 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 327.51 194.43 None goblint-regression/28-race_reach_61-invariant_racing.yml OUT OF MEMORY 297.96 172.09 None goblint-regression/28-race_reach_70-funloop_racefree.yml OUT OF MEMORY 184.38 118.80 None goblint-regression/28-race_reach_71-funloop_racing.yml OUT OF MEMORY 278.37 166.94 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml OUT OF MEMORY 293.48 174.87 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml OUT OF MEMORY 164.31 109.50 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 742.40 455.08 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml OUT OF MEMORY 268.59 160.76 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 431.00 258.31 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 455.64 272.83 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 222.79 144.20 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 209.99 132.26 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 333.71 206.57 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 315.13 194.72 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 579.20 458.47 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 276.89 207.31 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 660.73 478.20 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 901.85 880.00 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 902.04 881.31 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT (ERROR: EXCEPTION) 901.72 888.10 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 901.10 890.59 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 902.44 879.35 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 902.06 886.13 None goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 375.23 277.18 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 14.38 7.79 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 12.55 6.88 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 15.96 8.76 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 14.67 7.92 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 130.83 90.40 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 32.05 17.26 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 11.15 6.17 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 11.36 6.26 None weaver/array-eq-symm.wvr.yml OUT OF MEMORY 231.68 165.78 None weaver/array-eq-trans.wvr.yml OUT OF MEMORY 806.43 598.83 None weaver/bench-exp1x3.wvr.yml TIMEOUT 901.40 879.28 None weaver/bench-exp2x3.wvr.yml TIMEOUT (ERROR: EXCEPTION) 902.15 852.99 None weaver/bench-exp2x4.wvr.yml TIMEOUT 901.72 871.16 None weaver/bench-exp2x6.wvr.yml TIMEOUT 901.97 871.36 None weaver/bench-exp2x9.wvr.yml TIMEOUT 901.88 868.29 None weaver/bench-exp3x3-opt.wvr.yml TIMEOUT 902.09 827.05 None weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 195.04 140.87 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 427.61 279.05 None weaver/chl-array-int-symm.wvr.yml OUT OF MEMORY 448.26 284.25 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 434.92 286.91 None weaver/chl-chromosome-opt-symm.wvr.yml TIMEOUT 907.20 664.58 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 902.85 774.56 None weaver/chl-chromosome-symm.wvr.yml TIMEOUT 903.17 807.55 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 701.32 483.53 None weaver/chl-collitem-subst.wvr.yml true 69.88 39.34 None weaver/chl-collitem-symm.wvr.yml true 28.93 18.55 None weaver/chl-collitem-trans.wvr.yml true 48.74 28.99 None weaver/chl-exp-term-subst.wvr.yml OUT OF MEMORY 145.18 103.07 None weaver/chl-exp-term-symm.wvr.yml true 84.17 50.13 None weaver/chl-file-item-subst.wvr.yml true 133.82 95.60 None weaver/chl-file-item-symm.wvr.yml true 46.10 24.51 None weaver/chl-file-item-trans.wvr.yml true 149.50 106.47 None weaver/chl-match-subst.wvr.yml OUT OF MEMORY 562.02 429.54 None weaver/chl-match-symm.wvr.yml TIMEOUT 901.60 826.87 None weaver/chl-match-trans.wvr.yml TIMEOUT 901.25 724.28 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 596.60 434.97 None weaver/chl-name-comparator-symm.wvr.yml OUT OF MEMORY 476.35 397.31 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 754.94 517.01 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 419.43 268.61 None weaver/chl-node-symm.wvr.yml TIMEOUT 903.66 616.51 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 378.94 247.52 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 278.92 183.05 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 621.78 441.44 None weaver/chl-nzb-file-trans.wvr.yml TIMEOUT 902.69 568.87 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.90 876.92 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 901.07 872.38 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT (ERROR: EXCEPTION) 902.10 873.65 None weaver/chl-simpl-str-subst.wvr.yml true 62.97 34.53 None weaver/chl-simpl-str-symm.wvr.yml true 30.07 16.51 None weaver/chl-simpl-str-trans.wvr.yml true 50.87 28.90 None weaver/chl-sre-subst.wvr.yml true 37.01 19.74 None weaver/chl-sre-symm.wvr.yml true 22.37 12.00 None weaver/chl-sre-trans.wvr.yml true 23.70 13.01 None weaver/chl-time-subst.wvr.yml true 41.90 22.87 None weaver/chl-time-symm.wvr.yml true 22.54 12.69 None weaver/chl-time-trans.wvr.yml true 31.86 17.72 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 668.17 432.20 None weaver/chl-word-symm.wvr.yml OUT OF MEMORY 236.87 157.62 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 625.30 405.11 None weaver/clever.wvr.yml TIMEOUT 902.27 793.21 None weaver/fibonacci.wvr.yml TIMEOUT 902.06 777.45 None weaver/loop-tiling-eq.wvr.yml OUT OF MEMORY 442.29 358.67 None weaver/mult-comm.wvr.yml TIMEOUT 900.98 831.73 None weaver/mult-dist.wvr.yml OUT OF MEMORY 483.18 410.69 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 902.78 617.54 None weaver/parallel-bakery-2.wvr.yml true 21.93 12.62 None weaver/parallel-bakery-3.wvr.yml OUT OF MEMORY 216.09 162.41 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 626.28 420.64 None weaver/parallel-barrier-loop.wvr.yml OUT OF MEMORY 100.89 70.62 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 209.78 129.29 None weaver/parallel-bluetooth.wvr.yml true 25.16 14.05 None weaver/parallel-lamport.wvr.yml true 383.19 291.08 None weaver/parallel-min-max-1.wvr.yml true 58.29 37.02 None weaver/parallel-misc-1.wvr.yml OUT OF MEMORY 411.88 304.57 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 16.66 9.98 None weaver/parallel-misc-2-unrolled.wvr.yml true 19.14 11.29 None weaver/parallel-misc-2.wvr.yml TIMEOUT 901.97 874.13 None weaver/parallel-misc-3-extended.wvr.yml TIMEOUT 912.38 772.77 None weaver/parallel-misc-3.wvr.yml true 73.26 45.69 None weaver/parallel-misc-4.wvr.yml TIMEOUT 906.44 800.77 None weaver/parallel-misc-5.wvr.yml TIMEOUT 901.68 747.11 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 604.65 438.82 None weaver/parallel-parallel-sum-1.wvr.yml TIMEOUT 905.92 730.74 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 253.35 177.67 None weaver/parallel-parallel-sum-equiv.wvr.yml OUT OF MEMORY 336.91 257.51 None weaver/parallel-simple-equiv.wvr.yml true 20.99 11.82 None weaver/parallel-ticket-2.wvr.yml true 21.00 12.03 None weaver/parallel-ticket-3.wvr.yml true 31.05 17.20 None weaver/parallel-ticket-4.wvr.yml true 76.88 45.29 None weaver/parallel-ticket-5.wvr.yml TIMEOUT 903.24 787.55 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 167.37 118.19 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 171.96 111.29 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 224.45 137.53 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 421.97 342.25 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 285.83 225.17 None weaver/popl20-bad-commit-1.wvr-bad.yml TIMEOUT 901.31 818.82 None weaver/popl20-bad-commit-2.wvr-bad.yml TIMEOUT 901.39 808.82 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 23.06 13.01 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 901.53 757.02 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 541.59 388.06 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 282.56 196.27 None weaver/popl20-bad-ring-nondet.wvr.yml true 85.48 61.51 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 901.54 851.76 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 870.54 805.98 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 305.79 207.60 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 906.67 699.80 None weaver/popl20-commit-1.wvr.yml TIMEOUT 902.11 854.54 None weaver/popl20-commit-2.wvr.yml TIMEOUT 901.41 827.07 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 406.04 335.03 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 901.90 793.92 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 484.06 374.49 None weaver/popl20-figure1-alt.wvr.yml true 54.64 36.10 None weaver/popl20-figure1.wvr.yml TIMEOUT 901.71 842.64 None weaver/popl20-figure3.wvr.yml TIMEOUT 904.80 814.39 None weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 850.08 717.87 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 440.00 358.71 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 192.54 140.38 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 877.48 756.86 None weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 438.37 351.98 None weaver/popl20-more-array-sum-alt2.wvr.yml OUT OF MEMORY 847.67 721.06 None weaver/popl20-more-array-sum.wvr.yml OUT OF MEMORY 462.15 368.66 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 901.49 776.34 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 904.03 751.83 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 304.74 238.15 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 901.55 852.78 None weaver/popl20-more-buffer-series2.wvr.yml OUT OF MEMORY 784.07 666.12 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 901.29 839.08 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 901.90 802.85 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.23 834.65 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.26 837.76 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 901.36 830.62 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 901.08 853.35 None weaver/popl20-more-min-le-max.wvr.yml true 31.00 18.36 None weaver/popl20-more-mts.wvr.yml OUT OF MEMORY 319.30 210.91 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 901.94 772.40 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 901.56 822.60 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 902.58 791.47 None weaver/popl20-more-queue-add-3-nl.wvr.yml OUT OF MEMORY 398.56 299.47 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 451.78 343.69 None weaver/popl20-more-sum-array-hom.wvr.yml OUT OF MEMORY 325.84 236.76 None weaver/popl20-more-vector-add.wvr.yml OUT OF MEMORY 366.59 224.91 None weaver/popl20-mult-4.wvr.yml OUT OF MEMORY 594.52 429.15 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 901.93 812.72 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 126.43 88.72 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.58 851.91 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 844.31 640.84 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 900.98 818.97 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 900.69 840.66 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 906.18 850.84 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 902.59 836.32 None weaver/popl20-queue-add-3.wvr.yml OUT OF MEMORY 689.17 593.85 None weaver/popl20-send-receive-alt.wvr.yml OUT OF MEMORY 366.59 266.67 None weaver/popl20-send-receive.wvr.yml TIMEOUT 921.75 707.65 None weaver/popl20-simple-array-sum.wvr.yml TIMEOUT 902.58 820.95 None weaver/popl20-simple-queue.wvr.yml TIMEOUT 902.30 828.81 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 906.35 797.22 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 234.74 178.73 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 383.88 309.34 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 902.92 830.56 None weaver/popl20-two-queue.wvr.yml TIMEOUT 902.10 789.08 None weaver/security.wvr.yml true 16.93 9.55 None weaver/spaghetti.wvr.yml true 15.12 8.98 None weaver/test-context1.wvr.yml TIMEOUT 901.74 835.17 None weaver/test-easy1.wvr.yml true 57.62 37.62 None weaver/test-easy10.wvr.yml OUT OF MEMORY 351.28 279.10 None weaver/test-easy11.wvr.yml true 29.55 18.13 None weaver/test-easy6.wvr.yml true 16.38 9.17 None weaver/test-easy7.wvr.yml true 13.42 7.40 None weaver/test-easy8.wvr.yml true 11.27 6.37 None weaver/test-hard1.wvr.yml TIMEOUT 904.64 845.03 None weaver/test-semi1.wvr.yml true 15.53 8.70 None weaver/unroll-2.wvr.yml OUT OF MEMORY 397.44 249.36 None weaver/unroll-3.wvr.yml TIMEOUT 921.70 718.55 None weaver/unroll-4.wvr.yml TIMEOUT 922.81 664.09 None weaver/unroll-5.wvr.yml TIMEOUT 906.40 769.73 None weaver/unroll-cond-2.wvr.yml OUT OF MEMORY 590.64 469.15 None weaver/unroll-cond-3.wvr.yml OUT OF MEMORY 568.59 413.41 None weaver/unroll-cond-4.wvr.yml OUT OF MEMORY 345.50 242.81 None weaver/unroll-cond-5.wvr.yml TIMEOUT 903.04 798.26 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 32.61 18.87 None pthread-deagle/arithmetic_prog_ok.yml true 34.76 20.18 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 224.53 166.01 None pthread-deagle/circular_buffer_ok.yml OUT OF MEMORY 490.08 402.12 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 388072.46 48876.12 - Automizer-PN.Before.SVCOMP-Concurrency-NoDataRace Run set 2 of 3 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-VariableLbe.epf --traceabstraction.order.of.the.error.locations.to.be.checked INSUFFICIENT_FIRST' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 90.57 78.47 None pthread/bigshot_s2.yml true 139.43 129.31 None pthread/lazy01.yml false(unreach-call) 23.61 12.96 None pthread/queue.yml OUT OF MEMORY 491.11 366.15 None pthread/queue_longer.yml OUT OF MEMORY 488.19 361.09 None pthread/queue_longest.yml OUT OF MEMORY 501.75 373.79 None pthread/queue_ok.yml OUT OF MEMORY 242.29 200.00 None pthread/queue_ok_longer.yml OUT OF MEMORY 261.52 215.15 None pthread/queue_ok_longest.yml OUT OF MEMORY 430.24 317.58 None pthread/singleton-b.yml OUT OF MEMORY 139.57 103.48 None pthread/singleton.yml false(unreach-call) 126.69 96.22 None pthread/singleton_with-uninit-problems-b.yml OUT OF MEMORY 177.98 127.75 None pthread/singleton_with-uninit-problems.yml true 146.78 115.11 None pthread/stack-1.yml OUT OF MEMORY 439.26 390.31 None pthread/stack-2.yml OUT OF MEMORY 198.11 155.18 None pthread/stack_longer-1.yml OUT OF MEMORY 261.76 208.30 None pthread/stack_longer-2.yml OUT OF MEMORY 679.10 594.54 None pthread/stack_longest-1.yml OUT OF MEMORY 238.00 186.30 None pthread/stack_longest-2.yml OUT OF MEMORY 269.59 211.68 None pthread/stateful01-1.yml false(unreach-call) 19.11 10.58 None pthread/stateful01-2.yml true 19.79 10.87 None pthread/sync01.yml true 20.16 11.40 None pthread/triangular-1.yml true 35.54 20.81 None pthread/triangular-2.yml false(unreach-call) 24.92 13.94 None pthread/triangular-longer-1.yml true 46.83 28.07 None pthread/triangular-longer-2.yml false(unreach-call) 52.01 30.72 None pthread/triangular-longest-1.yml true 459.28 413.68 None pthread/triangular-longest-2.yml false(unreach-call) 69.94 45.84 None pthread-atomic/dekker-b.yml false(unreach-call) 22.52 12.07 None pthread-atomic/dekker.yml true 20.26 10.98 None pthread-atomic/lamport-b.yml false(unreach-call) 28.70 15.90 None pthread-atomic/lamport.yml true 31.36 17.54 None pthread-atomic/peterson-b.yml false(unreach-call) 20.40 10.86 None pthread-atomic/peterson.yml true 18.79 10.03 None pthread-atomic/read_write_lock-1.yml true 43.26 25.99 None pthread-atomic/read_write_lock-1b.yml false(unreach-call) 101.84 69.98 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 33.28 18.88 None pthread-atomic/read_write_lock-2b.yml false(unreach-call) 139.23 96.96 None pthread-atomic/szymanski-b.yml false(unreach-call) 22.36 11.77 None pthread-atomic/szymanski.yml true 22.74 11.95 None pthread-atomic/time_var_mutex.yml true 20.03 10.97 None pthread-ext/01_inc.yml TIMEOUT 901.93 697.83 None pthread-ext/01b_inc.yml TIMEOUT 900.87 690.58 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 9.03 5.11 None pthread-ext/03_incdec.yml TIMEOUT 901.89 710.91 None pthread-ext/04_incdec_cas.yml TIMEOUT 900.51 884.23 None pthread-ext/09_fmaxsym.yml TIMEOUT 901.96 704.95 None pthread-ext/11_fmaxsymopt.yml TIMEOUT 901.42 815.86 None pthread-ext/14_spin2003.yml TIMEOUT 902.43 701.53 None pthread-ext/18_read_write_lock.yml true 14.17 7.73 None pthread-ext/26_stack_cas.yml TIMEOUT 901.36 793.59 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT (ERROR: EXCEPTION) 900.58 788.96 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT (ERROR: EXCEPTION) 900.52 792.82 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 900.30 782.17 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 901.16 803.45 None pthread-ext/28_buggy_simple_loop1_vf.yml TIMEOUT 901.46 710.78 None pthread-ext/29_conditionals_vs.yml TIMEOUT 901.29 826.44 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 709.59 550.97 None pthread-ext/35_double_lock_p3_vs.yml TIMEOUT 901.51 726.77 None pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 900.44 815.34 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 531.20 414.84 None pthread-ext/39_rand_lock_p0_vs-b.yml TIMEOUT (ERROR: EXCEPTION) 902.57 698.44 None pthread-ext/39_rand_lock_p0_vs.yml TIMEOUT (ERROR: EXCEPTION) 901.82 710.14 None pthread-ext/40_barrier_vf-b.yml OUT OF MEMORY 697.46 617.03 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 687.46 544.96 None pthread-ext/41_FreeBSD_abd_kbd_sliced.yml OUT OF MEMORY 882.86 676.62 None pthread-ext/45_monabsex1_vs-b.yml TIMEOUT 902.00 693.80 None pthread-ext/45_monabsex1_vs.yml TIMEOUT 900.84 676.86 None pthread-ext/46_monabsex2_vs-b.yml OUT OF MEMORY 746.10 583.20 None pthread-ext/46_monabsex2_vs.yml TIMEOUT 901.50 708.67 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml OUT OF MEMORY 716.86 568.51 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 410.60 351.08 None pthread-wmm/mix000.oepc.yml TIMEOUT 906.86 799.17 None pthread-wmm/mix000.opt.yml TIMEOUT (ERROR: EXCEPTION) 902.13 828.27 None pthread-wmm/mix001.oepc.yml TIMEOUT 902.17 808.08 None pthread-wmm/mix001.opt.yml TIMEOUT 901.44 790.50 None pthread-wmm/mix002.oepc.yml TIMEOUT 906.68 822.50 None pthread-wmm/mix002.opt.yml TIMEOUT 901.52 782.57 None pthread-wmm/mix003.oepc.yml TIMEOUT 901.59 862.09 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml TIMEOUT 905.00 828.77 None pthread-wmm/mix004.oepc.yml TIMEOUT 901.83 866.20 None pthread-wmm/mix004.opt.yml TIMEOUT 901.81 827.19 None pthread-wmm/mix005.opt.yml TIMEOUT 906.63 783.28 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.52 861.79 None pthread-wmm/mix005_tso.oepc.yml TIMEOUT 901.24 853.12 None pthread-wmm/mix006.opt.yml TIMEOUT 902.60 856.27 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 536.02 478.33 None pthread-wmm/mix006_tso.oepc.yml TIMEOUT 901.55 813.41 None pthread-wmm/mix007.oepc.yml TIMEOUT 902.26 863.96 None pthread-wmm/mix007.opt.yml TIMEOUT 906.46 785.93 None pthread-wmm/mix008.opt.yml TIMEOUT (ERROR: EXCEPTION) 904.13 763.36 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.64 855.93 None pthread-wmm/mix008_tso.oepc.yml TIMEOUT 902.01 737.70 None pthread-wmm/mix009.oepc.yml false(unreach-call) 329.81 283.25 None pthread-wmm/mix009.opt.yml TIMEOUT 901.17 847.47 None pthread-wmm/mix010.oepc.yml TIMEOUT 904.81 853.64 None pthread-wmm/mix010.opt.yml TIMEOUT 901.48 793.02 None pthread-wmm/mix011.opt.yml TIMEOUT 903.98 813.57 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 614.28 559.65 None pthread-wmm/mix011_tso.oepc.yml TIMEOUT 901.45 831.24 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml TIMEOUT 906.36 842.68 None pthread-wmm/mix012_pso.opt_tso.opt.yml TIMEOUT 902.30 801.52 None pthread-wmm/mix013.oepc.yml TIMEOUT 901.10 865.21 None pthread-wmm/mix013.opt.yml TIMEOUT 902.13 793.99 None pthread-wmm/mix014.opt.yml TIMEOUT 906.81 827.34 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.81 861.01 None pthread-wmm/mix014_tso.oepc.yml TIMEOUT 901.30 771.77 None pthread-wmm/mix015.oepc.yml TIMEOUT 903.03 825.07 None pthread-wmm/mix015.opt.yml TIMEOUT 901.63 818.28 None pthread-wmm/mix016.oepc.yml TIMEOUT 903.71 851.53 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 476.36 424.10 None pthread-wmm/mix016_pso.opt_tso.opt.yml TIMEOUT 906.33 855.81 None pthread-wmm/mix017.oepc.yml TIMEOUT 901.52 862.26 None pthread-wmm/mix017_power.opt_rmo.opt.yml TIMEOUT 906.93 784.83 None pthread-wmm/mix017_pso.opt_tso.opt.yml TIMEOUT 902.61 850.75 None pthread-wmm/mix018.opt.yml TIMEOUT 901.80 831.62 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 906.28 859.56 None pthread-wmm/mix018_tso.oepc.yml TIMEOUT 901.63 835.71 None pthread-wmm/mix019.opt.yml TIMEOUT 907.01 811.12 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 903.96 797.98 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 739.20 664.14 None pthread-wmm/mix020.oepc.yml TIMEOUT 906.30 846.53 None pthread-wmm/mix020.opt.yml TIMEOUT 901.77 827.91 None pthread-wmm/mix021.opt.yml TIMEOUT 906.44 833.05 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.31 858.93 None pthread-wmm/mix021_tso.oepc.yml TIMEOUT 901.34 853.84 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 904.70 821.38 None pthread-wmm/mix022_tso.yml TIMEOUT 901.67 833.47 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.65 858.23 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml TIMEOUT 903.37 829.67 None pthread-wmm/mix023_tso.yml TIMEOUT 901.58 825.42 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 666.72 609.40 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml TIMEOUT 903.39 807.93 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 902.09 829.76 None pthread-wmm/mix025_pso.opt_rmo.opt.yml TIMEOUT (ERROR: EXCEPTION) 901.39 848.37 None pthread-wmm/mix026.oepc.yml TIMEOUT 906.26 846.30 None pthread-wmm/mix026_power.opt_tso.opt.yml TIMEOUT 906.44 839.53 None pthread-wmm/mix026_pso.opt_rmo.opt.yml TIMEOUT 901.87 842.90 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.49 870.16 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml TIMEOUT 904.36 848.10 None pthread-wmm/mix027_tso.yml TIMEOUT 901.32 867.19 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 904.45 853.00 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.37 852.44 None pthread-wmm/mix028_tso.yml TIMEOUT 902.02 800.24 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 901.48 857.79 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.14 865.60 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.82 863.99 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.23 868.60 None pthread-wmm/mix030_tso.yml TIMEOUT (ERROR: EXCEPTION) 905.29 794.24 None pthread-wmm/mix031.oepc.yml TIMEOUT 900.96 828.50 None pthread-wmm/mix031.opt.yml TIMEOUT 903.06 849.12 None pthread-wmm/mix032.oepc.yml TIMEOUT 903.39 822.09 None pthread-wmm/mix032.opt.yml TIMEOUT 903.34 848.76 None pthread-wmm/mix033.opt.yml TIMEOUT 905.13 830.06 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 902.01 812.51 None pthread-wmm/mix033_tso.oepc.yml TIMEOUT 901.52 859.56 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml TIMEOUT (ERROR: EXCEPTION) 904.63 810.99 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 408.26 348.95 None pthread-wmm/mix035.oepc.yml false(unreach-call) 847.20 775.79 None pthread-wmm/mix035_power.opt_rmo.opt.yml TIMEOUT 903.20 850.03 None pthread-wmm/mix035_pso.opt_tso.opt.yml TIMEOUT 901.29 853.22 None pthread-wmm/mix036.oepc.yml TIMEOUT 901.69 866.46 None pthread-wmm/mix036_power.opt_rmo.opt.yml TIMEOUT 906.52 842.51 None pthread-wmm/mix036_pso.opt_tso.opt.yml TIMEOUT 901.27 857.75 None pthread-wmm/mix037.opt.yml TIMEOUT 903.09 859.60 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.49 866.37 None pthread-wmm/mix037_tso.oepc.yml TIMEOUT 901.56 855.53 None pthread-wmm/mix038.opt.yml TIMEOUT 905.43 853.02 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 440.91 386.62 None pthread-wmm/mix038_tso.oepc.yml TIMEOUT 901.81 848.42 None pthread-wmm/mix039.oepc.yml TIMEOUT 901.82 877.68 None pthread-wmm/mix039.opt.yml TIMEOUT 902.13 859.31 None pthread-wmm/mix040.opt.yml TIMEOUT 903.55 840.61 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.58 855.90 None pthread-wmm/mix040_tso.oepc.yml TIMEOUT 901.66 846.92 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 906.64 839.22 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 733.14 688.63 None pthread-wmm/mix042.oepc.yml false(unreach-call) 371.42 338.15 None pthread-wmm/mix042.opt.yml false(unreach-call) 655.08 579.38 None pthread-wmm/mix043.oepc.yml TIMEOUT 901.65 859.88 None pthread-wmm/mix043.opt.yml false(unreach-call) 853.43 813.08 None pthread-wmm/mix044.opt.yml TIMEOUT 901.47 854.93 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.59 857.94 None pthread-wmm/mix044_tso.oepc.yml TIMEOUT 901.40 848.10 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 904.28 854.69 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.43 855.22 None pthread-wmm/mix046.oepc.yml TIMEOUT 901.75 858.57 None pthread-wmm/mix046.opt.yml TIMEOUT 901.33 875.47 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 903.32 855.82 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.55 839.60 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) 202.71 161.74 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 TIMEOUT 902.67 858.06 None pthread-wmm/mix050.yml TIMEOUT 901.70 859.76 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml TIMEOUT 902.47 845.02 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml TIMEOUT 904.57 860.62 None pthread-wmm/mix051_tso.oepc.yml TIMEOUT 901.86 867.75 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml TIMEOUT 905.21 806.20 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml TIMEOUT 901.56 849.27 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 570.08 523.35 None pthread-wmm/mix053.opt.yml TIMEOUT 906.11 865.56 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 902.89 853.47 None pthread-wmm/mix053_tso.oepc.yml TIMEOUT 901.29 858.08 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 603.95 544.77 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.40 823.43 None pthread-wmm/mix055.opt.yml TIMEOUT 901.39 829.06 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 903.16 856.66 None pthread-wmm/mix055_tso.oepc.yml TIMEOUT 901.50 856.89 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.91 822.33 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.63 835.46 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 903.77 832.13 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.39 863.19 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.93 801.34 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml TIMEOUT 902.46 737.63 None pthread-wmm/rfi000_tso.yml TIMEOUT 901.99 803.92 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 904.14 817.12 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 561.62 506.06 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.81 827.31 None pthread-wmm/rfi002_tso.yml TIMEOUT 902.08 770.67 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 507.57 473.11 None pthread-wmm/rfi003_tso.yml TIMEOUT 903.59 782.34 None pthread-wmm/rfi004.yml TIMEOUT 902.03 790.28 None pthread-wmm/rfi005.yml TIMEOUT 901.62 787.60 None pthread-wmm/rfi006_power.oepc.yml TIMEOUT 901.29 792.38 None pthread-wmm/rfi006_power.opt.yml TIMEOUT 901.22 822.86 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml TIMEOUT 902.17 802.25 None pthread-wmm/rfi006_rmo.yml TIMEOUT 902.66 799.80 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 906.67 781.90 None pthread-wmm/rfi007_tso.yml TIMEOUT 901.64 830.29 None pthread-wmm/rfi008.oepc.yml TIMEOUT 907.19 797.74 None pthread-wmm/rfi008.opt.yml TIMEOUT (ERROR: EXCEPTION) 901.21 801.94 None pthread-wmm/rfi009_power.oepc.yml TIMEOUT 901.36 853.09 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.61 845.58 None pthread-wmm/rfi009_rmo.oepc.yml TIMEOUT 903.88 834.56 None pthread-wmm/rfi010.yml TIMEOUT 901.86 817.88 None pthread-wmm/safe000_power.oepc.yml TIMEOUT 901.67 822.74 None pthread-wmm/safe000_power.opt.yml TIMEOUT 901.71 842.06 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 19.30 10.80 None pthread-wmm/safe000_rmo.yml TIMEOUT 901.90 828.25 None pthread-wmm/safe001_power.oepc.yml TIMEOUT 901.45 822.59 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml TIMEOUT 901.37 847.93 None pthread-wmm/safe001_rmo.oepc.yml TIMEOUT 901.87 805.72 None pthread-wmm/safe001_tso.yml true 21.85 12.29 None pthread-wmm/safe002_power.oepc.yml TIMEOUT 901.89 821.60 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml TIMEOUT 905.72 856.99 None pthread-wmm/safe002_rmo.oepc.yml TIMEOUT 901.83 821.01 None pthread-wmm/safe002_tso.yml true 20.77 11.46 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.52 794.57 None pthread-wmm/safe003_power.opt.yml TIMEOUT (ERROR: EXCEPTION) 902.21 866.85 None pthread-wmm/safe003_tso.yml true 15.96 8.91 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 902.08 820.44 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.36 850.78 None pthread-wmm/safe004_tso.yml true 21.50 12.04 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.30 857.80 None pthread-wmm/safe005_tso.yml true 21.92 11.92 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml TIMEOUT 901.17 864.12 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml TIMEOUT 904.06 760.98 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.11 8.35 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml TIMEOUT 901.28 854.97 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml TIMEOUT 901.46 854.31 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml TIMEOUT 901.88 805.38 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 18.35 10.19 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml TIMEOUT 901.79 816.17 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 629.20 560.42 None pthread-wmm/safe008_power.opt.yml TIMEOUT 902.09 841.05 None pthread-wmm/safe008_tso.yml true 20.78 11.34 None pthread-wmm/safe009_power.oepc.yml TIMEOUT 901.38 777.09 None pthread-wmm/safe009_power.opt.yml TIMEOUT (ERROR: EXCEPTION) 902.84 819.32 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.12 8.87 None pthread-wmm/safe009_rmo.oepc.yml TIMEOUT 900.74 822.97 None pthread-wmm/safe009_rmo.opt.yml TIMEOUT 906.23 765.55 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 902.07 824.33 None pthread-wmm/safe010_tso.yml true 17.73 9.51 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml TIMEOUT 901.21 849.72 None pthread-wmm/safe011_power.opt_pso.opt.yml TIMEOUT 901.48 850.03 None pthread-wmm/safe011_tso.yml true 19.31 10.38 None pthread-wmm/safe012_power.oepc.yml TIMEOUT 901.60 838.13 None pthread-wmm/safe012_power.opt.yml TIMEOUT 901.98 801.24 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 834.50 793.99 None pthread-wmm/safe012_rmo.oepc.yml TIMEOUT 901.57 819.59 None pthread-wmm/safe012_tso.yml true 14.96 8.87 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.82 867.15 None pthread-wmm/safe013_tso.yml true 19.67 11.02 None pthread-wmm/safe014_power.oepc.yml TIMEOUT 901.86 783.28 None pthread-wmm/safe014_power.opt.yml TIMEOUT 902.47 786.46 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 21.08 11.51 None pthread-wmm/safe014_rmo.oepc.yml TIMEOUT (ERROR: EXCEPTION) 902.80 817.63 None pthread-wmm/safe014_rmo.opt.yml TIMEOUT (ERROR: EXCEPTION) 906.78 834.18 None pthread-wmm/safe015_power.oepc.yml TIMEOUT 901.99 801.45 None pthread-wmm/safe015_power.opt.yml TIMEOUT 901.71 819.34 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.11 9.16 None pthread-wmm/safe015_rmo.yml TIMEOUT 901.53 852.00 None pthread-wmm/safe016_power.oepc.yml TIMEOUT 901.29 694.67 None pthread-wmm/safe016_power.opt.yml TIMEOUT 901.34 786.28 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 26.43 14.57 None pthread-wmm/safe016_rmo.oepc.yml TIMEOUT 901.35 778.38 None pthread-wmm/safe016_rmo.opt.yml TIMEOUT 902.61 753.86 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.68 864.65 None pthread-wmm/safe017_tso.yml true 19.73 10.95 None pthread-wmm/safe018_power.oepc.yml TIMEOUT 902.25 782.97 None pthread-wmm/safe018_power.opt.yml TIMEOUT 901.15 788.58 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.89 8.35 None pthread-wmm/safe018_rmo.oepc.yml TIMEOUT 902.12 842.11 None pthread-wmm/safe018_rmo.opt.yml TIMEOUT 901.68 791.22 None pthread-wmm/safe019_power.oepc.yml TIMEOUT 901.58 839.27 None pthread-wmm/safe019_power.opt.yml TIMEOUT 900.98 688.17 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 25.38 13.92 None pthread-wmm/safe019_rmo.oepc.yml TIMEOUT 900.98 785.78 None pthread-wmm/safe019_rmo.opt.yml TIMEOUT 901.51 865.57 None pthread-wmm/safe020_power.yml TIMEOUT 900.95 791.17 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.59 7.95 None pthread-wmm/safe020_rmo.yml TIMEOUT 901.97 821.46 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml TIMEOUT 906.77 810.09 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 570.14 506.18 None pthread-wmm/safe021_tso.yml true 20.94 11.48 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 228.82 184.21 None pthread-wmm/safe022_tso.yml true 16.71 9.19 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.34 777.55 None pthread-wmm/safe023_tso.yml true 20.59 11.67 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 414.99 361.03 None pthread-wmm/safe024_tso.yml true 20.73 11.25 None pthread-wmm/safe025_power.yml TIMEOUT 906.79 764.38 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.88 10.34 None pthread-wmm/safe025_rmo.yml TIMEOUT 901.49 852.22 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 906.77 818.38 None pthread-wmm/safe026_tso.yml true 15.58 8.72 None pthread-wmm/safe027_power.oepc.yml OUT OF MEMORY 531.84 433.72 None pthread-wmm/safe027_power.opt.yml TIMEOUT 902.11 727.70 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 23.61 12.83 None pthread-wmm/safe027_rmo.yml TIMEOUT 902.26 786.61 None pthread-wmm/safe028_power.yml TIMEOUT 901.71 742.91 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.72 8.07 None pthread-wmm/safe028_rmo.yml TIMEOUT 901.44 850.33 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.61 839.30 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.66 865.98 None pthread-wmm/safe029_tso.yml true 15.54 8.56 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.49 833.31 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml TIMEOUT 906.99 794.53 None pthread-wmm/safe030_tso.yml true 19.25 10.85 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 904.35 853.50 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml TIMEOUT 902.04 808.16 None pthread-wmm/safe031_tso.yml true 15.05 8.73 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 902.01 807.82 None pthread-wmm/safe032_tso.yml true 20.48 11.47 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.37 848.18 None pthread-wmm/safe033_tso.yml true 15.34 8.31 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 906.69 834.45 None pthread-wmm/safe034_tso.yml true 15.27 9.23 None pthread-wmm/safe035_power.yml TIMEOUT 901.74 786.94 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 20.33 11.09 None pthread-wmm/safe036.yml true 16.02 8.75 None pthread-wmm/safe037.yml true 18.56 10.28 None pthread-wmm/thin002_power.oepc.yml TIMEOUT (ERROR: EXCEPTION) 902.90 787.65 None pthread-wmm/thin002_power.opt.yml TIMEOUT 901.35 857.86 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.69 12.70 None pthread-wmm/thin002_rmo.yml TIMEOUT 901.51 846.67 None pthread-lit/qw2004-2.yml false(unreach-call) 12.99 7.32 None pthread-lit/qw2004-2b.yml false(unreach-call) 12.22 6.97 None ldv-races/race-1_1-join.yml true 14.45 8.50 None ldv-races/race-1_2-join.yml false(unreach-call) 14.15 8.40 None ldv-races/race-1_2b-join.yml false(unreach-call) 14.41 8.38 None ldv-races/race-1_3-join.yml false(unreach-call) 15.05 8.53 None ldv-races/race-1_3b-join.yml false(unreach-call) 14.43 8.62 None ldv-races/race-2_1-container_of.yml false(unreach-call) 165.15 141.59 None ldv-races/race-2_2-container_of.yml false(unreach-call) 82.02 67.31 None ldv-races/race-2_2b-container_of.yml false(unreach-call) 125.23 99.65 None ldv-races/race-2_3-container_of.yml false(unreach-call) 83.91 73.22 None ldv-races/race-2_3b-container_of.yml false(unreach-call) 180.95 150.65 None ldv-races/race-2_4-container_of.yml false(unreach-call) 81.67 67.14 None ldv-races/race-2_4b-container_of.yml false(unreach-call) 204.69 174.45 None ldv-races/race-2_5-container_of.yml false(unreach-call) 96.41 80.00 None ldv-races/race-2_5b-container_of.yml false(unreach-call) 158.17 126.04 None ldv-races/race-3_1-container_of-global.yml false(unreach-call) 184.66 149.53 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 127.39 110.49 None ldv-races/race-3_2b-container_of-global.yml false(unreach-call) 150.13 124.58 None ldv-races/race-4_1-thread_local_vars.yml true 45.69 25.49 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 56.40 31.37 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 44.66 26.07 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 402.85 250.16 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 463.47 312.37 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT 920.99 618.01 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml OUT OF MEMORY 864.80 676.39 None pthread-complex/bounded_buffer.yml TIMEOUT (ERROR: EXCEPTION) 901.77 888.09 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 901.81 869.42 None pthread-complex/safestack_relacy.yml OUT OF MEMORY 474.39 373.93 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 900.80 873.41 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml TIMEOUT 902.90 841.12 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml TIMEOUT 901.60 805.20 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml OUT OF MEMORY 542.96 477.51 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 855.75 756.69 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT 902.41 821.59 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 733.66 669.14 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 901.76 798.26 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml TIMEOUT 900.51 822.29 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 521.08 494.39 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml TIMEOUT 900.56 820.80 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 506.66 460.26 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 901.72 843.91 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml TIMEOUT 912.47 754.27 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml TIMEOUT 903.13 801.90 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml TIMEOUT (ERROR: EXCEPTION) 901.26 820.45 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml TIMEOUT 901.28 801.07 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml TIMEOUT 901.76 806.50 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml OUT OF MEMORY 850.54 722.31 None pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 906.08 825.54 None pthread-C-DAC/pthread-demo-datarace-2.yml false(unreach-call) 11.58 6.47 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 40.18 26.11 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 5.73 3.12 None pthread-C-DAC/pthread-numerical-integration.yml unknown 5.84 3.22 None pthread-divine/ring_2w1r-1.yml OUT OF MEMORY 152.63 106.35 None pthread-divine/tls_basic.yml unknown 7.16 3.95 None pthread-divine/tls_destructor_worker.yml unknown 6.98 3.88 None goblint-regression/00-sanity_09-include.yml false(unreach-call) 13.21 7.11 None goblint-regression/02-base_24-malloc_races.yml false(unreach-call) 23.18 12.30 None goblint-regression/02-base_25-malloc_race_cp.yml false(unreach-call) 24.34 12.95 None goblint-regression/02-base_26-malloc_struct.yml false(unreach-call) 16.81 9.12 None goblint-regression/03-practical_07-nonterm.yml false(unreach-call) 14.35 7.73 None goblint-regression/03-practical_08-nonterm1.yml false(unreach-call) 11.21 6.43 None goblint-regression/03-practical_15-exit_problems.yml false(unreach-call) 13.65 7.60 None goblint-regression/04-mutex_01-simple_rc.yml false(unreach-call) 10.63 6.05 None goblint-regression/04-mutex_02-simple_nr.yml true 13.86 7.60 None goblint-regression/04-mutex_03-munge_rc.yml false(unreach-call) 11.02 6.41 None goblint-regression/04-mutex_04-munge_nr.yml true 14.10 7.72 None goblint-regression/04-mutex_05-lockfuns.yml true 10.50 5.89 None goblint-regression/04-mutex_06-ps_rc.yml false(unreach-call) 11.48 6.46 None goblint-regression/04-mutex_07-ps_nr.yml true 14.28 7.85 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(unreach-call) 14.61 8.04 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 141.33 98.04 None goblint-regression/04-mutex_11-ptr_rc.yml false(unreach-call) 14.43 8.10 None goblint-regression/04-mutex_12-ptr_nr.yml true 20.70 11.10 None goblint-regression/04-mutex_14-funarg_rc.yml false(unreach-call) 10.98 6.46 None goblint-regression/04-mutex_15-funarg_nr.yml true 10.87 6.18 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(unreach-call) 10.50 5.91 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 11.70 6.46 None goblint-regression/04-mutex_18-glob_guards.yml true 10.72 5.91 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(unreach-call) 11.53 6.70 None goblint-regression/04-mutex_20-stdfun_rc.yml false(unreach-call) 10.98 5.98 None goblint-regression/04-mutex_21-sound_base.yml false(unreach-call) 9.01 5.14 None goblint-regression/04-mutex_22-deref_read.yml true 11.83 6.52 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 7.62 4.04 None goblint-regression/04-mutex_24-sound_lock.yml false(unreach-call) 11.66 6.80 None goblint-regression/04-mutex_25-single_acc.yml false(unreach-call) 11.80 6.57 None goblint-regression/04-mutex_27-base_rc.yml false(unreach-call) 12.07 6.72 None goblint-regression/04-mutex_28-base_nr.yml true 15.31 8.41 None goblint-regression/04-mutex_35-trylock_rc.yml false(unreach-call) 34.77 19.96 None goblint-regression/04-mutex_36-trylock_nr.yml true 26.82 16.60 None goblint-regression/04-mutex_37-indirect_rc.yml false(unreach-call) 18.25 9.82 None goblint-regression/04-mutex_38-indexing_malloc.yml false(unreach-call) 15.57 8.32 None goblint-regression/04-mutex_41-pt_rwlock.yml true 15.14 8.17 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 17.11 9.81 None goblint-regression/04-mutex_43-thread_create_nr.yml true 10.19 5.92 None goblint-regression/04-mutex_44-malloc_sound.yml false(unreach-call) 17.94 10.56 None goblint-regression/04-mutex_45-escape_rc.yml false(unreach-call) 18.72 10.17 None goblint-regression/04-mutex_46-escape_nr.yml true 30.99 16.48 None goblint-regression/04-mutex_47-fun_write.yml false(unreach-call) 13.85 7.59 None goblint-regression/04-mutex_50-funptr_rc.yml false(unreach-call) 11.19 6.73 None goblint-regression/04-mutex_51-mutex_ptr.yml true 28.83 15.17 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 15.18 8.25 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml false(unreach-call) 11.04 6.25 None goblint-regression/05-lval_ls_01-idx_rc.yml false(unreach-call) 14.29 8.61 None goblint-regression/05-lval_ls_02-idx_nr.yml true 10.70 6.76 None goblint-regression/05-lval_ls_03-fld_rc.yml false(unreach-call) 13.65 7.50 None goblint-regression/05-lval_ls_04-fld_nr.yml true 13.68 7.43 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml false(unreach-call) 15.11 8.25 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml false(unreach-call) 11.61 6.57 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml false(unreach-call) 32.23 18.67 None goblint-regression/05-lval_ls_09-idxsense_rc.yml false(unreach-call) 19.29 10.51 None goblint-regression/05-lval_ls_11-fldsense_rc.yml false(unreach-call) 18.21 9.72 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 20.84 11.26 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml false(unreach-call) 14.45 8.21 None goblint-regression/05-lval_ls_14-idxunknown_access.yml false(unreach-call) 17.66 9.37 None goblint-regression/05-lval_ls_15-fldunknown_access.yml false(unreach-call) 17.14 9.23 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 5.40 2.99 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 901.72 749.91 None goblint-regression/06-symbeq_03-funloop_simple.yml TIMEOUT 905.94 794.76 None goblint-regression/06-symbeq_04-funloop_hard1.yml OUT OF MEMORY 860.80 725.26 None goblint-regression/06-symbeq_05-funloop_hard2.yml OUT OF MEMORY 839.75 703.13 None goblint-regression/06-symbeq_06-tricky_address1.yml TIMEOUT 901.09 835.50 None goblint-regression/06-symbeq_07-tricky_address2.yml true 222.10 167.16 None goblint-regression/06-symbeq_08-tricky_address3.yml TIMEOUT 902.25 843.35 None goblint-regression/06-symbeq_09-tricky_address4.yml false(unreach-call) 15.96 9.27 None goblint-regression/06-symbeq_10-equ_rc.yml false(unreach-call) 14.46 9.04 None goblint-regression/06-symbeq_11-equ_nr.yml true 26.95 15.89 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 40.01 23.11 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 18.90 10.51 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 17.15 9.96 None goblint-regression/09-regions_01-list_rc.yml TIMEOUT 900.96 829.71 None goblint-regression/09-regions_02-list_nr.yml TIMEOUT 902.06 805.99 None goblint-regression/09-regions_03-list2_rc.yml false(unreach-call) 517.86 469.19 None goblint-regression/09-regions_04-list2_nr.yml TIMEOUT 900.72 888.47 None goblint-regression/09-regions_05-ptra_rc.yml TIMEOUT 900.61 833.34 None goblint-regression/09-regions_06-ptra_nr.yml TIMEOUT 901.51 824.51 None goblint-regression/09-regions_16-arrayloop_rc.yml OUT OF MEMORY 301.76 241.54 None goblint-regression/09-regions_17-arrayloop_nr.yml OUT OF MEMORY 356.89 287.30 None goblint-regression/09-regions_18-nested_rc.yml TIMEOUT 901.19 862.88 None goblint-regression/09-regions_20-arrayloop2_rc.yml TIMEOUT 901.41 888.58 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 902.84 853.56 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT (ERROR: EXCEPTION) 901.68 889.40 None goblint-regression/09-regions_23-evilcollapse_rc.yml TIMEOUT 901.31 891.84 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 903.24 844.38 None goblint-regression/09-regions_26-alloc_region_rc.yml OUT OF MEMORY 432.58 355.68 None goblint-regression/09-regions_28-list2alloc.yml false(unreach-call) 116.97 105.22 None goblint-regression/10-synch_01-thread_unique.yml true 11.61 6.30 None goblint-regression/10-synch_02-thread_nonunique.yml OUT OF MEMORY 298.41 169.77 None goblint-regression/10-synch_03-two_unique.yml true 9.22 5.35 None goblint-regression/13-privatized_01-priv_nr_true.yml true 14.82 9.30 None goblint-regression/13-privatized_03-priv_inv.yml true 13.06 7.89 None goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 183.89 150.10 None goblint-regression/13-privatized_18-first-reads_true.yml true 16.19 8.74 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 15.02 8.23 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 14.35 8.03 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 15.07 8.19 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 15.18 8.27 None goblint-regression/13-privatized_19-publish-precision_true.yml true 15.29 8.81 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 14.19 7.93 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 16.29 8.82 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 16.31 8.77 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 14.96 8.16 None goblint-regression/13-privatized_20-publish-regression_true.yml true 17.60 9.78 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 26.00 14.01 None goblint-regression/13-privatized_25-struct_nr_true.yml true 19.32 10.41 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 49.24 30.25 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 20.77 11.42 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 17.17 9.59 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 16.92 9.19 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 19.07 10.52 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 17.45 9.47 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 18.01 9.89 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 16.25 8.70 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 14.50 8.10 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 15.60 8.50 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 15.78 8.62 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 16.18 8.68 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 11.29 6.63 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 15.61 8.61 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 17.24 9.54 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 15.85 8.74 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 11.88 6.93 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 13.63 7.45 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 14.35 7.85 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 16.53 9.24 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 10.41 6.20 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 13.45 7.39 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 10.92 6.00 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 19.81 11.18 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 14.24 8.91 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 19.89 11.25 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 80.35 46.18 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 20.33 11.39 None goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 554.74 371.31 None goblint-regression/28-race_reach_02-simple_racefree.yml OUT OF MEMORY 403.93 296.90 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 347.21 221.66 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 353.60 227.34 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml OUT OF MEMORY 549.69 371.27 None goblint-regression/28-race_reach_06-cond_racing1.yml OUT OF MEMORY 285.96 219.71 None goblint-regression/28-race_reach_07-cond_racing2.yml OUT OF MEMORY 434.37 310.54 None goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 573.07 383.05 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 423.99 275.13 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 446.09 325.33 None goblint-regression/28-race_reach_11-ptr_racing.yml OUT OF MEMORY 455.13 356.98 None goblint-regression/28-race_reach_12-ptr_racefree.yml OUT OF MEMORY 247.83 182.38 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 433.54 327.66 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 667.39 463.80 None goblint-regression/28-race_reach_21-deref_read_racing.yml OUT OF MEMORY 629.36 496.59 None goblint-regression/28-race_reach_22-deref_read_racefree.yml OUT OF MEMORY 826.93 658.27 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 7.61 4.31 None goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 477.44 343.85 None goblint-regression/28-race_reach_27-funptr_racing.yml OUT OF MEMORY 673.88 485.98 None goblint-regression/28-race_reach_28-funptr_racefree.yml OUT OF MEMORY 422.98 324.31 None goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 456.95 335.35 None goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 602.13 413.38 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 6.85 3.79 None goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 495.62 326.88 None goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 547.61 415.65 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 24.03 13.08 None goblint-regression/28-race_reach_46-escape_racefree.yml true 40.92 21.80 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 605.99 423.61 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 438.52 323.71 None goblint-regression/28-race_reach_61-invariant_racing.yml OUT OF MEMORY 548.95 381.33 None goblint-regression/28-race_reach_70-funloop_racefree.yml OUT OF MEMORY 287.68 169.15 None goblint-regression/28-race_reach_71-funloop_racing.yml OUT OF MEMORY 315.71 183.57 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml OUT OF MEMORY 325.22 188.15 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml OUT OF MEMORY 314.35 183.45 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 190.89 121.05 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml OUT OF MEMORY 186.11 123.18 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 445.40 268.39 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 248.88 151.24 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 611.86 464.44 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 729.73 526.87 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 438.18 311.22 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 472.23 334.43 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 817.82 582.31 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 794.37 574.60 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 843.40 609.73 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 901.74 889.57 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 901.73 889.75 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT (ERROR: EXCEPTION) 902.02 888.06 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT (ERROR: EXCEPTION) 901.67 890.19 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT (ERROR: EXCEPTION) 901.77 889.71 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT (ERROR: EXCEPTION) 901.72 887.68 None goblint-regression/28-race_reach_94-alloc_region_racing.yml TIMEOUT 901.11 817.02 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 10.39 5.95 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 9.50 5.29 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 12.65 6.94 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 10.93 6.33 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 102.15 76.65 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 22.94 13.98 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 8.64 4.96 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 8.88 5.24 None weaver/array-eq-symm.wvr.yml OUT OF MEMORY 228.52 180.51 None weaver/array-eq-trans.wvr.yml OUT OF MEMORY 468.02 391.16 None weaver/bench-exp1x3.wvr.yml TIMEOUT 901.69 881.22 None weaver/bench-exp2x3.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.98 848.01 None weaver/bench-exp2x4.wvr.yml TIMEOUT 901.81 876.28 None weaver/bench-exp2x6.wvr.yml TIMEOUT 901.37 868.91 None weaver/bench-exp2x9.wvr.yml TIMEOUT 901.87 867.17 None weaver/bench-exp3x3-opt.wvr.yml TIMEOUT 902.15 805.16 None weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 158.79 120.71 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 308.50 221.16 None weaver/chl-array-int-symm.wvr.yml OUT OF MEMORY 328.25 228.53 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 415.95 272.97 None weaver/chl-chromosome-opt-symm.wvr.yml TIMEOUT 901.90 633.24 None weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 692.29 607.08 None weaver/chl-chromosome-symm.wvr.yml TIMEOUT 902.80 839.28 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 768.39 506.95 None weaver/chl-collitem-subst.wvr.yml true 67.37 38.21 None weaver/chl-collitem-symm.wvr.yml true 37.92 21.42 None weaver/chl-collitem-trans.wvr.yml true 58.10 33.06 None weaver/chl-exp-term-subst.wvr.yml TIMEOUT 902.03 617.10 None weaver/chl-exp-term-symm.wvr.yml true 83.74 49.62 None weaver/chl-file-item-subst.wvr.yml true 150.67 103.01 None weaver/chl-file-item-symm.wvr.yml true 44.93 23.94 None weaver/chl-file-item-trans.wvr.yml true 149.53 103.86 None weaver/chl-match-subst.wvr.yml TIMEOUT 901.83 720.71 None weaver/chl-match-symm.wvr.yml OUT OF MEMORY 645.89 500.35 None weaver/chl-match-trans.wvr.yml OUT OF MEMORY 639.56 509.58 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 165.37 123.70 None weaver/chl-name-comparator-symm.wvr.yml TIMEOUT 901.78 744.16 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 229.62 174.55 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 381.79 252.41 None weaver/chl-node-symm.wvr.yml OUT OF MEMORY 364.10 268.77 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 378.85 244.92 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 196.53 127.61 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 237.49 181.06 None weaver/chl-nzb-file-trans.wvr.yml TIMEOUT 904.12 572.13 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.99 867.02 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 900.71 873.63 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT (ERROR: EXCEPTION) 902.07 866.59 None weaver/chl-simpl-str-subst.wvr.yml true 45.72 27.44 None weaver/chl-simpl-str-symm.wvr.yml true 21.38 13.10 None weaver/chl-simpl-str-trans.wvr.yml true 36.53 22.49 None weaver/chl-sre-subst.wvr.yml true 26.83 14.84 None weaver/chl-sre-symm.wvr.yml true 15.77 9.42 None weaver/chl-sre-trans.wvr.yml true 18.45 10.70 None weaver/chl-time-subst.wvr.yml true 31.69 17.87 None weaver/chl-time-symm.wvr.yml true 16.44 10.14 None weaver/chl-time-trans.wvr.yml true 24.81 14.56 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 173.73 117.51 None weaver/chl-word-symm.wvr.yml OUT OF MEMORY 187.63 132.66 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 191.63 129.07 None weaver/clever.wvr.yml TIMEOUT 902.10 793.42 None weaver/fibonacci.wvr.yml TIMEOUT 901.74 822.96 None weaver/loop-tiling-eq.wvr.yml OUT OF MEMORY 413.66 350.80 None weaver/mult-comm.wvr.yml TIMEOUT 901.33 836.74 None weaver/mult-dist.wvr.yml TIMEOUT 901.82 802.01 None weaver/mult-flipped-dist.wvr.yml OUT OF MEMORY 308.16 226.49 None weaver/parallel-bakery-2.wvr.yml true 27.59 15.52 None weaver/parallel-bakery-3.wvr.yml OUT OF MEMORY 572.15 430.74 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 642.17 429.33 None weaver/parallel-barrier-loop.wvr.yml OUT OF MEMORY 321.09 187.94 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 304.01 175.44 None weaver/parallel-bluetooth.wvr.yml true 19.46 11.47 None weaver/parallel-lamport.wvr.yml true 322.18 268.70 None weaver/parallel-min-max-1.wvr.yml true 72.82 41.89 None weaver/parallel-misc-1.wvr.yml OUT OF MEMORY 636.34 458.36 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 19.07 10.76 None weaver/parallel-misc-2-unrolled.wvr.yml true 23.86 13.32 None weaver/parallel-misc-2.wvr.yml TIMEOUT 900.99 859.46 None weaver/parallel-misc-3-extended.wvr.yml TIMEOUT 901.81 802.30 None weaver/parallel-misc-3.wvr.yml true 74.81 45.71 None weaver/parallel-misc-4.wvr.yml TIMEOUT 906.02 811.28 None weaver/parallel-misc-5.wvr.yml TIMEOUT 901.64 749.71 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 163.46 125.39 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 336.49 276.52 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 224.48 167.80 None weaver/parallel-parallel-sum-equiv.wvr.yml OUT OF MEMORY 311.14 239.16 None weaver/parallel-simple-equiv.wvr.yml true 15.61 9.17 None weaver/parallel-ticket-2.wvr.yml true 16.98 9.91 None weaver/parallel-ticket-3.wvr.yml true 23.61 13.19 None weaver/parallel-ticket-4.wvr.yml true 58.75 35.86 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 396.29 337.72 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 301.70 233.53 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 212.74 131.40 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 175.56 114.41 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 859.24 658.74 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 861.77 666.55 None weaver/popl20-bad-commit-1.wvr-bad.yml TIMEOUT 901.12 834.59 None weaver/popl20-bad-commit-2.wvr-bad.yml TIMEOUT 900.97 807.13 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 19.17 12.07 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 900.79 814.66 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 735.83 492.95 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 541.86 361.01 None weaver/popl20-bad-ring-nondet.wvr.yml true 102.29 67.39 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 900.95 830.73 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 901.10 829.57 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 306.53 209.47 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 921.20 710.28 None weaver/popl20-commit-1.wvr.yml ERROR: EXCEPTION 731.37 683.54 None weaver/popl20-commit-2.wvr.yml TIMEOUT 902.02 831.97 None weaver/popl20-counter-determinism.wvr.yml TIMEOUT 907.65 781.17 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 901.18 842.19 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 432.16 333.37 None weaver/popl20-figure1-alt.wvr.yml true 65.20 40.72 None weaver/popl20-figure1.wvr.yml TIMEOUT 902.81 822.71 None weaver/popl20-figure3.wvr.yml TIMEOUT 902.27 799.76 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 902.94 797.22 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 382.62 325.78 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 286.43 209.29 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 300.40 203.36 None weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 386.65 323.24 None weaver/popl20-more-array-sum-alt2.wvr.yml OUT OF MEMORY 867.29 740.77 None weaver/popl20-more-array-sum.wvr.yml OUT OF MEMORY 442.28 344.73 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 901.88 819.78 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 769.77 663.61 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 401.02 307.92 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 901.85 832.00 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 904.48 763.74 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 901.42 814.08 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 902.14 805.92 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.01 836.26 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.26 857.45 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT (ERROR: EXCEPTION) 902.07 854.90 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 901.19 842.49 None weaver/popl20-more-min-le-max.wvr.yml true 30.62 18.36 None weaver/popl20-more-mts.wvr.yml OUT OF MEMORY 303.26 199.62 None weaver/popl20-more-multiply-verify.wvr.yml OUT OF MEMORY 861.23 705.71 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 901.68 823.02 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 901.79 781.60 None weaver/popl20-more-queue-add-3-nl.wvr.yml OUT OF MEMORY 656.90 533.96 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 616.27 474.68 None weaver/popl20-more-sum-array-hom.wvr.yml OUT OF MEMORY 449.37 324.12 None weaver/popl20-more-vector-add.wvr.yml OUT OF MEMORY 372.29 228.08 None weaver/popl20-mult-4.wvr.yml OUT OF MEMORY 605.00 425.73 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 904.04 800.31 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 129.43 89.66 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.13 860.50 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 373.53 293.16 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 902.34 794.88 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT (ERROR: EXCEPTION) 902.12 843.42 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 905.91 849.81 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 900.68 789.38 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 902.88 807.33 None weaver/popl20-send-receive-alt.wvr.yml OUT OF MEMORY 401.47 291.77 None weaver/popl20-send-receive.wvr.yml OUT OF MEMORY 482.85 370.10 None weaver/popl20-simple-array-sum.wvr.yml TIMEOUT 902.71 854.06 None weaver/popl20-simple-queue.wvr.yml TIMEOUT 902.41 827.50 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 906.70 799.55 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 300.39 242.90 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 280.95 211.73 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 902.79 828.01 None weaver/popl20-two-queue.wvr.yml TIMEOUT 901.21 796.92 None weaver/security.wvr.yml true 21.12 11.41 None weaver/spaghetti.wvr.yml true 19.82 11.00 None weaver/test-context1.wvr.yml OUT OF MEMORY 750.97 661.62 None weaver/test-easy1.wvr.yml true 44.83 30.88 None weaver/test-easy10.wvr.yml OUT OF MEMORY 359.34 293.39 None weaver/test-easy11.wvr.yml true 28.10 17.93 None weaver/test-easy6.wvr.yml true 15.80 8.50 None weaver/test-easy7.wvr.yml true 12.53 7.04 None weaver/test-easy8.wvr.yml true 11.06 6.33 None weaver/test-hard1.wvr.yml OUT OF MEMORY 553.36 499.12 None weaver/test-semi1.wvr.yml true 12.23 7.27 None weaver/unroll-2.wvr.yml OUT OF MEMORY 322.25 215.93 None weaver/unroll-3.wvr.yml TIMEOUT 915.23 701.63 None weaver/unroll-4.wvr.yml OUT OF MEMORY 817.32 600.35 None weaver/unroll-5.wvr.yml TIMEOUT 901.88 792.91 None weaver/unroll-cond-2.wvr.yml OUT OF MEMORY 495.10 394.94 None weaver/unroll-cond-3.wvr.yml OUT OF MEMORY 418.92 322.31 None weaver/unroll-cond-4.wvr.yml OUT OF MEMORY 398.46 257.92 None weaver/unroll-cond-5.wvr.yml TIMEOUT 902.62 831.12 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 34.25 19.14 None pthread-deagle/arithmetic_prog_ok.yml true 35.45 19.96 None pthread-deagle/circular_buffer_bad.yml OUT OF MEMORY 172.22 126.09 None pthread-deagle/circular_buffer_ok.yml OUT OF MEMORY 359.65 272.86 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 2 done 401755.93 50781.40 - Automizer-PN.After.SVCOMP-Concurrency-NoDataRace Run set 3 of 3 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-VariableLbe.epf --traceabstraction.order.of.the.error.locations.to.be.checked PROGRAM_FIRST' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 74.12 61.89 None pthread/bigshot_s2.yml true 146.06 137.99 None pthread/lazy01.yml false(unreach-call) 22.30 12.40 None pthread/queue.yml OUT OF MEMORY 484.95 361.85 None pthread/queue_longer.yml OUT OF MEMORY 495.39 367.46 None pthread/queue_longest.yml OUT OF MEMORY 494.85 368.16 None pthread/queue_ok.yml OUT OF MEMORY 230.85 193.20 None pthread/queue_ok_longer.yml OUT OF MEMORY 255.36 211.38 None pthread/queue_ok_longest.yml OUT OF MEMORY 244.66 205.88 None pthread/singleton-b.yml OUT OF MEMORY 133.91 99.66 None pthread/singleton.yml false(unreach-call) 121.42 92.36 None pthread/singleton_with-uninit-problems-b.yml OUT OF MEMORY 754.09 609.45 None pthread/singleton_with-uninit-problems.yml true 135.10 106.63 None pthread/stack-1.yml OUT OF MEMORY 471.49 421.66 None pthread/stack-2.yml OUT OF MEMORY 210.25 167.35 None pthread/stack_longer-1.yml OUT OF MEMORY 210.41 174.15 None pthread/stack_longer-2.yml OUT OF MEMORY 603.26 531.80 None pthread/stack_longest-1.yml OUT OF MEMORY 232.09 184.14 None pthread/stack_longest-2.yml OUT OF MEMORY 259.94 205.76 None pthread/stateful01-1.yml false(unreach-call) 14.37 8.14 None pthread/stateful01-2.yml true 14.84 8.76 None pthread/sync01.yml true 15.97 9.54 None pthread/triangular-1.yml true 26.34 16.48 None pthread/triangular-2.yml false(unreach-call) 20.06 11.78 None pthread/triangular-longer-1.yml true 36.40 23.49 None pthread/triangular-longer-2.yml false(unreach-call) 41.23 27.01 None pthread/triangular-longest-1.yml true 494.46 446.18 None pthread/triangular-longest-2.yml false(unreach-call) 58.28 43.39 None pthread-atomic/dekker-b.yml false(unreach-call) 22.55 12.44 None pthread-atomic/dekker.yml true 19.90 10.89 None pthread-atomic/lamport-b.yml false(unreach-call) 30.80 16.42 None pthread-atomic/lamport.yml true 32.50 18.32 None pthread-atomic/peterson-b.yml false(unreach-call) 15.63 8.89 None pthread-atomic/peterson.yml true 18.16 9.85 None pthread-atomic/read_write_lock-1.yml true 42.80 25.73 None pthread-atomic/read_write_lock-1b.yml false(unreach-call) 88.33 65.42 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 36.33 20.32 None pthread-atomic/read_write_lock-2b.yml false(unreach-call) 140.66 98.80 None pthread-atomic/szymanski-b.yml false(unreach-call) 22.51 12.08 None pthread-atomic/szymanski.yml true 22.08 11.86 None pthread-atomic/time_var_mutex.yml true 19.83 10.91 None pthread-ext/01_inc.yml false(unreach-call) 25.91 14.52 None pthread-ext/01b_inc.yml TIMEOUT 902.58 782.92 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 9.63 5.28 None pthread-ext/03_incdec.yml TIMEOUT 901.56 570.26 None pthread-ext/04_incdec_cas.yml TIMEOUT 901.12 847.66 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 714.97 525.46 None pthread-ext/11_fmaxsymopt.yml TIMEOUT 907.51 748.40 None pthread-ext/14_spin2003.yml OUT OF MEMORY 785.53 528.60 None pthread-ext/18_read_write_lock.yml true 10.38 5.92 None pthread-ext/26_stack_cas.yml OUT OF MEMORY 403.28 338.73 None pthread-ext/26_stack_cas_longer-1.yml false(unreach-call) 25.76 14.41 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 905.41 705.77 None pthread-ext/26_stack_cas_longest-1.yml false(unreach-call) 24.87 14.55 None pthread-ext/26_stack_cas_longest-2.yml ERROR: EXCEPTION 147.25 106.45 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 9.57 5.51 None pthread-ext/29_conditionals_vs.yml OUT OF MEMORY 272.00 200.56 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 456.97 278.15 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 156.82 106.40 None pthread-ext/36_stack_cas_p0_vs_concur.yml ERROR: EXCEPTION 150.02 137.01 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 831.68 695.18 None pthread-ext/39_rand_lock_p0_vs-b.yml false(unreach-call) 16.66 9.51 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 312.59 187.40 None pthread-ext/40_barrier_vf-b.yml OUT OF MEMORY 132.48 96.75 None pthread-ext/40_barrier_vf.yml false(unreach-call) 83.25 49.73 None pthread-ext/41_FreeBSD_abd_kbd_sliced.yml false(unreach-call) 43.13 27.94 None pthread-ext/45_monabsex1_vs-b.yml false(unreach-call) 13.57 7.95 None pthread-ext/45_monabsex1_vs.yml TIMEOUT 905.25 684.55 None pthread-ext/46_monabsex2_vs-b.yml false(unreach-call) 22.07 12.12 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 205.65 133.92 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml false(unreach-call) 122.19 86.93 None pthread-ext/48_ticket_lock_low_contention_vs.yml TIMEOUT 901.52 687.91 None pthread-wmm/mix000.oepc.yml TIMEOUT 902.27 797.20 None pthread-wmm/mix000.opt.yml TIMEOUT (ERROR: EXCEPTION) 901.17 794.44 None pthread-wmm/mix001.oepc.yml TIMEOUT 902.19 836.59 None pthread-wmm/mix001.opt.yml TIMEOUT 901.32 792.63 None pthread-wmm/mix002.oepc.yml TIMEOUT 906.70 826.74 None pthread-wmm/mix002.opt.yml TIMEOUT 901.19 816.11 None pthread-wmm/mix003.oepc.yml TIMEOUT 901.91 851.61 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml TIMEOUT 904.71 830.86 None pthread-wmm/mix004.oepc.yml TIMEOUT 901.28 865.91 None pthread-wmm/mix004.opt.yml TIMEOUT 903.12 811.92 None pthread-wmm/mix005.opt.yml TIMEOUT (ERROR: EXCEPTION) 903.31 781.79 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.88 860.20 None pthread-wmm/mix005_tso.oepc.yml TIMEOUT 901.16 871.84 None pthread-wmm/mix006.opt.yml TIMEOUT 902.25 844.69 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 493.13 442.35 None pthread-wmm/mix006_tso.oepc.yml TIMEOUT 902.33 771.35 None pthread-wmm/mix007.oepc.yml TIMEOUT 901.95 873.78 None pthread-wmm/mix007.opt.yml TIMEOUT 906.50 785.37 None pthread-wmm/mix008.opt.yml TIMEOUT 906.54 773.77 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.37 854.32 None pthread-wmm/mix008_tso.oepc.yml TIMEOUT 902.60 795.61 None pthread-wmm/mix009.oepc.yml false(unreach-call) 379.11 320.01 None pthread-wmm/mix009.opt.yml TIMEOUT 901.61 829.19 None pthread-wmm/mix010.oepc.yml TIMEOUT 902.85 846.95 None pthread-wmm/mix010.opt.yml TIMEOUT 901.38 795.64 None pthread-wmm/mix011.opt.yml TIMEOUT 902.51 813.37 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 690.50 628.52 None pthread-wmm/mix011_tso.oepc.yml TIMEOUT 901.66 828.50 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml TIMEOUT 904.04 860.42 None pthread-wmm/mix012_pso.opt_tso.opt.yml TIMEOUT 902.39 775.08 None pthread-wmm/mix013.oepc.yml TIMEOUT 901.47 864.12 None pthread-wmm/mix013.opt.yml TIMEOUT 903.93 805.25 None pthread-wmm/mix014.opt.yml TIMEOUT (ERROR: EXCEPTION) 902.16 784.20 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 902.09 862.58 None pthread-wmm/mix014_tso.oepc.yml TIMEOUT 901.37 766.63 None pthread-wmm/mix015.oepc.yml TIMEOUT 902.52 851.15 None pthread-wmm/mix015.opt.yml TIMEOUT 901.37 794.99 None pthread-wmm/mix016.oepc.yml TIMEOUT 902.86 864.21 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 472.08 417.50 None pthread-wmm/mix016_pso.opt_tso.opt.yml TIMEOUT 903.68 827.66 None pthread-wmm/mix017.oepc.yml TIMEOUT 901.47 866.15 None pthread-wmm/mix017_power.opt_rmo.opt.yml TIMEOUT 907.13 784.91 None pthread-wmm/mix017_pso.opt_tso.opt.yml TIMEOUT 901.55 849.49 None pthread-wmm/mix018.opt.yml TIMEOUT 901.45 853.12 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 905.96 847.33 None pthread-wmm/mix018_tso.oepc.yml TIMEOUT 901.48 833.75 None pthread-wmm/mix019.opt.yml OUT OF MEMORY 718.26 616.41 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 906.85 799.25 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 743.27 667.12 None pthread-wmm/mix020.oepc.yml TIMEOUT 906.54 846.48 None pthread-wmm/mix020.opt.yml TIMEOUT 901.60 854.24 None pthread-wmm/mix021.opt.yml TIMEOUT 906.80 806.94 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.27 867.77 None pthread-wmm/mix021_tso.oepc.yml TIMEOUT 901.50 851.19 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 906.44 798.03 None pthread-wmm/mix022_tso.yml TIMEOUT 901.55 826.88 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.56 857.50 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml TIMEOUT 906.50 856.42 None pthread-wmm/mix023_tso.yml TIMEOUT 900.90 798.03 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 569.91 525.39 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml TIMEOUT 905.06 811.03 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 906.97 797.99 None pthread-wmm/mix025_pso.opt_rmo.opt.yml TIMEOUT 900.98 847.74 None pthread-wmm/mix026.oepc.yml TIMEOUT 902.45 859.49 None pthread-wmm/mix026_power.opt_tso.opt.yml TIMEOUT 906.63 840.86 None pthread-wmm/mix026_pso.opt_rmo.opt.yml TIMEOUT 904.46 850.15 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.22 870.47 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml TIMEOUT 905.26 850.41 None pthread-wmm/mix027_tso.yml TIMEOUT 901.56 849.78 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 903.68 851.37 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.43 863.29 None pthread-wmm/mix028_tso.yml TIMEOUT 902.29 802.38 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 901.51 858.16 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.35 876.35 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 902.23 860.50 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml TIMEOUT 900.92 841.85 None pthread-wmm/mix030_tso.yml TIMEOUT 903.03 786.82 None pthread-wmm/mix031.oepc.yml TIMEOUT 901.87 850.20 None pthread-wmm/mix031.opt.yml TIMEOUT 906.44 850.82 None pthread-wmm/mix032.oepc.yml TIMEOUT 904.34 826.62 None pthread-wmm/mix032.opt.yml TIMEOUT 906.47 854.38 None pthread-wmm/mix033.opt.yml TIMEOUT 906.65 835.14 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 902.04 808.81 None pthread-wmm/mix033_tso.oepc.yml TIMEOUT 901.64 833.52 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml TIMEOUT 906.68 838.20 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 418.30 355.82 None pthread-wmm/mix035.oepc.yml TIMEOUT (ERROR: EXCEPTION) 901.85 827.50 None pthread-wmm/mix035_power.opt_rmo.opt.yml TIMEOUT 903.30 869.37 None pthread-wmm/mix035_pso.opt_tso.opt.yml TIMEOUT 901.59 839.56 None pthread-wmm/mix036.oepc.yml TIMEOUT 901.62 865.28 None pthread-wmm/mix036_power.opt_rmo.opt.yml TIMEOUT 902.67 837.70 None pthread-wmm/mix036_pso.opt_tso.opt.yml TIMEOUT 901.83 837.43 None pthread-wmm/mix037.opt.yml TIMEOUT 901.90 868.95 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.32 862.05 None pthread-wmm/mix037_tso.oepc.yml TIMEOUT 901.20 871.68 None pthread-wmm/mix038.opt.yml TIMEOUT 903.58 828.59 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 382.27 332.59 None pthread-wmm/mix038_tso.oepc.yml TIMEOUT 901.63 847.69 None pthread-wmm/mix039.oepc.yml TIMEOUT 902.07 865.22 None pthread-wmm/mix039.opt.yml TIMEOUT 902.79 858.82 None pthread-wmm/mix040.opt.yml TIMEOUT 901.92 858.84 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.47 857.94 None pthread-wmm/mix040_tso.oepc.yml TIMEOUT 901.16 869.11 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.43 808.24 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 574.91 522.92 None pthread-wmm/mix042.oepc.yml false(unreach-call) 390.63 340.17 None pthread-wmm/mix042.opt.yml false(unreach-call) 635.58 560.39 None pthread-wmm/mix043.oepc.yml TIMEOUT 901.46 872.87 None pthread-wmm/mix043.opt.yml TIMEOUT 901.64 819.67 None pthread-wmm/mix044.opt.yml TIMEOUT 901.58 856.62 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.67 855.51 None pthread-wmm/mix044_tso.oepc.yml TIMEOUT 901.47 844.90 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 902.90 858.88 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.34 852.04 None pthread-wmm/mix046.oepc.yml TIMEOUT 901.47 855.54 None pthread-wmm/mix046.opt.yml TIMEOUT 901.36 865.99 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.60 856.46 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.45 838.45 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) 217.54 173.59 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 TIMEOUT 901.96 861.65 None pthread-wmm/mix050.yml TIMEOUT 901.75 856.69 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml TIMEOUT 902.86 845.15 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml TIMEOUT 902.60 854.04 None pthread-wmm/mix051_tso.oepc.yml TIMEOUT 901.41 848.35 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml TIMEOUT 901.77 804.52 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml TIMEOUT 906.50 852.64 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 561.34 525.93 None pthread-wmm/mix053.opt.yml TIMEOUT 903.14 862.53 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 903.06 858.28 None pthread-wmm/mix053_tso.oepc.yml TIMEOUT 901.26 869.31 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 658.80 596.05 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 900.87 822.13 None pthread-wmm/mix055.opt.yml TIMEOUT 901.70 834.78 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 903.56 858.34 None pthread-wmm/mix055_tso.oepc.yml TIMEOUT 901.32 854.89 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.82 821.14 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.60 838.83 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 904.91 833.35 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.42 863.67 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.93 804.45 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml TIMEOUT 902.30 739.69 None pthread-wmm/rfi000_tso.yml TIMEOUT 902.11 798.80 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 904.82 811.05 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 571.10 513.03 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.49 829.49 None pthread-wmm/rfi002_tso.yml TIMEOUT 902.42 774.52 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 479.54 428.67 None pthread-wmm/rfi003_tso.yml TIMEOUT 903.16 805.73 None pthread-wmm/rfi004.yml TIMEOUT 901.97 790.13 None pthread-wmm/rfi005.yml TIMEOUT 901.18 787.18 None pthread-wmm/rfi006_power.oepc.yml TIMEOUT 901.48 795.49 None pthread-wmm/rfi006_power.opt.yml TIMEOUT 900.83 786.90 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml TIMEOUT 901.85 803.68 None pthread-wmm/rfi006_rmo.yml TIMEOUT 902.95 802.50 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 906.18 823.71 None pthread-wmm/rfi007_tso.yml TIMEOUT 901.91 828.64 None pthread-wmm/rfi008.oepc.yml TIMEOUT 907.20 800.52 None pthread-wmm/rfi008.opt.yml TIMEOUT (ERROR: EXCEPTION) 902.02 800.41 None pthread-wmm/rfi009_power.oepc.yml TIMEOUT 901.74 831.34 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.71 847.91 None pthread-wmm/rfi009_rmo.oepc.yml TIMEOUT (ERROR: EXCEPTION) 902.86 828.70 None pthread-wmm/rfi010.yml TIMEOUT 901.53 842.36 None pthread-wmm/safe000_power.oepc.yml TIMEOUT 901.76 821.24 None pthread-wmm/safe000_power.opt.yml TIMEOUT 901.90 839.11 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 19.29 10.97 None pthread-wmm/safe000_rmo.yml TIMEOUT 901.92 822.20 None pthread-wmm/safe001_power.oepc.yml TIMEOUT 901.43 791.92 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml TIMEOUT 901.40 850.21 None pthread-wmm/safe001_rmo.oepc.yml TIMEOUT 902.28 810.54 None pthread-wmm/safe001_tso.yml true 15.78 9.88 None pthread-wmm/safe002_power.oepc.yml TIMEOUT 901.54 848.05 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml TIMEOUT 906.11 853.31 None pthread-wmm/safe002_rmo.oepc.yml TIMEOUT 901.66 825.80 None pthread-wmm/safe002_tso.yml true 21.55 11.50 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.07 793.16 None pthread-wmm/safe003_power.opt.yml TIMEOUT 902.31 842.38 None pthread-wmm/safe003_tso.yml true 15.63 9.20 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.85 821.85 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.32 849.15 None pthread-wmm/safe004_tso.yml true 16.31 10.30 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.59 872.16 None pthread-wmm/safe005_tso.yml true 21.58 11.80 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml TIMEOUT 901.30 866.78 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml TIMEOUT 907.04 760.48 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.08 8.33 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml TIMEOUT 901.49 855.85 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml TIMEOUT 901.41 837.14 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml TIMEOUT 903.96 809.57 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 18.42 9.97 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml TIMEOUT 901.85 818.15 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 564.87 531.22 None pthread-wmm/safe008_power.opt.yml TIMEOUT 902.15 839.40 None pthread-wmm/safe008_tso.yml true 21.11 11.55 None pthread-wmm/safe009_power.oepc.yml TIMEOUT 901.47 774.35 None pthread-wmm/safe009_power.opt.yml TIMEOUT 902.74 822.90 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.95 11.51 None pthread-wmm/safe009_rmo.oepc.yml TIMEOUT 901.72 788.97 None pthread-wmm/safe009_rmo.opt.yml TIMEOUT 906.93 814.93 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 902.17 820.80 None pthread-wmm/safe010_tso.yml true 17.25 9.48 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml TIMEOUT 901.34 850.76 None pthread-wmm/safe011_power.opt_pso.opt.yml TIMEOUT 901.58 850.65 None pthread-wmm/safe011_tso.yml true 19.27 10.53 None pthread-wmm/safe012_power.oepc.yml TIMEOUT 901.81 837.68 None pthread-wmm/safe012_power.opt.yml TIMEOUT 901.22 789.69 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 893.96 834.26 None pthread-wmm/safe012_rmo.oepc.yml TIMEOUT 901.30 853.52 None pthread-wmm/safe012_tso.yml true 15.31 8.50 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.95 865.78 None pthread-wmm/safe013_tso.yml true 19.22 10.73 None pthread-wmm/safe014_power.oepc.yml TIMEOUT 902.55 789.79 None pthread-wmm/safe014_power.opt.yml TIMEOUT 902.53 787.65 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 21.62 11.63 None pthread-wmm/safe014_rmo.oepc.yml TIMEOUT 901.81 815.66 None pthread-wmm/safe014_rmo.opt.yml TIMEOUT 901.53 827.33 None pthread-wmm/safe015_power.oepc.yml TIMEOUT 901.82 761.46 None pthread-wmm/safe015_power.opt.yml TIMEOUT 901.68 846.04 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.15 9.38 None pthread-wmm/safe015_rmo.yml TIMEOUT 901.82 848.42 None pthread-wmm/safe016_power.oepc.yml TIMEOUT 901.92 695.45 None pthread-wmm/safe016_power.opt.yml TIMEOUT 901.65 782.18 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 26.56 14.70 None pthread-wmm/safe016_rmo.oepc.yml TIMEOUT 902.04 780.54 None pthread-wmm/safe016_rmo.opt.yml TIMEOUT 902.46 749.69 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.49 835.83 None pthread-wmm/safe017_tso.yml true 15.63 9.30 None pthread-wmm/safe018_power.oepc.yml TIMEOUT 901.75 829.97 None pthread-wmm/safe018_power.opt.yml TIMEOUT 901.29 790.10 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.45 8.06 None pthread-wmm/safe018_rmo.oepc.yml TIMEOUT 901.63 841.92 None pthread-wmm/safe018_rmo.opt.yml TIMEOUT 901.91 786.95 None pthread-wmm/safe019_power.oepc.yml TIMEOUT 901.67 838.86 None pthread-wmm/safe019_power.opt.yml TIMEOUT 902.11 684.55 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 26.58 14.19 None pthread-wmm/safe019_rmo.oepc.yml TIMEOUT 901.83 787.67 None pthread-wmm/safe019_rmo.opt.yml TIMEOUT 901.82 841.41 None pthread-wmm/safe020_power.yml TIMEOUT 902.04 815.94 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.39 8.20 None pthread-wmm/safe020_rmo.yml TIMEOUT 901.86 820.35 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml TIMEOUT 906.90 809.12 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 590.65 526.93 None pthread-wmm/safe021_tso.yml true 20.95 11.42 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 259.03 211.84 None pthread-wmm/safe022_tso.yml true 16.57 9.05 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 902.27 779.78 None pthread-wmm/safe023_tso.yml true 21.23 11.81 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 432.87 378.23 None pthread-wmm/safe024_tso.yml true 19.79 11.00 None pthread-wmm/safe025_power.yml TIMEOUT (ERROR: EXCEPTION) 905.28 809.82 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.46 12.14 None pthread-wmm/safe025_rmo.yml TIMEOUT 901.64 831.35 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 906.95 817.36 None pthread-wmm/safe026_tso.yml true 15.39 8.76 None pthread-wmm/safe027_power.oepc.yml OUT OF MEMORY 362.78 285.43 None pthread-wmm/safe027_power.opt.yml TIMEOUT 902.12 727.43 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.49 12.75 None pthread-wmm/safe027_rmo.yml TIMEOUT 901.76 784.00 None pthread-wmm/safe028_power.yml TIMEOUT 901.77 739.75 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.54 8.23 None pthread-wmm/safe028_rmo.yml TIMEOUT 901.40 847.27 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.54 869.04 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.51 843.02 None pthread-wmm/safe029_tso.yml true 16.28 8.76 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.67 831.24 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.63 810.44 None pthread-wmm/safe030_tso.yml true 19.92 10.91 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 906.22 856.98 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.92 805.92 None pthread-wmm/safe031_tso.yml true 15.20 8.80 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 902.18 811.80 None pthread-wmm/safe032_tso.yml true 21.00 11.50 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.60 844.21 None pthread-wmm/safe033_tso.yml true 12.30 7.53 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 906.61 834.71 None pthread-wmm/safe034_tso.yml true 14.76 9.11 None pthread-wmm/safe035_power.yml TIMEOUT 901.54 780.85 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 20.16 11.39 None pthread-wmm/safe036.yml true 16.80 9.14 None pthread-wmm/safe037.yml true 18.58 10.42 None pthread-wmm/thin002_power.oepc.yml TIMEOUT (ERROR: EXCEPTION) 903.31 789.44 None pthread-wmm/thin002_power.opt.yml TIMEOUT 901.24 859.68 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 24.60 13.18 None pthread-wmm/thin002_rmo.yml TIMEOUT 901.49 844.08 None pthread-lit/qw2004-2.yml false(unreach-call) 13.55 7.64 None pthread-lit/qw2004-2b.yml false(unreach-call) 12.67 7.24 None ldv-races/race-1_1-join.yml true 14.84 8.67 None ldv-races/race-1_2-join.yml false(unreach-call) 15.18 8.95 None ldv-races/race-1_2b-join.yml false(unreach-call) 15.03 8.81 None ldv-races/race-1_3-join.yml false(unreach-call) 14.86 8.80 None ldv-races/race-1_3b-join.yml false(unreach-call) 14.87 8.77 None ldv-races/race-2_1-container_of.yml false(unreach-call) 166.80 143.22 None ldv-races/race-2_2-container_of.yml false(unreach-call) 73.85 63.63 None ldv-races/race-2_2b-container_of.yml false(unreach-call) 112.44 92.45 None ldv-races/race-2_3-container_of.yml false(unreach-call) 86.48 75.78 None ldv-races/race-2_3b-container_of.yml false(unreach-call) 184.02 152.62 None ldv-races/race-2_4-container_of.yml false(unreach-call) 86.09 68.92 None ldv-races/race-2_4b-container_of.yml false(unreach-call) 258.85 219.33 None ldv-races/race-2_5-container_of.yml false(unreach-call) 86.10 77.02 None ldv-races/race-2_5b-container_of.yml false(unreach-call) 161.98 128.19 None ldv-races/race-3_1-container_of-global.yml false(unreach-call) 193.86 156.84 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 120.73 107.60 None ldv-races/race-3_2b-container_of-global.yml false(unreach-call) 148.07 123.36 None ldv-races/race-4_1-thread_local_vars.yml true 47.73 26.66 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 61.24 32.93 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 45.61 26.59 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 382.90 237.23 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 655.09 421.88 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT 901.51 617.12 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 902.14 824.83 None pthread-complex/bounded_buffer.yml TIMEOUT 901.99 883.29 None pthread-complex/elimination_backoff_stack.yml TIMEOUT (ERROR: EXCEPTION) 902.06 879.31 None pthread-complex/safestack_relacy.yml TIMEOUT 902.61 835.61 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 901.06 875.87 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml TIMEOUT 902.88 817.18 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml TIMEOUT 901.39 803.46 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml OUT OF MEMORY 539.13 488.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 779.30 707.34 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT 902.26 821.09 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 797.59 709.58 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT (ERROR: EXCEPTION) 902.99 791.42 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml TIMEOUT 900.38 824.12 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 533.07 503.94 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml TIMEOUT 901.06 811.70 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 471.22 437.77 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 901.41 823.53 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml TIMEOUT 913.89 747.56 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml OUT OF MEMORY 864.82 803.75 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml TIMEOUT 901.53 824.14 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml TIMEOUT 901.77 799.95 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml TIMEOUT 901.51 826.61 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml OUT OF MEMORY 799.90 675.40 None pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 905.68 774.67 None pthread-C-DAC/pthread-demo-datarace-2.yml false(unreach-call) 15.56 8.38 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 49.24 30.75 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 7.51 4.09 None pthread-C-DAC/pthread-numerical-integration.yml unknown 7.43 4.06 None pthread-divine/ring_2w1r-1.yml OUT OF MEMORY 243.20 153.11 None pthread-divine/tls_basic.yml unknown 5.58 3.28 None pthread-divine/tls_destructor_worker.yml unknown 5.85 3.54 None goblint-regression/00-sanity_09-include.yml false(unreach-call) 10.55 6.11 None goblint-regression/02-base_24-malloc_races.yml false(unreach-call) 17.29 9.97 None goblint-regression/02-base_25-malloc_race_cp.yml false(unreach-call) 17.47 10.16 None goblint-regression/02-base_26-malloc_struct.yml false(unreach-call) 16.34 9.52 None goblint-regression/03-practical_07-nonterm.yml false(unreach-call) 11.26 6.61 None goblint-regression/03-practical_08-nonterm1.yml false(unreach-call) 11.89 6.92 None goblint-regression/03-practical_15-exit_problems.yml false(unreach-call) 13.80 7.67 None goblint-regression/04-mutex_01-simple_rc.yml false(unreach-call) 10.66 6.36 None goblint-regression/04-mutex_02-simple_nr.yml true 14.12 7.72 None goblint-regression/04-mutex_03-munge_rc.yml false(unreach-call) 11.27 6.75 None goblint-regression/04-mutex_04-munge_nr.yml true 14.02 7.52 None goblint-regression/04-mutex_05-lockfuns.yml true 10.42 6.06 None goblint-regression/04-mutex_06-ps_rc.yml false(unreach-call) 11.29 6.80 None goblint-regression/04-mutex_07-ps_nr.yml true 14.11 7.61 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(unreach-call) 19.39 10.36 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 107.47 83.71 None goblint-regression/04-mutex_11-ptr_rc.yml false(unreach-call) 18.76 10.12 None goblint-regression/04-mutex_12-ptr_nr.yml true 27.87 14.62 None goblint-regression/04-mutex_14-funarg_rc.yml false(unreach-call) 15.27 8.37 None goblint-regression/04-mutex_15-funarg_nr.yml true 14.67 8.02 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(unreach-call) 13.35 7.47 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 15.38 8.28 None goblint-regression/04-mutex_18-glob_guards.yml true 13.74 7.50 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(unreach-call) 14.76 8.11 None goblint-regression/04-mutex_20-stdfun_rc.yml false(unreach-call) 13.47 7.44 None goblint-regression/04-mutex_21-sound_base.yml false(unreach-call) 11.50 6.33 None goblint-regression/04-mutex_22-deref_read.yml true 15.09 8.13 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 7.51 4.07 None goblint-regression/04-mutex_24-sound_lock.yml false(unreach-call) 15.97 8.76 None goblint-regression/04-mutex_25-single_acc.yml false(unreach-call) 12.54 6.76 None goblint-regression/04-mutex_27-base_rc.yml false(unreach-call) 15.45 8.34 None goblint-regression/04-mutex_28-base_nr.yml true 15.48 8.53 None goblint-regression/04-mutex_35-trylock_rc.yml false(unreach-call) 33.95 19.72 None goblint-regression/04-mutex_36-trylock_nr.yml true 33.73 19.95 None goblint-regression/04-mutex_37-indirect_rc.yml false(unreach-call) 14.23 8.10 None goblint-regression/04-mutex_38-indexing_malloc.yml false(unreach-call) 11.63 7.06 None goblint-regression/04-mutex_41-pt_rwlock.yml true 15.01 8.20 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 17.41 9.56 None goblint-regression/04-mutex_43-thread_create_nr.yml true 9.74 5.84 None goblint-regression/04-mutex_44-malloc_sound.yml false(unreach-call) 17.20 10.18 None goblint-regression/04-mutex_45-escape_rc.yml false(unreach-call) 18.82 10.09 None goblint-regression/04-mutex_46-escape_nr.yml true 22.56 13.20 None goblint-regression/04-mutex_47-fun_write.yml false(unreach-call) 14.01 7.69 None goblint-regression/04-mutex_50-funptr_rc.yml false(unreach-call) 15.37 8.36 None goblint-regression/04-mutex_51-mutex_ptr.yml true 21.26 11.97 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 14.34 7.89 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml false(unreach-call) 14.51 7.90 None goblint-regression/05-lval_ls_01-idx_rc.yml false(unreach-call) 15.12 8.95 None goblint-regression/05-lval_ls_02-idx_nr.yml true 14.04 8.45 None goblint-regression/05-lval_ls_03-fld_rc.yml false(unreach-call) 10.27 6.16 None goblint-regression/05-lval_ls_04-fld_nr.yml true 13.53 7.36 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml false(unreach-call) 11.89 7.09 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml false(unreach-call) 15.22 8.21 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml false(unreach-call) 33.51 18.51 None goblint-regression/05-lval_ls_09-idxsense_rc.yml false(unreach-call) 18.82 10.43 None goblint-regression/05-lval_ls_11-fldsense_rc.yml false(unreach-call) 13.70 8.20 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 20.65 11.11 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml false(unreach-call) 19.38 10.67 None goblint-regression/05-lval_ls_14-idxunknown_access.yml false(unreach-call) 13.64 7.97 None goblint-regression/05-lval_ls_15-fldunknown_access.yml false(unreach-call) 17.06 9.16 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 7.23 3.96 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 901.58 829.19 None goblint-regression/06-symbeq_03-funloop_simple.yml OUT OF MEMORY 686.22 567.66 None goblint-regression/06-symbeq_04-funloop_hard1.yml OUT OF MEMORY 621.03 518.24 None goblint-regression/06-symbeq_05-funloop_hard2.yml TIMEOUT 903.77 793.46 None goblint-regression/06-symbeq_06-tricky_address1.yml TIMEOUT 902.15 849.90 None goblint-regression/06-symbeq_07-tricky_address2.yml true 251.27 188.93 None goblint-regression/06-symbeq_08-tricky_address3.yml TIMEOUT 901.35 844.57 None goblint-regression/06-symbeq_09-tricky_address4.yml false(unreach-call) 21.46 11.79 None goblint-regression/06-symbeq_10-equ_rc.yml false(unreach-call) 18.68 10.63 None goblint-regression/06-symbeq_11-equ_nr.yml true 36.15 19.48 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 54.16 28.92 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 24.05 12.96 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 22.25 11.90 None goblint-regression/09-regions_01-list_rc.yml TIMEOUT 901.69 798.25 None goblint-regression/09-regions_02-list_nr.yml TIMEOUT 903.23 805.60 None goblint-regression/09-regions_03-list2_rc.yml false(unreach-call) 522.84 472.97 None goblint-regression/09-regions_04-list2_nr.yml TIMEOUT 900.54 891.33 None goblint-regression/09-regions_05-ptra_rc.yml TIMEOUT 901.76 843.14 None goblint-regression/09-regions_06-ptra_nr.yml TIMEOUT 902.02 818.87 None goblint-regression/09-regions_16-arrayloop_rc.yml OUT OF MEMORY 304.17 242.96 None goblint-regression/09-regions_17-arrayloop_nr.yml OUT OF MEMORY 525.70 424.14 None goblint-regression/09-regions_18-nested_rc.yml TIMEOUT 900.79 840.14 None goblint-regression/09-regions_20-arrayloop2_rc.yml TIMEOUT 901.62 889.81 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 903.08 849.62 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT (ERROR: EXCEPTION) 901.69 889.65 None goblint-regression/09-regions_23-evilcollapse_rc.yml TIMEOUT (ERROR: EXCEPTION) 901.98 894.45 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 902.76 845.10 None goblint-regression/09-regions_26-alloc_region_rc.yml OUT OF MEMORY 681.03 586.45 None goblint-regression/09-regions_28-list2alloc.yml false(unreach-call) 117.72 105.96 None goblint-regression/10-synch_01-thread_unique.yml true 11.28 6.21 None goblint-regression/10-synch_02-thread_nonunique.yml false(unreach-call) 16.12 8.82 None goblint-regression/10-synch_03-two_unique.yml true 11.70 6.48 None goblint-regression/13-privatized_01-priv_nr_true.yml true 18.95 10.46 None goblint-regression/13-privatized_03-priv_inv.yml true 17.35 9.69 None goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 800.00 520.76 None goblint-regression/13-privatized_18-first-reads_true.yml true 15.64 8.57 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 14.29 8.02 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 14.30 7.93 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 14.61 8.17 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 14.45 8.01 None goblint-regression/13-privatized_19-publish-precision_true.yml true 15.93 8.86 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 14.14 7.91 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 16.30 8.85 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 15.49 8.51 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 14.65 8.16 None goblint-regression/13-privatized_20-publish-regression_true.yml true 17.87 9.77 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 27.45 14.57 None goblint-regression/13-privatized_25-struct_nr_true.yml true 19.56 10.49 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 48.47 29.96 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 20.66 11.33 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 17.12 9.80 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 12.84 7.06 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 14.48 8.40 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 16.94 9.28 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 18.20 10.04 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 11.95 6.96 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 15.57 8.42 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 15.62 8.50 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 11.94 6.68 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 15.58 8.61 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 10.75 6.18 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 15.42 8.42 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 16.14 8.95 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 12.36 6.96 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 15.68 8.51 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 10.22 5.66 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 14.03 7.55 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 15.56 8.80 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 10.19 5.66 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 12.55 6.97 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 8.18 4.61 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 19.44 11.06 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 18.48 10.30 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 15.58 9.06 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 78.76 45.60 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 15.33 8.68 None goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 368.54 229.19 None goblint-regression/28-race_reach_02-simple_racefree.yml OUT OF MEMORY 245.64 164.84 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 303.35 174.11 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 301.73 174.35 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml OUT OF MEMORY 355.41 223.52 None goblint-regression/28-race_reach_06-cond_racing1.yml OUT OF MEMORY 282.86 189.90 None goblint-regression/28-race_reach_07-cond_racing2.yml OUT OF MEMORY 651.52 431.39 None goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 380.39 236.41 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 223.12 143.19 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 318.45 187.49 None goblint-regression/28-race_reach_11-ptr_racing.yml OUT OF MEMORY 210.38 135.99 None goblint-regression/28-race_reach_12-ptr_racefree.yml OUT OF MEMORY 178.55 117.08 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 322.77 200.57 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 334.57 206.63 None goblint-regression/28-race_reach_21-deref_read_racing.yml OUT OF MEMORY 373.31 228.07 None goblint-regression/28-race_reach_22-deref_read_racefree.yml OUT OF MEMORY 326.89 211.47 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 5.73 3.15 None goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 347.42 252.50 None goblint-regression/28-race_reach_27-funptr_racing.yml OUT OF MEMORY 193.48 128.92 None goblint-regression/28-race_reach_28-funptr_racefree.yml OUT OF MEMORY 631.14 411.86 None goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 330.55 210.00 None goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 345.99 219.17 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 5.78 3.64 None goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 253.33 170.59 None goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 153.82 102.17 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 23.38 12.88 None goblint-regression/28-race_reach_46-escape_racefree.yml true 41.58 21.81 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 164.52 114.52 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 234.89 153.50 None goblint-regression/28-race_reach_61-invariant_racing.yml OUT OF MEMORY 307.72 178.71 None goblint-regression/28-race_reach_70-funloop_racefree.yml OUT OF MEMORY 875.30 811.05 None goblint-regression/28-race_reach_71-funloop_racing.yml TIMEOUT (ERROR: EXCEPTION) 901.95 854.16 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml TIMEOUT 902.04 860.01 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml TIMEOUT 901.96 857.80 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 477.73 419.98 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml OUT OF MEMORY 501.68 371.64 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 275.09 211.44 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 442.44 311.47 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 278.18 192.83 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 205.13 146.88 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 227.09 165.95 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 191.46 139.58 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 631.42 433.67 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 283.45 211.77 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 597.97 447.50 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 902.69 819.27 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 902.58 821.82 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 901.83 881.78 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 900.53 888.80 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 902.58 887.14 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 901.51 854.78 None goblint-regression/28-race_reach_94-alloc_region_racing.yml false(unreach-call) 73.57 59.51 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 10.77 6.24 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 9.18 5.12 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 11.99 6.76 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 10.60 6.12 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 100.91 74.85 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 23.05 12.91 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 8.17 4.66 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 8.39 4.74 None weaver/array-eq-symm.wvr.yml OUT OF MEMORY 270.09 210.25 None weaver/array-eq-trans.wvr.yml OUT OF MEMORY 561.15 439.09 None weaver/bench-exp1x3.wvr.yml TIMEOUT 900.92 887.74 None weaver/bench-exp2x3.wvr.yml TIMEOUT 902.38 821.54 None weaver/bench-exp2x4.wvr.yml TIMEOUT 900.82 863.93 None weaver/bench-exp2x6.wvr.yml TIMEOUT 901.14 864.69 None weaver/bench-exp2x9.wvr.yml TIMEOUT 901.76 879.98 None weaver/bench-exp3x3-opt.wvr.yml TIMEOUT 902.99 805.30 None weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 187.82 134.97 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 407.65 270.86 None weaver/chl-array-int-symm.wvr.yml OUT OF MEMORY 233.83 159.75 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 410.18 271.36 None weaver/chl-chromosome-opt-symm.wvr.yml TIMEOUT 900.88 667.78 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 902.89 780.93 None weaver/chl-chromosome-symm.wvr.yml TIMEOUT 902.17 807.52 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 746.06 500.93 None weaver/chl-collitem-subst.wvr.yml true 66.69 37.78 None weaver/chl-collitem-symm.wvr.yml true 27.12 17.49 None weaver/chl-collitem-trans.wvr.yml true 62.14 34.40 None weaver/chl-exp-term-subst.wvr.yml OUT OF MEMORY 354.54 264.19 None weaver/chl-exp-term-symm.wvr.yml true 78.29 46.80 None weaver/chl-file-item-subst.wvr.yml true 152.78 104.08 None weaver/chl-file-item-symm.wvr.yml true 43.43 23.42 None weaver/chl-file-item-trans.wvr.yml true 144.21 102.03 None weaver/chl-match-subst.wvr.yml OUT OF MEMORY 567.82 435.14 None weaver/chl-match-symm.wvr.yml OUT OF MEMORY 617.03 481.01 None weaver/chl-match-trans.wvr.yml TIMEOUT 901.83 778.63 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 579.50 425.30 None weaver/chl-name-comparator-symm.wvr.yml OUT OF MEMORY 378.44 311.92 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 736.85 509.05 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 355.07 236.21 None weaver/chl-node-symm.wvr.yml TIMEOUT 901.79 632.94 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 363.29 238.24 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 194.94 126.59 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 644.37 444.40 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 664.14 422.26 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 901.39 875.72 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 900.91 875.17 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 901.33 880.10 None weaver/chl-simpl-str-subst.wvr.yml true 61.99 34.21 None weaver/chl-simpl-str-symm.wvr.yml true 29.10 15.87 None weaver/chl-simpl-str-trans.wvr.yml true 51.64 28.93 None weaver/chl-sre-subst.wvr.yml true 36.91 19.65 None weaver/chl-sre-symm.wvr.yml true 20.95 11.59 None weaver/chl-sre-trans.wvr.yml true 23.13 12.58 None weaver/chl-time-subst.wvr.yml true 43.29 23.24 None weaver/chl-time-symm.wvr.yml true 23.23 12.50 None weaver/chl-time-trans.wvr.yml true 33.28 17.88 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 680.69 439.29 None weaver/chl-word-symm.wvr.yml OUT OF MEMORY 221.12 147.03 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 574.31 376.87 None weaver/clever.wvr.yml OUT OF MEMORY 730.63 617.04 None weaver/fibonacci.wvr.yml TIMEOUT 902.47 784.86 None weaver/loop-tiling-eq.wvr.yml OUT OF MEMORY 442.60 358.87 None weaver/mult-comm.wvr.yml TIMEOUT 901.29 833.75 None weaver/mult-dist.wvr.yml OUT OF MEMORY 537.18 462.37 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 903.21 603.90 None weaver/parallel-bakery-2.wvr.yml true 28.98 16.09 None weaver/parallel-bakery-3.wvr.yml TIMEOUT 901.81 695.91 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 235.74 170.20 None weaver/parallel-barrier-loop.wvr.yml OUT OF MEMORY 334.80 194.29 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 236.70 145.53 None weaver/parallel-bluetooth.wvr.yml true 27.44 14.70 None weaver/parallel-lamport.wvr.yml true 390.16 297.26 None weaver/parallel-min-max-1.wvr.yml true 75.27 43.25 None weaver/parallel-misc-1.wvr.yml OUT OF MEMORY 340.26 265.54 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 19.26 11.01 None weaver/parallel-misc-2-unrolled.wvr.yml true 18.13 11.32 None weaver/parallel-misc-2.wvr.yml TIMEOUT 901.91 862.64 None weaver/parallel-misc-3-extended.wvr.yml TIMEOUT 914.16 797.95 None weaver/parallel-misc-3.wvr.yml true 71.71 44.44 None weaver/parallel-misc-4.wvr.yml TIMEOUT 906.59 810.91 None weaver/parallel-misc-5.wvr.yml TIMEOUT 901.61 798.26 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 617.97 449.03 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 319.09 236.41 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 214.41 154.12 None weaver/parallel-parallel-sum-equiv.wvr.yml OUT OF MEMORY 332.81 255.60 None weaver/parallel-simple-equiv.wvr.yml true 19.71 11.27 None weaver/parallel-ticket-2.wvr.yml true 20.60 12.00 None weaver/parallel-ticket-3.wvr.yml true 32.03 17.32 None weaver/parallel-ticket-4.wvr.yml true 73.08 43.73 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 254.40 203.75 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 143.11 101.66 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 234.28 142.08 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 228.53 139.05 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 242.44 178.72 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 793.60 589.35 None weaver/popl20-bad-commit-1.wvr-bad.yml TIMEOUT 901.30 817.71 None weaver/popl20-bad-commit-2.wvr-bad.yml TIMEOUT 901.34 811.80 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 24.05 13.52 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 901.56 779.29 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 439.94 342.10 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 324.51 216.06 None weaver/popl20-bad-ring-nondet.wvr.yml true 82.06 56.67 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 900.79 833.96 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 770.30 693.82 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 180.93 132.72 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 922.87 709.79 None weaver/popl20-commit-1.wvr.yml ERROR: EXCEPTION 679.93 650.88 None weaver/popl20-commit-2.wvr.yml TIMEOUT 901.54 831.69 None weaver/popl20-counter-determinism.wvr.yml TIMEOUT 901.92 763.47 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 902.02 795.73 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 375.65 306.92 None weaver/popl20-figure1-alt.wvr.yml true 65.23 40.82 None weaver/popl20-figure1.wvr.yml TIMEOUT 902.23 817.30 None weaver/popl20-figure3.wvr.yml TIMEOUT 901.85 829.02 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 902.47 818.63 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 392.66 334.23 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 236.33 173.82 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 858.50 739.88 None weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 497.60 403.41 None weaver/popl20-more-array-sum-alt2.wvr.yml TIMEOUT 902.45 806.76 None weaver/popl20-more-array-sum.wvr.yml TIMEOUT 901.01 742.59 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 901.87 786.03 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 906.02 753.64 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 623.02 476.99 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 901.29 856.75 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 904.38 779.71 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 901.35 842.29 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 901.89 808.58 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.03 832.44 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.39 828.89 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 901.88 825.50 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 900.88 862.31 None weaver/popl20-more-min-le-max.wvr.yml true 32.03 18.88 None weaver/popl20-more-mts.wvr.yml OUT OF MEMORY 554.79 415.37 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 901.67 780.29 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 901.40 820.95 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 901.33 795.83 None weaver/popl20-more-queue-add-3-nl.wvr.yml OUT OF MEMORY 480.91 340.99 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 446.05 343.71 None weaver/popl20-more-sum-array-hom.wvr.yml OUT OF MEMORY 326.38 240.45 None weaver/popl20-more-vector-add.wvr.yml OUT OF MEMORY 269.53 180.55 None weaver/popl20-mult-4.wvr.yml OUT OF MEMORY 613.41 432.67 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 906.54 820.13 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 128.49 89.48 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.49 858.20 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 279.08 217.57 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 901.56 823.42 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 901.74 840.11 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 906.35 851.77 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 900.59 795.32 None weaver/popl20-queue-add-3.wvr.yml OUT OF MEMORY 352.07 272.13 None weaver/popl20-send-receive-alt.wvr.yml OUT OF MEMORY 444.45 319.63 None weaver/popl20-send-receive.wvr.yml OUT OF MEMORY 800.15 624.57 None weaver/popl20-simple-array-sum.wvr.yml TIMEOUT 902.88 841.59 None weaver/popl20-simple-queue.wvr.yml TIMEOUT 902.37 831.59 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 906.44 827.27 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 235.71 177.54 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 273.65 211.60 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 902.91 832.00 None weaver/popl20-two-queue.wvr.yml TIMEOUT 901.61 816.07 None weaver/security.wvr.yml true 21.83 11.74 None weaver/spaghetti.wvr.yml true 20.41 11.20 None weaver/test-context1.wvr.yml OUT OF MEMORY 762.38 676.85 None weaver/test-easy1.wvr.yml true 56.80 37.51 None weaver/test-easy10.wvr.yml OUT OF MEMORY 344.63 270.84 None weaver/test-easy11.wvr.yml true 38.88 22.26 None weaver/test-easy6.wvr.yml true 20.39 10.90 None weaver/test-easy7.wvr.yml true 17.36 9.51 None weaver/test-easy8.wvr.yml true 14.41 8.18 None weaver/test-hard1.wvr.yml OUT OF MEMORY 528.74 476.31 None weaver/test-semi1.wvr.yml true 15.86 8.70 None weaver/unroll-2.wvr.yml OUT OF MEMORY 388.73 243.16 None weaver/unroll-3.wvr.yml TIMEOUT 921.45 695.15 None weaver/unroll-4.wvr.yml OUT OF MEMORY 603.58 467.50 None weaver/unroll-5.wvr.yml OUT OF MEMORY 868.45 703.63 None weaver/unroll-cond-2.wvr.yml OUT OF MEMORY 510.80 388.28 None weaver/unroll-cond-3.wvr.yml OUT OF MEMORY 604.11 433.38 None weaver/unroll-cond-4.wvr.yml OUT OF MEMORY 382.29 246.56 None weaver/unroll-cond-5.wvr.yml TIMEOUT 902.72 835.86 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 24.89 14.49 None pthread-deagle/arithmetic_prog_ok.yml true 35.52 20.00 None pthread-deagle/circular_buffer_bad.yml OUT OF MEMORY 145.81 112.27 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 901.88 676.15 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 3 done 386214.75 48899.76 - Statistics: 2349 Files correct: 672 correct true: 491 correct false: 181 incorrect: 185 incorrect true: 0 incorrect false: 185 unknown: 1492 Score: -1797 (max: 4464)