BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency-insufficient-separately.xml name: concurrency-insufficient-separately run sets: Automizer FA, Automizer FA.Separately date: Mon, 2022-01-17 21:54:51 CET tool: ULTIMATE Automizer 0.2.2-bc795268 tool executable: ./Ultimate.py options: --force-no-wrapper parallel runs: 7 resource limits: - memory: 16000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 16000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-5.11.22-4-pve-x86_64-with-glibc2.31 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 4549.121 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ Automizer FA Run set 1 of 2 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/pthread/bigshot_p.yml false(unreach-call) 10.49 6.17 None svcomp/pthread/bigshot_s.yml UNKNOWN: OverapproxCex 7.96 4.68 None svcomp/pthread/bigshot_s2.yml UNKNOWN: OverapproxCex 9.79 5.73 None svcomp/pthread/fib_safe-10.yml TIMEOUT 900.97 875.89 None svcomp/pthread/fib_safe-11.yml TIMEOUT 901.16 865.43 None svcomp/pthread/fib_safe-12.yml TIMEOUT 901.06 871.44 None svcomp/pthread/fib_safe-5.yml ERROR: EXCEPTION 695.66 678.87 None svcomp/pthread/fib_safe-6.yml TIMEOUT 901.52 874.74 None svcomp/pthread/fib_safe-7.yml TIMEOUT 901.15 862.87 None svcomp/pthread/fib_unsafe-10.yml TIMEOUT 900.70 869.20 None svcomp/pthread/fib_unsafe-11.yml TIMEOUT 900.86 883.93 None svcomp/pthread/fib_unsafe-12.yml TIMEOUT 901.24 861.93 None svcomp/pthread/fib_unsafe-5.yml TIMEOUT 901.81 868.88 None svcomp/pthread/fib_unsafe-6.yml ERROR: EXCEPTION 845.11 820.09 None svcomp/pthread/fib_unsafe-7.yml TIMEOUT 900.45 856.65 None svcomp/pthread/indexer.yml TIMEOUT 901.68 889.84 None svcomp/pthread/lazy01.yml false(unreach-call) 9.00 5.24 None svcomp/pthread/queue.yml TIMEOUT 901.01 863.56 None svcomp/pthread/queue_longer.yml TIMEOUT 901.21 843.68 None svcomp/pthread/queue_longest.yml TIMEOUT 901.39 807.25 None svcomp/pthread/queue_ok.yml TIMEOUT 900.98 833.18 None svcomp/pthread/queue_ok_longer.yml TIMEOUT 902.44 775.79 None svcomp/pthread/queue_ok_longest.yml TIMEOUT 902.43 784.57 None svcomp/pthread/reorder_2.yml ERROR: EXCEPTION 5.24 3.32 None svcomp/pthread/reorder_5.yml ERROR: EXCEPTION 5.87 3.42 None svcomp/pthread/sigma.yml OUT OF MEMORY 351.42 210.04 None svcomp/pthread/singleton.yml false(unreach-call) 12.25 7.19 None svcomp/pthread/singleton_with-uninit-problems.yml true 13.94 7.57 None svcomp/pthread/stack-1.yml TIMEOUT 900.92 860.06 None svcomp/pthread/stack-2.yml false(unreach-call) 35.94 21.74 None svcomp/pthread/stack_longer-1.yml false(unreach-call) 30.72 17.75 None svcomp/pthread/stack_longer-2.yml TIMEOUT 900.98 871.56 None svcomp/pthread/stack_longest-1.yml false(unreach-call) 29.50 17.81 None svcomp/pthread/stack_longest-2.yml TIMEOUT (ERROR: EXCEPTION) 901.81 882.47 None svcomp/pthread/stateful01-1.yml false(unreach-call) 7.63 4.37 None svcomp/pthread/stateful01-2.yml true 8.44 4.88 None svcomp/pthread/sync01.yml true 9.75 5.38 None svcomp/pthread/triangular-1.yml true 16.80 10.47 None svcomp/pthread/triangular-2.yml false(unreach-call) 18.03 10.42 None svcomp/pthread/triangular-longer-1.yml true 20.40 12.69 None svcomp/pthread/triangular-longer-2.yml false(unreach-call) 29.36 16.49 None svcomp/pthread/triangular-longest-1.yml true 45.04 26.98 None svcomp/pthread/triangular-longest-2.yml false(unreach-call) 26.76 16.14 None svcomp/pthread/twostage_3.yml ERROR: EXCEPTION 7.58 4.50 None svcomp/pthread-atomic/dekker.yml true 10.60 6.13 None svcomp/pthread-atomic/gcd-2.yml TIMEOUT 901.63 891.07 None svcomp/pthread-atomic/lamport.yml true 14.31 8.02 None svcomp/pthread-atomic/peterson.yml true 9.99 5.91 None svcomp/pthread-atomic/qrcu-1.yml true 120.58 74.15 None svcomp/pthread-atomic/qrcu-2.yml false(unreach-call) 48.51 27.57 None svcomp/pthread-atomic/read_write_lock-1.yml true 53.55 31.76 None svcomp/pthread-atomic/read_write_lock-2.yml false(unreach-call) 54.65 32.10 None svcomp/pthread-atomic/scull.yml OUT OF MEMORY 319.23 175.29 None svcomp/pthread-atomic/szymanski.yml true 11.60 6.28 None svcomp/pthread-atomic/time_var_mutex.yml true 10.43 5.67 None svcomp/pthread-ext/01b_inc.yml OUT OF MEMORY 370.83 201.38 None svcomp/pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 7.63 4.64 None svcomp/pthread-ext/03_incdec.yml OUT OF MEMORY 334.14 181.69 None svcomp/pthread-ext/04_incdec_cas.yml OUT OF MEMORY 285.68 161.40 None svcomp/pthread-ext/05_tas.yml OUT OF MEMORY 310.26 172.54 None svcomp/pthread-ext/06_ticket.yml OUT OF MEMORY 298.32 172.53 None svcomp/pthread-ext/07_rand.yml OUT OF MEMORY 336.12 184.86 None svcomp/pthread-ext/08_rand_cas.yml OUT OF MEMORY 275.34 149.92 None svcomp/pthread-ext/09_fmaxsym.yml OUT OF MEMORY 267.95 150.41 None svcomp/pthread-ext/10_fmaxsym_cas.yml OUT OF MEMORY 380.57 213.89 None svcomp/pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 275.30 155.00 None svcomp/pthread-ext/12_fmaxsymopt_cas.yml OUT OF MEMORY 398.16 223.68 None svcomp/pthread-ext/13_unverif.yml OUT OF MEMORY 466.04 267.48 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 266.41 153.70 None svcomp/pthread-ext/17_szymanski.yml true 8.08 5.03 None svcomp/pthread-ext/18_read_write_lock.yml true 7.31 4.27 None svcomp/pthread-ext/23_lu-fig2.fixed.yml true 7.82 4.76 None svcomp/pthread-ext/25_stack.yml OUT OF MEMORY 286.61 159.50 None svcomp/pthread-ext/25_stack_longer-1.yml OUT OF MEMORY 528.48 296.65 None svcomp/pthread-ext/25_stack_longer-2.yml OUT OF MEMORY 269.62 151.72 None svcomp/pthread-ext/25_stack_longest-1.yml OUT OF MEMORY 371.57 202.33 None svcomp/pthread-ext/25_stack_longest-2.yml OUT OF MEMORY 509.03 285.65 None svcomp/pthread-ext/26_stack_cas.yml OUT OF MEMORY 228.50 127.79 None svcomp/pthread-ext/26_stack_cas_longer-1.yml OUT OF MEMORY 221.81 130.42 None svcomp/pthread-ext/26_stack_cas_longer-2.yml OUT OF MEMORY 219.00 122.33 None svcomp/pthread-ext/26_stack_cas_longest-1.yml OUT OF MEMORY 304.36 165.92 None svcomp/pthread-ext/26_stack_cas_longest-2.yml OUT OF MEMORY 231.13 128.41 None svcomp/pthread-ext/27_Boop_simple_vf.yml OUT OF MEMORY 337.44 214.08 None svcomp/pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 9.47 5.39 None svcomp/pthread-ext/29_conditionals_vs.yml OUT OF MEMORY 263.76 152.37 None svcomp/pthread-ext/30_Function_Pointer3_vs.yml OUT OF MEMORY 353.97 195.95 None svcomp/pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 300.29 178.44 None svcomp/pthread-ext/32_pthread5_vs.yml OUT OF MEMORY 542.03 310.72 None svcomp/pthread-ext/33_double_lock_p1_vs.yml OUT OF MEMORY 310.47 174.68 None svcomp/pthread-ext/34_double_lock_p2_vs.yml OUT OF MEMORY 318.87 176.03 None svcomp/pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 267.27 157.44 None svcomp/pthread-ext/36_stack_cas_p0_vs_concur.yml OUT OF MEMORY 339.58 196.66 None svcomp/pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 370.05 206.89 None svcomp/pthread-ext/38_rand_cas_vs_concur.yml OUT OF MEMORY 317.21 184.47 None svcomp/pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 321.00 187.36 None svcomp/pthread-ext/40_barrier_vf.yml OUT OF MEMORY 405.55 224.59 None svcomp/pthread-ext/42_FreeBSD_rdma_addr_sliced.yml OUT OF MEMORY 220.28 123.69 None svcomp/pthread-ext/43_NetBSD_sysmon_power_sliced.yml ERROR: TYPE ERROR 5.52 3.51 None svcomp/pthread-ext/44_Solaris_space_map_sliced.yml OUT OF MEMORY 239.97 135.16 None svcomp/pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 430.17 269.78 None svcomp/pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 389.99 230.08 None svcomp/pthread-ext/47_ticket_lock_hc_backoff_vs.yml OUT OF MEMORY 370.01 210.16 None svcomp/pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 332.16 195.77 None svcomp/pthread-wmm/mix000.oepc.yml false(unreach-call) 12.58 7.16 None svcomp/pthread-wmm/mix000.opt.yml false(unreach-call) 13.23 7.81 None svcomp/pthread-wmm/mix001.oepc.yml false(unreach-call) 25.07 13.95 None svcomp/pthread-wmm/mix001.opt.yml false(unreach-call) 19.98 10.79 None svcomp/pthread-wmm/mix002.oepc.yml false(unreach-call) 23.02 12.95 None svcomp/pthread-wmm/mix002.opt.yml false(unreach-call) 21.23 11.91 None svcomp/pthread-wmm/mix003.oepc.yml false(unreach-call) 26.71 14.01 None svcomp/pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 18.33 10.20 None svcomp/pthread-wmm/mix004.oepc.yml false(unreach-call) 65.08 41.26 None svcomp/pthread-wmm/mix004.opt.yml false(unreach-call) 51.86 31.49 None svcomp/pthread-wmm/mix005.opt.yml false(unreach-call) 82.66 49.20 None svcomp/pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 102.48 66.79 None svcomp/pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 98.07 64.19 None svcomp/pthread-wmm/mix006.opt.yml false(unreach-call) 26.69 13.89 None svcomp/pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 32.20 17.29 None svcomp/pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 33.79 17.83 None svcomp/pthread-wmm/mix007.oepc.yml false(unreach-call) 99.18 63.61 None svcomp/pthread-wmm/mix007.opt.yml false(unreach-call) 69.89 41.22 None svcomp/pthread-wmm/mix008.opt.yml false(unreach-call) 93.64 60.30 None svcomp/pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 104.86 67.34 None svcomp/pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 79.49 50.94 None svcomp/pthread-wmm/mix009.oepc.yml false(unreach-call) 16.77 9.25 None svcomp/pthread-wmm/mix009.opt.yml false(unreach-call) 18.05 9.87 None svcomp/pthread-wmm/mix010.oepc.yml false(unreach-call) 19.90 13.73 None svcomp/pthread-wmm/mix010.opt.yml false(unreach-call) 25.79 13.85 None svcomp/pthread-wmm/mix011.opt.yml false(unreach-call) 28.46 14.69 None svcomp/pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 23.29 15.39 None svcomp/pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 37.00 19.65 None svcomp/pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 13.65 7.88 None svcomp/pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 11.58 6.96 None svcomp/pthread-wmm/mix013.oepc.yml false(unreach-call) 67.78 41.90 None svcomp/pthread-wmm/mix013.opt.yml false(unreach-call) 53.41 33.20 None svcomp/pthread-wmm/mix014.opt.yml false(unreach-call) 72.56 41.94 None svcomp/pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 92.64 54.78 None svcomp/pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 96.93 60.90 None svcomp/pthread-wmm/mix015.oepc.yml false(unreach-call) 30.58 16.22 None svcomp/pthread-wmm/mix015.opt.yml false(unreach-call) 19.59 10.73 None svcomp/pthread-wmm/mix016.oepc.yml false(unreach-call) 23.87 12.71 None svcomp/pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 16.72 9.29 None svcomp/pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 17.88 9.70 None svcomp/pthread-wmm/mix017.oepc.yml false(unreach-call) 83.88 49.72 None svcomp/pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 55.67 34.74 None svcomp/pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 51.77 30.30 None svcomp/pthread-wmm/mix018.opt.yml false(unreach-call) 58.69 36.19 None svcomp/pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 97.16 57.04 None svcomp/pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 108.61 65.02 None svcomp/pthread-wmm/mix019.opt.yml false(unreach-call) 20.15 11.29 None svcomp/pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 19.85 10.84 None svcomp/pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 21.71 11.76 None svcomp/pthread-wmm/mix020.oepc.yml false(unreach-call) 79.41 51.50 None svcomp/pthread-wmm/mix020.opt.yml false(unreach-call) 55.04 33.75 None svcomp/pthread-wmm/mix021.opt.yml false(unreach-call) 64.65 41.11 None svcomp/pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 93.65 60.36 None svcomp/pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 110.84 68.38 None svcomp/pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.57 8.41 None svcomp/pthread-wmm/mix022_tso.yml false(unreach-call) 19.18 10.33 None svcomp/pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 84.16 54.44 None svcomp/pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 86.24 50.94 None svcomp/pthread-wmm/mix023_tso.yml false(unreach-call) 109.28 69.38 None svcomp/pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 27.98 14.70 None svcomp/pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 22.55 12.45 None svcomp/pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 23.07 12.54 None svcomp/pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 19.89 11.70 None svcomp/pthread-wmm/mix026.oepc.yml false(unreach-call) 81.22 49.80 None svcomp/pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 83.70 49.70 None svcomp/pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 63.40 40.69 None svcomp/pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 108.24 65.87 None svcomp/pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 61.06 37.89 None svcomp/pthread-wmm/mix027_tso.yml false(unreach-call) 127.31 78.81 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.68 12.62 None svcomp/pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 22.28 12.52 None svcomp/pthread-wmm/mix028_tso.yml false(unreach-call) 19.77 10.74 None svcomp/pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 87.08 52.65 None svcomp/pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 81.18 51.43 None svcomp/pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 85.13 55.10 None svcomp/pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 116.00 75.99 None svcomp/pthread-wmm/mix030_tso.yml false(unreach-call) 64.81 41.32 None svcomp/pthread-wmm/mix031.oepc.yml false(unreach-call) 15.62 8.79 None svcomp/pthread-wmm/mix031.opt.yml false(unreach-call) 16.24 9.03 None svcomp/pthread-wmm/mix032.oepc.yml false(unreach-call) 28.66 15.19 None svcomp/pthread-wmm/mix032.opt.yml false(unreach-call) 19.19 10.94 None svcomp/pthread-wmm/mix033.opt.yml false(unreach-call) 26.41 13.81 None svcomp/pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 28.88 15.43 None svcomp/pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 30.64 16.26 None svcomp/pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 12.68 7.03 None svcomp/pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 11.28 6.36 None svcomp/pthread-wmm/mix035.oepc.yml false(unreach-call) 18.47 10.28 None svcomp/pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 19.44 10.62 None svcomp/pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 21.52 11.68 None svcomp/pthread-wmm/mix036.oepc.yml false(unreach-call) 58.46 36.83 None svcomp/pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 64.07 35.88 None svcomp/pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 80.58 46.95 None svcomp/pthread-wmm/mix037.opt.yml false(unreach-call) 58.25 35.57 None svcomp/pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 98.23 62.74 None svcomp/pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 139.01 85.38 None svcomp/pthread-wmm/mix038.opt.yml false(unreach-call) 19.30 10.80 None svcomp/pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.51 12.56 None svcomp/pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 24.91 13.49 None svcomp/pthread-wmm/mix039.oepc.yml false(unreach-call) 95.77 57.80 None svcomp/pthread-wmm/mix039.opt.yml false(unreach-call) 57.96 36.61 None svcomp/pthread-wmm/mix040.opt.yml false(unreach-call) 69.97 44.48 None svcomp/pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 99.40 64.34 None svcomp/pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 148.54 91.39 None svcomp/pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 13.12 7.38 None svcomp/pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 14.47 8.65 None svcomp/pthread-wmm/mix042.oepc.yml false(unreach-call) 20.54 11.00 None svcomp/pthread-wmm/mix042.opt.yml false(unreach-call) 20.55 11.25 None svcomp/pthread-wmm/mix043.oepc.yml false(unreach-call) 94.76 62.25 None svcomp/pthread-wmm/mix043.opt.yml false(unreach-call) 58.80 35.50 None svcomp/pthread-wmm/mix044.opt.yml false(unreach-call) 78.81 46.81 None svcomp/pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 84.22 53.55 None svcomp/pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 145.08 88.56 None svcomp/pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 21.09 11.85 None svcomp/pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 24.25 13.03 None svcomp/pthread-wmm/mix046.oepc.yml false(unreach-call) 112.68 72.93 None svcomp/pthread-wmm/mix046.opt.yml false(unreach-call) 90.70 57.19 None svcomp/pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 140.94 87.49 None svcomp/pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 133.93 82.94 None svcomp/pthread-wmm/mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 10.61 6.01 None svcomp/pthread-wmm/mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 17.45 9.81 None svcomp/pthread-wmm/mix050.yml false(unreach-call) 51.78 31.05 None svcomp/pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 60.06 37.33 None svcomp/pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 65.90 38.18 None svcomp/pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 76.26 49.11 None svcomp/pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 19.72 10.70 None svcomp/pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 15.77 8.81 None svcomp/pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 21.17 11.80 None svcomp/pthread-wmm/mix053.opt.yml false(unreach-call) 54.89 33.60 None svcomp/pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 73.24 45.46 None svcomp/pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 97.85 64.67 None svcomp/pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 14.53 7.80 None svcomp/pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 16.13 8.68 None svcomp/pthread-wmm/mix055.opt.yml false(unreach-call) 82.88 49.17 None svcomp/pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 85.08 50.29 None svcomp/pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 102.28 66.49 None svcomp/pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.36 13.00 None svcomp/pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.72 14.48 None svcomp/pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 109.68 67.15 None svcomp/pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 79.87 49.13 None svcomp/pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.79 12.63 None svcomp/pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 13.48 7.39 None svcomp/pthread-wmm/rfi000_tso.yml true 24.44 13.42 None svcomp/pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 11.93 6.69 None svcomp/pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 16.00 8.87 None svcomp/pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 33.03 17.95 None svcomp/pthread-wmm/rfi002_tso.yml true 23.13 12.53 None svcomp/pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.72 8.42 None svcomp/pthread-wmm/rfi003_tso.yml true 23.68 13.33 None svcomp/pthread-wmm/rfi004.yml false(unreach-call) 11.11 6.34 None svcomp/pthread-wmm/rfi005.yml false(unreach-call) 11.92 6.83 None svcomp/pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 21.82 11.85 None svcomp/pthread-wmm/rfi006_power.opt.yml false(unreach-call) 17.36 9.73 None svcomp/pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 21.25 11.41 None svcomp/pthread-wmm/rfi006_rmo.yml false(unreach-call) 16.58 8.98 None svcomp/pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 11.77 7.10 None svcomp/pthread-wmm/rfi007_tso.yml false(unreach-call) 19.43 10.71 None svcomp/pthread-wmm/rfi008.oepc.yml false(unreach-call) 13.16 7.26 None svcomp/pthread-wmm/rfi008.opt.yml false(unreach-call) 13.99 8.30 None svcomp/pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 21.91 12.62 None svcomp/pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 24.95 13.40 None svcomp/pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 18.57 10.29 None svcomp/pthread-wmm/rfi010.yml false(unreach-call) 15.76 8.54 None svcomp/pthread-wmm/safe000_power.oepc.yml false(unreach-call) 31.41 16.67 None svcomp/pthread-wmm/safe000_power.opt.yml false(unreach-call) 22.48 12.16 None svcomp/pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.27 8.35 None svcomp/pthread-wmm/safe000_rmo.yml false(unreach-call) 27.12 14.30 None svcomp/pthread-wmm/safe001_power.oepc.yml false(unreach-call) 27.26 15.13 None svcomp/pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 21.04 11.87 None svcomp/pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 32.85 17.19 None svcomp/pthread-wmm/safe001_tso.yml true 16.15 9.30 None svcomp/pthread-wmm/safe002_power.oepc.yml false(unreach-call) 21.08 11.61 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 26.35 13.83 None svcomp/pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 20.24 10.99 None svcomp/pthread-wmm/safe002_tso.yml true 18.32 10.22 None svcomp/pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 28.82 18.33 None svcomp/pthread-wmm/safe003_power.opt.yml false(unreach-call) 21.18 12.00 None svcomp/pthread-wmm/safe003_tso.yml true 13.09 7.56 None svcomp/pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 46.14 25.10 None svcomp/pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 30.68 16.02 None svcomp/pthread-wmm/safe004_tso.yml true 12.48 6.97 None svcomp/pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 24.03 13.54 None svcomp/pthread-wmm/safe005_tso.yml true 13.05 7.28 None svcomp/pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 12.25 7.07 None svcomp/pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 12.60 6.93 None svcomp/pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 9.09 5.54 None svcomp/pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 11.21 6.39 None svcomp/pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 16.30 8.91 None svcomp/pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 23.53 12.97 None svcomp/pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.54 7.17 None svcomp/pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 16.71 10.44 None svcomp/pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 29.05 15.71 None svcomp/pthread-wmm/safe008_power.opt.yml false(unreach-call) 21.44 12.08 None svcomp/pthread-wmm/safe008_tso.yml true 19.86 10.82 None svcomp/pthread-wmm/safe009_power.oepc.yml false(unreach-call) 16.10 8.73 None svcomp/pthread-wmm/safe009_power.opt.yml false(unreach-call) 20.60 11.34 None svcomp/pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.78 7.91 None svcomp/pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 21.42 11.52 None svcomp/pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 17.49 9.88 None svcomp/pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 12.80 7.07 None svcomp/pthread-wmm/safe010_tso.yml true 12.08 6.66 None svcomp/pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 35.95 18.56 None svcomp/pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 23.17 12.92 None svcomp/pthread-wmm/safe011_tso.yml true 13.50 7.88 None svcomp/pthread-wmm/safe012_power.oepc.yml false(unreach-call) 16.33 8.81 None svcomp/pthread-wmm/safe012_power.opt.yml false(unreach-call) 22.38 12.08 None svcomp/pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 18.19 10.42 None svcomp/pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 20.02 10.59 None svcomp/pthread-wmm/safe012_tso.yml true 13.91 7.81 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.99 10.87 None svcomp/pthread-wmm/safe013_tso.yml true 13.77 8.46 None svcomp/pthread-wmm/safe014_power.oepc.yml false(unreach-call) 16.57 9.42 None svcomp/pthread-wmm/safe014_power.opt.yml false(unreach-call) 19.35 10.90 None svcomp/pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.80 11.34 None svcomp/pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 21.34 11.57 None svcomp/pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 27.80 14.56 None svcomp/pthread-wmm/safe015_power.oepc.yml false(unreach-call) 12.45 7.30 None svcomp/pthread-wmm/safe015_power.opt.yml false(unreach-call) 23.39 12.86 None svcomp/pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.89 8.26 None svcomp/pthread-wmm/safe015_rmo.yml false(unreach-call) 23.98 13.02 None svcomp/pthread-wmm/safe016_power.oepc.yml false(unreach-call) 54.04 30.22 None svcomp/pthread-wmm/safe016_power.opt.yml false(unreach-call) 83.67 48.29 None svcomp/pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 39.59 24.07 None svcomp/pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 52.61 29.01 None svcomp/pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 59.97 36.58 None svcomp/pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 26.21 14.08 None svcomp/pthread-wmm/safe017_tso.yml true 15.10 8.86 None svcomp/pthread-wmm/safe018_power.oepc.yml false(unreach-call) 15.53 8.92 None svcomp/pthread-wmm/safe018_power.opt.yml false(unreach-call) 22.33 12.65 None svcomp/pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.77 8.47 None svcomp/pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 19.13 10.15 None svcomp/pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 18.21 10.37 None svcomp/pthread-wmm/safe019_power.oepc.yml false(unreach-call) 52.39 27.91 None svcomp/pthread-wmm/safe019_power.opt.yml false(unreach-call) 98.86 67.92 None svcomp/pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 34.70 20.01 None svcomp/pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 44.16 24.12 None svcomp/pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 98.79 65.50 None svcomp/pthread-wmm/safe020_power.yml false(unreach-call) 34.80 19.37 None svcomp/pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.59 9.03 None svcomp/pthread-wmm/safe020_rmo.yml false(unreach-call) 23.12 12.98 None svcomp/pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 24.27 13.19 None svcomp/pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 23.46 12.59 None svcomp/pthread-wmm/safe021_tso.yml true 13.16 7.33 None svcomp/pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.52 8.29 None svcomp/pthread-wmm/safe022_tso.yml true 9.57 5.55 None svcomp/pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 31.54 17.10 None svcomp/pthread-wmm/safe023_tso.yml true 17.39 9.61 None svcomp/pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.51 12.15 None svcomp/pthread-wmm/safe024_tso.yml true 15.62 8.67 None svcomp/pthread-wmm/safe025_power.yml false(unreach-call) 12.95 7.17 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.03 10.73 None svcomp/pthread-wmm/safe025_rmo.yml false(unreach-call) 25.79 13.70 None svcomp/pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 24.10 13.13 None svcomp/pthread-wmm/safe026_tso.yml true 16.22 8.70 None svcomp/pthread-wmm/safe027_power.oepc.yml false(unreach-call) 39.28 22.02 None svcomp/pthread-wmm/safe027_power.opt.yml false(unreach-call) 125.02 77.69 None svcomp/pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 34.29 18.84 None svcomp/pthread-wmm/safe027_rmo.yml false(unreach-call) 50.65 28.22 None svcomp/pthread-wmm/safe028_power.yml false(unreach-call) 22.16 12.70 None svcomp/pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.99 7.34 None svcomp/pthread-wmm/safe028_rmo.yml false(unreach-call) 19.88 11.24 None svcomp/pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 15.38 8.98 None svcomp/pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 19.13 10.80 None svcomp/pthread-wmm/safe029_tso.yml true 9.15 5.58 None svcomp/pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 31.93 17.31 None svcomp/pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 29.08 16.64 None svcomp/pthread-wmm/safe030_tso.yml true 14.57 8.04 None svcomp/pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 20.91 11.70 None svcomp/pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 22.12 12.00 None svcomp/pthread-wmm/safe031_tso.yml true 18.28 9.68 None svcomp/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 35.26 19.27 None svcomp/pthread-wmm/safe032_tso.yml true 12.73 7.24 None svcomp/pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 14.74 7.86 None svcomp/pthread-wmm/safe033_tso.yml true 8.78 5.70 None svcomp/pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 17.61 10.02 None svcomp/pthread-wmm/safe034_tso.yml true 17.30 9.21 None svcomp/pthread-wmm/safe035_power.yml true 28.19 15.53 None svcomp/pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 11.67 6.68 None svcomp/pthread-wmm/safe036.yml true 10.88 6.32 None svcomp/pthread-wmm/safe037.yml true 11.15 6.60 None svcomp/pthread-wmm/thin002_power.oepc.yml false(unreach-call) 50.10 28.43 None svcomp/pthread-wmm/thin002_power.opt.yml false(unreach-call) 45.97 28.42 None svcomp/pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 39.39 22.12 None svcomp/pthread-wmm/thin002_rmo.yml false(unreach-call) 35.92 20.26 None svcomp/pthread-lit/fk2012.yml OUT OF MEMORY 219.49 126.81 None svcomp/pthread-lit/fkp2013-1.yml OUT OF MEMORY 269.35 161.16 None svcomp/pthread-lit/fkp2013-2.yml OUT OF MEMORY 274.81 162.67 None svcomp/pthread-lit/fkp2013_variant-1.yml OUT OF MEMORY 368.04 215.29 None svcomp/pthread-lit/fkp2013_variant-2.yml false(unreach-call) 14.23 8.00 None svcomp/pthread-lit/fkp2014.yml OUT OF MEMORY 424.57 231.84 None svcomp/pthread-lit/qw2004-1.yml true 8.69 5.16 None svcomp/pthread-lit/qw2004-2b.yml false(unreach-call) 11.62 6.42 None svcomp/pthread-lit/qw2004_variant.yml OUT OF MEMORY 302.57 184.81 None svcomp/pthread-lit/sssc12.yml OUT OF MEMORY 341.48 188.50 None svcomp/pthread-lit/sssc12_variant.yml OUT OF MEMORY 257.82 145.75 None svcomp/ldv-races/race-1_1-join.yml true 8.98 5.20 None svcomp/ldv-races/race-1_2-join.yml false(unreach-call) 9.13 5.44 None svcomp/ldv-races/race-1_3-join.yml false(unreach-call) 9.18 5.12 None svcomp/ldv-races/race-2_1-container_of.yml TIMEOUT 901.02 721.08 None svcomp/ldv-races/race-2_2-container_of.yml TIMEOUT 901.00 717.53 None svcomp/ldv-races/race-2_3-container_of.yml false(unreach-call) 12.59 7.71 None svcomp/ldv-races/race-2_4-container_of.yml false(unreach-call) 14.77 8.49 None svcomp/ldv-races/race-2_5-container_of.yml false(unreach-call) 18.65 10.04 None svcomp/ldv-races/race-3_1-container_of-global.yml true 783.58 742.97 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 162.98 108.37 None svcomp/ldv-races/race-4_1-thread_local_vars.yml true 44.89 25.94 None svcomp/ldv-races/race-4_2-thread_local_vars.yml false(unreach-call) 51.53 30.91 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 51.17 28.90 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 38.96 23.31 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 373.04 210.19 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 348.38 189.42 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 251.34 141.18 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml OUT OF MEMORY 303.59 166.76 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml OUT OF MEMORY 254.08 142.69 None svcomp/pthread-complex/bounded_buffer.yml OUT OF MEMORY 393.07 209.12 None svcomp/pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 283.87 161.51 None svcomp/pthread-complex/safestack_relacy.yml OUT OF MEMORY 467.49 262.76 None svcomp/pthread-complex/workstealqueue_mutex-1.yml OUT OF MEMORY 289.81 163.31 None svcomp/pthread-complex/workstealqueue_mutex-2.yml OUT OF MEMORY 354.75 193.06 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 14.71 7.80 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 10.84 6.18 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 11.12 6.21 None svcomp/pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 12.52 6.77 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 11.65 6.66 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 12.09 6.93 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 12.61 6.82 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 11.20 6.31 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 11.29 6.19 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 8.55 5.18 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 8.27 5.10 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 11.34 6.45 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 8.30 4.81 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 10.19 5.95 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 8.23 5.02 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 12.48 6.72 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 8.20 4.76 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 10.30 5.83 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 11.08 6.29 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 10.61 5.75 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 8.79 5.46 None svcomp/pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 901.30 663.38 None svcomp/pthread-C-DAC/pthread-demo-datarace-2.yml TIMEOUT 902.64 672.86 None svcomp/pthread-C-DAC/pthread-finding-k-matches.yml unknown 5.67 3.53 None svcomp/pthread-C-DAC/pthread-numerical-integration.yml unknown 5.40 3.44 None svcomp/pthread-divine/barrier_2t.yml TIMEOUT 901.22 852.79 None svcomp/pthread-divine/barrier_3t.yml OUT OF MEMORY 297.94 160.16 None svcomp/pthread-divine/condvar.yml true 10.83 6.95 None svcomp/pthread-divine/condvar_spurious_wakeup.yml false(unreach-call) 7.16 4.10 None svcomp/pthread-divine/divinefifo-bug_1w1r.yml TIMEOUT 901.05 726.81 None svcomp/pthread-divine/divinefifo_1w1r.yml TIMEOUT 900.79 731.31 None svcomp/pthread-divine/one_time_barrier_2t.yml ERROR: EXCEPTION 210.33 180.35 None svcomp/pthread-divine/one_time_barrier_3t.yml OUT OF MEMORY 301.33 161.67 None svcomp/pthread-divine/one_time_barrier_twice_2t.yml TIMEOUT 901.00 874.25 None svcomp/pthread-divine/one_time_barrier_twice_3t.yml OUT OF MEMORY 295.77 158.40 None svcomp/pthread-divine/ring_1w1r-1.yml false(unreach-call) 10.49 5.78 None svcomp/pthread-divine/ring_1w1r-2.yml TIMEOUT 900.16 683.40 None svcomp/pthread-divine/ring_2w1r-1.yml TIMEOUT 906.78 660.28 None svcomp/pthread-divine/ring_2w1r-2.yml TIMEOUT 901.88 656.85 None svcomp/pthread-divine/tls_basic.yml unknown 5.15 2.98 None svcomp/pthread-divine/tls_destructor_worker.yml unknown 5.11 3.02 None svcomp/pthread-nondet/nondet-array-1.yml OUT OF MEMORY 237.74 134.79 None svcomp/pthread-nondet/nondet-array-2.yml OUT OF MEMORY 576.94 334.21 None svcomp/pthread-nondet/nondet-loop-bound-1.yml OUT OF MEMORY 570.72 341.43 None svcomp/pthread-nondet/nondet-loop-bound-2.yml OUT OF MEMORY 600.40 358.26 None svcomp/pthread-nondet/nondet-loop-bound-variant-1.yml OUT OF MEMORY 247.24 139.97 None svcomp/pthread-nondet/nondet-loop-bound-variant-2.yml OUT OF MEMORY 244.41 138.80 None svcomp/goblint-regression/13-privatized_01-priv_nr_true.yml true 12.62 6.74 None svcomp/goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 432.54 231.23 None svcomp/goblint-regression/13-privatized_18-first-reads_true.yml true 7.50 4.89 None svcomp/goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 6.76 4.67 None svcomp/goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 7.52 5.04 None svcomp/goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 7.14 5.04 None svcomp/goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 6.40 4.19 None svcomp/goblint-regression/13-privatized_19-publish-precision_true.yml true 7.51 4.59 None svcomp/goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 7.12 4.30 None svcomp/goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 7.22 4.79 None svcomp/goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 7.51 4.94 None svcomp/goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 6.77 4.02 None svcomp/goblint-regression/13-privatized_20-publish-regression_true.yml true 7.44 4.50 None svcomp/goblint-regression/13-privatized_24-multiple-protecting_true.yml true 10.44 6.07 None svcomp/goblint-regression/13-privatized_25-struct_nr_true.yml true 9.34 6.99 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 16.06 9.11 None svcomp/goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 15.15 8.27 None svcomp/goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 7.73 5.05 None svcomp/goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 10.44 5.73 None svcomp/goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 11.78 6.84 None svcomp/goblint-regression/13-privatized_33-traces-v-matters_true.yml true 8.31 5.04 None svcomp/goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 9.26 5.66 None svcomp/goblint-regression/13-privatized_35-traces-ex-2_true.yml true 9.62 5.30 None svcomp/goblint-regression/13-privatized_36-traces-ex-3_true.yml true 9.64 5.82 None svcomp/goblint-regression/13-privatized_37-traces-ex-4_true.yml true 7.49 5.05 None svcomp/goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 7.71 4.79 None svcomp/goblint-regression/13-privatized_40-traces-ex-6_true.yml true 9.79 5.69 None svcomp/goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 6.99 4.38 None svcomp/goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 10.05 5.90 None svcomp/goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 8.30 5.28 None svcomp/goblint-regression/13-privatized_44-traces-mine2_true.yml true 7.78 4.63 None svcomp/goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 10.14 5.91 None svcomp/goblint-regression/13-privatized_46-refine-protected1_true.yml true 7.38 4.59 None svcomp/goblint-regression/13-privatized_47-refine-protected2_true.yml true 8.15 4.76 None svcomp/goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 6.92 4.42 None svcomp/goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 9.01 5.50 None svcomp/goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 6.57 4.41 None svcomp/goblint-regression/13-privatized_66-mine-W-init_true.yml true 6.71 4.47 None svcomp/goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 10.31 5.99 None svcomp/goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 7.39 4.40 None svcomp/goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 8.86 5.10 None svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 900.38 813.45 None svcomp/goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 10.22 6.06 None svcomp/goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 364.47 218.58 None svcomp/goblint-regression/28-race_reach_02-simple_racefree.yml OUT OF MEMORY 337.33 194.54 None svcomp/goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 283.99 158.34 None svcomp/goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 227.52 128.96 None svcomp/goblint-regression/28-race_reach_05-lockfuns_racefree.yml OUT OF MEMORY 253.60 142.60 None svcomp/goblint-regression/28-race_reach_06-cond_racing1.yml OUT OF MEMORY 511.14 285.71 None svcomp/goblint-regression/28-race_reach_07-cond_racing2.yml OUT OF MEMORY 364.96 210.89 None svcomp/goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 400.48 231.16 None svcomp/goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 275.70 153.30 None svcomp/goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 233.07 132.06 None svcomp/goblint-regression/28-race_reach_11-ptr_racing.yml OUT OF MEMORY 263.22 155.31 None svcomp/goblint-regression/28-race_reach_12-ptr_racefree.yml OUT OF MEMORY 312.81 170.23 None svcomp/goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 511.23 289.20 None svcomp/goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 503.00 283.90 None svcomp/goblint-regression/28-race_reach_21-deref_read_racing.yml OUT OF MEMORY 467.40 289.44 None svcomp/goblint-regression/28-race_reach_22-deref_read_racefree.yml OUT OF MEMORY 484.41 268.89 None svcomp/goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 7.75 4.69 None svcomp/goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 462.26 257.59 None svcomp/goblint-regression/28-race_reach_27-funptr_racing.yml OUT OF MEMORY 309.80 170.00 None svcomp/goblint-regression/28-race_reach_28-funptr_racefree.yml OUT OF MEMORY 271.55 148.22 None svcomp/goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 487.68 269.21 None svcomp/goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 442.35 249.76 None svcomp/goblint-regression/28-race_reach_40-trylock_racing.yml unknown 6.34 3.45 None svcomp/goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 445.97 250.01 None svcomp/goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 272.63 159.66 None svcomp/goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 11.24 6.45 None svcomp/goblint-regression/28-race_reach_46-escape_racefree.yml true 12.44 7.18 None svcomp/goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 339.26 182.56 None svcomp/goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 289.85 165.70 None svcomp/goblint-regression/28-race_reach_61-invariant_racing.yml OUT OF MEMORY 603.75 330.66 None svcomp/goblint-regression/28-race_reach_70-funloop_racefree.yml OUT OF MEMORY 384.68 234.28 None svcomp/goblint-regression/28-race_reach_71-funloop_racing.yml OUT OF MEMORY 557.23 320.91 None svcomp/goblint-regression/28-race_reach_72-funloop_hard_racing.yml OUT OF MEMORY 447.91 260.71 None svcomp/goblint-regression/28-race_reach_73-funloop_hard_racefree.yml OUT OF MEMORY 453.64 263.38 None svcomp/goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 394.28 224.34 None svcomp/goblint-regression/28-race_reach_75-tricky_address2_racefree.yml OUT OF MEMORY 302.35 179.02 None svcomp/goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 334.14 211.17 None svcomp/goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 312.52 186.21 None svcomp/goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 337.16 184.07 None svcomp/goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 349.86 190.56 None svcomp/goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 252.66 143.71 None svcomp/goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 240.66 138.02 None svcomp/goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 296.72 162.98 None svcomp/goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 248.38 145.53 None svcomp/goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 235.01 132.79 None svcomp/goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 901.84 888.78 None svcomp/goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 901.91 887.37 None svcomp/goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 902.44 860.20 None svcomp/goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 901.70 888.85 None svcomp/goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 901.72 887.82 None svcomp/goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 901.71 893.82 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 242.77 135.81 None svcomp/goblint-regression/36-apron_11-traces-max-simple_true.yml true 7.69 4.45 None svcomp/goblint-regression/36-apron_16-traces-unprot2_true.yml true 7.38 4.28 None svcomp/goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 7.34 4.30 None svcomp/goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 7.12 4.51 None svcomp/goblint-regression/36-apron_21-traces-cluster-based_true.yml true 540.62 299.56 None svcomp/goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 15.95 9.00 None svcomp/goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 6.65 4.26 None svcomp/goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 7.04 4.47 None svcomp/weaver/array-eq-symm.wvr.yml ERROR: EXCEPTION 406.35 342.54 None svcomp/weaver/array-eq-trans.wvr.yml TIMEOUT 901.47 853.24 None svcomp/weaver/bench-exp1x3.wvr.yml true 11.76 7.13 None svcomp/weaver/bench-exp2x3.wvr.yml TIMEOUT 901.73 882.39 None svcomp/weaver/bench-exp2x4.wvr.yml TIMEOUT 903.15 883.58 None svcomp/weaver/bench-exp2x6.wvr.yml TIMEOUT 901.70 867.11 None svcomp/weaver/bench-exp2x9.wvr.yml TIMEOUT 902.97 851.36 None svcomp/weaver/bench-exp3x3-opt.wvr.yml TIMEOUT 905.70 525.65 None svcomp/weaver/bench-exp3x3.wvr.yml TIMEOUT 901.94 658.72 None svcomp/weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 313.17 167.52 None svcomp/weaver/chl-array-int-symm.wvr.yml TIMEOUT 900.88 858.35 None svcomp/weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 461.25 255.40 None svcomp/weaver/chl-chromosome-opt-symm.wvr.yml TIMEOUT 901.07 687.84 None svcomp/weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 412.96 224.39 None svcomp/weaver/chl-chromosome-symm.wvr.yml TIMEOUT 900.64 757.91 None svcomp/weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 294.51 159.48 None svcomp/weaver/chl-collitem-subst.wvr.yml true 46.58 26.68 None svcomp/weaver/chl-collitem-symm.wvr.yml true 18.83 10.30 None svcomp/weaver/chl-collitem-trans.wvr.yml true 25.37 13.25 None svcomp/weaver/chl-exp-term-subst.wvr.yml TIMEOUT 902.24 529.45 None svcomp/weaver/chl-exp-term-symm.wvr.yml TIMEOUT 900.34 870.80 None svcomp/weaver/chl-file-item-subst.wvr.yml OUT OF MEMORY 295.09 161.76 None svcomp/weaver/chl-file-item-symm.wvr.yml TIMEOUT 900.74 733.30 None svcomp/weaver/chl-file-item-trans.wvr.yml OUT OF MEMORY 284.00 155.44 None svcomp/weaver/chl-match-subst.wvr.yml OUT OF MEMORY 326.12 181.26 None svcomp/weaver/chl-match-symm.wvr.yml TIMEOUT 901.33 719.92 None svcomp/weaver/chl-match-trans.wvr.yml OUT OF MEMORY 335.88 181.75 None svcomp/weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 294.32 161.52 None svcomp/weaver/chl-name-comparator-symm.wvr.yml TIMEOUT 901.84 698.84 None svcomp/weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 235.88 132.01 None svcomp/weaver/chl-node-subst.wvr.yml OUT OF MEMORY 322.20 173.47 None svcomp/weaver/chl-node-symm.wvr.yml TIMEOUT 901.86 703.12 None svcomp/weaver/chl-node-trans.wvr.yml OUT OF MEMORY 264.02 144.91 None svcomp/weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 214.14 119.69 None svcomp/weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 812.30 564.30 None svcomp/weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 225.52 132.12 None svcomp/weaver/chl-simpl-str-subst.wvr.yml TIMEOUT 902.48 549.26 None svcomp/weaver/chl-simpl-str-symm.wvr.yml TIMEOUT 900.67 733.07 None svcomp/weaver/chl-simpl-str-trans.wvr.yml TIMEOUT 901.28 649.50 None svcomp/weaver/chl-sre-subst.wvr.yml true 109.33 70.64 None svcomp/weaver/chl-sre-symm.wvr.yml true 36.52 20.15 None svcomp/weaver/chl-sre-trans.wvr.yml true 16.86 8.99 None svcomp/weaver/chl-time-subst.wvr.yml true 19.00 10.68 None svcomp/weaver/chl-time-symm.wvr.yml true 10.80 6.09 None svcomp/weaver/chl-time-trans.wvr.yml true 15.90 8.84 None svcomp/weaver/chl-word-subst.wvr.yml TIMEOUT 903.26 549.45 None svcomp/weaver/chl-word-symm.wvr.yml TIMEOUT 901.66 723.32 None svcomp/weaver/chl-word-trans.wvr.yml TIMEOUT 917.23 512.77 None svcomp/weaver/clever.wvr.yml TIMEOUT 901.29 681.87 None svcomp/weaver/fibonacci.wvr.yml TIMEOUT 901.14 741.42 None svcomp/weaver/loop-tiling-eq.wvr.yml TIMEOUT 900.87 884.33 None svcomp/weaver/mult-comm.wvr.yml TIMEOUT 901.04 866.49 None svcomp/weaver/mult-dist.wvr.yml TIMEOUT 906.52 823.21 None svcomp/weaver/mult-flipped-dist.wvr.yml TIMEOUT 901.78 657.92 None svcomp/weaver/parallel-bakery-2.wvr.yml true 13.23 7.50 None svcomp/weaver/parallel-bakery-3.wvr.yml true 156.32 100.31 None svcomp/weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 314.89 169.28 None svcomp/weaver/parallel-barrier-loop.wvr.yml OUT OF MEMORY 343.42 192.69 None svcomp/weaver/parallel-barrier.wvr.yml OUT OF MEMORY 206.65 119.03 None svcomp/weaver/parallel-bluetooth.wvr.yml true 16.81 9.29 None svcomp/weaver/parallel-lamport.wvr.yml ERROR: EXCEPTION 96.17 65.80 None svcomp/weaver/parallel-min-max-1.wvr.yml TIMEOUT 901.27 820.53 None svcomp/weaver/parallel-misc-1.wvr.yml TIMEOUT 901.31 685.64 None svcomp/weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 9.00 5.02 None svcomp/weaver/parallel-misc-2-unrolled.wvr.yml true 21.37 13.15 None svcomp/weaver/parallel-misc-2.wvr.yml TIMEOUT 901.23 863.27 None svcomp/weaver/parallel-misc-3-extended.wvr.yml true 164.83 105.39 None svcomp/weaver/parallel-misc-3.wvr.yml true 12.93 8.94 None svcomp/weaver/parallel-misc-4.wvr.yml true 28.92 19.06 None svcomp/weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 713.09 431.25 None svcomp/weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 218.00 133.18 None svcomp/weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 565.65 404.40 None svcomp/weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 202.84 115.42 None svcomp/weaver/parallel-parallel-sum-equiv.wvr.yml ERROR: EXCEPTION 321.07 260.51 None svcomp/weaver/parallel-simple-equiv.wvr.yml true 13.34 8.29 None svcomp/weaver/parallel-ticket-2.wvr.yml true 8.70 5.44 None svcomp/weaver/parallel-ticket-3.wvr.yml true 13.68 8.06 None svcomp/weaver/parallel-ticket-4.wvr.yml true 39.63 23.37 None svcomp/weaver/parallel-ticket-5.wvr.yml true 807.37 528.79 None svcomp/weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 237.29 141.56 None svcomp/weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 299.16 176.19 None svcomp/weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 326.82 186.98 None svcomp/weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 889.67 593.60 None svcomp/weaver/popl20-bad-buffer-mult-alt2.wvr.yml ERROR: EXCEPTION 397.09 289.49 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml true 569.99 394.18 None svcomp/weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 372.24 206.91 None svcomp/weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 19.48 10.92 None svcomp/weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 900.85 792.80 None svcomp/weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 900.94 582.36 None svcomp/weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 922.65 739.62 None svcomp/weaver/popl20-bad-ring-nondet.wvr.yml true 62.51 36.31 None svcomp/weaver/popl20-bad-ring.wvr.yml TIMEOUT 901.28 854.56 None svcomp/weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 901.56 848.04 None svcomp/weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 679.11 412.74 None svcomp/weaver/popl20-channel-sum.wvr.yml TIMEOUT 901.41 783.54 None svcomp/weaver/popl20-commit-1.wvr.yml ERROR: EXCEPTION 94.85 69.02 None svcomp/weaver/popl20-commit-2.wvr.yml TIMEOUT 901.18 742.56 None svcomp/weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 554.23 346.14 None svcomp/weaver/popl20-counter-fun.wvr.yml TIMEOUT 901.00 777.11 None svcomp/weaver/popl20-difference-det.wvr.yml TIMEOUT 919.83 540.17 None svcomp/weaver/popl20-figure1-alt.wvr.yml TIMEOUT 900.78 907.24 None svcomp/weaver/popl20-figure1.wvr.yml TIMEOUT 904.32 660.60 None svcomp/weaver/popl20-figure3.wvr.yml TIMEOUT 901.21 824.62 None svcomp/weaver/popl20-horseshoe.wvr.yml ERROR: EXCEPTION 129.09 94.71 None svcomp/weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 435.32 368.36 None svcomp/weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 471.96 256.90 None svcomp/weaver/popl20-min-max-inc.wvr.yml ERROR: EXCEPTION 319.13 272.37 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 901.12 734.67 None svcomp/weaver/popl20-more-array-sum-alt2.wvr.yml ERROR: EXCEPTION 60.16 39.44 None svcomp/weaver/popl20-more-array-sum.wvr.yml ERROR: EXCEPTION 99.95 67.55 None svcomp/weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 901.28 831.76 None svcomp/weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 419.75 315.25 None svcomp/weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 318.39 231.43 None svcomp/weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 901.39 834.36 None svcomp/weaver/popl20-more-buffer-series2.wvr.yml ERROR: EXCEPTION 76.47 49.76 None svcomp/weaver/popl20-more-dec-subseq.wvr.yml ERROR: EXCEPTION 313.49 253.77 None svcomp/weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 900.36 777.88 None svcomp/weaver/popl20-more-max-array-hom.wvr.yml ERROR: EXCEPTION 62.28 43.92 None svcomp/weaver/popl20-more-max-array.wvr.yml ERROR: EXCEPTION 84.77 65.97 None svcomp/weaver/popl20-more-min-array-hom.wvr.yml ERROR: EXCEPTION 40.27 24.97 None svcomp/weaver/popl20-more-min-array.wvr.yml ERROR: EXCEPTION 39.55 25.26 None svcomp/weaver/popl20-more-min-le-max.wvr.yml true 26.38 16.78 None svcomp/weaver/popl20-more-mts.wvr.yml TIMEOUT 910.31 683.07 None svcomp/weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 901.18 832.66 None svcomp/weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 901.44 871.03 None svcomp/weaver/popl20-more-parray-copy.wvr.yml TIMEOUT 900.89 790.58 None svcomp/weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 902.24 811.05 None svcomp/weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 905.68 627.48 None svcomp/weaver/popl20-more-sorted.wvr.yml TIMEOUT 901.58 694.52 None svcomp/weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 900.80 878.17 None svcomp/weaver/popl20-more-vector-add.wvr.yml TIMEOUT 901.22 866.54 None svcomp/weaver/popl20-mult-4.wvr.yml OUT OF MEMORY 481.10 296.98 None svcomp/weaver/popl20-mult-equiv.wvr.yml TIMEOUT 900.80 850.70 None svcomp/weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 901.17 711.07 None svcomp/weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 902.86 701.21 None svcomp/weaver/popl20-prod-cons-eq.wvr.yml TIMEOUT 901.04 865.02 None svcomp/weaver/popl20-prod-cons.wvr.yml TIMEOUT 901.21 794.69 None svcomp/weaver/popl20-prod-cons3.wvr.yml TIMEOUT 901.02 875.69 None svcomp/weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 509.69 320.54 None svcomp/weaver/popl20-queue-add-2.wvr.yml TIMEOUT 900.96 716.72 None svcomp/weaver/popl20-queue-add-3.wvr.yml TIMEOUT 901.90 640.57 None svcomp/weaver/popl20-send-receive-alt.wvr.yml TIMEOUT 901.61 762.12 None svcomp/weaver/popl20-send-receive.wvr.yml ERROR: EXCEPTION 397.98 315.74 None svcomp/weaver/popl20-simple-array-sum.wvr.yml true 87.79 57.11 None svcomp/weaver/popl20-simple-queue.wvr.yml TIMEOUT 900.43 755.90 None svcomp/weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 901.24 777.26 None svcomp/weaver/popl20-three-array-max.wvr.yml TIMEOUT 901.06 857.42 None svcomp/weaver/popl20-three-array-min.wvr.yml TIMEOUT 900.86 877.19 None svcomp/weaver/popl20-three-array-sum.wvr.yml TIMEOUT 901.01 835.79 None svcomp/weaver/popl20-two-queue.wvr.yml TIMEOUT 900.89 731.66 None svcomp/weaver/security.wvr.yml true 26.72 14.38 None svcomp/weaver/spaghetti.wvr.yml true 22.89 13.20 None svcomp/weaver/test-context1.wvr.yml TIMEOUT 901.28 778.38 None svcomp/weaver/test-easy1.wvr.yml true 99.08 74.67 None svcomp/weaver/test-easy10.wvr.yml TIMEOUT 900.75 681.28 None svcomp/weaver/test-easy11.wvr.yml TIMEOUT 900.43 745.77 None svcomp/weaver/test-easy6.wvr.yml true 10.09 6.10 None svcomp/weaver/test-easy7.wvr.yml TIMEOUT 900.82 792.64 None svcomp/weaver/test-easy8.wvr.yml true 8.26 5.10 None svcomp/weaver/test-hard1.wvr.yml TIMEOUT 915.66 636.71 None svcomp/weaver/test-semi1.wvr.yml true 7.86 4.80 None svcomp/weaver/unroll-2.wvr.yml TIMEOUT 900.71 870.68 None svcomp/weaver/unroll-3.wvr.yml TIMEOUT 907.43 690.53 None svcomp/weaver/unroll-4.wvr.yml TIMEOUT 901.42 750.52 None svcomp/weaver/unroll-5.wvr.yml TIMEOUT 902.51 772.86 None svcomp/weaver/unroll-cond-2.wvr.yml TIMEOUT 901.24 794.95 None svcomp/weaver/unroll-cond-3.wvr.yml TIMEOUT 901.25 847.49 None svcomp/weaver/unroll-cond-4.wvr.yml TIMEOUT (ERROR: EXCEPTION) 902.05 821.10 None svcomp/weaver/unroll-cond-5.wvr.yml TIMEOUT 901.21 780.50 None svcomp/pthread-deagle/airline-10.yml OUT OF MEMORY 404.43 249.89 None svcomp/pthread-deagle/airline-15.yml OUT OF MEMORY 357.60 215.68 None svcomp/pthread-deagle/airline-20.yml OUT OF MEMORY 466.38 269.22 None svcomp/pthread-deagle/airline-25.yml OUT OF MEMORY 412.19 255.54 None svcomp/pthread-deagle/airline-5.yml OUT OF MEMORY 373.49 222.69 None svcomp/pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 16.68 9.86 None svcomp/pthread-deagle/arithmetic_prog_ok.yml true 31.25 18.16 None svcomp/pthread-deagle/circular_buffer_bad.yml false(unreach-call) 47.05 31.21 None svcomp/pthread-deagle/circular_buffer_ok.yml TIMEOUT 901.73 882.32 None svcomp/pthread-deagle/floating_read-10.yml OUT OF MEMORY 371.95 234.10 None svcomp/pthread-deagle/floating_read-15.yml OUT OF MEMORY 423.60 246.76 None svcomp/pthread-deagle/floating_read-20.yml OUT OF MEMORY 331.83 203.71 None svcomp/pthread-deagle/floating_read-25.yml OUT OF MEMORY 404.38 236.80 None svcomp/pthread-deagle/floating_read-5.yml true 203.27 128.08 None svcomp/pthread-deagle/reorder_c11_bad-10.yml OUT OF MEMORY 258.72 152.60 None svcomp/pthread-deagle/reorder_c11_bad-20.yml OUT OF MEMORY 272.52 159.14 None svcomp/pthread-deagle/reorder_c11_bad-30.yml OUT OF MEMORY 296.12 180.84 None svcomp/pthread-deagle/reorder_c11_bad-40.yml OUT OF MEMORY 331.05 188.54 None svcomp/pthread-deagle/reorder_c11_bad-50.yml OUT OF MEMORY 354.93 200.67 None svcomp/pthread-deagle/reorder_c11_good-10.yml OUT OF MEMORY 249.73 147.81 None svcomp/pthread-deagle/reorder_c11_good-20.yml OUT OF MEMORY 348.72 198.03 None svcomp/pthread-deagle/reorder_c11_good-30.yml OUT OF MEMORY 249.55 147.68 None svcomp/pthread-deagle/reorder_c11_good-40.yml OUT OF MEMORY 295.87 181.60 None svcomp/pthread-deagle/reorder_c11_good-50.yml OUT OF MEMORY 242.38 144.12 None concurrent/pthreads/NonAtomicIncrement_2Threads.c true 25.99 15.49 None concurrent/pthreads/distributed_search2.c TIMEOUT 901.23 792.62 None concurrent/pthreads/distributed_search3.c ERROR: EXCEPTION 65.63 38.71 None concurrent/pthreads/distributed_search4.c OUT OF MEMORY 346.40 187.53 None concurrent/pthreads/forkFork.c true 70.53 44.45 None concurrent/pthreads/forkJoinNotMod.c false(unreach-call) 8.05 5.11 None concurrent/pthreads/forkMultipleTimes.c false(unreach-call) 7.46 4.49 None concurrent/pthreads/globalVariableMultipleThreads.c false(unreach-call) 35.33 21.34 None concurrent/pthreads/multipleForkSameIdDifferentReturnType.c false(unreach-call) 22.61 12.48 None concurrent/pthreads/predecessorInAtomicBlockBug.c false(unreach-call) 6.45 4.29 None concurrent/pthreads/regression/ForkedModifiesGlobal.c true 5.57 3.65 None concurrent/pthreads/regression/SimpleFunctionPointer.c true 5.71 3.57 None concurrent/pthreads/regression/ThreadIdTest1.c false(unreach-call) 6.98 4.67 None concurrent/pthreads/regression/ThreadIdTest2.c true 9.45 5.26 None concurrent/pthreads/regression/ex1.c true 5.66 3.42 None concurrent/pthreads/regression/forkForkSimple.c true 6.41 4.25 None concurrent/pthreads/regression/forkJoinInLoop.c false(unreach-call) 8.50 5.01 None concurrent/pthreads/regression/forkMultipleParameter.c true 10.54 5.77 None concurrent/pthreads/regression/joinMultipleReturnValues.c true 9.89 6.23 None concurrent/pthreads/regression/join_correct.c true 30.81 24.35 None concurrent/pthreads/regression/mainThreadTerminates.c false(unreach-call) 10.05 6.36 None concurrent/pthreads/regression/pthreadExitNull-safe.c true 5.78 3.61 None concurrent/pthreads/regression/pthreadExitSafe.c true 15.97 9.32 None concurrent/pthreads/regression/pthreadExitUnsafe.c false(unreach-call) 7.84 4.80 None concurrent/pthreads/regression/pthreadJoinCorrectThreadId.c true 7.83 4.45 None concurrent/pthreads/regression/pthreadMutex01-safe.c true 7.03 4.17 None concurrent/pthreads/regression/pthreadMutex02-unsafe.c false(unreach-call) 6.49 3.81 None concurrent/pthreads/regression/pthreadReturn.c true 8.58 5.08 None concurrent/pthreads/regression/simpleReturn.c true 14.70 8.97 None concurrent/pthreads/regression/unique_fork_joins.c OUT OF MEMORY 207.22 133.78 None concurrent/pthreads/regression/atomic/01-begin-end.c true 7.98 4.44 None concurrent/pthreads/regression/atomic/02-atomic-function.c true 6.77 4.25 None concurrent/pthreads/regression/atomic/03-assert.c true 6.28 3.75 None concurrent/pthreads/regression/atomic/04-if-else.c true 7.92 4.42 None concurrent/pthreads/regression/atomic/05-end-no-begin.c false(unreach-call) 6.27 3.73 None concurrent/pthreads/regression/atomic/06-begin-no-end.c true 7.18 5.06 None concurrent/pthreads/regression/atomic/07-return-before-end.c true 7.87 4.78 None concurrent/pthreads/regression/atomic/08-abort-before-end.c true 6.12 4.04 None concurrent/pthreads/regression/atomic/09a-return-after-end.c true 7.22 4.93 None concurrent/pthreads/regression/atomic/09b-return-after-end.c false(unreach-call) 6.40 4.19 None concurrent/pthreads/regression/atomic/10-double-begin.c ERROR: EXCEPTION 6.76 3.66 None concurrent/pthreads/regression/atomic/11a-double-end.c true 6.38 3.75 None concurrent/pthreads/regression/atomic/11b-double-end.c false(unreach-call) 7.90 4.81 None concurrent/pthreads/regression/atomic/11c-double-end.c true 6.64 4.09 None concurrent/pthreads/regression/atomic/12-loop-within.c ERROR: EXCEPTION 5.62 3.24 None concurrent/pthreads/regression/atomic/13-loop-after.c true 7.26 4.43 None concurrent/pthreads/regression/atomic/14a-subsequent-blocks.c true 7.67 4.68 None concurrent/pthreads/regression/atomic/14b-subsequent-blocks.c false(unreach-call) 6.49 4.15 None concurrent/pthreads/regression/atomic/15-goto-within.c true 6.80 4.50 None concurrent/pthreads/regression/atomic/16-goto-outside.c false(unreach-call) 8.09 4.94 None concurrent/pthreads/regression/atomic/17-pthread_exit.c true 6.70 4.24 None concurrent/pthreads/regression/atomic/18-conditional-atomic.c true 7.20 5.36 None concurrent/bpl/LBE_bigexample_safe.bpl true 12.38 6.67 None concurrent/bpl/LBE_bigexample_safe_BA.bpl true 50.18 31.12 None concurrent/bpl/MirabelleConcurrentIncrement.bpl true 28.43 25.41 None concurrent/bpl/NonAtomicIncrement_2Threads_Loop.bpl true 10.93 6.93 None concurrent/bpl/bigNumberOfThreads.bpl false(unreach-call) 11.31 6.85 None concurrent/bpl/concurrent_increment.bpl OUT OF MEMORY 274.41 224.76 None concurrent/bpl/concurrent_mult.bpl TIMEOUT 900.84 909.81 None concurrent/bpl/fork_loop_inc.bpl OUT OF MEMORY 546.91 336.91 None concurrent/bpl/fork_loop_local.bpl OUT OF MEMORY 405.20 229.05 None concurrent/bpl/fork_loop_mutex.bpl OUT OF MEMORY 295.71 174.29 None concurrent/bpl/fork_loop_noop.bpl OUT OF MEMORY 569.21 351.05 None concurrent/bpl/fork_loop_unsafe.bpl false(unreach-call) 17.64 9.66 None concurrent/bpl/fork_loop_unsafe2.bpl false(unreach-call) 35.72 21.22 None concurrent/bpl/loop-lockstep-example.bpl TIMEOUT 901.78 670.82 None concurrent/bpl/pthread_fkp_2014.bpl ERROR: TYPE ERROR 4.17 2.38 None concurrent/bpl/pthread_inc.bpl OUT OF MEMORY 331.12 182.32 None concurrent/bpl/pthread_nondet_loop_bound.bpl TIMEOUT 911.61 556.17 None concurrent/bpl/single_assertion_test.bpl false(unreach-call) 5.89 3.47 None concurrent/bpl/sum_invariant.bpl true 169.17 124.27 None concurrent/bpl/regression/ForkInForkedProcedure01.bpl false(unreach-call) 5.35 3.24 None concurrent/bpl/regression/ForkInForkedProcedure02.bpl true 5.19 3.20 None concurrent/bpl/regression/ForkInLoop02-Incrementer.bpl false(unreach-call) 7.69 4.77 None concurrent/bpl/regression/JoinTheForkingThread.bpl false(unreach-call) 5.04 3.10 None concurrent/bpl/regression/LBE_Y_to_V.bpl true 4.61 2.83 None concurrent/bpl/regression/LBE_example_semanticCheck.bpl true 5.01 3.03 None concurrent/bpl/regression/SpecificationInliningProblem.bpl true 5.38 3.18 None concurrent/bpl/regression/ThreadIdListTest-Safe.bpl true 4.95 3.01 None concurrent/bpl/regression/ThreadIdTest-Safe.bpl true 5.71 3.49 None concurrent/bpl/regression/ThreadIdTest-Unsafe.bpl false(unreach-call) 4.83 2.87 None concurrent/bpl/regression/ThyssenKruppRelegation.bpl false(unreach-call) 4.79 2.92 None concurrent/bpl/regression/atomic.bpl true 4.67 2.72 None concurrent/bpl/regression/cutoff_test.bpl false(unreach-call) 4.99 2.99 None concurrent/bpl/regression/example1.bpl false(unreach-call) 5.33 3.26 None concurrent/bpl/regression/example2.bpl true 5.28 3.11 None concurrent/bpl/regression/example_epsilon_write.bpl true 5.24 3.17 None concurrent/bpl/regression/example_interleaving.bpl true 6.93 3.95 None concurrent/bpl/regression/example_interleaving_simple.bpl true 5.22 3.08 None concurrent/bpl/regression/example_multiple_interleavings.bpl true 6.01 3.75 None concurrent/bpl/regression/example_unnecessary_interleavings.bpl true 5.42 3.28 None concurrent/bpl/regression/fork_in_loop.bpl false(unreach-call) 5.77 3.44 None concurrent/bpl/regression/fork_join_NotMod.bpl true 5.41 3.20 None concurrent/bpl/regression/fork_join_expression_type_not_found.bpl true 4.85 2.97 None concurrent/bpl/regression/fork_join_in_loop.bpl true 4.82 2.90 None concurrent/bpl/regression/fork_multiple_parameter.bpl true 6.46 3.84 None concurrent/bpl/regression/fork_multiple_times.bpl true 4.59 2.78 None concurrent/bpl/regression/fork_unchanged_local_variables2.bpl false(unreach-call) 5.28 3.08 None concurrent/bpl/regression/join_assign_global.bpl false(unreach-call) 5.11 3.20 None concurrent/bpl/regression/join_multiple_return_values.bpl true 5.57 3.37 None concurrent/bpl/regression/multiple_fork_same_id.bpl false(unreach-call) 5.38 3.21 None concurrent/bpl/regression/multiple_fork_same_id_different_return_type.bpl true 5.44 3.33 None concurrent/bpl/regression/multiple_fork_statements_different_types.bpl false(unreach-call) 4.71 3.00 None concurrent/bpl/regression/nested_fork.bpl false(unreach-call) 4.98 2.98 None concurrent/bpl/regression/showcase/Bakery.bpl true 6.83 4.02 None concurrent/bpl/regression/showcase/Fischer.bpl true 7.00 4.08 None concurrent/bpl/regression/showcase/FischerWithBug.bpl false(unreach-call) 6.57 3.84 None concurrent/bpl/regression/showcase/ForkJoinExplained.bpl true 6.40 3.86 None concurrent/bpl/regression/showcase/NonAtomicIncrement_2Threads.bpl false(unreach-call) 10.23 5.89 None concurrent/bpl/regression/showcase/Peterson.bpl true 5.52 3.29 None concurrent/bpl/regression/showcase/PetersonWithBug.bpl false(unreach-call) 5.62 3.38 None concurrent/bpl/mcr/example_10.bpl OUT OF MEMORY 182.57 122.08 None concurrent/bpl/mcr/example_11.bpl OUT OF MEMORY 211.44 151.22 None concurrent/bpl/mcr/example_12.bpl OUT OF MEMORY 217.92 155.68 None concurrent/bpl/mcr/example_13.bpl OUT OF MEMORY 338.96 218.11 None concurrent/bpl/mcr/example_14.bpl OUT OF MEMORY 206.56 155.45 None concurrent/bpl/mcr/example_15.bpl OUT OF MEMORY 226.64 170.18 None concurrent/bpl/mcr/example_16.bpl OUT OF MEMORY 222.71 167.61 None concurrent/bpl/mcr/example_17.bpl OUT OF MEMORY 225.23 169.32 None concurrent/bpl/mcr/example_18.bpl OUT OF MEMORY 270.19 200.74 None concurrent/bpl/mcr/example_19.bpl OUT OF MEMORY 272.93 200.38 None concurrent/bpl/mcr/example_2.bpl true 5.32 3.21 None concurrent/bpl/mcr/example_20.bpl OUT OF MEMORY 288.04 206.71 None concurrent/bpl/mcr/example_3.bpl true 6.81 4.05 None concurrent/bpl/mcr/example_4.bpl true 11.93 6.59 None concurrent/bpl/mcr/example_5.bpl true 41.19 23.70 None concurrent/bpl/mcr/example_6.bpl true 233.26 177.94 None concurrent/bpl/mcr/example_7.bpl TIMEOUT 900.57 746.23 None concurrent/bpl/mcr/example_8.bpl TIMEOUT 901.87 684.05 None concurrent/bpl/mcr/example_9.bpl TIMEOUT 902.81 569.85 None concurrent/bpl/weaver-benchmarks/generated/array-eq-symm.wvr.yml TIMEOUT 901.34 763.99 None concurrent/bpl/weaver-benchmarks/generated/array-eq-trans.wvr.yml TIMEOUT 900.90 664.44 None concurrent/bpl/weaver-benchmarks/generated/clever.wvr.yml TIMEOUT 900.94 693.93 None concurrent/bpl/weaver-benchmarks/generated/fibonacci.wvr.yml TIMEOUT 901.16 840.82 None concurrent/bpl/weaver-benchmarks/generated/loop-tiling-eq.wvr.yml TIMEOUT 901.04 879.96 None concurrent/bpl/weaver-benchmarks/generated/mult-comm.wvr.yml TIMEOUT 900.45 891.96 None concurrent/bpl/weaver-benchmarks/generated/mult-dist.wvr.yml OUT OF MEMORY 583.31 461.61 None concurrent/bpl/weaver-benchmarks/generated/mult-flipped-dist.wvr.yml TIMEOUT 901.22 659.12 None concurrent/bpl/weaver-benchmarks/generated/security.wvr.yml true 18.25 10.22 None concurrent/bpl/weaver-benchmarks/generated/spaghetti.wvr.yml true 6.17 3.69 None concurrent/bpl/weaver-benchmarks/generated/unroll-2.wvr.yml TIMEOUT 900.15 837.37 None concurrent/bpl/weaver-benchmarks/generated/unroll-3.wvr.yml TIMEOUT 900.17 822.81 None concurrent/bpl/weaver-benchmarks/generated/unroll-4.wvr.yml TIMEOUT 900.92 857.06 None concurrent/bpl/weaver-benchmarks/generated/unroll-5.wvr.yml TIMEOUT 900.88 834.13 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-2.wvr.yml TIMEOUT 900.84 779.50 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-3.wvr.yml TIMEOUT 900.30 815.60 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-4.wvr.yml TIMEOUT 900.60 879.05 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-5.wvr.yml TIMEOUT 900.79 891.11 None concurrent/bpl/weaver-benchmarks/generated/bench/exp1x3.wvr.yml TIMEOUT 901.49 876.15 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x3.wvr.yml OUT OF MEMORY 254.40 202.94 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x4.wvr.yml TIMEOUT 902.89 875.74 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x6.wvr.yml TIMEOUT 900.90 877.57 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x9.wvr.yml TIMEOUT 902.07 876.59 None concurrent/bpl/weaver-benchmarks/generated/bench/exp3x3-opt.wvr.yml OUT OF MEMORY 494.09 356.64 None concurrent/bpl/weaver-benchmarks/generated/bench/exp3x3.wvr.yml OUT OF MEMORY 858.42 541.95 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-subst.wvr.yml TIMEOUT 900.41 744.69 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-symm.wvr.yml TIMEOUT 901.19 797.30 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-trans.wvr.yml TIMEOUT 900.98 783.23 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-opt-symm.wvr.yml TIMEOUT 901.34 772.79 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-subst.wvr.yml TIMEOUT 900.72 735.32 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-symm.wvr.yml TIMEOUT 859.66 951.06 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-trans.wvr.yml TIMEOUT 900.80 788.57 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-subst.wvr.yml true 39.44 28.23 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-symm.wvr.yml true 15.98 9.09 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-trans.wvr.yml true 23.12 13.63 None concurrent/bpl/weaver-benchmarks/generated/chl/container-subst.wvr.yml true 34.56 23.59 None concurrent/bpl/weaver-benchmarks/generated/chl/container-symm.wvr.yml true 14.48 8.46 None concurrent/bpl/weaver-benchmarks/generated/chl/container-trans.wvr.yml true 17.50 10.26 None concurrent/bpl/weaver-benchmarks/generated/chl/exp-term-subst.wvr.yml true 13.91 7.59 None concurrent/bpl/weaver-benchmarks/generated/chl/exp-term-symm.wvr.yml true 8.59 4.79 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-subst.wvr.yml true 13.09 7.72 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-symm.wvr.yml true 8.65 4.82 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-trans.wvr.yml true 8.82 5.06 None concurrent/bpl/weaver-benchmarks/generated/chl/match-subst.wvr.yml true 17.22 9.33 None concurrent/bpl/weaver-benchmarks/generated/chl/match-symm.wvr.yml true 7.99 4.57 None concurrent/bpl/weaver-benchmarks/generated/chl/match-trans.wvr.yml true 10.16 5.74 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-subst.wvr.yml TIMEOUT 901.17 703.99 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-symm.wvr.yml TIMEOUT 900.14 768.20 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-trans.wvr.yml TIMEOUT 901.27 800.24 None concurrent/bpl/weaver-benchmarks/generated/chl/node-subst.wvr.yml true 19.47 10.60 None concurrent/bpl/weaver-benchmarks/generated/chl/node-symm.wvr.yml true 9.82 5.39 None concurrent/bpl/weaver-benchmarks/generated/chl/node-trans.wvr.yml true 10.97 6.07 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-subst.wvr.yml TIMEOUT 901.03 716.79 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-symm.wvr.yml TIMEOUT 900.50 756.94 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-trans.wvr.yml TIMEOUT 901.23 725.38 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-subst.wvr.yml TIMEOUT 900.57 874.80 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-symm.wvr.yml TIMEOUT 900.98 727.42 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-trans.wvr.yml TIMEOUT 900.68 751.88 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-subst.wvr.yml true 10.80 6.31 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-symm.wvr.yml true 6.21 3.65 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-trans.wvr.yml true 7.89 4.56 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-subst.wvr.yml true 9.69 5.59 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-symm.wvr.yml true 6.35 3.74 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-trans.wvr.yml true 6.19 3.71 None concurrent/bpl/weaver-benchmarks/generated/chl/time-subst.wvr.yml true 9.15 5.23 None concurrent/bpl/weaver-benchmarks/generated/chl/time-symm.wvr.yml true 5.90 3.54 None concurrent/bpl/weaver-benchmarks/generated/chl/time-trans.wvr.yml true 8.05 4.62 None concurrent/bpl/weaver-benchmarks/generated/chl/word-subst.wvr.yml TIMEOUT 900.39 769.92 None concurrent/bpl/weaver-benchmarks/generated/chl/word-symm.wvr.yml TIMEOUT 901.07 769.27 None concurrent/bpl/weaver-benchmarks/generated/chl/word-trans.wvr.yml TIMEOUT 900.53 748.30 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-2.wvr.yml true 9.67 5.37 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-3.wvr.yml true 55.04 30.41 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-4.wvr.yml TIMEOUT 902.68 536.64 None concurrent/bpl/weaver-benchmarks/generated/parallel/barrier-loop.wvr.yml false(unreach-call) 14.48 8.30 None concurrent/bpl/weaver-benchmarks/generated/parallel/barrier.wvr.yml TIMEOUT 901.43 697.04 None concurrent/bpl/weaver-benchmarks/generated/parallel/bluetooth.wvr.yml true 6.09 4.44 None concurrent/bpl/weaver-benchmarks/generated/parallel/lamport.wvr.yml true 16.18 9.21 None concurrent/bpl/weaver-benchmarks/generated/parallel/min-max-1.wvr.yml true 6.53 4.11 None concurrent/bpl/weaver-benchmarks/generated/parallel/min-max-2.wvr.yml OUT OF MEMORY 440.23 283.97 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-1.wvr.yml TIMEOUT 901.37 762.24 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2-unrolled-atomic.wvr.yml true 5.51 3.34 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2-unrolled.wvr.yml true 7.40 4.74 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2.wvr.yml true 43.12 31.71 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-3-extended.wvr.yml true 28.32 18.82 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-3.wvr.yml true 7.55 4.67 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-4.wvr.yml true 8.03 5.40 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-5.wvr.yml TIMEOUT 901.07 778.65 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-1-dsl.wvr.yml TIMEOUT 901.14 922.97 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-1.wvr.yml TIMEOUT 901.38 762.78 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-2.wvr.yml TIMEOUT 900.93 738.42 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-equiv.wvr.yml TIMEOUT 901.05 794.49 None concurrent/bpl/weaver-benchmarks/generated/parallel/simple-equiv.wvr.yml true 9.96 5.60 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-2.wvr.yml true 7.25 4.08 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-3.wvr.yml true 10.32 5.69 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-4.wvr.yml true 19.57 10.37 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-5.wvr.yml true 78.55 50.86 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-6.wvr.yml TIMEOUT 902.22 558.77 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-7.wvr.yml OUT OF MEMORY 234.73 135.03 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-8.wvr.yml OUT OF MEMORY 286.25 169.82 None concurrent/bpl/weaver-benchmarks/generated/popl20/channel-sum.wvr.yml TIMEOUT 900.63 739.13 None concurrent/bpl/weaver-benchmarks/generated/popl20/commit-1.wvr.yml true 14.45 8.55 None concurrent/bpl/weaver-benchmarks/generated/popl20/commit-2.wvr.yml true 842.05 705.56 None concurrent/bpl/weaver-benchmarks/generated/popl20/counter-determinism.wvr.yml OUT OF MEMORY 648.58 381.80 None concurrent/bpl/weaver-benchmarks/generated/popl20/counter-fun.wvr.yml TIMEOUT 901.12 814.91 None concurrent/bpl/weaver-benchmarks/generated/popl20/difference-det.wvr.yml OUT OF MEMORY 736.17 474.36 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure1-alt.wvr.yml true 38.98 32.21 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure1.wvr.yml TIMEOUT 900.99 878.47 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure3.wvr.yml TIMEOUT 900.89 730.96 None concurrent/bpl/weaver-benchmarks/generated/popl20/horseshoe.wvr.yml TIMEOUT 900.94 725.24 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-dec.wvr.yml ERROR: EXCEPTION 741.06 699.37 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-inc-dec.wvr.yml OUT OF MEMORY 449.35 274.81 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-inc.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.87 879.51 None concurrent/bpl/weaver-benchmarks/generated/popl20/mult-4.wvr.yml OUT OF MEMORY 515.21 310.28 None concurrent/bpl/weaver-benchmarks/generated/popl20/mult-equiv.wvr.yml TIMEOUT 903.49 638.76 None concurrent/bpl/weaver-benchmarks/generated/popl20/nonblocking-cntr-alt.wvr.yml true 102.07 81.54 None concurrent/bpl/weaver-benchmarks/generated/popl20/nonblocking-cntr.wvr.yml TIMEOUT 906.35 870.51 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons-eq.wvr.yml TIMEOUT 901.40 812.94 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons.wvr.yml TIMEOUT 901.36 723.02 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons3.wvr.yml TIMEOUT 900.85 740.81 None concurrent/bpl/weaver-benchmarks/generated/popl20/queue-add-2.wvr.yml TIMEOUT 900.50 753.55 None concurrent/bpl/weaver-benchmarks/generated/popl20/queue-add-3.wvr.yml TIMEOUT 902.25 707.46 None concurrent/bpl/weaver-benchmarks/generated/popl20/send-receive-alt.wvr.yml ERROR: EXCEPTION 824.75 688.03 None concurrent/bpl/weaver-benchmarks/generated/popl20/send-receive.wvr.yml TIMEOUT 901.56 735.42 None concurrent/bpl/weaver-benchmarks/generated/popl20/simple-array-sum.wvr.yml ERROR: EXCEPTION 108.15 82.31 None concurrent/bpl/weaver-benchmarks/generated/popl20/simple-queue.wvr.yml TIMEOUT 901.13 881.27 None concurrent/bpl/weaver-benchmarks/generated/popl20/threaded-sum-3.wvr.yml TIMEOUT 900.64 743.38 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-max.wvr.yml TIMEOUT 900.62 807.00 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-min.wvr.yml TIMEOUT 900.68 792.25 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-sum.wvr.yml OUT OF MEMORY 657.30 494.49 None concurrent/bpl/weaver-benchmarks/generated/popl20/two-queue.wvr.yml true 673.06 542.31 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/buffer-mult-alt.wvr.yml TIMEOUT 902.00 600.98 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/commit-1.wvr.yml TIMEOUT 901.07 838.10 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/commit-2.wvr.yml TIMEOUT 900.16 831.83 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/counter-queue.wvr.yml TIMEOUT 900.85 808.49 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/dot-product-alt.wvr.yml TIMEOUT 900.32 768.78 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/dot-product.wvr.yml TIMEOUT 901.43 825.12 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/ring-nondet.wvr.yml TIMEOUT 901.20 672.92 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/ring.wvr.yml true 35.70 21.64 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/threaded-sum-2.wvr.yml true 341.25 263.92 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/three-array-sum-alt.wvr.yml TIMEOUT 901.10 793.63 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/array-sum-alt.wvr.yml TIMEOUT 900.73 791.90 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/array-sum.wvr.yml TIMEOUT 900.85 733.57 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-mult.wvr.yml TIMEOUT 903.14 654.77 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-series-array.wvr.yml TIMEOUT 901.38 812.77 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-series.wvr.yml TIMEOUT 901.73 807.91 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dec-subseq-array.wvr.yml TIMEOUT 900.54 880.18 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dec-subseq.wvr.yml TIMEOUT 900.85 799.69 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dot-product-array.wvr.yml TIMEOUT 900.76 749.16 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dot-product.wvr.yml TIMEOUT 901.65 777.77 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/inc-subseq-array.wvr.yml TIMEOUT 900.25 822.55 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/inc-subseq.wvr.yml TIMEOUT 900.18 821.72 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-array-hom.wvr.yml TIMEOUT 900.22 770.01 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-array.wvr.yml TIMEOUT 901.23 887.54 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-fun-alt.wvr.yml TIMEOUT 901.27 722.22 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-fun.wvr.yml TIMEOUT 900.59 747.47 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-array-hom.wvr.yml TIMEOUT 900.97 731.88 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-array.wvr.yml TIMEOUT 900.49 756.11 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-fun-alt.wvr.yml TIMEOUT 900.21 754.13 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-fun.wvr.yml TIMEOUT 900.52 759.81 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-le-max.wvr.yml true 9.06 5.76 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/mts-array.wvr.yml TIMEOUT 900.80 876.95 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/mts.wvr.yml TIMEOUT 900.60 757.66 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/multiply-verify.wvr.yml TIMEOUT 901.81 697.46 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/nonblocking-counter-alt2.wvr.yml TIMEOUT 901.06 721.74 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/parray-copy.wvr.yml TIMEOUT 900.78 755.98 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/queue-add-2-nl.wvr.yml TIMEOUT 900.20 755.29 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/queue-add-3-nl.wvr.yml TIMEOUT 900.70 752.85 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sorted.wvr.yml TIMEOUT 900.52 887.23 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-array-hom.wvr.yml TIMEOUT 901.90 734.79 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-array.wvr.yml TIMEOUT 900.56 736.36 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-fun-alt.wvr.yml TIMEOUT 900.57 741.23 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-fun.wvr.yml TIMEOUT 902.32 764.19 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/vector-add.wvr.yml true 18.50 12.94 None concurrent/bpl/weaver-benchmarks/generated/popl20-proofs/counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 518.84 315.56 None concurrent/bpl/weaver-benchmarks/generated/test/context1.wvr.yml TIMEOUT 901.65 894.56 None concurrent/bpl/weaver-benchmarks/generated/test/easy1.wvr.yml true 25.90 20.94 None concurrent/bpl/weaver-benchmarks/generated/test/easy10.wvr.yml TIMEOUT 900.81 729.51 None concurrent/bpl/weaver-benchmarks/generated/test/easy11.wvr.yml true 100.62 96.56 None concurrent/bpl/weaver-benchmarks/generated/test/easy6.wvr.yml true 12.20 6.82 None concurrent/bpl/weaver-benchmarks/generated/test/easy7.wvr.yml true 9.56 5.29 None concurrent/bpl/weaver-benchmarks/generated/test/easy8.wvr.yml true 7.22 4.04 None concurrent/bpl/weaver-benchmarks/generated/test/hard1.wvr.yml TIMEOUT 901.21 623.41 None concurrent/bpl/weaver-benchmarks/generated/test/semi1.wvr.yml true 7.03 3.96 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 314161.26 35657.99 - Automizer FA.Separately Run set 2 of 2 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-NoLbe-Separate.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/pthread/bigshot_p.yml false(unreach-call) 9.81 5.52 None svcomp/pthread/bigshot_s.yml UNKNOWN: OverapproxCex 7.83 4.62 None svcomp/pthread/bigshot_s2.yml UNKNOWN: OverapproxCex 10.44 6.13 None svcomp/pthread/fib_safe-10.yml TIMEOUT 901.22 878.49 None svcomp/pthread/fib_safe-11.yml TIMEOUT 901.17 866.71 None svcomp/pthread/fib_safe-12.yml TIMEOUT 901.10 871.51 None svcomp/pthread/fib_safe-5.yml ERROR: EXCEPTION 578.04 562.63 None svcomp/pthread/fib_safe-6.yml TIMEOUT 901.60 875.52 None svcomp/pthread/fib_safe-7.yml TIMEOUT 901.25 859.17 None svcomp/pthread/fib_unsafe-10.yml TIMEOUT 901.41 863.74 None svcomp/pthread/fib_unsafe-11.yml TIMEOUT 900.58 884.31 None svcomp/pthread/fib_unsafe-12.yml TIMEOUT 901.19 862.79 None svcomp/pthread/fib_unsafe-5.yml ERROR: EXCEPTION 768.80 735.58 None svcomp/pthread/fib_unsafe-6.yml TIMEOUT 901.50 867.00 None svcomp/pthread/fib_unsafe-7.yml TIMEOUT 901.12 868.54 None svcomp/pthread/indexer.yml TIMEOUT 901.73 881.78 None svcomp/pthread/lazy01.yml false(unreach-call) 8.86 5.30 None svcomp/pthread/queue.yml TIMEOUT 900.95 858.78 None svcomp/pthread/queue_longer.yml TIMEOUT 901.22 851.12 None svcomp/pthread/queue_longest.yml TIMEOUT 900.70 775.80 None svcomp/pthread/queue_ok.yml TIMEOUT 901.16 830.13 None svcomp/pthread/queue_ok_longer.yml TIMEOUT 903.27 777.64 None svcomp/pthread/queue_ok_longest.yml TIMEOUT 902.10 797.24 None svcomp/pthread/reorder_2.yml ERROR: EXCEPTION 5.85 3.41 None svcomp/pthread/reorder_5.yml ERROR: EXCEPTION 5.60 3.56 None svcomp/pthread/sigma.yml OUT OF MEMORY 305.87 185.13 None svcomp/pthread/singleton.yml false(unreach-call) 12.14 7.13 None svcomp/pthread/singleton_with-uninit-problems.yml true 14.43 8.18 None svcomp/pthread/stack-1.yml TIMEOUT 901.69 863.67 None svcomp/pthread/stack-2.yml false(unreach-call) 36.45 21.86 None svcomp/pthread/stack_longer-1.yml false(unreach-call) 30.29 17.19 None svcomp/pthread/stack_longer-2.yml TIMEOUT 901.88 870.37 None svcomp/pthread/stack_longest-1.yml false(unreach-call) 29.98 18.18 None svcomp/pthread/stack_longest-2.yml TIMEOUT (ERROR: EXCEPTION) 901.85 879.66 None svcomp/pthread/stateful01-1.yml false(unreach-call) 9.60 5.35 None svcomp/pthread/stateful01-2.yml true 10.34 6.04 None svcomp/pthread/sync01.yml true 10.57 6.12 None svcomp/pthread/triangular-1.yml true 21.10 12.47 None svcomp/pthread/triangular-2.yml false(unreach-call) 19.49 10.93 None svcomp/pthread/triangular-longer-1.yml true 26.31 15.27 None svcomp/pthread/triangular-longer-2.yml false(unreach-call) 29.80 16.61 None svcomp/pthread/triangular-longest-1.yml true 48.20 28.07 None svcomp/pthread/triangular-longest-2.yml false(unreach-call) 33.42 19.31 None svcomp/pthread/twostage_3.yml ERROR: EXCEPTION 7.30 4.40 None svcomp/pthread-atomic/dekker.yml true 11.25 6.43 None svcomp/pthread-atomic/gcd-2.yml TIMEOUT 901.72 887.60 None svcomp/pthread-atomic/lamport.yml true 14.54 8.07 None svcomp/pthread-atomic/peterson.yml true 10.37 6.08 None svcomp/pthread-atomic/qrcu-1.yml true 123.19 77.19 None svcomp/pthread-atomic/qrcu-2.yml false(unreach-call) 38.50 23.27 None svcomp/pthread-atomic/read_write_lock-1.yml true 50.54 29.40 None svcomp/pthread-atomic/read_write_lock-2.yml false(unreach-call) 45.53 27.75 None svcomp/pthread-atomic/scull.yml OUT OF MEMORY 294.35 164.14 None svcomp/pthread-atomic/szymanski.yml true 9.70 5.82 None svcomp/pthread-atomic/time_var_mutex.yml true 8.84 5.45 None svcomp/pthread-ext/01b_inc.yml OUT OF MEMORY 145.53 90.75 None svcomp/pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 7.78 4.64 None svcomp/pthread-ext/03_incdec.yml OUT OF MEMORY 319.50 174.96 None svcomp/pthread-ext/04_incdec_cas.yml ERROR: EXCEPTION 30.03 18.09 None svcomp/pthread-ext/05_tas.yml OUT OF MEMORY 268.86 208.72 None svcomp/pthread-ext/06_ticket.yml TIMEOUT 901.68 889.77 None svcomp/pthread-ext/07_rand.yml OUT OF MEMORY 339.07 187.04 None svcomp/pthread-ext/08_rand_cas.yml OUT OF MEMORY 269.54 186.38 None svcomp/pthread-ext/09_fmaxsym.yml TIMEOUT 901.93 513.76 None svcomp/pthread-ext/10_fmaxsym_cas.yml ERROR: EXCEPTION 90.88 60.60 None svcomp/pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 235.72 136.16 None svcomp/pthread-ext/12_fmaxsymopt_cas.yml TIMEOUT 902.05 650.32 None svcomp/pthread-ext/13_unverif.yml OUT OF MEMORY 496.58 288.73 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 273.53 156.09 None svcomp/pthread-ext/17_szymanski.yml true 8.40 5.47 None svcomp/pthread-ext/18_read_write_lock.yml true 7.24 5.15 None svcomp/pthread-ext/23_lu-fig2.fixed.yml true 7.16 4.33 None svcomp/pthread-ext/25_stack.yml OUT OF MEMORY 351.27 202.24 None svcomp/pthread-ext/25_stack_longer-1.yml false(unreach-call) 8.65 4.97 None svcomp/pthread-ext/25_stack_longer-2.yml OUT OF MEMORY 297.16 166.97 None svcomp/pthread-ext/25_stack_longest-1.yml OUT OF MEMORY 410.47 222.04 None svcomp/pthread-ext/25_stack_longest-2.yml false(unreach-call) 8.85 5.14 None svcomp/pthread-ext/26_stack_cas.yml ERROR: EXCEPTION 111.83 82.36 None svcomp/pthread-ext/26_stack_cas_longer-1.yml false(unreach-call) 8.97 5.53 None svcomp/pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 921.39 608.43 None svcomp/pthread-ext/26_stack_cas_longest-1.yml false(unreach-call) 11.93 6.80 None svcomp/pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 907.58 564.11 None svcomp/pthread-ext/27_Boop_simple_vf.yml false(unreach-call) 8.75 5.12 None svcomp/pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 7.63 4.55 None svcomp/pthread-ext/29_conditionals_vs.yml OUT OF MEMORY 323.91 202.03 None svcomp/pthread-ext/30_Function_Pointer3_vs.yml OUT OF MEMORY 295.07 176.20 None svcomp/pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 353.08 203.55 None svcomp/pthread-ext/32_pthread5_vs.yml false(unreach-call) 15.17 8.43 None svcomp/pthread-ext/33_double_lock_p1_vs.yml OUT OF MEMORY 391.03 215.39 None svcomp/pthread-ext/34_double_lock_p2_vs.yml OUT OF MEMORY 277.56 161.58 None svcomp/pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 414.42 260.55 None svcomp/pthread-ext/36_stack_cas_p0_vs_concur.yml ERROR: EXCEPTION 31.49 21.77 None svcomp/pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 668.65 535.83 None svcomp/pthread-ext/38_rand_cas_vs_concur.yml OUT OF MEMORY 381.11 205.43 None svcomp/pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 383.64 220.11 None svcomp/pthread-ext/40_barrier_vf.yml false(unreach-call) 53.62 31.70 None svcomp/pthread-ext/42_FreeBSD_rdma_addr_sliced.yml OUT OF MEMORY 271.44 149.18 None svcomp/pthread-ext/43_NetBSD_sysmon_power_sliced.yml ERROR: TYPE ERROR 5.48 3.50 None svcomp/pthread-ext/44_Solaris_space_map_sliced.yml OUT OF MEMORY 267.80 148.60 None svcomp/pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 533.05 312.52 None svcomp/pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 397.89 229.83 None svcomp/pthread-ext/47_ticket_lock_hc_backoff_vs.yml TIMEOUT 901.76 848.84 None svcomp/pthread-ext/48_ticket_lock_low_contention_vs.yml TIMEOUT 901.00 669.51 None svcomp/pthread-wmm/mix000.oepc.yml false(unreach-call) 13.17 7.75 None svcomp/pthread-wmm/mix000.opt.yml false(unreach-call) 13.18 7.40 None svcomp/pthread-wmm/mix001.oepc.yml false(unreach-call) 24.73 13.38 None svcomp/pthread-wmm/mix001.opt.yml false(unreach-call) 20.39 11.04 None svcomp/pthread-wmm/mix002.oepc.yml false(unreach-call) 22.95 12.97 None svcomp/pthread-wmm/mix002.opt.yml false(unreach-call) 20.30 11.26 None svcomp/pthread-wmm/mix003.oepc.yml false(unreach-call) 19.38 10.60 None svcomp/pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 17.31 9.50 None svcomp/pthread-wmm/mix004.oepc.yml false(unreach-call) 63.82 40.03 None svcomp/pthread-wmm/mix004.opt.yml false(unreach-call) 50.89 30.54 None svcomp/pthread-wmm/mix005.opt.yml false(unreach-call) 65.30 40.65 None svcomp/pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 99.37 64.28 None svcomp/pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 94.89 61.83 None svcomp/pthread-wmm/mix006.opt.yml false(unreach-call) 19.29 10.89 None svcomp/pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.05 13.23 None svcomp/pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 23.10 13.28 None svcomp/pthread-wmm/mix007.oepc.yml false(unreach-call) 97.95 63.35 None svcomp/pthread-wmm/mix007.opt.yml false(unreach-call) 60.32 37.56 None svcomp/pthread-wmm/mix008.opt.yml false(unreach-call) 89.00 54.26 None svcomp/pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 103.59 67.01 None svcomp/pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 96.59 57.52 None svcomp/pthread-wmm/mix009.oepc.yml false(unreach-call) 12.18 7.23 None svcomp/pthread-wmm/mix009.opt.yml false(unreach-call) 14.02 8.31 None svcomp/pthread-wmm/mix010.oepc.yml false(unreach-call) 20.43 11.62 None svcomp/pthread-wmm/mix010.opt.yml false(unreach-call) 19.55 10.89 None svcomp/pthread-wmm/mix011.opt.yml false(unreach-call) 29.15 15.27 None svcomp/pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 30.41 16.29 None svcomp/pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 27.82 16.18 None svcomp/pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 11.48 7.09 None svcomp/pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 11.59 6.55 None svcomp/pthread-wmm/mix013.oepc.yml false(unreach-call) 81.87 48.87 None svcomp/pthread-wmm/mix013.opt.yml false(unreach-call) 56.53 34.71 None svcomp/pthread-wmm/mix014.opt.yml false(unreach-call) 56.97 34.66 None svcomp/pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 96.25 58.20 None svcomp/pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 94.85 59.97 None svcomp/pthread-wmm/mix015.oepc.yml false(unreach-call) 22.85 12.68 None svcomp/pthread-wmm/mix015.opt.yml false(unreach-call) 20.02 10.89 None svcomp/pthread-wmm/mix016.oepc.yml false(unreach-call) 24.46 13.10 None svcomp/pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 16.60 9.47 None svcomp/pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 18.58 10.05 None svcomp/pthread-wmm/mix017.oepc.yml false(unreach-call) 68.46 42.11 None svcomp/pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 56.61 34.69 None svcomp/pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 62.00 35.77 None svcomp/pthread-wmm/mix018.opt.yml false(unreach-call) 71.74 41.95 None svcomp/pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 74.02 48.30 None svcomp/pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 93.58 59.37 None svcomp/pthread-wmm/mix019.opt.yml false(unreach-call) 27.38 14.41 None svcomp/pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 19.80 11.28 None svcomp/pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 27.82 15.16 None svcomp/pthread-wmm/mix020.oepc.yml false(unreach-call) 99.03 58.82 None svcomp/pthread-wmm/mix020.opt.yml false(unreach-call) 55.03 34.08 None svcomp/pthread-wmm/mix021.opt.yml false(unreach-call) 65.31 41.88 None svcomp/pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 114.03 70.33 None svcomp/pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 90.07 58.41 None svcomp/pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 11.75 6.75 None svcomp/pthread-wmm/mix022_tso.yml false(unreach-call) 15.51 8.69 None svcomp/pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 84.93 54.22 None svcomp/pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 66.25 43.46 None svcomp/pthread-wmm/mix023_tso.yml false(unreach-call) 138.14 81.82 None svcomp/pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 29.81 16.09 None svcomp/pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 21.95 12.34 None svcomp/pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 25.53 13.71 None svcomp/pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 19.86 11.67 None svcomp/pthread-wmm/mix026.oepc.yml false(unreach-call) 79.46 49.35 None svcomp/pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 71.53 45.55 None svcomp/pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 62.52 40.32 None svcomp/pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 110.57 66.81 None svcomp/pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 76.97 45.35 None svcomp/pthread-wmm/mix027_tso.yml false(unreach-call) 105.85 68.87 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.64 12.84 None svcomp/pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 22.76 12.35 None svcomp/pthread-wmm/mix028_tso.yml false(unreach-call) 18.63 10.57 None svcomp/pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 76.42 48.72 None svcomp/pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 80.26 53.36 None svcomp/pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 104.35 63.03 None svcomp/pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 141.60 86.07 None svcomp/pthread-wmm/mix030_tso.yml false(unreach-call) 65.57 41.87 None svcomp/pthread-wmm/mix031.oepc.yml false(unreach-call) 11.83 6.95 None svcomp/pthread-wmm/mix031.opt.yml false(unreach-call) 12.54 6.95 None svcomp/pthread-wmm/mix032.oepc.yml false(unreach-call) 20.79 11.75 None svcomp/pthread-wmm/mix032.opt.yml false(unreach-call) 19.24 10.83 None svcomp/pthread-wmm/mix033.opt.yml false(unreach-call) 19.03 11.01 None svcomp/pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 29.65 15.78 None svcomp/pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 23.45 13.27 None svcomp/pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 11.77 6.76 None svcomp/pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 11.96 6.75 None svcomp/pthread-wmm/mix035.oepc.yml false(unreach-call) 23.36 12.34 None svcomp/pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 19.22 10.59 None svcomp/pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 16.76 9.24 None svcomp/pthread-wmm/mix036.oepc.yml false(unreach-call) 57.49 35.55 None svcomp/pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 52.39 30.87 None svcomp/pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 64.61 39.86 None svcomp/pthread-wmm/mix037.opt.yml false(unreach-call) 72.87 42.73 None svcomp/pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 110.52 67.47 None svcomp/pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 140.29 85.69 None svcomp/pthread-wmm/mix038.opt.yml false(unreach-call) 20.37 11.33 None svcomp/pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.18 12.10 None svcomp/pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 23.55 13.20 None svcomp/pthread-wmm/mix039.oepc.yml false(unreach-call) 81.50 52.45 None svcomp/pthread-wmm/mix039.opt.yml false(unreach-call) 57.21 35.61 None svcomp/pthread-wmm/mix040.opt.yml false(unreach-call) 86.06 51.56 None svcomp/pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 99.37 65.78 None svcomp/pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 140.00 85.31 None svcomp/pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 12.85 7.09 None svcomp/pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 14.27 7.91 None svcomp/pthread-wmm/mix042.oepc.yml false(unreach-call) 25.39 13.62 None svcomp/pthread-wmm/mix042.opt.yml false(unreach-call) 20.28 11.37 None svcomp/pthread-wmm/mix043.oepc.yml false(unreach-call) 94.05 60.50 None svcomp/pthread-wmm/mix043.opt.yml false(unreach-call) 71.76 42.04 None svcomp/pthread-wmm/mix044.opt.yml false(unreach-call) 80.78 47.56 None svcomp/pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 86.37 55.11 None svcomp/pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 126.06 83.55 None svcomp/pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 27.50 14.84 None svcomp/pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 32.43 17.11 None svcomp/pthread-wmm/mix046.oepc.yml false(unreach-call) 138.56 85.03 None svcomp/pthread-wmm/mix046.opt.yml false(unreach-call) 104.45 63.28 None svcomp/pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 119.70 77.04 None svcomp/pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 111.47 71.83 None svcomp/pthread-wmm/mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 11.18 6.53 None svcomp/pthread-wmm/mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 23.22 12.57 None svcomp/pthread-wmm/mix050.yml false(unreach-call) 49.74 29.94 None svcomp/pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 74.32 43.71 None svcomp/pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 55.60 34.13 None svcomp/pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 77.24 49.39 None svcomp/pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 23.00 12.11 None svcomp/pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 21.28 11.67 None svcomp/pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 27.06 14.29 None svcomp/pthread-wmm/mix053.opt.yml false(unreach-call) 56.61 34.53 None svcomp/pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 72.15 45.45 None svcomp/pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 123.28 75.85 None svcomp/pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 11.88 6.59 None svcomp/pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 16.53 9.25 None svcomp/pthread-wmm/mix055.opt.yml false(unreach-call) 69.40 43.10 None svcomp/pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 86.91 51.34 None svcomp/pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 126.63 78.08 None svcomp/pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 18.09 10.67 None svcomp/pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.06 14.45 None svcomp/pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 90.62 58.14 None svcomp/pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 78.79 49.45 None svcomp/pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.33 12.58 None svcomp/pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 13.55 7.44 None svcomp/pthread-wmm/rfi000_tso.yml true 23.31 14.33 None svcomp/pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 12.32 7.24 None svcomp/pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 15.64 8.40 None svcomp/pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 27.80 15.43 None svcomp/pthread-wmm/rfi002_tso.yml true 29.50 15.67 None svcomp/pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 12.44 7.71 None svcomp/pthread-wmm/rfi003_tso.yml true 31.58 17.12 None svcomp/pthread-wmm/rfi004.yml false(unreach-call) 11.02 6.73 None svcomp/pthread-wmm/rfi005.yml false(unreach-call) 9.81 5.84 None svcomp/pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 21.27 11.23 None svcomp/pthread-wmm/rfi006_power.opt.yml false(unreach-call) 18.22 10.30 None svcomp/pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 21.29 11.77 None svcomp/pthread-wmm/rfi006_rmo.yml false(unreach-call) 21.40 11.61 None svcomp/pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 12.18 6.84 None svcomp/pthread-wmm/rfi007_tso.yml false(unreach-call) 14.51 8.14 None svcomp/pthread-wmm/rfi008.oepc.yml false(unreach-call) 17.87 9.55 None svcomp/pthread-wmm/rfi008.opt.yml false(unreach-call) 13.42 7.59 None svcomp/pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 27.62 15.15 None svcomp/pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 20.06 11.16 None svcomp/pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 18.16 9.97 None svcomp/pthread-wmm/rfi010.yml false(unreach-call) 11.44 6.80 None svcomp/pthread-wmm/safe000_power.oepc.yml false(unreach-call) 31.80 16.81 None svcomp/pthread-wmm/safe000_power.opt.yml false(unreach-call) 30.32 15.96 None svcomp/pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.36 7.80 None svcomp/pthread-wmm/safe000_rmo.yml false(unreach-call) 20.29 11.67 None svcomp/pthread-wmm/safe001_power.oepc.yml false(unreach-call) 26.05 13.98 None svcomp/pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 22.01 11.84 None svcomp/pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 33.19 17.57 None svcomp/pthread-wmm/safe001_tso.yml true 15.75 9.29 None svcomp/pthread-wmm/safe002_power.oepc.yml false(unreach-call) 28.02 14.87 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 19.86 11.61 None svcomp/pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 25.83 13.91 None svcomp/pthread-wmm/safe002_tso.yml true 13.32 8.05 None svcomp/pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 27.85 15.59 None svcomp/pthread-wmm/safe003_power.opt.yml false(unreach-call) 20.89 11.82 None svcomp/pthread-wmm/safe003_tso.yml true 16.08 8.56 None svcomp/pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 36.85 21.68 None svcomp/pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 22.82 12.95 None svcomp/pthread-wmm/safe004_tso.yml true 16.80 9.15 None svcomp/pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.94 12.44 None svcomp/pthread-wmm/safe005_tso.yml true 12.99 7.69 None svcomp/pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 11.86 6.98 None svcomp/pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 15.45 8.24 None svcomp/pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 9.20 5.34 None svcomp/pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 14.21 7.88 None svcomp/pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 15.48 8.40 None svcomp/pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 17.61 9.62 None svcomp/pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.06 8.52 None svcomp/pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 19.22 10.22 None svcomp/pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 21.43 11.96 None svcomp/pthread-wmm/safe008_power.opt.yml false(unreach-call) 28.53 15.20 None svcomp/pthread-wmm/safe008_tso.yml true 14.47 8.32 None svcomp/pthread-wmm/safe009_power.oepc.yml false(unreach-call) 16.05 9.04 None svcomp/pthread-wmm/safe009_power.opt.yml false(unreach-call) 19.74 11.03 None svcomp/pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.71 9.39 None svcomp/pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 19.92 10.56 None svcomp/pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 17.36 9.66 None svcomp/pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 12.89 7.64 None svcomp/pthread-wmm/safe010_tso.yml true 8.88 5.49 None svcomp/pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 37.27 20.00 None svcomp/pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 22.86 12.41 None svcomp/pthread-wmm/safe011_tso.yml true 17.84 9.50 None svcomp/pthread-wmm/safe012_power.oepc.yml false(unreach-call) 20.12 10.87 None svcomp/pthread-wmm/safe012_power.opt.yml false(unreach-call) 16.53 9.14 None svcomp/pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 18.45 10.16 None svcomp/pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 15.32 8.84 None svcomp/pthread-wmm/safe012_tso.yml true 18.30 9.70 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.25 11.99 None svcomp/pthread-wmm/safe013_tso.yml true 13.52 7.80 None svcomp/pthread-wmm/safe014_power.oepc.yml false(unreach-call) 16.74 9.28 None svcomp/pthread-wmm/safe014_power.opt.yml false(unreach-call) 23.23 12.30 None svcomp/pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.00 8.83 None svcomp/pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 20.69 10.96 None svcomp/pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 27.97 15.02 None svcomp/pthread-wmm/safe015_power.oepc.yml false(unreach-call) 13.97 7.72 None svcomp/pthread-wmm/safe015_power.opt.yml false(unreach-call) 22.18 12.02 None svcomp/pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.66 8.32 None svcomp/pthread-wmm/safe015_rmo.yml false(unreach-call) 23.52 12.93 None svcomp/pthread-wmm/safe016_power.oepc.yml false(unreach-call) 51.74 28.37 None svcomp/pthread-wmm/safe016_power.opt.yml false(unreach-call) 64.77 39.16 None svcomp/pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 49.62 29.07 None svcomp/pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 41.83 24.31 None svcomp/pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 59.08 36.64 None svcomp/pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 33.09 17.94 None svcomp/pthread-wmm/safe017_tso.yml true 13.98 8.23 None svcomp/pthread-wmm/safe018_power.oepc.yml false(unreach-call) 16.18 9.42 None svcomp/pthread-wmm/safe018_power.opt.yml false(unreach-call) 27.23 14.81 None svcomp/pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.12 8.65 None svcomp/pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 14.35 8.35 None svcomp/pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 18.35 10.46 None svcomp/pthread-wmm/safe019_power.oepc.yml false(unreach-call) 48.48 27.09 None svcomp/pthread-wmm/safe019_power.opt.yml false(unreach-call) 116.68 71.93 None svcomp/pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 31.38 18.79 None svcomp/pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 33.99 19.61 None svcomp/pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 100.99 66.06 None svcomp/pthread-wmm/safe020_power.yml false(unreach-call) 46.02 24.44 None svcomp/pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.55 7.13 None svcomp/pthread-wmm/safe020_rmo.yml false(unreach-call) 23.46 12.96 None svcomp/pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 18.55 10.73 None svcomp/pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 18.76 10.49 None svcomp/pthread-wmm/safe021_tso.yml true 16.87 9.35 None svcomp/pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 11.67 7.00 None svcomp/pthread-wmm/safe022_tso.yml true 11.70 6.37 None svcomp/pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 29.93 16.83 None svcomp/pthread-wmm/safe023_tso.yml true 16.26 8.66 None svcomp/pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 17.44 10.12 None svcomp/pthread-wmm/safe024_tso.yml true 11.30 6.58 None svcomp/pthread-wmm/safe025_power.yml false(unreach-call) 16.71 9.13 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.00 10.98 None svcomp/pthread-wmm/safe025_rmo.yml false(unreach-call) 25.40 13.96 None svcomp/pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.26 11.05 None svcomp/pthread-wmm/safe026_tso.yml true 17.22 9.54 None svcomp/pthread-wmm/safe027_power.oepc.yml false(unreach-call) 36.20 21.19 None svcomp/pthread-wmm/safe027_power.opt.yml false(unreach-call) 125.76 77.39 None svcomp/pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 26.45 15.11 None svcomp/pthread-wmm/safe027_rmo.yml false(unreach-call) 51.26 28.41 None svcomp/pthread-wmm/safe028_power.yml false(unreach-call) 21.95 12.21 None svcomp/pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.39 7.37 None svcomp/pthread-wmm/safe028_rmo.yml false(unreach-call) 19.77 11.00 None svcomp/pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 16.14 9.20 None svcomp/pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 18.47 10.15 None svcomp/pthread-wmm/safe029_tso.yml true 11.85 6.67 None svcomp/pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 26.01 15.80 None svcomp/pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 37.49 19.66 None svcomp/pthread-wmm/safe030_tso.yml true 15.53 9.00 None svcomp/pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 21.35 11.60 None svcomp/pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 21.87 12.18 None svcomp/pthread-wmm/safe031_tso.yml true 18.04 9.87 None svcomp/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 34.93 19.25 None svcomp/pthread-wmm/safe032_tso.yml true 12.84 7.47 None svcomp/pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 10.75 6.59 None svcomp/pthread-wmm/safe033_tso.yml true 9.24 5.59 None svcomp/pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.72 12.03 None svcomp/pthread-wmm/safe034_tso.yml true 15.79 8.46 None svcomp/pthread-wmm/safe035_power.yml true 28.52 16.44 None svcomp/pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 12.33 7.62 None svcomp/pthread-wmm/safe036.yml true 9.41 5.15 None svcomp/pthread-wmm/safe037.yml true 11.07 6.59 None svcomp/pthread-wmm/thin002_power.oepc.yml false(unreach-call) 49.56 27.90 None svcomp/pthread-wmm/thin002_power.opt.yml false(unreach-call) 54.35 30.47 None svcomp/pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 33.96 20.02 None svcomp/pthread-wmm/thin002_rmo.yml false(unreach-call) 35.63 20.30 None svcomp/pthread-lit/fk2012.yml OUT OF MEMORY 226.78 129.12 None svcomp/pthread-lit/fkp2013-1.yml OUT OF MEMORY 291.42 168.39 None svcomp/pthread-lit/fkp2013-2.yml OUT OF MEMORY 308.53 186.71 None svcomp/pthread-lit/fkp2013_variant-1.yml OUT OF MEMORY 384.66 245.01 None svcomp/pthread-lit/fkp2013_variant-2.yml false(unreach-call) 10.27 6.07 None svcomp/pthread-lit/fkp2014.yml OUT OF MEMORY 554.99 321.55 None svcomp/pthread-lit/qw2004-1.yml true 11.81 6.77 None svcomp/pthread-lit/qw2004-2b.yml false(unreach-call) 10.98 6.27 None svcomp/pthread-lit/qw2004_variant.yml OUT OF MEMORY 512.52 293.18 None svcomp/pthread-lit/sssc12.yml OUT OF MEMORY 643.47 363.46 None svcomp/pthread-lit/sssc12_variant.yml ERROR: EXCEPTION 862.32 738.21 None svcomp/ldv-races/race-1_1-join.yml true 8.63 5.39 None svcomp/ldv-races/race-1_2-join.yml false(unreach-call) 8.60 4.82 None svcomp/ldv-races/race-1_3-join.yml false(unreach-call) 8.94 5.51 None svcomp/ldv-races/race-2_1-container_of.yml TIMEOUT 900.90 724.07 None svcomp/ldv-races/race-2_2-container_of.yml TIMEOUT 900.55 868.83 None svcomp/ldv-races/race-2_3-container_of.yml false(unreach-call) 12.52 7.06 None svcomp/ldv-races/race-2_4-container_of.yml false(unreach-call) 15.34 8.42 None svcomp/ldv-races/race-2_5-container_of.yml false(unreach-call) 14.34 8.09 None svcomp/ldv-races/race-3_1-container_of-global.yml TIMEOUT 900.96 719.95 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 161.10 107.40 None svcomp/ldv-races/race-4_1-thread_local_vars.yml true 47.74 26.81 None svcomp/ldv-races/race-4_2-thread_local_vars.yml false(unreach-call) 50.22 29.86 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 41.88 23.61 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 45.81 26.31 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 366.21 207.65 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 328.48 179.64 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 333.77 182.88 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml OUT OF MEMORY 316.92 173.52 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml OUT OF MEMORY 321.17 175.85 None svcomp/pthread-complex/bounded_buffer.yml OUT OF MEMORY 363.15 192.88 None svcomp/pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 290.34 164.60 None svcomp/pthread-complex/safestack_relacy.yml TIMEOUT 901.88 505.95 None svcomp/pthread-complex/workstealqueue_mutex-1.yml OUT OF MEMORY 355.86 193.22 None svcomp/pthread-complex/workstealqueue_mutex-2.yml OUT OF MEMORY 282.72 158.93 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 8.92 5.12 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 8.73 5.24 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 8.58 5.43 None svcomp/pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 8.73 5.39 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 10.72 6.19 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 10.25 5.76 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 13.18 7.05 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 9.90 5.56 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 8.67 5.11 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 11.50 6.26 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 8.62 5.36 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 11.66 7.14 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 8.54 5.38 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 13.56 7.72 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 9.10 5.43 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 8.67 5.32 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 13.60 7.37 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 9.83 5.87 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 13.24 7.62 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 9.01 5.25 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 10.85 6.34 None svcomp/pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 904.42 697.80 None svcomp/pthread-C-DAC/pthread-demo-datarace-2.yml TIMEOUT 902.17 674.58 None svcomp/pthread-C-DAC/pthread-finding-k-matches.yml unknown 5.65 3.23 None svcomp/pthread-C-DAC/pthread-numerical-integration.yml unknown 5.63 3.61 None svcomp/pthread-divine/barrier_2t.yml TIMEOUT 901.25 849.22 None svcomp/pthread-divine/barrier_3t.yml ERROR: EXCEPTION 737.30 665.49 None svcomp/pthread-divine/condvar.yml true 10.95 6.65 None svcomp/pthread-divine/condvar_spurious_wakeup.yml false(unreach-call) 6.84 4.01 None svcomp/pthread-divine/divinefifo-bug_1w1r.yml TIMEOUT 901.00 733.58 None svcomp/pthread-divine/divinefifo_1w1r.yml TIMEOUT 900.78 874.53 None svcomp/pthread-divine/one_time_barrier_2t.yml TIMEOUT 901.21 839.00 None svcomp/pthread-divine/one_time_barrier_3t.yml TIMEOUT 901.33 829.46 None svcomp/pthread-divine/one_time_barrier_twice_2t.yml TIMEOUT 901.11 850.74 None svcomp/pthread-divine/one_time_barrier_twice_3t.yml ERROR: EXCEPTION 164.12 127.16 None svcomp/pthread-divine/ring_1w1r-1.yml false(unreach-call) 8.18 4.70 None svcomp/pthread-divine/ring_1w1r-2.yml TIMEOUT 900.99 718.04 None svcomp/pthread-divine/ring_2w1r-1.yml TIMEOUT 901.16 685.72 None svcomp/pthread-divine/ring_2w1r-2.yml TIMEOUT 900.74 690.41 None svcomp/pthread-divine/tls_basic.yml unknown 5.32 3.71 None svcomp/pthread-divine/tls_destructor_worker.yml unknown 5.29 3.22 None svcomp/pthread-nondet/nondet-array-1.yml OUT OF MEMORY 247.31 150.52 None svcomp/pthread-nondet/nondet-array-2.yml OUT OF MEMORY 286.11 175.37 None svcomp/pthread-nondet/nondet-loop-bound-1.yml TIMEOUT 903.48 537.61 None svcomp/pthread-nondet/nondet-loop-bound-2.yml OUT OF MEMORY 170.19 116.55 None svcomp/pthread-nondet/nondet-loop-bound-variant-1.yml OUT OF MEMORY 278.73 160.44 None svcomp/pthread-nondet/nondet-loop-bound-variant-2.yml OUT OF MEMORY 280.94 161.43 None svcomp/goblint-regression/13-privatized_01-priv_nr_true.yml true 12.43 6.88 None svcomp/goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 356.58 194.22 None svcomp/goblint-regression/13-privatized_18-first-reads_true.yml true 9.53 5.74 None svcomp/goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 8.46 5.05 None svcomp/goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 9.58 5.56 None svcomp/goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 9.67 5.51 None svcomp/goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 8.11 4.52 None svcomp/goblint-regression/13-privatized_19-publish-precision_true.yml true 9.64 5.85 None svcomp/goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 8.46 4.74 None svcomp/goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 9.82 5.74 None svcomp/goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 9.06 4.95 None svcomp/goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 8.66 5.17 None svcomp/goblint-regression/13-privatized_20-publish-regression_true.yml true 9.59 5.64 None svcomp/goblint-regression/13-privatized_24-multiple-protecting_true.yml true 14.04 7.85 None svcomp/goblint-regression/13-privatized_25-struct_nr_true.yml true 11.78 6.69 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 16.00 9.21 None svcomp/goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 10.34 6.77 None svcomp/goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 9.54 5.24 None svcomp/goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 10.82 6.24 None svcomp/goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 8.27 4.97 None svcomp/goblint-regression/13-privatized_33-traces-v-matters_true.yml true 8.61 5.24 None svcomp/goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 11.62 6.83 None svcomp/goblint-regression/13-privatized_35-traces-ex-2_true.yml true 10.35 5.72 None svcomp/goblint-regression/13-privatized_36-traces-ex-3_true.yml true 8.01 4.73 None svcomp/goblint-regression/13-privatized_37-traces-ex-4_true.yml true 7.62 4.48 None svcomp/goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 9.51 5.44 None svcomp/goblint-regression/13-privatized_40-traces-ex-6_true.yml true 10.67 6.34 None svcomp/goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 7.04 4.72 None svcomp/goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 8.38 5.15 None svcomp/goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 9.94 5.50 None svcomp/goblint-regression/13-privatized_44-traces-mine2_true.yml true 10.27 5.98 None svcomp/goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 7.69 4.52 None svcomp/goblint-regression/13-privatized_46-refine-protected1_true.yml true 7.32 4.29 None svcomp/goblint-regression/13-privatized_47-refine-protected2_true.yml true 9.50 5.27 None svcomp/goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 7.02 4.34 None svcomp/goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 9.02 5.04 None svcomp/goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 7.24 4.45 None svcomp/goblint-regression/13-privatized_66-mine-W-init_true.yml true 8.00 4.77 None svcomp/goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 8.53 5.48 None svcomp/goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 7.79 4.75 None svcomp/goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 12.02 6.75 None svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 900.40 810.63 None svcomp/goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 10.98 6.29 None svcomp/goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 347.83 215.13 None svcomp/goblint-regression/28-race_reach_02-simple_racefree.yml OUT OF MEMORY 453.80 254.04 None svcomp/goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 232.53 132.81 None svcomp/goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 228.36 130.76 None svcomp/goblint-regression/28-race_reach_05-lockfuns_racefree.yml OUT OF MEMORY 368.19 198.58 None svcomp/goblint-regression/28-race_reach_06-cond_racing1.yml OUT OF MEMORY 411.86 240.58 None svcomp/goblint-regression/28-race_reach_07-cond_racing2.yml OUT OF MEMORY 398.15 229.14 None svcomp/goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 395.56 234.02 None svcomp/goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 232.54 141.40 None svcomp/goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 288.81 159.44 None svcomp/goblint-regression/28-race_reach_11-ptr_racing.yml OUT OF MEMORY 535.40 298.97 None svcomp/goblint-regression/28-race_reach_12-ptr_racefree.yml OUT OF MEMORY 450.06 258.26 None svcomp/goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 278.98 163.15 None svcomp/goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 270.66 152.09 None svcomp/goblint-regression/28-race_reach_21-deref_read_racing.yml OUT OF MEMORY 475.28 270.19 None svcomp/goblint-regression/28-race_reach_22-deref_read_racefree.yml OUT OF MEMORY 425.01 241.12 None svcomp/goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 5.20 3.11 None svcomp/goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 371.68 214.79 None svcomp/goblint-regression/28-race_reach_27-funptr_racing.yml OUT OF MEMORY 235.89 142.00 None svcomp/goblint-regression/28-race_reach_28-funptr_racefree.yml OUT OF MEMORY 295.43 162.03 None svcomp/goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 387.37 227.20 None svcomp/goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 377.92 231.58 None svcomp/goblint-regression/28-race_reach_40-trylock_racing.yml unknown 5.20 3.25 None svcomp/goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 354.24 209.48 None svcomp/goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 304.23 167.97 None svcomp/goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 8.81 5.13 None svcomp/goblint-regression/28-race_reach_46-escape_racefree.yml true 9.80 5.64 None svcomp/goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 325.77 177.56 None svcomp/goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 271.35 155.70 None svcomp/goblint-regression/28-race_reach_61-invariant_racing.yml OUT OF MEMORY 292.23 160.33 None svcomp/goblint-regression/28-race_reach_70-funloop_racefree.yml TIMEOUT 900.94 874.13 None svcomp/goblint-regression/28-race_reach_71-funloop_racing.yml TIMEOUT 902.31 871.88 None svcomp/goblint-regression/28-race_reach_72-funloop_hard_racing.yml TIMEOUT 901.02 875.51 None svcomp/goblint-regression/28-race_reach_73-funloop_hard_racefree.yml TIMEOUT (ERROR: EXCEPTION) 902.04 882.70 None svcomp/goblint-regression/28-race_reach_74-tricky_address1_racefree.yml TIMEOUT (ERROR: EXCEPTION) 902.33 850.49 None svcomp/goblint-regression/28-race_reach_75-tricky_address2_racefree.yml ERROR: EXCEPTION 455.32 355.30 None svcomp/goblint-regression/28-race_reach_76-tricky_address3_racefree.yml TIMEOUT 901.25 825.54 None svcomp/goblint-regression/28-race_reach_77-tricky_address4_racing.yml TIMEOUT 901.59 813.29 None svcomp/goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 274.79 156.31 None svcomp/goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 365.00 200.11 None svcomp/goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 236.85 135.39 None svcomp/goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 241.03 135.72 None svcomp/goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 238.69 141.32 None svcomp/goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 277.39 153.08 None svcomp/goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 223.64 126.61 None svcomp/goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 901.86 884.32 None svcomp/goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 901.87 882.26 None svcomp/goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 902.21 872.75 None svcomp/goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 901.68 888.63 None svcomp/goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 901.76 887.99 None svcomp/goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 901.65 892.07 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml false(unreach-call) 11.33 6.62 None svcomp/goblint-regression/36-apron_11-traces-max-simple_true.yml true 9.83 5.74 None svcomp/goblint-regression/36-apron_16-traces-unprot2_true.yml true 9.04 5.35 None svcomp/goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 9.64 5.68 None svcomp/goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 8.44 4.99 None svcomp/goblint-regression/36-apron_21-traces-cluster-based_true.yml OUT OF MEMORY 408.52 220.59 None svcomp/goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 20.39 11.21 None svcomp/goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 8.44 5.08 None svcomp/goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 8.74 5.34 None svcomp/weaver/array-eq-symm.wvr.yml ERROR: EXCEPTION 461.53 370.11 None svcomp/weaver/array-eq-trans.wvr.yml TIMEOUT 900.83 672.97 None svcomp/weaver/bench-exp1x3.wvr.yml true 12.27 6.93 None svcomp/weaver/bench-exp2x3.wvr.yml TIMEOUT 901.79 883.67 None svcomp/weaver/bench-exp2x4.wvr.yml TIMEOUT 902.62 882.73 None svcomp/weaver/bench-exp2x6.wvr.yml TIMEOUT 902.13 880.08 None svcomp/weaver/bench-exp2x9.wvr.yml TIMEOUT 901.39 848.90 None svcomp/weaver/bench-exp3x3-opt.wvr.yml TIMEOUT 910.62 522.56 None svcomp/weaver/bench-exp3x3.wvr.yml TIMEOUT 902.11 672.08 None svcomp/weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 322.93 172.31 None svcomp/weaver/chl-array-int-symm.wvr.yml TIMEOUT 900.97 846.79 None svcomp/weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 487.19 261.61 None svcomp/weaver/chl-chromosome-opt-symm.wvr.yml TIMEOUT 901.69 723.50 None svcomp/weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 243.33 134.80 None svcomp/weaver/chl-chromosome-symm.wvr.yml TIMEOUT 901.34 758.27 None svcomp/weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 299.01 163.00 None svcomp/weaver/chl-collitem-subst.wvr.yml true 35.56 22.51 None svcomp/weaver/chl-collitem-symm.wvr.yml true 14.26 9.20 None svcomp/weaver/chl-collitem-trans.wvr.yml true 19.22 11.11 None svcomp/weaver/chl-exp-term-subst.wvr.yml TIMEOUT 907.71 591.70 None svcomp/weaver/chl-exp-term-symm.wvr.yml TIMEOUT 901.39 695.27 None svcomp/weaver/chl-file-item-subst.wvr.yml OUT OF MEMORY 248.10 138.94 None svcomp/weaver/chl-file-item-symm.wvr.yml TIMEOUT 901.14 704.76 None svcomp/weaver/chl-file-item-trans.wvr.yml OUT OF MEMORY 337.78 183.89 None svcomp/weaver/chl-match-subst.wvr.yml OUT OF MEMORY 266.24 146.75 None svcomp/weaver/chl-match-symm.wvr.yml TIMEOUT 901.37 719.77 None svcomp/weaver/chl-match-trans.wvr.yml OUT OF MEMORY 274.90 151.64 None svcomp/weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 229.14 127.63 None svcomp/weaver/chl-name-comparator-symm.wvr.yml OUT OF MEMORY 825.97 656.62 None svcomp/weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 234.53 130.40 None svcomp/weaver/chl-node-subst.wvr.yml OUT OF MEMORY 250.51 137.49 None svcomp/weaver/chl-node-symm.wvr.yml TIMEOUT 901.54 734.24 None svcomp/weaver/chl-node-trans.wvr.yml OUT OF MEMORY 276.88 150.46 None svcomp/weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 292.23 159.08 None svcomp/weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 731.33 539.35 None svcomp/weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 213.90 119.81 None svcomp/weaver/chl-simpl-str-subst.wvr.yml TIMEOUT 902.06 526.83 None svcomp/weaver/chl-simpl-str-symm.wvr.yml TIMEOUT 900.66 732.31 None svcomp/weaver/chl-simpl-str-trans.wvr.yml TIMEOUT 901.58 576.90 None svcomp/weaver/chl-sre-subst.wvr.yml true 90.96 65.36 None svcomp/weaver/chl-sre-symm.wvr.yml true 37.24 19.83 None svcomp/weaver/chl-sre-trans.wvr.yml true 18.00 9.45 None svcomp/weaver/chl-time-subst.wvr.yml true 18.84 10.10 None svcomp/weaver/chl-time-symm.wvr.yml true 13.84 7.56 None svcomp/weaver/chl-time-trans.wvr.yml true 16.16 8.69 None svcomp/weaver/chl-word-subst.wvr.yml TIMEOUT 900.83 528.72 None svcomp/weaver/chl-word-symm.wvr.yml TIMEOUT 900.66 860.88 None svcomp/weaver/chl-word-trans.wvr.yml TIMEOUT 906.17 533.38 None svcomp/weaver/clever.wvr.yml TIMEOUT 901.45 748.37 None svcomp/weaver/fibonacci.wvr.yml TIMEOUT 901.60 703.55 None svcomp/weaver/loop-tiling-eq.wvr.yml TIMEOUT 901.23 843.77 None svcomp/weaver/mult-comm.wvr.yml TIMEOUT 900.79 867.55 None svcomp/weaver/mult-dist.wvr.yml OUT OF MEMORY 471.83 409.64 None svcomp/weaver/mult-flipped-dist.wvr.yml TIMEOUT 905.68 705.10 None svcomp/weaver/parallel-bakery-2.wvr.yml true 13.32 7.28 None svcomp/weaver/parallel-bakery-3.wvr.yml true 153.59 99.45 None svcomp/weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 265.53 152.21 None svcomp/weaver/parallel-barrier-loop.wvr.yml OUT OF MEMORY 227.40 135.40 None svcomp/weaver/parallel-barrier.wvr.yml OUT OF MEMORY 272.71 151.79 None svcomp/weaver/parallel-bluetooth.wvr.yml true 16.66 9.30 None svcomp/weaver/parallel-lamport.wvr.yml TIMEOUT 901.35 800.84 None svcomp/weaver/parallel-min-max-1.wvr.yml true 46.19 27.65 None svcomp/weaver/parallel-misc-1.wvr.yml TIMEOUT 901.94 765.18 None svcomp/weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 7.40 4.33 None svcomp/weaver/parallel-misc-2-unrolled.wvr.yml true 17.82 12.01 None svcomp/weaver/parallel-misc-2.wvr.yml TIMEOUT 901.73 874.29 None svcomp/weaver/parallel-misc-3-extended.wvr.yml true 203.20 124.48 None svcomp/weaver/parallel-misc-3.wvr.yml true 15.85 9.20 None svcomp/weaver/parallel-misc-4.wvr.yml true 36.44 21.11 None svcomp/weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 646.65 397.26 None svcomp/weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 261.54 147.70 None svcomp/weaver/parallel-parallel-sum-1.wvr.yml TIMEOUT 901.53 821.80 None svcomp/weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 208.52 119.55 None svcomp/weaver/parallel-parallel-sum-equiv.wvr.yml ERROR: EXCEPTION 505.07 371.20 None svcomp/weaver/parallel-simple-equiv.wvr.yml true 12.93 7.91 None svcomp/weaver/parallel-ticket-2.wvr.yml true 8.61 5.06 None svcomp/weaver/parallel-ticket-3.wvr.yml true 13.74 7.60 None svcomp/weaver/parallel-ticket-4.wvr.yml true 38.12 22.69 None svcomp/weaver/parallel-ticket-5.wvr.yml true 784.96 509.51 None svcomp/weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 283.92 156.09 None svcomp/weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 300.00 173.04 None svcomp/weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 292.95 170.53 None svcomp/weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 905.89 595.30 None svcomp/weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 217.94 163.09 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml true 603.22 380.96 None svcomp/weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 382.50 209.35 None svcomp/weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 14.26 8.51 None svcomp/weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 900.69 805.34 None svcomp/weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 901.45 655.88 None svcomp/weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 901.42 721.55 None svcomp/weaver/popl20-bad-ring-nondet.wvr.yml true 39.89 23.60 None svcomp/weaver/popl20-bad-ring.wvr.yml TIMEOUT 901.69 791.16 None svcomp/weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 900.85 850.96 None svcomp/weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 856.62 490.31 None svcomp/weaver/popl20-channel-sum.wvr.yml TIMEOUT 900.71 754.55 None svcomp/weaver/popl20-commit-1.wvr.yml ERROR: EXCEPTION 88.89 68.30 None svcomp/weaver/popl20-commit-2.wvr.yml TIMEOUT 901.38 822.71 None svcomp/weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 544.50 340.20 None svcomp/weaver/popl20-counter-fun.wvr.yml TIMEOUT 901.17 777.73 None svcomp/weaver/popl20-difference-det.wvr.yml TIMEOUT 910.03 530.53 None svcomp/weaver/popl20-figure1-alt.wvr.yml TIMEOUT 900.34 747.67 None svcomp/weaver/popl20-figure1.wvr.yml TIMEOUT 906.71 664.55 None svcomp/weaver/popl20-figure3.wvr.yml TIMEOUT 901.71 826.25 None svcomp/weaver/popl20-horseshoe.wvr.yml ERROR: EXCEPTION 150.04 104.05 None svcomp/weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 800.14 674.10 None svcomp/weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 400.98 224.47 None svcomp/weaver/popl20-min-max-inc.wvr.yml ERROR: EXCEPTION 295.10 259.78 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 901.59 739.93 None svcomp/weaver/popl20-more-array-sum-alt2.wvr.yml ERROR: EXCEPTION 64.67 42.28 None svcomp/weaver/popl20-more-array-sum.wvr.yml ERROR: EXCEPTION 82.19 57.88 None svcomp/weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 900.35 825.45 None svcomp/weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 901.88 760.11 None svcomp/weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 263.79 200.73 None svcomp/weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 901.69 859.29 None svcomp/weaver/popl20-more-buffer-series2.wvr.yml ERROR: EXCEPTION 76.96 49.62 None svcomp/weaver/popl20-more-dec-subseq.wvr.yml ERROR: EXCEPTION 286.98 230.81 None svcomp/weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 901.26 805.41 None svcomp/weaver/popl20-more-max-array-hom.wvr.yml ERROR: EXCEPTION 80.49 52.33 None svcomp/weaver/popl20-more-max-array.wvr.yml ERROR: EXCEPTION 95.62 63.76 None svcomp/weaver/popl20-more-min-array-hom.wvr.yml ERROR: EXCEPTION 48.93 28.57 None svcomp/weaver/popl20-more-min-array.wvr.yml ERROR: EXCEPTION 46.13 27.36 None svcomp/weaver/popl20-more-min-le-max.wvr.yml true 31.15 18.57 None svcomp/weaver/popl20-more-mts.wvr.yml TIMEOUT 908.80 638.52 None svcomp/weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 900.19 815.30 None svcomp/weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.56 863.80 None svcomp/weaver/popl20-more-parray-copy.wvr.yml TIMEOUT 900.96 791.82 None svcomp/weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 900.78 803.19 None svcomp/weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 901.76 695.76 None svcomp/weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 351.50 268.42 None svcomp/weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 900.77 871.10 None svcomp/weaver/popl20-more-vector-add.wvr.yml TIMEOUT 901.65 856.78 None svcomp/weaver/popl20-mult-4.wvr.yml OUT OF MEMORY 455.06 280.37 None svcomp/weaver/popl20-mult-equiv.wvr.yml TIMEOUT 901.65 847.48 None svcomp/weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 901.13 710.74 None svcomp/weaver/popl20-nonblocking-cntr.wvr.yml OUT OF MEMORY 636.72 501.48 None svcomp/weaver/popl20-prod-cons-eq.wvr.yml TIMEOUT 901.06 868.52 None svcomp/weaver/popl20-prod-cons.wvr.yml TIMEOUT 900.73 872.95 None svcomp/weaver/popl20-prod-cons3.wvr.yml TIMEOUT 900.91 875.63 None svcomp/weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 561.43 353.66 None svcomp/weaver/popl20-queue-add-2.wvr.yml TIMEOUT 900.68 722.78 None svcomp/weaver/popl20-queue-add-3.wvr.yml OUT OF MEMORY 662.04 476.04 None svcomp/weaver/popl20-send-receive-alt.wvr.yml TIMEOUT 900.76 734.25 None svcomp/weaver/popl20-send-receive.wvr.yml ERROR: EXCEPTION 288.98 230.16 None svcomp/weaver/popl20-simple-array-sum.wvr.yml true 73.19 49.79 None svcomp/weaver/popl20-simple-queue.wvr.yml TIMEOUT 901.33 789.29 None svcomp/weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 900.58 882.12 None svcomp/weaver/popl20-three-array-max.wvr.yml TIMEOUT 901.24 851.63 None svcomp/weaver/popl20-three-array-min.wvr.yml TIMEOUT 900.93 861.28 None svcomp/weaver/popl20-three-array-sum.wvr.yml TIMEOUT 900.84 854.84 None svcomp/weaver/popl20-two-queue.wvr.yml TIMEOUT 900.37 740.70 None svcomp/weaver/security.wvr.yml true 34.26 18.59 None svcomp/weaver/spaghetti.wvr.yml true 30.58 16.23 None svcomp/weaver/test-context1.wvr.yml TIMEOUT 901.57 742.01 None svcomp/weaver/test-easy1.wvr.yml true 93.30 70.19 None svcomp/weaver/test-easy10.wvr.yml TIMEOUT 901.69 714.26 None svcomp/weaver/test-easy11.wvr.yml TIMEOUT 901.18 915.64 None svcomp/weaver/test-easy6.wvr.yml true 9.81 5.66 None svcomp/weaver/test-easy7.wvr.yml TIMEOUT 901.51 785.91 None svcomp/weaver/test-easy8.wvr.yml true 8.46 4.72 None svcomp/weaver/test-hard1.wvr.yml TIMEOUT 908.35 623.22 None svcomp/weaver/test-semi1.wvr.yml true 10.05 5.56 None svcomp/weaver/unroll-2.wvr.yml TIMEOUT 901.07 820.40 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 733.12 508.12 None svcomp/weaver/unroll-4.wvr.yml TIMEOUT 901.71 722.41 None svcomp/weaver/unroll-5.wvr.yml TIMEOUT 901.35 871.11 None svcomp/weaver/unroll-cond-2.wvr.yml TIMEOUT 901.24 797.42 None svcomp/weaver/unroll-cond-3.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.93 847.72 None svcomp/weaver/unroll-cond-4.wvr.yml TIMEOUT (ERROR: EXCEPTION) 902.03 817.80 None svcomp/weaver/unroll-cond-5.wvr.yml TIMEOUT 901.79 871.80 None svcomp/pthread-deagle/airline-10.yml OUT OF MEMORY 451.13 256.33 None svcomp/pthread-deagle/airline-15.yml OUT OF MEMORY 410.01 233.94 None svcomp/pthread-deagle/airline-20.yml OUT OF MEMORY 444.18 252.96 None svcomp/pthread-deagle/airline-25.yml OUT OF MEMORY 433.61 247.79 None svcomp/pthread-deagle/airline-5.yml OUT OF MEMORY 458.86 263.54 None svcomp/pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 15.21 8.88 None svcomp/pthread-deagle/arithmetic_prog_ok.yml true 28.23 17.14 None svcomp/pthread-deagle/circular_buffer_bad.yml false(unreach-call) 44.04 29.77 None svcomp/pthread-deagle/circular_buffer_ok.yml TIMEOUT 900.57 883.13 None svcomp/pthread-deagle/floating_read-10.yml OUT OF MEMORY 285.84 176.92 None svcomp/pthread-deagle/floating_read-15.yml OUT OF MEMORY 352.36 208.54 None svcomp/pthread-deagle/floating_read-20.yml OUT OF MEMORY 361.61 212.29 None svcomp/pthread-deagle/floating_read-25.yml OUT OF MEMORY 293.97 181.13 None svcomp/pthread-deagle/floating_read-5.yml true 156.87 98.29 None svcomp/pthread-deagle/reorder_c11_bad-10.yml OUT OF MEMORY 254.41 150.90 None svcomp/pthread-deagle/reorder_c11_bad-20.yml OUT OF MEMORY 279.76 170.30 None svcomp/pthread-deagle/reorder_c11_bad-30.yml OUT OF MEMORY 328.32 187.26 None svcomp/pthread-deagle/reorder_c11_bad-40.yml OUT OF MEMORY 315.59 180.46 None svcomp/pthread-deagle/reorder_c11_bad-50.yml OUT OF MEMORY 331.34 190.24 None svcomp/pthread-deagle/reorder_c11_good-10.yml OUT OF MEMORY 259.41 152.24 None svcomp/pthread-deagle/reorder_c11_good-20.yml OUT OF MEMORY 250.94 148.63 None svcomp/pthread-deagle/reorder_c11_good-30.yml OUT OF MEMORY 275.62 172.39 None svcomp/pthread-deagle/reorder_c11_good-40.yml OUT OF MEMORY 346.43 196.80 None svcomp/pthread-deagle/reorder_c11_good-50.yml OUT OF MEMORY 322.52 183.99 None concurrent/pthreads/NonAtomicIncrement_2Threads.c true 20.96 12.70 None concurrent/pthreads/distributed_search2.c TIMEOUT 901.17 796.48 None concurrent/pthreads/distributed_search3.c ERROR: EXCEPTION 50.66 31.68 None concurrent/pthreads/distributed_search4.c OUT OF MEMORY 262.93 146.14 None concurrent/pthreads/forkFork.c true 59.86 39.97 None concurrent/pthreads/forkJoinNotMod.c false(unreach-call) 8.15 5.29 None concurrent/pthreads/forkMultipleTimes.c false(unreach-call) 7.33 4.40 None concurrent/pthreads/globalVariableMultipleThreads.c false(unreach-call) 8.14 4.85 None concurrent/pthreads/multipleForkSameIdDifferentReturnType.c false(unreach-call) 17.45 9.79 None concurrent/pthreads/predecessorInAtomicBlockBug.c false(unreach-call) 6.37 3.78 None concurrent/pthreads/regression/ForkedModifiesGlobal.c true 5.54 3.93 None concurrent/pthreads/regression/SimpleFunctionPointer.c true 5.48 3.33 None concurrent/pthreads/regression/ThreadIdTest1.c false(unreach-call) 6.82 4.67 None concurrent/pthreads/regression/ThreadIdTest2.c true 7.68 4.40 None concurrent/pthreads/regression/ex1.c true 5.41 3.35 None concurrent/pthreads/regression/forkForkSimple.c true 6.08 4.07 None concurrent/pthreads/regression/forkJoinInLoop.c false(unreach-call) 8.16 5.10 None concurrent/pthreads/regression/forkMultipleParameter.c true 8.23 4.74 None concurrent/pthreads/regression/joinMultipleReturnValues.c true 9.56 6.09 None concurrent/pthreads/regression/join_correct.c true 38.97 29.95 None concurrent/pthreads/regression/mainThreadTerminates.c false(unreach-call) 7.74 5.02 None concurrent/pthreads/regression/pthreadExitNull-safe.c true 5.64 3.46 None concurrent/pthreads/regression/pthreadExitSafe.c true 14.82 9.05 None concurrent/pthreads/regression/pthreadExitUnsafe.c false(unreach-call) 6.15 3.88 None concurrent/pthreads/regression/pthreadJoinCorrectThreadId.c true 6.36 3.97 None concurrent/pthreads/regression/pthreadMutex01-safe.c true 7.80 4.87 None concurrent/pthreads/regression/pthreadMutex02-unsafe.c false(unreach-call) 6.28 3.75 None concurrent/pthreads/regression/pthreadReturn.c true 6.32 4.04 None concurrent/pthreads/regression/simpleReturn.c true 17.94 10.31 None concurrent/pthreads/regression/unique_fork_joins.c OUT OF MEMORY 200.22 128.25 None concurrent/pthreads/regression/atomic/01-begin-end.c true 6.52 4.07 None concurrent/pthreads/regression/atomic/02-atomic-function.c true 5.85 4.26 None concurrent/pthreads/regression/atomic/03-assert.c true 7.82 4.73 None concurrent/pthreads/regression/atomic/04-if-else.c true 7.99 4.57 None concurrent/pthreads/regression/atomic/05-end-no-begin.c false(unreach-call) 6.51 4.24 None concurrent/pthreads/regression/atomic/06-begin-no-end.c true 7.47 4.29 None concurrent/pthreads/regression/atomic/07-return-before-end.c true 6.26 3.67 None concurrent/pthreads/regression/atomic/08-abort-before-end.c true 6.26 4.41 None concurrent/pthreads/regression/atomic/09a-return-after-end.c true 8.14 4.98 None concurrent/pthreads/regression/atomic/09b-return-after-end.c false(unreach-call) 7.97 4.48 None concurrent/pthreads/regression/atomic/10-double-begin.c ERROR: EXCEPTION 5.37 3.47 None concurrent/pthreads/regression/atomic/11a-double-end.c true 6.42 4.27 None concurrent/pthreads/regression/atomic/11b-double-end.c false(unreach-call) 8.40 5.09 None concurrent/pthreads/regression/atomic/11c-double-end.c true 8.22 4.88 None concurrent/pthreads/regression/atomic/12-loop-within.c ERROR: EXCEPTION 5.41 3.15 None concurrent/pthreads/regression/atomic/13-loop-after.c true 6.30 4.19 None concurrent/pthreads/regression/atomic/14a-subsequent-blocks.c true 5.90 3.64 None concurrent/pthreads/regression/atomic/14b-subsequent-blocks.c false(unreach-call) 8.16 4.97 None concurrent/pthreads/regression/atomic/15-goto-within.c true 7.86 4.40 None concurrent/pthreads/regression/atomic/16-goto-outside.c false(unreach-call) 6.20 3.67 None concurrent/pthreads/regression/atomic/17-pthread_exit.c true 6.63 4.29 None concurrent/pthreads/regression/atomic/18-conditional-atomic.c true 8.54 5.17 None concurrent/bpl/LBE_bigexample_safe.bpl true 12.55 6.78 None concurrent/bpl/LBE_bigexample_safe_BA.bpl true 49.85 30.95 None concurrent/bpl/MirabelleConcurrentIncrement.bpl true 27.19 24.21 None concurrent/bpl/NonAtomicIncrement_2Threads_Loop.bpl true 11.31 7.20 None concurrent/bpl/bigNumberOfThreads.bpl false(unreach-call) 11.19 7.39 None concurrent/bpl/concurrent_increment.bpl TIMEOUT 901.59 698.19 None concurrent/bpl/concurrent_mult.bpl TIMEOUT 900.77 728.12 None concurrent/bpl/fork_loop_inc.bpl OUT OF MEMORY 393.05 287.97 None concurrent/bpl/fork_loop_local.bpl OUT OF MEMORY 665.60 432.35 None concurrent/bpl/fork_loop_mutex.bpl OUT OF MEMORY 409.09 243.72 None concurrent/bpl/fork_loop_noop.bpl OUT OF MEMORY 359.24 244.80 None concurrent/bpl/fork_loop_unsafe.bpl false(unreach-call) 10.86 6.87 None concurrent/bpl/fork_loop_unsafe2.bpl false(unreach-call) 6.21 4.12 None concurrent/bpl/loop-lockstep-example.bpl TIMEOUT 902.78 716.12 None concurrent/bpl/pthread_fkp_2014.bpl ERROR: TYPE ERROR 3.83 2.25 None concurrent/bpl/pthread_inc.bpl OUT OF MEMORY 142.94 93.55 None concurrent/bpl/pthread_nondet_loop_bound.bpl TIMEOUT 901.42 714.39 None concurrent/bpl/single_assertion_test.bpl false(unreach-call) 4.88 2.98 None concurrent/bpl/sum_invariant.bpl true 163.54 120.46 None concurrent/bpl/regression/ForkInForkedProcedure01.bpl false(unreach-call) 5.03 3.04 None concurrent/bpl/regression/ForkInForkedProcedure02.bpl true 5.37 3.21 None concurrent/bpl/regression/ForkInLoop02-Incrementer.bpl false(unreach-call) 6.58 4.19 None concurrent/bpl/regression/JoinTheForkingThread.bpl false(unreach-call) 5.24 3.07 None concurrent/bpl/regression/LBE_Y_to_V.bpl true 4.16 2.60 None concurrent/bpl/regression/LBE_example_semanticCheck.bpl true 4.85 2.95 None concurrent/bpl/regression/SpecificationInliningProblem.bpl true 5.00 2.96 None concurrent/bpl/regression/ThreadIdListTest-Safe.bpl true 5.11 3.00 None concurrent/bpl/regression/ThreadIdTest-Safe.bpl true 5.32 3.19 None concurrent/bpl/regression/ThreadIdTest-Unsafe.bpl false(unreach-call) 5.16 3.09 None concurrent/bpl/regression/ThyssenKruppRelegation.bpl false(unreach-call) 4.60 2.74 None concurrent/bpl/regression/atomic.bpl true 4.30 2.65 None concurrent/bpl/regression/cutoff_test.bpl false(unreach-call) 4.71 2.88 None concurrent/bpl/regression/example1.bpl false(unreach-call) 4.77 2.90 None concurrent/bpl/regression/example2.bpl true 5.24 3.06 None concurrent/bpl/regression/example_epsilon_write.bpl true 4.89 2.91 None concurrent/bpl/regression/example_interleaving.bpl true 6.57 3.85 None concurrent/bpl/regression/example_interleaving_simple.bpl true 5.16 3.09 None concurrent/bpl/regression/example_multiple_interleavings.bpl true 5.74 3.35 None concurrent/bpl/regression/example_unnecessary_interleavings.bpl true 4.91 2.94 None concurrent/bpl/regression/fork_in_loop.bpl false(unreach-call) 5.59 3.31 None concurrent/bpl/regression/fork_join_NotMod.bpl true 4.96 2.89 None concurrent/bpl/regression/fork_join_expression_type_not_found.bpl true 4.68 2.83 None concurrent/bpl/regression/fork_join_in_loop.bpl true 4.63 2.82 None concurrent/bpl/regression/fork_multiple_parameter.bpl true 6.38 3.70 None concurrent/bpl/regression/fork_multiple_times.bpl true 4.51 2.63 None concurrent/bpl/regression/fork_unchanged_local_variables2.bpl false(unreach-call) 4.96 3.02 None concurrent/bpl/regression/join_assign_global.bpl false(unreach-call) 4.72 2.93 None concurrent/bpl/regression/join_multiple_return_values.bpl true 5.33 3.15 None concurrent/bpl/regression/multiple_fork_same_id.bpl false(unreach-call) 5.23 3.15 None concurrent/bpl/regression/multiple_fork_same_id_different_return_type.bpl true 5.17 3.07 None concurrent/bpl/regression/multiple_fork_statements_different_types.bpl false(unreach-call) 4.80 2.89 None concurrent/bpl/regression/nested_fork.bpl false(unreach-call) 4.61 2.83 None concurrent/bpl/regression/showcase/Bakery.bpl true 6.48 3.73 None concurrent/bpl/regression/showcase/Fischer.bpl true 7.00 3.99 None concurrent/bpl/regression/showcase/FischerWithBug.bpl false(unreach-call) 6.58 3.86 None concurrent/bpl/regression/showcase/ForkJoinExplained.bpl true 6.10 3.60 None concurrent/bpl/regression/showcase/NonAtomicIncrement_2Threads.bpl false(unreach-call) 10.27 5.76 None concurrent/bpl/regression/showcase/Peterson.bpl true 5.53 3.27 None concurrent/bpl/regression/showcase/PetersonWithBug.bpl false(unreach-call) 5.31 3.15 None concurrent/bpl/mcr/example_10.bpl OUT OF MEMORY 193.21 126.29 None concurrent/bpl/mcr/example_11.bpl OUT OF MEMORY 211.94 151.25 None concurrent/bpl/mcr/example_12.bpl OUT OF MEMORY 312.36 201.79 None concurrent/bpl/mcr/example_13.bpl OUT OF MEMORY 264.22 183.69 None concurrent/bpl/mcr/example_14.bpl OUT OF MEMORY 218.04 162.49 None concurrent/bpl/mcr/example_15.bpl OUT OF MEMORY 267.74 189.76 None concurrent/bpl/mcr/example_16.bpl OUT OF MEMORY 268.46 190.99 None concurrent/bpl/mcr/example_17.bpl OUT OF MEMORY 261.67 191.75 None concurrent/bpl/mcr/example_18.bpl OUT OF MEMORY 270.10 192.17 None concurrent/bpl/mcr/example_19.bpl OUT OF MEMORY 269.20 196.49 None concurrent/bpl/mcr/example_2.bpl true 6.87 3.92 None concurrent/bpl/mcr/example_20.bpl OUT OF MEMORY 263.07 198.20 None concurrent/bpl/mcr/example_3.bpl true 6.36 3.84 None concurrent/bpl/mcr/example_4.bpl true 10.92 6.06 None concurrent/bpl/mcr/example_5.bpl true 42.27 23.47 None concurrent/bpl/mcr/example_6.bpl true 232.09 175.99 None concurrent/bpl/mcr/example_7.bpl TIMEOUT 900.55 748.22 None concurrent/bpl/mcr/example_8.bpl TIMEOUT 900.79 692.24 None concurrent/bpl/mcr/example_9.bpl TIMEOUT 906.47 572.16 None concurrent/bpl/weaver-benchmarks/generated/array-eq-symm.wvr.yml TIMEOUT 901.35 761.42 None concurrent/bpl/weaver-benchmarks/generated/array-eq-trans.wvr.yml TIMEOUT 902.46 670.77 None concurrent/bpl/weaver-benchmarks/generated/clever.wvr.yml TIMEOUT 902.21 700.16 None concurrent/bpl/weaver-benchmarks/generated/fibonacci.wvr.yml TIMEOUT 901.35 836.73 None concurrent/bpl/weaver-benchmarks/generated/loop-tiling-eq.wvr.yml TIMEOUT 901.01 877.94 None concurrent/bpl/weaver-benchmarks/generated/mult-comm.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.61 900.15 None concurrent/bpl/weaver-benchmarks/generated/mult-dist.wvr.yml TIMEOUT 901.91 687.27 None concurrent/bpl/weaver-benchmarks/generated/mult-flipped-dist.wvr.yml TIMEOUT 902.39 660.16 None concurrent/bpl/weaver-benchmarks/generated/security.wvr.yml true 17.51 9.74 None concurrent/bpl/weaver-benchmarks/generated/spaghetti.wvr.yml true 7.46 4.16 None concurrent/bpl/weaver-benchmarks/generated/unroll-2.wvr.yml TIMEOUT 900.57 818.61 None concurrent/bpl/weaver-benchmarks/generated/unroll-3.wvr.yml TIMEOUT 901.04 842.77 None concurrent/bpl/weaver-benchmarks/generated/unroll-4.wvr.yml TIMEOUT 901.01 854.68 None concurrent/bpl/weaver-benchmarks/generated/unroll-5.wvr.yml TIMEOUT 900.90 833.17 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-2.wvr.yml TIMEOUT 901.01 776.18 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-3.wvr.yml TIMEOUT 900.23 814.13 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-4.wvr.yml TIMEOUT 900.65 880.05 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-5.wvr.yml TIMEOUT 900.82 887.36 None concurrent/bpl/weaver-benchmarks/generated/bench/exp1x3.wvr.yml TIMEOUT 901.14 888.00 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x3.wvr.yml OUT OF MEMORY 251.47 202.15 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x4.wvr.yml TIMEOUT 903.18 874.84 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x6.wvr.yml TIMEOUT 902.79 880.60 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x9.wvr.yml TIMEOUT 902.43 875.78 None concurrent/bpl/weaver-benchmarks/generated/bench/exp3x3-opt.wvr.yml OUT OF MEMORY 485.84 357.55 None concurrent/bpl/weaver-benchmarks/generated/bench/exp3x3.wvr.yml OUT OF MEMORY 787.35 486.56 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-subst.wvr.yml TIMEOUT 900.75 745.41 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-symm.wvr.yml TIMEOUT 901.23 801.64 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-trans.wvr.yml TIMEOUT 901.04 781.84 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-opt-symm.wvr.yml TIMEOUT 901.14 771.63 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-subst.wvr.yml TIMEOUT 900.36 947.50 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-symm.wvr.yml TIMEOUT 900.94 793.86 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-trans.wvr.yml TIMEOUT 900.45 798.91 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-subst.wvr.yml true 39.34 28.05 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-symm.wvr.yml true 16.47 9.27 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-trans.wvr.yml true 22.68 13.37 None concurrent/bpl/weaver-benchmarks/generated/chl/container-subst.wvr.yml true 36.11 24.46 None concurrent/bpl/weaver-benchmarks/generated/chl/container-symm.wvr.yml true 16.03 9.31 None concurrent/bpl/weaver-benchmarks/generated/chl/container-trans.wvr.yml true 15.85 9.35 None concurrent/bpl/weaver-benchmarks/generated/chl/exp-term-subst.wvr.yml true 13.63 7.37 None concurrent/bpl/weaver-benchmarks/generated/chl/exp-term-symm.wvr.yml true 6.52 3.75 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-subst.wvr.yml true 16.18 8.89 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-symm.wvr.yml true 6.87 4.03 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-trans.wvr.yml true 8.24 4.71 None concurrent/bpl/weaver-benchmarks/generated/chl/match-subst.wvr.yml true 16.85 9.32 None concurrent/bpl/weaver-benchmarks/generated/chl/match-symm.wvr.yml true 7.66 4.42 None concurrent/bpl/weaver-benchmarks/generated/chl/match-trans.wvr.yml true 9.32 5.24 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-subst.wvr.yml TIMEOUT 901.28 702.65 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-symm.wvr.yml true 841.97 724.23 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-trans.wvr.yml TIMEOUT 901.05 802.65 None concurrent/bpl/weaver-benchmarks/generated/chl/node-subst.wvr.yml true 15.28 8.52 None concurrent/bpl/weaver-benchmarks/generated/chl/node-symm.wvr.yml true 7.60 4.35 None concurrent/bpl/weaver-benchmarks/generated/chl/node-trans.wvr.yml true 8.91 5.08 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-subst.wvr.yml TIMEOUT 900.75 742.57 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-symm.wvr.yml TIMEOUT 901.15 723.83 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-trans.wvr.yml TIMEOUT 901.07 925.94 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-subst.wvr.yml TIMEOUT 901.25 705.67 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-symm.wvr.yml TIMEOUT 900.88 725.85 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-trans.wvr.yml TIMEOUT 900.81 755.68 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-subst.wvr.yml true 10.34 6.07 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-symm.wvr.yml true 5.82 3.46 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-trans.wvr.yml true 7.86 4.48 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-subst.wvr.yml true 9.74 5.55 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-symm.wvr.yml true 6.08 3.61 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-trans.wvr.yml true 6.12 3.54 None concurrent/bpl/weaver-benchmarks/generated/chl/time-subst.wvr.yml true 9.01 5.11 None concurrent/bpl/weaver-benchmarks/generated/chl/time-symm.wvr.yml true 5.89 3.51 None concurrent/bpl/weaver-benchmarks/generated/chl/time-trans.wvr.yml true 7.82 4.54 None concurrent/bpl/weaver-benchmarks/generated/chl/word-subst.wvr.yml TIMEOUT 900.41 767.05 None concurrent/bpl/weaver-benchmarks/generated/chl/word-symm.wvr.yml TIMEOUT 901.07 816.91 None concurrent/bpl/weaver-benchmarks/generated/chl/word-trans.wvr.yml TIMEOUT 901.30 710.91 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-2.wvr.yml true 9.43 5.23 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-3.wvr.yml true 53.74 30.24 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-4.wvr.yml TIMEOUT 910.83 548.51 None concurrent/bpl/weaver-benchmarks/generated/parallel/barrier-loop.wvr.yml false(unreach-call) 17.02 9.10 None concurrent/bpl/weaver-benchmarks/generated/parallel/barrier.wvr.yml TIMEOUT 900.26 688.43 None concurrent/bpl/weaver-benchmarks/generated/parallel/bluetooth.wvr.yml true 5.42 3.53 None concurrent/bpl/weaver-benchmarks/generated/parallel/lamport.wvr.yml true 15.90 9.16 None concurrent/bpl/weaver-benchmarks/generated/parallel/min-max-1.wvr.yml true 5.67 3.62 None concurrent/bpl/weaver-benchmarks/generated/parallel/min-max-2.wvr.yml OUT OF MEMORY 399.20 251.58 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-1.wvr.yml TIMEOUT 901.51 767.48 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2-unrolled-atomic.wvr.yml true 5.15 3.09 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2-unrolled.wvr.yml true 7.30 4.64 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2.wvr.yml true 41.54 32.05 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-3-extended.wvr.yml true 29.83 19.33 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-3.wvr.yml true 7.70 5.08 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-4.wvr.yml true 8.13 5.48 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-5.wvr.yml TIMEOUT 901.05 782.25 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-1-dsl.wvr.yml TIMEOUT 900.96 935.31 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-1.wvr.yml TIMEOUT 901.26 764.78 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-2.wvr.yml TIMEOUT 900.29 767.87 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-equiv.wvr.yml TIMEOUT 901.74 758.05 None concurrent/bpl/weaver-benchmarks/generated/parallel/simple-equiv.wvr.yml true 9.61 5.33 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-2.wvr.yml true 7.01 4.02 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-3.wvr.yml true 10.04 5.47 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-4.wvr.yml true 19.10 10.14 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-5.wvr.yml true 75.91 48.70 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-6.wvr.yml TIMEOUT 901.36 550.32 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-7.wvr.yml OUT OF MEMORY 229.73 129.42 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-8.wvr.yml OUT OF MEMORY 279.67 163.89 None concurrent/bpl/weaver-benchmarks/generated/popl20/channel-sum.wvr.yml TIMEOUT 901.36 770.56 None concurrent/bpl/weaver-benchmarks/generated/popl20/commit-1.wvr.yml true 14.48 8.41 None concurrent/bpl/weaver-benchmarks/generated/popl20/commit-2.wvr.yml true 815.91 680.34 None concurrent/bpl/weaver-benchmarks/generated/popl20/counter-determinism.wvr.yml OUT OF MEMORY 650.01 382.90 None concurrent/bpl/weaver-benchmarks/generated/popl20/counter-fun.wvr.yml TIMEOUT 900.39 804.53 None concurrent/bpl/weaver-benchmarks/generated/popl20/difference-det.wvr.yml OUT OF MEMORY 717.93 490.07 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure1-alt.wvr.yml true 46.51 32.15 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure1.wvr.yml TIMEOUT 901.31 725.15 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure3.wvr.yml TIMEOUT 901.15 725.01 None concurrent/bpl/weaver-benchmarks/generated/popl20/horseshoe.wvr.yml TIMEOUT 900.85 732.22 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-dec.wvr.yml ERROR: EXCEPTION 662.24 647.56 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-inc-dec.wvr.yml OUT OF MEMORY 446.37 272.54 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-inc.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.80 886.89 None concurrent/bpl/weaver-benchmarks/generated/popl20/mult-4.wvr.yml OUT OF MEMORY 489.42 296.65 None concurrent/bpl/weaver-benchmarks/generated/popl20/mult-equiv.wvr.yml TIMEOUT 901.03 632.12 None concurrent/bpl/weaver-benchmarks/generated/popl20/nonblocking-cntr-alt.wvr.yml true 118.69 89.25 None concurrent/bpl/weaver-benchmarks/generated/popl20/nonblocking-cntr.wvr.yml TIMEOUT 901.13 742.77 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons-eq.wvr.yml TIMEOUT 901.33 778.20 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons.wvr.yml TIMEOUT 901.37 726.07 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons3.wvr.yml TIMEOUT 901.11 738.71 None concurrent/bpl/weaver-benchmarks/generated/popl20/queue-add-2.wvr.yml TIMEOUT 900.98 923.72 None concurrent/bpl/weaver-benchmarks/generated/popl20/queue-add-3.wvr.yml TIMEOUT 901.73 707.27 None concurrent/bpl/weaver-benchmarks/generated/popl20/send-receive-alt.wvr.yml ERROR: EXCEPTION 726.37 628.57 None concurrent/bpl/weaver-benchmarks/generated/popl20/send-receive.wvr.yml TIMEOUT 900.75 761.23 None concurrent/bpl/weaver-benchmarks/generated/popl20/simple-array-sum.wvr.yml ERROR: EXCEPTION 123.28 89.51 None concurrent/bpl/weaver-benchmarks/generated/popl20/simple-queue.wvr.yml TIMEOUT 901.35 788.21 None concurrent/bpl/weaver-benchmarks/generated/popl20/threaded-sum-3.wvr.yml TIMEOUT 901.25 712.32 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-max.wvr.yml TIMEOUT 900.94 802.89 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-min.wvr.yml TIMEOUT 900.80 872.04 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-sum.wvr.yml OUT OF MEMORY 624.49 468.69 None concurrent/bpl/weaver-benchmarks/generated/popl20/two-queue.wvr.yml true 599.56 503.19 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/buffer-mult-alt.wvr.yml TIMEOUT 902.70 674.12 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/commit-1.wvr.yml TIMEOUT 901.16 820.92 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/commit-2.wvr.yml TIMEOUT 900.39 817.54 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/counter-queue.wvr.yml TIMEOUT 900.39 789.49 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/dot-product-alt.wvr.yml TIMEOUT 901.98 802.43 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/dot-product.wvr.yml TIMEOUT 901.14 742.80 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/ring-nondet.wvr.yml TIMEOUT 901.72 759.18 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/ring.wvr.yml true 28.54 17.82 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/threaded-sum-2.wvr.yml true 296.64 240.61 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/three-array-sum-alt.wvr.yml TIMEOUT 901.18 824.11 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/array-sum-alt.wvr.yml TIMEOUT 900.47 771.50 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/array-sum.wvr.yml TIMEOUT 900.62 736.11 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-mult.wvr.yml TIMEOUT 901.57 687.83 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-series-array.wvr.yml TIMEOUT 901.63 788.99 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-series.wvr.yml TIMEOUT 901.68 810.00 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dec-subseq-array.wvr.yml TIMEOUT 900.55 883.55 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dec-subseq.wvr.yml TIMEOUT 900.67 807.12 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dot-product-array.wvr.yml TIMEOUT 900.96 757.87 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dot-product.wvr.yml TIMEOUT 901.14 800.91 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/inc-subseq-array.wvr.yml TIMEOUT 901.40 774.36 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/inc-subseq.wvr.yml TIMEOUT 900.74 792.58 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-array-hom.wvr.yml TIMEOUT 900.33 770.02 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-array.wvr.yml TIMEOUT 900.89 898.05 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-fun-alt.wvr.yml TIMEOUT 901.02 724.03 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-fun.wvr.yml TIMEOUT 901.36 774.89 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-array-hom.wvr.yml TIMEOUT 900.62 739.18 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-array.wvr.yml TIMEOUT 901.33 758.15 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-fun-alt.wvr.yml TIMEOUT 900.68 725.21 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-fun.wvr.yml TIMEOUT 900.57 755.92 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-le-max.wvr.yml true 8.02 5.13 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/mts-array.wvr.yml TIMEOUT 900.72 884.58 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/mts.wvr.yml TIMEOUT 900.51 761.62 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/multiply-verify.wvr.yml TIMEOUT 901.35 704.91 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/nonblocking-counter-alt2.wvr.yml TIMEOUT 900.66 747.07 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/parray-copy.wvr.yml TIMEOUT 901.06 756.10 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/queue-add-2-nl.wvr.yml TIMEOUT 900.90 726.14 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/queue-add-3-nl.wvr.yml TIMEOUT 900.47 748.15 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sorted.wvr.yml TIMEOUT 901.36 725.77 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-array-hom.wvr.yml TIMEOUT 902.11 740.03 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-array.wvr.yml TIMEOUT 900.69 884.04 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-fun-alt.wvr.yml TIMEOUT 900.34 812.82 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-fun.wvr.yml TIMEOUT 901.89 733.92 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/vector-add.wvr.yml true 17.29 12.15 None concurrent/bpl/weaver-benchmarks/generated/popl20-proofs/counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 506.64 309.04 None concurrent/bpl/weaver-benchmarks/generated/test/context1.wvr.yml TIMEOUT 901.06 891.87 None concurrent/bpl/weaver-benchmarks/generated/test/easy1.wvr.yml true 24.82 20.07 None concurrent/bpl/weaver-benchmarks/generated/test/easy10.wvr.yml TIMEOUT 900.83 726.98 None concurrent/bpl/weaver-benchmarks/generated/test/easy11.wvr.yml true 139.10 106.00 None concurrent/bpl/weaver-benchmarks/generated/test/easy6.wvr.yml true 11.96 6.49 None concurrent/bpl/weaver-benchmarks/generated/test/easy7.wvr.yml true 9.04 5.07 None concurrent/bpl/weaver-benchmarks/generated/test/easy8.wvr.yml true 7.06 3.98 None concurrent/bpl/weaver-benchmarks/generated/test/hard1.wvr.yml TIMEOUT 902.28 619.99 None concurrent/bpl/weaver-benchmarks/generated/test/semi1.wvr.yml true 6.38 3.64 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 319696.00 36958.57 - Statistics: 2154 Files correct: 962 correct true: 384 correct false: 578 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 992 Score: 1346 (max: 3054)