BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: Automizer FA.SVCOMP ConcurrencySafety-DataRaces, Automizer PN.SVCOMP ConcurrencySafety-DataRaces, Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP ConcurrencySafety-DataRaces date: Wed, 2021-10-13 22:30:19 CEST tool: ULTIMATE Automizer 0.2.1-231806ee tool executable: ./Ultimate.py options: --force-no-wrapper parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-5.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.SVCOMP ConcurrencySafety-DataRaces Run set 1 of 3 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 ----------------------------------------------------------------------------------------------------------------------- ldv-races/race-1_1-join.yml true 9.14 5.39 None ldv-races/race-1_2-join.yml false(unreach-call) 9.02 5.80 None ldv-races/race-1_2b-join.yml false(unreach-call) 9.10 5.24 None ldv-races/race-1_3-join.yml false(unreach-call) 9.32 5.31 None ldv-races/race-1_3b-join.yml false(unreach-call) 12.37 6.76 None ldv-races/race-2_1-container_of.yml TIMEOUT 901.10 706.85 None ldv-races/race-2_2-container_of.yml TIMEOUT 900.26 681.31 None ldv-races/race-2_2b-container_of.yml TIMEOUT 901.10 707.63 None ldv-races/race-2_3-container_of.yml false(unreach-call) 17.92 9.71 None ldv-races/race-2_3b-container_of.yml false(unreach-call) 17.11 9.33 None ldv-races/race-2_4-container_of.yml false(unreach-call) 14.26 7.84 None ldv-races/race-2_4b-container_of.yml false(unreach-call) 18.05 10.04 None ldv-races/race-2_5-container_of.yml false(unreach-call) 14.07 9.62 None ldv-races/race-2_5b-container_of.yml false(unreach-call) 13.84 9.51 None ldv-races/race-3_1-container_of-global.yml TIMEOUT 901.09 711.93 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 119.83 81.07 None ldv-races/race-3_2b-container_of-global.yml false(unreach-call) 140.94 99.76 None pthread/fib_bench-1.yml TIMEOUT 901.78 879.18 None pthread/fib_bench-2.yml TIMEOUT 902.64 668.76 None pthread/fib_bench_longer-1.yml TIMEOUT 902.07 715.78 None pthread/fib_bench_longer-2.yml TIMEOUT 902.58 754.65 None pthread/fib_bench_longest-1.yml TIMEOUT 901.77 882.25 None pthread/fib_bench_longest-2.yml TIMEOUT 901.69 894.34 None pthread/lazy01.yml false(unreach-call) 11.42 6.64 None pthread/singleton-b.yml false(unreach-call) 12.59 6.90 None pthread/singleton.yml false(unreach-call) 15.88 8.78 None pthread/singleton_with-uninit-problems-b.yml true 14.51 8.06 None pthread/singleton_with-uninit-problems.yml true 14.39 8.22 None pthread/stateful01-1.yml false(unreach-call) 9.36 5.67 None pthread/stateful01-2.yml true 10.79 5.85 None pthread/triangular-1.yml true 113.74 86.71 None pthread/triangular-2.yml false(unreach-call) 89.37 61.69 None pthread/triangular-longer-1.yml TIMEOUT 900.79 691.22 None pthread/triangular-longer-2.yml TIMEOUT 902.98 665.05 None pthread/triangular-longest-1.yml TIMEOUT 901.60 704.12 None pthread/triangular-longest-2.yml TIMEOUT 900.98 690.78 None pthread-atomic/dekker-b.yml true 10.09 5.99 None pthread-atomic/dekker.yml true 10.51 5.83 None pthread-atomic/lamport-b.yml true 12.14 6.90 None pthread-atomic/lamport.yml true 13.68 7.68 None pthread-atomic/peterson-b.yml true 9.80 5.74 None pthread-atomic/peterson.yml true 10.85 5.83 None pthread-atomic/read_write_lock-1.yml true 41.90 23.86 None pthread-atomic/read_write_lock-1b.yml true 30.79 16.69 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 37.10 21.96 None pthread-atomic/read_write_lock-2b.yml false(unreach-call) 26.72 15.48 None pthread-atomic/szymanski-b.yml true 8.09 4.62 None pthread-atomic/szymanski.yml true 12.52 7.14 None pthread-atomic/time_var_mutex.yml true 10.51 6.26 None pthread-ext/01_inc.yml OUT OF MEMORY 137.35 76.65 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 6.89 4.21 None pthread-ext/14_spin2003.yml OUT OF MEMORY 127.15 74.08 None pthread-ext/18_read_write_lock.yml true 10.00 5.93 None pthread-ext/39_rand_lock_p0_vs-b.yml OUT OF MEMORY 159.02 85.43 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 118.81 67.05 None pthread-ext/40_barrier_vf-b.yml OUT OF MEMORY 128.89 74.47 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 143.40 78.13 None pthread-ext/45_monabsex1_vs-b.yml OUT OF MEMORY 150.09 83.82 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 179.93 104.19 None pthread-ext/46_monabsex2_vs-b.yml OUT OF MEMORY 152.11 85.90 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 129.88 73.52 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml OUT OF MEMORY 129.00 70.69 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 152.47 88.51 None pthread-lit/qw2004-2.yml false(unreach-call) 9.32 5.83 None goblint-regression/00-sanity_09-include.yml true 6.80 3.90 None goblint-regression/02-base_24-malloc_races.yml true 8.90 5.07 None goblint-regression/02-base_25-malloc_race_cp.yml true 6.36 4.12 None goblint-regression/02-base_26-malloc_struct.yml true 8.58 5.20 None goblint-regression/03-practical_07-nonterm.yml true 6.42 3.83 None goblint-regression/03-practical_08-nonterm1.yml true 6.41 4.13 None goblint-regression/03-practical_15-exit_problems.yml true 6.59 3.97 None goblint-regression/04-mutex_01-simple_rc.yml true 8.45 4.95 None goblint-regression/04-mutex_02-simple_nr.yml true 6.02 3.95 None goblint-regression/04-mutex_03-munge_rc.yml true 8.26 4.98 None goblint-regression/04-mutex_04-munge_nr.yml true 6.47 3.84 None goblint-regression/04-mutex_05-lockfuns.yml true 6.16 3.73 None goblint-regression/04-mutex_06-ps_rc.yml true 8.78 5.20 None goblint-regression/04-mutex_07-ps_nr.yml true 6.34 3.76 None goblint-regression/04-mutex_09-ptrmunge_rc.yml true 6.66 4.13 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 6.77 4.04 None goblint-regression/04-mutex_11-ptr_rc.yml true 8.84 5.21 None goblint-regression/04-mutex_12-ptr_nr.yml true 6.53 4.03 None goblint-regression/04-mutex_14-funarg_rc.yml true 8.42 5.06 None goblint-regression/04-mutex_15-funarg_nr.yml true 6.60 3.87 None goblint-regression/04-mutex_16-ps_add1_rc.yml true 6.66 3.91 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 8.30 4.90 None goblint-regression/04-mutex_18-glob_guards.yml true 6.48 4.07 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml true 6.61 3.82 None goblint-regression/04-mutex_20-stdfun_rc.yml true 6.17 3.67 None goblint-regression/04-mutex_21-sound_base.yml true 8.52 5.00 None goblint-regression/04-mutex_22-deref_read.yml true 8.25 4.84 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 5.48 3.10 None goblint-regression/04-mutex_24-sound_lock.yml true 6.41 4.20 None goblint-regression/04-mutex_25-single_acc.yml true 6.26 3.60 None goblint-regression/04-mutex_27-base_rc.yml true 8.27 5.13 None goblint-regression/04-mutex_28-base_nr.yml true 6.06 3.95 None goblint-regression/04-mutex_35-trylock_rc.yml true 10.14 5.91 None goblint-regression/04-mutex_36-trylock_nr.yml true 7.13 4.62 None goblint-regression/04-mutex_37-indirect_rc.yml true 6.50 4.22 None goblint-regression/04-mutex_38-indexing_malloc.yml true 6.17 3.92 None goblint-regression/04-mutex_41-pt_rwlock.yml true 8.33 4.89 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 6.79 4.07 None goblint-regression/04-mutex_43-thread_create_nr.yml true 6.64 4.31 None goblint-regression/04-mutex_44-malloc_sound.yml true 8.89 5.31 None goblint-regression/04-mutex_45-escape_rc.yml true 6.28 3.74 None goblint-regression/04-mutex_46-escape_nr.yml true 8.43 5.06 None goblint-regression/04-mutex_47-fun_write.yml true 6.37 3.88 None goblint-regression/04-mutex_50-funptr_rc.yml true 6.74 3.87 None goblint-regression/04-mutex_51-mutex_ptr.yml true 6.42 3.89 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 6.48 3.85 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml true 8.64 4.83 None goblint-regression/05-lval_ls_01-idx_rc.yml true 6.29 3.76 None goblint-regression/05-lval_ls_02-idx_nr.yml true 8.25 4.83 None goblint-regression/05-lval_ls_03-fld_rc.yml true 6.62 4.34 None goblint-regression/05-lval_ls_04-fld_nr.yml true 6.29 3.83 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml true 6.24 3.69 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml true 8.24 5.06 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml true 6.14 4.04 None goblint-regression/05-lval_ls_09-idxsense_rc.yml true 6.36 3.72 None goblint-regression/05-lval_ls_11-fldsense_rc.yml true 6.29 4.11 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 6.49 3.74 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml true 7.92 4.64 None goblint-regression/05-lval_ls_14-idxunknown_access.yml true 6.27 4.09 None goblint-regression/05-lval_ls_15-fldunknown_access.yml true 6.82 4.27 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 7.07 4.29 None goblint-regression/06-symbeq_02-funloop_norace.yml true 6.80 4.52 None goblint-regression/06-symbeq_03-funloop_simple.yml true 6.74 4.30 None goblint-regression/06-symbeq_04-funloop_hard1.yml true 8.43 4.99 None goblint-regression/06-symbeq_05-funloop_hard2.yml true 7.22 4.35 None goblint-regression/06-symbeq_06-tricky_address1.yml true 6.42 3.89 None goblint-regression/06-symbeq_07-tricky_address2.yml true 6.77 4.29 None goblint-regression/06-symbeq_08-tricky_address3.yml true 8.58 5.31 None goblint-regression/06-symbeq_09-tricky_address4.yml true 6.76 3.88 None goblint-regression/06-symbeq_10-equ_rc.yml true 6.51 4.21 None goblint-regression/06-symbeq_11-equ_nr.yml true 8.37 5.02 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 6.47 3.80 None goblint-regression/06-symbeq_14-list_entry_rc.yml unknown 6.05 3.86 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 6.28 3.84 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 8.14 4.56 None goblint-regression/09-regions_01-list_rc.yml true 6.84 4.13 None goblint-regression/09-regions_02-list_nr.yml true 7.23 4.28 None goblint-regression/09-regions_03-list2_rc.yml true 6.75 3.91 None goblint-regression/09-regions_04-list2_nr.yml true 6.75 4.03 None goblint-regression/09-regions_05-ptra_rc.yml true 8.87 4.92 None goblint-regression/09-regions_06-ptra_nr.yml true 8.49 4.98 None goblint-regression/09-regions_09-arraylist.yml true 6.77 4.00 None goblint-regression/09-regions_10-arraylist_rc.yml true 7.53 4.26 None goblint-regression/09-regions_11-arraylist_nr.yml true 6.69 3.96 None goblint-regression/09-regions_12-arraycollapse_rc.yml true 7.41 4.23 None goblint-regression/09-regions_13-arraycollapse_nr.yml true 7.30 4.61 None goblint-regression/09-regions_16-arrayloop_rc.yml true 7.27 4.48 None goblint-regression/09-regions_17-arrayloop_nr.yml true 8.78 5.16 None goblint-regression/09-regions_18-nested_rc.yml true 7.08 4.61 None goblint-regression/09-regions_19-nested_nr.yml true 8.65 5.11 None goblint-regression/09-regions_20-arrayloop2_rc.yml true 7.21 4.22 None goblint-regression/09-regions_21-arrayloop2_nr.yml true 6.56 3.90 None goblint-regression/09-regions_22-nocollapse.yml true 7.10 4.22 None goblint-regression/09-regions_23-evilcollapse_rc.yml true 8.84 5.30 None goblint-regression/09-regions_24-evilcollapse_nr.yml true 7.07 4.27 None goblint-regression/09-regions_26-alloc_region_rc.yml true 6.82 4.10 None goblint-regression/09-regions_28-list2alloc.yml true 7.28 4.24 None goblint-regression/10-synch_01-thread_unique.yml true 6.18 3.77 None goblint-regression/10-synch_02-thread_nonunique.yml true 8.23 4.77 None goblint-regression/10-synch_03-two_unique.yml true 7.79 4.90 None goblint-regression/13-privatized_03-priv_inv.yml true 5.88 3.53 None ----------------------------------------------------------------------------------------------------------------------- Run set 1 done 16015.18 904.67 - Automizer PN.SVCOMP ConcurrencySafety-DataRaces Run set 2 of 3 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------- ldv-races/race-1_1-join.yml true 9.13 5.24 None ldv-races/race-1_2-join.yml false(unreach-call) 8.95 5.74 None ldv-races/race-1_2b-join.yml false(unreach-call) 9.28 5.27 None ldv-races/race-1_3-join.yml false(unreach-call) 9.48 5.35 None ldv-races/race-1_3b-join.yml false(unreach-call) 12.48 8.02 None ldv-races/race-2_1-container_of.yml OUT OF MEMORY 157.28 116.14 None ldv-races/race-2_2-container_of.yml OUT OF MEMORY 268.03 199.69 None ldv-races/race-2_2b-container_of.yml OUT OF MEMORY 249.35 197.56 None ldv-races/race-2_3-container_of.yml false(unreach-call) 17.50 9.71 None ldv-races/race-2_3b-container_of.yml false(unreach-call) 15.83 8.82 None ldv-races/race-2_4-container_of.yml false(unreach-call) 13.00 7.24 None ldv-races/race-2_4b-container_of.yml false(unreach-call) 14.88 8.46 None ldv-races/race-2_5-container_of.yml false(unreach-call) 11.71 8.26 None ldv-races/race-2_5b-container_of.yml false(unreach-call) 13.23 8.05 None ldv-races/race-3_1-container_of-global.yml OUT OF MEMORY 282.47 228.32 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 850.30 746.40 None ldv-races/race-3_2b-container_of-global.yml OUT OF MEMORY 448.68 376.37 None pthread/fib_bench-1.yml TIMEOUT 901.71 830.89 None pthread/fib_bench-2.yml TIMEOUT 901.13 777.84 None pthread/fib_bench_longer-1.yml OUT OF MEMORY 654.23 531.13 None pthread/fib_bench_longer-2.yml OUT OF MEMORY 779.02 714.31 None pthread/fib_bench_longest-1.yml OUT OF MEMORY 887.69 808.64 None pthread/fib_bench_longest-2.yml TIMEOUT 901.05 787.82 None pthread/lazy01.yml false(unreach-call) 8.47 4.89 None pthread/singleton-b.yml false(unreach-call) 12.58 6.74 None pthread/singleton.yml false(unreach-call) 9.74 5.89 None pthread/singleton_with-uninit-problems-b.yml true 12.62 7.06 None pthread/singleton_with-uninit-problems.yml true 9.77 5.75 None pthread/stateful01-1.yml false(unreach-call) 9.40 5.70 None pthread/stateful01-2.yml true 8.44 4.80 None pthread/triangular-1.yml true 56.77 35.72 None pthread/triangular-2.yml false(unreach-call) 19.99 12.20 None pthread/triangular-longer-1.yml TIMEOUT 900.70 770.90 None pthread/triangular-longer-2.yml false(unreach-call) 640.12 515.51 None pthread/triangular-longest-1.yml TIMEOUT 900.66 746.86 None pthread/triangular-longest-2.yml TIMEOUT 900.79 777.63 None pthread-atomic/dekker-b.yml true 10.12 5.87 None pthread-atomic/dekker.yml true 10.72 6.22 None pthread-atomic/lamport-b.yml true 11.24 6.39 None pthread-atomic/lamport.yml true 14.51 8.04 None pthread-atomic/peterson-b.yml true 9.60 5.61 None pthread-atomic/peterson.yml true 10.63 6.17 None pthread-atomic/read_write_lock-1.yml true 11.74 6.85 None pthread-atomic/read_write_lock-1b.yml true 12.48 6.96 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 13.22 7.31 None pthread-atomic/read_write_lock-2b.yml false(unreach-call) 13.58 7.54 None pthread-atomic/szymanski-b.yml true 8.07 5.02 None pthread-atomic/szymanski.yml true 9.18 5.33 None pthread-atomic/time_var_mutex.yml true 10.26 6.04 None pthread-ext/01_inc.yml OUT OF MEMORY 84.56 60.56 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 8.16 4.93 None pthread-ext/14_spin2003.yml OUT OF MEMORY 148.97 84.41 None pthread-ext/18_read_write_lock.yml true 7.88 4.66 None pthread-ext/39_rand_lock_p0_vs-b.yml OUT OF MEMORY 181.01 106.41 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 223.66 127.57 None pthread-ext/40_barrier_vf-b.yml OUT OF MEMORY 193.00 129.10 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 110.97 78.57 None pthread-ext/45_monabsex1_vs-b.yml OUT OF MEMORY 89.85 62.50 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 125.39 96.48 None pthread-ext/46_monabsex2_vs-b.yml OUT OF MEMORY 91.47 54.01 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 143.90 83.06 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml OUT OF MEMORY 161.39 91.87 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 95.64 65.36 None pthread-lit/qw2004-2.yml false(unreach-call) 11.77 6.41 None goblint-regression/00-sanity_09-include.yml true 7.99 4.75 None goblint-regression/02-base_24-malloc_races.yml true 8.41 5.11 None goblint-regression/02-base_25-malloc_race_cp.yml true 8.49 5.14 None goblint-regression/02-base_26-malloc_struct.yml true 8.31 4.74 None goblint-regression/03-practical_07-nonterm.yml true 6.73 3.94 None goblint-regression/03-practical_08-nonterm1.yml true 8.23 4.98 None goblint-regression/03-practical_15-exit_problems.yml true 6.50 3.82 None goblint-regression/04-mutex_01-simple_rc.yml true 8.43 5.21 None goblint-regression/04-mutex_02-simple_nr.yml true 6.59 3.93 None goblint-regression/04-mutex_03-munge_rc.yml true 7.40 4.57 None goblint-regression/04-mutex_04-munge_nr.yml true 8.16 5.09 None goblint-regression/04-mutex_05-lockfuns.yml true 8.07 4.57 None goblint-regression/04-mutex_06-ps_rc.yml true 6.51 3.97 None goblint-regression/04-mutex_07-ps_nr.yml true 7.87 4.73 None goblint-regression/04-mutex_09-ptrmunge_rc.yml true 8.45 5.05 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 6.97 3.94 None goblint-regression/04-mutex_11-ptr_rc.yml true 8.26 4.93 None goblint-regression/04-mutex_12-ptr_nr.yml true 6.76 3.83 None goblint-regression/04-mutex_14-funarg_rc.yml true 6.75 4.58 None goblint-regression/04-mutex_15-funarg_nr.yml true 8.41 4.78 None goblint-regression/04-mutex_16-ps_add1_rc.yml true 8.38 4.63 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 6.64 3.87 None goblint-regression/04-mutex_18-glob_guards.yml true 8.62 5.16 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml true 6.42 3.95 None goblint-regression/04-mutex_20-stdfun_rc.yml true 8.40 4.67 None goblint-regression/04-mutex_21-sound_base.yml true 8.27 4.90 None goblint-regression/04-mutex_22-deref_read.yml true 6.50 3.67 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 7.43 4.41 None goblint-regression/04-mutex_24-sound_lock.yml true 6.52 3.93 None goblint-regression/04-mutex_25-single_acc.yml true 7.95 4.93 None goblint-regression/04-mutex_27-base_rc.yml true 8.65 5.25 None goblint-regression/04-mutex_28-base_nr.yml true 6.91 4.08 None goblint-regression/04-mutex_35-trylock_rc.yml true 9.39 5.54 None goblint-regression/04-mutex_36-trylock_nr.yml true 7.53 4.38 None goblint-regression/04-mutex_37-indirect_rc.yml true 6.32 4.00 None goblint-regression/04-mutex_38-indexing_malloc.yml true 8.09 4.58 None goblint-regression/04-mutex_41-pt_rwlock.yml true 7.98 4.74 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 6.30 3.83 None goblint-regression/04-mutex_43-thread_create_nr.yml true 8.19 4.92 None goblint-regression/04-mutex_44-malloc_sound.yml true 6.45 3.79 None goblint-regression/04-mutex_45-escape_rc.yml true 8.25 5.01 None goblint-regression/04-mutex_46-escape_nr.yml true 8.80 5.13 None goblint-regression/04-mutex_47-fun_write.yml true 6.72 4.13 None goblint-regression/04-mutex_50-funptr_rc.yml true 6.79 3.96 None goblint-regression/04-mutex_51-mutex_ptr.yml true 8.27 4.99 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 8.36 4.78 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml true 6.38 3.81 None goblint-regression/05-lval_ls_01-idx_rc.yml true 7.67 4.21 None goblint-regression/05-lval_ls_02-idx_nr.yml true 6.41 3.66 None goblint-regression/05-lval_ls_03-fld_rc.yml true 7.95 4.65 None goblint-regression/05-lval_ls_04-fld_nr.yml true 7.56 4.29 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml true 6.32 4.13 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml true 8.01 4.68 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml true 6.07 3.61 None goblint-regression/05-lval_ls_09-idxsense_rc.yml true 8.02 5.03 None goblint-regression/05-lval_ls_11-fldsense_rc.yml true 6.00 3.67 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 8.01 4.81 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml true 6.22 3.68 None goblint-regression/05-lval_ls_14-idxunknown_access.yml true 8.01 4.81 None goblint-regression/05-lval_ls_15-fldunknown_access.yml true 6.02 3.59 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 5.32 3.02 None goblint-regression/06-symbeq_02-funloop_norace.yml true 8.50 5.23 None goblint-regression/06-symbeq_03-funloop_simple.yml true 8.38 5.01 None goblint-regression/06-symbeq_04-funloop_hard1.yml true 8.25 4.88 None goblint-regression/06-symbeq_05-funloop_hard2.yml true 6.61 3.90 None goblint-regression/06-symbeq_06-tricky_address1.yml true 6.37 3.77 None goblint-regression/06-symbeq_07-tricky_address2.yml true 8.62 4.96 None goblint-regression/06-symbeq_08-tricky_address3.yml true 8.26 4.78 None goblint-regression/06-symbeq_09-tricky_address4.yml true 8.30 4.92 None goblint-regression/06-symbeq_10-equ_rc.yml true 6.59 3.93 None goblint-regression/06-symbeq_11-equ_nr.yml true 6.28 3.64 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 7.88 4.44 None goblint-regression/06-symbeq_14-list_entry_rc.yml unknown 7.19 4.01 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 6.99 4.32 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 6.27 3.68 None goblint-regression/09-regions_01-list_rc.yml true 8.50 5.20 None goblint-regression/09-regions_02-list_nr.yml true 6.93 4.05 None goblint-regression/09-regions_03-list2_rc.yml true 8.53 4.99 None goblint-regression/09-regions_04-list2_nr.yml true 9.32 5.25 None goblint-regression/09-regions_05-ptra_rc.yml true 6.69 3.79 None goblint-regression/09-regions_06-ptra_nr.yml true 8.41 4.76 None goblint-regression/09-regions_09-arraylist.yml true 6.71 3.99 None goblint-regression/09-regions_10-arraylist_rc.yml true 6.73 4.27 None goblint-regression/09-regions_11-arraylist_nr.yml true 8.53 5.01 None goblint-regression/09-regions_12-arraycollapse_rc.yml true 9.16 4.99 None goblint-regression/09-regions_13-arraycollapse_nr.yml true 9.01 5.16 None goblint-regression/09-regions_16-arrayloop_rc.yml true 6.59 4.10 None goblint-regression/09-regions_17-arrayloop_nr.yml true 7.01 4.49 None goblint-regression/09-regions_18-nested_rc.yml true 8.89 4.89 None goblint-regression/09-regions_19-nested_nr.yml true 8.77 5.09 None goblint-regression/09-regions_20-arrayloop2_rc.yml true 8.88 5.06 None goblint-regression/09-regions_21-arrayloop2_nr.yml true 6.84 4.26 None goblint-regression/09-regions_22-nocollapse.yml true 6.64 3.95 None goblint-regression/09-regions_23-evilcollapse_rc.yml true 8.19 4.92 None goblint-regression/09-regions_24-evilcollapse_nr.yml true 8.45 4.99 None goblint-regression/09-regions_26-alloc_region_rc.yml true 6.77 3.87 None goblint-regression/09-regions_28-list2alloc.yml true 8.62 5.09 None goblint-regression/10-synch_01-thread_unique.yml true 6.13 3.55 None goblint-regression/10-synch_02-thread_nonunique.yml true 8.28 4.84 None goblint-regression/10-synch_03-two_unique.yml true 6.04 3.62 None goblint-regression/13-privatized_03-priv_inv.yml true 8.04 4.75 None ----------------------------------------------------------------------------------------------------------------------- Run set 2 done 13494.96 975.87 - Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP ConcurrencySafety-DataRaces Run set 3 of 3 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------- ldv-races/race-1_1-join.yml true 8.81 5.57 None ldv-races/race-1_2-join.yml false(unreach-call) 8.85 5.69 None ldv-races/race-1_2b-join.yml false(unreach-call) 9.43 5.57 None ldv-races/race-1_3-join.yml false(unreach-call) 9.12 5.43 None ldv-races/race-1_3b-join.yml false(unreach-call) 12.46 6.89 None ldv-races/race-2_1-container_of.yml true 73.68 58.38 None ldv-races/race-2_2-container_of.yml false(unreach-call) 63.50 46.86 None ldv-races/race-2_2b-container_of.yml false(unreach-call) 51.40 40.57 None ldv-races/race-2_3-container_of.yml false(unreach-call) 30.89 22.72 None ldv-races/race-2_3b-container_of.yml false(unreach-call) 26.78 20.33 None ldv-races/race-2_4-container_of.yml false(unreach-call) 26.20 20.24 None ldv-races/race-2_4b-container_of.yml false(unreach-call) 31.10 24.68 None ldv-races/race-2_5-container_of.yml false(unreach-call) 18.96 14.37 None ldv-races/race-2_5b-container_of.yml false(unreach-call) 18.97 14.65 None ldv-races/race-3_1-container_of-global.yml true 61.98 48.75 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 45.34 35.84 None ldv-races/race-3_2b-container_of-global.yml false(unreach-call) 43.75 34.04 None pthread/fib_bench-1.yml ERROR: EXCEPTION 136.28 124.53 None pthread/fib_bench-2.yml ERROR: EXCEPTION 251.60 220.09 None pthread/fib_bench_longer-1.yml ERROR: EXCEPTION 399.94 383.57 None pthread/fib_bench_longer-2.yml TIMEOUT 901.57 879.15 None pthread/fib_bench_longest-1.yml TIMEOUT 902.46 833.44 None pthread/fib_bench_longest-2.yml TIMEOUT 900.85 840.28 None pthread/lazy01.yml false(unreach-call) 9.52 5.69 None pthread/singleton-b.yml false(unreach-call) 9.37 5.50 None pthread/singleton.yml false(unreach-call) 12.01 6.92 None pthread/singleton_with-uninit-problems-b.yml true 10.12 6.46 None pthread/singleton_with-uninit-problems.yml true 13.14 7.88 None pthread/stateful01-1.yml false(unreach-call) 6.97 4.30 None pthread/stateful01-2.yml true 8.10 4.85 None pthread/triangular-1.yml true 25.43 16.69 None pthread/triangular-2.yml false(unreach-call) 16.78 10.63 None pthread/triangular-longer-1.yml true 61.75 43.06 None pthread/triangular-longer-2.yml false(unreach-call) 45.92 29.17 None pthread/triangular-longest-1.yml true 218.03 160.19 None pthread/triangular-longest-2.yml false(unreach-call) 133.07 90.53 None pthread-atomic/dekker-b.yml true 9.20 5.96 None pthread-atomic/dekker.yml true 9.84 6.16 None pthread-atomic/lamport-b.yml true 10.09 6.46 None pthread-atomic/lamport.yml true 12.96 7.77 None pthread-atomic/peterson-b.yml true 8.46 5.55 None pthread-atomic/peterson.yml true 9.81 6.14 None pthread-atomic/read_write_lock-1.yml true 17.59 10.53 None pthread-atomic/read_write_lock-1b.yml true 15.09 8.85 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 13.71 7.73 None pthread-atomic/read_write_lock-2b.yml false(unreach-call) 12.04 6.71 None pthread-atomic/szymanski-b.yml true 13.31 8.16 None pthread-atomic/szymanski.yml true 12.13 7.68 None pthread-atomic/time_var_mutex.yml true 9.37 5.88 None pthread-ext/01_inc.yml TIMEOUT 910.86 589.84 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 6.46 4.09 None pthread-ext/14_spin2003.yml OUT OF MEMORY 127.49 83.43 None pthread-ext/18_read_write_lock.yml true 7.22 4.46 None pthread-ext/39_rand_lock_p0_vs-b.yml OUT OF MEMORY 353.09 188.48 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 458.82 241.92 None pthread-ext/40_barrier_vf-b.yml false(unreach-call) 10.27 6.73 None pthread-ext/40_barrier_vf.yml false(unreach-call) 10.52 6.96 None pthread-ext/45_monabsex1_vs-b.yml OUT OF MEMORY 152.03 92.95 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 118.00 71.40 None pthread-ext/46_monabsex2_vs-b.yml OUT OF MEMORY 115.99 76.95 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 130.12 80.80 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml ERROR: EXCEPTION 89.33 60.48 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 738.76 533.82 None pthread-lit/qw2004-2.yml false(unreach-call) 8.02 4.78 None goblint-regression/00-sanity_09-include.yml true 6.31 4.10 None goblint-regression/02-base_24-malloc_races.yml true 6.10 3.60 None goblint-regression/02-base_25-malloc_race_cp.yml true 6.31 3.76 None goblint-regression/02-base_26-malloc_struct.yml true 6.54 3.91 None goblint-regression/03-practical_07-nonterm.yml true 6.79 3.84 None goblint-regression/03-practical_08-nonterm1.yml true 6.39 4.11 None goblint-regression/03-practical_15-exit_problems.yml true 6.27 3.89 None goblint-regression/04-mutex_01-simple_rc.yml true 6.18 3.72 None goblint-regression/04-mutex_02-simple_nr.yml true 6.62 3.82 None goblint-regression/04-mutex_03-munge_rc.yml true 6.31 4.25 None goblint-regression/04-mutex_04-munge_nr.yml true 6.43 3.84 None goblint-regression/04-mutex_05-lockfuns.yml true 6.55 3.79 None goblint-regression/04-mutex_06-ps_rc.yml true 6.37 4.11 None goblint-regression/04-mutex_07-ps_nr.yml true 6.77 3.95 None goblint-regression/04-mutex_09-ptrmunge_rc.yml true 8.32 4.95 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 6.39 3.75 None goblint-regression/04-mutex_11-ptr_rc.yml true 6.51 4.44 None goblint-regression/04-mutex_12-ptr_nr.yml true 6.34 4.07 None goblint-regression/04-mutex_14-funarg_rc.yml true 6.46 4.04 None goblint-regression/04-mutex_15-funarg_nr.yml true 6.82 4.15 None goblint-regression/04-mutex_16-ps_add1_rc.yml true 8.28 4.66 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 6.38 4.17 None goblint-regression/04-mutex_18-glob_guards.yml true 6.59 3.83 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml true 8.05 4.52 None goblint-regression/04-mutex_20-stdfun_rc.yml true 6.52 3.88 None goblint-regression/04-mutex_21-sound_base.yml true 6.26 3.73 None goblint-regression/04-mutex_22-deref_read.yml true 8.37 4.61 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 5.40 3.66 None goblint-regression/04-mutex_24-sound_lock.yml true 6.54 3.87 None goblint-regression/04-mutex_25-single_acc.yml true 6.16 3.69 None goblint-regression/04-mutex_27-base_rc.yml true 8.40 5.12 None goblint-regression/04-mutex_28-base_nr.yml true 6.91 4.21 None goblint-regression/04-mutex_35-trylock_rc.yml true 7.24 4.61 None goblint-regression/04-mutex_36-trylock_nr.yml true 9.84 5.60 None goblint-regression/04-mutex_37-indirect_rc.yml true 6.21 3.69 None goblint-regression/04-mutex_38-indexing_malloc.yml true 6.30 4.05 None goblint-regression/04-mutex_41-pt_rwlock.yml true 6.37 3.86 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 7.90 4.88 None goblint-regression/04-mutex_43-thread_create_nr.yml true 5.98 3.90 None goblint-regression/04-mutex_44-malloc_sound.yml true 6.46 4.23 None goblint-regression/04-mutex_45-escape_rc.yml true 8.11 4.85 None goblint-regression/04-mutex_46-escape_nr.yml true 6.42 3.84 None goblint-regression/04-mutex_47-fun_write.yml true 6.78 3.88 None goblint-regression/04-mutex_50-funptr_rc.yml true 6.64 3.95 None goblint-regression/04-mutex_51-mutex_ptr.yml true 8.28 4.91 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 6.43 4.40 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml true 6.46 4.17 None goblint-regression/05-lval_ls_01-idx_rc.yml true 8.02 4.48 None goblint-regression/05-lval_ls_02-idx_nr.yml true 6.23 4.12 None goblint-regression/05-lval_ls_03-fld_rc.yml true 6.21 3.70 None goblint-regression/05-lval_ls_04-fld_nr.yml true 6.34 4.40 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml true 7.83 4.81 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml true 6.34 3.62 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml true 6.29 4.05 None goblint-regression/05-lval_ls_09-idxsense_rc.yml true 7.74 4.76 None goblint-regression/05-lval_ls_11-fldsense_rc.yml true 6.30 3.76 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 6.46 4.94 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml true 6.29 3.95 None goblint-regression/05-lval_ls_14-idxunknown_access.yml true 7.71 4.65 None goblint-regression/05-lval_ls_15-fldunknown_access.yml true 6.45 4.11 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 6.90 3.78 None goblint-regression/06-symbeq_02-funloop_norace.yml true 6.55 4.15 None goblint-regression/06-symbeq_03-funloop_simple.yml true 7.28 4.33 None goblint-regression/06-symbeq_04-funloop_hard1.yml true 6.46 4.68 None goblint-regression/06-symbeq_05-funloop_hard2.yml true 8.99 5.26 None goblint-regression/06-symbeq_06-tricky_address1.yml true 6.75 3.93 None goblint-regression/06-symbeq_07-tricky_address2.yml true 8.21 4.76 None goblint-regression/06-symbeq_08-tricky_address3.yml true 6.53 3.88 None goblint-regression/06-symbeq_09-tricky_address4.yml true 6.49 4.10 None goblint-regression/06-symbeq_10-equ_rc.yml true 6.53 4.34 None goblint-regression/06-symbeq_11-equ_nr.yml true 6.50 4.12 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 6.56 3.88 None goblint-regression/06-symbeq_14-list_entry_rc.yml unknown 7.24 4.06 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 8.78 5.34 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 6.46 3.95 None goblint-regression/09-regions_01-list_rc.yml true 6.54 3.85 None goblint-regression/09-regions_02-list_nr.yml true 6.64 4.57 None goblint-regression/09-regions_03-list2_rc.yml true 6.89 4.02 None goblint-regression/09-regions_04-list2_nr.yml true 8.64 4.82 None goblint-regression/09-regions_05-ptra_rc.yml true 9.10 5.18 None goblint-regression/09-regions_06-ptra_nr.yml true 7.19 4.19 None goblint-regression/09-regions_09-arraylist.yml true 7.08 4.19 None goblint-regression/09-regions_10-arraylist_rc.yml true 7.21 4.38 None goblint-regression/09-regions_11-arraylist_nr.yml true 6.72 4.09 None goblint-regression/09-regions_12-arraycollapse_rc.yml true 6.95 4.41 None goblint-regression/09-regions_13-arraycollapse_nr.yml true 8.89 5.28 None goblint-regression/09-regions_16-arrayloop_rc.yml true 6.86 3.90 None goblint-regression/09-regions_17-arrayloop_nr.yml true 8.68 5.24 None goblint-regression/09-regions_18-nested_rc.yml true 7.19 4.81 None goblint-regression/09-regions_19-nested_nr.yml true 6.99 4.20 None goblint-regression/09-regions_20-arrayloop2_rc.yml true 6.77 4.14 None goblint-regression/09-regions_21-arrayloop2_nr.yml true 6.73 4.03 None goblint-regression/09-regions_22-nocollapse.yml true 8.18 4.94 None goblint-regression/09-regions_23-evilcollapse_rc.yml true 6.60 3.92 None goblint-regression/09-regions_24-evilcollapse_nr.yml true 7.14 4.66 None goblint-regression/09-regions_26-alloc_region_rc.yml true 7.10 4.52 None goblint-regression/09-regions_28-list2alloc.yml true 8.44 5.26 None goblint-regression/10-synch_01-thread_unique.yml true 6.68 4.22 None goblint-regression/10-synch_02-thread_nonunique.yml true 6.25 4.00 None goblint-regression/10-synch_03-two_unique.yml true 5.96 3.94 None goblint-regression/13-privatized_03-priv_inv.yml true 8.10 4.49 None ----------------------------------------------------------------------------------------------------------------------- Run set 3 done 8701.82 894.41 - Statistics: 495 Files correct: 194 correct true: 169 correct false: 25 incorrect: 221 incorrect true: 180 incorrect false: 41 unknown: 80 Score: -6053 (max: 759)