BENCHMARK INFORMATION benchmark definition: concurrency.xml name: concurrency run sets: Automizer PN.RepeatedSemanticLbeWithPredicates date: Wed, 2021-04-28 14:39:35 CEST tool: ULTIMATE Automizer 0.2.1-6f4246e9 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: struebli os: Linux-5.8.12-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-glibc2.2.5 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz - turbo boost enabled: True ram: 135154.106368 MB ------------------------------------------------------------ Automizer PN.RepeatedSemanticLbeWithPredicates Run set 1 of 1 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-RepeatedSemanticLbeWithPredicates.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/pthread/bigshot_p.yml false(unreach-call) 28.71 17.01 None svcomp/pthread/bigshot_s.yml UNKNOWN: OverapproxCex 28.51 17.49 None svcomp/pthread/bigshot_s2.yml UNKNOWN: OverapproxCex 29.22 18.03 None svcomp/pthread/fib_bench-1.yml TIMEOUT 905.83 842.63 None svcomp/pthread/fib_bench-2.yml TIMEOUT 901.38 808.63 None svcomp/pthread/fib_bench_longer-1.yml TIMEOUT 906.04 817.43 None svcomp/pthread/fib_bench_longer-2.yml TIMEOUT 905.94 827.37 None svcomp/pthread/fib_bench_longest-1.yml TIMEOUT 922.28 590.33 None svcomp/pthread/fib_bench_longest-2.yml TIMEOUT 905.82 846.08 None svcomp/pthread/indexer.yml TIMEOUT 905.97 847.12 None svcomp/pthread/lazy01.yml false(unreach-call) 46.55 34.33 None svcomp/pthread/queue.yml TIMEOUT 901.40 833.30 None svcomp/pthread/queue_longer.yml TIMEOUT 901.08 841.60 None svcomp/pthread/queue_longest.yml TIMEOUT 900.72 834.26 None svcomp/pthread/queue_ok.yml TIMEOUT 900.97 867.97 None svcomp/pthread/queue_ok_longer.yml ERROR: EXCEPTION 768.61 721.68 None svcomp/pthread/queue_ok_longest.yml TIMEOUT 900.61 868.40 None svcomp/pthread/reorder_2.yml ERROR: EXCEPTION 9.39 5.13 None svcomp/pthread/reorder_5.yml ERROR: EXCEPTION 9.60 5.18 None svcomp/pthread/sigma.yml TIMEOUT 901.15 817.87 None svcomp/pthread/singleton.yml OUT OF MEMORY 597.24 435.36 None svcomp/pthread/singleton_with-uninit-problems.yml OUT OF MEMORY 840.60 669.28 None svcomp/pthread/stack-1.yml TIMEOUT 905.94 817.74 None svcomp/pthread/stack-2.yml false(unreach-call) 179.21 134.54 None svcomp/pthread/stack_longer-1.yml false(unreach-call) 137.66 99.29 None svcomp/pthread/stack_longer-2.yml TIMEOUT 906.30 815.87 None svcomp/pthread/stack_longest-1.yml false(unreach-call) 137.47 102.63 None svcomp/pthread/stack_longest-2.yml TIMEOUT 905.46 819.51 None svcomp/pthread/stateful01-1.yml false(unreach-call) 83.68 67.33 None svcomp/pthread/stateful01-2.yml true 75.67 58.91 None svcomp/pthread/sync01.yml true 107.23 88.25 None svcomp/pthread/triangular-1.yml true 195.65 148.47 None svcomp/pthread/triangular-2.yml false(unreach-call) 162.09 123.86 None svcomp/pthread/triangular-longer-1.yml TIMEOUT 901.49 776.22 None svcomp/pthread/triangular-longer-2.yml TIMEOUT 901.13 790.98 None svcomp/pthread/triangular-longest-1.yml TIMEOUT 901.05 771.56 None svcomp/pthread/triangular-longest-2.yml TIMEOUT 900.96 795.04 None svcomp/pthread/twostage_3.yml ERROR: EXCEPTION 9.20 4.98 None svcomp/pthread-atomic/dekker.yml true 34.42 22.58 None svcomp/pthread-atomic/gcd-2.yml TIMEOUT 906.46 802.00 None svcomp/pthread-atomic/lamport.yml true 49.03 29.34 None svcomp/pthread-atomic/peterson.yml true 27.88 16.90 None svcomp/pthread-atomic/qrcu-1.yml TIMEOUT 905.81 861.58 None svcomp/pthread-atomic/qrcu-2.yml false(unreach-call) 65.10 44.06 None svcomp/pthread-atomic/read_write_lock-1.yml true 88.71 59.29 None svcomp/pthread-atomic/read_write_lock-2.yml false(unreach-call) 117.68 78.52 None svcomp/pthread-atomic/scull.yml true 232.16 185.37 None svcomp/pthread-atomic/szymanski.yml true 25.54 14.62 None svcomp/pthread-atomic/time_var_mutex.yml true 72.14 56.85 None svcomp/pthread-ext/01_inc.yml TIMEOUT 920.39 659.21 None svcomp/pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 10.03 5.62 None svcomp/pthread-ext/03_incdec.yml TIMEOUT 915.97 599.52 None svcomp/pthread-ext/04_incdec_cas.yml TIMEOUT 903.37 729.54 None svcomp/pthread-ext/05_tas.yml OUT OF MEMORY 826.65 652.98 None svcomp/pthread-ext/06_ticket.yml OUT OF MEMORY 663.05 581.25 None svcomp/pthread-ext/07_rand.yml TIMEOUT 906.54 729.72 None svcomp/pthread-ext/08_rand_cas.yml OUT OF MEMORY 418.31 322.99 None svcomp/pthread-ext/09_fmaxsym.yml TIMEOUT 922.37 615.24 None svcomp/pthread-ext/10_fmaxsym_cas.yml OUT OF MEMORY 452.96 357.27 None svcomp/pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 795.26 552.73 None svcomp/pthread-ext/12_fmaxsymopt_cas.yml TIMEOUT 921.34 709.61 None svcomp/pthread-ext/13_unverif.yml TIMEOUT 920.85 645.15 None svcomp/pthread-ext/14_spin2003.yml TIMEOUT 922.35 598.94 None svcomp/pthread-ext/17_szymanski.yml true 27.59 16.47 None svcomp/pthread-ext/18_read_write_lock.yml true 23.88 14.47 None svcomp/pthread-ext/23_lu-fig2.fixed.yml true 27.11 15.96 None svcomp/pthread-ext/25_stack.yml TIMEOUT 920.98 709.18 None svcomp/pthread-ext/25_stack_longer-1.yml TIMEOUT 920.81 681.64 None svcomp/pthread-ext/25_stack_longer-2.yml TIMEOUT 921.18 702.53 None svcomp/pthread-ext/25_stack_longest-1.yml TIMEOUT 920.79 699.84 None svcomp/pthread-ext/25_stack_longest-2.yml TIMEOUT 916.02 678.23 None svcomp/pthread-ext/26_stack_cas.yml TIMEOUT 916.90 663.38 None svcomp/pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 921.13 648.35 None svcomp/pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 914.23 662.98 None svcomp/pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 905.85 647.33 None svcomp/pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 920.55 666.31 None svcomp/pthread-ext/27_Boop_simple_vf.yml false(unreach-call) 111.30 74.88 None svcomp/pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 31.72 19.29 None svcomp/pthread-ext/29_conditionals_vs.yml TIMEOUT 901.09 756.70 None svcomp/pthread-ext/30_Function_Pointer3_vs.yml TIMEOUT 902.76 699.64 None svcomp/pthread-ext/31_simple_loop5_vs.yml TIMEOUT 922.34 626.68 None svcomp/pthread-ext/32_pthread5_vs.yml false(unreach-call) 58.86 36.60 None svcomp/pthread-ext/33_double_lock_p1_vs.yml TIMEOUT 922.37 606.40 None svcomp/pthread-ext/34_double_lock_p2_vs.yml TIMEOUT 922.36 581.40 None svcomp/pthread-ext/35_double_lock_p3_vs.yml TIMEOUT 906.59 615.75 None svcomp/pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 921.23 631.53 None svcomp/pthread-ext/37_stack_lock_p0_vs_concur.yml TIMEOUT 912.79 558.80 None svcomp/pthread-ext/38_rand_cas_vs_concur.yml TIMEOUT 901.26 813.00 None svcomp/pthread-ext/39_rand_lock_p0_vs.yml TIMEOUT 904.95 630.66 None svcomp/pthread-ext/40_barrier_vf.yml TIMEOUT 904.20 716.25 None svcomp/pthread-ext/41_FreeBSD_abd_kbd_sliced.yml TIMEOUT 906.04 813.66 None svcomp/pthread-ext/42_FreeBSD_rdma_addr_sliced.yml TIMEOUT 905.94 834.31 None svcomp/pthread-ext/43_NetBSD_sysmon_power_sliced.yml ERROR: TYPE ERROR 9.14 5.05 None svcomp/pthread-ext/44_Solaris_space_map_sliced.yml TIMEOUT 900.62 798.74 None svcomp/pthread-ext/45_monabsex1_vs.yml TIMEOUT 902.97 675.58 None svcomp/pthread-ext/46_monabsex2_vs.yml TIMEOUT 922.37 604.23 None svcomp/pthread-ext/47_ticket_lock_hc_backoff_vs.yml OUT OF MEMORY 861.96 548.33 None svcomp/pthread-ext/48_ticket_lock_low_contention_vs.yml TIMEOUT 906.13 688.38 None svcomp/pthread-wmm/mix000_power.oepc.yml false(unreach-call) 104.79 78.22 None svcomp/pthread-wmm/mix000_power.opt.yml false(unreach-call) 73.25 50.50 None svcomp/pthread-wmm/mix000_pso.oepc.yml false(unreach-call) 57.09 38.05 None svcomp/pthread-wmm/mix000_pso.opt.yml false(unreach-call) 74.26 51.40 None svcomp/pthread-wmm/mix000_rmo.oepc.yml false(unreach-call) 60.11 39.79 None svcomp/pthread-wmm/mix000_rmo.opt.yml false(unreach-call) 70.63 48.40 None svcomp/pthread-wmm/mix000_tso.oepc.yml false(unreach-call) 69.89 47.61 None svcomp/pthread-wmm/mix000_tso.opt.yml false(unreach-call) 70.27 50.09 None svcomp/pthread-wmm/mix001_power.oepc.yml false(unreach-call) 126.79 88.18 None svcomp/pthread-wmm/mix001_power.opt.yml false(unreach-call) 154.01 115.59 None svcomp/pthread-wmm/mix001_pso.oepc.yml false(unreach-call) 121.54 84.98 None svcomp/pthread-wmm/mix001_pso.opt.yml false(unreach-call) 111.90 79.06 None svcomp/pthread-wmm/mix001_rmo.oepc.yml false(unreach-call) 108.01 72.72 None svcomp/pthread-wmm/mix001_rmo.opt.yml false(unreach-call) 139.37 100.08 None svcomp/pthread-wmm/mix001_tso.oepc.yml false(unreach-call) 100.75 72.14 None svcomp/pthread-wmm/mix001_tso.opt.yml false(unreach-call) 124.59 89.50 None svcomp/pthread-wmm/mix002_power.oepc.yml false(unreach-call) 112.56 79.70 None svcomp/pthread-wmm/mix002_power.opt.yml false(unreach-call) 124.73 92.70 None svcomp/pthread-wmm/mix002_pso.oepc.yml false(unreach-call) 90.84 63.94 None svcomp/pthread-wmm/mix002_pso.opt.yml false(unreach-call) 87.20 62.23 None svcomp/pthread-wmm/mix002_rmo.oepc.yml false(unreach-call) 81.87 56.58 None svcomp/pthread-wmm/mix002_rmo.opt.yml false(unreach-call) 119.43 84.52 None svcomp/pthread-wmm/mix002_tso.oepc.yml false(unreach-call) 82.42 56.21 None svcomp/pthread-wmm/mix002_tso.opt.yml false(unreach-call) 113.59 78.90 None svcomp/pthread-wmm/mix003_power.oepc.yml false(unreach-call) 95.80 65.56 None svcomp/pthread-wmm/mix003_power.opt.yml false(unreach-call) 76.99 53.19 None svcomp/pthread-wmm/mix003_pso.oepc.yml false(unreach-call) 110.54 76.52 None svcomp/pthread-wmm/mix003_pso.opt.yml false(unreach-call) 83.21 59.64 None svcomp/pthread-wmm/mix003_rmo.oepc.yml false(unreach-call) 99.86 71.05 None svcomp/pthread-wmm/mix003_rmo.opt.0.1.yml false(unreach-call) 83.11 57.63 None svcomp/pthread-wmm/mix003_rmo.opt.0.yml false(unreach-call) 86.28 61.99 None svcomp/pthread-wmm/mix003_rmo.opt.yml false(unreach-call) 86.25 61.22 None svcomp/pthread-wmm/mix003_tso.oepc.yml false(unreach-call) 103.19 72.61 None svcomp/pthread-wmm/mix003_tso.opt.yml false(unreach-call) 102.50 75.92 None svcomp/pthread-wmm/mix004_power.oepc.yml TIMEOUT 905.92 845.96 None svcomp/pthread-wmm/mix004_power.opt.yml TIMEOUT 905.95 858.79 None svcomp/pthread-wmm/mix004_pso.oepc.yml false(unreach-call) 163.73 123.74 None svcomp/pthread-wmm/mix004_pso.opt.yml TIMEOUT 905.72 859.33 None svcomp/pthread-wmm/mix004_rmo.oepc.yml TIMEOUT 905.94 842.72 None svcomp/pthread-wmm/mix004_rmo.opt.yml TIMEOUT 905.77 856.15 None svcomp/pthread-wmm/mix004_tso.oepc.yml false(unreach-call) 215.14 161.27 None svcomp/pthread-wmm/mix004_tso.opt.yml TIMEOUT 905.77 855.02 None svcomp/pthread-wmm/mix005_power.oepc.yml TIMEOUT 906.39 819.49 None svcomp/pthread-wmm/mix005_power.opt.yml OUT OF MEMORY 400.14 317.29 None svcomp/pthread-wmm/mix005_pso.oepc.yml TIMEOUT 902.54 812.34 None svcomp/pthread-wmm/mix005_pso.opt.yml OUT OF MEMORY 882.55 728.89 None svcomp/pthread-wmm/mix005_rmo.oepc.yml TIMEOUT 905.93 840.60 None svcomp/pthread-wmm/mix005_rmo.opt.yml TIMEOUT 906.08 803.33 None svcomp/pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 465.81 409.97 None svcomp/pthread-wmm/mix005_tso.opt.yml TIMEOUT 906.10 804.79 None svcomp/pthread-wmm/mix006_power.oepc.yml false(unreach-call) 107.58 74.98 None svcomp/pthread-wmm/mix006_power.opt.yml false(unreach-call) 83.20 57.15 None svcomp/pthread-wmm/mix006_pso.oepc.yml false(unreach-call) 107.19 73.90 None svcomp/pthread-wmm/mix006_pso.opt.yml false(unreach-call) 111.88 79.68 None svcomp/pthread-wmm/mix006_rmo.oepc.yml false(unreach-call) 106.16 74.03 None svcomp/pthread-wmm/mix006_rmo.opt.yml false(unreach-call) 145.87 111.70 None svcomp/pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 396.87 348.02 None svcomp/pthread-wmm/mix006_tso.opt.yml false(unreach-call) 115.28 81.38 None svcomp/pthread-wmm/mix007_power.oepc.yml OUT OF MEMORY 555.27 465.79 None svcomp/pthread-wmm/mix007_power.opt.yml TIMEOUT 905.85 852.78 None svcomp/pthread-wmm/mix007_pso.oepc.yml OUT OF MEMORY 653.56 550.71 None svcomp/pthread-wmm/mix007_pso.opt.yml TIMEOUT 900.91 846.92 None svcomp/pthread-wmm/mix007_rmo.oepc.yml OUT OF MEMORY 708.04 614.12 None svcomp/pthread-wmm/mix007_rmo.opt.yml TIMEOUT 905.83 846.80 None svcomp/pthread-wmm/mix007_tso.oepc.yml TIMEOUT 905.67 786.85 None svcomp/pthread-wmm/mix007_tso.opt.yml TIMEOUT 901.78 845.95 None svcomp/pthread-wmm/mix008_power.oepc.yml TIMEOUT 908.93 740.35 None svcomp/pthread-wmm/mix008_power.opt.yml OUT OF MEMORY 588.58 471.02 None svcomp/pthread-wmm/mix008_pso.oepc.yml OUT OF MEMORY 790.92 688.79 None svcomp/pthread-wmm/mix008_pso.opt.yml OUT OF MEMORY 789.72 647.73 None svcomp/pthread-wmm/mix008_rmo.oepc.yml TIMEOUT 901.25 741.14 None svcomp/pthread-wmm/mix008_rmo.opt.yml OUT OF MEMORY 440.99 361.75 None svcomp/pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 548.73 477.10 None svcomp/pthread-wmm/mix008_tso.opt.yml OUT OF MEMORY 416.75 341.50 None svcomp/pthread-wmm/mix009_power.oepc.yml false(unreach-call) 94.76 71.76 None svcomp/pthread-wmm/mix009_power.opt.yml false(unreach-call) 67.74 46.84 None svcomp/pthread-wmm/mix009_pso.oepc.yml false(unreach-call) 74.93 53.81 None svcomp/pthread-wmm/mix009_pso.opt.yml false(unreach-call) 70.36 50.56 None svcomp/pthread-wmm/mix009_rmo.oepc.yml false(unreach-call) 72.81 52.81 None svcomp/pthread-wmm/mix009_rmo.opt.yml false(unreach-call) 67.58 47.11 None svcomp/pthread-wmm/mix009_tso.oepc.yml false(unreach-call) 71.80 52.17 None svcomp/pthread-wmm/mix009_tso.opt.yml false(unreach-call) 86.31 63.70 None svcomp/pthread-wmm/mix010_power.oepc.yml false(unreach-call) 106.69 73.42 None svcomp/pthread-wmm/mix010_power.opt.yml false(unreach-call) 118.60 81.38 None svcomp/pthread-wmm/mix010_pso.oepc.yml false(unreach-call) 102.18 71.41 None svcomp/pthread-wmm/mix010_pso.opt.yml false(unreach-call) 125.93 84.99 None svcomp/pthread-wmm/mix010_rmo.oepc.yml false(unreach-call) 95.44 66.29 None svcomp/pthread-wmm/mix010_rmo.opt.yml false(unreach-call) 102.50 71.92 None svcomp/pthread-wmm/mix010_tso.oepc.yml false(unreach-call) 127.86 89.34 None svcomp/pthread-wmm/mix010_tso.opt.yml false(unreach-call) 100.05 65.41 None svcomp/pthread-wmm/mix011_power.oepc.yml false(unreach-call) 172.98 139.39 None svcomp/pthread-wmm/mix011_power.opt.yml false(unreach-call) 78.21 53.53 None svcomp/pthread-wmm/mix011_pso.oepc.yml false(unreach-call) 134.15 95.07 None svcomp/pthread-wmm/mix011_pso.opt.yml false(unreach-call) 122.77 85.29 None svcomp/pthread-wmm/mix011_rmo.oepc.yml false(unreach-call) 100.42 69.85 None svcomp/pthread-wmm/mix011_rmo.opt.yml false(unreach-call) 127.72 87.06 None svcomp/pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 180.99 147.11 None svcomp/pthread-wmm/mix011_tso.opt.yml false(unreach-call) 121.57 85.53 None svcomp/pthread-wmm/mix012_power.oepc.yml false(unreach-call) 76.52 56.27 None svcomp/pthread-wmm/mix012_power.opt.yml false(unreach-call) 65.96 46.62 None svcomp/pthread-wmm/mix012_pso.oepc.yml false(unreach-call) 79.15 58.21 None svcomp/pthread-wmm/mix012_pso.opt.yml false(unreach-call) 65.08 45.15 None svcomp/pthread-wmm/mix012_rmo.oepc.yml false(unreach-call) 76.38 55.46 None svcomp/pthread-wmm/mix012_rmo.opt.yml false(unreach-call) 80.32 58.04 None svcomp/pthread-wmm/mix012_tso.oepc.yml false(unreach-call) 110.81 87.24 None svcomp/pthread-wmm/mix012_tso.opt.yml false(unreach-call) 62.09 43.48 None svcomp/pthread-wmm/mix013_power.oepc.yml false(unreach-call) 173.88 133.99 None svcomp/pthread-wmm/mix013_power.opt.yml TIMEOUT 905.75 851.65 None svcomp/pthread-wmm/mix013_pso.oepc.yml false(unreach-call) 109.21 76.66 None svcomp/pthread-wmm/mix013_pso.opt.yml TIMEOUT 905.72 854.97 None svcomp/pthread-wmm/mix013_rmo.oepc.yml false(unreach-call) 164.29 122.66 None svcomp/pthread-wmm/mix013_rmo.opt.yml TIMEOUT 905.73 853.47 None svcomp/pthread-wmm/mix013_tso.oepc.yml TIMEOUT 905.76 857.15 None svcomp/pthread-wmm/mix013_tso.opt.yml TIMEOUT 905.77 853.64 None svcomp/pthread-wmm/mix014_power.oepc.yml false(unreach-call) 126.17 90.95 None svcomp/pthread-wmm/mix014_power.opt.yml TIMEOUT 905.83 851.38 None svcomp/pthread-wmm/mix014_pso.oepc.yml TIMEOUT 905.83 851.55 None svcomp/pthread-wmm/mix014_pso.opt.yml TIMEOUT 905.87 852.69 None svcomp/pthread-wmm/mix014_rmo.oepc.yml TIMEOUT 902.89 844.16 None svcomp/pthread-wmm/mix014_rmo.opt.yml false(unreach-call) 252.80 214.44 None svcomp/pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 607.48 533.39 None svcomp/pthread-wmm/mix014_tso.opt.yml TIMEOUT 905.89 850.94 None svcomp/pthread-wmm/mix015_power.oepc.yml false(unreach-call) 77.03 52.22 None svcomp/pthread-wmm/mix015_power.opt.yml false(unreach-call) 116.00 81.97 None svcomp/pthread-wmm/mix015_pso.oepc.yml false(unreach-call) 166.20 126.37 None svcomp/pthread-wmm/mix015_pso.opt.yml false(unreach-call) 134.96 99.41 None svcomp/pthread-wmm/mix015_rmo.oepc.yml false(unreach-call) 138.24 104.39 None svcomp/pthread-wmm/mix015_rmo.opt.yml false(unreach-call) 132.66 95.79 None svcomp/pthread-wmm/mix015_tso.oepc.yml false(unreach-call) 93.92 64.47 None svcomp/pthread-wmm/mix015_tso.opt.yml false(unreach-call) 151.49 114.77 None svcomp/pthread-wmm/mix016_power.oepc.yml false(unreach-call) 136.01 102.85 None svcomp/pthread-wmm/mix016_power.opt.yml false(unreach-call) 128.92 91.67 None svcomp/pthread-wmm/mix016_pso.oepc.yml false(unreach-call) 130.74 97.55 None svcomp/pthread-wmm/mix016_pso.opt.yml false(unreach-call) 90.83 64.11 None svcomp/pthread-wmm/mix016_rmo.oepc.yml false(unreach-call) 131.96 98.73 None svcomp/pthread-wmm/mix016_rmo.opt.yml false(unreach-call) 81.37 58.87 None svcomp/pthread-wmm/mix016_tso.oepc.yml false(unreach-call) 138.23 100.65 None svcomp/pthread-wmm/mix016_tso.opt.yml false(unreach-call) 106.77 78.52 None svcomp/pthread-wmm/mix017_power.oepc.yml false(unreach-call) 349.06 306.20 None svcomp/pthread-wmm/mix017_power.opt.yml TIMEOUT 905.77 857.95 None svcomp/pthread-wmm/mix017_pso.oepc.yml false(unreach-call) 426.62 381.34 None svcomp/pthread-wmm/mix017_pso.opt.yml false(unreach-call) 143.00 104.68 None svcomp/pthread-wmm/mix017_rmo.oepc.yml false(unreach-call) 620.71 545.90 None svcomp/pthread-wmm/mix017_rmo.opt.yml TIMEOUT 905.76 857.51 None svcomp/pthread-wmm/mix017_tso.oepc.yml false(unreach-call) 217.93 176.09 None svcomp/pthread-wmm/mix017_tso.opt.yml TIMEOUT 905.75 855.50 None svcomp/pthread-wmm/mix018_power.oepc.yml TIMEOUT 905.96 834.80 None svcomp/pthread-wmm/mix018_power.opt.yml TIMEOUT 905.99 842.87 None svcomp/pthread-wmm/mix018_pso.oepc.yml TIMEOUT 906.24 841.51 None svcomp/pthread-wmm/mix018_pso.opt.yml TIMEOUT 903.62 839.21 None svcomp/pthread-wmm/mix018_rmo.oepc.yml TIMEOUT 905.85 838.34 None svcomp/pthread-wmm/mix018_rmo.opt.yml TIMEOUT 906.00 839.10 None svcomp/pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 411.33 360.95 None svcomp/pthread-wmm/mix018_tso.opt.yml false(unreach-call) 447.02 400.40 None svcomp/pthread-wmm/mix019_power.oepc.yml false(unreach-call) 100.59 68.71 None svcomp/pthread-wmm/mix019_power.opt.yml false(unreach-call) 104.08 71.43 None svcomp/pthread-wmm/mix019_pso.oepc.yml false(unreach-call) 137.10 102.01 None svcomp/pthread-wmm/mix019_pso.opt.yml false(unreach-call) 100.62 67.50 None svcomp/pthread-wmm/mix019_rmo.oepc.yml false(unreach-call) 140.12 102.25 None svcomp/pthread-wmm/mix019_rmo.opt.yml false(unreach-call) 95.52 63.15 None svcomp/pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 145.47 109.75 None svcomp/pthread-wmm/mix019_tso.opt.yml false(unreach-call) 104.47 72.38 None svcomp/pthread-wmm/mix020_power.oepc.yml TIMEOUT 906.18 779.23 None svcomp/pthread-wmm/mix020_power.opt.yml TIMEOUT 906.01 840.82 None svcomp/pthread-wmm/mix020_pso.oepc.yml TIMEOUT 905.47 743.14 None svcomp/pthread-wmm/mix020_pso.opt.yml TIMEOUT 905.87 847.50 None svcomp/pthread-wmm/mix020_rmo.oepc.yml KILLED BY SIGNAL 9 893.28 733.56 None svcomp/pthread-wmm/mix020_rmo.opt.yml TIMEOUT 905.98 843.15 None svcomp/pthread-wmm/mix020_tso.oepc.yml false(unreach-call) 152.80 112.71 None svcomp/pthread-wmm/mix020_tso.opt.yml TIMEOUT 905.93 844.58 None svcomp/pthread-wmm/mix021_power.oepc.yml OUT OF MEMORY 569.01 479.10 None svcomp/pthread-wmm/mix021_power.opt.yml OUT OF MEMORY 344.33 269.96 None svcomp/pthread-wmm/mix021_pso.oepc.yml OUT OF MEMORY 606.64 514.48 None svcomp/pthread-wmm/mix021_pso.opt.yml TIMEOUT 906.13 785.24 None svcomp/pthread-wmm/mix021_rmo.oepc.yml OUT OF MEMORY 580.66 479.84 None svcomp/pthread-wmm/mix021_rmo.opt.yml TIMEOUT 906.13 797.28 None svcomp/pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 609.59 537.97 None svcomp/pthread-wmm/mix021_tso.opt.yml TIMEOUT 905.21 783.62 None svcomp/pthread-wmm/mix022_power.oepc.yml false(unreach-call) 58.17 39.82 None svcomp/pthread-wmm/mix022_power.opt.yml false(unreach-call) 57.05 38.87 None svcomp/pthread-wmm/mix022_pso.oepc.yml false(unreach-call) 57.53 39.33 None svcomp/pthread-wmm/mix022_pso.opt.yml false(unreach-call) 57.79 38.91 None svcomp/pthread-wmm/mix022_rmo.oepc.yml false(unreach-call) 56.23 38.15 None svcomp/pthread-wmm/mix022_rmo.opt.yml false(unreach-call) 58.58 39.62 None svcomp/pthread-wmm/mix022_tso.oepc.yml false(unreach-call) 177.69 149.04 None svcomp/pthread-wmm/mix022_tso.opt.yml false(unreach-call) 170.83 143.38 None svcomp/pthread-wmm/mix023_power.oepc.yml TIMEOUT 905.95 842.07 None svcomp/pthread-wmm/mix023_power.opt.yml TIMEOUT 905.45 760.23 None svcomp/pthread-wmm/mix023_pso.oepc.yml TIMEOUT 906.09 823.87 None svcomp/pthread-wmm/mix023_pso.opt.yml TIMEOUT 901.55 723.78 None svcomp/pthread-wmm/mix023_rmo.oepc.yml TIMEOUT 905.84 855.74 None svcomp/pthread-wmm/mix023_rmo.opt.yml TIMEOUT 903.83 726.82 None svcomp/pthread-wmm/mix023_tso.oepc.yml TIMEOUT 900.75 859.68 None svcomp/pthread-wmm/mix023_tso.opt.yml TIMEOUT 900.83 858.77 None svcomp/pthread-wmm/mix024_power.oepc.yml false(unreach-call) 114.89 79.48 None svcomp/pthread-wmm/mix024_power.opt.yml false(unreach-call) 277.69 225.77 None svcomp/pthread-wmm/mix024_pso.oepc.yml false(unreach-call) 111.85 77.11 None svcomp/pthread-wmm/mix024_pso.opt.yml false(unreach-call) 84.39 58.62 None svcomp/pthread-wmm/mix024_rmo.oepc.yml false(unreach-call) 103.56 73.86 None svcomp/pthread-wmm/mix024_rmo.opt.yml false(unreach-call) 189.97 154.18 None svcomp/pthread-wmm/mix024_tso.oepc.yml false(unreach-call) 144.80 100.58 None svcomp/pthread-wmm/mix024_tso.opt.yml false(unreach-call) 105.53 75.27 None svcomp/pthread-wmm/mix025_power.oepc.yml false(unreach-call) 88.66 58.75 None svcomp/pthread-wmm/mix025_power.opt.yml false(unreach-call) 122.14 78.52 None svcomp/pthread-wmm/mix025_pso.oepc.yml false(unreach-call) 118.97 85.46 None svcomp/pthread-wmm/mix025_pso.opt.yml false(unreach-call) 107.84 74.76 None svcomp/pthread-wmm/mix025_rmo.oepc.yml false(unreach-call) 134.95 86.96 None svcomp/pthread-wmm/mix025_rmo.opt.yml false(unreach-call) 113.08 76.09 None svcomp/pthread-wmm/mix025_tso.oepc.yml false(unreach-call) 197.11 149.99 None svcomp/pthread-wmm/mix025_tso.opt.yml false(unreach-call) 84.40 53.72 None svcomp/pthread-wmm/mix026_power.oepc.yml TIMEOUT 905.89 840.50 None svcomp/pthread-wmm/mix026_power.opt.yml TIMEOUT 902.81 699.37 None svcomp/pthread-wmm/mix026_pso.oepc.yml TIMEOUT 905.87 845.00 None svcomp/pthread-wmm/mix026_pso.opt.yml false(unreach-call) 102.09 70.01 None svcomp/pthread-wmm/mix026_rmo.oepc.yml OUT OF MEMORY 735.07 629.68 None svcomp/pthread-wmm/mix026_rmo.opt.yml false(unreach-call) 113.31 79.31 None svcomp/pthread-wmm/mix026_tso.oepc.yml TIMEOUT 905.74 857.94 None svcomp/pthread-wmm/mix026_tso.opt.yml TIMEOUT 906.27 705.41 None svcomp/pthread-wmm/mix027_power.oepc.yml TIMEOUT 906.23 823.11 None svcomp/pthread-wmm/mix027_power.opt.yml TIMEOUT 906.03 824.11 None svcomp/pthread-wmm/mix027_pso.oepc.yml OUT OF MEMORY 644.44 557.93 None svcomp/pthread-wmm/mix027_pso.opt.yml TIMEOUT 906.01 824.63 None svcomp/pthread-wmm/mix027_rmo.oepc.yml TIMEOUT 907.61 834.45 None svcomp/pthread-wmm/mix027_rmo.opt.yml TIMEOUT 906.03 825.38 None svcomp/pthread-wmm/mix027_tso.oepc.yml false(unreach-call) 395.68 350.97 None svcomp/pthread-wmm/mix027_tso.opt.yml false(unreach-call) 552.44 498.94 None svcomp/pthread-wmm/mix028_power.oepc.yml false(unreach-call) 92.84 62.23 None svcomp/pthread-wmm/mix028_power.opt.yml false(unreach-call) 151.32 116.44 None svcomp/pthread-wmm/mix028_pso.oepc.yml false(unreach-call) 110.70 76.68 None svcomp/pthread-wmm/mix028_pso.opt.yml false(unreach-call) 148.45 118.02 None svcomp/pthread-wmm/mix028_rmo.oepc.yml false(unreach-call) 94.66 62.23 None svcomp/pthread-wmm/mix028_rmo.opt.yml false(unreach-call) 157.87 122.87 None svcomp/pthread-wmm/mix028_tso.oepc.yml false(unreach-call) 130.38 102.35 None svcomp/pthread-wmm/mix028_tso.opt.yml false(unreach-call) 151.33 120.93 None svcomp/pthread-wmm/mix029_power.oepc.yml OUT OF MEMORY 427.44 360.00 None svcomp/pthread-wmm/mix029_power.opt.yml TIMEOUT 905.82 851.38 None svcomp/pthread-wmm/mix029_pso.oepc.yml false(unreach-call) 671.70 594.64 None svcomp/pthread-wmm/mix029_pso.opt.yml TIMEOUT 905.86 844.52 None svcomp/pthread-wmm/mix029_rmo.oepc.yml false(unreach-call) 719.61 647.51 None svcomp/pthread-wmm/mix029_rmo.opt.yml TIMEOUT 905.82 848.81 None svcomp/pthread-wmm/mix029_tso.oepc.yml false(unreach-call) 718.70 644.51 None svcomp/pthread-wmm/mix029_tso.opt.yml false(unreach-call) 675.10 610.47 None svcomp/pthread-wmm/mix030_power.oepc.yml OUT OF MEMORY 649.00 517.07 None svcomp/pthread-wmm/mix030_power.opt.yml TIMEOUT 906.03 835.33 None svcomp/pthread-wmm/mix030_pso.oepc.yml TIMEOUT 906.08 699.88 None svcomp/pthread-wmm/mix030_pso.opt.yml TIMEOUT 906.14 827.76 None svcomp/pthread-wmm/mix030_rmo.oepc.yml TIMEOUT 906.02 733.04 None svcomp/pthread-wmm/mix030_rmo.opt.yml TIMEOUT 906.01 825.02 None svcomp/pthread-wmm/mix030_tso.oepc.yml TIMEOUT 906.05 819.29 None svcomp/pthread-wmm/mix030_tso.opt.yml false(unreach-call) 252.41 203.66 None svcomp/pthread-wmm/mix031_power.oepc.yml false(unreach-call) 72.87 53.00 None svcomp/pthread-wmm/mix031_power.opt.yml false(unreach-call) 69.41 47.24 None svcomp/pthread-wmm/mix031_pso.oepc.yml false(unreach-call) 67.06 46.61 None svcomp/pthread-wmm/mix031_pso.opt.yml false(unreach-call) 77.09 54.21 None svcomp/pthread-wmm/mix031_rmo.oepc.yml false(unreach-call) 71.29 51.61 None svcomp/pthread-wmm/mix031_rmo.opt.yml false(unreach-call) 68.35 47.36 None svcomp/pthread-wmm/mix031_tso.oepc.yml false(unreach-call) 82.74 60.25 None svcomp/pthread-wmm/mix031_tso.opt.yml false(unreach-call) 67.93 47.04 None svcomp/pthread-wmm/mix032_power.oepc.yml false(unreach-call) 76.91 55.17 None svcomp/pthread-wmm/mix032_power.opt.yml false(unreach-call) 109.48 74.87 None svcomp/pthread-wmm/mix032_pso.oepc.yml false(unreach-call) 157.59 119.31 None svcomp/pthread-wmm/mix032_pso.opt.yml false(unreach-call) 123.37 88.56 None svcomp/pthread-wmm/mix032_rmo.oepc.yml false(unreach-call) 110.39 75.63 None svcomp/pthread-wmm/mix032_rmo.opt.yml false(unreach-call) 115.13 81.11 None svcomp/pthread-wmm/mix032_tso.oepc.yml false(unreach-call) 102.99 70.81 None svcomp/pthread-wmm/mix032_tso.opt.yml false(unreach-call) 124.25 91.81 None svcomp/pthread-wmm/mix033_power.oepc.yml false(unreach-call) 127.87 92.53 None svcomp/pthread-wmm/mix033_power.opt.yml false(unreach-call) 105.13 72.62 None svcomp/pthread-wmm/mix033_pso.oepc.yml false(unreach-call) 120.78 82.22 None svcomp/pthread-wmm/mix033_pso.opt.yml false(unreach-call) 114.78 82.84 None svcomp/pthread-wmm/mix033_rmo.oepc.yml false(unreach-call) 110.82 78.97 None svcomp/pthread-wmm/mix033_rmo.opt.yml false(unreach-call) 119.38 84.21 None svcomp/pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 182.53 148.41 None svcomp/pthread-wmm/mix033_tso.opt.yml false(unreach-call) 104.25 72.76 None svcomp/pthread-wmm/mix034_power.oepc.yml false(unreach-call) 78.98 57.20 None svcomp/pthread-wmm/mix034_power.opt.yml false(unreach-call) 79.87 58.61 None svcomp/pthread-wmm/mix034_pso.oepc.yml false(unreach-call) 76.63 56.22 None svcomp/pthread-wmm/mix034_pso.opt.yml false(unreach-call) 64.89 45.60 None svcomp/pthread-wmm/mix034_rmo.oepc.yml false(unreach-call) 69.21 48.47 None svcomp/pthread-wmm/mix034_rmo.opt.yml false(unreach-call) 79.40 57.69 None svcomp/pthread-wmm/mix034_tso.oepc.yml false(unreach-call) 86.50 64.21 None svcomp/pthread-wmm/mix034_tso.opt.yml false(unreach-call) 63.64 45.01 None svcomp/pthread-wmm/mix035_power.oepc.yml false(unreach-call) 91.54 65.28 None svcomp/pthread-wmm/mix035_power.opt.yml false(unreach-call) 106.82 71.17 None svcomp/pthread-wmm/mix035_pso.oepc.yml false(unreach-call) 86.63 62.91 None svcomp/pthread-wmm/mix035_pso.opt.yml false(unreach-call) 73.34 50.35 None svcomp/pthread-wmm/mix035_rmo.oepc.yml false(unreach-call) 78.58 54.13 None svcomp/pthread-wmm/mix035_rmo.opt.yml false(unreach-call) 105.88 72.91 None svcomp/pthread-wmm/mix035_tso.oepc.yml false(unreach-call) 89.17 64.74 None svcomp/pthread-wmm/mix035_tso.opt.yml false(unreach-call) 100.67 72.31 None svcomp/pthread-wmm/mix036_power.oepc.yml TIMEOUT 906.26 846.02 None svcomp/pthread-wmm/mix036_power.opt.yml false(unreach-call) 120.45 83.59 None svcomp/pthread-wmm/mix036_pso.oepc.yml false(unreach-call) 563.33 513.00 None svcomp/pthread-wmm/mix036_pso.opt.yml false(unreach-call) 245.42 201.61 None svcomp/pthread-wmm/mix036_rmo.oepc.yml false(unreach-call) 200.75 164.07 None svcomp/pthread-wmm/mix036_rmo.opt.yml false(unreach-call) 175.45 137.46 None svcomp/pthread-wmm/mix036_tso.oepc.yml TIMEOUT 906.03 849.11 None svcomp/pthread-wmm/mix036_tso.opt.yml false(unreach-call) 184.07 145.42 None svcomp/pthread-wmm/mix037_power.oepc.yml TIMEOUT 905.96 836.10 None svcomp/pthread-wmm/mix037_power.opt.yml TIMEOUT 906.07 842.69 None svcomp/pthread-wmm/mix037_pso.oepc.yml TIMEOUT 905.99 843.76 None svcomp/pthread-wmm/mix037_pso.opt.yml false(unreach-call) 183.69 146.88 None svcomp/pthread-wmm/mix037_rmo.oepc.yml TIMEOUT 905.89 845.18 None svcomp/pthread-wmm/mix037_rmo.opt.yml TIMEOUT 906.03 838.70 None svcomp/pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 368.50 316.41 None svcomp/pthread-wmm/mix037_tso.opt.yml TIMEOUT 901.20 843.04 None svcomp/pthread-wmm/mix038_power.oepc.yml false(unreach-call) 83.94 57.97 None svcomp/pthread-wmm/mix038_power.opt.yml false(unreach-call) 88.54 60.33 None svcomp/pthread-wmm/mix038_pso.oepc.yml false(unreach-call) 82.79 57.86 None svcomp/pthread-wmm/mix038_pso.opt.yml false(unreach-call) 102.57 67.43 None svcomp/pthread-wmm/mix038_rmo.oepc.yml false(unreach-call) 100.00 69.62 None svcomp/pthread-wmm/mix038_rmo.opt.yml false(unreach-call) 97.17 66.41 None svcomp/pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 171.22 140.04 None svcomp/pthread-wmm/mix038_tso.opt.yml false(unreach-call) 98.69 66.23 None svcomp/pthread-wmm/mix039_power.oepc.yml TIMEOUT 906.06 844.44 None svcomp/pthread-wmm/mix039_power.opt.yml TIMEOUT 905.03 846.55 None svcomp/pthread-wmm/mix039_pso.oepc.yml TIMEOUT 906.32 766.15 None svcomp/pthread-wmm/mix039_pso.opt.yml false(unreach-call) 114.71 80.76 None svcomp/pthread-wmm/mix039_rmo.oepc.yml OUT OF MEMORY 703.33 603.52 None svcomp/pthread-wmm/mix039_rmo.opt.yml TIMEOUT 905.85 844.36 None svcomp/pthread-wmm/mix039_tso.oepc.yml TIMEOUT 906.03 807.94 None svcomp/pthread-wmm/mix039_tso.opt.yml false(unreach-call) 119.27 81.82 None svcomp/pthread-wmm/mix040_power.oepc.yml TIMEOUT 906.02 832.02 None svcomp/pthread-wmm/mix040_power.opt.yml false(unreach-call) 220.22 177.20 None svcomp/pthread-wmm/mix040_pso.oepc.yml OUT OF MEMORY 685.95 548.86 None svcomp/pthread-wmm/mix040_pso.opt.yml TIMEOUT 906.02 805.39 None svcomp/pthread-wmm/mix040_rmo.oepc.yml TIMEOUT 906.08 752.07 None svcomp/pthread-wmm/mix040_rmo.opt.yml KILLED BY SIGNAL 9 626.88 549.15 None svcomp/pthread-wmm/mix040_tso.oepc.yml OUT OF MEMORY 870.90 732.00 None svcomp/pthread-wmm/mix040_tso.opt.yml OUT OF MEMORY 633.84 551.70 None svcomp/pthread-wmm/mix041_power.oepc.yml false(unreach-call) 67.48 46.42 None svcomp/pthread-wmm/mix041_power.opt.yml false(unreach-call) 151.86 125.97 None svcomp/pthread-wmm/mix041_pso.oepc.yml false(unreach-call) 69.06 48.92 None svcomp/pthread-wmm/mix041_pso.opt.yml false(unreach-call) 231.43 201.30 None svcomp/pthread-wmm/mix041_rmo.oepc.yml false(unreach-call) 77.28 55.81 None svcomp/pthread-wmm/mix041_rmo.opt.yml false(unreach-call) 171.71 144.85 None svcomp/pthread-wmm/mix041_tso.oepc.yml false(unreach-call) 168.00 140.45 None svcomp/pthread-wmm/mix041_tso.opt.yml false(unreach-call) 188.55 160.55 None svcomp/pthread-wmm/mix042_power.oepc.yml false(unreach-call) 95.82 66.75 None svcomp/pthread-wmm/mix042_power.opt.yml false(unreach-call) 129.97 102.99 None svcomp/pthread-wmm/mix042_pso.oepc.yml false(unreach-call) 261.27 217.07 None svcomp/pthread-wmm/mix042_pso.opt.yml false(unreach-call) 127.61 99.56 None svcomp/pthread-wmm/mix042_rmo.oepc.yml false(unreach-call) 87.48 61.80 None svcomp/pthread-wmm/mix042_rmo.opt.yml false(unreach-call) 149.33 118.89 None svcomp/pthread-wmm/mix042_tso.oepc.yml false(unreach-call) 73.94 51.51 None svcomp/pthread-wmm/mix042_tso.opt.yml false(unreach-call) 145.57 114.94 None svcomp/pthread-wmm/mix043_power.oepc.yml TIMEOUT 905.91 837.87 None svcomp/pthread-wmm/mix043_power.opt.yml false(unreach-call) 232.52 187.56 None svcomp/pthread-wmm/mix043_pso.oepc.yml OUT OF MEMORY 701.82 607.33 None svcomp/pthread-wmm/mix043_pso.opt.yml false(unreach-call) 270.28 223.22 None svcomp/pthread-wmm/mix043_rmo.oepc.yml TIMEOUT 905.90 836.62 None svcomp/pthread-wmm/mix043_rmo.opt.yml false(unreach-call) 254.34 203.19 None svcomp/pthread-wmm/mix043_tso.oepc.yml TIMEOUT 906.21 804.51 None svcomp/pthread-wmm/mix043_tso.opt.yml false(unreach-call) 217.82 171.83 None svcomp/pthread-wmm/mix044_power.oepc.yml TIMEOUT 906.00 826.68 None svcomp/pthread-wmm/mix044_power.opt.yml TIMEOUT 905.89 842.20 None svcomp/pthread-wmm/mix044_pso.oepc.yml TIMEOUT 905.98 831.51 None svcomp/pthread-wmm/mix044_pso.opt.yml TIMEOUT 906.24 844.76 None svcomp/pthread-wmm/mix044_rmo.oepc.yml TIMEOUT 906.02 824.22 None svcomp/pthread-wmm/mix044_rmo.opt.yml TIMEOUT 905.90 841.88 None svcomp/pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 347.04 300.36 None svcomp/pthread-wmm/mix044_tso.opt.yml OUT OF MEMORY 813.78 734.57 None svcomp/pthread-wmm/mix045_power.oepc.yml false(unreach-call) 114.41 81.90 None svcomp/pthread-wmm/mix045_power.opt.yml false(unreach-call) 166.25 126.59 None svcomp/pthread-wmm/mix045_pso.oepc.yml false(unreach-call) 102.35 69.77 None svcomp/pthread-wmm/mix045_pso.opt.yml false(unreach-call) 146.93 113.67 None svcomp/pthread-wmm/mix045_rmo.oepc.yml false(unreach-call) 103.47 70.06 None svcomp/pthread-wmm/mix045_rmo.opt.yml false(unreach-call) 135.06 101.77 None svcomp/pthread-wmm/mix045_tso.oepc.yml false(unreach-call) 177.46 135.13 None svcomp/pthread-wmm/mix045_tso.opt.yml false(unreach-call) 175.31 131.91 None svcomp/pthread-wmm/mix046_power.oepc.yml OUT OF MEMORY 808.70 664.40 None svcomp/pthread-wmm/mix046_power.opt.yml false(unreach-call) 307.48 256.17 None svcomp/pthread-wmm/mix046_pso.oepc.yml TIMEOUT 920.91 718.86 None svcomp/pthread-wmm/mix046_pso.opt.yml false(unreach-call) 300.90 253.05 None svcomp/pthread-wmm/mix046_rmo.oepc.yml TIMEOUT 921.19 707.86 None svcomp/pthread-wmm/mix046_rmo.opt.yml false(unreach-call) 426.95 367.95 None svcomp/pthread-wmm/mix046_tso.oepc.yml TIMEOUT 906.24 783.47 None svcomp/pthread-wmm/mix046_tso.opt.yml false(unreach-call) 271.75 224.42 None svcomp/pthread-wmm/mix047_power.oepc.yml false(unreach-call) 384.15 322.25 None svcomp/pthread-wmm/mix047_power.opt.yml TIMEOUT 906.36 762.83 None svcomp/pthread-wmm/mix047_pso.oepc.yml OUT OF MEMORY 640.36 501.04 None svcomp/pthread-wmm/mix047_pso.opt.yml OUT OF MEMORY 807.87 670.56 None svcomp/pthread-wmm/mix047_rmo.oepc.yml false(unreach-call) 356.48 306.49 None svcomp/pthread-wmm/mix047_rmo.opt.yml TIMEOUT 906.45 750.54 None svcomp/pthread-wmm/mix047_tso.oepc.yml TIMEOUT 902.12 702.12 None svcomp/pthread-wmm/mix047_tso.opt.yml OUT OF MEMORY 774.16 660.01 None svcomp/pthread-wmm/mix048_power.oepc.yml false(unreach-call) 72.11 51.23 None svcomp/pthread-wmm/mix048_power.opt.yml false(unreach-call) 59.81 42.29 None svcomp/pthread-wmm/mix048_pso.oepc.yml false(unreach-call) 60.00 41.58 None svcomp/pthread-wmm/mix048_pso.opt.yml false(unreach-call) 69.39 50.56 None svcomp/pthread-wmm/mix048_rmo.oepc.yml false(unreach-call) 61.54 41.80 None svcomp/pthread-wmm/mix048_rmo.opt.yml false(unreach-call) 60.95 42.30 None svcomp/pthread-wmm/mix048_tso.oepc.yml false(unreach-call) 60.09 41.76 None svcomp/pthread-wmm/mix048_tso.opt.yml false(unreach-call) 59.97 42.18 None svcomp/pthread-wmm/mix049_power.oepc.yml false(unreach-call) 80.25 54.55 None svcomp/pthread-wmm/mix049_power.opt.yml false(unreach-call) 75.48 50.71 None svcomp/pthread-wmm/mix049_pso.oepc.yml false(unreach-call) 71.93 49.31 None svcomp/pthread-wmm/mix049_pso.opt.yml false(unreach-call) 67.36 46.51 None svcomp/pthread-wmm/mix049_rmo.oepc.yml false(unreach-call) 94.89 67.12 None svcomp/pthread-wmm/mix049_rmo.opt.yml false(unreach-call) 89.67 61.75 None svcomp/pthread-wmm/mix049_tso.oepc.yml false(unreach-call) 80.11 52.70 None svcomp/pthread-wmm/mix049_tso.opt.yml false(unreach-call) 108.97 81.87 None svcomp/pthread-wmm/mix050_power.oepc.yml false(unreach-call) 139.03 99.68 None svcomp/pthread-wmm/mix050_power.opt.yml false(unreach-call) 273.02 227.49 None svcomp/pthread-wmm/mix050_pso.oepc.yml false(unreach-call) 142.12 99.28 None svcomp/pthread-wmm/mix050_pso.opt.yml false(unreach-call) 200.92 160.16 None svcomp/pthread-wmm/mix050_rmo.oepc.yml false(unreach-call) 141.53 98.73 None svcomp/pthread-wmm/mix050_rmo.opt.yml false(unreach-call) 197.36 152.91 None svcomp/pthread-wmm/mix050_tso.oepc.yml false(unreach-call) 202.60 162.20 None svcomp/pthread-wmm/mix050_tso.opt.yml false(unreach-call) 139.11 99.48 None svcomp/pthread-wmm/mix051_power.oepc.yml TIMEOUT 905.89 851.09 None svcomp/pthread-wmm/mix051_power.opt.yml false(unreach-call) 131.60 92.86 None svcomp/pthread-wmm/mix051_pso.oepc.yml TIMEOUT 905.88 850.54 None svcomp/pthread-wmm/mix051_pso.opt.yml TIMEOUT 905.52 845.36 None svcomp/pthread-wmm/mix051_rmo.oepc.yml TIMEOUT 905.98 851.62 None svcomp/pthread-wmm/mix051_rmo.opt.yml TIMEOUT 905.92 850.38 None svcomp/pthread-wmm/mix051_tso.oepc.yml TIMEOUT 905.95 831.63 None svcomp/pthread-wmm/mix051_tso.opt.yml TIMEOUT 905.96 847.32 None svcomp/pthread-wmm/mix052_power.oepc.yml false(unreach-call) 112.23 82.98 None svcomp/pthread-wmm/mix052_power.opt.yml false(unreach-call) 89.93 61.92 None svcomp/pthread-wmm/mix052_pso.oepc.yml false(unreach-call) 84.96 57.80 None svcomp/pthread-wmm/mix052_pso.opt.yml false(unreach-call) 93.96 63.14 None svcomp/pthread-wmm/mix052_rmo.oepc.yml false(unreach-call) 77.56 50.43 None svcomp/pthread-wmm/mix052_rmo.opt.yml false(unreach-call) 107.42 73.94 None svcomp/pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 147.68 112.92 None svcomp/pthread-wmm/mix052_tso.opt.yml false(unreach-call) 93.02 62.86 None svcomp/pthread-wmm/mix053_power.oepc.yml OUT OF MEMORY 586.68 486.66 None svcomp/pthread-wmm/mix053_power.opt.yml false(unreach-call) 770.06 702.06 None svcomp/pthread-wmm/mix053_pso.oepc.yml OUT OF MEMORY 536.50 455.01 None svcomp/pthread-wmm/mix053_pso.opt.yml TIMEOUT 906.31 831.38 None svcomp/pthread-wmm/mix053_rmo.oepc.yml OUT OF MEMORY 631.60 538.19 None svcomp/pthread-wmm/mix053_rmo.opt.yml TIMEOUT 906.01 829.10 None svcomp/pthread-wmm/mix053_tso.oepc.yml TIMEOUT 905.90 838.03 None svcomp/pthread-wmm/mix053_tso.opt.yml TIMEOUT 906.03 834.63 None svcomp/pthread-wmm/mix054_power.oepc.yml false(unreach-call) 54.62 36.79 None svcomp/pthread-wmm/mix054_power.opt.yml false(unreach-call) 77.90 58.20 None svcomp/pthread-wmm/mix054_pso.oepc.yml false(unreach-call) 56.29 38.21 None svcomp/pthread-wmm/mix054_pso.opt.yml false(unreach-call) 116.63 92.04 None svcomp/pthread-wmm/mix054_rmo.oepc.yml false(unreach-call) 53.80 36.62 None svcomp/pthread-wmm/mix054_rmo.opt.yml false(unreach-call) 113.56 90.23 None svcomp/pthread-wmm/mix054_tso.oepc.yml false(unreach-call) 163.62 136.94 None svcomp/pthread-wmm/mix054_tso.opt.yml false(unreach-call) 116.47 88.50 None svcomp/pthread-wmm/mix055_power.oepc.yml false(unreach-call) 605.93 464.98 None svcomp/pthread-wmm/mix055_power.opt.yml TIMEOUT 905.93 840.77 None svcomp/pthread-wmm/mix055_pso.oepc.yml OUT OF MEMORY 816.72 719.59 None svcomp/pthread-wmm/mix055_pso.opt.yml TIMEOUT 906.18 820.00 None svcomp/pthread-wmm/mix055_rmo.oepc.yml OUT OF MEMORY 761.39 660.74 None svcomp/pthread-wmm/mix055_rmo.opt.yml OUT OF MEMORY 857.89 778.27 None svcomp/pthread-wmm/mix055_tso.oepc.yml TIMEOUT 905.97 839.57 None svcomp/pthread-wmm/mix055_tso.opt.yml TIMEOUT 905.88 835.75 None svcomp/pthread-wmm/mix056_power.oepc.yml false(unreach-call) 99.76 66.97 None svcomp/pthread-wmm/mix056_power.opt.yml false(unreach-call) 207.83 162.54 None svcomp/pthread-wmm/mix056_pso.oepc.yml false(unreach-call) 104.53 70.72 None svcomp/pthread-wmm/mix056_pso.opt.yml false(unreach-call) 216.37 172.04 None svcomp/pthread-wmm/mix056_rmo.oepc.yml false(unreach-call) 97.46 63.35 None svcomp/pthread-wmm/mix056_rmo.opt.yml false(unreach-call) 213.43 164.81 None svcomp/pthread-wmm/mix056_tso.oepc.yml false(unreach-call) 203.49 161.87 None svcomp/pthread-wmm/mix056_tso.opt.yml false(unreach-call) 187.60 145.98 None svcomp/pthread-wmm/mix057_power.oepc.yml TIMEOUT 901.14 691.34 None svcomp/pthread-wmm/mix057_power.opt.yml TIMEOUT 905.61 718.39 None svcomp/pthread-wmm/mix057_pso.oepc.yml OUT OF MEMORY 763.86 597.73 None svcomp/pthread-wmm/mix057_pso.opt.yml TIMEOUT 905.94 835.56 None svcomp/pthread-wmm/mix057_rmo.oepc.yml TIMEOUT 900.57 694.46 None svcomp/pthread-wmm/mix057_rmo.opt.yml OUT OF MEMORY 686.37 607.42 None svcomp/pthread-wmm/mix057_tso.oepc.yml TIMEOUT 905.98 833.22 None svcomp/pthread-wmm/mix057_tso.opt.yml TIMEOUT 905.99 833.15 None svcomp/pthread-wmm/podwr000_power.oepc.yml false(unreach-call) 63.29 44.25 None svcomp/pthread-wmm/podwr000_power.opt.yml false(unreach-call) 63.04 44.06 None svcomp/pthread-wmm/podwr000_pso.oepc.yml false(unreach-call) 72.41 51.62 None svcomp/pthread-wmm/podwr000_pso.opt.yml false(unreach-call) 71.95 51.13 None svcomp/pthread-wmm/podwr000_rmo.oepc.yml false(unreach-call) 61.15 43.01 None svcomp/pthread-wmm/podwr000_rmo.opt.yml false(unreach-call) 61.62 43.00 None svcomp/pthread-wmm/podwr000_tso.oepc.yml false(unreach-call) 64.06 43.95 None svcomp/pthread-wmm/podwr000_tso.opt.yml false(unreach-call) 61.75 43.47 None svcomp/pthread-wmm/podwr001_power.oepc.yml false(unreach-call) 97.12 70.10 None svcomp/pthread-wmm/podwr001_power.opt.yml false(unreach-call) 84.47 59.52 None svcomp/pthread-wmm/podwr001_pso.oepc.yml false(unreach-call) 67.94 44.06 None svcomp/pthread-wmm/podwr001_pso.opt.yml false(unreach-call) 80.20 55.56 None svcomp/pthread-wmm/podwr001_rmo.oepc.yml false(unreach-call) 73.71 49.92 None svcomp/pthread-wmm/podwr001_rmo.opt.yml false(unreach-call) 72.54 49.68 None svcomp/pthread-wmm/podwr001_tso.oepc.yml false(unreach-call) 82.62 56.25 None svcomp/pthread-wmm/podwr001_tso.opt.yml false(unreach-call) 69.82 47.46 None svcomp/pthread-wmm/rfi000_power.oepc.yml false(unreach-call) 184.90 153.90 None svcomp/pthread-wmm/rfi000_power.opt.yml false(unreach-call) 126.44 100.27 None svcomp/pthread-wmm/rfi000_pso.oepc.yml false(unreach-call) 183.34 151.84 None svcomp/pthread-wmm/rfi000_pso.opt.yml false(unreach-call) 102.01 78.89 None svcomp/pthread-wmm/rfi000_rmo.oepc.yml false(unreach-call) 187.76 156.43 None svcomp/pthread-wmm/rfi000_rmo.opt.yml false(unreach-call) 107.71 84.74 None svcomp/pthread-wmm/rfi000_tso.oepc.yml true 274.46 226.92 None svcomp/pthread-wmm/rfi000_tso.opt.yml true 222.11 181.95 None svcomp/pthread-wmm/rfi001_power.oepc.yml false(unreach-call) 62.52 42.93 None svcomp/pthread-wmm/rfi001_power.opt.yml false(unreach-call) 187.77 160.02 None svcomp/pthread-wmm/rfi001_pso.oepc.yml false(unreach-call) 63.15 44.04 None svcomp/pthread-wmm/rfi001_pso.opt.yml false(unreach-call) 161.73 134.72 None svcomp/pthread-wmm/rfi001_rmo.oepc.yml false(unreach-call) 56.87 37.17 None svcomp/pthread-wmm/rfi001_rmo.opt.yml false(unreach-call) 171.59 143.96 None svcomp/pthread-wmm/rfi001_tso.oepc.yml false(unreach-call) 183.84 157.24 None svcomp/pthread-wmm/rfi001_tso.opt.yml false(unreach-call) 181.53 148.58 None svcomp/pthread-wmm/rfi002_power.oepc.yml true 147.49 110.14 None svcomp/pthread-wmm/rfi002_power.opt.yml true 134.88 95.54 None svcomp/pthread-wmm/rfi002_pso.oepc.yml true 116.61 87.49 None svcomp/pthread-wmm/rfi002_pso.opt.yml true 146.79 107.34 None svcomp/pthread-wmm/rfi002_rmo.oepc.yml true 145.94 106.99 None svcomp/pthread-wmm/rfi002_rmo.opt.yml true 160.18 120.86 None svcomp/pthread-wmm/rfi002_tso.oepc.yml true 376.05 317.35 None svcomp/pthread-wmm/rfi002_tso.opt.yml true 398.93 336.68 None svcomp/pthread-wmm/rfi003_power.oepc.yml false(unreach-call) 68.58 47.80 None svcomp/pthread-wmm/rfi003_power.opt.yml false(unreach-call) 65.91 45.62 None svcomp/pthread-wmm/rfi003_pso.oepc.yml false(unreach-call) 69.36 48.86 None svcomp/pthread-wmm/rfi003_pso.opt.yml false(unreach-call) 62.12 44.08 None svcomp/pthread-wmm/rfi003_rmo.oepc.yml false(unreach-call) 65.83 45.35 None svcomp/pthread-wmm/rfi003_rmo.opt.yml false(unreach-call) 62.70 43.79 None svcomp/pthread-wmm/rfi003_tso.oepc.yml true 255.15 215.58 None svcomp/pthread-wmm/rfi003_tso.opt.yml true 332.04 282.59 None svcomp/pthread-wmm/rfi004_power.oepc.yml false(unreach-call) 69.11 49.13 None svcomp/pthread-wmm/rfi004_power.opt.yml false(unreach-call) 63.54 43.59 None svcomp/pthread-wmm/rfi004_pso.oepc.yml false(unreach-call) 68.57 48.44 None svcomp/pthread-wmm/rfi004_pso.opt.yml false(unreach-call) 71.59 50.35 None svcomp/pthread-wmm/rfi004_rmo.oepc.yml false(unreach-call) 101.08 78.17 None svcomp/pthread-wmm/rfi004_rmo.opt.yml false(unreach-call) 66.37 46.74 None svcomp/pthread-wmm/rfi004_tso.oepc.yml false(unreach-call) 68.03 48.30 None svcomp/pthread-wmm/rfi004_tso.opt.yml false(unreach-call) 96.95 76.10 None svcomp/pthread-wmm/rfi005_power.oepc.yml false(unreach-call) 212.17 179.74 None svcomp/pthread-wmm/rfi005_power.opt.yml false(unreach-call) 201.18 171.22 None svcomp/pthread-wmm/rfi005_pso.oepc.yml false(unreach-call) 155.16 130.79 None svcomp/pthread-wmm/rfi005_pso.opt.yml false(unreach-call) 211.40 181.29 None svcomp/pthread-wmm/rfi005_rmo.oepc.yml false(unreach-call) 202.82 171.68 None svcomp/pthread-wmm/rfi005_rmo.opt.yml false(unreach-call) 215.46 184.45 None svcomp/pthread-wmm/rfi005_tso.oepc.yml false(unreach-call) 192.38 164.95 None svcomp/pthread-wmm/rfi005_tso.opt.yml false(unreach-call) 201.17 172.43 None svcomp/pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 184.85 149.00 None svcomp/pthread-wmm/rfi006_power.opt.yml false(unreach-call) 245.46 195.30 None svcomp/pthread-wmm/rfi006_pso.oepc.yml false(unreach-call) 207.46 174.59 None svcomp/pthread-wmm/rfi006_pso.opt.yml false(unreach-call) 197.19 164.02 None svcomp/pthread-wmm/rfi006_rmo.oepc.yml false(unreach-call) 162.89 126.04 None svcomp/pthread-wmm/rfi006_rmo.opt.yml false(unreach-call) 185.20 147.47 None svcomp/pthread-wmm/rfi006_tso.oepc.yml false(unreach-call) 188.38 155.29 None svcomp/pthread-wmm/rfi006_tso.opt.yml false(unreach-call) 224.89 185.09 None svcomp/pthread-wmm/rfi007_power.oepc.yml false(unreach-call) 63.55 42.08 None svcomp/pthread-wmm/rfi007_power.opt.yml false(unreach-call) 52.05 33.30 None svcomp/pthread-wmm/rfi007_pso.oepc.yml false(unreach-call) 57.10 38.72 None svcomp/pthread-wmm/rfi007_pso.opt.yml false(unreach-call) 60.21 40.48 None svcomp/pthread-wmm/rfi007_rmo.oepc.yml false(unreach-call) 55.86 38.35 None svcomp/pthread-wmm/rfi007_rmo.opt.yml false(unreach-call) 57.39 38.52 None svcomp/pthread-wmm/rfi007_tso.oepc.yml false(unreach-call) 179.65 153.13 None svcomp/pthread-wmm/rfi007_tso.opt.yml false(unreach-call) 208.32 174.07 None svcomp/pthread-wmm/rfi008_power.oepc.yml false(unreach-call) 58.64 38.45 None svcomp/pthread-wmm/rfi008_power.opt.yml false(unreach-call) 70.76 47.95 None svcomp/pthread-wmm/rfi008_pso.oepc.yml false(unreach-call) 69.93 46.06 None svcomp/pthread-wmm/rfi008_pso.opt.yml false(unreach-call) 77.30 54.36 None svcomp/pthread-wmm/rfi008_rmo.oepc.yml false(unreach-call) 85.48 62.70 None svcomp/pthread-wmm/rfi008_rmo.opt.yml false(unreach-call) 80.28 55.43 None svcomp/pthread-wmm/rfi008_tso.oepc.yml false(unreach-call) 59.14 38.78 None svcomp/pthread-wmm/rfi008_tso.opt.yml false(unreach-call) 81.04 53.54 None svcomp/pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 236.73 198.23 None svcomp/pthread-wmm/rfi009_power.opt.yml false(unreach-call) 104.71 71.64 None svcomp/pthread-wmm/rfi009_pso.oepc.yml false(unreach-call) 93.24 63.66 None svcomp/pthread-wmm/rfi009_pso.opt.yml false(unreach-call) 89.53 61.62 None svcomp/pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 208.94 166.49 None svcomp/pthread-wmm/rfi009_rmo.opt.yml false(unreach-call) 90.63 61.01 None svcomp/pthread-wmm/rfi009_tso.oepc.yml false(unreach-call) 91.63 62.99 None svcomp/pthread-wmm/rfi009_tso.opt.yml false(unreach-call) 91.80 63.71 None svcomp/pthread-wmm/rfi010_power.oepc.yml false(unreach-call) 87.78 62.44 None svcomp/pthread-wmm/rfi010_power.opt.yml false(unreach-call) 79.40 56.83 None svcomp/pthread-wmm/rfi010_pso.oepc.yml false(unreach-call) 78.64 54.98 None svcomp/pthread-wmm/rfi010_pso.opt.yml false(unreach-call) 84.18 60.69 None svcomp/pthread-wmm/rfi010_rmo.oepc.yml false(unreach-call) 85.43 62.01 None svcomp/pthread-wmm/rfi010_rmo.opt.yml false(unreach-call) 65.90 45.68 None svcomp/pthread-wmm/rfi010_tso.oepc.yml false(unreach-call) 88.61 62.34 None svcomp/pthread-wmm/rfi010_tso.opt.yml false(unreach-call) 74.94 53.31 None svcomp/pthread-wmm/safe000_power.oepc.yml false(unreach-call) 572.49 521.65 None svcomp/pthread-wmm/safe000_power.opt.yml false(unreach-call) 423.40 374.07 None svcomp/pthread-wmm/safe000_pso.oepc.yml true 26.58 16.23 None svcomp/pthread-wmm/safe000_pso.opt.yml true 27.25 16.58 None svcomp/pthread-wmm/safe000_rmo.oepc.yml false(unreach-call) 378.25 331.96 None svcomp/pthread-wmm/safe000_rmo.opt.yml false(unreach-call) 374.67 326.37 None svcomp/pthread-wmm/safe000_tso.oepc.yml true 34.67 21.99 None svcomp/pthread-wmm/safe000_tso.opt.yml true 26.36 15.37 None svcomp/pthread-wmm/safe001_power.oepc.yml false(unreach-call) 419.32 369.98 None svcomp/pthread-wmm/safe001_power.opt.yml false(unreach-call) 218.94 183.27 None svcomp/pthread-wmm/safe001_pso.oepc.yml false(unreach-call) 224.13 185.19 None svcomp/pthread-wmm/safe001_pso.opt.yml false(unreach-call) 232.71 193.54 None svcomp/pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 346.00 294.66 None svcomp/pthread-wmm/safe001_rmo.opt.yml false(unreach-call) 171.87 140.84 None svcomp/pthread-wmm/safe001_tso.oepc.yml true 34.35 20.79 None svcomp/pthread-wmm/safe001_tso.opt.yml true 34.00 20.30 None svcomp/pthread-wmm/safe002_power.oepc.yml false(unreach-call) 365.05 316.14 None svcomp/pthread-wmm/safe002_power.opt.yml false(unreach-call) 85.56 57.33 None svcomp/pthread-wmm/safe002_pso.oepc.yml false(unreach-call) 83.19 56.59 None svcomp/pthread-wmm/safe002_pso.opt.yml false(unreach-call) 142.30 97.37 None svcomp/pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 354.58 305.18 None svcomp/pthread-wmm/safe002_rmo.opt.yml false(unreach-call) 82.28 57.50 None svcomp/pthread-wmm/safe002_tso.oepc.yml true 30.42 17.04 None svcomp/pthread-wmm/safe002_tso.opt.yml true 32.97 19.36 None svcomp/pthread-wmm/safe003_power.oepc.yml false(unreach-call) 270.05 218.20 None svcomp/pthread-wmm/safe003_power.opt.yml false(unreach-call) 469.53 411.84 None svcomp/pthread-wmm/safe003_pso.oepc.yml false(unreach-call) 234.50 189.23 None svcomp/pthread-wmm/safe003_pso.opt.yml false(unreach-call) 257.58 210.45 None svcomp/pthread-wmm/safe003_rmo.oepc.yml false(unreach-call) 309.77 262.22 None svcomp/pthread-wmm/safe003_rmo.opt.yml false(unreach-call) 191.52 157.05 None svcomp/pthread-wmm/safe003_tso.oepc.yml true 29.21 17.06 None svcomp/pthread-wmm/safe003_tso.opt.yml true 28.29 16.67 None svcomp/pthread-wmm/safe004_power.oepc.yml false(unreach-call) 303.74 246.15 None svcomp/pthread-wmm/safe004_power.opt.yml false(unreach-call) 201.51 168.03 None svcomp/pthread-wmm/safe004_pso.oepc.yml false(unreach-call) 234.66 191.38 None svcomp/pthread-wmm/safe004_pso.opt.yml false(unreach-call) 214.85 178.72 None svcomp/pthread-wmm/safe004_rmo.oepc.yml false(unreach-call) 277.31 225.01 None svcomp/pthread-wmm/safe004_rmo.opt.yml false(unreach-call) 159.91 131.37 None svcomp/pthread-wmm/safe004_tso.oepc.yml true 36.42 21.39 None svcomp/pthread-wmm/safe004_tso.opt.yml true 32.53 19.89 None svcomp/pthread-wmm/safe005_power.oepc.yml false(unreach-call) 93.63 62.41 None svcomp/pthread-wmm/safe005_power.opt.yml false(unreach-call) 93.07 62.45 None svcomp/pthread-wmm/safe005_pso.oepc.yml false(unreach-call) 89.50 59.47 None svcomp/pthread-wmm/safe005_pso.opt.yml false(unreach-call) 90.30 59.94 None svcomp/pthread-wmm/safe005_rmo.oepc.yml false(unreach-call) 96.44 64.97 None svcomp/pthread-wmm/safe005_rmo.opt.yml false(unreach-call) 81.01 51.97 None svcomp/pthread-wmm/safe005_tso.oepc.yml true 30.21 18.05 None svcomp/pthread-wmm/safe005_tso.opt.yml true 30.81 18.17 None svcomp/pthread-wmm/safe006_power.oepc.yml false(unreach-call) 318.24 279.62 None svcomp/pthread-wmm/safe006_power.opt.yml false(unreach-call) 324.93 285.31 None svcomp/pthread-wmm/safe006_pso.oepc.yml true 32.11 20.29 None svcomp/pthread-wmm/safe006_pso.opt.yml true 31.27 20.34 None svcomp/pthread-wmm/safe006_rmo.oepc.yml false(unreach-call) 191.74 159.42 None svcomp/pthread-wmm/safe006_rmo.opt.yml false(unreach-call) 159.08 127.98 None svcomp/pthread-wmm/safe006_tso.oepc.yml true 29.49 18.07 None svcomp/pthread-wmm/safe006_tso.opt.yml true 31.35 19.50 None svcomp/pthread-wmm/safe007_power.oepc.yml false(unreach-call) 411.02 365.31 None svcomp/pthread-wmm/safe007_power.opt.yml false(unreach-call) 292.62 249.37 None svcomp/pthread-wmm/safe007_pso.oepc.yml true 25.40 15.16 None svcomp/pthread-wmm/safe007_pso.opt.yml true 26.92 16.70 None svcomp/pthread-wmm/safe007_rmo.oepc.yml false(unreach-call) 220.01 183.48 None svcomp/pthread-wmm/safe007_rmo.opt.yml false(unreach-call) 246.98 208.98 None svcomp/pthread-wmm/safe007_tso.oepc.yml true 31.13 18.83 None svcomp/pthread-wmm/safe007_tso.opt.yml true 30.96 18.44 None svcomp/pthread-wmm/safe008_power.oepc.yml false(unreach-call) 183.41 145.35 None svcomp/pthread-wmm/safe008_power.opt.yml false(unreach-call) 280.44 238.71 None svcomp/pthread-wmm/safe008_pso.oepc.yml false(unreach-call) 149.47 115.96 None svcomp/pthread-wmm/safe008_pso.opt.yml false(unreach-call) 160.22 128.48 None svcomp/pthread-wmm/safe008_rmo.oepc.yml false(unreach-call) 160.01 126.42 None svcomp/pthread-wmm/safe008_rmo.opt.yml false(unreach-call) 164.28 129.61 None svcomp/pthread-wmm/safe008_tso.oepc.yml true 34.46 19.82 None svcomp/pthread-wmm/safe008_tso.opt.yml true 36.87 21.56 None svcomp/pthread-wmm/safe009_power.oepc.yml false(unreach-call) 369.08 323.22 None svcomp/pthread-wmm/safe009_power.opt.yml false(unreach-call) 341.14 294.57 None svcomp/pthread-wmm/safe009_pso.oepc.yml true 31.35 18.08 None svcomp/pthread-wmm/safe009_pso.opt.yml true 32.75 19.23 None svcomp/pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 329.99 288.94 None svcomp/pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 234.43 195.21 None svcomp/pthread-wmm/safe009_tso.oepc.yml true 30.35 17.76 None svcomp/pthread-wmm/safe009_tso.opt.yml true 34.23 20.50 None svcomp/pthread-wmm/safe010_power.oepc.yml false(unreach-call) 133.41 101.55 None svcomp/pthread-wmm/safe010_power.opt.yml false(unreach-call) 110.61 84.95 None svcomp/pthread-wmm/safe010_pso.oepc.yml false(unreach-call) 103.82 81.53 None svcomp/pthread-wmm/safe010_pso.opt.yml false(unreach-call) 127.76 100.98 None svcomp/pthread-wmm/safe010_rmo.oepc.yml false(unreach-call) 134.00 105.14 None svcomp/pthread-wmm/safe010_rmo.opt.yml false(unreach-call) 102.45 79.33 None svcomp/pthread-wmm/safe010_tso.oepc.yml true 34.61 20.40 None svcomp/pthread-wmm/safe010_tso.opt.yml true 34.27 20.84 None svcomp/pthread-wmm/safe011_power.oepc.yml false(unreach-call) 209.14 167.44 None svcomp/pthread-wmm/safe011_power.opt.yml false(unreach-call) 197.26 156.27 None svcomp/pthread-wmm/safe011_pso.oepc.yml false(unreach-call) 245.90 188.96 None svcomp/pthread-wmm/safe011_pso.opt.yml false(unreach-call) 217.91 181.90 None svcomp/pthread-wmm/safe011_rmo.oepc.yml false(unreach-call) 203.55 168.80 None svcomp/pthread-wmm/safe011_rmo.opt.yml false(unreach-call) 225.88 189.95 None svcomp/pthread-wmm/safe011_tso.oepc.yml true 50.16 30.88 None svcomp/pthread-wmm/safe011_tso.opt.yml true 48.52 27.07 None svcomp/pthread-wmm/safe012_power.oepc.yml false(unreach-call) 251.59 207.84 None svcomp/pthread-wmm/safe012_power.opt.yml false(unreach-call) 203.68 165.82 None svcomp/pthread-wmm/safe012_pso.oepc.yml false(unreach-call) 90.91 62.49 None svcomp/pthread-wmm/safe012_pso.opt.yml false(unreach-call) 86.57 62.61 None svcomp/pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 189.61 152.03 None svcomp/pthread-wmm/safe012_rmo.opt.yml false(unreach-call) 86.11 60.52 None svcomp/pthread-wmm/safe012_tso.oepc.yml true 34.01 20.59 None svcomp/pthread-wmm/safe012_tso.opt.yml true 32.96 19.19 None svcomp/pthread-wmm/safe013_power.oepc.yml false(unreach-call) 98.24 65.66 None svcomp/pthread-wmm/safe013_power.opt.yml false(unreach-call) 94.76 64.49 None svcomp/pthread-wmm/safe013_pso.oepc.yml false(unreach-call) 93.08 62.17 None svcomp/pthread-wmm/safe013_pso.opt.yml false(unreach-call) 84.16 57.44 None svcomp/pthread-wmm/safe013_rmo.oepc.yml false(unreach-call) 92.11 60.49 None svcomp/pthread-wmm/safe013_rmo.opt.yml false(unreach-call) 89.19 59.81 None svcomp/pthread-wmm/safe013_tso.oepc.yml true 52.90 31.31 None svcomp/pthread-wmm/safe013_tso.opt.yml true 48.43 29.02 None svcomp/pthread-wmm/safe014_power.oepc.yml false(unreach-call) 230.40 191.45 None svcomp/pthread-wmm/safe014_power.opt.yml false(unreach-call) 205.04 166.72 None svcomp/pthread-wmm/safe014_pso.oepc.yml true 34.48 19.35 None svcomp/pthread-wmm/safe014_pso.opt.yml true 37.17 21.03 None svcomp/pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 325.03 281.66 None svcomp/pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 348.35 298.33 None svcomp/pthread-wmm/safe014_tso.oepc.yml true 37.12 20.94 None svcomp/pthread-wmm/safe014_tso.opt.yml true 36.49 21.18 None svcomp/pthread-wmm/safe015_power.oepc.yml false(unreach-call) 657.62 612.12 None svcomp/pthread-wmm/safe015_power.opt.yml false(unreach-call) 344.83 298.12 None svcomp/pthread-wmm/safe015_pso.oepc.yml true 57.15 33.77 None svcomp/pthread-wmm/safe015_pso.opt.yml true 61.45 36.55 None svcomp/pthread-wmm/safe015_rmo.oepc.yml false(unreach-call) 357.58 305.06 None svcomp/pthread-wmm/safe015_rmo.opt.yml false(unreach-call) 226.39 188.64 None svcomp/pthread-wmm/safe015_tso.oepc.yml true 69.61 40.99 None svcomp/pthread-wmm/safe015_tso.opt.yml true 68.24 40.73 None svcomp/pthread-wmm/safe016_power.oepc.yml false(unreach-call) 550.19 477.50 None svcomp/pthread-wmm/safe016_power.opt.yml false(unreach-call) 501.50 439.18 None svcomp/pthread-wmm/safe016_pso.oepc.yml OUT OF MEMORY 833.28 721.30 None svcomp/pthread-wmm/safe016_pso.opt.yml true 60.09 36.52 None svcomp/pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 469.63 402.81 None svcomp/pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 637.43 580.35 None svcomp/pthread-wmm/safe016_tso.oepc.yml OUT OF MEMORY 638.48 549.80 None svcomp/pthread-wmm/safe016_tso.opt.yml true 61.09 36.45 None svcomp/pthread-wmm/safe017_power.oepc.yml false(unreach-call) 164.68 134.70 None svcomp/pthread-wmm/safe017_power.opt.yml false(unreach-call) 198.31 159.78 None svcomp/pthread-wmm/safe017_pso.oepc.yml false(unreach-call) 213.83 173.66 None svcomp/pthread-wmm/safe017_pso.opt.yml false(unreach-call) 202.59 169.39 None svcomp/pthread-wmm/safe017_rmo.oepc.yml false(unreach-call) 166.40 134.12 None svcomp/pthread-wmm/safe017_rmo.opt.yml false(unreach-call) 180.31 149.67 None svcomp/pthread-wmm/safe017_tso.oepc.yml true 46.34 27.71 None svcomp/pthread-wmm/safe017_tso.opt.yml true 41.60 24.29 None svcomp/pthread-wmm/safe018_power.oepc.yml false(unreach-call) 230.66 189.87 None svcomp/pthread-wmm/safe018_power.opt.yml false(unreach-call) 288.57 243.50 None svcomp/pthread-wmm/safe018_pso.oepc.yml true 32.81 19.51 None svcomp/pthread-wmm/safe018_pso.opt.yml true 30.17 17.99 None svcomp/pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 236.66 197.31 None svcomp/pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 232.23 192.74 None svcomp/pthread-wmm/safe018_tso.oepc.yml true 28.44 16.62 None svcomp/pthread-wmm/safe018_tso.opt.yml true 29.03 16.64 None svcomp/pthread-wmm/safe019_power.oepc.yml false(unreach-call) 378.26 320.01 None svcomp/pthread-wmm/safe019_power.opt.yml false(unreach-call) 319.49 261.31 None svcomp/pthread-wmm/safe019_pso.oepc.yml true 382.73 336.58 None svcomp/pthread-wmm/safe019_pso.opt.yml true 459.65 413.33 None svcomp/pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 350.85 295.03 None svcomp/pthread-wmm/safe019_rmo.opt.yml TIMEOUT 902.21 816.01 None svcomp/pthread-wmm/safe019_tso.oepc.yml true 520.66 476.88 None svcomp/pthread-wmm/safe019_tso.opt.yml true 65.75 38.74 None svcomp/pthread-wmm/safe020_power.oepc.yml false(unreach-call) 266.99 212.10 None svcomp/pthread-wmm/safe020_power.opt.yml false(unreach-call) 223.51 176.95 None svcomp/pthread-wmm/safe020_pso.oepc.yml true 39.97 22.87 None svcomp/pthread-wmm/safe020_pso.opt.yml true 41.92 24.61 None svcomp/pthread-wmm/safe020_rmo.oepc.yml false(unreach-call) 157.08 123.05 None svcomp/pthread-wmm/safe020_rmo.opt.yml false(unreach-call) 157.72 123.58 None svcomp/pthread-wmm/safe020_tso.oepc.yml true 44.77 25.42 None svcomp/pthread-wmm/safe020_tso.opt.yml true 39.21 22.40 None svcomp/pthread-wmm/safe021_power.oepc.yml false(unreach-call) 84.12 55.80 None svcomp/pthread-wmm/safe021_power.opt.yml false(unreach-call) 131.82 104.48 None svcomp/pthread-wmm/safe021_pso.oepc.yml false(unreach-call) 84.53 56.95 None svcomp/pthread-wmm/safe021_pso.opt.yml false(unreach-call) 140.62 110.28 None svcomp/pthread-wmm/safe021_rmo.oepc.yml false(unreach-call) 80.19 52.45 None svcomp/pthread-wmm/safe021_rmo.opt.yml false(unreach-call) 69.71 45.25 None svcomp/pthread-wmm/safe021_tso.oepc.yml true 41.81 23.59 None svcomp/pthread-wmm/safe021_tso.opt.yml true 43.37 24.44 None svcomp/pthread-wmm/safe022_power.oepc.yml false(unreach-call) 56.74 39.28 None svcomp/pthread-wmm/safe022_power.opt.yml false(unreach-call) 54.76 36.95 None svcomp/pthread-wmm/safe022_pso.oepc.yml false(unreach-call) 53.52 36.60 None svcomp/pthread-wmm/safe022_pso.opt.yml false(unreach-call) 53.08 36.09 None svcomp/pthread-wmm/safe022_rmo.oepc.yml false(unreach-call) 62.10 42.54 None svcomp/pthread-wmm/safe022_rmo.opt.yml false(unreach-call) 54.36 36.25 None svcomp/pthread-wmm/safe022_tso.oepc.yml true 31.37 20.08 None svcomp/pthread-wmm/safe022_tso.opt.yml true 32.62 21.05 None svcomp/pthread-wmm/safe023_power.oepc.yml false(unreach-call) 332.22 274.06 None svcomp/pthread-wmm/safe023_power.opt.yml false(unreach-call) 508.96 448.26 None svcomp/pthread-wmm/safe023_pso.oepc.yml false(unreach-call) 290.48 236.98 None svcomp/pthread-wmm/safe023_pso.opt.yml false(unreach-call) 461.18 386.28 None svcomp/pthread-wmm/safe023_rmo.oepc.yml false(unreach-call) 340.61 282.06 None svcomp/pthread-wmm/safe023_rmo.opt.yml false(unreach-call) 427.30 364.50 None svcomp/pthread-wmm/safe023_tso.oepc.yml true 35.75 20.40 None svcomp/pthread-wmm/safe023_tso.opt.yml true 34.37 20.17 None svcomp/pthread-wmm/safe024_power.oepc.yml false(unreach-call) 88.28 62.80 None svcomp/pthread-wmm/safe024_power.opt.yml false(unreach-call) 82.96 59.72 None svcomp/pthread-wmm/safe024_pso.oepc.yml false(unreach-call) 91.57 63.98 None svcomp/pthread-wmm/safe024_pso.opt.yml false(unreach-call) 108.28 76.19 None svcomp/pthread-wmm/safe024_rmo.oepc.yml false(unreach-call) 87.16 62.27 None svcomp/pthread-wmm/safe024_rmo.opt.yml false(unreach-call) 82.67 59.64 None svcomp/pthread-wmm/safe024_tso.oepc.yml true 29.70 17.10 None svcomp/pthread-wmm/safe024_tso.opt.yml true 35.61 20.87 None svcomp/pthread-wmm/safe025_power.oepc.yml false(unreach-call) 598.49 554.39 None svcomp/pthread-wmm/safe025_power.opt.yml false(unreach-call) 598.91 553.16 None svcomp/pthread-wmm/safe025_pso.oepc.yml true 57.07 34.96 None svcomp/pthread-wmm/safe025_pso.opt.yml true 61.46 38.13 None svcomp/pthread-wmm/safe025_rmo.oepc.yml false(unreach-call) 255.03 209.45 None svcomp/pthread-wmm/safe025_rmo.opt.yml false(unreach-call) 249.09 209.92 None svcomp/pthread-wmm/safe025_tso.oepc.yml true 61.85 40.54 None svcomp/pthread-wmm/safe025_tso.opt.yml true 69.53 41.95 None svcomp/pthread-wmm/safe026_power.oepc.yml false(unreach-call) 78.46 52.42 None svcomp/pthread-wmm/safe026_power.opt.yml false(unreach-call) 82.71 52.82 None svcomp/pthread-wmm/safe026_pso.oepc.yml false(unreach-call) 84.36 53.19 None svcomp/pthread-wmm/safe026_pso.opt.yml false(unreach-call) 107.52 79.00 None svcomp/pthread-wmm/safe026_rmo.oepc.yml false(unreach-call) 86.73 57.53 None svcomp/pthread-wmm/safe026_rmo.opt.yml false(unreach-call) 95.50 62.65 None svcomp/pthread-wmm/safe026_tso.oepc.yml true 54.38 31.74 None svcomp/pthread-wmm/safe026_tso.opt.yml true 51.46 28.99 None svcomp/pthread-wmm/safe027_power.oepc.yml false(unreach-call) 421.62 351.69 None svcomp/pthread-wmm/safe027_power.opt.yml false(unreach-call) 308.01 251.90 None svcomp/pthread-wmm/safe027_pso.oepc.yml true 105.73 77.80 None svcomp/pthread-wmm/safe027_pso.opt.yml true 162.64 124.30 None svcomp/pthread-wmm/safe027_rmo.oepc.yml false(unreach-call) 270.55 215.47 None svcomp/pthread-wmm/safe027_rmo.opt.yml false(unreach-call) 232.71 189.38 None svcomp/pthread-wmm/safe027_tso.oepc.yml true 215.55 178.48 None svcomp/pthread-wmm/safe027_tso.opt.yml true 138.30 109.29 None svcomp/pthread-wmm/safe028_power.oepc.yml false(unreach-call) 260.18 211.77 None svcomp/pthread-wmm/safe028_power.opt.yml false(unreach-call) 267.16 221.89 None svcomp/pthread-wmm/safe028_pso.oepc.yml true 48.89 28.17 None svcomp/pthread-wmm/safe028_pso.opt.yml true 30.99 18.51 None svcomp/pthread-wmm/safe028_rmo.oepc.yml false(unreach-call) 211.42 172.45 None svcomp/pthread-wmm/safe028_rmo.opt.yml false(unreach-call) 272.60 231.82 None svcomp/pthread-wmm/safe028_tso.oepc.yml true 31.22 18.57 None svcomp/pthread-wmm/safe028_tso.opt.yml true 27.83 16.19 None svcomp/pthread-wmm/safe029_power.oepc.yml false(unreach-call) 126.01 99.46 None svcomp/pthread-wmm/safe029_power.opt.yml false(unreach-call) 122.97 95.76 None svcomp/pthread-wmm/safe029_pso.oepc.yml false(unreach-call) 132.82 105.73 None svcomp/pthread-wmm/safe029_pso.opt.yml false(unreach-call) 119.22 90.65 None svcomp/pthread-wmm/safe029_rmo.oepc.yml false(unreach-call) 129.26 100.58 None svcomp/pthread-wmm/safe029_rmo.opt.yml false(unreach-call) 126.94 99.24 None svcomp/pthread-wmm/safe029_tso.oepc.yml true 34.98 23.10 None svcomp/pthread-wmm/safe029_tso.opt.yml true 28.53 16.69 None svcomp/pthread-wmm/safe030_power.oepc.yml false(unreach-call) 212.52 172.76 None svcomp/pthread-wmm/safe030_power.opt.yml false(unreach-call) 220.95 180.09 None svcomp/pthread-wmm/safe030_pso.oepc.yml false(unreach-call) 236.40 193.21 None svcomp/pthread-wmm/safe030_pso.opt.yml false(unreach-call) 225.51 179.42 None svcomp/pthread-wmm/safe030_rmo.oepc.yml false(unreach-call) 248.94 202.20 None svcomp/pthread-wmm/safe030_rmo.opt.yml false(unreach-call) 227.18 186.52 None svcomp/pthread-wmm/safe030_tso.oepc.yml true 63.86 36.12 None svcomp/pthread-wmm/safe030_tso.opt.yml true 60.29 33.49 None svcomp/pthread-wmm/safe031_power.oepc.yml false(unreach-call) 97.15 62.40 None svcomp/pthread-wmm/safe031_power.opt.yml false(unreach-call) 164.70 132.61 None svcomp/pthread-wmm/safe031_pso.oepc.yml false(unreach-call) 93.30 61.11 None svcomp/pthread-wmm/safe031_pso.opt.yml false(unreach-call) 199.71 159.37 None svcomp/pthread-wmm/safe031_rmo.oepc.yml false(unreach-call) 121.26 79.62 None svcomp/pthread-wmm/safe031_rmo.opt.yml false(unreach-call) 203.15 163.63 None svcomp/pthread-wmm/safe031_tso.oepc.yml true 60.55 37.06 None svcomp/pthread-wmm/safe031_tso.opt.yml true 62.04 38.45 None svcomp/pthread-wmm/safe032_power.oepc.yml false(unreach-call) 294.41 237.21 None svcomp/pthread-wmm/safe032_power.opt.yml false(unreach-call) 288.33 225.15 None svcomp/pthread-wmm/safe032_pso.oepc.yml false(unreach-call) 257.21 204.23 None svcomp/pthread-wmm/safe032_pso.opt.yml false(unreach-call) 286.65 230.34 None svcomp/pthread-wmm/safe032_rmo.oepc.yml false(unreach-call) 196.52 150.65 None svcomp/pthread-wmm/safe032_rmo.opt.yml false(unreach-call) 320.15 262.23 None svcomp/pthread-wmm/safe032_tso.oepc.yml true 33.22 19.72 None svcomp/pthread-wmm/safe032_tso.opt.yml true 34.08 20.67 None svcomp/pthread-wmm/safe033_power.oepc.yml false(unreach-call) 66.11 45.06 None svcomp/pthread-wmm/safe033_power.opt.yml false(unreach-call) 51.25 33.69 None svcomp/pthread-wmm/safe033_pso.oepc.yml false(unreach-call) 90.68 66.49 None svcomp/pthread-wmm/safe033_pso.opt.yml false(unreach-call) 55.63 36.29 None svcomp/pthread-wmm/safe033_rmo.oepc.yml false(unreach-call) 77.85 59.40 None svcomp/pthread-wmm/safe033_rmo.opt.yml false(unreach-call) 59.18 40.75 None svcomp/pthread-wmm/safe033_tso.oepc.yml true 36.06 21.12 None svcomp/pthread-wmm/safe033_tso.opt.yml true 28.11 16.79 None svcomp/pthread-wmm/safe034_power.oepc.yml false(unreach-call) 86.80 59.77 None svcomp/pthread-wmm/safe034_power.opt.yml false(unreach-call) 101.82 69.96 None svcomp/pthread-wmm/safe034_pso.oepc.yml false(unreach-call) 77.47 51.56 None svcomp/pthread-wmm/safe034_pso.opt.yml false(unreach-call) 99.30 68.87 None svcomp/pthread-wmm/safe034_rmo.oepc.yml false(unreach-call) 84.49 59.00 None svcomp/pthread-wmm/safe034_rmo.opt.yml false(unreach-call) 83.77 56.78 None svcomp/pthread-wmm/safe034_tso.oepc.yml true 49.04 28.43 None svcomp/pthread-wmm/safe034_tso.opt.yml true 50.72 29.80 None svcomp/pthread-wmm/safe035_power.oepc.yml true 502.92 449.82 None svcomp/pthread-wmm/safe035_power.opt.yml true 518.75 462.55 None svcomp/pthread-wmm/safe035_pso.oepc.yml true 50.63 29.09 None svcomp/pthread-wmm/safe035_pso.opt.yml true 45.06 26.68 None svcomp/pthread-wmm/safe035_rmo.oepc.yml true 49.55 29.16 None svcomp/pthread-wmm/safe035_rmo.opt.yml true 52.02 29.97 None svcomp/pthread-wmm/safe035_tso.oepc.yml true 49.60 27.82 None svcomp/pthread-wmm/safe035_tso.opt.yml true 44.60 25.99 None svcomp/pthread-wmm/safe036_power.oepc.yml true 33.18 21.24 None svcomp/pthread-wmm/safe036_power.opt.yml true 33.46 21.16 None svcomp/pthread-wmm/safe036_pso.oepc.yml true 30.32 18.32 None svcomp/pthread-wmm/safe036_pso.opt.yml true 34.75 21.72 None svcomp/pthread-wmm/safe036_rmo.oepc.yml true 30.40 18.56 None svcomp/pthread-wmm/safe036_rmo.opt.yml true 30.63 19.40 None svcomp/pthread-wmm/safe036_tso.oepc.yml true 35.58 22.10 None svcomp/pthread-wmm/safe036_tso.opt.yml true 42.70 29.34 None svcomp/pthread-wmm/safe037_power.oepc.yml true 36.66 21.85 None svcomp/pthread-wmm/safe037_power.opt.yml true 33.17 19.51 None svcomp/pthread-wmm/safe037_pso.oepc.yml true 31.96 19.15 None svcomp/pthread-wmm/safe037_pso.opt.yml true 38.70 22.68 None svcomp/pthread-wmm/safe037_rmo.oepc.yml true 31.28 19.16 None svcomp/pthread-wmm/safe037_rmo.opt.yml true 34.11 19.94 None svcomp/pthread-wmm/safe037_tso.oepc.yml true 34.40 19.93 None svcomp/pthread-wmm/safe037_tso.opt.yml true 31.02 18.41 None svcomp/pthread-wmm/thin000_power.oepc.yml false(unreach-call) 261.83 222.41 None svcomp/pthread-wmm/thin000_power.opt.yml false(unreach-call) 271.22 234.23 None svcomp/pthread-wmm/thin000_pso.oepc.yml true 33.26 21.09 None svcomp/pthread-wmm/thin000_pso.opt.yml true 38.63 24.01 None svcomp/pthread-wmm/thin000_rmo.oepc.yml false(unreach-call) 173.16 143.32 None svcomp/pthread-wmm/thin000_rmo.opt.yml false(unreach-call) 165.08 132.98 None svcomp/pthread-wmm/thin000_tso.oepc.yml true 38.26 23.82 None svcomp/pthread-wmm/thin000_tso.opt.yml true 35.34 21.26 None svcomp/pthread-wmm/thin001_power.oepc.yml false(unreach-call) 466.17 414.13 None svcomp/pthread-wmm/thin001_power.opt.yml false(unreach-call) 282.54 239.48 None svcomp/pthread-wmm/thin001_pso.oepc.yml true 33.80 20.32 None svcomp/pthread-wmm/thin001_pso.opt.yml true 34.39 20.60 None svcomp/pthread-wmm/thin001_rmo.oepc.yml false(unreach-call) 256.07 212.05 None svcomp/pthread-wmm/thin001_rmo.opt.yml false(unreach-call) 276.14 230.62 None svcomp/pthread-wmm/thin001_tso.oepc.yml true 30.17 18.34 None svcomp/pthread-wmm/thin001_tso.opt.yml true 27.52 16.10 None svcomp/pthread-wmm/thin002_power.oepc.yml false(unreach-call) 444.07 387.38 None svcomp/pthread-wmm/thin002_power.opt.yml false(unreach-call) 483.27 414.37 None svcomp/pthread-wmm/thin002_pso.oepc.yml true 43.11 26.73 None svcomp/pthread-wmm/thin002_pso.opt.yml true 49.95 32.24 None svcomp/pthread-wmm/thin002_rmo.oepc.yml false(unreach-call) 269.90 224.76 None svcomp/pthread-wmm/thin002_rmo.opt.yml false(unreach-call) 298.45 246.50 None svcomp/pthread-wmm/thin002_tso.oepc.yml true 43.68 28.08 None svcomp/pthread-wmm/thin002_tso.opt.yml true 46.11 29.44 None svcomp/pthread-lit/fk2012.yml TIMEOUT 922.31 591.49 None svcomp/pthread-lit/fkp2013-1.yml TIMEOUT 906.37 685.87 None svcomp/pthread-lit/fkp2013-2.yml TIMEOUT 906.06 701.59 None svcomp/pthread-lit/fkp2013_variant-1.yml OUT OF MEMORY 522.52 418.84 None svcomp/pthread-lit/fkp2013_variant-2.yml false(unreach-call) 38.79 26.70 None svcomp/pthread-lit/fkp2014.yml OUT OF MEMORY 831.55 554.12 None svcomp/pthread-lit/qw2004-1.yml true 46.29 30.03 None svcomp/pthread-lit/qw2004-2.yml false(unreach-call) 38.38 24.42 None svcomp/pthread-lit/qw2004_variant.yml TIMEOUT 903.37 754.87 None svcomp/pthread-lit/sssc12.yml TIMEOUT 920.46 646.81 None svcomp/pthread-lit/sssc12_variant.yml TIMEOUT 920.62 593.67 None svcomp/ldv-races/race-1_1-join.yml true 52.59 37.93 None svcomp/ldv-races/race-1_2-join.yml false(unreach-call) 62.68 47.12 None svcomp/ldv-races/race-1_3-join.yml false(unreach-call) 72.08 55.74 None svcomp/ldv-races/race-2_1-container_of.yml true 532.22 459.10 None svcomp/ldv-races/race-2_2-container_of.yml false(unreach-call) 210.26 182.82 None svcomp/ldv-races/race-2_3-container_of.yml false(unreach-call) 235.26 207.81 None svcomp/ldv-races/race-2_4-container_of.yml false(unreach-call) 152.62 128.93 None svcomp/ldv-races/race-2_5-container_of.yml false(unreach-call) 269.87 238.48 None svcomp/ldv-races/race-3_1-container_of-global.yml true 571.78 489.95 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 433.69 396.24 None svcomp/ldv-races/race-4_1-thread_local_vars.yml true 163.39 126.90 None svcomp/ldv-races/race-4_2-thread_local_vars.yml false(unreach-call) 190.28 149.06 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 52.75 28.37 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 60.33 32.56 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 605.83 364.35 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 901.16 545.24 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 630.65 376.51 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 901.41 789.05 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml TIMEOUT 906.50 739.84 None svcomp/pthread-complex/bounded_buffer.yml TIMEOUT 901.42 860.33 None svcomp/pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.82 851.61 None svcomp/pthread-complex/safestack_relacy.yml TIMEOUT 903.50 787.51 None svcomp/pthread-complex/workstealqueue_mutex-1.yml TIMEOUT 900.88 856.77 None svcomp/pthread-complex/workstealqueue_mutex-2.yml ERROR: EXCEPTION 454.43 424.38 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 18.45 9.98 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 15.68 8.72 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 15.41 8.60 None svcomp/pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 16.90 9.34 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 14.03 7.69 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 14.78 8.61 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 16.82 9.13 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 16.12 9.12 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 15.09 8.54 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 20.44 10.80 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 18.79 9.97 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 18.11 9.94 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 14.44 8.06 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 15.20 8.79 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 13.79 7.52 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 17.89 9.50 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 16.33 9.27 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 13.88 7.85 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 15.47 8.76 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 14.18 7.90 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 15.80 8.88 None svcomp/pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 900.51 796.13 None svcomp/pthread-C-DAC/pthread-demo-datarace-2.yml TIMEOUT 901.22 826.27 None svcomp/pthread-C-DAC/pthread-finding-k-matches.yml unknown 10.08 5.51 None svcomp/pthread-C-DAC/pthread-numerical-integration.yml unknown 11.17 5.95 None svcomp/pthread-divine/barrier_2t.yml TIMEOUT 901.24 833.07 None svcomp/pthread-divine/barrier_3t.yml TIMEOUT 901.24 828.04 None svcomp/pthread-divine/condvar.yml true 73.44 57.66 None svcomp/pthread-divine/condvar_spurious_wakeup.yml false(unreach-call) 72.86 56.73 None svcomp/pthread-divine/divinefifo-bug_1w1r.yml TIMEOUT 900.64 858.84 None svcomp/pthread-divine/divinefifo_1w1r.yml TIMEOUT 900.66 862.66 None svcomp/pthread-divine/one_time_barrier_2t.yml TIMEOUT 901.49 808.55 None svcomp/pthread-divine/one_time_barrier_3t.yml TIMEOUT 901.15 827.23 None svcomp/pthread-divine/one_time_barrier_twice_2t.yml TIMEOUT 900.80 832.64 None svcomp/pthread-divine/one_time_barrier_twice_3t.yml TIMEOUT 900.94 823.97 None svcomp/pthread-divine/ring_1w1r-1.yml false(unreach-call) 60.75 40.59 None svcomp/pthread-divine/ring_1w1r-2.yml TIMEOUT 901.32 747.47 None svcomp/pthread-divine/ring_2w1r-1.yml OUT OF MEMORY 865.45 699.62 None svcomp/pthread-divine/ring_2w1r-2.yml OUT OF MEMORY 518.60 415.53 None svcomp/pthread-divine/tls_basic.yml unknown 8.37 4.71 None svcomp/pthread-divine/tls_destructor_worker.yml unknown 8.50 4.72 None svcomp/pthread-nondet/nondet-array-1.yml false(unreach-call) 830.53 719.15 None svcomp/pthread-nondet/nondet-array-2.yml TIMEOUT 905.89 704.97 None svcomp/pthread-nondet/nondet-loop-bound-1.yml OUT OF MEMORY 429.70 325.31 None svcomp/pthread-nondet/nondet-loop-bound-2.yml TIMEOUT 900.94 702.91 None svcomp/pthread-nondet/nondet-loop-bound-variant-1.yml TIMEOUT 901.18 742.80 None svcomp/pthread-nondet/nondet-loop-bound-variant-2.yml TIMEOUT 903.53 732.92 None svcomp/goblint-regression/28-race_reach_01-simple_racing.yml TIMEOUT 906.28 779.90 None svcomp/goblint-regression/28-race_reach_02-simple_racefree.yml TIMEOUT 901.19 804.24 None svcomp/goblint-regression/28-race_reach_03-munge_racing.yml TIMEOUT 906.02 569.14 None svcomp/goblint-regression/28-race_reach_04-munge_racefree.yml TIMEOUT 922.39 632.24 None svcomp/goblint-regression/28-race_reach_05-lockfuns_racefree.yml TIMEOUT 922.42 672.65 None svcomp/goblint-regression/28-race_reach_06-cond_racing1.yml TIMEOUT 900.90 846.13 None svcomp/goblint-regression/28-race_reach_07-cond_racing2.yml TIMEOUT 900.71 853.66 None svcomp/goblint-regression/28-race_reach_08-cond_racefree.yml TIMEOUT 900.64 850.18 None svcomp/goblint-regression/28-race_reach_09-ptrmunge_racing.yml TIMEOUT 905.35 752.76 None svcomp/goblint-regression/28-race_reach_10-ptrmunge_racefree.yml TIMEOUT 920.45 748.17 None svcomp/goblint-regression/28-race_reach_11-ptr_racing.yml TIMEOUT 900.88 819.53 None svcomp/goblint-regression/28-race_reach_12-ptr_racefree.yml TIMEOUT 900.99 812.85 None svcomp/goblint-regression/28-race_reach_19-callback_racing.yml TIMEOUT 906.78 761.06 None svcomp/goblint-regression/28-race_reach_20-callback_racefree.yml TIMEOUT 906.07 747.16 None svcomp/goblint-regression/28-race_reach_21-deref_read_racing.yml TIMEOUT 901.02 821.50 None svcomp/goblint-regression/28-race_reach_22-deref_read_racefree.yml TIMEOUT 900.20 819.58 None svcomp/goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 12.11 6.45 None svcomp/goblint-regression/28-race_reach_24-sound_lock_racing.yml TIMEOUT 900.87 825.09 None svcomp/goblint-regression/28-race_reach_27-funptr_racing.yml TIMEOUT 906.43 753.48 None svcomp/goblint-regression/28-race_reach_28-funptr_racefree.yml TIMEOUT 921.98 767.06 None svcomp/goblint-regression/28-race_reach_36-indirect_racefree.yml TIMEOUT 900.71 815.70 None svcomp/goblint-regression/28-race_reach_37-indirect_racing.yml TIMEOUT 901.10 809.32 None svcomp/goblint-regression/28-race_reach_40-trylock_racing.yml unknown 9.46 5.18 None svcomp/goblint-regression/28-race_reach_41-trylock_racefree.yml TIMEOUT 922.37 603.15 None svcomp/goblint-regression/28-race_reach_42-trylock2_racefree.yml TIMEOUT 905.14 759.17 None svcomp/goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 71.46 53.14 None svcomp/goblint-regression/28-race_reach_46-escape_racefree.yml true 66.72 49.23 None svcomp/goblint-regression/28-race_reach_51-mutexptr_racefree.yml TIMEOUT 900.94 824.45 None svcomp/goblint-regression/28-race_reach_60-invariant_racefree.yml TIMEOUT 907.03 693.91 None svcomp/goblint-regression/28-race_reach_61-invariant_racing.yml TIMEOUT 901.51 793.48 None svcomp/goblint-regression/28-race_reach_70-funloop_racefree.yml OUT OF MEMORY 523.23 416.70 None svcomp/goblint-regression/28-race_reach_71-funloop_racing.yml OUT OF MEMORY 837.16 677.71 None svcomp/goblint-regression/28-race_reach_72-funloop_hard_racing.yml OUT OF MEMORY 676.40 544.65 None svcomp/goblint-regression/28-race_reach_73-funloop_hard_racefree.yml TIMEOUT 902.87 726.46 None svcomp/goblint-regression/28-race_reach_74-tricky_address1_racefree.yml KILLED BY SIGNAL 9 501.99 393.21 None svcomp/goblint-regression/28-race_reach_75-tricky_address2_racefree.yml OUT OF MEMORY 615.23 470.66 None svcomp/goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 741.73 604.23 None svcomp/goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 880.51 687.87 None svcomp/goblint-regression/28-race_reach_78-equ_racing.yml TIMEOUT 900.97 823.27 None svcomp/goblint-regression/28-race_reach_79-equ_racefree.yml TIMEOUT 901.69 837.70 None svcomp/goblint-regression/28-race_reach_81-list_racing.yml TIMEOUT 901.13 820.93 None svcomp/goblint-regression/28-race_reach_82-list_racefree.yml TIMEOUT 903.29 835.85 None svcomp/goblint-regression/28-race_reach_83-list2_racing1.yml TIMEOUT 901.79 835.73 None svcomp/goblint-regression/28-race_reach_84-list2_racing2.yml TIMEOUT 901.02 844.73 None svcomp/goblint-regression/28-race_reach_85-list2_racefree.yml TIMEOUT 900.98 843.19 None svcomp/goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 901.37 855.84 None svcomp/goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 901.36 859.79 None svcomp/goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 906.11 867.99 None svcomp/goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 905.91 877.21 None svcomp/goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 906.12 873.94 None svcomp/goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 905.87 876.95 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml TIMEOUT 900.81 856.31 None concurrent/pthreads/NonAtomicIncrement_2Threads.c true 75.86 46.83 None concurrent/pthreads/array_even_odd.c TIMEOUT 904.11 791.33 None concurrent/pthreads/distributed_search2.c TIMEOUT 903.60 861.22 None concurrent/pthreads/distributed_search3.c OUT OF MEMORY 868.77 579.11 None concurrent/pthreads/distributed_search4.c TIMEOUT 902.85 673.82 None concurrent/pthreads/forkFork.c true 33.76 18.77 None concurrent/pthreads/forkJoinNotMod.c false(unreach-call) 64.05 49.83 None concurrent/pthreads/forkMultipleTimes.c false(unreach-call) 26.44 15.41 None concurrent/pthreads/globalVariableMultipleThreads.c false(unreach-call) 45.90 26.24 None concurrent/pthreads/multipleForkSameIdDifferentReturnType.c false(unreach-call) 108.18 88.93 None concurrent/pthreads/predecessorInAtomicBlockBug.c false(unreach-call) 11.66 6.61 None concurrent/pthreads/regression/ForkedModifiesGlobal.c true 8.97 5.00 None concurrent/pthreads/regression/SimpleFunctionPointer.c true 8.44 4.97 None concurrent/pthreads/regression/ThreadIdTest1.c false(unreach-call) 13.68 7.65 None concurrent/pthreads/regression/ThreadIdTest2.c true 15.79 8.58 None concurrent/pthreads/regression/ex1.c true 9.25 5.21 None concurrent/pthreads/regression/forkForkSimple.c true 13.52 7.42 None concurrent/pthreads/regression/forkJoinInLoop.c false(unreach-call) 20.40 11.57 None concurrent/pthreads/regression/forkMultipleParameter.c true 17.71 9.69 None concurrent/pthreads/regression/joinMultipleReturnValues.c true 21.89 12.68 None concurrent/pthreads/regression/mainThreadTerminates.c false(unreach-call) 13.79 8.12 None concurrent/pthreads/regression/pthreadExitNull-safe.c true 9.65 5.40 None concurrent/pthreads/regression/pthreadExitSafe.c true 16.07 8.99 None concurrent/pthreads/regression/pthreadExitUnsafe.c false(unreach-call) 13.61 7.42 None concurrent/pthreads/regression/pthreadJoinCorrectThreadId.c true 13.56 7.57 None concurrent/pthreads/regression/pthreadMutex01-safe.c true 12.50 6.99 None concurrent/pthreads/regression/pthreadMutex02-unsafe.c false(unreach-call) 13.55 7.44 None concurrent/pthreads/regression/pthreadReturn.c true 14.33 8.07 None concurrent/pthreads/regression/simpleReturn.c true 16.17 9.06 None concurrent/pthreads/regression/atomic/01-begin-end.c true 12.81 6.97 None concurrent/pthreads/regression/atomic/02-atomic-function.c true 11.94 6.73 None concurrent/pthreads/regression/atomic/03-assert.c true 12.24 6.84 None concurrent/pthreads/regression/atomic/04-if-else.c true 12.26 6.75 None concurrent/pthreads/regression/atomic/05-end-no-begin.c false(unreach-call) 13.42 7.48 None concurrent/pthreads/regression/atomic/06-begin-no-end.c true 11.01 6.18 None concurrent/pthreads/regression/atomic/07-return-before-end.c true 13.49 7.45 None concurrent/pthreads/regression/atomic/08-abort-before-end.c true 12.04 6.68 None concurrent/pthreads/regression/atomic/09a-return-after-end.c true 15.18 8.28 None concurrent/pthreads/regression/atomic/09b-return-after-end.c false(unreach-call) 15.00 8.20 None concurrent/pthreads/regression/atomic/10-double-begin.c ERROR: EXCEPTION 9.24 5.33 None concurrent/pthreads/regression/atomic/11a-double-end.c true 13.88 7.60 None concurrent/pthreads/regression/atomic/11b-double-end.c false(unreach-call) 13.54 7.41 None concurrent/pthreads/regression/atomic/11c-double-end.c true 11.52 6.44 None concurrent/pthreads/regression/atomic/12-loop-within.c ERROR: EXCEPTION 9.49 5.35 None concurrent/pthreads/regression/atomic/13-loop-after.c true 13.98 7.73 None concurrent/pthreads/regression/atomic/14a-subsequent-blocks.c true 12.53 6.95 None concurrent/pthreads/regression/atomic/14b-subsequent-blocks.c false(unreach-call) 11.84 6.51 None concurrent/pthreads/regression/atomic/15-goto-within.c true 14.34 7.87 None concurrent/pthreads/regression/atomic/16-goto-outside.c false(unreach-call) 12.32 6.90 None concurrent/pthreads/regression/atomic/17-pthread_exit.c true 14.23 7.76 None concurrent/pthreads/regression/atomic/18-conditional-atomic.c true 16.49 9.27 None concurrent/bpl/LBE_bigexample_safe.bpl true 24.58 12.82 None concurrent/bpl/LBE_bigexample_safe_BA.bpl true 68.46 48.80 None concurrent/bpl/MirabelleConcurrentIncrement.bpl true 28.88 18.48 None concurrent/bpl/NonAtomicIncrement_2Threads_Loop.bpl true 23.96 13.60 None concurrent/bpl/array_even_odd.bpl TIMEOUT 901.55 834.62 None concurrent/bpl/array_even_odd_modified_unsafe.bpl false(unreach-call) 173.32 138.11 None concurrent/bpl/fork_loop_inc.bpl TIMEOUT 922.35 574.60 None concurrent/bpl/fork_loop_local.bpl TIMEOUT 905.28 708.39 None concurrent/bpl/fork_loop_mutex.bpl TIMEOUT 902.78 683.48 None concurrent/bpl/fork_loop_noop.bpl TIMEOUT 900.54 791.08 None concurrent/bpl/fork_loop_unsafe.bpl false(unreach-call) 772.38 670.29 None concurrent/bpl/pthread_fkp_2014.bpl ERROR: TYPE ERROR 5.49 2.94 None concurrent/bpl/pthread_inc.bpl TIMEOUT 920.69 659.74 None concurrent/bpl/pthread_nondet_loop_bound.bpl TIMEOUT 902.76 816.70 None concurrent/bpl/sum_invariant.bpl true 9.89 5.43 None concurrent/bpl/regression/ForkInForkedProcedure01.bpl false(unreach-call) 8.36 4.71 None concurrent/bpl/regression/ForkInForkedProcedure02.bpl true 8.12 4.47 None concurrent/bpl/regression/ForkInLoop02-Incrementer.bpl false(unreach-call) 70.39 43.50 None concurrent/bpl/regression/JoinTheForkingThread.bpl false(unreach-call) 7.63 4.21 None concurrent/bpl/regression/LBE_Y_to_V.bpl true 7.13 4.01 None concurrent/bpl/regression/LBE_example_semanticCheck.bpl true 7.20 3.97 None concurrent/bpl/regression/SpecificationInliningProblem.bpl true 8.36 4.50 None concurrent/bpl/regression/ThreadIdListTest-Safe.bpl true 7.39 4.15 None concurrent/bpl/regression/ThreadIdTest-Safe.bpl true 8.40 4.57 None concurrent/bpl/regression/ThreadIdTest-Unsafe.bpl false(unreach-call) 7.38 4.03 None concurrent/bpl/regression/ThyssenKruppRelegation.bpl false(unreach-call) 7.63 4.15 None concurrent/bpl/regression/assume_false.bpl false(unreach-call) 7.53 4.17 None concurrent/bpl/regression/atomic.bpl true 7.59 4.16 None concurrent/bpl/regression/cutoff_test.bpl false(unreach-call) 7.75 4.27 None concurrent/bpl/regression/example1.bpl false(unreach-call) 7.70 4.22 None concurrent/bpl/regression/example2.bpl true 7.69 4.17 None concurrent/bpl/regression/example_epsilon_write.bpl true 8.24 4.49 None concurrent/bpl/regression/example_interleaving.bpl true 9.52 5.15 None concurrent/bpl/regression/example_interleaving_simple.bpl true 8.32 4.49 None concurrent/bpl/regression/example_multiple_interleavings.bpl true 8.48 4.55 None concurrent/bpl/regression/example_unnecessary_interleavings.bpl true 8.53 4.67 None concurrent/bpl/regression/fork_in_loop.bpl false(unreach-call) 9.54 5.12 None concurrent/bpl/regression/fork_join_NotMod.bpl true 8.01 4.39 None concurrent/bpl/regression/fork_join_expression_type_not_found.bpl true 6.65 3.71 None concurrent/bpl/regression/fork_join_in_loop.bpl true 7.10 3.91 None concurrent/bpl/regression/fork_multiple_parameter.bpl true 9.13 5.04 None concurrent/bpl/regression/fork_multiple_times.bpl true 6.52 3.67 None concurrent/bpl/regression/fork_unchanged_local_variables2.bpl false(unreach-call) 8.42 4.60 None concurrent/bpl/regression/join_multiple_return_values.bpl true 9.09 5.00 None concurrent/bpl/regression/multiple_fork_same_id.bpl false(unreach-call) 8.43 4.57 None concurrent/bpl/regression/multiple_fork_same_id_different_return_type.bpl true 8.51 4.65 None concurrent/bpl/regression/multiple_fork_statements_different_types.bpl false(unreach-call) 7.83 4.30 None concurrent/bpl/regression/nested_fork.bpl false(unreach-call) 7.07 3.87 None concurrent/bpl/regression/showcase/Bakery.bpl true 11.86 6.31 None concurrent/bpl/regression/showcase/Fischer.bpl true 14.50 7.63 None concurrent/bpl/regression/showcase/FischerWithBug.bpl false(unreach-call) 11.41 6.08 None concurrent/bpl/regression/showcase/ForkJoinExplained.bpl true 11.69 6.31 None concurrent/bpl/regression/showcase/NonAtomicIncrement_2Threads.bpl false(unreach-call) 12.16 6.59 None concurrent/bpl/regression/showcase/Peterson.bpl true 9.93 5.31 None concurrent/bpl/regression/showcase/PetersonWithBug.bpl false(unreach-call) 10.30 5.53 None concurrent/bpl/mcr/example_10.bpl TIMEOUT 922.39 610.89 None concurrent/bpl/mcr/example_11.bpl TIMEOUT 922.22 548.28 None concurrent/bpl/mcr/example_12.bpl OUT OF MEMORY 528.02 396.36 None concurrent/bpl/mcr/example_13.bpl OUT OF MEMORY 464.58 341.98 None concurrent/bpl/mcr/example_14.bpl OUT OF MEMORY 856.07 551.45 None concurrent/bpl/mcr/example_15.bpl TIMEOUT 921.23 564.73 None concurrent/bpl/mcr/example_16.bpl TIMEOUT 906.69 622.42 None concurrent/bpl/mcr/example_17.bpl OUT OF MEMORY 454.52 271.44 None concurrent/bpl/mcr/example_18.bpl OUT OF MEMORY 534.94 312.24 None concurrent/bpl/mcr/example_19.bpl OUT OF MEMORY 524.47 302.99 None concurrent/bpl/mcr/example_2.bpl true 8.81 4.75 None concurrent/bpl/mcr/example_20.bpl OUT OF MEMORY 622.06 357.98 None concurrent/bpl/mcr/example_3.bpl true 10.78 5.83 None concurrent/bpl/mcr/example_4.bpl true 16.30 8.60 None concurrent/bpl/mcr/example_5.bpl true 89.72 51.35 None concurrent/bpl/mcr/example_6.bpl TIMEOUT 901.46 828.63 None concurrent/bpl/mcr/example_7.bpl TIMEOUT 902.39 792.80 None concurrent/bpl/mcr/example_8.bpl TIMEOUT 901.15 757.68 None concurrent/bpl/mcr/example_9.bpl TIMEOUT 922.15 594.54 None concurrent/bpl/weaver-benchmarks/generated/array-eq-symm.wvr.yml TIMEOUT 900.90 804.89 None concurrent/bpl/weaver-benchmarks/generated/array-eq-trans.wvr.yml TIMEOUT 901.25 781.26 None concurrent/bpl/weaver-benchmarks/generated/clever.wvr.yml TIMEOUT 900.68 808.59 None concurrent/bpl/weaver-benchmarks/generated/fibonacci.wvr.yml TIMEOUT 901.68 819.79 None concurrent/bpl/weaver-benchmarks/generated/loop-tiling-eq.wvr.yml TIMEOUT 900.70 821.88 None concurrent/bpl/weaver-benchmarks/generated/mult-comm.wvr.yml TIMEOUT 905.47 868.54 None concurrent/bpl/weaver-benchmarks/generated/mult-dist.wvr.yml TIMEOUT 900.82 799.22 None concurrent/bpl/weaver-benchmarks/generated/mult-flipped-dist.wvr.yml TIMEOUT 901.30 820.29 None concurrent/bpl/weaver-benchmarks/generated/security.wvr.yml true 11.61 6.24 None concurrent/bpl/weaver-benchmarks/generated/spaghetti.wvr.yml true 10.23 5.55 None concurrent/bpl/weaver-benchmarks/generated/unroll-2.wvr.yml TIMEOUT 900.47 821.47 None concurrent/bpl/weaver-benchmarks/generated/unroll-3.wvr.yml TIMEOUT 901.03 807.98 None concurrent/bpl/weaver-benchmarks/generated/unroll-4.wvr.yml TIMEOUT 901.02 800.50 None concurrent/bpl/weaver-benchmarks/generated/unroll-5.wvr.yml TIMEOUT 900.55 824.40 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-2.wvr.yml TIMEOUT 901.30 821.39 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-3.wvr.yml TIMEOUT 900.65 820.18 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-4.wvr.yml TIMEOUT 901.97 822.46 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-5.wvr.yml TIMEOUT 905.70 879.69 None concurrent/bpl/weaver-benchmarks/generated/bench/exp1x3.wvr.yml TIMEOUT 901.44 814.05 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x3.wvr.yml OUT OF MEMORY 484.53 410.01 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x4.wvr.yml TIMEOUT 901.48 756.68 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x6.wvr.yml TIMEOUT 902.03 756.88 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x9.wvr.yml TIMEOUT 903.00 745.18 None concurrent/bpl/weaver-benchmarks/generated/bench/exp3x3-opt.wvr.yml TIMEOUT 905.76 713.96 None concurrent/bpl/weaver-benchmarks/generated/bench/exp3x3.wvr.yml TIMEOUT 905.51 758.62 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-subst.wvr.yml TIMEOUT 901.23 787.20 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-symm.wvr.yml TIMEOUT 901.36 825.31 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-trans.wvr.yml TIMEOUT 900.41 804.92 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-opt-symm.wvr.yml TIMEOUT 901.54 813.96 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-subst.wvr.yml TIMEOUT 900.56 729.00 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-symm.wvr.yml TIMEOUT 901.00 829.60 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-trans.wvr.yml TIMEOUT 906.41 826.73 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-subst.wvr.yml true 40.33 24.76 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-symm.wvr.yml true 16.15 8.58 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-trans.wvr.yml true 31.07 17.50 None concurrent/bpl/weaver-benchmarks/generated/chl/container-subst.wvr.yml true 34.01 20.40 None concurrent/bpl/weaver-benchmarks/generated/chl/container-symm.wvr.yml true 14.49 7.75 None concurrent/bpl/weaver-benchmarks/generated/chl/container-trans.wvr.yml true 30.05 17.11 None concurrent/bpl/weaver-benchmarks/generated/chl/exp-term-subst.wvr.yml true 17.98 10.03 None concurrent/bpl/weaver-benchmarks/generated/chl/exp-term-symm.wvr.yml true 10.15 5.51 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-subst.wvr.yml true 22.82 12.93 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-symm.wvr.yml true 11.06 5.99 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-trans.wvr.yml true 14.21 7.63 None concurrent/bpl/weaver-benchmarks/generated/chl/match-subst.wvr.yml true 18.67 10.23 None concurrent/bpl/weaver-benchmarks/generated/chl/match-symm.wvr.yml true 10.47 5.64 None concurrent/bpl/weaver-benchmarks/generated/chl/match-trans.wvr.yml true 13.04 6.99 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-subst.wvr.yml TIMEOUT 901.34 780.01 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-symm.wvr.yml TIMEOUT 901.09 828.23 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-trans.wvr.yml TIMEOUT 902.41 832.20 None concurrent/bpl/weaver-benchmarks/generated/chl/node-subst.wvr.yml true 21.42 12.01 None concurrent/bpl/weaver-benchmarks/generated/chl/node-symm.wvr.yml true 10.70 5.77 None concurrent/bpl/weaver-benchmarks/generated/chl/node-trans.wvr.yml true 13.33 7.11 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-subst.wvr.yml TIMEOUT 902.12 774.49 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-symm.wvr.yml TIMEOUT 900.93 816.58 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-trans.wvr.yml TIMEOUT 901.76 766.18 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-subst.wvr.yml TIMEOUT 902.91 777.80 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-symm.wvr.yml TIMEOUT 901.08 823.72 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-trans.wvr.yml TIMEOUT 900.86 747.39 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-subst.wvr.yml true 16.14 8.89 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-symm.wvr.yml true 9.83 5.34 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-trans.wvr.yml true 12.16 6.52 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-subst.wvr.yml true 14.41 7.83 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-symm.wvr.yml true 10.09 5.44 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-trans.wvr.yml true 8.72 4.76 None concurrent/bpl/weaver-benchmarks/generated/chl/time-subst.wvr.yml true 14.24 7.74 None concurrent/bpl/weaver-benchmarks/generated/chl/time-symm.wvr.yml true 9.12 5.00 None concurrent/bpl/weaver-benchmarks/generated/chl/time-trans.wvr.yml true 11.19 6.01 None concurrent/bpl/weaver-benchmarks/generated/chl/word-subst.wvr.yml TIMEOUT 901.55 807.10 None concurrent/bpl/weaver-benchmarks/generated/chl/word-symm.wvr.yml TIMEOUT 900.76 825.41 None concurrent/bpl/weaver-benchmarks/generated/chl/word-trans.wvr.yml TIMEOUT 901.30 787.68 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-2.wvr.yml true 11.90 6.40 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-3.wvr.yml OUT OF MEMORY 474.83 397.74 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-4.wvr.yml OUT OF MEMORY 413.58 313.25 None concurrent/bpl/weaver-benchmarks/generated/parallel/barrier-loop.wvr.yml false(unreach-call) 13.45 7.10 None concurrent/bpl/weaver-benchmarks/generated/parallel/barrier.wvr.yml TIMEOUT 902.22 782.92 None concurrent/bpl/weaver-benchmarks/generated/parallel/bluetooth.wvr.yml true 10.38 5.60 None concurrent/bpl/weaver-benchmarks/generated/parallel/lamport.wvr.yml true 21.89 11.43 None concurrent/bpl/weaver-benchmarks/generated/parallel/min-max-1.wvr.yml true 11.58 6.21 None concurrent/bpl/weaver-benchmarks/generated/parallel/min-max-2.wvr.yml TIMEOUT 900.89 718.71 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-1.wvr.yml TIMEOUT 905.66 829.83 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2-unrolled-atomic.wvr.yml true 8.30 4.48 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2-unrolled.wvr.yml true 9.00 4.95 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2.wvr.yml TIMEOUT 900.99 812.68 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-3-extended.wvr.yml TIMEOUT 901.22 777.11 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-3.wvr.yml true 20.89 12.53 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-4.wvr.yml true 17.17 9.80 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-5.wvr.yml TIMEOUT 901.22 814.97 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 779.03 662.88 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-1.wvr.yml TIMEOUT 907.63 703.21 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-2.wvr.yml TIMEOUT 901.86 787.22 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-equiv.wvr.yml TIMEOUT 900.73 784.94 None concurrent/bpl/weaver-benchmarks/generated/parallel/simple-equiv.wvr.yml true 9.44 5.13 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-2.wvr.yml true 10.60 5.69 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-3.wvr.yml true 15.34 8.14 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-4.wvr.yml true 43.54 23.16 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-5.wvr.yml true 461.17 411.10 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-6.wvr.yml TIMEOUT 900.64 805.77 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-7.wvr.yml TIMEOUT 900.96 741.36 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-8.wvr.yml TIMEOUT 920.75 584.03 None concurrent/bpl/weaver-benchmarks/generated/popl20/channel-sum.wvr.yml TIMEOUT 901.29 778.11 None concurrent/bpl/weaver-benchmarks/generated/popl20/commit-1.wvr.yml true 16.21 8.98 None concurrent/bpl/weaver-benchmarks/generated/popl20/commit-2.wvr.yml true 34.28 19.45 None concurrent/bpl/weaver-benchmarks/generated/popl20/counter-determinism.wvr.yml TIMEOUT 902.47 811.04 None concurrent/bpl/weaver-benchmarks/generated/popl20/counter-fun.wvr.yml TIMEOUT 901.14 815.12 None concurrent/bpl/weaver-benchmarks/generated/popl20/difference-det.wvr.yml TIMEOUT 911.60 731.88 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure1-alt.wvr.yml true 17.92 10.87 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure1.wvr.yml TIMEOUT 904.69 821.75 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure3.wvr.yml TIMEOUT 901.11 824.56 None concurrent/bpl/weaver-benchmarks/generated/popl20/horseshoe.wvr.yml TIMEOUT 901.00 772.97 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-dec.wvr.yml true 184.82 151.68 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-inc-dec.wvr.yml TIMEOUT 902.41 715.55 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-inc.wvr.yml true 650.68 578.90 None concurrent/bpl/weaver-benchmarks/generated/popl20/mult-4.wvr.yml TIMEOUT 900.93 782.62 None concurrent/bpl/weaver-benchmarks/generated/popl20/mult-equiv.wvr.yml TIMEOUT 901.25 818.35 None concurrent/bpl/weaver-benchmarks/generated/popl20/nonblocking-cntr-alt.wvr.yml TIMEOUT 901.38 812.50 None concurrent/bpl/weaver-benchmarks/generated/popl20/nonblocking-cntr.wvr.yml TIMEOUT 900.57 822.42 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons-eq.wvr.yml TIMEOUT 901.03 803.55 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons.wvr.yml TIMEOUT 902.00 823.74 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons3.wvr.yml TIMEOUT 907.47 742.51 None concurrent/bpl/weaver-benchmarks/generated/popl20/queue-add-2.wvr.yml TIMEOUT 901.31 786.43 None concurrent/bpl/weaver-benchmarks/generated/popl20/queue-add-3.wvr.yml OUT OF MEMORY 740.82 640.93 None concurrent/bpl/weaver-benchmarks/generated/popl20/send-receive-alt.wvr.yml TIMEOUT 900.79 770.50 None concurrent/bpl/weaver-benchmarks/generated/popl20/send-receive.wvr.yml TIMEOUT 906.48 810.14 None concurrent/bpl/weaver-benchmarks/generated/popl20/simple-array-sum.wvr.yml TIMEOUT 902.49 796.20 None concurrent/bpl/weaver-benchmarks/generated/popl20/simple-queue.wvr.yml TIMEOUT 901.87 791.23 None concurrent/bpl/weaver-benchmarks/generated/popl20/threaded-sum-3.wvr.yml TIMEOUT 900.73 792.79 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-max.wvr.yml TIMEOUT 901.34 794.60 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-min.wvr.yml TIMEOUT 902.04 800.34 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-sum.wvr.yml TIMEOUT 901.26 807.28 None concurrent/bpl/weaver-benchmarks/generated/popl20/two-queue.wvr.yml true 251.41 198.14 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/buffer-mult-alt.wvr.yml TIMEOUT 905.12 747.15 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/commit-1.wvr.yml true 69.66 48.13 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/commit-2.wvr.yml TIMEOUT 900.97 806.85 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/counter-queue.wvr.yml TIMEOUT 901.25 817.24 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/dot-product-alt.wvr.yml TIMEOUT 905.88 828.46 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/dot-product.wvr.yml TIMEOUT 901.19 760.35 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/ring-nondet.wvr.yml TIMEOUT 900.67 803.69 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/ring.wvr.yml true 34.78 19.98 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/threaded-sum-2.wvr.yml TIMEOUT 901.51 818.05 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/three-array-sum-alt.wvr.yml TIMEOUT 901.46 810.92 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/array-sum-alt.wvr.yml TIMEOUT 900.42 816.41 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/array-sum.wvr.yml TIMEOUT 900.80 796.36 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-mult.wvr.yml TIMEOUT 901.46 730.56 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-series-array.wvr.yml TIMEOUT 904.69 768.70 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-series.wvr.yml OUT OF MEMORY 786.42 708.64 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dec-subseq-array.wvr.yml TIMEOUT 902.22 803.94 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dec-subseq.wvr.yml TIMEOUT 905.77 805.90 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dot-product-array.wvr.yml TIMEOUT 906.18 821.47 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dot-product.wvr.yml TIMEOUT 906.17 824.66 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/inc-subseq-array.wvr.yml TIMEOUT 905.53 817.55 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/inc-subseq.wvr.yml TIMEOUT 901.18 815.15 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-array-hom.wvr.yml TIMEOUT 901.38 776.78 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-array.wvr.yml TIMEOUT 901.10 784.84 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-fun-alt.wvr.yml TIMEOUT 901.47 795.04 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-fun.wvr.yml TIMEOUT 901.06 792.02 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-array-hom.wvr.yml TIMEOUT 900.94 789.04 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-array.wvr.yml TIMEOUT 901.34 789.48 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-fun-alt.wvr.yml TIMEOUT 901.34 787.32 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-fun.wvr.yml TIMEOUT 901.39 786.82 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-le-max.wvr.yml true 10.17 5.69 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/mts-array.wvr.yml TIMEOUT 900.88 792.84 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/mts.wvr.yml TIMEOUT 900.73 790.46 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/multiply-verify.wvr.yml TIMEOUT 901.36 813.23 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/nonblocking-counter-alt2.wvr.yml TIMEOUT 901.21 813.85 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/parray-copy.wvr.yml TIMEOUT 901.33 803.69 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/queue-add-2-nl.wvr.yml TIMEOUT 901.09 818.24 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/queue-add-3-nl.wvr.yml TIMEOUT 901.07 788.84 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sorted.wvr.yml TIMEOUT 901.16 801.26 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-array-hom.wvr.yml TIMEOUT 901.40 799.05 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-array.wvr.yml TIMEOUT 901.09 801.96 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-fun-alt.wvr.yml TIMEOUT 900.62 803.22 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-fun.wvr.yml TIMEOUT 900.78 802.42 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/vector-add.wvr.yml TIMEOUT 900.81 796.86 None concurrent/bpl/weaver-benchmarks/generated/popl20-proofs/counter-add-4-semi-Q67.wvr.yml TIMEOUT 904.32 752.61 None concurrent/bpl/weaver-benchmarks/generated/test/context1.wvr.yml TIMEOUT 901.11 825.37 None concurrent/bpl/weaver-benchmarks/generated/test/easy1.wvr.yml true 40.35 27.98 None concurrent/bpl/weaver-benchmarks/generated/test/easy10.wvr.yml TIMEOUT 901.21 768.11 None concurrent/bpl/weaver-benchmarks/generated/test/easy11.wvr.yml true 27.10 15.60 None concurrent/bpl/weaver-benchmarks/generated/test/easy6.wvr.yml true 14.88 7.95 None concurrent/bpl/weaver-benchmarks/generated/test/easy7.wvr.yml true 8.73 4.81 None concurrent/bpl/weaver-benchmarks/generated/test/easy8.wvr.yml true 8.05 4.48 None concurrent/bpl/weaver-benchmarks/generated/test/hard1.wvr.yml TIMEOUT 901.12 784.79 None concurrent/bpl/weaver-benchmarks/generated/test/semi1.wvr.yml true 8.49 4.60 None ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 485914.70 63885.31 - Statistics: 1438 Files correct: 835 correct true: 218 correct false: 617 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 507 Score: 1053 (max: 1778)