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: Wed, 2025-04-30 10:07:59 CEST tool: ULTIMATE Automizer 0.3.0-da043454 tool executable: ./Ultimate.py options: --full-output 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 '--full-output' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------ array-examples/relax-2-2.yml TIMEOUT 90.32 73.01 None bitvector/byte_add-1.yml TIMEOUT 90.21 75.91 None bitvector/byte_add_1-1.yml TIMEOUT 90.08 64.29 None bitvector/byte_add_2-2.yml TIMEOUT 91.07 65.57 None bitvector/interleave_bits.yml TIMEOUT 90.20 62.56 None bitvector/modulus-2.yml true 13.00 8.93 None bitvector/parity.yml TIMEOUT 90.97 80.29 None floats-cbmc-regression/float-div1.yml TIMEOUT 90.84 84.94 None floats-cbmc-regression/float-flags-simp1.yml unknown 18.89 13.42 None floats-cbmc-regression/float-no-simp2.yml true 86.28 80.20 None floats-cbmc-regression/float-no-simp4.yml true 18.05 13.46 None floats-cbmc-regression/float-no-simp8.yml unknown 16.64 12.96 None floats-cbmc-regression/float-zero-sum1.yml true 16.45 12.30 None floats-cbmc-regression/float14.yml true 16.74 11.68 None floats-cbmc-regression/float22.yml true 45.75 39.03 None floats-cbmc-regression/float4.yml TIMEOUT 90.81 84.53 None floats-cbmc-regression/float8.yml true 17.35 12.63 None floats-cbmc-regression/float_lib1.yml unknown 18.69 13.65 None floats-esbmc-regression/ceil.yml unknown 17.00 12.08 None floats-esbmc-regression/ceil_nondet.yml unknown 19.14 14.24 None floats-esbmc-regression/copysign.yml unknown 17.01 11.73 None floats-esbmc-regression/fabs.yml true 16.73 11.27 None floats-esbmc-regression/fdim.yml true 23.56 15.93 None floats-esbmc-regression/floor.yml unknown 16.27 11.52 None floats-esbmc-regression/floor_nondet.yml unknown 20.20 14.59 None floats-esbmc-regression/fmax.yml true 16.84 11.57 None floats-esbmc-regression/fmin.yml true 16.69 11.39 None floats-esbmc-regression/fmod.yml ERROR (7) 14.84 10.21 None floats-esbmc-regression/fmod2.yml ERROR (7) 14.84 10.22 None floats-esbmc-regression/fmod3.yml ERROR (7) 15.05 10.15 None floats-esbmc-regression/isgreater.yml true 16.37 11.22 None floats-esbmc-regression/isgreaterequal.yml true 17.30 11.89 None floats-esbmc-regression/isless.yml true 15.91 10.97 None floats-esbmc-regression/islessequal.yml true 16.05 12.31 None floats-esbmc-regression/islessgreater.yml true 17.09 11.74 None floats-esbmc-regression/isunordered.yml true 16.67 11.09 None floats-esbmc-regression/lrint.yml unknown 14.32 10.01 None floats-esbmc-regression/modf.yml unknown 14.87 11.33 None floats-esbmc-regression/nan.yml true 16.58 11.77 None floats-esbmc-regression/nearbyint.yml unknown 20.07 15.12 None floats-esbmc-regression/nearbyint2.yml unknown 16.16 11.53 None floats-esbmc-regression/remainder.yml unknown 15.94 11.05 None floats-esbmc-regression/rint.yml unknown 20.07 15.11 None floats-esbmc-regression/rint2.yml unknown 17.09 12.21 None floats-esbmc-regression/round.yml TIMEOUT 17.79 151.00 None floats-esbmc-regression/round_nondet.yml TIMEOUT 19.96 151.00 None floats-esbmc-regression/rounding_functions.yml true 18.02 12.46 None floats-esbmc-regression/trunc.yml unknown 16.41 11.67 None floats-esbmc-regression/trunc_nondet.yml unknown 18.80 13.16 None floats-esbmc-regression/trunc_nondet_2.yml TIMEOUT 90.92 85.02 None goblint-regression/13-privatized_01-priv_nr_true.yml true 13.05 7.98 None goblint-regression/13-privatized_18-first-reads_true.yml true 11.19 7.01 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 10.26 6.88 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 10.00 6.63 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 10.16 6.65 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 9.91 6.75 None goblint-regression/13-privatized_19-publish-precision_true.yml true 10.94 7.02 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 9.71 6.77 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 11.03 7.37 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 10.61 6.87 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 9.58 6.42 None goblint-regression/13-privatized_20-publish-regression_true.yml true 12.04 7.71 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 15.65 9.44 None goblint-regression/13-privatized_25-struct_nr_true.yml true 12.20 7.57 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 19.17 11.30 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 13.99 8.50 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 11.58 7.46 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 12.10 7.72 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 12.02 7.85 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.48 7.34 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 13.63 8.43 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 12.14 7.61 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 11.22 7.49 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 10.83 7.08 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 11.00 7.12 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 11.07 7.18 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 10.12 6.82 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 12.22 8.84 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 11.43 7.40 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 10.62 6.96 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 11.54 8.56 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 10.31 6.85 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 11.03 6.96 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 11.07 7.15 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 10.12 6.75 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 10.09 6.63 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 10.09 6.70 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 91.46 69.44 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 11.80 7.52 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 9.75 6.53 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 10.02 6.76 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 11.53 7.29 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 10.02 6.63 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 59.76 43.45 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 14.88 9.00 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 9.53 6.55 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 10.21 6.55 None heap-data/running_example.yml TIMEOUT 90.80 70.55 None heap-data/shared_mem1.yml TIMEOUT 91.13 81.95 None heap-data/shared_mem2.yml TIMEOUT 91.04 83.45 None heap-manipulation/dancing.yml TIMEOUT 91.09 78.70 None list-ext-properties/list-ext.yml false(unreach-call) 10.88 7.05 None list-ext-properties/simple-ext.yml false(unreach-call) 10.30 6.85 None list-ext2-properties/list_and_tree_cnstr-1.yml false(unreach-call) 71.27 54.42 None list-ext2-properties/list_and_tree_cnstr-2.yml TIMEOUT 90.78 71.17 None list-ext2-properties/simple_and_skiplist_2lvl-1.yml false(unreach-call) 12.18 7.91 None list-ext2-properties/simple_and_skiplist_2lvl-2.yml TIMEOUT 90.55 74.04 None list-ext2-properties/simple_search_value-1.yml TIMEOUT 90.49 76.21 None list-ext2-properties/simple_search_value-2.yml TIMEOUT 90.39 76.22 None list-ext3-properties/dll_circular_traversal-2.yml TIMEOUT 90.27 74.59 None list-ext3-properties/dll_nullified-1.yml false(unreach-call) 16.76 10.68 None list-ext3-properties/dll_nullified-2.yml TIMEOUT 90.71 69.62 None list-ext3-properties/sll_circular_traversal-1.yml TIMEOUT 90.45 75.01 None list-ext3-properties/sll_length_check-1.yml false(unreach-call) 13.09 8.57 None list-ext3-properties/sll_length_check-2.yml TIMEOUT 90.92 79.83 None list-ext3-properties/sll_nondet_insert-1.yml false(unreach-call) 65.91 55.61 None list-ext3-properties/sll_nondet_insert-2.yml TIMEOUT 91.25 76.46 None list-ext3-properties/sll_of_sll_nondet_append-1.yml TIMEOUT 90.57 74.49 None list-ext3-properties/sll_of_sll_nondet_append-2.yml TIMEOUT 91.10 78.07 None list-properties/alternating_list-1.yml TIMEOUT 90.47 79.04 None list-properties/alternating_list-2.yml false(unreach-call) 11.67 7.44 None list-properties/list-1.yml TIMEOUT 91.06 70.32 None list-properties/list-2.yml TIMEOUT 90.55 73.88 None list-properties/list_flag-1.yml false(unreach-call) 11.10 7.48 None list-properties/list_flag-2.yml TIMEOUT 90.70 72.56 None list-properties/list_search-1.yml false(unreach-call) 31.74 19.70 None list-properties/list_search-2.yml true 52.39 36.96 None list-properties/simple-1.yml false(unreach-call) 11.81 7.88 None list-properties/simple-2.yml TIMEOUT 90.63 74.68 None list-properties/simple_built_from_end.yml TIMEOUT 90.55 73.75 None list-properties/splice-1.yml false(unreach-call) 11.71 7.46 None list-properties/splice-2.yml TIMEOUT 90.91 72.25 None list-simple/dll2c_append_equal.yml TIMEOUT 90.41 74.17 None list-simple/dll2c_append_unequal.yml TIMEOUT 90.79 71.96 None list-simple/dll2c_insert_equal.yml TIMEOUT 90.21 76.10 None list-simple/dll2c_insert_unequal.yml TIMEOUT 90.66 73.96 None list-simple/dll2c_prepend_equal.yml TIMEOUT 90.76 74.40 None list-simple/dll2c_prepend_unequal.yml TIMEOUT 90.87 73.66 None list-simple/dll2c_remove_all.yml true 29.75 18.65 None list-simple/dll2c_remove_all_reverse.yml true 36.80 23.42 None list-simple/dll2c_update_all.yml true 35.91 23.23 None list-simple/dll2c_update_all_reverse.yml true 35.24 22.53 None list-simple/dll2n_append_equal.yml TIMEOUT 90.69 76.15 None list-simple/dll2n_append_unequal.yml TIMEOUT 90.94 72.84 None list-simple/dll2n_insert_equal.yml TIMEOUT 91.02 79.60 None list-simple/dll2n_insert_unequal.yml TIMEOUT 90.83 69.59 None list-simple/dll2n_prepend_equal.yml TIMEOUT 90.32 74.66 None list-simple/dll2n_prepend_unequal.yml TIMEOUT 90.66 72.99 None list-simple/dll2n_remove_all.yml true 29.90 20.24 None list-simple/dll2n_remove_all_reverse.yml true 39.57 26.49 None list-simple/dll2n_update_all.yml true 28.05 17.95 None list-simple/dll2n_update_all_reverse.yml true 11.37 7.42 None list-simple/sll2c_append_equal.yml TIMEOUT 91.04 71.83 None list-simple/sll2c_append_unequal.yml TIMEOUT 90.91 83.64 None list-simple/sll2c_insert_equal.yml TIMEOUT 90.60 73.40 None list-simple/sll2c_insert_unequal.yml TIMEOUT 90.65 74.36 None list-simple/sll2c_prepend_equal.yml TIMEOUT 90.76 75.19 None list-simple/sll2c_prepend_unequal.yml TIMEOUT 91.38 72.02 None list-simple/sll2c_remove_all.yml true 25.66 16.00 None list-simple/sll2c_remove_all_reverse.yml TIMEOUT 90.67 74.04 None list-simple/sll2c_update_all.yml true 30.64 20.41 None list-simple/sll2c_update_all_reverse.yml true 29.82 18.99 None list-simple/sll2n_append_equal.yml TIMEOUT 91.31 77.13 None list-simple/sll2n_append_unequal.yml TIMEOUT 90.37 74.51 None list-simple/sll2n_insert_equal.yml TIMEOUT 90.62 74.57 None list-simple/sll2n_insert_unequal.yml TIMEOUT 90.97 74.14 None list-simple/sll2n_prepend_equal.yml TIMEOUT 90.27 76.21 None list-simple/sll2n_prepend_unequal.yml TIMEOUT 91.42 72.48 None list-simple/sll2n_remove_all.yml true 20.62 12.89 None list-simple/sll2n_remove_all_reverse.yml true 24.66 15.67 None list-simple/sll2n_update_all.yml true 27.26 17.37 None list-simple/sll2n_update_all_reverse.yml true 25.63 17.57 None longjmp/68-longjmp_04-counting-local_true.yml unknown 18.61 14.18 None longjmp/68-longjmp_04-counting-local_unknown_1_neg.yml false(unreach-call) 9.76 6.38 None longjmp/68-longjmp_04-counting-local_unknown_1_pos.yml unknown 18.06 12.83 None longjmp/68-longjmp_05-heap-counting-return-one-method_true.yml unknown 19.56 13.29 None longjmp/68-longjmp_05-heap-counting-return-one-method_unknown_1_neg.yml false(unreach-call) 9.38 6.25 None longjmp/68-longjmp_05-heap-counting-return-one-method_unknown_1_pos.yml unknown 18.98 12.86 None longjmp/68-longjmp_07-returns_true.yml unknown 17.86 12.61 None longjmp/68-longjmp_11-counting-return_true.yml unknown 17.89 12.91 None longjmp/68-longjmp_11-counting-return_unknown_1_neg.yml false(unreach-call) 9.60 7.31 None longjmp/68-longjmp_11-counting-return_unknown_1_pos.yml unknown 17.80 12.68 None longjmp/68-longjmp_12-counting-global_true.yml unknown 18.16 13.04 None longjmp/68-longjmp_12-counting-global_unknown_1_neg.yml false(unreach-call) 9.18 6.26 None longjmp/68-longjmp_12-counting-global_unknown_1_pos.yml unknown 19.44 13.29 None longjmp/68-longjmp_13-counting-local_true.yml unknown 17.70 12.76 None longjmp/68-longjmp_13-counting-local_unknown_1_neg.yml false(unreach-call) 9.28 6.12 None longjmp/68-longjmp_13-counting-local_unknown_1_pos.yml unknown 19.02 13.18 None longjmp/68-longjmp_14-counting-return-one-method_true.yml unknown 17.77 12.76 None longjmp/68-longjmp_14-counting-return-one-method_unknown_1_neg.yml false(unreach-call) 9.22 6.29 None longjmp/68-longjmp_14-counting-return-one-method_unknown_1_pos.yml unknown 17.93 12.27 None longjmp/68-longjmp_15-counting-global-one-method_true.yml unknown 19.41 13.50 None longjmp/68-longjmp_15-counting-global-one-method_unknown_1_neg.yml false(unreach-call) 9.86 6.55 None longjmp/68-longjmp_15-counting-global-one-method_unknown_1_pos.yml unknown 17.87 12.68 None longjmp/68-longjmp_16-counting-local-one-method_true.yml unknown 19.33 13.45 None longjmp/68-longjmp_16-counting-local-one-method_unknown_1_neg.yml false(unreach-call) 10.55 6.57 None longjmp/68-longjmp_16-counting-local-one-method_unknown_1_pos.yml unknown 17.46 12.19 None longjmp/68-longjmp_18-simple-else_true.yml unknown 18.48 12.77 None longjmp/68-longjmp_18-simple-else_unknown_1_neg.yml false(unreach-call) 10.50 7.04 None longjmp/68-longjmp_18-simple-else_unknown_1_pos.yml unknown 18.11 12.58 None longjmp/68-longjmp_18-simple-else_unknown_2_neg.yml unknown 18.48 12.90 None longjmp/68-longjmp_18-simple-else_unknown_2_pos.yml false(unreach-call) 10.02 6.68 None longjmp/68-longjmp_19-simpler_true.yml unknown 18.09 12.73 None longjmp/68-longjmp_20-simpler-multifun_true.yml unknown 18.07 12.87 None longjmp/68-longjmp_21-multifun_true.yml unknown 18.96 13.07 None longjmp/68-longjmp_22-multifun-arg_true.yml unknown 18.86 13.10 None longjmp/68-longjmp_42-poison-reduced_true.yml unknown 20.94 15.05 None longjmp/68-longjmp_44-simple-else-path_true.yml unknown 19.42 13.43 None longjmp/68-longjmp_51-worries_true.yml unknown 19.90 13.44 None loop-floats-scientific-comp/loop4.yml unknown 26.74 20.88 None loop-floats-scientific-comp/loop5.yml unknown 26.59 20.13 None loop-lit/as2013-hybrid.yml true 11.54 7.71 None loop-lit/bh2017-ex-add.yml true 14.69 9.75 None loop-lit/bh2017-ex1-poly.yml true 15.13 9.58 None loop-lit/bh2017-ex3.yml true 14.62 9.30 None loop-lit/hh2012-ex1b.yml true 11.11 7.26 None loop-lit/hh2012-ex2b.yml true 11.44 7.87 None loop-lit/hh2012-ex3.yml true 15.70 9.86 None loop-lit/mine2017-ex4.10.yml true 11.55 7.16 None loop-lit/mine2017-ex4.6.yml true 13.06 8.56 None loop-lit/mine2017-ex4.7.yml true 10.40 6.82 None loop-lit/mine2017-ex4.8.yml true 10.67 6.85 None loop-zilu/benchmark02_linear.yml true 9.99 6.67 None loop-zilu/benchmark02_linear_abstracted.yml true 9.97 6.64 None loop-zilu/benchmark04_conjunctive.yml true 13.06 8.42 None loop-zilu/benchmark05_conjunctive.yml true 11.48 8.16 None loop-zilu/benchmark09_conjunctive.yml true 11.05 7.13 None loop-zilu/benchmark10_conjunctive.yml true 13.52 8.95 None loop-zilu/benchmark11_linear.yml true 10.05 6.91 None loop-zilu/benchmark11_linear_abstracted.yml true 9.79 6.59 None loop-zilu/benchmark14_linear.yml true 9.58 7.65 None loop-zilu/benchmark17_conjunctive.yml true 10.23 6.98 None loop-zilu/benchmark18_conjunctive.yml true 10.73 7.48 None loop-zilu/benchmark19_conjunctive.yml true 11.36 7.91 None loop-zilu/benchmark20_conjunctive.yml true 9.75 7.02 None loop-zilu/benchmark23_conjunctive.yml true 47.26 32.59 None loop-zilu/benchmark25_linear.yml true 10.36 7.38 None loop-zilu/benchmark25_linear_abstracted.yml true 9.80 6.74 None loop-zilu/benchmark26_linear.yml true 10.89 7.23 None loop-zilu/benchmark26_linear_abstracted.yml true 10.23 6.71 None loop-zilu/benchmark32_linear.yml true 10.38 7.18 None loop-zilu/benchmark33_linear.yml true 11.26 7.27 None loop-zilu/benchmark34_conjunctive.yml true 11.31 7.67 None loop-zilu/benchmark35_linear.yml true 10.26 6.41 None loop-zilu/benchmark37_conjunctive.yml true 10.55 7.24 None loop-zilu/benchmark43_conjunctive.yml true 10.50 7.18 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 9.86 6.86 None loop-zilu/benchmark51_polynomial.yml true 9.57 6.56 None loop-zilu/benchmark52_polynomial.yml true 9.44 7.02 None loops/bubble_sort-2.yml false(unreach-call) 12.65 7.97 None loops/n.c24.yml ERROR (7) 15.80 11.74 None pthread-C-DAC/pthread-demo-datarace-1.yml true 83.45 61.76 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 25.09 15.67 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 50.61 33.20 None pthread-race-challenges/thread-local-pthread-value.yml unknown 15.07 10.38 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 15.30 10.52 None pthread-race-challenges/thread-local-value.yml unknown 15.20 10.05 None pthread-theta/wsc.yml true 25.58 15.69 None pthread/bigshot_s.yml true 18.07 11.37 None pthread/bigshot_s2.yml true 17.62 11.01 None pthread/butterfly.yml OUT OF MEMORY 47.91 33.10 None pthread/lazy01.yml false(unreach-call) 12.27 7.53 None pthread/singleton.yml false(unreach-call) 11.26 7.32 None pthread/singleton_with-uninit-problems.yml true 14.16 8.50 None pthread/stateful01-1.yml false(unreach-call) 10.82 6.96 None pthread/stateful01-2.yml true 12.38 7.89 None pthread/sync01.yml true 14.93 9.04 None unsignedintegeroverflow-sas23/bilinear_interpolation.yml TIMEOUT 90.73 87.23 None unsignedintegeroverflow-sas23/cancel_var_through_overflow.yml true 9.82 6.47 None unsignedintegeroverflow-sas23/distance_through_overflow.yml true 9.42 6.48 None unsignedintegeroverflow-sas23/linear_interpolation.yml true 10.95 7.35 None unsignedintegeroverflow-sas23/linear_interpolation_2.yml TIMEOUT 90.88 82.92 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 9057.47 592.26 - Automizer_no-overflow.nonPreprocessed Run set 2 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety-realloc/array-realloc-2.yml true 12.89 8.19 None array-memsafety-realloc/array-realloc-3.yml true 12.23 8.16 None array-memsafety/add_last-alloca-1.yml false(no-overflow) 14.28 9.68 None array-memsafety/array03-alloca-2.yml false(no-overflow) 29.13 21.99 None array-memsafety/bubblesort-alloca-2.yml true 19.23 12.90 None array-memsafety/cstrcat-alloca-2.yml true 16.78 11.20 None array-memsafety/cstrchr-alloca-2.yml true 12.17 8.50 None array-memsafety/cstrcmp-alloca-2.yml true 15.01 10.17 None array-memsafety/cstrcpy-alloca-1.yml true 12.87 8.59 None array-memsafety/cstrcspn-alloca-1.yml true 15.14 10.28 None array-memsafety/cstrlen-alloca-2.yml true 12.49 8.41 None array-memsafety/cstrncmp-alloca-1.yml false(no-overflow) 13.16 8.53 None array-memsafety/cstrpbrk-alloca-2.yml true 14.65 10.14 None array-memsafety/cstrspn-alloca-1.yml true 15.37 11.30 None array-memsafety/insertionsort-alloca-1.yml true 17.49 11.91 None array-memsafety/java_BubbleSort-alloca-1.yml true 18.62 12.98 None array-memsafety/mult_array-alloca-1.yml true 28.28 20.00 None array-memsafety/openbsd_cmemchr-alloca-2.yml true 12.41 8.81 None array-memsafety/openbsd_cmemrchr-alloca-2.yml true 12.61 8.75 None array-memsafety/openbsd_cstpcpy-alloca-1.yml true 12.61 8.85 None array-memsafety/openbsd_cstpncpy-alloca-1.yml true 12.27 8.51 None array-memsafety/openbsd_cstrcat-alloca-2.yml true 15.29 10.22 None array-memsafety/openbsd_cstrcmp-alloca-1.yml true 15.16 10.34 None array-memsafety/openbsd_cstrcpy-alloca-2.yml true 12.13 8.35 None array-memsafety/openbsd_cstrcspn-alloca-2.yml true 14.43 10.16 None array-memsafety/openbsd_cstrlen-alloca-1.yml true 11.76 8.05 None array-memsafety/openbsd_cstrncat-alloca-2.yml true 19.65 13.75 None array-memsafety/openbsd_cstrncmp-alloca-2.yml true 14.50 10.01 None array-memsafety/openbsd_cstrncpy-alloca-2.yml true 12.23 8.37 None array-memsafety/openbsd_cstrnlen-alloca-1.yml true 12.27 8.31 None array-memsafety/openbsd_cstrpbrk-alloca-2.yml true 15.85 10.69 None array-memsafety/openbsd_cstrspn-alloca-2.yml true 14.92 9.95 None array-memsafety/openbsd_cstrstr-alloca-2.yml true 15.92 11.20 None array-memsafety/selectionsort-alloca-1.yml true 16.24 11.44 None array-memsafety/stroeder1-alloca-1.yml false(no-overflow) 10.36 7.12 None array-memsafety/stroeder2-alloca-1.yml false(no-overflow) 12.09 8.03 None array-memsafety/subseq-alloca-2.yml true 14.43 9.87 None array-memsafety/substring-alloca-2.yml true 15.02 11.30 None bitvector/byte_add-1.yml true 9.49 6.49 None bitvector/byte_add-2.yml false(no-overflow) 38.46 23.57 None bitvector/byte_add_1-1.yml true 10.08 6.61 None bitvector/byte_add_1-2.yml false(no-overflow) 36.44 21.73 None bitvector/byte_add_2-1.yml false(no-overflow) 39.83 25.31 None bitvector/byte_add_2-2.yml true 9.83 6.54 None bitvector/interleave_bits.yml true 11.66 9.00 None bitvector/modulus-1.yml false(no-overflow) 17.52 12.80 None bitvector/modulus-2.yml true 17.28 12.50 None bitvector/parity.yml true 8.93 6.13 None goblint-regression/04-mutex_02-simple_nr.yml true 11.89 7.66 None goblint-regression/04-mutex_04-munge_nr.yml true 12.27 8.07 None goblint-regression/04-mutex_05-lockfuns.yml true 12.52 7.96 None goblint-regression/04-mutex_07-ps_nr.yml true 13.36 8.17 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 11.03 7.38 None goblint-regression/04-mutex_12-ptr_nr.yml true 15.77 9.77 None goblint-regression/04-mutex_15-funarg_nr.yml true 13.23 8.25 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 15.98 9.51 None goblint-regression/04-mutex_17a-ps_add1_nr.yml false(no-overflow) 13.24 7.96 None goblint-regression/04-mutex_28-base_nr.yml true 10.80 7.06 None goblint-regression/04-mutex_41-pt_rwlock.yml true 11.18 7.12 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 13.13 8.20 None goblint-regression/04-mutex_43-thread_create_nr.yml true 11.77 7.66 None goblint-regression/04-mutex_46-escape_nr.yml true 20.02 12.53 None goblint-regression/04-mutex_46a-escape_nr.yml false(no-overflow) 12.38 7.87 None goblint-regression/04-mutex_51-mutex_ptr.yml true 15.96 9.55 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 10.89 6.99 None goblint-regression/05-lval_ls_02-idx_nr.yml true 17.27 10.96 None goblint-regression/05-lval_ls_04-fld_nr.yml true 12.20 7.74 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 13.32 9.36 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 91.34 65.40 None goblint-regression/06-symbeq_05-funloop_hard2.yml TIMEOUT 92.01 67.11 None goblint-regression/06-symbeq_06-tricky_address1.yml TIMEOUT 91.09 63.95 None goblint-regression/06-symbeq_07-tricky_address2.yml TIMEOUT 91.33 64.98 None goblint-regression/06-symbeq_08-tricky_address3.yml TIMEOUT 90.56 63.45 None goblint-regression/06-symbeq_11-equ_nr.yml true 11.27 7.34 None goblint-regression/06-symbeq_11a-equ_nr.yml false(no-overflow) 10.68 7.19 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 19.22 12.05 None goblint-regression/09-regions_04-list2_nr.yml true 14.92 9.15 None goblint-regression/09-regions_09-arraylist.yml true 13.01 8.26 None goblint-regression/09-regions_11-arraylist_nr.yml true 17.86 11.57 None goblint-regression/09-regions_12-arraycollapse_rc.yml true 13.87 8.69 None goblint-regression/09-regions_13-arraycollapse_nr.yml true 14.25 9.03 None goblint-regression/09-regions_19-nested_nr.yml true 18.07 11.60 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 91.07 70.27 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT 90.98 72.36 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 90.95 70.05 None goblint-regression/13-privatized_01-priv_nr_true.yml true 12.21 7.68 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 15.45 9.21 None goblint-regression/13-privatized_25-struct_nr_true.yml true 11.23 7.20 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 22.60 14.04 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 11.85 7.56 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 11.83 7.63 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 10.24 6.76 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 77.28 58.35 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml TIMEOUT 91.29 70.72 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 14.35 8.76 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true.yml false(no-overflow) 15.52 9.29 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 18.68 10.88 None heap-data/running_example.yml true 11.38 7.22 None list-ext-properties/simple-ext.yml true 21.81 13.63 None list-ext-properties/test-0232_1-1.yml TIMEOUT 91.05 79.64 None list-ext-properties/test-0232_1-2.yml TIMEOUT 91.01 80.31 None list-ext-properties/test-0504_1.yml TIMEOUT 90.87 83.42 None list-ext-properties/test-0513_1.yml true 12.88 8.13 None list-ext3-properties/dll_nondet_free_order-1.yml true 10.50 6.81 None list-ext3-properties/dll_nondet_free_order-2.yml true 11.41 6.95 None list-ext3-properties/dll_nullified-1.yml true 11.97 7.71 None list-ext3-properties/dll_nullified-2.yml true 11.68 7.62 None list-simple/dll2c_insert_unequal.yml TIMEOUT 91.01 68.79 None list-simple/dll2c_remove_all.yml true 14.47 9.66 None list-simple/dll2c_remove_all_reverse.yml true 15.48 9.93 None list-simple/dll2c_update_all.yml true 22.78 14.39 None list-simple/dll2c_update_all_reverse.yml true 22.13 15.08 None list-simple/dll2n_remove_all.yml true 13.53 10.13 None list-simple/dll2n_remove_all_reverse.yml true 13.38 9.26 None list-simple/dll2n_update_all.yml true 22.20 14.93 None list-simple/dll2n_update_all_reverse.yml true 16.16 10.79 None list-simple/sll2c_remove_all.yml true 14.06 9.57 None list-simple/sll2c_remove_all_reverse.yml true 15.04 9.81 None list-simple/sll2c_update_all.yml true 20.30 13.23 None list-simple/sll2c_update_all_reverse.yml true 20.40 13.43 None list-simple/sll2n_append_unequal.yml TIMEOUT 90.64 72.48 None list-simple/sll2n_prepend_equal.yml TIMEOUT 90.44 75.28 None list-simple/sll2n_prepend_unequal.yml TIMEOUT 90.92 76.21 None list-simple/sll2n_remove_all.yml true 13.43 9.30 None list-simple/sll2n_remove_all_reverse.yml true 13.32 9.21 None list-simple/sll2n_update_all.yml true 22.99 15.41 None list-simple/sll2n_update_all_reverse.yml true 18.82 12.76 None loop-lit/as2013-hybrid.yml true 11.93 8.11 None loop-lit/bh2017-ex-add.yml true 10.97 7.51 None loop-lit/bh2017-ex1-poly.yml true 24.23 14.57 None loop-lit/bh2017-ex3.yml true 11.48 7.45 None loop-lit/hh2012-ex1b.yml true 16.76 10.82 None loop-lit/hh2012-ex2b.yml true 10.30 6.90 None loop-lit/hh2012-ex3.yml true 26.59 16.74 None loop-lit/mine2017-ex4.10.yml true 10.28 7.04 None loop-lit/mine2017-ex4.6.yml true 12.95 8.56 None loop-lit/mine2017-ex4.7.yml true 10.18 6.99 None loop-lit/mine2017-ex4.8.yml true 9.00 6.22 None loop-zilu/benchmark01_conjunctive.yml false(no-overflow) 20.08 12.49 None loop-zilu/benchmark02_linear.yml true 9.37 6.39 None loop-zilu/benchmark02_linear_abstracted.yml true 8.41 5.83 None loop-zilu/benchmark03_linear.yml TIMEOUT 90.91 70.69 None loop-zilu/benchmark04_conjunctive.yml true 15.60 10.26 None loop-zilu/benchmark05_conjunctive.yml true 11.47 7.40 None loop-zilu/benchmark06_conjunctive.yml false(no-overflow) 9.37 6.12 None loop-zilu/benchmark07_linear.yml false(no-overflow) 9.44 6.46 None loop-zilu/benchmark08_conjunctive.yml TIMEOUT 90.85 73.49 None loop-zilu/benchmark09_conjunctive.yml true 10.16 6.82 None loop-zilu/benchmark10_conjunctive.yml TIMEOUT 91.09 73.04 None loop-zilu/benchmark11_linear.yml true 10.50 7.44 None loop-zilu/benchmark11_linear_abstracted.yml true 9.10 6.45 None loop-zilu/benchmark12_linear.yml false(no-overflow) 9.73 6.40 None loop-zilu/benchmark13_conjunctive.yml TIMEOUT 91.30 72.51 None loop-zilu/benchmark14_linear.yml true 9.35 6.19 None loop-zilu/benchmark15_conjunctive.yml false(no-overflow) 9.29 6.33 None loop-zilu/benchmark16_conjunctive.yml TIMEOUT 91.20 71.19 None loop-zilu/benchmark17_conjunctive.yml TIMEOUT 90.65 72.97 None loop-zilu/benchmark18_conjunctive.yml TIMEOUT 90.98 71.64 None loop-zilu/benchmark19_conjunctive.yml true 10.62 7.21 None loop-zilu/benchmark20_conjunctive.yml TIMEOUT 91.08 72.70 None loop-zilu/benchmark21_disjunctive.yml false(no-overflow) 9.36 6.29 None loop-zilu/benchmark22_conjunctive.yml TIMEOUT 90.89 73.09 None loop-zilu/benchmark23_conjunctive.yml true 88.59 69.11 None loop-zilu/benchmark24_conjunctive.yml TIMEOUT 90.99 74.90 None loop-zilu/benchmark25_linear.yml true 9.24 6.32 None loop-zilu/benchmark25_linear_abstracted.yml true 8.93 6.15 None loop-zilu/benchmark26_linear.yml true 9.20 6.22 None loop-zilu/benchmark26_linear_abstracted.yml true 9.27 6.21 None loop-zilu/benchmark27_linear.yml false(no-overflow) 9.12 6.06 None loop-zilu/benchmark28_linear.yml false(no-overflow) 9.60 6.57 None loop-zilu/benchmark29_linear.yml false(no-overflow) 9.05 6.25 None loop-zilu/benchmark30_conjunctive.yml false(no-overflow) 9.02 6.10 None loop-zilu/benchmark31_disjunctive.yml false(no-overflow) 8.90 6.19 None loop-zilu/benchmark32_linear.yml true 8.43 6.11 None loop-zilu/benchmark33_linear.yml true 9.18 6.21 None loop-zilu/benchmark34_conjunctive.yml true 14.77 10.83 None loop-zilu/benchmark35_linear.yml true 9.46 6.13 None loop-zilu/benchmark36_conjunctive.yml TIMEOUT 91.24 70.17 None loop-zilu/benchmark37_conjunctive.yml true 10.01 7.06 None loop-zilu/benchmark38_conjunctive.yml TIMEOUT 90.62 69.79 None loop-zilu/benchmark39_conjunctive.yml false(no-overflow) 9.22 6.15 None loop-zilu/benchmark40_polynomial.yml false(no-overflow) 8.62 6.20 None loop-zilu/benchmark41_conjunctive.yml TIMEOUT 90.44 67.69 None loop-zilu/benchmark42_conjunctive.yml false(no-overflow) 9.35 6.50 None loop-zilu/benchmark43_conjunctive.yml true 9.96 6.49 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 9.86 6.61 None loop-zilu/benchmark44_disjunctive.yml false(no-overflow) 9.36 6.34 None loop-zilu/benchmark45_disjunctive.yml false(no-overflow) 9.33 6.35 None loop-zilu/benchmark46_disjunctive.yml false(no-overflow) 8.94 6.34 None loop-zilu/benchmark47_linear.yml false(no-overflow) 9.71 6.46 None loop-zilu/benchmark48_linear.yml false(no-overflow) 9.40 6.34 None loop-zilu/benchmark49_linear.yml false(no-overflow) 9.71 6.29 None loop-zilu/benchmark50_linear.yml false(no-overflow) 8.93 6.11 None loop-zilu/benchmark51_polynomial.yml true 10.78 7.32 None loop-zilu/benchmark52_polynomial.yml true 9.99 7.00 None loop-zilu/benchmark53_polynomial.yml false(no-overflow) 9.55 6.48 None memsafety-bftpd/bftpd_1.yml true 11.13 7.47 None memsafety-bftpd/bftpd_2.yml true 10.96 7.28 None memsafety-bftpd/bftpd_3.yml true 10.98 7.34 None memsafety-ext2/complex_data_creation_test01-2.yml false(no-overflow) 20.61 12.80 None memsafety-ext2/complex_data_creation_test02-1.yml false(no-overflow) 14.69 9.55 None memsafety-ext2/length_test03-1.yml true 17.80 11.34 None memsafety-ext2/length_test03-2.yml true 18.85 11.78 None memsafety-ext2/optional_data_creation_test04-1.yml true 11.60 7.42 None memsafety-ext2/optional_data_creation_test04-2.yml true 11.01 7.34 None memsafety-ext2/split_list_test05-2.yml true 31.51 18.69 None memsafety/20051113-1.yml true 24.68 15.91 None pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 91.13 67.50 None pthread-C-DAC/pthread-demo-datarace-3.yml TIMEOUT 91.07 72.64 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 47.99 30.63 None pthread/butterfly.yml OUT OF MEMORY 54.22 36.50 None pthread/lazy01.yml true 13.11 8.26 None pthread/stateful01-1.yml true 13.86 8.76 None pthread/stateful01-2.yml true 13.38 8.43 None pthread/sync01.yml true 17.61 10.61 None signedintegeroverflow-regression/AdditionIntMax.yml false(no-overflow) 9.59 6.18 None signedintegeroverflow-regression/AdditionIntMin.yml false(no-overflow) 9.48 6.31 None signedintegeroverflow-regression/ConversionToSignedInt.yml true 9.01 6.01 None signedintegeroverflow-regression/Division-1.yml false(no-overflow) 9.65 6.50 None signedintegeroverflow-regression/IntegerPromotion-1.yml true 9.09 7.30 None signedintegeroverflow-regression/Multiplication-1.yml true 9.08 6.28 None signedintegeroverflow-regression/Multiplication-2.yml false(no-overflow) 9.52 6.27 None signedintegeroverflow-regression/NoConversion.yml false(no-overflow) 9.17 6.23 None signedintegeroverflow-regression/NoNegativeIntegerConstant.yml true 8.92 6.30 None signedintegeroverflow-regression/PostfixDecrement.yml false(no-overflow) 9.40 6.24 None signedintegeroverflow-regression/PostfixIncrement.yml false(no-overflow) 9.47 6.37 None signedintegeroverflow-regression/PrefixDecrement.yml false(no-overflow) 9.57 6.23 None signedintegeroverflow-regression/PrefixIncrement.yml false(no-overflow) 9.22 6.22 None signedintegeroverflow-regression/UnaryMinus.yml false(no-overflow) 9.39 6.33 None signedintegeroverflow-regression/UsualArithmeticConversions.yml true 9.14 6.14 None termination-15/array04_alloca.yml false(no-overflow) 16.29 10.96 None termination-15/array05_alloca.yml false(no-overflow) 12.59 8.62 None termination-15/array06_alloca.yml false(no-overflow) 12.54 8.52 None termination-15/array07_alloca.yml false(no-overflow) 11.04 7.38 None termination-15/array08_alloca.yml false(no-overflow) 29.01 18.89 None termination-15/array09_alloca.yml false(no-overflow) 12.91 8.69 None termination-15/array10_alloca.yml false(no-overflow) 11.73 7.77 None termination-15/array12_alloca.yml true 15.09 11.20 None termination-15/array13_alloca.yml true 14.92 11.23 None termination-15/array14_alloca.yml true 15.77 11.13 None termination-15/array15_alloca.yml true 16.19 11.31 None termination-15/array16_alloca_fixed.yml true 15.30 10.92 None termination-15/array16_alloca_original.yml true 15.91 11.08 None termination-15/array18_alloca.yml false(no-overflow) 11.93 7.93 None termination-15/array19_alloca.yml false(no-overflow) 12.20 8.73 None termination-15/array20_alloca.yml false(no-overflow) 45.52 33.37 None termination-15/cstrcat_diffterm_alloca.yml true 10.99 7.12 None termination-15/cstrcat_malloc.yml true 11.03 7.32 None termination-15/cstrcat_mixed_alloca.yml true 11.40 7.26 None termination-15/cstrcat_reverse_alloca.yml true 11.33 7.23 None termination-15/cstrchr_diffterm_alloca.yml true 10.18 6.67 None termination-15/cstrchr_malloc.yml true 9.73 6.50 None termination-15/cstrchr_reverse_alloca.yml true 9.91 6.63 None termination-15/cstrcmp_diffterm_alloca.yml true 10.36 6.78 None termination-15/cstrcmp_malloc.yml true 10.63 6.95 None termination-15/cstrcmp_mixed_alloca.yml true 10.49 6.85 None termination-15/cstrcmp_reverse_alloca.yml true 11.28 7.09 None termination-15/cstrcpy_diffterm_alloca.yml true 10.02 6.89 None termination-15/cstrcpy_malloc.yml true 10.97 6.74 None termination-15/cstrcpy_mixed_alloca.yml true 10.44 6.94 None termination-15/cstrcpy_reverse_alloca.yml true 10.72 6.97 None termination-15/cstrcspn_diffterm_alloca.yml true 10.62 7.09 None termination-15/cstrcspn_malloc.yml true 10.64 6.96 None termination-15/cstrcspn_mixed_alloca.yml true 10.37 6.85 None termination-15/cstrcspn_reverse_alloca.yml true 10.42 6.75 None termination-15/cstrlen_diffterm_alloca.yml true 9.93 6.61 None termination-15/cstrlen_malloc.yml true 10.00 7.83 None termination-15/cstrlen_reverse_alloca.yml true 10.24 6.89 None termination-15/cstrpbrk_diffterm_alloca.yml true 10.73 6.97 None termination-15/cstrpbrk_malloc.yml true 11.12 7.33 None termination-15/cstrpbrk_mixed_alloca.yml true 10.75 7.02 None termination-15/cstrpbrk_reverse_alloca.yml true 11.21 7.09 None termination-15/cstrspn_diffterm_alloca.yml true 11.10 7.00 None termination-15/cstrspn_malloc.yml true 10.78 7.19 None termination-15/cstrspn_mixed_alloca.yml true 11.15 7.22 None termination-15/cstrspn_reverse_alloca.yml true 10.40 6.92 None termination-bwb/display-bit.yml false(no-overflow) 9.83 6.37 None termination-bwb/display-bit1.yml false(no-overflow) 9.82 6.32 None termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca.yml false(no-overflow) 11.01 7.07 None termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca.yml false(no-overflow) 10.62 7.03 None termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca-2.yml true 11.65 7.67 None termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca.yml false(no-overflow) 11.29 7.27 None termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca.yml true 10.34 6.98 None termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca.yml true 13.18 8.29 None termination-memory-alloca/Masse-alloca-2.yml false(no-overflow) 10.43 6.74 None termination-memory-alloca/Masse-alloca-3.yml true 10.89 7.29 None termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca-2.yml false(no-overflow) 11.20 7.43 None termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca-2.yml false(no-overflow) 11.79 7.60 None termination-memory-alloca/TelAviv-Amir-Minimum-alloca-2.yml true 12.10 7.79 None termination-memory-alloca/Toulouse-BranchesToLoop-alloca-2.yml false(no-overflow) 11.06 7.21 None termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca-2.yml false(no-overflow) 37.28 21.41 None termination-memory-alloca/Urban-2013WST-Fig1-alloca.yml true 10.41 6.79 None termination-memory-alloca/Urban-2013WST-Fig2-alloca-2.yml true 11.62 7.77 None termination-memory-alloca/Urban-alloca-2.yml true 12.85 8.11 None termination-memory-alloca/Velroyen-alloca.yml true 10.15 6.89 None termination-memory-alloca/a.01-alloca.yml true 13.48 8.91 None termination-memory-alloca/a.04-alloca.yml true 10.68 7.10 None termination-memory-alloca/a.05-alloca.yml true 12.34 8.03 None termination-memory-alloca/a.06-alloca.yml true 20.75 12.69 None termination-memory-alloca/a.07-alloca.yml true 12.20 7.84 None termination-memory-alloca/a.08-alloca.yml true 11.92 7.60 None termination-memory-alloca/a.09_assume-alloca.yml true 13.94 8.76 None termination-memory-alloca/a.10-alloca.yml true 13.17 8.25 None termination-memory-alloca/b.01-alloca.yml true 10.90 7.31 None termination-memory-alloca/b.02-alloca.yml true 12.55 8.10 None termination-memory-alloca/b.03-no-inv_assume-alloca.yml true 13.15 8.27 None termination-memory-alloca/b.03_assume-alloca.yml true 13.24 8.36 None termination-memory-alloca/b.04-alloca.yml true 10.17 6.53 None termination-memory-alloca/b.05-alloca.yml true 11.78 7.62 None termination-memory-alloca/b.06-alloca.yml TIMEOUT 90.58 73.06 None termination-memory-alloca/b.07-alloca.yml true 11.62 8.69 None termination-memory-alloca/b.09-no-inv_assume-alloca.yml TIMEOUT 91.24 69.13 None termination-memory-alloca/b.09_assume-alloca.yml TIMEOUT 90.39 74.08 None termination-memory-alloca/b.10-alloca.yml true 19.22 11.59 None termination-memory-alloca/b.11-alloca.yml true 27.13 15.61 None termination-memory-alloca/b.12-alloca.yml true 11.83 8.73 None termination-memory-alloca/b.13-alloca.yml true 14.08 8.54 None termination-memory-alloca/b.14-alloca.yml TIMEOUT 90.43 73.11 None termination-memory-alloca/b.15-alloca.yml true 15.88 9.74 None termination-memory-alloca/b.16-alloca.yml true 11.06 7.29 None termination-memory-alloca/b.17-alloca.yml true 12.29 7.72 None termination-memory-alloca/b.18-alloca.yml true 21.54 13.29 None termination-memory-alloca/bubblesort-alloca-1.yml true 16.51 10.66 None termination-memory-alloca/c.01-no-inv-alloca.yml true 12.45 8.48 None termination-memory-alloca/c.01_assume-alloca.yml true 13.76 9.14 None termination-memory-alloca/c.02-alloca.yml true 13.73 8.54 None termination-memory-alloca/c.03-alloca-1.yml true 12.03 7.59 None termination-memory-alloca/c.07-alloca.yml true 13.45 8.54 None termination-memory-alloca/c.08-alloca.yml true 13.13 8.53 None termination-memory-alloca/cstrcat-alloca-1.yml true 10.83 7.01 None termination-memory-alloca/cstrchr-alloca-1.yml true 9.76 6.56 None termination-memory-alloca/cstrcmp-alloca-1.yml true 10.93 6.98 None termination-memory-alloca/cstrcpy-alloca-2.yml true 10.61 6.85 None termination-memory-alloca/cstrcspn-alloca-2.yml true 10.80 7.08 None termination-memory-alloca/cstrlen-alloca-1.yml true 9.83 6.64 None termination-memory-alloca/cstrpbrk-alloca-1.yml true 10.65 7.07 None termination-memory-alloca/cstrspn-alloca-2.yml true 10.41 7.05 None termination-memory-alloca/ex1-alloca.yml false(no-overflow) 12.59 9.61 None termination-memory-alloca/ex2-alloca.yml false(no-overflow) 11.55 7.82 None termination-memory-alloca/ex3a-alloca.yml true 23.10 14.60 None termination-memory-alloca/ex3b-alloca.yml false(no-overflow) 10.49 7.44 None termination-memory-alloca/flag-alloca.yml false(no-overflow) 10.26 6.89 None termination-memory-alloca/gcd1-alloca.yml false(no-overflow) 10.68 6.82 None termination-memory-alloca/genady-alloca.yml true 20.84 13.30 None termination-memory-alloca/insertionsort-alloca-2.yml true 14.00 9.41 None termination-memory-alloca/java_BubbleSort-alloca-2.yml true 18.48 12.79 None termination-memory-alloca/min_rf-alloca.yml false(no-overflow) 11.84 7.45 None termination-memory-alloca/mult_array-alloca-2.yml false(no-overflow) 11.67 8.89 None termination-memory-alloca/openbsd_cstpcpy-alloca-2.yml true 10.70 6.78 None termination-memory-alloca/openbsd_cstpncpy-alloca-2.yml true 10.03 6.59 None termination-memory-alloca/openbsd_cstrcat-alloca-1.yml true 11.18 7.11 None termination-memory-alloca/openbsd_cstrcmp-alloca-2.yml true 14.82 9.95 None termination-memory-alloca/openbsd_cstrcpy-alloca-1.yml true 10.16 6.86 None termination-memory-alloca/openbsd_cstrcspn-alloca-1.yml true 10.77 7.10 None termination-memory-alloca/openbsd_cstrlen-alloca-2.yml true 10.08 6.58 None termination-memory-alloca/openbsd_cstrncat-alloca-1.yml true 11.74 7.42 None termination-memory-alloca/openbsd_cstrncmp-alloca-1.yml true 10.44 6.86 None termination-memory-alloca/openbsd_cstrncpy-alloca-1.yml true 10.12 6.68 None termination-memory-alloca/openbsd_cstrnlen-alloca-2.yml true 10.06 6.66 None termination-memory-alloca/openbsd_cstrpbrk-alloca-1.yml true 11.11 7.15 None termination-memory-alloca/openbsd_cstrspn-alloca-1.yml true 10.80 6.98 None termination-memory-alloca/openbsd_cstrstr-alloca-1.yml true 10.97 6.99 None termination-memory-alloca/selectionsort-alloca-2.yml true 14.31 9.67 None termination-memory-alloca/subseq-alloca-1.yml true 10.68 7.15 None termination-memory-alloca/substring-alloca-1.yml true 10.52 6.83 None termination-memory-linkedlists/cll_by_lseg-alloca-1.yml TIMEOUT 91.13 77.92 None termination-memory-linkedlists/cll_search-alloca-1.yml true 11.65 7.69 None termination-memory-linkedlists/cll_search-alloca-2.yml true 11.34 7.73 None termination-memory-linkedlists/cll_traverse-alloca.yml true 11.55 7.63 None termination-memory-linkedlists/ll_search-alloca.yml true 11.71 7.99 None termination-memory-linkedlists/ll_search_not_found-alloca.yml true 12.15 8.12 None termination-memory-linkedlists/ll_traverse-alloca.yml true 11.58 8.14 None termination-memory-linkedlists/nondet_ll_search-alloca-1.yml true 11.45 7.71 None termination-memory-linkedlists/nondet_ll_search-alloca-2.yml true 11.09 7.71 None termination-memory-linkedlists/nondet_ll_traverse-alloca.yml true 11.11 7.62 None termination-recursive-malloc/chunk1-2.yml true 13.14 8.38 None termination-recursive-malloc/chunk3.yml false(no-overflow) 23.51 15.76 None termination-recursive-malloc/insertionSort_recursive.yml true 18.31 12.20 None termination-recursive-malloc/mutual_simple.yml true 11.38 7.22 None termination-recursive-malloc/mutual_simple2.yml true 11.33 7.38 None termination-recursive-malloc/rec_malloc_ex1.yml false(no-overflow) 12.18 7.77 None termination-recursive-malloc/rec_malloc_ex10.yml false(no-overflow) 9.19 6.24 None termination-recursive-malloc/rec_malloc_ex11.yml true 14.16 8.96 None termination-recursive-malloc/rec_malloc_ex11C.yml true 14.35 9.09 None termination-recursive-malloc/rec_malloc_ex11D.yml true 14.22 9.15 None termination-recursive-malloc/rec_malloc_ex2.yml true 11.57 7.40 None termination-recursive-malloc/rec_malloc_ex3.yml true 10.91 7.05 None termination-recursive-malloc/rec_malloc_ex4.yml false(no-overflow) 9.10 6.26 None termination-recursive-malloc/rec_malloc_ex5.yml false(no-overflow) 9.67 6.68 None termination-recursive-malloc/rec_malloc_ex5B.yml false(no-overflow) 10.03 6.74 None termination-recursive-malloc/rec_malloc_ex6.yml false(no-overflow) 9.02 6.39 None termination-recursive-malloc/rec_malloc_ex7.yml false(no-overflow) 9.58 6.50 None termination-recursive-malloc/rec_malloc_ex7B.yml false(no-overflow) 9.17 6.18 None termination-recursive-malloc/rec_malloc_ex8.yml false(no-overflow) 9.44 6.35 None termination-recursive-malloc/rec_strcopy_malloc.yml true 9.30 6.65 None termination-recursive-malloc/selectionSort_recursive.yml true 18.95 13.79 None unsignedintegeroverflow-sas23/bilinear_interpolation.yml true 9.89 6.54 None unsignedintegeroverflow-sas23/cancel_var_through_overflow.yml true 9.26 6.43 None unsignedintegeroverflow-sas23/distance_through_overflow.yml true 9.33 6.19 None unsignedintegeroverflow-sas23/linear_interpolation.yml true 9.95 6.70 None unsignedintegeroverflow-sas23/linear_interpolation_2.yml true 10.17 6.97 None ---------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 8296.15 476.66 - Automizer_no-data-race.nonPreprocessed Run set 3 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------ goblint-regression/00-sanity_09-include.yml false(no-data-race) 11.00 7.20 None goblint-regression/02-base_24-malloc_races.yml false(no-data-race) 21.00 12.13 None goblint-regression/02-base_25-malloc_race_cp.yml false(no-data-race) 24.90 14.15 None goblint-regression/02-base_26-malloc_struct.yml false(no-data-race) 27.58 15.52 None goblint-regression/03-practical_07-nonterm.yml false(no-data-race) 11.78 7.73 None goblint-regression/03-practical_08-nonterm1.yml false(no-data-race) 12.39 7.84 None goblint-regression/03-practical_15-exit_problems.yml false(no-data-race) 11.91 7.61 None goblint-regression/04-mutex_01-simple_rc.yml false(no-data-race) 11.53 7.73 None goblint-regression/04-mutex_02-simple_nr.yml true 12.12 7.90 None goblint-regression/04-mutex_03-munge_rc.yml false(no-data-race) 12.11 7.71 None goblint-regression/04-mutex_04-munge_nr.yml true 18.74 10.94 None goblint-regression/04-mutex_05-lockfuns.yml true 11.90 7.63 None goblint-regression/04-mutex_06-ps_rc.yml false(no-data-race) 11.67 7.63 None goblint-regression/04-mutex_07-ps_nr.yml true 11.55 7.59 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(no-data-race) 15.90 9.73 None goblint-regression/04-mutex_10-ptrmunge_nr.yml TIMEOUT 90.95 70.08 None goblint-regression/04-mutex_11-ptr_rc.yml false(no-data-race) 14.89 9.26 None goblint-regression/04-mutex_12-ptr_nr.yml true 16.79 10.10 None goblint-regression/04-mutex_14-funarg_rc.yml false(no-data-race) 11.52 7.40 None goblint-regression/04-mutex_15-funarg_nr.yml true 12.39 8.10 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(no-data-race) 11.92 7.58 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 12.61 7.96 None goblint-regression/04-mutex_18-glob_guards.yml true 11.49 7.40 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(no-data-race) 11.43 7.70 None goblint-regression/04-mutex_20-stdfun_rc.yml false(no-data-race) 9.76 6.77 None goblint-regression/04-mutex_21-sound_base.yml false(no-data-race) 10.84 7.27 None goblint-regression/04-mutex_22-deref_read.yml true 12.90 8.09 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 15.84 10.78 None goblint-regression/04-mutex_24-sound_lock.yml false(no-data-race) 11.62 7.73 None goblint-regression/04-mutex_25-single_acc.yml false(no-data-race) 11.35 7.45 None goblint-regression/04-mutex_27-base_rc.yml false(no-data-race) 13.19 8.36 None goblint-regression/04-mutex_28-base_nr.yml true 13.55 8.44 None goblint-regression/04-mutex_37-indirect_rc.yml false(no-data-race) 16.25 9.85 None goblint-regression/04-mutex_38-indexing_malloc.yml false(no-data-race) 14.19 9.05 None goblint-regression/04-mutex_41-pt_rwlock.yml true 11.75 7.67 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 13.91 8.70 None goblint-regression/04-mutex_43-thread_create_nr.yml true 12.42 7.65 None goblint-regression/04-mutex_44-malloc_sound.yml false(no-data-race) 19.94 13.43 None goblint-regression/04-mutex_45-escape_rc.yml false(no-data-race) 15.89 9.57 None goblint-regression/04-mutex_46-escape_nr.yml true 17.27 10.42 None goblint-regression/04-mutex_47-fun_write.yml false(no-data-race) 11.51 7.49 None goblint-regression/04-mutex_50-funptr_rc.yml false(no-data-race) 11.45 7.44 None goblint-regression/04-mutex_51-mutex_ptr.yml true 17.19 10.26 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 11.82 7.51 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml false(no-data-race) 12.11 7.52 None goblint-regression/05-lval_ls_01-idx_rc.yml false(no-data-race) 17.55 11.50 None goblint-regression/05-lval_ls_02-idx_nr.yml true 13.81 9.33 None goblint-regression/05-lval_ls_03-fld_rc.yml false(no-data-race) 11.13 7.32 None goblint-regression/05-lval_ls_04-fld_nr.yml true 11.61 8.55 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml false(no-data-race) 14.12 8.77 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml false(no-data-race) 14.08 8.66 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml false(no-data-race) 17.16 10.46 None goblint-regression/05-lval_ls_09-idxsense_rc.yml false(no-data-race) 20.62 12.59 None goblint-regression/05-lval_ls_11-fldsense_rc.yml false(no-data-race) 14.75 9.18 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 17.90 10.68 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml false(no-data-race) 20.19 12.34 None goblint-regression/05-lval_ls_14-idxunknown_access.yml false(no-data-race) 15.93 9.71 None goblint-regression/05-lval_ls_15-fldunknown_access.yml false(no-data-race) 15.06 9.21 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 14.09 10.13 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 90.52 65.52 None goblint-regression/06-symbeq_03-funloop_simple.yml TIMEOUT 90.66 65.27 None goblint-regression/06-symbeq_04-funloop_hard1.yml TIMEOUT 90.74 64.99 None goblint-regression/06-symbeq_05-funloop_hard2.yml TIMEOUT 91.46 64.52 None goblint-regression/06-symbeq_06-tricky_address1.yml TIMEOUT 91.05 62.82 None goblint-regression/06-symbeq_07-tricky_address2.yml TIMEOUT 90.53 64.55 None goblint-regression/06-symbeq_08-tricky_address3.yml TIMEOUT 91.16 61.80 None goblint-regression/06-symbeq_09-tricky_address4.yml false(no-data-race) 25.25 14.87 None goblint-regression/06-symbeq_10-equ_rc.yml false(no-data-race) 13.54 8.37 None goblint-regression/06-symbeq_11-equ_nr.yml true 23.02 13.35 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 46.98 28.03 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 24.24 14.47 None goblint-regression/09-regions_01-list_rc.yml TIMEOUT 90.53 72.03 None goblint-regression/09-regions_02-list_nr.yml TIMEOUT 90.67 69.43 None goblint-regression/09-regions_03-list2_rc.yml TIMEOUT 90.96 60.60 None goblint-regression/09-regions_04-list2_nr.yml TIMEOUT 90.54 62.04 None goblint-regression/09-regions_09-arraylist.yml true 69.01 47.04 None goblint-regression/09-regions_10-arraylist_rc.yml TIMEOUT 91.64 64.85 None goblint-regression/09-regions_11-arraylist_nr.yml TIMEOUT 91.42 65.87 None goblint-regression/09-regions_12-arraycollapse_rc.yml TIMEOUT 90.31 63.55 None goblint-regression/09-regions_13-arraycollapse_nr.yml TIMEOUT 91.82 62.87 None goblint-regression/09-regions_18-nested_rc.yml TIMEOUT 90.95 62.48 None goblint-regression/09-regions_19-nested_nr.yml TIMEOUT 91.64 63.72 None goblint-regression/09-regions_20-arrayloop2_rc.yml TIMEOUT 90.86 63.61 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 90.85 62.50 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT 90.52 63.88 None goblint-regression/09-regions_23-evilcollapse_rc.yml TIMEOUT 91.03 64.19 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 90.91 63.00 None goblint-regression/09-regions_26-alloc_region_rc.yml TIMEOUT 91.22 68.98 None goblint-regression/09-regions_28-list2alloc.yml false(no-data-race) 20.63 11.92 None goblint-regression/10-synch_01-thread_unique.yml true 10.16 7.75 None goblint-regression/10-synch_02-thread_nonunique.yml false(no-data-race) 14.04 8.54 None goblint-regression/10-synch_03-two_unique.yml true 10.84 7.34 None goblint-regression/13-privatized_01-priv_nr_true.yml true 12.87 8.16 None goblint-regression/13-privatized_03-priv_inv.yml true 12.72 7.75 None goblint-regression/13-privatized_18-first-reads_true.yml true 11.29 7.28 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml true 10.97 6.98 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml true 10.61 6.72 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml true 10.74 6.96 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml true 11.00 6.99 None goblint-regression/13-privatized_19-publish-precision_true.yml true 10.62 7.08 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml true 12.48 7.78 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml true 11.44 7.23 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml true 11.77 7.50 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml true 11.93 7.53 None goblint-regression/13-privatized_20-publish-regression_true.yml true 12.45 7.79 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 17.45 10.19 None goblint-regression/13-privatized_25-struct_nr_true.yml true 11.53 7.53 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 32.07 21.24 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 12.40 8.12 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 12.46 8.04 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 11.81 7.64 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 14.02 8.78 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 12.25 7.85 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 13.08 8.23 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 11.52 7.51 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 12.07 7.83 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 12.34 7.81 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 12.37 7.75 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 12.54 8.02 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml true 11.38 7.46 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml true 11.49 7.58 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 12.78 8.06 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 12.44 7.96 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 12.06 7.70 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 10.80 7.06 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 11.09 7.12 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 11.29 7.25 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 10.71 6.80 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 10.83 6.98 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 9.82 6.68 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 68.50 47.43 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 14.13 8.54 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 11.01 7.23 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 10.33 6.65 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml true 12.09 7.63 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml true 11.79 7.56 None goblint-regression/36-apron_21-traces-cluster-based_true.yml OUT OF MEMORY 66.43 47.96 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 17.25 10.20 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml true 9.19 6.20 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml true 9.52 6.28 None pthread-C-DAC/pthread-demo-datarace-1.yml true 12.86 7.97 None pthread-C-DAC/pthread-demo-datarace-2.yml false(no-data-race) 12.68 8.17 None pthread-C-DAC/pthread-demo-datarace-3.yml true 13.12 8.52 None pthread-atomic/gcd-2.yml false(no-data-race) 12.05 7.48 None pthread-complex/elimination_backoff_stack-race.yml OUT OF MEMORY 74.43 47.07 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 73.09 44.85 None pthread-race-challenges/atomic-gcc.yml unknown 23.71 15.98 None pthread-race-challenges/per-thread-array-index-race-2.yml OUT OF MEMORY 75.28 52.79 None pthread-race-challenges/per-thread-array-index-race.yml OUT OF MEMORY 73.42 51.83 None pthread-race-challenges/per-thread-array-index.yml OUT OF MEMORY 81.27 58.60 None pthread-race-challenges/per-thread-array-init-race.yml false(no-data-race) 15.17 9.27 None pthread-race-challenges/per-thread-array-init.yml TIMEOUT 90.32 75.03 None pthread-race-challenges/per-thread-array-join-counter-2.yml OUT OF MEMORY 77.44 53.15 None pthread-race-challenges/per-thread-array-join-counter-race-2.yml OUT OF MEMORY 77.10 53.37 None pthread-race-challenges/per-thread-array-join-counter-race-3.yml OUT OF MEMORY 70.79 48.64 None pthread-race-challenges/per-thread-array-join-counter-race-4.yml OUT OF MEMORY 77.77 54.56 None pthread-race-challenges/per-thread-array-join-counter-race.yml OUT OF MEMORY 80.12 56.59 None pthread-race-challenges/per-thread-array-join-counter.yml OUT OF MEMORY 87.09 61.19 None pthread-race-challenges/per-thread-array-ptr-race.yml TIMEOUT 91.30 69.95 None pthread-race-challenges/per-thread-array-ptr.yml TIMEOUT 90.96 71.12 None pthread-race-challenges/per-thread-struct-in-array-race.yml TIMEOUT 91.73 68.55 None pthread-race-challenges/per-thread-struct-in-array.yml TIMEOUT 91.22 70.16 None pthread-race-challenges/per-thread-struct-race.yml TIMEOUT 91.16 70.36 None pthread-race-challenges/per-thread-struct-tid-join.yml OUT OF MEMORY 82.18 57.82 None pthread-race-challenges/per-thread-struct-tid.yml TIMEOUT 90.30 73.40 None pthread-race-challenges/per-thread-struct.yml TIMEOUT 91.40 70.00 None pthread-race-challenges/thread-join-array-const-race-2.yml false(no-data-race) 82.18 58.01 None pthread-race-challenges/thread-join-array-const-race-3.yml OUT OF MEMORY 65.74 46.72 None pthread-race-challenges/thread-join-array-const-race.yml false(no-data-race) 58.16 38.56 None pthread-race-challenges/thread-join-array-const.yml true 59.33 39.80 None pthread-race-challenges/thread-join-array-dynamic-race-2.yml false(no-data-race) 62.92 43.16 None pthread-race-challenges/thread-join-array-dynamic-race-3.yml OUT OF MEMORY 77.00 56.45 None pthread-race-challenges/thread-join-array-dynamic-race.yml false(no-data-race) 16.20 9.77 None pthread-race-challenges/thread-join-array-dynamic.yml OUT OF MEMORY 73.88 52.64 None pthread-race-challenges/thread-join-binomial-race-2.yml OUT OF MEMORY 79.31 56.86 None pthread-race-challenges/thread-join-binomial-race-3.yml OUT OF MEMORY 74.44 52.55 None pthread-race-challenges/thread-join-binomial-race.yml OUT OF MEMORY 72.56 51.59 None pthread-race-challenges/thread-join-binomial.yml OUT OF MEMORY 78.10 55.61 None pthread-race-challenges/thread-join-counter-inner-2.yml OUT OF MEMORY 62.77 44.19 None pthread-race-challenges/thread-join-counter-inner-3.yml OUT OF MEMORY 66.27 47.16 None pthread-race-challenges/thread-join-counter-inner-race-2.yml OUT OF MEMORY 66.10 47.89 None pthread-race-challenges/thread-join-counter-inner-race-3.yml OUT OF MEMORY 72.49 51.85 None pthread-race-challenges/thread-join-counter-inner-race-4.yml OUT OF MEMORY 65.45 46.59 None pthread-race-challenges/thread-join-counter-inner-race-5.yml OUT OF MEMORY 82.86 56.45 None pthread-race-challenges/thread-join-counter-inner-race.yml false(no-data-race) 29.83 18.95 None pthread-race-challenges/thread-join-counter-inner.yml OUT OF MEMORY 65.77 46.45 None pthread-race-challenges/thread-join-counter-outer-race-2.yml false(no-data-race) 28.48 16.42 None pthread-race-challenges/thread-join-counter-outer-race-3.yml false(no-data-race) 14.86 8.96 None pthread-race-challenges/thread-join-counter-outer-race-4.yml OUT OF MEMORY 84.31 58.57 None pthread-race-challenges/thread-join-counter-outer-race.yml false(no-data-race) 17.87 10.65 None pthread-race-challenges/thread-join-counter-outer.yml OUT OF MEMORY 68.17 46.93 None pthread-race-challenges/thread-local-pthread-value-cond.yml unknown 14.85 10.40 None pthread-race-challenges/thread-local-pthread-value.yml unknown 15.24 10.56 None pthread-race-challenges/thread-local-value-cond.yml unknown 14.88 10.38 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 15.29 10.31 None pthread-race-challenges/thread-local-value-race.yml unknown 14.47 10.03 None pthread-race-challenges/thread-local-value.yml unknown 15.07 10.14 None pthread-race-challenges/value-barrier-race.yml false(no-data-race) 15.98 9.67 None pthread-race-challenges/value-barrier.yml OUT OF MEMORY 66.93 46.37 None pthread-theta/wsc.yml true 9.77 6.35 None pthread/bigshot_p.yml false(no-data-race) 10.90 7.22 None pthread/bigshot_s.yml true 11.86 7.58 None pthread/bigshot_s2.yml true 11.65 7.48 None pthread/butterfly.yml true 9.53 6.47 None pthread/lazy01.yml true 12.91 8.14 None pthread/sigma.yml false(no-data-race) 15.49 9.50 None pthread/singleton-b.yml false(no-data-race) 13.52 8.48 None pthread/singleton.yml true 11.73 7.45 None pthread/singleton_with-uninit-problems-b.yml false(no-data-race) 13.37 8.48 None pthread/singleton_with-uninit-problems.yml true 11.53 7.49 None pthread/stateful01-1.yml true 12.70 7.92 None pthread/stateful01-2.yml true 12.22 7.87 None pthread/sync01.yml true 14.66 8.83 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 3 done 7598.22 410.33 - Automizer_memsafety.memsafety Run set 4 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/relax-1.yml false(valid-deref) 11.03 7.14 None array-examples/relax-2-2.yml unknown 55.27 39.46 None array-examples/relax-2.yml false(valid-deref) 10.56 6.94 None array-memsafety-realloc/array-realloc-1.yml false(valid-free) 13.71 8.58 None array-memsafety-realloc/array-realloc-2.yml true 44.00 33.17 None array-memsafety-realloc/array-realloc-3.yml unknown 20.78 14.99 None array-memsafety/add_last_unsafe.yml false(valid-deref) 10.35 6.87 None array-memsafety/array01-alloca-2.yml true 16.96 11.17 None array-memsafety/array02-alloca-2.yml true 17.89 11.36 None array-memsafety/bubblesort-alloca-2.yml true 20.68 13.29 None array-memsafety/count_down-alloca-1.yml true 17.69 11.41 None array-memsafety/count_down_unsafe.yml false(valid-deref) 10.39 6.94 None array-memsafety/cstrcat-alloca-2.yml TIMEOUT 90.48 66.70 None array-memsafety/cstrchr-alloca-2.yml TIMEOUT 90.29 67.54 None array-memsafety/cstrchr_unsafe.yml false(valid-deref) 15.15 10.45 None array-memsafety/cstrcmp-alloca-2.yml TIMEOUT 91.18 67.35 None array-memsafety/cstrcpy-alloca-1.yml TIMEOUT 90.54 66.34 None array-memsafety/cstrcspn-alloca-1.yml true 54.13 36.58 None array-memsafety/cstrlen-alloca-2.yml true 22.24 13.56 None array-memsafety/cstrlen_unsafe.yml false(valid-deref) 15.66 9.85 None array-memsafety/cstrncat-alloca-2.yml TIMEOUT 90.14 66.18 None array-memsafety/cstrncpy-alloca-2.yml true 43.49 28.59 None array-memsafety/cstrpbrk-alloca-2.yml TIMEOUT 90.67 68.89 None array-memsafety/cstrpbrk_unsafe.yml false(valid-deref) 18.16 11.26 None array-memsafety/cstrspn-alloca-1.yml TIMEOUT 90.51 65.91 None array-memsafety/diff-alloca-2.yml true 43.34 28.39 None array-memsafety/insertionsort-alloca-1.yml true 20.77 13.01 None array-memsafety/java_BubbleSort-alloca-1.yml true 19.69 14.05 None array-memsafety/knapsack_alloca_unsafe.yml false(valid-deref) 11.93 7.43 None array-memsafety/lis-alloca-1.yml true 36.73 24.79 None array-memsafety/lis_unsafe.yml false(valid-deref) 10.87 7.15 None array-memsafety/mult_array-alloca-1.yml TIMEOUT 90.99 82.03 None array-memsafety/mult_array_unsafe.yml false(valid-deref) 10.48 7.27 None array-memsafety/openbsd_cbzero-alloca-2.yml true 19.57 12.13 None array-memsafety/openbsd_cmemchr-alloca-2.yml true 50.98 35.82 None array-memsafety/openbsd_cmemrchr-alloca-2.yml true 45.68 30.41 None array-memsafety/openbsd_cmemset-alloca-1.yml true 18.33 11.21 None array-memsafety/openbsd_cstpcpy-alloca-1.yml true 58.92 41.36 None array-memsafety/openbsd_cstpncpy-alloca-1.yml TIMEOUT 91.47 66.56 None array-memsafety/openbsd_cstrcat-alloca-2.yml TIMEOUT 90.15 65.61 None array-memsafety/openbsd_cstrcmp-alloca-1.yml TIMEOUT 90.29 73.75 None array-memsafety/openbsd_cstrcpy-alloca-2.yml true 28.38 17.61 None array-memsafety/openbsd_cstrcspn-alloca-2.yml TIMEOUT 90.77 66.77 None array-memsafety/openbsd_cstrlcpy-alloca-1.yml TIMEOUT 90.61 66.36 None array-memsafety/openbsd_cstrlen-alloca-1.yml true 23.02 14.09 None array-memsafety/openbsd_cstrncat-alloca-2.yml TIMEOUT 91.04 69.85 None array-memsafety/openbsd_cstrncmp-alloca-2.yml TIMEOUT 90.50 65.60 None array-memsafety/openbsd_cstrncpy-alloca-2.yml TIMEOUT 90.17 66.70 None array-memsafety/openbsd_cstrnlen-alloca-1.yml true 27.63 17.14 None array-memsafety/openbsd_cstrpbrk-alloca-2.yml TIMEOUT 91.39 71.72 None array-memsafety/openbsd_cstrspn-alloca-2.yml TIMEOUT 90.63 66.01 None array-memsafety/openbsd_cstrstr-alloca-2.yml TIMEOUT 91.04 70.54 None array-memsafety/rec_strlen-alloca-1.yml true 32.28 22.47 None array-memsafety/reverse_array_alloca_unsafe.yml false(valid-deref) 12.53 7.95 None array-memsafety/reverse_array_unsafe.yml false(valid-deref) 11.26 7.26 None array-memsafety/selectionsort-alloca-1.yml true 29.99 20.16 None array-memsafety/strreplace-alloca-2.yml TIMEOUT 90.36 67.83 None array-memsafety/subseq-alloca-2.yml TIMEOUT 90.35 64.36 None array-memsafety/substring-alloca-2.yml TIMEOUT 92.10 59.84 None goblint-regression/04-mutex_02-simple_nr.yml true 11.46 7.07 None goblint-regression/04-mutex_04-munge_nr.yml true 10.30 6.67 None goblint-regression/04-mutex_05-lockfuns.yml true 9.97 6.81 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 11.93 7.54 None goblint-regression/04-mutex_12-ptr_nr.yml true 12.21 7.74 None goblint-regression/04-mutex_15-funarg_nr.yml true 11.49 7.14 None goblint-regression/04-mutex_18-glob_guards.yml true 10.93 7.19 None goblint-regression/04-mutex_22-deref_read.yml true 10.62 6.94 None goblint-regression/04-mutex_28-base_nr.yml true 10.11 6.57 None goblint-regression/04-mutex_41-pt_rwlock.yml true 10.43 6.79 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 11.46 7.27 None goblint-regression/04-mutex_46-escape_nr.yml true 13.26 8.30 None goblint-regression/04-mutex_51-mutex_ptr.yml true 12.52 8.11 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 10.66 6.93 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 11.40 7.19 None goblint-regression/06-symbeq_02-funloop_norace.yml true 28.87 17.93 None goblint-regression/06-symbeq_05-funloop_hard2.yml true 30.86 18.56 None goblint-regression/06-symbeq_06-tricky_address1.yml true 15.00 9.31 None goblint-regression/06-symbeq_07-tricky_address2.yml true 14.06 9.04 None goblint-regression/06-symbeq_08-tricky_address3.yml true 14.38 9.23 None goblint-regression/06-symbeq_11-equ_nr.yml true 12.19 7.71 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 12.33 8.01 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 13.61 8.74 None goblint-regression/09-regions_02-list_nr.yml unknown 41.55 26.77 None goblint-regression/09-regions_04-list2_nr.yml TIMEOUT 90.97 66.53 None goblint-regression/09-regions_09-arraylist-deref.yml false(valid-deref) 26.70 15.67 None goblint-regression/09-regions_09-arraylist.yml TIMEOUT 90.17 75.27 None goblint-regression/09-regions_11-arraylist_nr-deref.yml false(valid-deref) 40.95 25.31 None goblint-regression/09-regions_11-arraylist_nr.yml TIMEOUT 90.30 73.74 None goblint-regression/09-regions_12-arraycollapse_rc-deref.yml TIMEOUT 90.57 69.63 None goblint-regression/09-regions_12-arraycollapse_rc.yml TIMEOUT 90.28 73.77 None goblint-regression/09-regions_13-arraycollapse_nr-deref.yml TIMEOUT 90.92 68.09 None goblint-regression/09-regions_13-arraycollapse_nr.yml TIMEOUT 90.38 72.32 None goblint-regression/09-regions_19-nested_nr-deref.yml false(valid-deref) 32.61 19.05 None goblint-regression/09-regions_19-nested_nr.yml TIMEOUT 90.51 61.79 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 90.29 75.54 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT 90.18 75.81 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 90.55 73.83 None goblint-regression/10-synch_01-thread_unique.yml true 10.01 6.48 None goblint-regression/10-synch_03-two_unique.yml true 10.22 6.67 None goblint-regression/13-privatized_01-priv_nr_true.yml true 12.96 8.14 None goblint-regression/13-privatized_03-priv_inv.yml true 12.50 7.68 None goblint-regression/13-privatized_18-first-reads_true.yml true 11.19 7.32 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml unknown 18.08 12.77 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml unknown 17.74 12.19 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml unknown 17.42 12.42 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml unknown 18.17 12.31 None goblint-regression/13-privatized_19-publish-precision_true.yml true 11.60 7.19 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml unknown 18.00 12.32 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml unknown 19.67 14.55 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml unknown 19.67 13.78 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml unknown 18.75 12.76 None goblint-regression/13-privatized_20-publish-regression_true.yml true 11.85 7.68 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 17.24 10.19 None goblint-regression/13-privatized_25-struct_nr_true.yml true 12.73 7.90 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 21.36 12.43 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 14.15 8.86 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 12.03 7.75 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 12.60 8.04 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 13.46 8.33 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 91.42 67.63 None goblint-regression/36-apron_21-traces-cluster-based_true.yml OUT OF MEMORY 66.57 49.64 None heap-manipulation/dancing.yml TIMEOUT 90.42 71.98 None list-ext-properties/960521-1_1-1.yml false(valid-deref) 14.23 9.36 None list-ext-properties/960521-1_1-2.yml true 38.90 25.30 None list-ext-properties/960521-1_1-3.yml false(valid-free) 19.29 12.55 None list-ext-properties/list-ext.yml unknown 29.66 20.39 None list-ext-properties/list-ext_1.yml TIMEOUT 90.77 71.68 None list-ext-properties/list-ext_2.yml unknown 28.60 19.92 None list-ext-properties/list-ext_flag.yml TIMEOUT 90.57 75.03 None list-ext-properties/list-ext_flag_1.yml TIMEOUT 90.59 74.38 None list-ext-properties/simple-ext_1.yml TIMEOUT 90.41 75.21 None list-ext-properties/test-0019_1-1.yml unknown 35.57 24.93 None list-ext-properties/test-0019_1-2.yml unknown 38.83 27.23 None list-ext-properties/test-0158_1-1.yml true 11.42 7.39 None list-ext-properties/test-0158_1-2.yml unknown 20.18 13.87 None list-ext-properties/test-0158_1-3.yml false(valid-free) 12.33 7.74 None list-ext-properties/test-0214_1.yml TIMEOUT 90.39 63.40 None list-ext-properties/test-0217_1.yml TIMEOUT 90.34 60.98 None list-ext-properties/test-0232_1-1.yml unknown 52.60 37.47 None list-ext-properties/test-0232_1-2.yml TIMEOUT 90.21 75.05 None list-ext-properties/test-0504_1.yml TIMEOUT 90.98 69.77 None list-ext-properties/test-0513_1.yml TIMEOUT 90.26 63.29 None list-ext3-properties/dll_circular_traversal-1.yml TIMEOUT 90.67 71.23 None list-ext3-properties/dll_circular_traversal-2.yml TIMEOUT 90.56 73.74 None list-ext3-properties/dll_nondet_free_order-1.yml TIMEOUT 91.27 67.31 None list-ext3-properties/dll_nondet_free_order-2.yml TIMEOUT 90.79 68.22 None list-ext3-properties/dll_nullified-2.yml TIMEOUT 90.19 67.30 None list-ext3-properties/sll_circular_traversal-1.yml TIMEOUT 90.83 69.84 None list-ext3-properties/sll_circular_traversal-2.yml TIMEOUT 91.01 70.71 None list-ext3-properties/sll_length_check-2.yml TIMEOUT 90.96 70.39 None list-ext3-properties/sll_nondet_insert-2.yml TIMEOUT 90.93 69.52 None list-ext3-properties/sll_of_sll_nondet_append-1.yml TIMEOUT 91.08 68.74 None list-ext3-properties/sll_shallow_copy-1.yml true 18.35 12.68 None list-ext3-properties/sll_shallow_copy-2.yml unknown 43.35 34.90 None list-properties/alternating_list-1.yml TIMEOUT 90.57 75.03 None list-properties/list-1.yml unknown 27.93 19.07 None list-properties/list_flag-2.yml unknown 20.98 15.60 None list-properties/simple-2.yml unknown 23.65 16.64 None list-properties/simple_built_from_end.yml unknown 23.47 17.40 None list-properties/splice-2.yml unknown 19.22 13.95 None list-simple/dll2c_append_equal.yml TIMEOUT 91.14 67.27 None list-simple/dll2c_append_unequal.yml TIMEOUT 91.99 62.39 None list-simple/dll2c_insert_equal.yml TIMEOUT 91.48 69.63 None list-simple/dll2c_insert_unequal.yml TIMEOUT 91.15 68.79 None list-simple/dll2c_prepend_equal.yml TIMEOUT 90.62 62.64 None list-simple/dll2c_prepend_unequal.yml TIMEOUT 90.62 69.39 None list-simple/dll2c_remove_all.yml TIMEOUT 90.77 68.84 None list-simple/dll2c_remove_all_reverse.yml TIMEOUT 90.81 71.06 None list-simple/dll2c_update_all.yml TIMEOUT 91.02 65.95 None list-simple/dll2c_update_all_reverse.yml TIMEOUT 91.00 67.05 None list-simple/dll2n_append_equal.yml TIMEOUT 90.93 71.40 None list-simple/dll2n_append_unequal.yml TIMEOUT 90.79 75.52 None list-simple/dll2n_insert_equal.yml TIMEOUT 91.03 74.93 None list-simple/dll2n_insert_unequal.yml TIMEOUT 90.40 72.53 None list-simple/dll2n_prepend_equal.yml TIMEOUT 91.11 68.98 None list-simple/dll2n_prepend_unequal.yml TIMEOUT 90.42 73.38 None list-simple/dll2n_remove_all.yml TIMEOUT 90.24 74.43 None list-simple/dll2n_remove_all_reverse.yml TIMEOUT 90.99 74.00 None list-simple/dll2n_update_all.yml TIMEOUT 90.99 67.65 None list-simple/dll2n_update_all_reverse.yml TIMEOUT 90.93 71.22 None list-simple/sll2c_append_equal.yml TIMEOUT 91.07 68.98 None list-simple/sll2c_append_unequal.yml TIMEOUT 91.07 74.11 None list-simple/sll2c_insert_equal.yml TIMEOUT 91.09 66.92 None list-simple/sll2c_insert_unequal.yml TIMEOUT 90.98 66.96 None list-simple/sll2c_prepend_equal.yml TIMEOUT 91.12 72.18 None list-simple/sll2c_prepend_unequal.yml TIMEOUT 90.54 68.86 None list-simple/sll2c_remove_all.yml true 88.32 65.21 None list-simple/sll2c_remove_all_reverse.yml TIMEOUT 91.09 68.65 None list-simple/sll2c_update_all.yml TIMEOUT 90.77 67.44 None list-simple/sll2c_update_all_reverse.yml TIMEOUT 90.64 69.40 None list-simple/sll2n_append_equal.yml TIMEOUT 90.93 72.03 None list-simple/sll2n_append_unequal.yml TIMEOUT 91.12 78.03 None list-simple/sll2n_insert_equal.yml TIMEOUT 90.57 73.38 None list-simple/sll2n_insert_unequal.yml TIMEOUT 91.11 72.28 None list-simple/sll2n_prepend_equal.yml TIMEOUT 90.31 74.99 None list-simple/sll2n_prepend_unequal.yml TIMEOUT 90.75 72.76 None list-simple/sll2n_remove_all.yml true 77.54 59.04 None list-simple/sll2n_remove_all_reverse.yml TIMEOUT 91.15 69.11 None list-simple/sll2n_update_all.yml TIMEOUT 90.82 65.67 None list-simple/sll2n_update_all_reverse.yml TIMEOUT 90.46 63.53 None memory-alloca/c.03-alloca-2.yml true 13.25 8.24 None memsafety-bftpd/bftpd_1.yml TIMEOUT 90.25 63.74 None memsafety-bftpd/bftpd_2.yml TIMEOUT 90.74 67.86 None memsafety-bftpd/bftpd_3.yml TIMEOUT 90.85 66.39 None memsafety-ext/dll_extends_pointer.yml TIMEOUT 91.11 71.25 None memsafety-ext/skiplist_2lvl.yml TIMEOUT 90.40 64.68 None memsafety-ext/skiplist_3lvl.yml TIMEOUT 91.07 67.56 None memsafety-ext/tree_cnstr.yml TIMEOUT 90.86 70.18 None memsafety-ext/tree_dsw.yml TIMEOUT 90.48 70.64 None memsafety-ext/tree_of_cslls.yml TIMEOUT 91.02 64.50 None memsafety-ext/tree_parent_ptr.yml TIMEOUT 90.97 68.21 None memsafety-ext/tree_stack.yml TIMEOUT 90.78 69.52 None memsafety-ext2/complex_data_creation_test01-1.yml TIMEOUT 90.57 73.45 None memsafety-ext2/complex_data_creation_test02-2.yml TIMEOUT 90.98 68.91 None memsafety-ext2/length_test03-1.yml TIMEOUT 90.89 67.77 None memsafety-ext2/length_test03-2.yml TIMEOUT 90.46 65.86 None memsafety-ext2/optional_data_creation_test04-1.yml TIMEOUT 90.28 63.90 None memsafety-ext2/optional_data_creation_test04-2.yml TIMEOUT 90.91 67.18 None memsafety-ext2/split_list_test05-1.yml TIMEOUT 90.85 67.40 None memsafety-ext2/split_list_test05-2.yml TIMEOUT 90.38 63.51 None memsafety/20020406-1.yml TIMEOUT 90.64 67.86 None memsafety/20051113-1.yml TIMEOUT 90.28 73.82 None memsafety/cmp-freed-ptr.yml false(valid-free) 10.80 7.09 None memsafety/global-atexit-2.yml unknown 14.68 11.24 None memsafety/global-atexit-5.yml unknown 14.02 9.90 None memsafety/lockfree-3.0.yml TIMEOUT 90.84 58.59 None memsafety/lockfree-3.1.yml unknown 43.67 30.00 None memsafety/lockfree-3.2.yml unknown 22.68 16.32 None memsafety/lockfree-3.3.yml unknown 66.32 45.75 None memsafety/test-0019-1.yml true 21.14 12.49 None memsafety/test-0019-2.yml unknown 24.71 17.07 None memsafety/test-0158-1.yml true 11.49 7.34 None memsafety/test-0158-2.yml unknown 19.77 13.70 None memsafety/test-0158-3.yml false(valid-free) 11.79 7.58 None memsafety/test-0214.yml TIMEOUT 90.30 73.85 None memsafety/test-0217.yml TIMEOUT 90.61 63.14 None memsafety/test-0218.yml TIMEOUT 90.80 65.86 None memsafety/test-0219.yml TIMEOUT 90.26 74.28 None memsafety/test-0220.yml TIMEOUT 91.00 81.04 None memsafety/test-0232-1.yml unknown 59.07 42.20 None memsafety/test-0232-2.yml TIMEOUT 90.91 69.00 None memsafety/test-0232-3.yml TIMEOUT 90.71 69.20 None memsafety/test-0234-1.yml TIMEOUT 90.44 72.32 None memsafety/test-0234-2.yml TIMEOUT 90.87 70.07 None memsafety/test-0235-1.yml TIMEOUT 90.58 70.58 None memsafety/test-0235-2.yml TIMEOUT 90.45 72.43 None memsafety/test-0235-3.yml TIMEOUT 90.81 73.21 None memsafety/test-0236.yml TIMEOUT 90.34 74.15 None memsafety/test-0237.yml TIMEOUT 90.47 76.55 None memsafety/test-0504.yml TIMEOUT 90.71 71.54 None memsafety/test-0513.yml TIMEOUT 90.55 67.44 None memsafety/test-0521.yml TIMEOUT 90.63 62.79 None memsafety/test-memleak_nexttime.yml TIMEOUT 90.20 73.66 None pthread-C-DAC/pthread-demo-datarace-1.yml true 81.80 59.43 None pthread-C-DAC/pthread-demo-datarace-3.yml TIMEOUT 90.72 65.40 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 54.90 32.47 None pthread-memsafety/fillarray.yml false(valid-deref) 11.12 7.05 None pthread-memsafety/fillarray1.yml false(valid-deref) 11.65 7.48 None pthread-memsafety/list1.yml unknown 82.48 64.18 None pthread-theta/wsc.yml true 23.40 14.56 None pthread/bigshot_s.yml unknown 83.01 61.98 None pthread/bigshot_s2.yml unknown 85.62 64.25 None pthread/lazy01.yml unknown 22.86 15.50 None pthread/reorder_5-2.yml unknown 22.58 15.39 None pthread/singleton.yml unknown 24.77 16.11 None pthread/singleton_with-uninit-problems.yml unknown 24.45 15.97 None pthread/stateful01-1.yml unknown 20.37 14.28 None pthread/stateful01-2.yml true 12.31 7.61 None pthread/sync01.yml true 16.74 9.77 None recursive-with-pointer/system-with-recursion.yml false(valid-deref) 40.66 23.03 None termination-15/array12_alloca.yml true 16.60 10.82 None termination-15/array13_alloca.yml true 15.82 10.46 None termination-15/array14_alloca.yml true 16.14 10.66 None termination-15/array15_alloca.yml true 16.25 10.66 None termination-15/array16_alloca_fixed.yml true 17.16 10.98 None termination-15/array16_alloca_original.yml true 16.74 10.99 None termination-15/array17_alloca.yml true 14.30 9.20 None termination-15/count_up_alloca.yml true 17.01 11.29 None termination-15/count_up_and_down_alloca.yml true 18.36 11.98 None termination-15/cstrcat_reverse_alloca.yml true 68.15 51.85 None termination-15/cstrchr_diffterm_alloca.yml true 20.74 13.18 None termination-15/cstrchr_malloc.yml true 19.24 11.80 None termination-15/cstrchr_reverse_alloca.yml true 16.49 10.40 None termination-15/cstrcmp_diffterm_alloca.yml true 82.66 70.27 None termination-15/cstrcmp_malloc.yml true 82.17 68.33 None termination-15/cstrcmp_mixed_alloca.yml true 73.10 60.65 None termination-15/cstrcmp_reverse_alloca.yml true 22.52 13.59 None termination-15/cstrcpy_diffterm_alloca.yml true 32.04 21.22 None termination-15/cstrcpy_malloc.yml true 25.00 15.07 None termination-15/cstrcpy_mixed_alloca.yml true 22.52 13.64 None termination-15/cstrcpy_reverse_alloca.yml true 19.54 11.92 None termination-15/cstrcspn_diffterm_alloca.yml true 44.51 34.47 None termination-15/cstrcspn_malloc.yml TIMEOUT 90.41 76.14 None termination-15/cstrcspn_mixed_alloca.yml true 84.52 69.80 None termination-15/cstrcspn_reverse_alloca.yml true 23.83 14.11 None termination-15/cstrlen_diffterm_alloca.yml true 16.01 10.02 None termination-15/cstrlen_malloc.yml true 21.08 14.48 None termination-15/cstrlen_reverse_alloca.yml true 14.96 9.49 None termination-15/cstrncat_reverse_alloca.yml false(valid-deref) 23.86 14.22 None termination-15/cstrncpy_diffterm_alloca.yml true 62.25 44.56 None termination-15/cstrncpy_malloc.yml true 63.19 44.76 None termination-15/cstrncpy_mixed_alloca.yml true 22.99 13.79 None termination-15/cstrncpy_reverse_alloca.yml true 20.16 12.09 None termination-15/cstrpbrk_diffterm_alloca.yml true 37.84 25.08 None termination-15/cstrpbrk_malloc.yml TIMEOUT 91.05 79.33 None termination-15/cstrpbrk_mixed_alloca.yml TIMEOUT 91.02 79.63 None termination-15/cstrpbrk_reverse_alloca.yml true 22.59 13.73 None termination-15/cstrspn_diffterm_alloca.yml TIMEOUT 90.81 74.89 None termination-15/cstrspn_malloc.yml true 26.99 15.92 None termination-15/cstrspn_reverse_alloca.yml true 22.52 13.38 None termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca.yml true 13.51 8.41 None termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca.yml true 15.68 9.43 None termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca.yml true 10.13 6.65 None termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca.yml true 11.00 7.19 None termination-memory-alloca/Urban-2013WST-Fig1-alloca.yml true 10.41 6.79 None termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca.yml true 10.82 6.98 None termination-memory-alloca/Velroyen-alloca.yml true 10.24 6.82 None termination-memory-alloca/a.01-alloca.yml true 11.50 8.38 None termination-memory-alloca/a.04-alloca.yml true 11.30 7.37 None termination-memory-alloca/a.05-alloca.yml true 11.39 7.10 None termination-memory-alloca/a.06-alloca.yml true 14.40 8.88 None termination-memory-alloca/a.07-alloca.yml true 13.24 9.28 None termination-memory-alloca/a.08-alloca.yml true 11.94 7.69 None termination-memory-alloca/a.09_assume-alloca.yml true 12.45 7.91 None termination-memory-alloca/a.10-alloca.yml true 12.11 7.81 None termination-memory-alloca/aviad_true-alloca.yml true 12.06 7.79 None termination-memory-alloca/b.01-alloca.yml true 12.02 7.67 None termination-memory-alloca/b.02-alloca.yml true 11.74 7.50 None termination-memory-alloca/b.03-no-inv_assume-alloca.yml true 10.82 7.14 None termination-memory-alloca/b.03_assume-alloca.yml true 11.43 7.51 None termination-memory-alloca/b.04-alloca.yml true 12.42 7.69 None termination-memory-alloca/b.05-alloca.yml true 11.39 7.37 None termination-memory-alloca/b.06-alloca.yml true 11.79 7.45 None termination-memory-alloca/b.07-alloca.yml true 13.45 8.27 None termination-memory-alloca/b.09-no-inv_assume-alloca.yml true 11.77 7.56 None termination-memory-alloca/b.09_assume-alloca.yml true 12.04 7.73 None termination-memory-alloca/b.10-alloca.yml true 13.26 8.15 None termination-memory-alloca/b.11-alloca.yml true 12.91 8.02 None termination-memory-alloca/b.12-alloca.yml true 12.28 7.86 None termination-memory-alloca/b.13-alloca.yml true 13.04 8.04 None termination-memory-alloca/b.14-alloca.yml true 11.89 7.54 None termination-memory-alloca/b.15-alloca.yml true 13.68 8.44 None termination-memory-alloca/b.16-alloca.yml true 12.10 7.60 None termination-memory-alloca/b.17-alloca.yml true 12.99 8.38 None termination-memory-alloca/b.18-alloca.yml true 11.52 7.62 None termination-memory-alloca/c.01-no-inv-alloca.yml true 12.28 7.70 None termination-memory-alloca/c.01_assume-alloca.yml true 11.64 7.31 None termination-memory-alloca/c.02-alloca.yml true 11.78 7.44 None termination-memory-alloca/c.03-alloca-1.yml true 13.69 8.23 None termination-memory-alloca/c.07-alloca.yml true 13.63 8.57 None termination-memory-alloca/c.08-alloca.yml true 12.01 7.59 None termination-memory-alloca/count_down-alloca-2.yml true 17.08 11.10 None termination-memory-alloca/cstrchr-alloca-1.yml true 39.80 28.76 None termination-memory-alloca/cstrcmp-alloca-1.yml true 40.50 28.62 None termination-memory-alloca/cstrcpy-alloca-2.yml true 46.15 34.24 None termination-memory-alloca/cstrcspn-alloca-2.yml TIMEOUT 91.00 80.01 None termination-memory-alloca/cstrlen-alloca-1.yml true 16.90 11.52 None termination-memory-alloca/cstrncpy-alloca-1.yml true 26.82 15.89 None termination-memory-alloca/cstrpbrk-alloca-1.yml true 25.73 15.20 None termination-memory-alloca/cstrspn-alloca-2.yml true 55.60 42.39 None termination-memory-alloca/easySum-alloca.yml true 11.57 7.46 None termination-memory-alloca/ex3a-alloca.yml true 11.50 7.35 None termination-memory-alloca/genady-alloca.yml true 13.95 8.78 None termination-memory-alloca/java_AG313-alloca.yml true 12.19 7.71 None termination-memory-alloca/java_Break-alloca.yml true 12.17 7.89 None termination-memory-alloca/java_Continue1-alloca.yml true 13.48 8.64 None termination-memory-alloca/java_LogBuiltIn-alloca.yml true 10.86 7.11 None termination-memory-alloca/java_Nested-alloca.yml true 14.09 8.95 None termination-memory-alloca/java_Sequence-alloca.yml true 21.73 14.56 None termination-memory-alloca/openbsd_cbzero-alloca-1.yml true 20.83 12.68 None termination-memory-alloca/openbsd_cmemchr-alloca-1.yml true 18.48 10.93 None termination-memory-alloca/openbsd_cmemrchr-alloca-1.yml true 14.91 9.20 None termination-memory-alloca/openbsd_cmemset-alloca-2.yml true 18.84 11.66 None termination-memory-alloca/openbsd_cstpcpy-alloca-2.yml true 36.22 25.82 None termination-memory-alloca/openbsd_cstpncpy-alloca-2.yml true 42.43 27.06 None termination-memory-alloca/openbsd_cstrcpy-alloca-1.yml true 32.73 22.76 None termination-memory-alloca/openbsd_cstrcspn-alloca-1.yml TIMEOUT 90.26 74.20 None termination-memory-alloca/openbsd_cstrlcpy-alloca-2.yml true 47.67 29.78 None termination-memory-alloca/openbsd_cstrlen-alloca-2.yml true 17.13 10.66 None termination-memory-alloca/openbsd_cstrncmp-alloca-1.yml TIMEOUT 90.74 71.35 None termination-memory-alloca/openbsd_cstrncpy-alloca-1.yml true 66.52 47.57 None termination-memory-alloca/openbsd_cstrnlen-alloca-2.yml true 25.20 15.71 None termination-memory-alloca/openbsd_cstrpbrk-alloca-1.yml true 28.49 17.16 None termination-memory-alloca/openbsd_cstrspn-alloca-1.yml true 72.96 57.54 None termination-memory-alloca/rec_strlen-alloca-2.yml true 19.34 12.14 None termination-memory-alloca/strreplace-alloca-1.yml true 30.08 19.80 None termination-memory-alloca/subseq-alloca-1.yml TIMEOUT 91.03 79.43 None termination-memory-alloca/substring-alloca-1.yml TIMEOUT 90.97 69.79 None termination-memory-alloca/twisted-alloca.yml true 13.48 8.32 None termination-recursive-malloc/chunk1-2.yml unknown 16.31 11.55 None termination-recursive-malloc/insertionSort_recursive.yml true 22.30 14.33 None termination-recursive-malloc/mutual_simple.yml true 11.92 7.54 None termination-recursive-malloc/rec_malloc_ex3.yml true 11.06 7.20 None termination-recursive-malloc/rec_strcopy_malloc.yml true 28.35 17.12 None termination-recursive-malloc/selectionSort_recursive.yml true 30.29 19.86 None ---------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 19014.65 1066.38 - Statistics: 1281 Files correct: 870 correct true: 663 correct false: 207 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 411 Score: 1533 (max: 2252)