BENCHMARK INFORMATION UAutomizer benchmark definition: ../benchexec/uautomizer-non-preprocessed.xml name: uautomizer-non-preprocessed run sets: Automizer_unreach-call.nonPreprocessed, Automizer_no-overflow.nonPreprocessed, Automizer_no-data-race.nonPreprocessed, Automizer_memsafety.memsafety date: Mon, 2025-04-28 11:19:05 CEST tool: ULTIMATE Automizer 0.3.0-8c8b3948 tool executable: ./Ultimate.py options: parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 90 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-6.8.12-5-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 ------------------------------------------------------------ Automizer_unreach-call.nonPreprocessed Run set 1 of 4 with options '' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------ array-examples/relax-2-2.yml TIMEOUT 90.23 69.15 None bitvector/byte_add-1.yml TIMEOUT 90.14 76.57 None bitvector/byte_add_1-1.yml TIMEOUT 90.67 70.33 None bitvector/byte_add_2-2.yml TIMEOUT 91.01 66.74 None bitvector/interleave_bits.yml TIMEOUT 90.79 77.74 None bitvector/modulus-2.yml true 13.42 9.16 None bitvector/parity.yml TIMEOUT 90.99 79.95 None floats-cbmc-regression/float-div1.yml unknown 14.76 10.27 None floats-cbmc-regression/float-flags-simp1.yml unknown 14.49 9.86 None floats-cbmc-regression/float-no-simp2.yml true 79.93 74.73 None floats-cbmc-regression/float-no-simp4.yml true 16.77 12.50 None floats-cbmc-regression/float-no-simp8.yml unknown 16.00 12.40 None floats-cbmc-regression/float-rounding1.yml unknown 13.75 9.73 None floats-cbmc-regression/float-zero-sum1.yml true 16.77 11.78 None floats-cbmc-regression/float14.yml true 14.95 11.84 None floats-cbmc-regression/float19.yml unknown 13.45 9.73 None floats-cbmc-regression/float21.yml unknown 14.30 9.83 None floats-cbmc-regression/float22.yml true 46.86 39.62 None floats-cbmc-regression/float4.yml TIMEOUT 90.83 85.52 None floats-cbmc-regression/float8.yml true 16.20 11.76 None floats-cbmc-regression/float_lib1.yml unknown 14.27 9.95 None floats-cbmc-regression/float_lib2.yml unknown 13.79 9.89 None floats-esbmc-regression/ceil.yml unknown 15.67 11.28 None floats-esbmc-regression/ceil_nondet.yml unknown 17.15 12.95 None floats-esbmc-regression/copysign.yml unknown 14.90 10.34 None floats-esbmc-regression/fabs.yml true 14.52 10.58 None floats-esbmc-regression/fdim.yml true 22.49 15.43 None floats-esbmc-regression/floor.yml unknown 16.04 11.18 None floats-esbmc-regression/floor_nondet.yml unknown 18.03 13.74 None floats-esbmc-regression/fmax.yml true 14.56 10.54 None floats-esbmc-regression/fmin.yml true 14.94 10.60 None floats-esbmc-regression/fmod.yml ERROR (7) 13.95 9.74 None floats-esbmc-regression/fmod2.yml ERROR (7) 13.04 9.44 None floats-esbmc-regression/fmod3.yml ERROR (7) 13.44 9.64 None floats-esbmc-regression/isgreater.yml unknown 14.58 10.50 None floats-esbmc-regression/isgreaterequal.yml unknown 14.65 10.46 None floats-esbmc-regression/isless.yml unknown 15.65 11.11 None floats-esbmc-regression/islessequal.yml unknown 14.62 10.58 None floats-esbmc-regression/islessgreater.yml unknown 14.03 10.17 None floats-esbmc-regression/isunordered.yml unknown 13.79 9.87 None floats-esbmc-regression/lrint.yml unknown 14.09 9.96 None floats-esbmc-regression/modf.yml unknown 13.54 9.63 None floats-esbmc-regression/nan.yml true 16.04 11.35 None floats-esbmc-regression/nearbyint.yml unknown 19.00 14.19 None floats-esbmc-regression/nearbyint2.yml unknown 15.12 11.22 None floats-esbmc-regression/remainder.yml unknown 14.37 10.26 None floats-esbmc-regression/rint.yml unknown 18.59 14.08 None floats-esbmc-regression/rint2.yml unknown 15.10 11.92 None floats-esbmc-regression/round.yml TIMEOUT 15.82 151.00 None floats-esbmc-regression/round_nondet.yml TIMEOUT 17.90 151.00 None floats-esbmc-regression/rounding_functions.yml true 15.42 11.24 None floats-esbmc-regression/trunc.yml unknown 16.13 11.44 None floats-esbmc-regression/trunc_nondet.yml unknown 17.44 12.69 None floats-esbmc-regression/trunc_nondet_2.yml TIMEOUT 90.83 85.84 None goblint-regression/13-privatized_01-priv_nr_true.yml true 11.40 7.60 None goblint-regression/13-privatized_18-first-reads_true.yml true 9.48 6.65 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 8.95 6.10 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 9.11 6.16 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 9.02 6.20 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 9.62 6.39 None goblint-regression/13-privatized_19-publish-precision_true.yml true 9.68 6.60 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 9.11 6.17 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 9.69 6.52 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 10.25 6.68 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 9.19 6.30 None goblint-regression/13-privatized_20-publish-regression_true.yml true 10.86 7.17 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 15.31 9.24 None goblint-regression/13-privatized_25-struct_nr_true.yml true 11.41 8.32 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 18.80 11.01 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 12.76 9.15 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 10.61 6.93 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 11.18 7.22 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 10.96 7.19 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.29 7.11 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 11.68 7.51 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 11.10 7.29 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 10.32 6.78 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 10.53 6.72 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 10.10 6.81 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 10.33 6.84 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 9.17 6.31 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 11.15 7.19 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 10.71 6.82 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 11.37 7.29 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 10.88 7.22 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 10.26 6.76 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 10.34 6.70 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 9.61 6.43 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 9.78 6.30 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 9.39 6.16 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 9.14 6.16 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 43.80 27.80 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 10.70 7.10 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 10.42 6.82 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 10.19 6.91 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 10.41 6.86 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 9.61 6.45 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 59.65 43.45 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 13.57 8.49 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 10.39 6.92 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 8.81 6.07 None heap-data/running_example.yml TIMEOUT 90.74 72.93 None heap-data/shared_mem1.yml TIMEOUT 90.39 77.35 None heap-data/shared_mem2.yml TIMEOUT 91.00 82.81 None heap-manipulation/dancing.yml TIMEOUT 91.05 79.77 None list-ext-properties/list-ext.yml false(unreach-call) 10.10 6.79 None list-ext-properties/simple-ext.yml false(unreach-call) 9.82 6.69 None list-ext2-properties/list_and_tree_cnstr-1.yml false(unreach-call) 56.72 38.49 None list-ext2-properties/list_and_tree_cnstr-2.yml TIMEOUT 90.72 72.22 None list-ext2-properties/simple_and_skiplist_2lvl-1.yml false(unreach-call) 11.81 7.79 None list-ext2-properties/simple_and_skiplist_2lvl-2.yml TIMEOUT 90.57 74.67 None list-ext2-properties/simple_search_value-1.yml TIMEOUT 90.34 76.48 None list-ext2-properties/simple_search_value-2.yml TIMEOUT 90.36 76.46 None list-ext3-properties/dll_circular_traversal-2.yml TIMEOUT 90.42 73.78 None list-ext3-properties/dll_nullified-1.yml false(unreach-call) 15.12 9.74 None list-ext3-properties/dll_nullified-2.yml TIMEOUT 90.74 68.65 None list-ext3-properties/sll_circular_traversal-1.yml TIMEOUT 90.71 73.38 None list-ext3-properties/sll_length_check-1.yml false(unreach-call) 12.64 8.44 None list-ext3-properties/sll_length_check-2.yml TIMEOUT 90.31 78.33 None list-ext3-properties/sll_nondet_insert-1.yml false(unreach-call) 66.86 58.46 None list-ext3-properties/sll_nondet_insert-2.yml TIMEOUT 90.95 76.96 None list-ext3-properties/sll_of_sll_nondet_append-1.yml TIMEOUT 90.58 73.94 None list-ext3-properties/sll_of_sll_nondet_append-2.yml TIMEOUT 90.12 77.29 None list-properties/alternating_list-1.yml TIMEOUT 90.35 74.15 None list-properties/alternating_list-2.yml false(unreach-call) 9.91 6.60 None list-properties/list-1.yml TIMEOUT 90.81 71.51 None list-properties/list-2.yml TIMEOUT 90.59 74.45 None list-properties/list_flag-1.yml false(unreach-call) 10.17 6.76 None list-properties/list_flag-2.yml TIMEOUT 90.99 73.65 None list-properties/list_search-1.yml false(unreach-call) 31.44 19.67 None list-properties/list_search-2.yml true 51.70 35.98 None list-properties/simple-1.yml false(unreach-call) 11.05 7.50 None list-properties/simple-2.yml TIMEOUT 90.30 76.07 None list-properties/simple_built_from_end.yml TIMEOUT 90.76 78.60 None list-properties/splice-1.yml false(unreach-call) 11.08 7.30 None list-properties/splice-2.yml TIMEOUT 91.04 74.06 None list-simple/dll2c_append_equal.yml TIMEOUT 90.74 77.06 None list-simple/dll2c_append_unequal.yml TIMEOUT 91.29 72.79 None list-simple/dll2c_insert_equal.yml TIMEOUT 90.66 72.29 None list-simple/dll2c_insert_unequal.yml TIMEOUT 90.93 73.28 None list-simple/dll2c_prepend_equal.yml TIMEOUT 90.20 76.19 None list-simple/dll2c_prepend_unequal.yml TIMEOUT 90.70 75.10 None list-simple/dll2c_remove_all.yml TIMEOUT 90.26 76.44 None list-simple/dll2c_remove_all_reverse.yml true 24.03 14.94 None list-simple/dll2c_update_all.yml true 31.84 20.48 None list-simple/dll2c_update_all_reverse.yml true 27.02 16.86 None list-simple/dll2n_append_equal.yml TIMEOUT 91.47 72.17 None list-simple/dll2n_append_unequal.yml TIMEOUT 90.79 72.47 None list-simple/dll2n_insert_equal.yml TIMEOUT 90.28 75.72 None list-simple/dll2n_insert_unequal.yml TIMEOUT 91.09 78.02 None list-simple/dll2n_prepend_equal.yml TIMEOUT 90.71 70.47 None list-simple/dll2n_prepend_unequal.yml TIMEOUT 90.68 70.45 None list-simple/dll2n_remove_all.yml true 34.23 24.24 None list-simple/dll2n_remove_all_reverse.yml true 27.56 16.79 None list-simple/dll2n_update_all.yml true 26.23 17.15 None list-simple/dll2n_update_all_reverse.yml true 11.22 7.25 None list-simple/sll2c_append_equal.yml TIMEOUT 90.57 72.03 None list-simple/sll2c_append_unequal.yml TIMEOUT 90.92 69.99 None list-simple/sll2c_insert_equal.yml TIMEOUT 90.63 72.58 None list-simple/sll2c_insert_unequal.yml TIMEOUT 90.64 74.19 None list-simple/sll2c_prepend_equal.yml TIMEOUT 90.23 77.54 None list-simple/sll2c_prepend_unequal.yml TIMEOUT 90.76 75.20 None list-simple/sll2c_remove_all.yml TIMEOUT 90.62 75.24 None list-simple/sll2c_remove_all_reverse.yml true 43.32 30.28 None list-simple/sll2c_update_all.yml true 29.00 18.69 None list-simple/sll2c_update_all_reverse.yml true 30.75 19.14 None list-simple/sll2n_append_equal.yml TIMEOUT 91.18 75.09 None list-simple/sll2n_append_unequal.yml TIMEOUT 90.45 74.97 None list-simple/sll2n_insert_equal.yml TIMEOUT 90.66 73.70 None list-simple/sll2n_insert_unequal.yml TIMEOUT 90.85 74.31 None list-simple/sll2n_prepend_equal.yml TIMEOUT 90.77 73.09 None list-simple/sll2n_prepend_unequal.yml TIMEOUT 90.72 73.65 None list-simple/sll2n_remove_all.yml true 59.29 51.28 None list-simple/sll2n_remove_all_reverse.yml true 22.67 14.23 None list-simple/sll2n_update_all.yml true 27.39 17.74 None list-simple/sll2n_update_all_reverse.yml true 24.91 15.98 None longjmp/68-longjmp_04-counting-local_true.yml unknown 13.37 9.77 None longjmp/68-longjmp_04-counting-local_unknown_1_neg.yml unknown 14.83 10.18 None longjmp/68-longjmp_04-counting-local_unknown_1_pos.yml unknown 13.63 9.55 None longjmp/68-longjmp_05-heap-counting-return-one-method_true.yml unknown 14.24 9.79 None longjmp/68-longjmp_05-heap-counting-return-one-method_unknown_1_neg.yml unknown 13.70 10.72 None longjmp/68-longjmp_05-heap-counting-return-one-method_unknown_1_pos.yml unknown 13.46 9.80 None longjmp/68-longjmp_07-returns_true.yml unknown 13.60 9.60 None longjmp/68-longjmp_11-counting-return_true.yml unknown 14.87 10.03 None longjmp/68-longjmp_11-counting-return_unknown_1_neg.yml unknown 14.10 10.09 None longjmp/68-longjmp_11-counting-return_unknown_1_pos.yml unknown 13.67 9.49 None longjmp/68-longjmp_12-counting-global_true.yml unknown 14.00 9.81 None longjmp/68-longjmp_12-counting-global_unknown_1_neg.yml unknown 13.66 9.70 None longjmp/68-longjmp_12-counting-global_unknown_1_pos.yml unknown 13.42 9.52 None longjmp/68-longjmp_13-counting-local_true.yml unknown 13.53 9.81 None longjmp/68-longjmp_13-counting-local_unknown_1_neg.yml unknown 14.11 9.66 None longjmp/68-longjmp_13-counting-local_unknown_1_pos.yml unknown 14.13 9.68 None longjmp/68-longjmp_14-counting-return-one-method_true.yml unknown 13.94 9.82 None longjmp/68-longjmp_14-counting-return-one-method_unknown_1_neg.yml unknown 14.20 10.00 None longjmp/68-longjmp_14-counting-return-one-method_unknown_1_pos.yml unknown 13.98 9.68 None longjmp/68-longjmp_15-counting-global-one-method_true.yml unknown 14.10 9.73 None longjmp/68-longjmp_15-counting-global-one-method_unknown_1_neg.yml unknown 13.47 9.57 None longjmp/68-longjmp_15-counting-global-one-method_unknown_1_pos.yml unknown 13.70 9.58 None longjmp/68-longjmp_16-counting-local-one-method_true.yml unknown 13.99 9.78 None longjmp/68-longjmp_16-counting-local-one-method_unknown_1_neg.yml unknown 14.36 9.97 None longjmp/68-longjmp_16-counting-local-one-method_unknown_1_pos.yml unknown 14.60 10.02 None longjmp/68-longjmp_18-simple-else_true.yml unknown 13.52 9.58 None longjmp/68-longjmp_18-simple-else_unknown_1_neg.yml unknown 13.96 9.65 None longjmp/68-longjmp_18-simple-else_unknown_1_pos.yml unknown 13.97 10.01 None longjmp/68-longjmp_18-simple-else_unknown_2_neg.yml unknown 14.03 9.71 None longjmp/68-longjmp_18-simple-else_unknown_2_pos.yml unknown 13.56 9.71 None longjmp/68-longjmp_19-simpler_true.yml unknown 13.39 9.91 None longjmp/68-longjmp_20-simpler-multifun_true.yml unknown 13.72 9.72 None longjmp/68-longjmp_21-multifun_true.yml unknown 13.88 9.73 None longjmp/68-longjmp_22-multifun-arg_true.yml unknown 13.61 9.63 None longjmp/68-longjmp_42-poison-reduced_true.yml unknown 13.46 9.57 None longjmp/68-longjmp_44-simple-else-path_true.yml unknown 13.70 9.67 None longjmp/68-longjmp_51-worries_true.yml unknown 13.80 9.80 None loop-floats-scientific-comp/loop4.yml unknown 22.43 17.47 None loop-floats-scientific-comp/loop5.yml unknown 21.89 17.46 None loop-lit/as2013-hybrid.yml true 10.34 7.17 None loop-lit/bh2017-ex-add.yml true 14.76 9.51 None loop-lit/bh2017-ex1-poly.yml true 12.21 7.72 None loop-lit/bh2017-ex3.yml true 14.49 9.41 None loop-lit/hh2012-ex1b.yml true 10.89 7.20 None loop-lit/hh2012-ex2b.yml true 10.83 7.82 None loop-lit/hh2012-ex3.yml true 15.57 9.92 None loop-lit/mine2017-ex4.10.yml true 10.66 6.89 None loop-lit/mine2017-ex4.6.yml true 10.84 7.26 None loop-lit/mine2017-ex4.7.yml true 9.42 6.54 None loop-lit/mine2017-ex4.8.yml true 10.22 6.55 None loop-zilu/benchmark02_linear.yml true 9.40 6.39 None loop-zilu/benchmark02_linear_abstracted.yml true 9.52 6.47 None loop-zilu/benchmark04_conjunctive.yml true 10.09 7.16 None loop-zilu/benchmark05_conjunctive.yml true 11.03 8.02 None loop-zilu/benchmark09_conjunctive.yml true 9.90 7.06 None loop-zilu/benchmark10_conjunctive.yml true 10.75 7.56 None loop-zilu/benchmark11_linear.yml true 10.14 6.84 None loop-zilu/benchmark11_linear_abstracted.yml true 9.83 6.36 None loop-zilu/benchmark14_linear.yml true 9.09 6.19 None loop-zilu/benchmark17_conjunctive.yml true 9.08 6.14 None loop-zilu/benchmark18_conjunctive.yml true 9.81 6.86 None loop-zilu/benchmark19_conjunctive.yml true 10.99 7.50 None loop-zilu/benchmark20_conjunctive.yml true 9.94 6.77 None loop-zilu/benchmark23_conjunctive.yml true 43.22 30.71 None loop-zilu/benchmark25_linear.yml true 9.76 7.72 None loop-zilu/benchmark25_linear_abstracted.yml true 9.15 6.41 None loop-zilu/benchmark26_linear.yml true 9.24 6.51 None loop-zilu/benchmark26_linear_abstracted.yml true 9.50 6.35 None loop-zilu/benchmark32_linear.yml true 9.22 6.48 None loop-zilu/benchmark33_linear.yml true 9.20 6.45 None loop-zilu/benchmark34_conjunctive.yml true 11.32 8.75 None loop-zilu/benchmark35_linear.yml true 9.19 6.25 None loop-zilu/benchmark37_conjunctive.yml true 9.73 6.91 None loop-zilu/benchmark43_conjunctive.yml true 10.18 6.70 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 9.76 6.59 None loop-zilu/benchmark51_polynomial.yml true 9.73 6.43 None loop-zilu/benchmark52_polynomial.yml true 9.57 6.95 None loops/bubble_sort-2.yml false(unreach-call) 12.10 7.80 None loops/n.c24.yml ERROR (7) 15.56 11.20 None pthread-C-DAC/pthread-demo-datarace-1.yml true 76.14 55.15 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 21.17 13.51 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 44.61 28.34 None pthread-race-challenges/thread-local-pthread-value.yml unknown 13.33 9.55 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 14.29 9.87 None pthread-race-challenges/thread-local-value.yml unknown 13.69 9.99 None pthread-theta/wsc.yml true 22.16 14.08 None pthread/bigshot_s.yml true 17.07 10.66 None pthread/bigshot_s2.yml true 16.80 10.91 None pthread/butterfly.yml OUT OF MEMORY 55.05 38.56 None pthread/lazy01.yml false(unreach-call) 10.89 7.10 None pthread/singleton.yml false(unreach-call) 9.67 6.66 None pthread/singleton_with-uninit-problems.yml true 12.72 8.07 None pthread/stateful01-1.yml false(unreach-call) 10.07 6.76 None pthread/stateful01-2.yml true 11.42 7.41 None pthread/sync01.yml unknown 13.79 9.79 None unsignedintegeroverflow-sas23/bilinear_interpolation.yml TIMEOUT 90.74 87.14 None unsignedintegeroverflow-sas23/cancel_var_through_overflow.yml true 9.49 6.44 None unsignedintegeroverflow-sas23/distance_through_overflow.yml true 9.78 6.50 None unsignedintegeroverflow-sas23/linear_interpolation.yml true 10.53 7.00 None unsignedintegeroverflow-sas23/linear_interpolation_2.yml TIMEOUT 90.93 84.07 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 8784.73 581.13 - Automizer_no-overflow.nonPreprocessed Run set 2 of 4 with options '' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety-realloc/array-realloc-2.yml true 12.13 7.77 None array-memsafety-realloc/array-realloc-3.yml true 11.39 7.65 None array-memsafety/add_last-alloca-1.yml false(no-overflow) 13.82 10.54 None array-memsafety/array03-alloca-2.yml false(no-overflow) 23.96 17.76 None array-memsafety/bubblesort-alloca-2.yml true 19.97 13.26 None array-memsafety/cstrcat-alloca-2.yml true 16.63 12.12 None array-memsafety/cstrchr-alloca-2.yml true 11.64 8.23 None array-memsafety/cstrcmp-alloca-2.yml true 14.84 9.87 None array-memsafety/cstrcpy-alloca-1.yml true 11.55 8.12 None array-memsafety/cstrcspn-alloca-1.yml true 14.78 10.97 None array-memsafety/cstrlen-alloca-2.yml true 11.49 9.16 None array-memsafety/cstrncmp-alloca-1.yml false(no-overflow) 12.09 8.07 None array-memsafety/cstrpbrk-alloca-2.yml true 14.37 10.03 None array-memsafety/cstrspn-alloca-1.yml true 14.93 10.14 None array-memsafety/insertionsort-alloca-1.yml true 15.88 11.22 None array-memsafety/java_BubbleSort-alloca-1.yml true 18.41 14.11 None array-memsafety/mult_array-alloca-1.yml true 20.92 14.83 None array-memsafety/openbsd_cmemchr-alloca-2.yml true 12.56 8.72 None array-memsafety/openbsd_cmemrchr-alloca-2.yml true 12.33 8.69 None array-memsafety/openbsd_cstpcpy-alloca-1.yml true 13.50 9.18 None array-memsafety/openbsd_cstpncpy-alloca-1.yml true 11.85 8.33 None array-memsafety/openbsd_cstrcat-alloca-2.yml true 15.53 11.47 None array-memsafety/openbsd_cstrcmp-alloca-1.yml true 14.34 9.66 None array-memsafety/openbsd_cstrcpy-alloca-2.yml true 11.83 8.33 None array-memsafety/openbsd_cstrcspn-alloca-2.yml true 14.45 10.03 None array-memsafety/openbsd_cstrlen-alloca-1.yml true 11.67 8.16 None array-memsafety/openbsd_cstrncat-alloca-2.yml true 19.61 12.59 None array-memsafety/openbsd_cstrncmp-alloca-2.yml true 14.68 10.07 None array-memsafety/openbsd_cstrncpy-alloca-2.yml true 12.13 8.15 None array-memsafety/openbsd_cstrnlen-alloca-1.yml unknown 13.54 9.64 None array-memsafety/openbsd_cstrpbrk-alloca-2.yml true 15.75 11.08 None array-memsafety/openbsd_cstrspn-alloca-2.yml true 14.56 10.00 None array-memsafety/openbsd_cstrstr-alloca-2.yml true 15.22 10.75 None array-memsafety/selectionsort-alloca-1.yml true 16.33 11.62 None array-memsafety/stroeder1-alloca-1.yml false(no-overflow) 10.40 6.93 None array-memsafety/stroeder2-alloca-1.yml false(no-overflow) 11.40 7.83 None array-memsafety/subseq-alloca-2.yml true 15.17 10.15 None array-memsafety/substring-alloca-2.yml true 14.10 9.77 None bitvector/byte_add-1.yml true 9.54 6.52 None bitvector/byte_add-2.yml false(no-overflow) 35.74 20.49 None bitvector/byte_add_1-1.yml true 9.67 6.66 None bitvector/byte_add_1-2.yml false(no-overflow) 36.37 21.71 None bitvector/byte_add_2-1.yml false(no-overflow) 42.19 25.29 None bitvector/byte_add_2-2.yml true 9.80 6.59 None bitvector/interleave_bits.yml true 9.69 6.36 None bitvector/modulus-1.yml false(no-overflow) 17.66 12.56 None bitvector/modulus-2.yml true 16.70 12.02 None bitvector/parity.yml true 8.73 6.18 None goblint-regression/04-mutex_02-simple_nr.yml true 10.59 6.94 None goblint-regression/04-mutex_04-munge_nr.yml true 11.31 7.45 None goblint-regression/04-mutex_05-lockfuns.yml true 11.18 7.58 None goblint-regression/04-mutex_07-ps_nr.yml true 12.04 7.70 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 10.22 6.95 None goblint-regression/04-mutex_12-ptr_nr.yml true 13.92 8.70 None goblint-regression/04-mutex_15-funarg_nr.yml true 10.78 7.02 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 14.55 9.05 None goblint-regression/04-mutex_17a-ps_add1_nr.yml false(no-overflow) 11.77 7.57 None goblint-regression/04-mutex_28-base_nr.yml true 9.93 6.75 None goblint-regression/04-mutex_41-pt_rwlock.yml unknown 13.39 9.90 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 12.34 7.97 None goblint-regression/04-mutex_43-thread_create_nr.yml true 10.53 6.85 None goblint-regression/04-mutex_46-escape_nr.yml true 14.37 8.97 None goblint-regression/04-mutex_46a-escape_nr.yml false(no-overflow) 10.61 6.78 None goblint-regression/04-mutex_51-mutex_ptr.yml true 13.44 8.48 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml unknown 14.03 9.87 None goblint-regression/05-lval_ls_02-idx_nr.yml true 14.97 10.22 None goblint-regression/05-lval_ls_04-fld_nr.yml true 12.12 7.68 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 12.75 7.98 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 91.26 66.36 None goblint-regression/06-symbeq_05-funloop_hard2.yml TIMEOUT 91.38 67.22 None goblint-regression/06-symbeq_06-tricky_address1.yml TIMEOUT 90.76 70.68 None goblint-regression/06-symbeq_07-tricky_address2.yml true 70.90 46.69 None goblint-regression/06-symbeq_08-tricky_address3.yml TIMEOUT 91.10 63.89 None goblint-regression/06-symbeq_11-equ_nr.yml true 10.39 6.86 None goblint-regression/06-symbeq_11a-equ_nr.yml false(no-overflow) 10.27 6.89 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 17.29 11.15 None goblint-regression/09-regions_04-list2_nr.yml true 15.39 9.27 None goblint-regression/09-regions_09-arraylist.yml true 12.85 8.15 None goblint-regression/09-regions_11-arraylist_nr.yml true 16.93 11.03 None goblint-regression/09-regions_12-arraycollapse_rc.yml true 13.13 8.36 None goblint-regression/09-regions_13-arraycollapse_nr.yml true 13.02 8.22 None goblint-regression/09-regions_19-nested_nr.yml true 16.69 10.77 None goblint-regression/09-regions_21-arrayloop2_nr.yml unknown 13.77 9.78 None goblint-regression/09-regions_22-nocollapse.yml unknown 14.67 9.82 None goblint-regression/09-regions_24-evilcollapse_nr.yml unknown 14.63 9.90 None goblint-regression/13-privatized_01-priv_nr_true.yml true 10.41 7.86 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 15.16 9.28 None goblint-regression/13-privatized_25-struct_nr_true.yml true 10.63 7.10 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 21.14 12.75 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 11.98 7.58 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 11.10 7.14 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 10.65 7.22 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 91.56 71.94 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml TIMEOUT 91.29 70.45 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 13.96 8.55 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true.yml false(no-overflow) 14.56 8.91 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 18.31 11.07 None heap-data/running_example.yml true 11.63 7.50 None list-ext-properties/simple-ext.yml true 16.04 10.51 None list-ext-properties/test-0232_1-1.yml true 83.43 72.00 None list-ext-properties/test-0232_1-2.yml TIMEOUT (true) 90.11 79.15 None list-ext-properties/test-0504_1.yml TIMEOUT 91.02 84.02 None list-ext-properties/test-0513_1.yml true 12.20 7.95 None list-ext3-properties/dll_nondet_free_order-1.yml true 10.06 6.88 None list-ext3-properties/dll_nondet_free_order-2.yml true 10.32 6.80 None list-ext3-properties/dll_nullified-1.yml true 11.02 7.32 None list-ext3-properties/dll_nullified-2.yml true 10.84 7.26 None list-simple/dll2c_insert_unequal.yml TIMEOUT 90.85 66.62 None list-simple/dll2c_remove_all.yml true 14.28 9.43 None list-simple/dll2c_remove_all_reverse.yml true 13.44 9.15 None list-simple/dll2c_update_all.yml true 20.89 13.41 None list-simple/dll2c_update_all_reverse.yml true 21.70 13.83 None list-simple/dll2n_remove_all.yml true 12.34 8.29 None list-simple/dll2n_remove_all_reverse.yml true 11.99 8.40 None list-simple/dll2n_update_all.yml true 22.29 14.85 None list-simple/dll2n_update_all_reverse.yml true 16.04 11.07 None list-simple/sll2c_remove_all.yml true 12.78 8.56 None list-simple/sll2c_remove_all_reverse.yml true 13.31 9.04 None list-simple/sll2c_update_all.yml true 19.89 13.30 None list-simple/sll2c_update_all_reverse.yml true 18.69 12.07 None list-simple/sll2n_append_unequal.yml TIMEOUT 90.80 71.04 None list-simple/sll2n_prepend_equal.yml true 30.99 19.56 None list-simple/sll2n_prepend_unequal.yml TIMEOUT 90.44 75.19 None list-simple/sll2n_remove_all.yml true 11.83 7.98 None list-simple/sll2n_remove_all_reverse.yml true 11.53 8.04 None list-simple/sll2n_update_all.yml true 20.94 14.42 None list-simple/sll2n_update_all_reverse.yml true 18.12 12.35 None loop-lit/as2013-hybrid.yml true 10.89 6.90 None loop-lit/bh2017-ex-add.yml true 10.19 6.83 None loop-lit/bh2017-ex1-poly.yml true 21.64 13.04 None loop-lit/bh2017-ex3.yml true 10.04 6.97 None loop-lit/hh2012-ex1b.yml true 10.84 7.25 None loop-lit/hh2012-ex2b.yml true 9.65 6.43 None loop-lit/hh2012-ex3.yml true 25.47 16.10 None loop-lit/mine2017-ex4.10.yml true 9.91 6.50 None loop-lit/mine2017-ex4.6.yml true 12.22 8.43 None loop-lit/mine2017-ex4.7.yml true 9.73 6.55 None loop-lit/mine2017-ex4.8.yml true 9.14 5.83 None loop-zilu/benchmark01_conjunctive.yml false(no-overflow) 20.16 12.44 None loop-zilu/benchmark02_linear.yml true 9.36 6.30 None loop-zilu/benchmark02_linear_abstracted.yml true 8.52 6.11 None loop-zilu/benchmark03_linear.yml TIMEOUT 90.21 69.14 None loop-zilu/benchmark04_conjunctive.yml true 15.95 10.33 None loop-zilu/benchmark05_conjunctive.yml true 11.05 7.36 None loop-zilu/benchmark06_conjunctive.yml false(no-overflow) 9.08 6.10 None loop-zilu/benchmark07_linear.yml false(no-overflow) 9.87 7.45 None loop-zilu/benchmark08_conjunctive.yml TIMEOUT 90.88 73.11 None loop-zilu/benchmark09_conjunctive.yml true 9.53 6.33 None loop-zilu/benchmark10_conjunctive.yml TIMEOUT 90.87 73.59 None loop-zilu/benchmark11_linear.yml true 10.30 7.16 None loop-zilu/benchmark11_linear_abstracted.yml true 9.16 6.23 None loop-zilu/benchmark12_linear.yml false(no-overflow) 9.38 6.27 None loop-zilu/benchmark13_conjunctive.yml TIMEOUT 91.22 72.29 None loop-zilu/benchmark14_linear.yml true 9.13 6.17 None loop-zilu/benchmark15_conjunctive.yml false(no-overflow) 9.04 6.35 None loop-zilu/benchmark16_conjunctive.yml TIMEOUT 91.26 71.89 None loop-zilu/benchmark17_conjunctive.yml TIMEOUT 90.83 72.18 None loop-zilu/benchmark18_conjunctive.yml TIMEOUT 90.75 72.09 None loop-zilu/benchmark19_conjunctive.yml true 10.52 7.17 None loop-zilu/benchmark20_conjunctive.yml TIMEOUT 91.05 72.76 None loop-zilu/benchmark21_disjunctive.yml false(no-overflow) 9.63 6.40 None loop-zilu/benchmark22_conjunctive.yml TIMEOUT 90.86 72.37 None loop-zilu/benchmark23_conjunctive.yml TIMEOUT (true) 90.07 70.53 None loop-zilu/benchmark24_conjunctive.yml TIMEOUT 91.04 73.30 None loop-zilu/benchmark25_linear.yml true 9.38 6.09 None loop-zilu/benchmark25_linear_abstracted.yml true 9.00 6.34 None loop-zilu/benchmark26_linear.yml true 9.64 6.26 None loop-zilu/benchmark26_linear_abstracted.yml true 9.17 6.40 None loop-zilu/benchmark27_linear.yml false(no-overflow) 9.14 6.18 None loop-zilu/benchmark28_linear.yml false(no-overflow) 8.88 6.38 None loop-zilu/benchmark29_linear.yml false(no-overflow) 9.23 6.18 None loop-zilu/benchmark30_conjunctive.yml false(no-overflow) 9.51 6.28 None loop-zilu/benchmark31_disjunctive.yml false(no-overflow) 8.78 6.00 None loop-zilu/benchmark32_linear.yml true 8.72 5.74 None loop-zilu/benchmark33_linear.yml true 9.29 6.37 None loop-zilu/benchmark34_conjunctive.yml true 14.87 9.86 None loop-zilu/benchmark35_linear.yml true 8.83 6.08 None loop-zilu/benchmark36_conjunctive.yml TIMEOUT 90.24 69.82 None loop-zilu/benchmark37_conjunctive.yml true 10.67 7.21 None loop-zilu/benchmark38_conjunctive.yml TIMEOUT 91.27 70.45 None loop-zilu/benchmark39_conjunctive.yml false(no-overflow) 8.73 6.02 None loop-zilu/benchmark40_polynomial.yml false(no-overflow) 8.94 6.39 None loop-zilu/benchmark41_conjunctive.yml TIMEOUT 90.47 66.26 None loop-zilu/benchmark42_conjunctive.yml false(no-overflow) 9.43 6.38 None loop-zilu/benchmark43_conjunctive.yml true 9.43 6.36 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 10.24 6.75 None loop-zilu/benchmark44_disjunctive.yml false(no-overflow) 9.63 6.46 None loop-zilu/benchmark45_disjunctive.yml false(no-overflow) 9.66 6.45 None loop-zilu/benchmark46_disjunctive.yml false(no-overflow) 9.50 6.35 None loop-zilu/benchmark47_linear.yml false(no-overflow) 9.94 6.50 None loop-zilu/benchmark48_linear.yml false(no-overflow) 8.99 6.24 None loop-zilu/benchmark49_linear.yml false(no-overflow) 8.85 7.14 None loop-zilu/benchmark50_linear.yml false(no-overflow) 9.00 6.03 None loop-zilu/benchmark51_polynomial.yml true 10.83 7.41 None loop-zilu/benchmark52_polynomial.yml true 9.73 6.80 None loop-zilu/benchmark53_polynomial.yml false(no-overflow) 8.85 6.51 None memsafety-bftpd/bftpd_1.yml true 11.26 7.35 None memsafety-bftpd/bftpd_2.yml true 10.98 7.18 None memsafety-bftpd/bftpd_3.yml true 10.48 7.04 None memsafety-ext2/complex_data_creation_test01-2.yml false(no-overflow) 19.66 13.34 None memsafety-ext2/complex_data_creation_test02-1.yml false(no-overflow) 14.46 9.14 None memsafety-ext2/length_test03-1.yml true 17.00 10.86 None memsafety-ext2/length_test03-2.yml true 18.03 11.63 None memsafety-ext2/optional_data_creation_test04-1.yml true 10.46 7.15 None memsafety-ext2/optional_data_creation_test04-2.yml true 11.71 7.63 None memsafety-ext2/split_list_test05-2.yml true 31.65 18.46 None memsafety/20051113-1.yml true 24.69 16.46 None pthread-C-DAC/pthread-demo-datarace-1.yml OUT OF MEMORY 89.16 67.61 None pthread-C-DAC/pthread-demo-datarace-3.yml TIMEOUT 90.33 73.97 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 45.82 29.07 None pthread/butterfly.yml OUT OF MEMORY 42.27 29.85 None pthread/lazy01.yml true 12.46 7.81 None pthread/stateful01-1.yml true 13.03 8.37 None pthread/stateful01-2.yml true 13.49 9.58 None pthread/sync01.yml unknown 13.54 9.71 None signedintegeroverflow-regression/AdditionIntMax.yml false(no-overflow) 8.95 6.12 None signedintegeroverflow-regression/AdditionIntMin.yml false(no-overflow) 9.01 6.35 None signedintegeroverflow-regression/ConversionToSignedInt.yml true 8.73 6.09 None signedintegeroverflow-regression/Division-1.yml false(no-overflow) 8.98 6.16 None signedintegeroverflow-regression/IntegerPromotion-1.yml true 9.13 6.23 None signedintegeroverflow-regression/Multiplication-1.yml true 8.32 5.95 None signedintegeroverflow-regression/Multiplication-2.yml false(no-overflow) 8.57 5.87 None signedintegeroverflow-regression/NoConversion.yml false(no-overflow) 8.80 6.05 None signedintegeroverflow-regression/NoNegativeIntegerConstant.yml true 8.52 5.75 None signedintegeroverflow-regression/PostfixDecrement.yml false(no-overflow) 8.59 6.02 None signedintegeroverflow-regression/PostfixIncrement.yml false(no-overflow) 8.94 6.41 None signedintegeroverflow-regression/PrefixDecrement.yml false(no-overflow) 8.83 6.31 None signedintegeroverflow-regression/PrefixIncrement.yml false(no-overflow) 9.29 6.17 None signedintegeroverflow-regression/UnaryMinus.yml false(no-overflow) 9.21 6.20 None signedintegeroverflow-regression/UsualArithmeticConversions.yml true 8.43 5.63 None termination-15/array04_alloca.yml false(no-overflow) 16.03 11.02 None termination-15/array05_alloca.yml false(no-overflow) 12.20 8.53 None termination-15/array06_alloca.yml false(no-overflow) 11.78 8.30 None termination-15/array07_alloca.yml false(no-overflow) 10.81 7.52 None termination-15/array08_alloca.yml false(no-overflow) 30.30 19.32 None termination-15/array09_alloca.yml false(no-overflow) 12.32 8.46 None termination-15/array10_alloca.yml false(no-overflow) 10.81 7.49 None termination-15/array12_alloca.yml true 14.97 10.90 None termination-15/array13_alloca.yml true 15.04 11.02 None termination-15/array14_alloca.yml true 15.42 11.01 None termination-15/array15_alloca.yml true 16.01 11.45 None termination-15/array16_alloca_fixed.yml true 15.60 11.29 None termination-15/array16_alloca_original.yml true 15.17 10.92 None termination-15/array18_alloca.yml false(no-overflow) 12.32 8.08 None termination-15/array19_alloca.yml false(no-overflow) 12.32 8.69 None termination-15/array20_alloca.yml false(no-overflow) 58.38 46.65 None termination-15/cstrcat_diffterm_alloca.yml true 10.71 6.91 None termination-15/cstrcat_malloc.yml true 10.91 7.33 None termination-15/cstrcat_mixed_alloca.yml true 10.47 6.90 None termination-15/cstrcat_reverse_alloca.yml true 10.81 6.93 None termination-15/cstrchr_diffterm_alloca.yml true 9.66 6.51 None termination-15/cstrchr_malloc.yml true 9.34 6.34 None termination-15/cstrchr_reverse_alloca.yml true 9.76 6.46 None termination-15/cstrcmp_diffterm_alloca.yml true 10.74 6.91 None termination-15/cstrcmp_malloc.yml true 10.29 6.82 None termination-15/cstrcmp_mixed_alloca.yml true 10.48 7.18 None termination-15/cstrcmp_reverse_alloca.yml true 10.14 6.64 None termination-15/cstrcpy_diffterm_alloca.yml true 10.31 6.62 None termination-15/cstrcpy_malloc.yml true 9.72 6.45 None termination-15/cstrcpy_mixed_alloca.yml true 10.40 6.80 None termination-15/cstrcpy_reverse_alloca.yml true 10.15 6.72 None termination-15/cstrcspn_diffterm_alloca.yml true 10.06 6.67 None termination-15/cstrcspn_malloc.yml true 10.44 6.93 None termination-15/cstrcspn_mixed_alloca.yml true 9.84 6.44 None termination-15/cstrcspn_reverse_alloca.yml true 10.35 6.83 None termination-15/cstrlen_diffterm_alloca.yml true 9.53 6.54 None termination-15/cstrlen_malloc.yml true 9.32 6.35 None termination-15/cstrlen_reverse_alloca.yml true 9.74 6.48 None termination-15/cstrpbrk_diffterm_alloca.yml true 9.87 6.65 None termination-15/cstrpbrk_malloc.yml true 10.98 7.12 None termination-15/cstrpbrk_mixed_alloca.yml true 10.22 6.78 None termination-15/cstrpbrk_reverse_alloca.yml true 9.92 6.64 None termination-15/cstrspn_diffterm_alloca.yml true 10.15 6.75 None termination-15/cstrspn_malloc.yml true 11.12 7.13 None termination-15/cstrspn_mixed_alloca.yml true 10.05 6.69 None termination-15/cstrspn_reverse_alloca.yml true 10.57 6.65 None termination-bwb/display-bit.yml false(no-overflow) 9.48 6.31 None termination-bwb/display-bit1.yml false(no-overflow) 9.18 6.16 None termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca.yml false(no-overflow) 10.26 6.79 None termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca.yml false(no-overflow) 10.36 6.71 None termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca-2.yml true 11.42 8.48 None termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca.yml false(no-overflow) 10.24 6.94 None termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca.yml true 10.42 6.85 None termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca.yml true 12.62 7.94 None termination-memory-alloca/Masse-alloca-2.yml false(no-overflow) 10.41 6.81 None termination-memory-alloca/Masse-alloca-3.yml true 10.57 7.04 None termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca-2.yml false(no-overflow) 10.71 7.22 None termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca-2.yml false(no-overflow) 11.30 7.31 None termination-memory-alloca/TelAviv-Amir-Minimum-alloca-2.yml true 11.36 7.44 None termination-memory-alloca/Toulouse-BranchesToLoop-alloca-2.yml false(no-overflow) 10.46 6.91 None termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca-2.yml false(no-overflow) 36.97 21.08 None termination-memory-alloca/Urban-2013WST-Fig1-alloca.yml true 10.09 6.63 None termination-memory-alloca/Urban-2013WST-Fig2-alloca-2.yml true 11.37 7.71 None termination-memory-alloca/Urban-alloca-2.yml true 12.04 7.76 None termination-memory-alloca/Velroyen-alloca.yml true 10.04 6.84 None termination-memory-alloca/a.01-alloca.yml true 12.55 8.43 None termination-memory-alloca/a.04-alloca.yml true 10.40 6.91 None termination-memory-alloca/a.05-alloca.yml true 12.57 8.17 None termination-memory-alloca/a.06-alloca.yml true 20.64 12.59 None termination-memory-alloca/a.07-alloca.yml true 11.56 7.53 None termination-memory-alloca/a.08-alloca.yml true 11.29 7.52 None termination-memory-alloca/a.09_assume-alloca.yml true 13.39 8.39 None termination-memory-alloca/a.10-alloca.yml true 12.87 8.38 None termination-memory-alloca/b.01-alloca.yml true 10.52 6.82 None termination-memory-alloca/b.02-alloca.yml true 11.91 7.56 None termination-memory-alloca/b.03-no-inv_assume-alloca.yml true 13.20 8.33 None termination-memory-alloca/b.03_assume-alloca.yml true 12.71 8.24 None termination-memory-alloca/b.04-alloca.yml true 8.58 5.98 None termination-memory-alloca/b.05-alloca.yml true 11.06 7.28 None termination-memory-alloca/b.06-alloca.yml TIMEOUT 90.52 72.45 None termination-memory-alloca/b.07-alloca.yml true 12.45 8.85 None termination-memory-alloca/b.09-no-inv_assume-alloca.yml TIMEOUT 90.57 67.29 None termination-memory-alloca/b.09_assume-alloca.yml TIMEOUT 90.35 74.27 None termination-memory-alloca/b.10-alloca.yml true 18.29 11.26 None termination-memory-alloca/b.11-alloca.yml true 26.17 15.17 None termination-memory-alloca/b.12-alloca.yml true 11.81 7.55 None termination-memory-alloca/b.13-alloca.yml true 13.12 8.60 None termination-memory-alloca/b.14-alloca.yml TIMEOUT 90.37 74.36 None termination-memory-alloca/b.15-alloca.yml true 15.66 9.93 None termination-memory-alloca/b.16-alloca.yml true 10.96 7.30 None termination-memory-alloca/b.17-alloca.yml true 12.13 7.78 None termination-memory-alloca/b.18-alloca.yml true 20.69 12.32 None termination-memory-alloca/bubblesort-alloca-1.yml true 16.59 12.03 None termination-memory-alloca/c.01-no-inv-alloca.yml true 13.03 8.49 None termination-memory-alloca/c.01_assume-alloca.yml true 12.41 8.24 None termination-memory-alloca/c.02-alloca.yml true 12.70 7.99 None termination-memory-alloca/c.03-alloca-1.yml true 11.40 7.43 None termination-memory-alloca/c.07-alloca.yml true 13.17 8.41 None termination-memory-alloca/c.08-alloca.yml true 13.32 8.65 None termination-memory-alloca/cstrcat-alloca-1.yml true 10.84 7.00 None termination-memory-alloca/cstrchr-alloca-1.yml true 9.41 6.48 None termination-memory-alloca/cstrcmp-alloca-1.yml true 10.38 6.88 None termination-memory-alloca/cstrcpy-alloca-2.yml true 9.65 6.59 None termination-memory-alloca/cstrcspn-alloca-2.yml true 9.92 6.66 None termination-memory-alloca/cstrlen-alloca-1.yml true 10.34 6.52 None termination-memory-alloca/cstrpbrk-alloca-1.yml true 9.53 6.57 None termination-memory-alloca/cstrspn-alloca-2.yml true 10.61 6.95 None termination-memory-alloca/ex1-alloca.yml false(no-overflow) 12.71 8.54 None termination-memory-alloca/ex2-alloca.yml false(no-overflow) 10.84 7.55 None termination-memory-alloca/ex3a-alloca.yml true 49.46 41.37 None termination-memory-alloca/ex3b-alloca.yml false(no-overflow) 10.35 7.20 None termination-memory-alloca/flag-alloca.yml false(no-overflow) 10.06 6.74 None termination-memory-alloca/gcd1-alloca.yml false(no-overflow) 10.28 6.67 None termination-memory-alloca/genady-alloca.yml true 18.11 11.96 None termination-memory-alloca/insertionsort-alloca-2.yml true 13.28 8.56 None termination-memory-alloca/java_BubbleSort-alloca-2.yml true 18.15 12.92 None termination-memory-alloca/min_rf-alloca.yml false(no-overflow) 11.12 7.23 None termination-memory-alloca/mult_array-alloca-2.yml false(no-overflow) 11.74 9.05 None termination-memory-alloca/openbsd_cstpcpy-alloca-2.yml true 9.36 6.32 None termination-memory-alloca/openbsd_cstpncpy-alloca-2.yml true 9.91 6.66 None termination-memory-alloca/openbsd_cstrcat-alloca-1.yml true 11.23 7.18 None termination-memory-alloca/openbsd_cstrcmp-alloca-2.yml true 13.82 9.70 None termination-memory-alloca/openbsd_cstrcpy-alloca-1.yml true 10.08 6.52 None termination-memory-alloca/openbsd_cstrcspn-alloca-1.yml true 10.01 7.66 None termination-memory-alloca/openbsd_cstrlen-alloca-2.yml true 9.50 6.57 None termination-memory-alloca/openbsd_cstrncat-alloca-1.yml true 10.90 7.35 None termination-memory-alloca/openbsd_cstrncmp-alloca-1.yml true 9.97 6.55 None termination-memory-alloca/openbsd_cstrncpy-alloca-1.yml true 10.00 6.58 None termination-memory-alloca/openbsd_cstrnlen-alloca-2.yml unknown 14.32 9.96 None termination-memory-alloca/openbsd_cstrpbrk-alloca-1.yml true 9.80 6.58 None termination-memory-alloca/openbsd_cstrspn-alloca-1.yml true 9.93 6.57 None termination-memory-alloca/openbsd_cstrstr-alloca-1.yml true 10.47 6.73 None termination-memory-alloca/selectionsort-alloca-2.yml true 13.25 9.28 None termination-memory-alloca/subseq-alloca-1.yml true 9.93 6.72 None termination-memory-alloca/substring-alloca-1.yml true 9.74 6.49 None termination-memory-linkedlists/cll_by_lseg-alloca-1.yml TIMEOUT 91.09 78.68 None termination-memory-linkedlists/cll_search-alloca-1.yml true 11.39 7.64 None termination-memory-linkedlists/cll_search-alloca-2.yml true 11.35 7.49 None termination-memory-linkedlists/cll_traverse-alloca.yml true 10.93 7.36 None termination-memory-linkedlists/ll_search-alloca.yml true 11.15 7.91 None termination-memory-linkedlists/ll_search_not_found-alloca.yml true 11.55 8.06 None termination-memory-linkedlists/ll_traverse-alloca.yml true 11.13 7.93 None termination-memory-linkedlists/nondet_ll_search-alloca-1.yml true 10.87 7.39 None termination-memory-linkedlists/nondet_ll_search-alloca-2.yml true 11.03 7.47 None termination-memory-linkedlists/nondet_ll_traverse-alloca.yml true 11.59 7.80 None termination-recursive-malloc/chunk1-2.yml true 12.75 8.42 None termination-recursive-malloc/chunk3.yml false(no-overflow) 26.59 17.41 None termination-recursive-malloc/insertionSort_recursive.yml true 17.94 12.06 None termination-recursive-malloc/mutual_simple.yml true 11.49 7.42 None termination-recursive-malloc/mutual_simple2.yml true 11.26 7.41 None termination-recursive-malloc/rec_malloc_ex1.yml false(no-overflow) 11.90 7.69 None termination-recursive-malloc/rec_malloc_ex10.yml false(no-overflow) 9.09 6.05 None termination-recursive-malloc/rec_malloc_ex11.yml true 15.08 9.40 None termination-recursive-malloc/rec_malloc_ex11C.yml true 14.62 10.13 None termination-recursive-malloc/rec_malloc_ex11D.yml true 14.67 9.25 None termination-recursive-malloc/rec_malloc_ex2.yml true 12.56 7.82 None termination-recursive-malloc/rec_malloc_ex3.yml true 11.39 7.23 None termination-recursive-malloc/rec_malloc_ex4.yml false(no-overflow) 9.16 6.36 None termination-recursive-malloc/rec_malloc_ex5.yml false(no-overflow) 10.40 7.63 None termination-recursive-malloc/rec_malloc_ex5B.yml false(no-overflow) 9.99 6.64 None termination-recursive-malloc/rec_malloc_ex6.yml false(no-overflow) 9.59 6.39 None termination-recursive-malloc/rec_malloc_ex7.yml false(no-overflow) 9.37 6.47 None termination-recursive-malloc/rec_malloc_ex7B.yml false(no-overflow) 8.90 6.29 None termination-recursive-malloc/rec_malloc_ex8.yml false(no-overflow) 9.50 6.26 None termination-recursive-malloc/rec_strcopy_malloc.yml true 9.81 6.54 None termination-recursive-malloc/selectionSort_recursive.yml true 19.75 13.74 None unsignedintegeroverflow-sas23/bilinear_interpolation.yml true 9.28 6.46 None unsignedintegeroverflow-sas23/cancel_var_through_overflow.yml true 9.39 6.37 None unsignedintegeroverflow-sas23/distance_through_overflow.yml true 8.78 6.28 None unsignedintegeroverflow-sas23/linear_interpolation.yml true 9.66 6.86 None unsignedintegeroverflow-sas23/linear_interpolation_2.yml true 10.18 7.14 None ---------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 7841.63 453.22 - Automizer_no-data-race.nonPreprocessed Run set 3 of 4 with options '' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------ goblint-regression/00-sanity_09-include.yml false(no-data-race) 10.55 6.98 None goblint-regression/02-base_24-malloc_races.yml false(no-data-race) 19.71 11.69 None goblint-regression/02-base_25-malloc_race_cp.yml false(no-data-race) 25.27 14.45 None goblint-regression/02-base_26-malloc_struct.yml false(no-data-race) 25.71 14.64 None goblint-regression/03-practical_07-nonterm.yml false(no-data-race) 10.53 7.03 None goblint-regression/03-practical_08-nonterm1.yml false(no-data-race) 11.32 7.32 None goblint-regression/03-practical_15-exit_problems.yml false(no-data-race) 11.24 7.32 None goblint-regression/04-mutex_01-simple_rc.yml false(no-data-race) 10.75 7.37 None goblint-regression/04-mutex_02-simple_nr.yml true 10.88 7.03 None goblint-regression/04-mutex_03-munge_rc.yml false(no-data-race) 10.76 7.28 None goblint-regression/04-mutex_04-munge_nr.yml true 17.16 10.26 None goblint-regression/04-mutex_05-lockfuns.yml true 10.97 7.14 None goblint-regression/04-mutex_06-ps_rc.yml false(no-data-race) 10.81 7.38 None goblint-regression/04-mutex_07-ps_nr.yml true 10.90 7.13 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(no-data-race) 15.19 9.42 None goblint-regression/04-mutex_10-ptrmunge_nr.yml TIMEOUT 91.43 69.19 None goblint-regression/04-mutex_11-ptr_rc.yml false(no-data-race) 14.39 9.12 None goblint-regression/04-mutex_12-ptr_nr.yml true 14.81 9.05 None goblint-regression/04-mutex_14-funarg_rc.yml false(no-data-race) 10.64 6.99 None goblint-regression/04-mutex_15-funarg_nr.yml true 10.58 7.18 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(no-data-race) 10.81 7.12 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 11.99 7.65 None goblint-regression/04-mutex_18-glob_guards.yml true 9.98 6.66 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(no-data-race) 11.16 7.19 None goblint-regression/04-mutex_20-stdfun_rc.yml false(no-data-race) 9.27 6.54 None goblint-regression/04-mutex_21-sound_base.yml false(no-data-race) 9.93 6.60 None goblint-regression/04-mutex_22-deref_read.yml true 12.48 7.96 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 14.13 10.11 None goblint-regression/04-mutex_24-sound_lock.yml false(no-data-race) 10.98 7.12 None goblint-regression/04-mutex_25-single_acc.yml false(no-data-race) 10.54 7.45 None goblint-regression/04-mutex_27-base_rc.yml false(no-data-race) 11.46 7.58 None goblint-regression/04-mutex_28-base_nr.yml true 11.77 7.85 None goblint-regression/04-mutex_37-indirect_rc.yml false(no-data-race) 14.82 9.12 None goblint-regression/04-mutex_38-indexing_malloc.yml false(no-data-race) 12.02 8.02 None goblint-regression/04-mutex_41-pt_rwlock.yml unknown 14.10 9.99 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 13.08 8.11 None goblint-regression/04-mutex_43-thread_create_nr.yml true 10.34 6.87 None goblint-regression/04-mutex_44-malloc_sound.yml false(no-data-race) 18.88 13.12 None goblint-regression/04-mutex_45-escape_rc.yml false(no-data-race) 13.93 8.84 None goblint-regression/04-mutex_46-escape_nr.yml true 14.15 8.92 None goblint-regression/04-mutex_47-fun_write.yml false(no-data-race) 10.20 6.82 None goblint-regression/04-mutex_50-funptr_rc.yml false(no-data-race) 10.22 6.90 None goblint-regression/04-mutex_51-mutex_ptr.yml true 14.47 8.96 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml unknown 13.65 10.92 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml unknown 14.19 10.40 None goblint-regression/05-lval_ls_01-idx_rc.yml false(no-data-race) 15.03 10.52 None goblint-regression/05-lval_ls_02-idx_nr.yml true 11.57 8.44 None goblint-regression/05-lval_ls_03-fld_rc.yml false(no-data-race) 10.63 6.99 None goblint-regression/05-lval_ls_04-fld_nr.yml true 10.62 6.95 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml false(no-data-race) 13.54 8.72 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml false(no-data-race) 13.77 8.51 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml false(no-data-race) 16.33 9.72 None goblint-regression/05-lval_ls_09-idxsense_rc.yml false(no-data-race) 19.01 11.68 None goblint-regression/05-lval_ls_11-fldsense_rc.yml false(no-data-race) 14.42 8.77 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 16.86 10.27 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml false(no-data-race) 18.42 11.54 None goblint-regression/05-lval_ls_14-idxunknown_access.yml false(no-data-race) 15.47 9.55 None goblint-regression/05-lval_ls_15-fldunknown_access.yml false(no-data-race) 14.62 8.77 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 13.54 10.89 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 91.47 69.12 None goblint-regression/06-symbeq_03-funloop_simple.yml TIMEOUT 90.70 66.34 None goblint-regression/06-symbeq_04-funloop_hard1.yml TIMEOUT 91.93 69.00 None goblint-regression/06-symbeq_05-funloop_hard2.yml TIMEOUT 90.76 66.34 None goblint-regression/06-symbeq_06-tricky_address1.yml TIMEOUT 91.73 55.47 None goblint-regression/06-symbeq_07-tricky_address2.yml TIMEOUT 90.62 61.74 None goblint-regression/06-symbeq_08-tricky_address3.yml TIMEOUT 90.72 59.63 None goblint-regression/06-symbeq_09-tricky_address4.yml false(no-data-race) 21.57 13.15 None goblint-regression/06-symbeq_10-equ_rc.yml false(no-data-race) 16.62 10.06 None goblint-regression/06-symbeq_11-equ_nr.yml true 21.56 12.34 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 43.88 26.78 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 22.54 13.49 None goblint-regression/09-regions_01-list_rc.yml TIMEOUT 90.45 72.53 None goblint-regression/09-regions_02-list_nr.yml TIMEOUT 91.76 68.67 None goblint-regression/09-regions_03-list2_rc.yml TIMEOUT 90.89 61.29 None goblint-regression/09-regions_04-list2_nr.yml TIMEOUT 90.32 63.32 None goblint-regression/09-regions_09-arraylist.yml true 67.92 46.56 None goblint-regression/09-regions_10-arraylist_rc.yml TIMEOUT 91.00 63.68 None goblint-regression/09-regions_11-arraylist_nr.yml TIMEOUT 91.25 62.79 None goblint-regression/09-regions_12-arraycollapse_rc.yml TIMEOUT 91.30 65.24 None goblint-regression/09-regions_13-arraycollapse_nr.yml TIMEOUT 90.47 65.28 None goblint-regression/09-regions_18-nested_rc.yml TIMEOUT 91.21 65.24 None goblint-regression/09-regions_19-nested_nr.yml TIMEOUT 90.77 63.06 None goblint-regression/09-regions_20-arrayloop2_rc.yml unknown 14.35 10.18 None goblint-regression/09-regions_21-arrayloop2_nr.yml unknown 14.00 9.92 None goblint-regression/09-regions_22-nocollapse.yml unknown 14.05 9.97 None goblint-regression/09-regions_23-evilcollapse_rc.yml unknown 14.71 10.23 None goblint-regression/09-regions_24-evilcollapse_nr.yml unknown 14.36 10.08 None goblint-regression/09-regions_26-alloc_region_rc.yml TIMEOUT 91.55 68.61 None goblint-regression/09-regions_28-list2alloc.yml false(no-data-race) 18.39 11.01 None goblint-regression/10-synch_01-thread_unique.yml true 9.52 6.09 None goblint-regression/10-synch_02-thread_nonunique.yml false(no-data-race) 13.23 8.18 None goblint-regression/10-synch_03-two_unique.yml true 9.26 6.32 None goblint-regression/13-privatized_01-priv_nr_true.yml true 11.36 7.57 None goblint-regression/13-privatized_03-priv_inv.yml true 10.33 8.06 None goblint-regression/13-privatized_18-first-reads_true.yml true 10.36 7.07 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml true 10.27 6.63 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml true 9.97 6.64 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml true 9.67 6.58 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml true 10.00 6.65 None goblint-regression/13-privatized_19-publish-precision_true.yml true 10.29 7.75 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml true 10.58 7.19 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml true 11.02 8.25 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml true 10.98 7.09 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml true 10.89 7.09 None goblint-regression/13-privatized_20-publish-regression_true.yml true 10.91 7.20 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 14.98 9.26 None goblint-regression/13-privatized_25-struct_nr_true.yml true 11.83 7.76 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 27.96 17.96 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 11.54 7.39 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 11.57 7.39 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 11.41 7.56 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 12.63 7.82 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.43 7.38 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 12.08 7.80 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 11.90 7.65 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 11.39 7.37 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 10.68 7.02 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 11.10 7.14 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 11.94 7.51 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml true 10.53 7.02 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml true 10.90 7.09 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 11.79 7.47 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 12.08 7.79 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 10.36 6.90 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 9.78 6.50 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 9.63 6.71 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 10.26 6.72 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 9.23 6.47 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 9.89 6.72 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 9.62 6.37 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 67.90 46.76 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 13.12 8.05 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 10.51 6.64 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 9.71 6.42 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml true 11.24 7.17 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml true 10.69 6.94 None goblint-regression/36-apron_21-traces-cluster-based_true.yml OUT OF MEMORY 61.84 44.97 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 16.54 9.82 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml true 8.52 5.86 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml true 8.86 6.01 None pthread-C-DAC/pthread-demo-datarace-1.yml true 10.63 6.99 None pthread-C-DAC/pthread-demo-datarace-2.yml false(no-data-race) 10.61 7.12 None pthread-C-DAC/pthread-demo-datarace-3.yml true 11.00 7.65 None pthread-atomic/gcd-2.yml false(no-data-race) 11.88 7.60 None pthread-complex/elimination_backoff_stack-race.yml OUT OF MEMORY 69.43 44.00 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 70.33 43.88 None pthread-race-challenges/atomic-gcc.yml unknown 21.39 14.46 None pthread-race-challenges/per-thread-array-index-race-2.yml OUT OF MEMORY 75.54 53.79 None pthread-race-challenges/per-thread-array-index-race.yml OUT OF MEMORY 69.41 48.15 None pthread-race-challenges/per-thread-array-index.yml OUT OF MEMORY 71.68 50.03 None pthread-race-challenges/per-thread-array-init-race.yml false(no-data-race) 14.18 8.65 None pthread-race-challenges/per-thread-array-init.yml TIMEOUT 90.36 72.10 None pthread-race-challenges/per-thread-array-join-counter-2.yml unknown 13.52 9.77 None pthread-race-challenges/per-thread-array-join-counter-race-2.yml unknown 14.18 10.11 None pthread-race-challenges/per-thread-array-join-counter-race-3.yml unknown 14.42 9.94 None pthread-race-challenges/per-thread-array-join-counter-race-4.yml unknown 14.19 9.81 None pthread-race-challenges/per-thread-array-join-counter-race.yml unknown 14.39 9.92 None pthread-race-challenges/per-thread-array-join-counter.yml unknown 13.91 9.69 None pthread-race-challenges/per-thread-array-ptr-race.yml TIMEOUT 90.81 71.05 None pthread-race-challenges/per-thread-array-ptr.yml TIMEOUT 90.57 72.69 None pthread-race-challenges/per-thread-struct-in-array-race.yml TIMEOUT 90.78 68.88 None pthread-race-challenges/per-thread-struct-in-array.yml TIMEOUT 90.28 75.40 None pthread-race-challenges/per-thread-struct-race.yml TIMEOUT 91.24 70.71 None pthread-race-challenges/per-thread-struct-tid-join.yml OUT OF MEMORY 75.77 53.64 None pthread-race-challenges/per-thread-struct-tid.yml TIMEOUT 91.63 73.53 None pthread-race-challenges/per-thread-struct.yml TIMEOUT 91.39 69.69 None pthread-race-challenges/thread-join-array-const-race-2.yml TIMEOUT 91.44 68.72 None pthread-race-challenges/thread-join-array-const-race-3.yml OUT OF MEMORY 63.55 45.70 None pthread-race-challenges/thread-join-array-const-race.yml false(no-data-race) 55.29 37.11 None pthread-race-challenges/thread-join-array-const.yml true 55.21 37.72 None pthread-race-challenges/thread-join-array-dynamic-race-2.yml false(no-data-race) 60.03 42.21 None pthread-race-challenges/thread-join-array-dynamic-race-3.yml OUT OF MEMORY 71.76 51.67 None pthread-race-challenges/thread-join-array-dynamic-race.yml false(no-data-race) 15.27 9.32 None pthread-race-challenges/thread-join-array-dynamic.yml OUT OF MEMORY 72.73 52.21 None pthread-race-challenges/thread-join-binomial-race-2.yml OUT OF MEMORY 72.60 52.30 None pthread-race-challenges/thread-join-binomial-race-3.yml OUT OF MEMORY 66.13 47.03 None pthread-race-challenges/thread-join-binomial-race.yml OUT OF MEMORY 75.37 54.87 None pthread-race-challenges/thread-join-binomial.yml OUT OF MEMORY 66.48 47.42 None pthread-race-challenges/thread-join-counter-inner-2.yml unknown 13.66 9.67 None pthread-race-challenges/thread-join-counter-inner-3.yml unknown 13.66 9.62 None pthread-race-challenges/thread-join-counter-inner-race-2.yml unknown 13.48 9.70 None pthread-race-challenges/thread-join-counter-inner-race-3.yml unknown 13.98 9.72 None pthread-race-challenges/thread-join-counter-inner-race-4.yml unknown 13.68 10.00 None pthread-race-challenges/thread-join-counter-inner-race-5.yml unknown 14.22 9.60 None pthread-race-challenges/thread-join-counter-inner-race.yml unknown 14.05 9.64 None pthread-race-challenges/thread-join-counter-inner.yml unknown 14.11 9.81 None pthread-race-challenges/thread-join-counter-outer-race-2.yml unknown 13.84 9.77 None pthread-race-challenges/thread-join-counter-outer-race-3.yml unknown 13.51 9.56 None pthread-race-challenges/thread-join-counter-outer-race-4.yml unknown 13.27 10.55 None pthread-race-challenges/thread-join-counter-outer-race.yml false(no-data-race) 16.72 10.15 None pthread-race-challenges/thread-join-counter-outer.yml unknown 14.05 9.95 None pthread-race-challenges/thread-local-pthread-value-cond.yml unknown 13.47 9.91 None pthread-race-challenges/thread-local-pthread-value.yml unknown 14.11 9.72 None pthread-race-challenges/thread-local-value-cond.yml unknown 14.20 9.74 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 13.60 9.75 None pthread-race-challenges/thread-local-value-race.yml unknown 14.00 9.77 None pthread-race-challenges/thread-local-value.yml unknown 13.70 9.56 None pthread-race-challenges/value-barrier-race.yml unknown 14.32 9.98 None pthread-race-challenges/value-barrier.yml unknown 13.65 9.55 None pthread-theta/wsc.yml true 8.57 6.04 None pthread/bigshot_p.yml false(no-data-race) 10.33 6.61 None pthread/bigshot_s.yml true 10.95 7.14 None pthread/bigshot_s2.yml true 10.24 7.86 None pthread/butterfly.yml true 8.62 6.12 None pthread/lazy01.yml true 11.88 7.75 None pthread/sigma.yml false(no-data-race) 15.27 9.56 None pthread/singleton-b.yml false(no-data-race) 12.24 7.94 None pthread/singleton.yml true 11.22 7.17 None pthread/singleton_with-uninit-problems-b.yml false(no-data-race) 13.12 8.24 None pthread/singleton_with-uninit-problems.yml true 11.15 7.14 None pthread/stateful01-1.yml true 11.75 7.73 None pthread/stateful01-2.yml true 11.95 7.73 None pthread/sync01.yml unknown 12.86 9.49 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 3 done 6019.69 314.01 - Automizer_memsafety.memsafety Run set 4 of 4 with options '' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/relax-1.yml false(valid-deref) 10.48 6.86 None array-examples/relax-2-2.yml unknown 61.57 47.14 None array-examples/relax-2.yml false(valid-deref) 10.97 7.01 None array-memsafety-realloc/array-realloc-1.yml false(valid-free) 13.46 8.57 None array-memsafety-realloc/array-realloc-2.yml true 43.96 33.23 None array-memsafety-realloc/array-realloc-3.yml unknown 20.07 14.51 None array-memsafety/add_last_unsafe.yml false(valid-deref) 10.31 6.80 None array-memsafety/array01-alloca-2.yml true 17.34 11.37 None array-memsafety/array02-alloca-2.yml true 17.72 11.61 None array-memsafety/bubblesort-alloca-2.yml true 15.09 9.93 None array-memsafety/count_down-alloca-1.yml true 17.98 11.40 None array-memsafety/count_down_unsafe.yml false(valid-deref) 10.12 6.89 None array-memsafety/cstrcat-alloca-2.yml TIMEOUT 90.91 68.32 None array-memsafety/cstrchr-alloca-2.yml TIMEOUT 90.49 70.72 None array-memsafety/cstrchr_unsafe.yml false(valid-deref) 14.54 9.19 None array-memsafety/cstrcmp-alloca-2.yml TIMEOUT 91.20 68.92 None array-memsafety/cstrcpy-alloca-1.yml true 49.42 32.85 None array-memsafety/cstrcspn-alloca-1.yml TIMEOUT 90.81 69.55 None array-memsafety/cstrlen-alloca-2.yml true 21.65 13.57 None array-memsafety/cstrlen_unsafe.yml false(valid-deref) 15.43 9.98 None array-memsafety/cstrncat-alloca-2.yml TIMEOUT 91.45 67.69 None array-memsafety/cstrncpy-alloca-2.yml true 30.49 18.64 None array-memsafety/cstrpbrk-alloca-2.yml TIMEOUT 90.82 64.95 None array-memsafety/cstrpbrk_unsafe.yml false(valid-deref) 16.78 10.61 None array-memsafety/cstrspn-alloca-1.yml TIMEOUT 90.72 63.80 None array-memsafety/diff-alloca-2.yml true 42.05 26.96 None array-memsafety/insertionsort-alloca-1.yml true 19.35 12.82 None array-memsafety/java_BubbleSort-alloca-1.yml true 20.18 13.18 None array-memsafety/knapsack_alloca_unsafe.yml false(valid-deref) 11.02 7.27 None array-memsafety/lis-alloca-1.yml true 44.80 28.70 None array-memsafety/lis_unsafe.yml false(valid-deref) 10.87 7.02 None array-memsafety/mult_array-alloca-1.yml TIMEOUT 90.97 81.72 None array-memsafety/mult_array_unsafe.yml false(valid-deref) 10.67 6.93 None array-memsafety/openbsd_cbzero-alloca-2.yml true 18.78 11.82 None array-memsafety/openbsd_cmemchr-alloca-2.yml true 71.08 52.84 None array-memsafety/openbsd_cmemrchr-alloca-2.yml true 60.20 42.27 None array-memsafety/openbsd_cmemset-alloca-1.yml true 18.05 10.91 None array-memsafety/openbsd_cstpcpy-alloca-1.yml true 46.36 31.33 None array-memsafety/openbsd_cstpncpy-alloca-1.yml TIMEOUT 91.11 67.49 None array-memsafety/openbsd_cstrcat-alloca-2.yml TIMEOUT 90.16 66.90 None array-memsafety/openbsd_cstrcmp-alloca-1.yml true 89.50 64.70 None array-memsafety/openbsd_cstrcpy-alloca-2.yml TIMEOUT 91.06 68.46 None array-memsafety/openbsd_cstrcspn-alloca-2.yml TIMEOUT 91.13 68.19 None array-memsafety/openbsd_cstrlcpy-alloca-1.yml TIMEOUT 90.17 66.20 None array-memsafety/openbsd_cstrlen-alloca-1.yml true 23.36 14.46 None array-memsafety/openbsd_cstrncat-alloca-2.yml TIMEOUT 91.04 68.01 None array-memsafety/openbsd_cstrncmp-alloca-2.yml TIMEOUT 90.16 65.72 None array-memsafety/openbsd_cstrncpy-alloca-2.yml TIMEOUT 91.22 69.57 None array-memsafety/openbsd_cstrnlen-alloca-1.yml unknown 14.24 9.76 None array-memsafety/openbsd_cstrpbrk-alloca-2.yml true 74.37 58.67 None array-memsafety/openbsd_cstrspn-alloca-2.yml TIMEOUT 90.18 68.58 None array-memsafety/openbsd_cstrstr-alloca-2.yml TIMEOUT 90.72 69.04 None array-memsafety/rec_strlen-alloca-1.yml true 30.27 20.73 None array-memsafety/reverse_array_alloca_unsafe.yml false(valid-deref) 11.88 8.78 None array-memsafety/reverse_array_unsafe.yml false(valid-deref) 10.22 6.58 None array-memsafety/selectionsort-alloca-1.yml true 25.89 17.25 None array-memsafety/strreplace-alloca-2.yml TIMEOUT 90.53 67.09 None array-memsafety/subseq-alloca-2.yml true 71.62 50.51 None array-memsafety/substring-alloca-2.yml TIMEOUT 90.98 66.80 None goblint-regression/04-mutex_02-simple_nr.yml true 9.73 6.62 None goblint-regression/04-mutex_04-munge_nr.yml true 9.37 7.40 None goblint-regression/04-mutex_05-lockfuns.yml true 9.11 6.34 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 11.00 7.29 None goblint-regression/04-mutex_12-ptr_nr.yml true 10.43 6.90 None goblint-regression/04-mutex_15-funarg_nr.yml true 9.82 6.25 None goblint-regression/04-mutex_18-glob_guards.yml true 9.33 6.35 None goblint-regression/04-mutex_22-deref_read.yml true 10.20 7.00 None goblint-regression/04-mutex_28-base_nr.yml true 9.60 6.59 None goblint-regression/04-mutex_41-pt_rwlock.yml unknown 13.49 9.63 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 10.70 6.98 None goblint-regression/04-mutex_46-escape_nr.yml true 10.45 7.05 None goblint-regression/04-mutex_51-mutex_ptr.yml true 10.66 7.10 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml unknown 13.65 9.65 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 10.28 6.97 None goblint-regression/06-symbeq_02-funloop_norace.yml true 27.15 17.32 None goblint-regression/06-symbeq_05-funloop_hard2.yml true 30.25 18.46 None goblint-regression/06-symbeq_06-tricky_address1.yml true 13.63 8.65 None goblint-regression/06-symbeq_07-tricky_address2.yml true 12.69 8.31 None goblint-regression/06-symbeq_08-tricky_address3.yml true 12.89 8.58 None goblint-regression/06-symbeq_11-equ_nr.yml true 10.48 7.07 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 11.60 7.40 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 12.13 8.21 None goblint-regression/09-regions_02-list_nr.yml unknown 34.32 23.52 None goblint-regression/09-regions_04-list2_nr.yml TIMEOUT 90.80 67.26 None goblint-regression/09-regions_09-arraylist-deref.yml false(valid-deref) 27.21 15.58 None goblint-regression/09-regions_09-arraylist.yml TIMEOUT 90.22 74.45 None goblint-regression/09-regions_11-arraylist_nr-deref.yml false(valid-deref) 33.70 20.46 None goblint-regression/09-regions_11-arraylist_nr.yml TIMEOUT 90.15 75.52 None goblint-regression/09-regions_12-arraycollapse_rc-deref.yml TIMEOUT 90.65 69.41 None goblint-regression/09-regions_12-arraycollapse_rc.yml TIMEOUT 90.17 75.41 None goblint-regression/09-regions_13-arraycollapse_nr-deref.yml TIMEOUT 91.30 69.31 None goblint-regression/09-regions_13-arraycollapse_nr.yml TIMEOUT 90.33 72.98 None goblint-regression/09-regions_19-nested_nr-deref.yml false(valid-deref) 33.94 20.46 None goblint-regression/09-regions_19-nested_nr.yml TIMEOUT 90.37 61.98 None goblint-regression/09-regions_21-arrayloop2_nr.yml unknown 14.35 9.88 None goblint-regression/09-regions_22-nocollapse.yml unknown 14.21 10.10 None goblint-regression/09-regions_24-evilcollapse_nr.yml unknown 13.98 9.78 None goblint-regression/10-synch_01-thread_unique.yml true 9.42 6.40 None goblint-regression/10-synch_03-two_unique.yml true 9.27 6.30 None goblint-regression/13-privatized_01-priv_nr_true.yml true 9.46 6.33 None goblint-regression/13-privatized_03-priv_inv.yml true 10.64 6.80 None goblint-regression/13-privatized_18-first-reads_true.yml true 9.96 6.51 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml true 10.20 6.61 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml true 9.85 6.55 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml true 9.60 6.43 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml true 9.64 6.50 None goblint-regression/13-privatized_19-publish-precision_true.yml true 9.95 6.65 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml true 10.51 6.96 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml true 10.20 6.63 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml true 9.98 6.51 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml true 9.57 6.56 None goblint-regression/13-privatized_20-publish-regression_true.yml true 9.77 6.51 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 10.67 7.04 None goblint-regression/13-privatized_25-struct_nr_true.yml true 9.60 6.68 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 11.40 7.38 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 10.79 6.83 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 10.03 6.80 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 10.52 6.64 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 10.40 6.78 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 13.14 8.27 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 13.46 8.42 None heap-manipulation/dancing.yml TIMEOUT 90.20 74.97 None list-ext-properties/960521-1_1-1.yml false(valid-deref) 13.16 8.48 None list-ext-properties/960521-1_1-2.yml true 38.28 24.50 None list-ext-properties/960521-1_1-3.yml false(valid-free) 18.97 12.43 None list-ext-properties/list-ext.yml TIMEOUT 90.74 71.35 None list-ext-properties/list-ext_1.yml TIMEOUT 90.82 71.54 None list-ext-properties/list-ext_2.yml TIMEOUT 90.77 71.09 None list-ext-properties/list-ext_flag.yml TIMEOUT 90.57 74.05 None list-ext-properties/list-ext_flag_1.yml TIMEOUT 90.53 75.62 None list-ext-properties/simple-ext_1.yml TIMEOUT 90.46 75.99 None list-ext-properties/test-0019_1-1.yml unknown 33.59 23.75 None list-ext-properties/test-0019_1-2.yml unknown 36.71 26.22 None list-ext-properties/test-0158_1-1.yml true 11.45 7.42 None list-ext-properties/test-0158_1-2.yml unknown 18.55 13.39 None list-ext-properties/test-0158_1-3.yml false(valid-free) 11.56 7.53 None list-ext-properties/test-0214_1.yml TIMEOUT 90.16 63.43 None list-ext-properties/test-0217_1.yml TIMEOUT 90.70 63.19 None list-ext-properties/test-0232_1-1.yml unknown 42.44 29.31 None list-ext-properties/test-0232_1-2.yml TIMEOUT 90.74 71.03 None list-ext-properties/test-0504_1.yml TIMEOUT 90.40 73.06 None list-ext-properties/test-0513_1.yml TIMEOUT 90.20 63.71 None list-ext3-properties/dll_circular_traversal-1.yml TIMEOUT 90.55 70.66 None list-ext3-properties/dll_circular_traversal-2.yml TIMEOUT 90.71 72.12 None list-ext3-properties/dll_nondet_free_order-1.yml TIMEOUT 90.74 69.97 None list-ext3-properties/dll_nondet_free_order-2.yml unknown 80.71 60.36 None list-ext3-properties/dll_nullified-2.yml TIMEOUT 90.43 74.70 None list-ext3-properties/sll_circular_traversal-1.yml TIMEOUT 90.53 74.42 None list-ext3-properties/sll_circular_traversal-2.yml TIMEOUT 90.57 73.79 None list-ext3-properties/sll_length_check-2.yml TIMEOUT 90.96 72.78 None list-ext3-properties/sll_nondet_insert-2.yml TIMEOUT 90.50 72.08 None list-ext3-properties/sll_of_sll_nondet_append-1.yml TIMEOUT 90.77 71.54 None list-ext3-properties/sll_shallow_copy-1.yml true 17.19 11.12 None list-ext3-properties/sll_shallow_copy-2.yml unknown 32.71 24.89 None list-properties/alternating_list-1.yml TIMEOUT 90.53 75.16 None list-properties/list-1.yml unknown 25.31 18.91 None list-properties/list_flag-2.yml unknown 20.17 15.13 None list-properties/simple-2.yml unknown 24.09 16.96 None list-properties/simple_built_from_end.yml unknown 22.32 16.67 None list-properties/splice-2.yml unknown 20.00 13.78 None list-simple/dll2c_append_equal.yml TIMEOUT 90.40 70.61 None list-simple/dll2c_append_unequal.yml TIMEOUT 91.47 68.50 None list-simple/dll2c_insert_equal.yml TIMEOUT 90.65 72.67 None list-simple/dll2c_insert_unequal.yml TIMEOUT 90.46 69.10 None list-simple/dll2c_prepend_equal.yml TIMEOUT 90.28 70.79 None list-simple/dll2c_prepend_unequal.yml TIMEOUT 91.09 67.12 None list-simple/dll2c_remove_all.yml TIMEOUT 90.16 66.73 None list-simple/dll2c_remove_all_reverse.yml TIMEOUT 90.95 68.36 None list-simple/dll2c_update_all.yml TIMEOUT 90.80 70.44 None list-simple/dll2c_update_all_reverse.yml TIMEOUT 90.63 72.34 None list-simple/dll2n_append_equal.yml TIMEOUT 90.65 70.56 None list-simple/dll2n_append_unequal.yml TIMEOUT 90.67 70.24 None list-simple/dll2n_insert_equal.yml TIMEOUT 90.89 74.42 None list-simple/dll2n_insert_unequal.yml TIMEOUT 91.11 70.90 None list-simple/dll2n_prepend_equal.yml TIMEOUT 90.27 74.92 None list-simple/dll2n_prepend_unequal.yml TIMEOUT 90.36 74.14 None list-simple/dll2n_remove_all.yml TIMEOUT 90.62 74.22 None list-simple/dll2n_remove_all_reverse.yml TIMEOUT 90.61 72.07 None list-simple/dll2n_update_all.yml TIMEOUT 91.18 65.90 None list-simple/dll2n_update_all_reverse.yml TIMEOUT 90.41 72.33 None list-simple/sll2c_append_equal.yml TIMEOUT 90.59 74.49 None list-simple/sll2c_append_unequal.yml TIMEOUT 90.92 67.92 None list-simple/sll2c_insert_equal.yml TIMEOUT 90.80 71.78 None list-simple/sll2c_insert_unequal.yml TIMEOUT 91.02 70.25 None list-simple/sll2c_prepend_equal.yml TIMEOUT 90.61 72.19 None list-simple/sll2c_prepend_unequal.yml TIMEOUT 90.84 69.79 None list-simple/sll2c_remove_all.yml TIMEOUT 90.46 72.28 None list-simple/sll2c_remove_all_reverse.yml TIMEOUT 90.90 69.38 None list-simple/sll2c_update_all.yml TIMEOUT 90.75 71.06 None list-simple/sll2c_update_all_reverse.yml TIMEOUT 91.39 68.77 None list-simple/sll2n_append_equal.yml TIMEOUT 91.12 70.44 None list-simple/sll2n_append_unequal.yml TIMEOUT 90.16 80.93 None list-simple/sll2n_insert_equal.yml TIMEOUT 90.20 68.78 None list-simple/sll2n_insert_unequal.yml TIMEOUT 91.00 73.19 None list-simple/sll2n_prepend_equal.yml TIMEOUT 90.44 73.08 None list-simple/sll2n_prepend_unequal.yml TIMEOUT 90.50 72.52 None list-simple/sll2n_remove_all.yml true 69.43 53.28 None list-simple/sll2n_remove_all_reverse.yml TIMEOUT 90.80 70.75 None list-simple/sll2n_update_all.yml TIMEOUT 90.24 66.86 None list-simple/sll2n_update_all_reverse.yml TIMEOUT 90.92 65.86 None memory-alloca/c.03-alloca-2.yml true 12.59 7.83 None memsafety-bftpd/bftpd_1.yml TIMEOUT 90.88 66.79 None memsafety-bftpd/bftpd_2.yml TIMEOUT 90.83 66.95 None memsafety-bftpd/bftpd_3.yml TIMEOUT 90.75 67.80 None memsafety-ext/dll_extends_pointer.yml TIMEOUT 90.91 70.95 None memsafety-ext/skiplist_2lvl.yml TIMEOUT 90.93 67.53 None memsafety-ext/skiplist_3lvl.yml TIMEOUT 91.04 68.77 None memsafety-ext/tree_cnstr.yml TIMEOUT 90.22 65.00 None memsafety-ext/tree_dsw.yml TIMEOUT 90.61 72.07 None memsafety-ext/tree_of_cslls.yml TIMEOUT 91.15 66.81 None memsafety-ext/tree_parent_ptr.yml TIMEOUT 90.21 65.55 None memsafety-ext/tree_stack.yml TIMEOUT 90.25 64.92 None memsafety-ext2/complex_data_creation_test01-1.yml TIMEOUT 90.48 75.29 None memsafety-ext2/complex_data_creation_test02-2.yml TIMEOUT 90.57 71.35 None memsafety-ext2/length_test03-1.yml TIMEOUT 90.18 64.07 None memsafety-ext2/length_test03-2.yml TIMEOUT 90.43 63.97 None memsafety-ext2/optional_data_creation_test04-1.yml TIMEOUT 90.94 65.43 None memsafety-ext2/optional_data_creation_test04-2.yml TIMEOUT 90.66 68.76 None memsafety-ext2/split_list_test05-1.yml TIMEOUT 91.25 65.41 None memsafety-ext2/split_list_test05-2.yml TIMEOUT 90.32 63.54 None memsafety/20020406-1.yml TIMEOUT 91.03 67.12 None memsafety/20051113-1.yml TIMEOUT 90.19 74.95 None memsafety/cmp-freed-ptr.yml unknown 14.12 10.03 None memsafety/global-atexit-2.yml unknown 13.85 9.72 None memsafety/global-atexit-5.yml unknown 14.44 9.91 None memsafety/lockfree-3.0.yml TIMEOUT 90.76 68.71 None memsafety/lockfree-3.1.yml unknown 37.80 26.57 None memsafety/lockfree-3.2.yml unknown 21.41 15.91 None memsafety/lockfree-3.3.yml unknown 59.81 41.36 None memsafety/test-0019-1.yml true 21.83 12.58 None memsafety/test-0019-2.yml unknown 23.74 16.59 None memsafety/test-0158-1.yml true 10.75 6.98 None memsafety/test-0158-2.yml unknown 16.72 13.26 None memsafety/test-0158-3.yml false(valid-free) 11.77 7.60 None memsafety/test-0214.yml TIMEOUT 90.33 73.09 None memsafety/test-0217.yml TIMEOUT 90.82 65.27 None memsafety/test-0218.yml TIMEOUT 90.65 68.30 None memsafety/test-0219.yml TIMEOUT 90.55 73.57 None memsafety/test-0220.yml TIMEOUT 90.86 70.43 None memsafety/test-0232-1.yml TIMEOUT 90.68 71.39 None memsafety/test-0232-2.yml TIMEOUT 90.61 73.24 None memsafety/test-0232-3.yml TIMEOUT 91.01 71.22 None memsafety/test-0234-1.yml TIMEOUT 90.44 78.06 None memsafety/test-0234-2.yml TIMEOUT 90.84 70.27 None memsafety/test-0235-1.yml TIMEOUT 90.18 77.60 None memsafety/test-0235-2.yml TIMEOUT 90.40 72.02 None memsafety/test-0235-3.yml TIMEOUT 90.85 68.95 None memsafety/test-0236.yml TIMEOUT 90.87 68.48 None memsafety/test-0237.yml TIMEOUT 90.36 74.87 None memsafety/test-0504.yml TIMEOUT 90.50 70.53 None memsafety/test-0513.yml TIMEOUT 90.67 70.39 None memsafety/test-0521.yml TIMEOUT 90.97 67.47 None memsafety/test-memleak_nexttime.yml TIMEOUT 90.64 74.41 None pthread-C-DAC/pthread-demo-datarace-1.yml true 9.49 6.35 None pthread-C-DAC/pthread-demo-datarace-3.yml true 9.65 6.43 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 52.96 32.80 None pthread-memsafety/fillarray.yml false(valid-deref) 10.53 6.89 None pthread-memsafety/fillarray1.yml false(valid-deref) 10.95 7.08 None pthread-memsafety/list1.yml unknown 59.03 41.29 None pthread-theta/wsc.yml true 12.04 7.67 None pthread/bigshot_s.yml unknown 80.34 62.68 None pthread/bigshot_s2.yml unknown 81.58 60.55 None pthread/lazy01.yml true 9.98 7.74 None pthread/reorder_5-2.yml unknown 14.30 9.75 None pthread/singleton.yml unknown 22.90 15.16 None pthread/singleton_with-uninit-problems.yml unknown 22.98 14.94 None pthread/stateful01-1.yml true 10.00 6.64 None pthread/stateful01-2.yml true 10.10 6.66 None pthread/sync01.yml unknown 13.42 9.68 None recursive-with-pointer/system-with-recursion.yml false(valid-deref) 37.30 20.84 None termination-15/array12_alloca.yml true 15.64 10.43 None termination-15/array13_alloca.yml true 15.92 10.60 None termination-15/array14_alloca.yml true 15.81 10.23 None termination-15/array15_alloca.yml true 16.48 10.50 None termination-15/array16_alloca_fixed.yml true 15.93 10.37 None termination-15/array16_alloca_original.yml true 15.98 10.46 None termination-15/array17_alloca.yml true 15.97 10.45 None termination-15/count_up_alloca.yml true 16.00 10.58 None termination-15/count_up_and_down_alloca.yml true 18.34 11.69 None termination-15/cstrcat_reverse_alloca.yml true 41.53 26.42 None termination-15/cstrchr_diffterm_alloca.yml true 20.71 13.04 None termination-15/cstrchr_malloc.yml true 21.06 13.82 None termination-15/cstrchr_reverse_alloca.yml true 16.12 9.92 None termination-15/cstrcmp_diffterm_alloca.yml true 56.01 43.61 None termination-15/cstrcmp_malloc.yml true 59.50 48.64 None termination-15/cstrcmp_mixed_alloca.yml true 25.03 15.27 None termination-15/cstrcmp_reverse_alloca.yml true 25.02 14.95 None termination-15/cstrcpy_diffterm_alloca.yml true 22.27 13.36 None termination-15/cstrcpy_malloc.yml true 73.06 58.67 None termination-15/cstrcpy_mixed_alloca.yml true 21.80 13.31 None termination-15/cstrcpy_reverse_alloca.yml true 17.06 11.47 None termination-15/cstrcspn_diffterm_alloca.yml true 24.93 14.96 None termination-15/cstrcspn_malloc.yml true 26.76 15.77 None termination-15/cstrcspn_mixed_alloca.yml true 22.62 13.71 None termination-15/cstrcspn_reverse_alloca.yml true 23.53 13.99 None termination-15/cstrlen_diffterm_alloca.yml true 15.88 10.01 None termination-15/cstrlen_malloc.yml true 20.63 14.28 None termination-15/cstrlen_reverse_alloca.yml true 14.77 9.34 None termination-15/cstrncat_reverse_alloca.yml false(valid-deref) 24.25 14.61 None termination-15/cstrncpy_diffterm_alloca.yml true 63.55 45.52 None termination-15/cstrncpy_malloc.yml true 57.44 40.21 None termination-15/cstrncpy_mixed_alloca.yml true 22.91 13.90 None termination-15/cstrncpy_reverse_alloca.yml true 19.92 12.09 None termination-15/cstrpbrk_diffterm_alloca.yml true 38.61 25.49 None termination-15/cstrpbrk_malloc.yml true 83.92 70.74 None termination-15/cstrpbrk_mixed_alloca.yml TIMEOUT 90.26 77.38 None termination-15/cstrpbrk_reverse_alloca.yml true 19.49 11.70 None termination-15/cstrspn_diffterm_alloca.yml TIMEOUT 90.58 77.40 None termination-15/cstrspn_malloc.yml TIMEOUT 91.08 78.07 None termination-15/cstrspn_reverse_alloca.yml true 24.14 14.37 None termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca.yml true 12.77 8.08 None termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca.yml true 14.68 8.91 None termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca.yml true 9.83 6.67 None termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca.yml true 11.12 7.15 None termination-memory-alloca/Urban-2013WST-Fig1-alloca.yml true 9.98 6.49 None termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca.yml true 10.22 6.75 None termination-memory-alloca/Velroyen-alloca.yml true 9.90 6.63 None termination-memory-alloca/a.01-alloca.yml true 11.28 7.33 None termination-memory-alloca/a.04-alloca.yml true 11.19 7.45 None termination-memory-alloca/a.05-alloca.yml true 11.45 7.39 None termination-memory-alloca/a.06-alloca.yml true 13.18 8.23 None termination-memory-alloca/a.07-alloca.yml true 12.00 7.62 None termination-memory-alloca/a.08-alloca.yml true 11.55 7.38 None termination-memory-alloca/a.09_assume-alloca.yml true 11.67 7.65 None termination-memory-alloca/a.10-alloca.yml true 11.82 7.60 None termination-memory-alloca/aviad_true-alloca.yml true 11.41 8.44 None termination-memory-alloca/b.01-alloca.yml true 11.60 7.50 None termination-memory-alloca/b.02-alloca.yml true 11.07 7.27 None termination-memory-alloca/b.03-no-inv_assume-alloca.yml true 10.63 6.89 None termination-memory-alloca/b.03_assume-alloca.yml true 11.22 7.25 None termination-memory-alloca/b.04-alloca.yml true 11.50 7.41 None termination-memory-alloca/b.05-alloca.yml true 10.54 7.13 None termination-memory-alloca/b.06-alloca.yml true 10.89 7.19 None termination-memory-alloca/b.07-alloca.yml true 12.06 7.75 None termination-memory-alloca/b.09-no-inv_assume-alloca.yml true 12.13 7.58 None termination-memory-alloca/b.09_assume-alloca.yml true 11.63 7.61 None termination-memory-alloca/b.10-alloca.yml true 12.62 7.98 None termination-memory-alloca/b.11-alloca.yml true 12.78 8.12 None termination-memory-alloca/b.12-alloca.yml true 11.80 7.45 None termination-memory-alloca/b.13-alloca.yml true 12.65 8.06 None termination-memory-alloca/b.14-alloca.yml true 11.39 7.36 None termination-memory-alloca/b.15-alloca.yml true 12.24 7.71 None termination-memory-alloca/b.16-alloca.yml true 11.49 8.43 None termination-memory-alloca/b.17-alloca.yml true 12.49 8.07 None termination-memory-alloca/b.18-alloca.yml true 11.54 7.31 None termination-memory-alloca/c.01-no-inv-alloca.yml true 11.46 7.48 None termination-memory-alloca/c.01_assume-alloca.yml true 10.58 6.97 None termination-memory-alloca/c.02-alloca.yml true 11.76 7.41 None termination-memory-alloca/c.03-alloca-1.yml true 12.20 7.85 None termination-memory-alloca/c.07-alloca.yml true 13.57 8.45 None termination-memory-alloca/c.08-alloca.yml true 11.82 7.41 None termination-memory-alloca/count_down-alloca-2.yml true 16.84 10.97 None termination-memory-alloca/cstrchr-alloca-1.yml true 50.97 40.74 None termination-memory-alloca/cstrcmp-alloca-1.yml true 55.27 43.67 None termination-memory-alloca/cstrcpy-alloca-2.yml true 22.35 13.49 None termination-memory-alloca/cstrcspn-alloca-2.yml TIMEOUT 90.33 75.41 None termination-memory-alloca/cstrlen-alloca-1.yml true 16.25 9.78 None termination-memory-alloca/cstrncpy-alloca-1.yml true 63.19 45.21 None termination-memory-alloca/cstrpbrk-alloca-1.yml true 45.28 33.84 None termination-memory-alloca/cstrspn-alloca-2.yml true 26.63 16.54 None termination-memory-alloca/easySum-alloca.yml true 11.59 7.37 None termination-memory-alloca/ex3a-alloca.yml true 10.78 7.11 None termination-memory-alloca/genady-alloca.yml true 13.00 8.19 None termination-memory-alloca/java_AG313-alloca.yml true 11.39 7.30 None termination-memory-alloca/java_Break-alloca.yml true 11.88 7.74 None termination-memory-alloca/java_Continue1-alloca.yml true 13.17 8.27 None termination-memory-alloca/java_LogBuiltIn-alloca.yml true 10.90 8.26 None termination-memory-alloca/java_Nested-alloca.yml true 14.04 9.11 None termination-memory-alloca/java_Sequence-alloca.yml true 19.74 12.05 None termination-memory-alloca/openbsd_cbzero-alloca-1.yml true 19.12 12.15 None termination-memory-alloca/openbsd_cmemchr-alloca-1.yml true 17.83 10.91 None termination-memory-alloca/openbsd_cmemrchr-alloca-1.yml true 18.47 12.29 None termination-memory-alloca/openbsd_cmemset-alloca-2.yml true 18.33 11.39 None termination-memory-alloca/openbsd_cstpcpy-alloca-2.yml true 60.79 46.77 None termination-memory-alloca/openbsd_cstpncpy-alloca-2.yml true 34.69 21.08 None termination-memory-alloca/openbsd_cstrcpy-alloca-1.yml true 50.52 35.67 None termination-memory-alloca/openbsd_cstrcspn-alloca-1.yml true 34.97 22.53 None termination-memory-alloca/openbsd_cstrlcpy-alloca-2.yml true 44.86 28.62 None termination-memory-alloca/openbsd_cstrlen-alloca-2.yml true 16.99 10.47 None termination-memory-alloca/openbsd_cstrncmp-alloca-1.yml TIMEOUT 90.76 71.24 None termination-memory-alloca/openbsd_cstrncpy-alloca-1.yml true 34.80 21.96 None termination-memory-alloca/openbsd_cstrnlen-alloca-2.yml unknown 13.94 9.82 None termination-memory-alloca/openbsd_cstrpbrk-alloca-1.yml true 27.48 16.63 None termination-memory-alloca/openbsd_cstrspn-alloca-1.yml true 37.48 24.99 None termination-memory-alloca/rec_strlen-alloca-2.yml true 19.85 12.30 None termination-memory-alloca/strreplace-alloca-1.yml true 35.37 26.43 None termination-memory-alloca/subseq-alloca-1.yml TIMEOUT 90.26 75.40 None termination-memory-alloca/substring-alloca-1.yml TIMEOUT 90.66 70.20 None termination-memory-alloca/twisted-alloca.yml true 13.22 8.44 None termination-recursive-malloc/chunk1-2.yml unknown 15.74 11.45 None termination-recursive-malloc/insertionSort_recursive.yml true 22.96 14.55 None termination-recursive-malloc/mutual_simple.yml true 11.21 7.37 None termination-recursive-malloc/rec_malloc_ex3.yml true 11.24 7.14 None termination-recursive-malloc/rec_strcopy_malloc.yml true 29.08 17.61 None termination-recursive-malloc/selectionSort_recursive.yml true 28.61 19.07 None ---------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 18077.86 1021.98 - Statistics: 1285 Files correct: 851 correct true: 661 correct false: 190 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 434 Score: 1512 (max: 2260)