BENCHMARK INFORMATION UGemCutter benchmark definition: ../benchexec/gemcutter-svcomp25.xml name: gemcutter-svcomp25 run sets: SV-COMP24_no-data-race.NoDataRace-Main date: Tue, 2024-10-29 13:47:10 CET tool: ULTIMATE GemCutter 0.2.5-ffaa4be6 tool executable: ./Ultimate.py options: --full-output parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 300 s - cpu cores: 2 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-6.8.8-4-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ SV-COMP24_unreach-call.ConcurrencySafety-Main Run set 1 of 4: skipped SV-COMP24_no-data-race.NoDataRace-Main Run set 2 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------------- pthread/bigshot_p.yml false(unreach-call) 14.71 8.19 None pthread/fib_safe-10-racy.yml false(unreach-call) 49.02 28.36 None pthread/fib_safe-11-racy.yml false(unreach-call) 42.28 25.55 None pthread/fib_safe-12-racy.yml false(unreach-call) 63.95 35.75 None pthread/fib_safe-5-racy.yml false(unreach-call) 35.60 19.80 None pthread/fib_safe-6-racy.yml false(unreach-call) 28.81 16.93 None pthread/fib_safe-7-racy.yml false(unreach-call) 41.10 23.02 None pthread/fib_unsafe-10-racy.yml false(unreach-call) 37.47 24.64 None pthread/fib_unsafe-11-racy.yml false(unreach-call) 39.94 27.16 None pthread/fib_unsafe-12-racy.yml false(unreach-call) 61.76 35.12 None pthread/fib_unsafe-5-racy.yml false(unreach-call) 33.62 19.34 None pthread/fib_unsafe-6-racy.yml false(unreach-call) 39.56 22.27 None pthread/fib_unsafe-7-racy.yml false(unreach-call) 30.73 17.98 None pthread/indexer.yml TIMEOUT 300.64 266.35 None pthread/reorder_2-race.yml unknown 38.10 21.87 None pthread/reorder_5-race.yml unknown 27.98 17.07 None pthread/sigma.yml false(unreach-call) 15.63 9.32 None pthread/singleton-b.yml false(unreach-call) 17.21 9.40 None pthread/singleton_with-uninit-problems-b.yml false(unreach-call) 18.54 10.28 None pthread/twostage_3-race.yml OUT OF MEMORY 89.68 54.08 None pthread-atomic/dekker-b-unfair.yml false(unreach-call) 16.09 8.85 None pthread-atomic/dekker-b.yml false(unreach-call) 12.15 7.84 None pthread-atomic/gcd-2.yml false(unreach-call) 15.43 8.69 None pthread-atomic/lamport-b.yml false(unreach-call) 12.97 9.86 None pthread-atomic/peterson-b.yml false(unreach-call) 12.83 7.42 None pthread-atomic/qrcu-1.yml false(unreach-call) 46.64 24.72 None pthread-atomic/qrcu-2.yml false(unreach-call) 31.85 17.09 None pthread-atomic/read_write_lock-1b.yml false(unreach-call) 38.54 22.30 None pthread-atomic/read_write_lock-2b.yml false(unreach-call) 17.81 10.00 None pthread-atomic/scull.yml false(unreach-call) 37.98 20.21 None pthread-atomic/szymanski-b.yml false(unreach-call) 13.44 8.41 None pthread-ext/01_inc.yml false(unreach-call) 21.32 11.47 None pthread-ext/04_incdec_cas-race.yml TIMEOUT 300.49 270.20 None pthread-ext/05_tas.yml false(unreach-call) 166.64 130.99 None pthread-ext/06_ticket.yml false(unreach-call) 30.93 17.06 None pthread-ext/07_rand.yml false(unreach-call) 28.12 15.88 None pthread-ext/08_rand_cas-race.yml false(unreach-call) 40.16 27.80 None pthread-ext/09_fmaxsym-race.yml false(unreach-call) 53.58 29.33 None pthread-ext/10_fmaxsym_cas.yml TIMEOUT 300.23 283.03 None pthread-ext/11_fmaxsymopt-race.yml false(unreach-call) 46.70 27.81 None pthread-ext/12_fmaxsymopt_cas.yml TIMEOUT 300.33 273.06 None pthread-ext/13_unverif.yml false(unreach-call) 23.65 12.80 None pthread-ext/17_szymanski.yml false(unreach-call) 17.66 9.69 None pthread-ext/23_lu-fig2.fixed.yml false(unreach-call) 14.53 8.04 None pthread-ext/25_stack-race.yml OUT OF MEMORY 95.24 57.87 None pthread-ext/25_stack_longer-1-race.yml OUT OF MEMORY 101.30 59.20 None pthread-ext/25_stack_longer-2-race.yml OUT OF MEMORY 108.92 62.63 None pthread-ext/25_stack_longest-1-race.yml OUT OF MEMORY 68.04 40.44 None pthread-ext/25_stack_longest-2-race.yml OUT OF MEMORY 124.54 69.56 None pthread-ext/26_stack_cas-race.yml TIMEOUT 301.16 283.99 None pthread-ext/26_stack_cas_longer-1-race.yml TIMEOUT 300.66 258.80 None pthread-ext/26_stack_cas_longer-2-race.yml TIMEOUT 300.48 271.46 None pthread-ext/26_stack_cas_longest-1-race.yml OUT OF MEMORY 121.53 74.12 None pthread-ext/26_stack_cas_longest-2-race.yml TIMEOUT 301.03 265.48 None pthread-ext/27_Boop_simple_vf.yml false(unreach-call) 18.47 9.92 None pthread-ext/30_Function_Pointer3_vs.yml false(unreach-call) 16.84 9.27 None pthread-ext/32_pthread5_vs.yml false(unreach-call) 19.65 10.74 None pthread-ext/33_double_lock_p1_vs.yml false(unreach-call) 23.92 12.81 None pthread-ext/34_double_lock_p2_vs.yml false(unreach-call) 23.38 12.79 None pthread-ext/36_stack_cas_p0_vs_concur-race.yml TIMEOUT 300.27 271.33 None pthread-ext/37_stack_lock_p0_vs_concur-race.yml TIMEOUT 300.73 228.52 None pthread-ext/38_rand_cas_vs_concur.yml TIMEOUT 300.40 275.88 None pthread-ext/39_rand_lock_p0_vs-b.yml false(unreach-call) 20.39 11.25 None pthread-ext/40_barrier_vf-b.yml false(unreach-call) 32.77 17.42 None pthread-ext/41_FreeBSD_abd_kbd_sliced.yml false(unreach-call) 53.84 30.77 None pthread-ext/42_FreeBSD_rdma_addr_sliced.yml OUT OF MEMORY 158.41 103.75 None pthread-ext/43_NetBSD_sysmon_power_sliced_2.yml OUT OF MEMORY 76.95 48.21 None pthread-ext/44_Solaris_space_map_sliced.yml OUT OF MEMORY 115.32 71.94 None pthread-ext/45_monabsex1_vs-b.yml false(unreach-call) 17.94 9.84 None pthread-ext/46_monabsex2_vs-b.yml false(unreach-call) 19.41 10.43 None pthread-ext/47_ticket_lock_hc_backoff_vs.yml false(unreach-call) 23.45 13.01 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml false(unreach-call) 21.51 11.85 None pthread-lit/fk2012.yml false(unreach-call) 19.54 10.46 None pthread-lit/fkp2013-1.yml false(unreach-call) 13.96 7.94 None pthread-lit/fkp2013-2.yml false(unreach-call) 10.59 6.49 None pthread-lit/fkp2013_variant-1.yml false(unreach-call) 14.92 8.52 None pthread-lit/fkp2013_variant-2.yml false(unreach-call) 15.06 8.31 None pthread-lit/fkp2014.yml false(unreach-call) 15.02 8.27 None pthread-lit/qw2004-1.yml false(unreach-call) 14.49 8.56 None pthread-lit/qw2004-2.yml false(unreach-call) 18.17 9.80 None pthread-lit/qw2004_variant.yml false(unreach-call) 71.07 41.64 None ldv-races/race-1_2b-join.yml false(unreach-call) 15.76 8.80 None ldv-races/race-1_3b-join.yml false(unreach-call) 12.76 7.75 None ldv-races/race-2_2b-container_of.yml false(unreach-call) 50.89 27.17 None ldv-races/race-2_3b-container_of.yml false(unreach-call) 47.75 24.77 None ldv-races/race-2_4b-container_of.yml false(unreach-call) 25.66 14.46 None ldv-races/race-2_5b-container_of.yml false(unreach-call) 71.50 42.99 None ldv-races/race-3_2b-container_of-global.yml false(unreach-call) 37.63 19.74 None ldv-races/race-4_2-thread_local_vars.yml false(unreach-call) 47.75 26.04 None pthread-complex/elimination_backoff_stack-race.yml TIMEOUT 301.28 240.59 None pthread-complex/workstealqueue_mutex-1.yml TIMEOUT 301.48 237.40 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram-race.yml unknown 157.12 97.42 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current-race.yml TIMEOUT 301.10 284.70 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set-race.yml TIMEOUT 300.18 277.14 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set-race.yml TIMEOUT 300.21 275.50 None pthread-C-DAC/pthread-demo-datarace-2.yml false(unreach-call) 15.34 8.38 None pthread-divine/barrier_2t.yml TIMEOUT 300.99 250.47 None pthread-divine/barrier_3t.yml TIMEOUT 300.79 259.82 None pthread-divine/condvar.yml false(unreach-call) 49.95 27.91 None pthread-divine/condvar_spurious_wakeup.yml false(unreach-call) 11.13 6.89 None pthread-divine/divinefifo-bug_1w1r.yml TIMEOUT 300.76 262.42 None pthread-divine/divinefifo_1w1r.yml TIMEOUT 301.36 232.49 None pthread-divine/one_time_barrier_2t.yml TIMEOUT 300.85 257.59 None pthread-divine/one_time_barrier_3t.yml TIMEOUT 300.44 228.99 None pthread-divine/one_time_barrier_twice_2t.yml TIMEOUT 301.16 235.60 None pthread-divine/one_time_barrier_twice_3t.yml TIMEOUT 300.93 241.39 None pthread-divine/ring_1w1r-1.yml false(unreach-call) 47.06 25.71 None pthread-divine/ring_1w1r-2.yml false(unreach-call) 247.43 178.27 None pthread-divine/ring_2w1r-1.yml TIMEOUT 301.15 255.30 None pthread-divine/ring_2w1r-2.yml false(unreach-call) 28.40 15.25 None pthread-nondet/nondet-array-1.yml false(unreach-call) 25.94 14.05 None pthread-nondet/nondet-array-2.yml false(unreach-call) 25.84 14.02 None pthread-nondet/nondet-loop-bound-1.yml false(unreach-call) 12.76 7.36 None pthread-nondet/nondet-loop-bound-2.yml false(unreach-call) 17.52 9.74 None pthread-nondet/nondet-loop-bound-variant-1.yml false(unreach-call) 17.32 9.63 None pthread-nondet/nondet-loop-bound-variant-2.yml false(unreach-call) 14.68 8.45 None goblint-regression/00-sanity_09-include.yml false(unreach-call) 10.59 6.45 None goblint-regression/02-base_24-malloc_races.yml false(unreach-call) 20.01 10.77 None goblint-regression/02-base_25-malloc_race_cp.yml false(unreach-call) 19.51 10.51 None goblint-regression/02-base_26-malloc_struct.yml false(unreach-call) 23.59 12.89 None goblint-regression/03-practical_07-nonterm.yml false(unreach-call) 11.15 6.82 None goblint-regression/03-practical_08-nonterm1.yml false(unreach-call) 11.59 7.54 None goblint-regression/03-practical_15-exit_problems.yml false(unreach-call) 12.56 7.18 None goblint-regression/04-mutex_01-simple_rc.yml false(unreach-call) 10.59 6.10 None goblint-regression/04-mutex_03-munge_rc.yml false(unreach-call) 14.51 8.15 None goblint-regression/04-mutex_06-ps_rc.yml false(unreach-call) 11.11 7.11 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(unreach-call) 18.68 10.42 None goblint-regression/04-mutex_11-ptr_rc.yml false(unreach-call) 17.97 9.97 None goblint-regression/04-mutex_14-funarg_rc.yml false(unreach-call) 10.60 6.51 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(unreach-call) 11.48 7.09 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(unreach-call) 11.80 7.12 None goblint-regression/04-mutex_20-stdfun_rc.yml false(unreach-call) 10.75 6.94 None goblint-regression/04-mutex_21-sound_base.yml false(unreach-call) 14.66 8.08 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 20.21 11.08 None goblint-regression/04-mutex_24-sound_lock.yml false(unreach-call) 11.35 7.26 None goblint-regression/04-mutex_25-single_acc.yml false(unreach-call) 13.95 7.95 None goblint-regression/04-mutex_27-base_rc.yml false(unreach-call) 13.68 8.05 None goblint-regression/04-mutex_35-trylock_rc.yml false(unreach-call) 24.20 13.97 None goblint-regression/04-mutex_37-indirect_rc.yml false(unreach-call) 14.61 8.51 None goblint-regression/04-mutex_38-indexing_malloc.yml false(unreach-call) 12.99 8.32 None goblint-regression/04-mutex_44-malloc_sound.yml false(unreach-call) 22.58 13.90 None goblint-regression/04-mutex_45-escape_rc.yml false(unreach-call) 17.91 9.65 None goblint-regression/04-mutex_47-fun_write.yml false(unreach-call) 14.15 8.11 None goblint-regression/04-mutex_50-funptr_rc.yml false(unreach-call) 10.63 6.46 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml false(unreach-call) 11.90 7.39 None goblint-regression/05-lval_ls_01-idx_rc.yml false(unreach-call) 20.82 12.15 None goblint-regression/05-lval_ls_03-fld_rc.yml false(unreach-call) 14.92 8.24 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml false(unreach-call) 13.02 7.76 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml false(unreach-call) 13.48 8.06 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml false(unreach-call) 21.86 13.03 None goblint-regression/05-lval_ls_09-idxsense_rc.yml false(unreach-call) 18.05 11.97 None goblint-regression/05-lval_ls_11-fldsense_rc.yml false(unreach-call) 17.54 9.61 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml false(unreach-call) 25.61 14.37 None goblint-regression/05-lval_ls_14-idxunknown_access.yml false(unreach-call) 14.13 8.23 None goblint-regression/05-lval_ls_15-fldunknown_access.yml false(unreach-call) 12.85 7.97 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 14.21 8.49 None goblint-regression/06-symbeq_03-funloop_simple.yml TIMEOUT 300.36 266.82 None goblint-regression/06-symbeq_04-funloop_hard1.yml TIMEOUT 300.39 264.87 None goblint-regression/06-symbeq_09-tricky_address4.yml false(unreach-call) 25.93 14.95 None goblint-regression/06-symbeq_10-equ_rc.yml false(unreach-call) 16.37 9.16 None goblint-regression/09-regions_01-list_rc.yml false(unreach-call) 127.81 80.77 None goblint-regression/09-regions_03-list2_rc.yml false(unreach-call) 30.84 17.90 None goblint-regression/09-regions_05-ptra_rc.yml false(unreach-call) 142.87 92.23 None goblint-regression/09-regions_10-arraylist_rc.yml TIMEOUT 301.30 253.97 None goblint-regression/09-regions_16-arrayloop_rc.yml TIMEOUT 301.41 278.70 None goblint-regression/09-regions_18-nested_rc.yml TIMEOUT 301.00 253.07 None goblint-regression/09-regions_20-arrayloop2_rc.yml OUT OF MEMORY 150.07 110.47 None goblint-regression/09-regions_23-evilcollapse_rc.yml OUT OF MEMORY 185.03 130.18 None goblint-regression/09-regions_26-alloc_region_rc.yml TIMEOUT 300.75 263.35 None goblint-regression/09-regions_28-list2alloc.yml false(unreach-call) 58.82 32.03 None goblint-regression/10-synch_02-thread_nonunique.yml false(unreach-call) 17.09 9.35 None goblint-regression/28-race_reach_61-invariant_racing-2.yml OUT OF MEMORY 83.46 59.61 None weaver/popl20-more-parray-copy.wvr.yml TIMEOUT 300.65 254.14 None pthread-deagle/airline-10.yml false(unreach-call) 19.65 10.95 None pthread-deagle/airline-15.yml false(unreach-call) 19.43 10.50 None pthread-deagle/airline-20.yml false(unreach-call) 19.49 10.73 None pthread-deagle/airline-25.yml false(unreach-call) 19.84 10.67 None pthread-deagle/airline-5.yml false(unreach-call) 19.64 10.60 None pthread-deagle/floating_read-10.yml OUT OF MEMORY 66.89 47.73 None pthread-deagle/floating_read-15.yml OUT OF MEMORY 82.12 54.12 None pthread-deagle/floating_read-20.yml OUT OF MEMORY 83.85 55.75 None pthread-deagle/floating_read-25.yml OUT OF MEMORY 82.72 54.45 None pthread-deagle/floating_read-5.yml false(unreach-call) 65.14 42.72 None pthread-deagle/reorder_c11_bad-10.yml OUT OF MEMORY 81.66 55.94 None pthread-deagle/reorder_c11_bad-20.yml OUT OF MEMORY 102.40 65.18 None pthread-deagle/reorder_c11_bad-30.yml OUT OF MEMORY 100.70 65.18 None pthread-deagle/reorder_c11_bad-40.yml OUT OF MEMORY 102.91 65.73 None pthread-deagle/reorder_c11_bad-50.yml OUT OF MEMORY 97.87 64.08 None pthread-deagle/reorder_c11_good-10.yml OUT OF MEMORY 75.13 51.90 None pthread-deagle/reorder_c11_good-20.yml OUT OF MEMORY 102.57 65.99 None pthread-deagle/reorder_c11_good-30.yml OUT OF MEMORY 80.34 55.02 None pthread-deagle/reorder_c11_good-40.yml OUT OF MEMORY 101.91 66.04 None pthread-deagle/reorder_c11_good-50.yml OUT OF MEMORY 105.37 67.28 None pthread-race-challenges/per-thread-array-index-race-2.yml false(unreach-call) 27.19 15.32 None pthread-race-challenges/per-thread-array-index-race.yml false(unreach-call) 35.97 19.24 None pthread-race-challenges/per-thread-array-init-race.yml false(unreach-call) 16.99 9.47 None pthread-race-challenges/per-thread-array-join-counter-race-2.yml false(unreach-call) 111.61 68.96 None pthread-race-challenges/per-thread-array-join-counter-race-3.yml TIMEOUT 301.43 252.51 None pthread-race-challenges/per-thread-array-join-counter-race-4.yml TIMEOUT 301.04 240.55 None pthread-race-challenges/per-thread-array-join-counter-race.yml TIMEOUT 301.97 227.81 None pthread-race-challenges/per-thread-array-ptr-race.yml false(unreach-call) 35.05 23.51 None pthread-race-challenges/per-thread-index-bitmask-race-2.yml false(unreach-call) 107.60 72.29 None pthread-race-challenges/per-thread-index-bitmask-race-3.yml false(unreach-call) 112.43 75.93 None pthread-race-challenges/per-thread-index-bitmask-race.yml false(unreach-call) 41.54 23.52 None pthread-race-challenges/per-thread-index-inc-race-2.yml false(unreach-call) 40.18 21.23 None pthread-race-challenges/per-thread-index-inc-race.yml TIMEOUT 301.17 282.71 None pthread-race-challenges/per-thread-struct-in-array-race.yml false(unreach-call) 40.44 25.66 None pthread-race-challenges/per-thread-struct-race.yml false(unreach-call) 46.17 28.45 None pthread-race-challenges/semaphore-posix-race-2.yml unknown 19.45 11.16 None pthread-race-challenges/semaphore-posix-race.yml unknown 19.56 10.72 None pthread-race-challenges/thread-join-array-const-race-2.yml false(unreach-call) 87.70 64.63 None pthread-race-challenges/thread-join-array-const-race-3.yml OUT OF MEMORY 92.48 55.62 None pthread-race-challenges/thread-join-array-const-race.yml OUT OF MEMORY 72.49 44.28 None pthread-race-challenges/thread-join-array-dynamic-race-2.yml false(unreach-call) 116.30 75.58 None pthread-race-challenges/thread-join-array-dynamic-race-3.yml OUT OF MEMORY 100.98 63.88 None pthread-race-challenges/thread-join-array-dynamic-race.yml false(unreach-call) 14.87 8.14 None pthread-race-challenges/thread-join-binomial-race-2.yml OUT OF MEMORY 235.80 184.27 None pthread-race-challenges/thread-join-binomial-race-3.yml OUT OF MEMORY 225.70 160.84 None pthread-race-challenges/thread-join-binomial-race.yml TIMEOUT 301.16 229.88 None pthread-race-challenges/thread-join-counter-inner-race-2.yml false(unreach-call) 23.99 13.90 None pthread-race-challenges/thread-join-counter-inner-race-3.yml false(unreach-call) 31.16 16.48 None pthread-race-challenges/thread-join-counter-inner-race-4.yml false(unreach-call) 64.71 38.64 None pthread-race-challenges/thread-join-counter-inner-race-5.yml false(unreach-call) 24.12 13.19 None pthread-race-challenges/thread-join-counter-inner-race.yml false(unreach-call) 13.37 8.45 None pthread-race-challenges/thread-join-counter-outer-race-2.yml false(unreach-call) 12.87 7.67 None pthread-race-challenges/thread-join-counter-outer-race-3.yml false(unreach-call) 21.57 11.48 None pthread-race-challenges/thread-join-counter-outer-race-4.yml false(unreach-call) 44.01 23.77 None pthread-race-challenges/thread-join-counter-outer-race.yml false(unreach-call) 12.02 8.18 None pthread-race-challenges/thread-local-value-race.yml unknown 15.31 9.21 None pthread-race-challenges/value-barrier-race.yml false(unreach-call) 16.72 9.17 None libvsync/bounded_spsc.yml TIMEOUT 301.15 236.99 None libvsync/caslock.yml TIMEOUT 300.74 263.99 None libvsync/hemlock.yml TIMEOUT 301.12 241.77 None libvsync/rec_spinlock.yml TIMEOUT 301.03 262.71 None libvsync/twalock.yml OUT OF MEMORY 136.11 76.40 None --------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 21099.40 1274.98 - SV-COMP24_valid-memsafety.ConcurrencySafety-MemSafety Run set 3 of 4: skipped SV-COMP24_no-overflow.ConcurrencySafety-NoOverflows Run set 4 of 4: skipped Statistics: 235 Files correct: 153 correct true: 0 correct false: 153 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 82 Score: 153 (max: 235)