BENCHMARK INFORMATION UAutomizer benchmark definition: ../benchexec/uautomizer-non-preprocessed.xml name: uautomizer-non-preprocessed run sets: Automizer_unreach-call.nonPreprocessed, Automizer_no-overflow.nonPreprocessed, Automizer_no-data-race.nonPreprocessed, Automizer_memsafety.memsafety date: Mon, 2025-04-28 19:20:48 CEST tool: ULTIMATE Automizer 0.3.0-8c8b3948 tool executable: ./Ultimate.py options: parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 90 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-6.8.12-5-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ Automizer_unreach-call.nonPreprocessed Run set 1 of 4 with options '' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------ array-examples/relax-2-2.yml TIMEOUT 90.32 73.52 None bitvector/byte_add-1.yml TIMEOUT 90.20 76.09 None bitvector/byte_add_1-1.yml TIMEOUT 90.84 68.30 None bitvector/byte_add_2-2.yml TIMEOUT 90.92 67.46 None bitvector/interleave_bits.yml TIMEOUT 90.56 62.58 None bitvector/modulus-2.yml true 13.43 9.25 None bitvector/parity.yml TIMEOUT 91.01 79.02 None floats-cbmc-regression/float-div1.yml TIMEOUT 90.99 84.39 None floats-cbmc-regression/float-flags-simp1.yml unknown 18.55 13.04 None floats-cbmc-regression/float-no-simp2.yml true 82.77 76.69 None floats-cbmc-regression/float-no-simp4.yml true 18.39 13.65 None floats-cbmc-regression/float-no-simp8.yml unknown 17.34 12.14 None floats-cbmc-regression/float-rounding1.yml true 30.14 23.46 None floats-cbmc-regression/float-zero-sum1.yml true 16.91 12.85 None floats-cbmc-regression/float14.yml true 16.99 11.59 None floats-cbmc-regression/float19.yml true 16.71 11.92 None floats-cbmc-regression/float21.yml true 80.51 74.25 None floats-cbmc-regression/float22.yml true 50.93 43.52 None floats-cbmc-regression/float4.yml TIMEOUT 90.86 84.72 None floats-cbmc-regression/float8.yml true 17.07 11.96 None floats-cbmc-regression/float_lib1.yml unknown 19.85 13.88 None floats-cbmc-regression/float_lib2.yml true 17.57 11.92 None floats-esbmc-regression/ceil.yml unknown 16.54 11.49 None floats-esbmc-regression/ceil_nondet.yml unknown 19.45 13.97 None floats-esbmc-regression/copysign.yml unknown 15.26 11.08 None floats-esbmc-regression/fabs.yml true 16.17 11.23 None floats-esbmc-regression/fdim.yml true 23.79 15.92 None floats-esbmc-regression/floor.yml unknown 16.90 11.82 None floats-esbmc-regression/floor_nondet.yml unknown 19.80 14.32 None floats-esbmc-regression/fmax.yml true 17.33 11.54 None floats-esbmc-regression/fmin.yml true 17.04 12.72 None floats-esbmc-regression/fmod.yml ERROR (7) 14.88 10.24 None floats-esbmc-regression/fmod2.yml ERROR (7) 14.58 10.17 None floats-esbmc-regression/fmod3.yml ERROR (7) 15.46 11.68 None floats-esbmc-regression/isgreater.yml true 16.76 11.61 None floats-esbmc-regression/isgreaterequal.yml true 21.01 18.15 None floats-esbmc-regression/isless.yml true 16.56 11.57 None floats-esbmc-regression/islessequal.yml true 17.40 11.53 None floats-esbmc-regression/islessgreater.yml true 16.74 11.91 None floats-esbmc-regression/isunordered.yml true 16.08 11.28 None floats-esbmc-regression/lrint.yml unknown 14.40 10.01 None floats-esbmc-regression/modf.yml unknown 18.15 17.22 None floats-esbmc-regression/nan.yml true 16.55 11.82 None floats-esbmc-regression/nearbyint.yml unknown 20.23 14.89 None floats-esbmc-regression/nearbyint2.yml unknown 17.26 12.11 None floats-esbmc-regression/remainder.yml unknown 16.10 11.17 None floats-esbmc-regression/rint.yml unknown 19.88 14.91 None floats-esbmc-regression/rint2.yml unknown 17.12 12.16 None floats-esbmc-regression/round.yml TIMEOUT 17.81 151.00 None floats-esbmc-regression/round_nondet.yml TIMEOUT 20.00 151.00 None floats-esbmc-regression/rounding_functions.yml true 18.25 12.39 None floats-esbmc-regression/trunc.yml unknown 16.94 11.89 None floats-esbmc-regression/trunc_nondet.yml unknown 24.46 21.31 None floats-esbmc-regression/trunc_nondet_2.yml TIMEOUT 90.87 84.75 None goblint-regression/13-privatized_01-priv_nr_true.yml ERROR (7) 14.62 10.25 None goblint-regression/13-privatized_18-first-reads_true.yml ERROR (7) 14.19 10.13 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml ERROR (7) 14.37 10.38 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml ERROR (7) 17.64 16.53 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml ERROR (7) 14.54 10.01 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml ERROR (7) 14.60 11.13 None goblint-regression/13-privatized_19-publish-precision_true.yml ERROR (7) 13.75 9.66 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml ERROR (7) 14.62 10.47 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml ERROR (7) 14.80 10.28 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml ERROR (7) 14.00 9.90 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml ERROR (7) 14.86 10.03 None goblint-regression/13-privatized_20-publish-regression_true.yml ERROR (7) 14.17 9.93 None goblint-regression/13-privatized_24-multiple-protecting_true.yml ERROR (7) 15.02 10.42 None goblint-regression/13-privatized_25-struct_nr_true.yml ERROR (7) 14.48 10.22 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml ERROR (7) 13.38 9.72 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml ERROR (7) 14.58 10.24 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml ERROR (7) 17.61 14.13 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml ERROR (7) 14.88 10.30 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml ERROR (7) 14.05 10.14 None goblint-regression/13-privatized_33-traces-v-matters_true.yml ERROR (7) 14.98 10.21 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml ERROR (7) 14.83 10.13 None goblint-regression/13-privatized_35-traces-ex-2_true.yml ERROR (7) 17.87 16.22 None goblint-regression/13-privatized_36-traces-ex-3_true.yml ERROR (7) 14.82 10.14 None goblint-regression/13-privatized_37-traces-ex-4_true.yml ERROR (7) 14.90 10.16 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml ERROR (7) 14.65 10.21 None goblint-regression/13-privatized_40-traces-ex-6_true.yml ERROR (7) 14.20 9.59 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml ERROR (7) 14.73 10.30 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml ERROR (7) 14.24 9.99 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml ERROR (7) 14.78 10.19 None goblint-regression/13-privatized_44-traces-mine2_true.yml ERROR (7) 14.61 10.07 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml ERROR (7) 14.31 10.04 None goblint-regression/13-privatized_46-refine-protected1_true.yml ERROR (7) 14.63 9.94 None goblint-regression/13-privatized_47-refine-protected2_true.yml ERROR (7) 16.99 12.85 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml ERROR (7) 14.78 10.21 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml ERROR (7) 14.04 9.95 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml ERROR (7) 17.09 13.88 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 9.40 6.28 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 49.80 31.55 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml ERROR (7) 14.25 10.02 None goblint-regression/36-apron_11-traces-max-simple_true.yml ERROR (7) 14.46 10.19 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 9.66 6.60 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml ERROR (7) 14.52 10.07 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml ERROR (7) 14.47 9.95 None goblint-regression/36-apron_21-traces-cluster-based_true.yml ERROR (7) 14.31 10.01 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml ERROR (7) 13.61 9.66 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 10.25 6.78 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 10.87 8.07 None heap-data/running_example.yml TIMEOUT 90.76 71.89 None heap-data/shared_mem1.yml TIMEOUT 91.15 81.71 None heap-data/shared_mem2.yml TIMEOUT 91.07 83.47 None heap-manipulation/dancing.yml TIMEOUT 91.11 78.21 None list-ext-properties/list-ext.yml false(unreach-call) 10.81 7.72 None list-ext-properties/simple-ext.yml false(unreach-call) 10.46 6.73 None list-ext2-properties/list_and_tree_cnstr-1.yml false(unreach-call) 68.81 53.31 None list-ext2-properties/list_and_tree_cnstr-2.yml TIMEOUT 90.70 72.26 None list-ext2-properties/simple_and_skiplist_2lvl-1.yml false(unreach-call) 11.81 7.85 None list-ext2-properties/simple_and_skiplist_2lvl-2.yml TIMEOUT 90.58 84.33 None list-ext2-properties/simple_search_value-1.yml TIMEOUT 90.48 86.09 None list-ext2-properties/simple_search_value-2.yml TIMEOUT 90.52 75.51 None list-ext3-properties/dll_circular_traversal-2.yml TIMEOUT 90.30 74.25 None list-ext3-properties/dll_nullified-1.yml false(unreach-call) 16.25 10.81 None list-ext3-properties/dll_nullified-2.yml TIMEOUT 90.60 71.90 None list-ext3-properties/sll_circular_traversal-1.yml TIMEOUT 90.40 75.86 None list-ext3-properties/sll_length_check-1.yml false(unreach-call) 13.25 8.86 None list-ext3-properties/sll_length_check-2.yml TIMEOUT 90.33 77.71 None list-ext3-properties/sll_nondet_insert-1.yml false(unreach-call) 77.86 67.72 None list-ext3-properties/sll_nondet_insert-2.yml TIMEOUT 90.87 74.49 None list-ext3-properties/sll_of_sll_nondet_append-1.yml TIMEOUT 90.47 75.77 None list-ext3-properties/sll_of_sll_nondet_append-2.yml TIMEOUT 90.53 75.68 None list-properties/alternating_list-1.yml TIMEOUT 90.42 78.94 None list-properties/alternating_list-2.yml false(unreach-call) 10.40 6.81 None list-properties/list-1.yml TIMEOUT 91.09 70.41 None list-properties/list-2.yml TIMEOUT 90.68 87.76 None list-properties/list_flag-1.yml false(unreach-call) 10.89 7.17 None list-properties/list_flag-2.yml TIMEOUT 90.75 87.12 None list-properties/list_search-1.yml false(unreach-call) 30.89 19.14 None list-properties/list_search-2.yml true 50.86 35.80 None list-properties/simple-1.yml false(unreach-call) 11.71 7.66 None list-properties/simple-2.yml TIMEOUT 90.69 73.53 None list-properties/simple_built_from_end.yml TIMEOUT 90.50 73.30 None list-properties/splice-1.yml false(unreach-call) 11.15 7.16 None list-properties/splice-2.yml TIMEOUT 91.03 73.56 None list-simple/dll2c_append_equal.yml TIMEOUT 90.70 74.68 None list-simple/dll2c_append_unequal.yml TIMEOUT 90.22 70.09 None list-simple/dll2c_insert_equal.yml TIMEOUT 90.75 70.70 None list-simple/dll2c_insert_unequal.yml TIMEOUT 91.25 72.67 None list-simple/dll2c_prepend_equal.yml TIMEOUT 91.16 72.95 None list-simple/dll2c_prepend_unequal.yml TIMEOUT 90.87 73.63 None list-simple/dll2c_remove_all.yml true 81.70 70.28 None list-simple/dll2c_remove_all_reverse.yml TIMEOUT 90.27 74.94 None list-simple/dll2c_update_all.yml true 35.22 22.78 None list-simple/dll2c_update_all_reverse.yml true 47.45 42.24 None list-simple/dll2n_append_equal.yml TIMEOUT 90.29 74.23 None list-simple/dll2n_append_unequal.yml TIMEOUT 90.87 72.38 None list-simple/dll2n_insert_equal.yml TIMEOUT 90.28 88.24 None list-simple/dll2n_insert_unequal.yml TIMEOUT 90.91 70.54 None list-simple/dll2n_prepend_equal.yml TIMEOUT 91.25 69.66 None list-simple/dll2n_prepend_unequal.yml TIMEOUT 90.82 73.41 None list-simple/dll2n_remove_all.yml true 23.99 15.13 None list-simple/dll2n_remove_all_reverse.yml true 30.37 18.55 None list-simple/dll2n_update_all.yml true 28.18 18.52 None list-simple/dll2n_update_all_reverse.yml true 11.34 7.38 None list-simple/sll2c_append_equal.yml TIMEOUT 90.92 86.91 None list-simple/sll2c_append_unequal.yml TIMEOUT 90.94 83.52 None list-simple/sll2c_insert_equal.yml TIMEOUT 90.63 73.23 None list-simple/sll2c_insert_unequal.yml TIMEOUT 90.66 73.69 None list-simple/sll2c_prepend_equal.yml TIMEOUT 91.13 78.99 None list-simple/sll2c_prepend_unequal.yml TIMEOUT 91.16 73.88 None list-simple/sll2c_remove_all.yml true 25.22 16.10 None list-simple/sll2c_remove_all_reverse.yml TIMEOUT 90.88 74.42 None list-simple/sll2c_update_all.yml true 29.31 19.00 None list-simple/sll2c_update_all_reverse.yml true 29.21 18.80 None list-simple/sll2n_append_equal.yml TIMEOUT 90.96 73.74 None list-simple/sll2n_append_unequal.yml TIMEOUT 90.34 74.57 None list-simple/sll2n_insert_equal.yml TIMEOUT 90.69 74.25 None list-simple/sll2n_insert_unequal.yml TIMEOUT 90.63 75.21 None list-simple/sll2n_prepend_equal.yml TIMEOUT 90.52 76.96 None list-simple/sll2n_prepend_unequal.yml TIMEOUT 90.68 73.79 None list-simple/sll2n_remove_all.yml true 44.29 39.61 None list-simple/sll2n_remove_all_reverse.yml true 26.87 16.43 None list-simple/sll2n_update_all.yml true 28.63 18.26 None list-simple/sll2n_update_all_reverse.yml true 24.42 15.95 None longjmp/68-longjmp_04-counting-local_true.yml unknown 22.13 20.87 None longjmp/68-longjmp_04-counting-local_unknown_1_neg.yml false(unreach-call) 9.50 6.45 None longjmp/68-longjmp_04-counting-local_unknown_1_pos.yml unknown 17.14 13.10 None longjmp/68-longjmp_05-heap-counting-return-one-method_true.yml unknown 18.53 12.85 None longjmp/68-longjmp_05-heap-counting-return-one-method_unknown_1_neg.yml false(unreach-call) 11.33 10.80 None longjmp/68-longjmp_05-heap-counting-return-one-method_unknown_1_pos.yml unknown 17.84 12.68 None longjmp/68-longjmp_07-returns_true.yml unknown 20.16 13.84 None longjmp/68-longjmp_11-counting-return_true.yml unknown 18.57 13.18 None longjmp/68-longjmp_11-counting-return_unknown_1_neg.yml false(unreach-call) 9.49 6.32 None longjmp/68-longjmp_11-counting-return_unknown_1_pos.yml unknown 16.88 12.15 None longjmp/68-longjmp_12-counting-global_true.yml unknown 21.72 21.03 None longjmp/68-longjmp_12-counting-global_unknown_1_neg.yml false(unreach-call) 10.12 6.91 None longjmp/68-longjmp_12-counting-global_unknown_1_pos.yml unknown 16.91 12.24 None longjmp/68-longjmp_13-counting-local_true.yml unknown 18.40 13.21 None longjmp/68-longjmp_13-counting-local_unknown_1_neg.yml false(unreach-call) 11.50 10.08 None longjmp/68-longjmp_13-counting-local_unknown_1_pos.yml unknown 17.61 12.40 None longjmp/68-longjmp_14-counting-return-one-method_true.yml unknown 19.03 14.51 None longjmp/68-longjmp_14-counting-return-one-method_unknown_1_neg.yml false(unreach-call) 10.14 6.76 None longjmp/68-longjmp_14-counting-return-one-method_unknown_1_pos.yml unknown 16.93 12.65 None longjmp/68-longjmp_15-counting-global-one-method_true.yml unknown 17.99 12.97 None longjmp/68-longjmp_15-counting-global-one-method_unknown_1_neg.yml false(unreach-call) 9.37 6.37 None longjmp/68-longjmp_15-counting-global-one-method_unknown_1_pos.yml unknown 17.22 12.47 None longjmp/68-longjmp_16-counting-local-one-method_true.yml unknown 18.74 13.08 None longjmp/68-longjmp_16-counting-local-one-method_unknown_1_neg.yml false(unreach-call) 11.16 9.46 None longjmp/68-longjmp_16-counting-local-one-method_unknown_1_pos.yml unknown 16.03 11.87 None longjmp/68-longjmp_18-simple-else_true.yml unknown 19.31 14.53 None longjmp/68-longjmp_18-simple-else_unknown_1_neg.yml false(unreach-call) 9.46 6.52 None longjmp/68-longjmp_18-simple-else_unknown_1_pos.yml unknown 18.92 13.42 None longjmp/68-longjmp_18-simple-else_unknown_2_neg.yml unknown 18.66 14.07 None longjmp/68-longjmp_18-simple-else_unknown_2_pos.yml false(unreach-call) 12.43 10.97 None longjmp/68-longjmp_19-simpler_true.yml unknown 18.57 13.15 None longjmp/68-longjmp_20-simpler-multifun_true.yml unknown 17.94 12.98 None longjmp/68-longjmp_21-multifun_true.yml unknown 19.23 13.38 None longjmp/68-longjmp_22-multifun-arg_true.yml unknown 18.80 13.21 None longjmp/68-longjmp_42-poison-reduced_true.yml unknown 19.24 14.42 None longjmp/68-longjmp_44-simple-else-path_true.yml unknown 18.73 13.43 None longjmp/68-longjmp_51-worries_true.yml unknown 16.78 11.90 None loop-floats-scientific-comp/loop4.yml unknown 30.49 27.73 None loop-floats-scientific-comp/loop5.yml unknown 23.98 18.07 None loop-lit/as2013-hybrid.yml true 12.11 7.83 None loop-lit/bh2017-ex-add.yml true 14.78 9.70 None loop-lit/bh2017-ex1-poly.yml true 15.24 9.53 None loop-lit/bh2017-ex3.yml true 17.58 15.09 None loop-lit/hh2012-ex1b.yml true 12.08 7.52 None loop-lit/hh2012-ex2b.yml true 11.13 7.72 None loop-lit/hh2012-ex3.yml true 15.25 9.86 None loop-lit/mine2017-ex4.10.yml true 11.61 7.83 None loop-lit/mine2017-ex4.6.yml true 11.29 7.43 None loop-lit/mine2017-ex4.7.yml true 10.46 6.89 None loop-lit/mine2017-ex4.8.yml true 10.22 6.49 None loop-zilu/benchmark02_linear.yml true 9.64 6.54 None loop-zilu/benchmark02_linear_abstracted.yml true 9.38 6.40 None loop-zilu/benchmark04_conjunctive.yml true 10.60 8.60 None loop-zilu/benchmark05_conjunctive.yml true 12.19 8.17 None loop-zilu/benchmark09_conjunctive.yml true 10.63 7.07 None loop-zilu/benchmark10_conjunctive.yml true 11.37 7.97 None loop-zilu/benchmark11_linear.yml true 10.06 6.82 None loop-zilu/benchmark11_linear_abstracted.yml true 9.71 6.62 None loop-zilu/benchmark14_linear.yml true 9.70 6.65 None loop-zilu/benchmark17_conjunctive.yml true 9.79 6.65 None loop-zilu/benchmark18_conjunctive.yml true 9.72 6.90 None loop-zilu/benchmark19_conjunctive.yml true 11.46 7.66 None loop-zilu/benchmark20_conjunctive.yml true 10.29 7.02 None loop-zilu/benchmark23_conjunctive.yml true 44.48 31.42 None loop-zilu/benchmark25_linear.yml true 12.17 10.98 None loop-zilu/benchmark25_linear_abstracted.yml true 9.45 6.55 None loop-zilu/benchmark26_linear.yml true 9.93 6.92 None loop-zilu/benchmark26_linear_abstracted.yml true 9.55 6.69 None loop-zilu/benchmark32_linear.yml true 10.08 6.79 None loop-zilu/benchmark33_linear.yml true 9.28 7.56 None loop-zilu/benchmark34_conjunctive.yml true 11.30 7.97 None loop-zilu/benchmark35_linear.yml true 9.91 6.68 None loop-zilu/benchmark37_conjunctive.yml true 10.54 7.21 None loop-zilu/benchmark43_conjunctive.yml true 10.60 7.31 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 11.43 9.84 None loop-zilu/benchmark51_polynomial.yml true 9.60 6.57 None loop-zilu/benchmark52_polynomial.yml true 10.33 7.18 None loops/bubble_sort-2.yml false(unreach-call) 12.51 9.08 None loops/n.c24.yml ERROR (7) 15.59 11.28 None pthread-C-DAC/pthread-demo-datarace-1.yml ERROR (7) 15.03 10.64 None pthread-C-DAC/pthread-demo-datarace-3.yml ERROR (7) 15.96 10.97 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 45.84 29.23 None pthread-race-challenges/thread-local-pthread-value.yml unknown 15.86 10.86 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 19.54 17.65 None pthread-race-challenges/thread-local-value.yml unknown 14.76 10.33 None pthread-theta/wsc.yml true 23.01 14.92 None pthread/bigshot_s.yml true 17.68 11.58 None pthread/bigshot_s2.yml true 16.75 10.97 None pthread/butterfly.yml OUT OF MEMORY 53.37 36.81 None pthread/lazy01.yml false(unreach-call) 14.49 11.84 None pthread/singleton.yml false(unreach-call) 11.58 7.70 None pthread/singleton_with-uninit-problems.yml true 13.28 8.35 None pthread/stateful01-1.yml false(unreach-call) 10.71 6.99 None pthread/stateful01-2.yml true 12.73 8.04 None pthread/sync01.yml true 15.83 9.56 None unsignedintegeroverflow-sas23/bilinear_interpolation.yml TIMEOUT 90.76 86.57 None unsignedintegeroverflow-sas23/cancel_var_through_overflow.yml true 10.07 6.64 None unsignedintegeroverflow-sas23/distance_through_overflow.yml true 9.63 6.46 None unsignedintegeroverflow-sas23/linear_interpolation.yml true 11.43 8.37 None unsignedintegeroverflow-sas23/linear_interpolation_2.yml TIMEOUT 90.11 83.29 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 9323.55 625.59 - Automizer_no-overflow.nonPreprocessed Run set 2 of 4 with options '' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety-realloc/array-realloc-2.yml true 12.97 8.38 None array-memsafety-realloc/array-realloc-3.yml true 16.19 15.25 None array-memsafety/add_last-alloca-1.yml false(no-overflow) 18.87 16.89 None array-memsafety/array03-alloca-2.yml false(no-overflow) 33.70 26.85 None array-memsafety/bubblesort-alloca-2.yml true 19.88 13.13 None array-memsafety/cstrcat-alloca-2.yml true 16.80 11.11 None array-memsafety/cstrchr-alloca-2.yml true 12.87 8.74 None array-memsafety/cstrcmp-alloca-2.yml true 16.92 11.07 None array-memsafety/cstrcpy-alloca-1.yml true 13.07 8.76 None array-memsafety/cstrcspn-alloca-1.yml true 15.70 10.70 None array-memsafety/cstrlen-alloca-2.yml true 13.00 8.58 None array-memsafety/cstrncmp-alloca-1.yml false(no-overflow) 13.55 8.68 None array-memsafety/cstrpbrk-alloca-2.yml true 15.69 10.33 None array-memsafety/cstrspn-alloca-1.yml true 15.36 10.03 None array-memsafety/insertionsort-alloca-1.yml true 17.66 12.30 None array-memsafety/java_BubbleSort-alloca-1.yml true 19.12 13.07 None array-memsafety/mult_array-alloca-1.yml true 28.36 20.17 None array-memsafety/openbsd_cmemchr-alloca-2.yml true 13.18 8.93 None array-memsafety/openbsd_cmemrchr-alloca-2.yml true 13.12 8.98 None array-memsafety/openbsd_cstpcpy-alloca-1.yml true 12.99 9.15 None array-memsafety/openbsd_cstpncpy-alloca-1.yml true 12.36 8.41 None array-memsafety/openbsd_cstrcat-alloca-2.yml true 15.96 10.78 None array-memsafety/openbsd_cstrcmp-alloca-1.yml true 15.35 10.52 None array-memsafety/openbsd_cstrcpy-alloca-2.yml true 12.37 8.60 None array-memsafety/openbsd_cstrcspn-alloca-2.yml true 14.58 10.16 None array-memsafety/openbsd_cstrlen-alloca-1.yml true 15.39 13.39 None array-memsafety/openbsd_cstrncat-alloca-2.yml true 24.98 20.70 None array-memsafety/openbsd_cstrncmp-alloca-2.yml true 15.44 10.61 None array-memsafety/openbsd_cstrncpy-alloca-2.yml true 12.81 8.75 None array-memsafety/openbsd_cstrnlen-alloca-1.yml true 11.72 8.28 None array-memsafety/openbsd_cstrpbrk-alloca-2.yml true 15.34 10.81 None array-memsafety/openbsd_cstrspn-alloca-2.yml true 15.26 9.99 None array-memsafety/openbsd_cstrstr-alloca-2.yml true 16.92 11.66 None array-memsafety/selectionsort-alloca-1.yml true 17.44 11.85 None array-memsafety/stroeder1-alloca-1.yml false(no-overflow) 10.69 7.25 None array-memsafety/stroeder2-alloca-1.yml false(no-overflow) 12.65 8.38 None array-memsafety/subseq-alloca-2.yml true 14.79 10.24 None array-memsafety/substring-alloca-2.yml true 15.57 10.48 None bitvector/byte_add-1.yml true 10.80 7.06 None bitvector/byte_add-2.yml false(no-overflow) 40.09 23.95 None bitvector/byte_add_1-1.yml true 11.33 7.30 None bitvector/byte_add_1-2.yml false(no-overflow) 48.31 39.12 None bitvector/byte_add_2-1.yml false(no-overflow) 39.84 23.99 None bitvector/byte_add_2-2.yml true 10.46 6.84 None bitvector/interleave_bits.yml true 11.50 8.64 None bitvector/modulus-1.yml false(no-overflow) 17.62 12.53 None bitvector/modulus-2.yml true 17.38 12.36 None bitvector/parity.yml true 9.07 6.15 None goblint-regression/04-mutex_02-simple_nr.yml ERROR (7) 15.48 10.60 None goblint-regression/04-mutex_04-munge_nr.yml ERROR (7) 14.98 10.51 None goblint-regression/04-mutex_05-lockfuns.yml ERROR (7) 15.53 10.31 None goblint-regression/04-mutex_07-ps_nr.yml ERROR (7) 15.76 10.54 None goblint-regression/04-mutex_10-ptrmunge_nr.yml ERROR (7) 15.52 10.57 None goblint-regression/04-mutex_12-ptr_nr.yml ERROR (7) 15.54 10.38 None goblint-regression/04-mutex_15-funarg_nr.yml ERROR (7) 17.78 16.19 None goblint-regression/04-mutex_17-ps_add1_nr.yml ERROR (7) 16.49 11.88 None goblint-regression/04-mutex_17a-ps_add1_nr.yml ERROR (7) 15.46 10.32 None goblint-regression/04-mutex_28-base_nr.yml ERROR (7) 15.27 10.21 None goblint-regression/04-mutex_41-pt_rwlock.yml ERROR (7) 14.48 11.10 None goblint-regression/04-mutex_42-trylock_2mutex.yml ERROR (7) 14.24 9.97 None goblint-regression/04-mutex_43-thread_create_nr.yml ERROR (7) 14.98 10.31 None goblint-regression/04-mutex_46-escape_nr.yml ERROR (7) 15.92 10.68 None goblint-regression/04-mutex_46a-escape_nr.yml ERROR (7) 15.27 10.43 None goblint-regression/04-mutex_51-mutex_ptr.yml ERROR (7) 15.34 10.65 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml ERROR (7) 15.60 10.73 None goblint-regression/05-lval_ls_02-idx_nr.yml true 15.81 11.53 None goblint-regression/05-lval_ls_04-fld_nr.yml true 12.68 8.20 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 13.66 8.29 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 91.21 66.91 None goblint-regression/06-symbeq_05-funloop_hard2.yml TIMEOUT 91.36 67.03 None goblint-regression/06-symbeq_06-tricky_address1.yml TIMEOUT 90.44 82.55 None goblint-regression/06-symbeq_07-tricky_address2.yml TIMEOUT 90.76 71.96 None goblint-regression/06-symbeq_08-tricky_address3.yml TIMEOUT 91.61 63.64 None goblint-regression/06-symbeq_11-equ_nr.yml true 10.90 7.47 None goblint-regression/06-symbeq_11a-equ_nr.yml false(no-overflow) 10.64 7.08 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 19.13 12.18 None goblint-regression/09-regions_04-list2_nr.yml ERROR (7) 16.02 12.08 None goblint-regression/09-regions_09-arraylist.yml ERROR (7) 16.02 11.24 None goblint-regression/09-regions_11-arraylist_nr.yml true 19.25 12.24 None goblint-regression/09-regions_12-arraycollapse_rc.yml true 13.45 8.68 None goblint-regression/09-regions_13-arraycollapse_nr.yml true 14.14 9.08 None goblint-regression/09-regions_19-nested_nr.yml true 18.75 12.09 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 90.89 70.06 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT 91.17 83.55 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 90.86 70.31 None goblint-regression/13-privatized_01-priv_nr_true.yml ERROR (7) 15.64 10.49 None goblint-regression/13-privatized_24-multiple-protecting_true.yml ERROR (7) 15.65 10.53 None goblint-regression/13-privatized_25-struct_nr_true.yml ERROR (7) 14.47 10.21 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml ERROR (7) 14.45 10.52 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml ERROR (7) 15.49 10.79 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml ERROR (7) 15.46 10.53 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml ERROR (7) 14.32 9.98 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 90.55 70.64 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml ERROR (7) 16.15 10.81 None goblint-regression/36-apron_21-traces-cluster-based_true.yml ERROR (7) 15.51 10.27 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true.yml ERROR (7) 15.37 10.40 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml ERROR (7) 15.39 10.36 None heap-data/running_example.yml true 11.21 7.09 None list-ext-properties/simple-ext.yml true 22.82 13.94 None list-ext-properties/test-0232_1-1.yml TIMEOUT 91.03 79.87 None list-ext-properties/test-0232_1-2.yml TIMEOUT 91.08 79.32 None list-ext-properties/test-0504_1.yml TIMEOUT 90.91 83.31 None list-ext-properties/test-0513_1.yml true 13.64 8.24 None list-ext3-properties/dll_nondet_free_order-1.yml true 11.16 7.27 None list-ext3-properties/dll_nondet_free_order-2.yml true 10.84 7.02 None list-ext3-properties/dll_nullified-1.yml true 13.61 8.42 None list-ext3-properties/dll_nullified-2.yml true 11.86 7.56 None list-simple/dll2c_insert_unequal.yml TIMEOUT 90.59 66.50 None list-simple/dll2c_remove_all.yml true 14.93 9.82 None list-simple/dll2c_remove_all_reverse.yml true 15.19 9.86 None list-simple/dll2c_update_all.yml true 22.90 14.28 None list-simple/dll2c_update_all_reverse.yml true 23.93 14.90 None list-simple/dll2n_remove_all.yml true 13.57 9.41 None list-simple/dll2n_remove_all_reverse.yml true 14.20 9.46 None list-simple/dll2n_update_all.yml true 22.66 15.07 None list-simple/dll2n_update_all_reverse.yml true 17.50 11.45 None list-simple/sll2c_remove_all.yml true 13.88 10.49 None list-simple/sll2c_remove_all_reverse.yml true 14.92 9.82 None list-simple/sll2c_update_all.yml true 27.95 25.15 None list-simple/sll2c_update_all_reverse.yml true 21.79 14.09 None list-simple/sll2n_append_unequal.yml TIMEOUT 90.97 67.80 None list-simple/sll2n_prepend_equal.yml true 32.52 20.69 None list-simple/sll2n_prepend_unequal.yml TIMEOUT 90.34 73.57 None list-simple/sll2n_remove_all.yml true 13.44 9.10 None list-simple/sll2n_remove_all_reverse.yml true 13.49 9.47 None list-simple/sll2n_update_all.yml true 23.86 15.54 None list-simple/sll2n_update_all_reverse.yml true 20.63 13.40 None loop-lit/as2013-hybrid.yml true 14.92 14.86 None loop-lit/bh2017-ex-add.yml true 11.78 8.09 None loop-lit/bh2017-ex1-poly.yml true 23.97 14.79 None loop-lit/bh2017-ex3.yml true 11.48 7.78 None loop-lit/hh2012-ex1b.yml true 17.30 11.16 None loop-lit/hh2012-ex2b.yml true 10.29 7.12 None loop-lit/hh2012-ex3.yml true 34.02 30.76 None loop-lit/mine2017-ex4.10.yml true 10.64 6.99 None loop-lit/mine2017-ex4.6.yml true 12.85 8.47 None loop-lit/mine2017-ex4.7.yml true 11.15 7.27 None loop-lit/mine2017-ex4.8.yml true 10.91 10.43 None loop-zilu/benchmark01_conjunctive.yml false(no-overflow) 19.54 12.30 None loop-zilu/benchmark02_linear.yml true 9.31 6.43 None loop-zilu/benchmark02_linear_abstracted.yml true 8.65 5.95 None loop-zilu/benchmark03_linear.yml TIMEOUT 91.09 69.31 None loop-zilu/benchmark04_conjunctive.yml true 15.87 10.50 None loop-zilu/benchmark05_conjunctive.yml true 11.33 7.57 None loop-zilu/benchmark06_conjunctive.yml false(no-overflow) 9.22 6.33 None loop-zilu/benchmark07_linear.yml false(no-overflow) 10.74 7.02 None loop-zilu/benchmark08_conjunctive.yml TIMEOUT 90.82 73.13 None loop-zilu/benchmark09_conjunctive.yml true 9.67 6.51 None loop-zilu/benchmark10_conjunctive.yml TIMEOUT 90.82 90.15 None loop-zilu/benchmark11_linear.yml true 10.01 7.15 None loop-zilu/benchmark11_linear_abstracted.yml true 9.63 6.35 None loop-zilu/benchmark12_linear.yml false(no-overflow) 9.87 6.69 None loop-zilu/benchmark13_conjunctive.yml TIMEOUT 91.26 72.00 None loop-zilu/benchmark14_linear.yml true 10.22 6.68 None loop-zilu/benchmark15_conjunctive.yml false(no-overflow) 9.70 7.66 None loop-zilu/benchmark16_conjunctive.yml TIMEOUT 91.15 70.64 None loop-zilu/benchmark17_conjunctive.yml TIMEOUT 90.82 71.65 None loop-zilu/benchmark18_conjunctive.yml TIMEOUT 90.77 72.58 None loop-zilu/benchmark19_conjunctive.yml true 11.10 7.39 None loop-zilu/benchmark20_conjunctive.yml TIMEOUT 91.13 72.56 None loop-zilu/benchmark21_disjunctive.yml false(no-overflow) 10.42 6.92 None loop-zilu/benchmark22_conjunctive.yml TIMEOUT 90.90 72.38 None loop-zilu/benchmark23_conjunctive.yml TIMEOUT 90.48 88.12 None loop-zilu/benchmark24_conjunctive.yml TIMEOUT 91.06 72.82 None loop-zilu/benchmark25_linear.yml true 9.93 6.42 None loop-zilu/benchmark25_linear_abstracted.yml true 9.75 6.48 None loop-zilu/benchmark26_linear.yml true 9.30 6.35 None loop-zilu/benchmark26_linear_abstracted.yml true 10.50 6.75 None loop-zilu/benchmark27_linear.yml false(no-overflow) 8.93 6.15 None loop-zilu/benchmark28_linear.yml false(no-overflow) 9.68 6.65 None loop-zilu/benchmark29_linear.yml false(no-overflow) 9.21 6.26 None loop-zilu/benchmark30_conjunctive.yml false(no-overflow) 8.97 6.12 None loop-zilu/benchmark31_disjunctive.yml false(no-overflow) 8.99 6.31 None loop-zilu/benchmark32_linear.yml true 8.67 5.84 None loop-zilu/benchmark33_linear.yml true 9.04 6.20 None loop-zilu/benchmark34_conjunctive.yml true 15.84 10.34 None loop-zilu/benchmark35_linear.yml true 9.58 6.48 None loop-zilu/benchmark36_conjunctive.yml TIMEOUT 91.29 69.88 None loop-zilu/benchmark37_conjunctive.yml true 10.95 7.14 None loop-zilu/benchmark38_conjunctive.yml TIMEOUT 90.43 67.80 None loop-zilu/benchmark39_conjunctive.yml false(no-overflow) 9.46 6.34 None loop-zilu/benchmark40_polynomial.yml false(no-overflow) 9.22 6.41 None loop-zilu/benchmark41_conjunctive.yml TIMEOUT 91.48 66.39 None loop-zilu/benchmark42_conjunctive.yml false(no-overflow) 9.47 6.48 None loop-zilu/benchmark43_conjunctive.yml true 9.60 6.39 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 9.88 6.48 None loop-zilu/benchmark44_disjunctive.yml false(no-overflow) 9.59 6.44 None loop-zilu/benchmark45_disjunctive.yml false(no-overflow) 9.73 6.29 None loop-zilu/benchmark46_disjunctive.yml false(no-overflow) 9.46 6.60 None loop-zilu/benchmark47_linear.yml false(no-overflow) 9.44 6.56 None loop-zilu/benchmark48_linear.yml false(no-overflow) 9.35 6.31 None loop-zilu/benchmark49_linear.yml false(no-overflow) 9.13 6.15 None loop-zilu/benchmark50_linear.yml false(no-overflow) 9.01 6.14 None loop-zilu/benchmark51_polynomial.yml true 11.25 7.26 None loop-zilu/benchmark52_polynomial.yml true 10.10 7.06 None loop-zilu/benchmark53_polynomial.yml false(no-overflow) 8.98 6.62 None memsafety-bftpd/bftpd_1.yml true 11.03 7.16 None memsafety-bftpd/bftpd_2.yml true 11.11 7.46 None memsafety-bftpd/bftpd_3.yml true 11.40 7.55 None memsafety-ext2/complex_data_creation_test01-2.yml false(no-overflow) 20.44 12.68 None memsafety-ext2/complex_data_creation_test02-1.yml false(no-overflow) 14.27 9.14 None memsafety-ext2/length_test03-1.yml true 18.32 11.46 None memsafety-ext2/length_test03-2.yml true 22.84 20.93 None memsafety-ext2/optional_data_creation_test04-1.yml true 11.30 7.31 None memsafety-ext2/optional_data_creation_test04-2.yml true 11.07 7.38 None memsafety-ext2/split_list_test05-2.yml true 32.32 18.73 None memsafety/20051113-1.yml true 24.72 16.03 None pthread-C-DAC/pthread-demo-datarace-1.yml ERROR (7) 16.04 10.68 None pthread-C-DAC/pthread-demo-datarace-3.yml ERROR (7) 15.53 10.58 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 47.59 31.37 None pthread/butterfly.yml OUT OF MEMORY 49.40 33.40 None pthread/lazy01.yml true 12.77 7.97 None pthread/stateful01-1.yml true 14.01 8.54 None pthread/stateful01-2.yml true 14.16 8.84 None pthread/sync01.yml true 21.12 18.74 None signedintegeroverflow-regression/AdditionIntMax.yml false(no-overflow) 9.49 6.40 None signedintegeroverflow-regression/AdditionIntMin.yml false(no-overflow) 9.20 6.28 None signedintegeroverflow-regression/ConversionToSignedInt.yml true 9.36 6.30 None signedintegeroverflow-regression/Division-1.yml false(no-overflow) 9.74 6.54 None signedintegeroverflow-regression/IntegerPromotion-1.yml true 9.44 7.52 None signedintegeroverflow-regression/Multiplication-1.yml true 8.63 6.03 None signedintegeroverflow-regression/Multiplication-2.yml false(no-overflow) 10.85 10.72 None signedintegeroverflow-regression/NoConversion.yml false(no-overflow) 8.88 6.20 None signedintegeroverflow-regression/NoNegativeIntegerConstant.yml true 8.98 6.18 None signedintegeroverflow-regression/PostfixDecrement.yml false(no-overflow) 9.17 6.28 None signedintegeroverflow-regression/PostfixIncrement.yml false(no-overflow) 9.29 6.30 None signedintegeroverflow-regression/PrefixDecrement.yml false(no-overflow) 9.53 6.32 None signedintegeroverflow-regression/PrefixIncrement.yml false(no-overflow) 9.53 6.35 None signedintegeroverflow-regression/UnaryMinus.yml false(no-overflow) 9.37 6.39 None signedintegeroverflow-regression/UsualArithmeticConversions.yml true 8.90 6.11 None termination-15/array04_alloca.yml false(no-overflow) 16.21 10.93 None termination-15/array05_alloca.yml false(no-overflow) 13.14 8.78 None termination-15/array06_alloca.yml false(no-overflow) 12.83 8.66 None termination-15/array07_alloca.yml false(no-overflow) 13.54 12.84 None termination-15/array08_alloca.yml false(no-overflow) 38.71 36.22 None termination-15/array09_alloca.yml false(no-overflow) 13.34 8.63 None termination-15/array10_alloca.yml false(no-overflow) 11.83 7.83 None termination-15/array12_alloca.yml true 15.65 11.40 None termination-15/array13_alloca.yml true 15.73 11.34 None termination-15/array14_alloca.yml true 15.58 11.23 None termination-15/array15_alloca.yml true 15.89 11.46 None termination-15/array16_alloca_fixed.yml true 15.79 11.25 None termination-15/array16_alloca_original.yml true 15.14 11.03 None termination-15/array18_alloca.yml false(no-overflow) 12.83 8.28 None termination-15/array19_alloca.yml false(no-overflow) 12.91 8.98 None termination-15/array20_alloca.yml false(no-overflow) 55.07 43.69 None termination-15/cstrcat_diffterm_alloca.yml true 10.73 7.16 None termination-15/cstrcat_malloc.yml true 11.27 7.11 None termination-15/cstrcat_mixed_alloca.yml true 12.98 12.53 None termination-15/cstrcat_reverse_alloca.yml true 10.79 7.23 None termination-15/cstrchr_diffterm_alloca.yml true 10.35 6.92 None termination-15/cstrchr_malloc.yml true 10.49 6.96 None termination-15/cstrchr_reverse_alloca.yml true 10.10 6.66 None termination-15/cstrcmp_diffterm_alloca.yml true 10.60 7.07 None termination-15/cstrcmp_malloc.yml true 10.85 7.00 None termination-15/cstrcmp_mixed_alloca.yml true 10.55 6.93 None termination-15/cstrcmp_reverse_alloca.yml true 11.09 7.20 None termination-15/cstrcpy_diffterm_alloca.yml true 10.41 6.75 None termination-15/cstrcpy_malloc.yml true 10.35 6.73 None termination-15/cstrcpy_mixed_alloca.yml true 10.71 7.14 None termination-15/cstrcpy_reverse_alloca.yml true 10.54 6.94 None termination-15/cstrcspn_diffterm_alloca.yml true 11.15 7.15 None termination-15/cstrcspn_malloc.yml true 10.60 7.13 None termination-15/cstrcspn_mixed_alloca.yml true 10.14 6.84 None termination-15/cstrcspn_reverse_alloca.yml true 10.19 6.82 None termination-15/cstrlen_diffterm_alloca.yml true 10.48 6.86 None termination-15/cstrlen_malloc.yml true 9.92 6.66 None termination-15/cstrlen_reverse_alloca.yml true 10.08 6.67 None termination-15/cstrpbrk_diffterm_alloca.yml true 12.65 12.32 None termination-15/cstrpbrk_malloc.yml true 10.81 7.21 None termination-15/cstrpbrk_mixed_alloca.yml true 10.57 6.88 None termination-15/cstrpbrk_reverse_alloca.yml true 10.51 7.12 None termination-15/cstrspn_diffterm_alloca.yml true 10.97 7.18 None termination-15/cstrspn_malloc.yml true 10.57 6.88 None termination-15/cstrspn_mixed_alloca.yml true 10.71 6.89 None termination-15/cstrspn_reverse_alloca.yml true 11.15 7.02 None termination-bwb/display-bit.yml false(no-overflow) 9.03 6.24 None termination-bwb/display-bit1.yml false(no-overflow) 9.27 6.20 None termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca.yml false(no-overflow) 10.26 6.87 None termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca.yml false(no-overflow) 10.24 6.90 None termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca-2.yml true 11.63 7.55 None termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca.yml false(no-overflow) 11.24 7.35 None termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca.yml true 10.50 6.99 None termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca.yml true 12.96 8.11 None termination-memory-alloca/Masse-alloca-2.yml false(no-overflow) 10.47 6.90 None termination-memory-alloca/Masse-alloca-3.yml true 13.76 12.92 None termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca-2.yml false(no-overflow) 10.75 7.33 None termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca-2.yml false(no-overflow) 12.04 7.66 None termination-memory-alloca/TelAviv-Amir-Minimum-alloca-2.yml true 14.95 14.56 None termination-memory-alloca/Toulouse-BranchesToLoop-alloca-2.yml false(no-overflow) 10.61 7.19 None termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca-2.yml false(no-overflow) 37.41 21.61 None termination-memory-alloca/Urban-2013WST-Fig1-alloca.yml true 10.34 7.26 None termination-memory-alloca/Urban-2013WST-Fig2-alloca-2.yml true 12.42 8.04 None termination-memory-alloca/Urban-alloca-2.yml true 12.75 8.42 None termination-memory-alloca/Velroyen-alloca.yml true 10.04 7.02 None termination-memory-alloca/a.01-alloca.yml true 13.00 8.63 None termination-memory-alloca/a.04-alloca.yml true 11.30 7.26 None termination-memory-alloca/a.05-alloca.yml true 12.00 8.22 None termination-memory-alloca/a.06-alloca.yml true 21.67 13.28 None termination-memory-alloca/a.07-alloca.yml true 12.82 8.30 None termination-memory-alloca/a.08-alloca.yml true 11.52 7.39 None termination-memory-alloca/a.09_assume-alloca.yml true 14.05 8.91 None termination-memory-alloca/a.10-alloca.yml true 13.60 8.72 None termination-memory-alloca/b.01-alloca.yml true 10.51 8.04 None termination-memory-alloca/b.02-alloca.yml true 13.80 8.75 None termination-memory-alloca/b.03-no-inv_assume-alloca.yml true 16.63 15.43 None termination-memory-alloca/b.03_assume-alloca.yml true 14.10 9.26 None termination-memory-alloca/b.04-alloca.yml true 9.22 6.20 None termination-memory-alloca/b.05-alloca.yml true 15.19 14.92 None termination-memory-alloca/b.06-alloca.yml TIMEOUT 90.60 73.35 None termination-memory-alloca/b.07-alloca.yml true 11.97 7.56 None termination-memory-alloca/b.09-no-inv_assume-alloca.yml TIMEOUT 90.78 66.90 None termination-memory-alloca/b.09_assume-alloca.yml TIMEOUT 90.34 74.56 None termination-memory-alloca/b.10-alloca.yml true 19.04 11.31 None termination-memory-alloca/b.11-alloca.yml true 27.06 15.94 None termination-memory-alloca/b.12-alloca.yml true 12.01 7.90 None termination-memory-alloca/b.13-alloca.yml true 13.52 8.62 None termination-memory-alloca/b.14-alloca.yml TIMEOUT 90.51 72.61 None termination-memory-alloca/b.15-alloca.yml true 16.62 10.19 None termination-memory-alloca/b.16-alloca.yml true 11.85 7.46 None termination-memory-alloca/b.17-alloca.yml true 12.03 7.57 None termination-memory-alloca/b.18-alloca.yml true 22.78 13.80 None termination-memory-alloca/bubblesort-alloca-1.yml true 21.30 19.00 None termination-memory-alloca/c.01-no-inv-alloca.yml true 13.20 8.47 None termination-memory-alloca/c.01_assume-alloca.yml true 12.14 8.03 None termination-memory-alloca/c.02-alloca.yml true 12.61 7.89 None termination-memory-alloca/c.03-alloca-1.yml true 15.76 15.04 None termination-memory-alloca/c.07-alloca.yml true 13.95 8.82 None termination-memory-alloca/c.08-alloca.yml true 13.50 8.72 None termination-memory-alloca/cstrcat-alloca-1.yml true 11.14 7.23 None termination-memory-alloca/cstrchr-alloca-1.yml true 9.97 6.76 None termination-memory-alloca/cstrcmp-alloca-1.yml true 10.46 7.03 None termination-memory-alloca/cstrcpy-alloca-2.yml true 10.05 6.77 None termination-memory-alloca/cstrcspn-alloca-2.yml true 10.53 7.00 None termination-memory-alloca/cstrlen-alloca-1.yml true 10.19 6.88 None termination-memory-alloca/cstrpbrk-alloca-1.yml true 10.75 7.05 None termination-memory-alloca/cstrspn-alloca-2.yml true 10.62 7.04 None termination-memory-alloca/ex1-alloca.yml false(no-overflow) 12.94 8.85 None termination-memory-alloca/ex2-alloca.yml false(no-overflow) 11.19 7.94 None termination-memory-alloca/ex3a-alloca.yml true 49.48 41.31 None termination-memory-alloca/ex3b-alloca.yml false(no-overflow) 10.72 7.14 None termination-memory-alloca/flag-alloca.yml false(no-overflow) 10.44 6.83 None termination-memory-alloca/gcd1-alloca.yml false(no-overflow) 10.18 6.82 None termination-memory-alloca/genady-alloca.yml true 26.93 24.68 None termination-memory-alloca/insertionsort-alloca-2.yml true 13.87 9.58 None termination-memory-alloca/java_BubbleSort-alloca-2.yml true 19.23 13.32 None termination-memory-alloca/min_rf-alloca.yml false(no-overflow) 13.88 12.11 None termination-memory-alloca/mult_array-alloca-2.yml false(no-overflow) 11.58 8.82 None termination-memory-alloca/openbsd_cstpcpy-alloca-2.yml true 10.31 6.87 None termination-memory-alloca/openbsd_cstpncpy-alloca-2.yml true 10.01 6.60 None termination-memory-alloca/openbsd_cstrcat-alloca-1.yml true 10.83 7.05 None termination-memory-alloca/openbsd_cstrcmp-alloca-2.yml true 15.84 10.42 None termination-memory-alloca/openbsd_cstrcpy-alloca-1.yml true 10.55 6.86 None termination-memory-alloca/openbsd_cstrcspn-alloca-1.yml true 10.74 7.05 None termination-memory-alloca/openbsd_cstrlen-alloca-2.yml true 9.72 6.51 None termination-memory-alloca/openbsd_cstrncat-alloca-1.yml true 11.43 8.55 None termination-memory-alloca/openbsd_cstrncmp-alloca-1.yml true 10.00 6.82 None termination-memory-alloca/openbsd_cstrncpy-alloca-1.yml true 12.83 11.05 None termination-memory-alloca/openbsd_cstrnlen-alloca-2.yml true 10.28 6.53 None termination-memory-alloca/openbsd_cstrpbrk-alloca-1.yml true 10.88 6.93 None termination-memory-alloca/openbsd_cstrspn-alloca-1.yml true 10.90 7.14 None termination-memory-alloca/openbsd_cstrstr-alloca-1.yml true 10.85 7.01 None termination-memory-alloca/selectionsort-alloca-2.yml true 13.93 9.61 None termination-memory-alloca/subseq-alloca-1.yml true 10.14 6.80 None termination-memory-alloca/substring-alloca-1.yml true 10.50 7.08 None termination-memory-linkedlists/cll_by_lseg-alloca-1.yml TIMEOUT 91.11 78.17 None termination-memory-linkedlists/cll_search-alloca-1.yml true 11.59 7.90 None termination-memory-linkedlists/cll_search-alloca-2.yml true 15.55 15.33 None termination-memory-linkedlists/cll_traverse-alloca.yml true 14.59 14.11 None termination-memory-linkedlists/ll_search-alloca.yml true 12.29 8.39 None termination-memory-linkedlists/ll_search_not_found-alloca.yml true 11.91 8.02 None termination-memory-linkedlists/ll_traverse-alloca.yml true 12.00 8.03 None termination-memory-linkedlists/nondet_ll_search-alloca-1.yml true 11.46 7.75 None termination-memory-linkedlists/nondet_ll_search-alloca-2.yml true 12.02 7.97 None termination-memory-linkedlists/nondet_ll_traverse-alloca.yml true 11.52 7.77 None termination-recursive-malloc/chunk1-2.yml true 13.12 8.56 None termination-recursive-malloc/chunk3.yml false(no-overflow) 17.16 10.48 None termination-recursive-malloc/insertionSort_recursive.yml true 18.54 12.13 None termination-recursive-malloc/mutual_simple.yml true 11.21 7.27 None termination-recursive-malloc/mutual_simple2.yml true 11.31 7.43 None termination-recursive-malloc/rec_malloc_ex1.yml false(no-overflow) 12.35 8.02 None termination-recursive-malloc/rec_malloc_ex10.yml false(no-overflow) 11.70 10.69 None termination-recursive-malloc/rec_malloc_ex11.yml true 14.91 9.24 None termination-recursive-malloc/rec_malloc_ex11C.yml true 19.60 17.16 None termination-recursive-malloc/rec_malloc_ex11D.yml true 14.91 9.35 None termination-recursive-malloc/rec_malloc_ex2.yml true 12.25 8.02 None termination-recursive-malloc/rec_malloc_ex3.yml true 11.47 7.47 None termination-recursive-malloc/rec_malloc_ex4.yml false(no-overflow) 9.12 6.27 None termination-recursive-malloc/rec_malloc_ex5.yml false(no-overflow) 10.52 6.78 None termination-recursive-malloc/rec_malloc_ex5B.yml false(no-overflow) 9.69 6.87 None termination-recursive-malloc/rec_malloc_ex6.yml false(no-overflow) 9.44 6.78 None termination-recursive-malloc/rec_malloc_ex7.yml false(no-overflow) 8.79 6.16 None termination-recursive-malloc/rec_malloc_ex7B.yml false(no-overflow) 9.69 6.32 None termination-recursive-malloc/rec_malloc_ex8.yml false(no-overflow) 8.81 6.13 None termination-recursive-malloc/rec_strcopy_malloc.yml true 9.76 6.49 None termination-recursive-malloc/selectionSort_recursive.yml true 24.15 20.06 None unsignedintegeroverflow-sas23/bilinear_interpolation.yml true 9.95 6.67 None unsignedintegeroverflow-sas23/cancel_var_through_overflow.yml true 9.93 6.59 None unsignedintegeroverflow-sas23/distance_through_overflow.yml true 9.34 6.38 None unsignedintegeroverflow-sas23/linear_interpolation.yml true 9.43 7.53 None unsignedintegeroverflow-sas23/linear_interpolation_2.yml true 10.73 7.06 None ---------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 8285.32 486.99 - Automizer_no-data-race.nonPreprocessed Run set 3 of 4 with options '' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------ goblint-regression/00-sanity_09-include.yml ERROR (7) 16.03 11.41 None goblint-regression/02-base_24-malloc_races.yml ERROR (7) 18.57 18.36 None goblint-regression/02-base_25-malloc_race_cp.yml ERROR (7) 18.71 17.30 None goblint-regression/02-base_26-malloc_struct.yml ERROR (7) 15.73 11.51 None goblint-regression/03-practical_07-nonterm.yml ERROR (7) 14.96 11.45 None goblint-regression/03-practical_08-nonterm1.yml ERROR (7) 15.08 11.39 None goblint-regression/03-practical_15-exit_problems.yml ERROR (7) 14.88 11.38 None goblint-regression/04-mutex_01-simple_rc.yml ERROR (7) 15.27 11.37 None goblint-regression/04-mutex_02-simple_nr.yml ERROR (7) 15.25 11.37 None goblint-regression/04-mutex_03-munge_rc.yml ERROR (7) 15.23 11.40 None goblint-regression/04-mutex_04-munge_nr.yml ERROR (7) 14.80 11.05 None goblint-regression/04-mutex_05-lockfuns.yml ERROR (7) 15.25 11.24 None goblint-regression/04-mutex_06-ps_rc.yml ERROR (7) 15.03 11.17 None goblint-regression/04-mutex_07-ps_nr.yml ERROR (7) 15.08 11.12 None goblint-regression/04-mutex_09-ptrmunge_rc.yml ERROR (7) 15.03 10.70 None goblint-regression/04-mutex_10-ptrmunge_nr.yml ERROR (7) 15.00 10.45 None goblint-regression/04-mutex_11-ptr_rc.yml ERROR (7) 15.26 10.49 None goblint-regression/04-mutex_12-ptr_nr.yml ERROR (7) 14.94 10.38 None goblint-regression/04-mutex_14-funarg_rc.yml ERROR (7) 14.99 10.28 None goblint-regression/04-mutex_15-funarg_nr.yml ERROR (7) 15.37 10.49 None goblint-regression/04-mutex_16-ps_add1_rc.yml ERROR (7) 14.50 12.44 None goblint-regression/04-mutex_17-ps_add1_nr.yml ERROR (7) 15.64 10.42 None goblint-regression/04-mutex_18-glob_guards.yml ERROR (7) 15.37 10.35 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml ERROR (7) 14.61 10.16 None goblint-regression/04-mutex_20-stdfun_rc.yml false(no-data-race) 10.97 7.18 None goblint-regression/04-mutex_21-sound_base.yml false(no-data-race) 10.62 6.90 None goblint-regression/04-mutex_22-deref_read.yml ERROR (7) 18.36 17.31 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 18.37 18.76 None goblint-regression/04-mutex_24-sound_lock.yml ERROR (7) 14.92 10.23 None goblint-regression/04-mutex_25-single_acc.yml false(no-data-race) 10.60 7.03 None goblint-regression/04-mutex_27-base_rc.yml ERROR (7) 15.23 10.53 None goblint-regression/04-mutex_28-base_nr.yml ERROR (7) 15.14 10.45 None goblint-regression/04-mutex_37-indirect_rc.yml ERROR (7) 15.00 10.45 None goblint-regression/04-mutex_38-indexing_malloc.yml ERROR (7) 15.12 10.60 None goblint-regression/04-mutex_41-pt_rwlock.yml ERROR (7) 15.08 10.60 None goblint-regression/04-mutex_42-trylock_2mutex.yml ERROR (7) 15.53 10.72 None goblint-regression/04-mutex_43-thread_create_nr.yml ERROR (7) 15.08 10.10 None goblint-regression/04-mutex_44-malloc_sound.yml false(no-data-race) 19.89 13.50 None goblint-regression/04-mutex_45-escape_rc.yml ERROR (7) 15.57 10.53 None goblint-regression/04-mutex_46-escape_nr.yml ERROR (7) 15.11 10.31 None goblint-regression/04-mutex_47-fun_write.yml ERROR (7) 15.11 10.48 None goblint-regression/04-mutex_50-funptr_rc.yml ERROR (7) 14.85 10.39 None goblint-regression/04-mutex_51-mutex_ptr.yml ERROR (7) 14.77 11.62 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml ERROR (7) 14.39 10.51 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml ERROR (7) 14.03 10.41 None goblint-regression/05-lval_ls_01-idx_rc.yml false(no-data-race) 16.78 11.47 None goblint-regression/05-lval_ls_02-idx_nr.yml true 12.57 8.75 None goblint-regression/05-lval_ls_03-fld_rc.yml false(no-data-race) 11.56 8.05 None goblint-regression/05-lval_ls_04-fld_nr.yml true 10.80 7.22 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml false(no-data-race) 15.04 9.51 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml false(no-data-race) 17.26 15.93 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml false(no-data-race) 18.21 11.27 None goblint-regression/05-lval_ls_09-idxsense_rc.yml false(no-data-race) 19.44 12.27 None goblint-regression/05-lval_ls_11-fldsense_rc.yml false(no-data-race) 19.88 18.96 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 18.33 11.26 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml false(no-data-race) 20.43 12.65 None goblint-regression/05-lval_ls_14-idxunknown_access.yml false(no-data-race) 16.48 10.23 None goblint-regression/05-lval_ls_15-fldunknown_access.yml false(no-data-race) 16.08 10.15 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 14.74 10.59 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 91.75 67.46 None goblint-regression/06-symbeq_03-funloop_simple.yml TIMEOUT 91.35 64.71 None goblint-regression/06-symbeq_04-funloop_hard1.yml TIMEOUT 90.97 63.71 None goblint-regression/06-symbeq_05-funloop_hard2.yml TIMEOUT 91.42 68.54 None goblint-regression/06-symbeq_06-tricky_address1.yml TIMEOUT 91.41 56.43 None goblint-regression/06-symbeq_07-tricky_address2.yml TIMEOUT 90.63 56.34 None goblint-regression/06-symbeq_08-tricky_address3.yml TIMEOUT 90.19 57.63 None goblint-regression/06-symbeq_09-tricky_address4.yml false(no-data-race) 22.70 13.55 None goblint-regression/06-symbeq_10-equ_rc.yml false(no-data-race) 22.55 20.12 None goblint-regression/06-symbeq_11-equ_nr.yml true 24.11 13.81 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 44.08 26.44 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 24.56 14.61 None goblint-regression/09-regions_01-list_rc.yml ERROR (7) 16.01 10.48 None goblint-regression/09-regions_02-list_nr.yml ERROR (7) 19.51 18.74 None goblint-regression/09-regions_03-list2_rc.yml ERROR (7) 16.34 10.87 None goblint-regression/09-regions_04-list2_nr.yml ERROR (7) 15.88 10.91 None goblint-regression/09-regions_09-arraylist.yml ERROR (7) 17.03 11.54 None goblint-regression/09-regions_10-arraylist_rc.yml TIMEOUT 91.39 64.13 None goblint-regression/09-regions_11-arraylist_nr.yml TIMEOUT 90.49 79.72 None goblint-regression/09-regions_12-arraycollapse_rc.yml TIMEOUT 90.99 63.68 None goblint-regression/09-regions_13-arraycollapse_nr.yml TIMEOUT 90.52 80.62 None goblint-regression/09-regions_18-nested_rc.yml TIMEOUT 91.14 64.87 None goblint-regression/09-regions_19-nested_nr.yml TIMEOUT 91.45 62.32 None goblint-regression/09-regions_20-arrayloop2_rc.yml TIMEOUT 90.94 62.41 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 90.96 62.62 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT 91.12 61.84 None goblint-regression/09-regions_23-evilcollapse_rc.yml TIMEOUT 90.94 63.29 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 90.89 62.64 None goblint-regression/09-regions_26-alloc_region_rc.yml ERROR (7) 14.73 12.38 None goblint-regression/09-regions_28-list2alloc.yml ERROR (7) 14.78 10.23 None goblint-regression/10-synch_01-thread_unique.yml true 10.13 6.65 None goblint-regression/10-synch_02-thread_nonunique.yml false(no-data-race) 13.38 8.55 None goblint-regression/10-synch_03-two_unique.yml true 10.67 6.78 None goblint-regression/13-privatized_01-priv_nr_true.yml ERROR (7) 14.73 10.29 None goblint-regression/13-privatized_03-priv_inv.yml ERROR (7) 15.11 11.09 None goblint-regression/13-privatized_18-first-reads_true.yml ERROR (7) 15.02 11.26 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml ERROR (7) 14.86 10.41 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml ERROR (7) 15.10 10.14 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml ERROR (7) 15.03 10.18 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml ERROR (7) 15.44 10.52 None goblint-regression/13-privatized_19-publish-precision_true.yml ERROR (7) 14.22 10.07 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml ERROR (7) 14.07 10.03 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml ERROR (7) 14.67 10.07 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml ERROR (7) 14.50 10.33 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml ERROR (7) 14.44 10.23 None goblint-regression/13-privatized_20-publish-regression_true.yml ERROR (7) 14.82 10.02 None goblint-regression/13-privatized_24-multiple-protecting_true.yml ERROR (7) 14.65 10.08 None goblint-regression/13-privatized_25-struct_nr_true.yml ERROR (7) 15.38 10.11 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml ERROR (7) 15.34 10.55 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml ERROR (7) 15.12 10.27 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml ERROR (7) 18.64 15.70 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml ERROR (7) 14.91 10.22 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml ERROR (7) 14.77 10.26 None goblint-regression/13-privatized_33-traces-v-matters_true.yml ERROR (7) 15.25 10.19 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml ERROR (7) 14.24 10.05 None goblint-regression/13-privatized_35-traces-ex-2_true.yml ERROR (7) 17.85 16.47 None goblint-regression/13-privatized_36-traces-ex-3_true.yml ERROR (7) 14.99 10.25 None goblint-regression/13-privatized_37-traces-ex-4_true.yml ERROR (7) 14.79 10.45 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml ERROR (7) 14.62 10.08 None goblint-regression/13-privatized_40-traces-ex-6_true.yml ERROR (7) 14.94 10.25 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml ERROR (7) 14.27 11.47 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml ERROR (7) 14.42 10.20 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml ERROR (7) 15.06 10.61 None goblint-regression/13-privatized_44-traces-mine2_true.yml ERROR (7) 14.05 10.04 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml ERROR (7) 15.44 10.68 None goblint-regression/13-privatized_46-refine-protected1_true.yml ERROR (7) 15.79 10.65 None goblint-regression/13-privatized_47-refine-protected2_true.yml ERROR (7) 18.72 16.79 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml ERROR (7) 14.64 10.49 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml ERROR (7) 15.10 10.73 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml ERROR (7) 14.14 10.34 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 9.88 6.77 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 68.23 46.34 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml ERROR (7) 15.17 10.47 None goblint-regression/36-apron_11-traces-max-simple_true.yml ERROR (7) 18.57 16.92 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 10.77 6.99 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml ERROR (7) 15.36 11.60 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml ERROR (7) 14.20 10.47 None goblint-regression/36-apron_21-traces-cluster-based_true.yml ERROR (7) 14.08 10.28 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml ERROR (7) 14.96 10.31 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml true 9.35 6.34 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml true 9.68 6.28 None pthread-C-DAC/pthread-demo-datarace-1.yml ERROR (7) 15.51 10.55 None pthread-C-DAC/pthread-demo-datarace-2.yml ERROR (7) 14.87 11.32 None pthread-C-DAC/pthread-demo-datarace-3.yml ERROR (7) 15.42 10.69 None pthread-atomic/gcd-2.yml false(no-data-race) 11.33 7.53 None pthread-complex/elimination_backoff_stack-race.yml OUT OF MEMORY 80.83 49.51 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 74.65 46.35 None pthread-race-challenges/atomic-gcc.yml unknown 28.95 25.51 None pthread-race-challenges/per-thread-array-index-race-2.yml OUT OF MEMORY 84.64 60.54 None pthread-race-challenges/per-thread-array-index-race.yml OUT OF MEMORY 81.85 58.33 None pthread-race-challenges/per-thread-array-index.yml OUT OF MEMORY 69.87 49.11 None pthread-race-challenges/per-thread-array-init-race.yml false(no-data-race) 15.51 9.43 None pthread-race-challenges/per-thread-array-init.yml TIMEOUT 90.25 74.99 None pthread-race-challenges/per-thread-array-join-counter-2.yml ERROR (7) 19.33 17.87 None pthread-race-challenges/per-thread-array-join-counter-race-2.yml ERROR (7) 15.04 10.44 None pthread-race-challenges/per-thread-array-join-counter-race-3.yml ERROR (7) 15.60 10.50 None pthread-race-challenges/per-thread-array-join-counter-race-4.yml ERROR (7) 15.62 10.50 None pthread-race-challenges/per-thread-array-join-counter-race.yml ERROR (7) 15.14 10.78 None pthread-race-challenges/per-thread-array-join-counter.yml ERROR (7) 15.31 10.46 None pthread-race-challenges/per-thread-array-ptr-race.yml TIMEOUT 91.40 69.93 None pthread-race-challenges/per-thread-array-ptr.yml TIMEOUT 90.88 71.30 None pthread-race-challenges/per-thread-struct-in-array-race.yml TIMEOUT 91.77 68.39 None pthread-race-challenges/per-thread-struct-in-array.yml TIMEOUT 91.25 70.01 None pthread-race-challenges/per-thread-struct-race.yml TIMEOUT 91.34 70.26 None pthread-race-challenges/per-thread-struct-tid-join.yml ERROR (7) 19.59 17.22 None pthread-race-challenges/per-thread-struct-tid.yml TIMEOUT 91.00 81.70 None pthread-race-challenges/per-thread-struct.yml TIMEOUT 91.28 68.47 None pthread-race-challenges/thread-join-array-const-race-2.yml ERROR (7) 18.04 16.25 None pthread-race-challenges/thread-join-array-const-race-3.yml ERROR (7) 15.44 10.59 None pthread-race-challenges/thread-join-array-const-race.yml ERROR (7) 15.25 11.54 None pthread-race-challenges/thread-join-array-const.yml ERROR (7) 14.28 9.94 None pthread-race-challenges/thread-join-array-dynamic-race-2.yml ERROR (7) 18.46 16.19 None pthread-race-challenges/thread-join-array-dynamic-race-3.yml ERROR (7) 16.30 10.80 None pthread-race-challenges/thread-join-array-dynamic-race.yml ERROR (7) 15.58 10.53 None pthread-race-challenges/thread-join-array-dynamic.yml ERROR (7) 15.60 10.46 None pthread-race-challenges/thread-join-binomial-race-2.yml ERROR (7) 15.13 10.27 None pthread-race-challenges/thread-join-binomial-race-3.yml ERROR (7) 15.60 10.61 None pthread-race-challenges/thread-join-binomial-race.yml ERROR (7) 15.96 10.66 None pthread-race-challenges/thread-join-binomial.yml ERROR (7) 15.22 10.61 None pthread-race-challenges/thread-join-counter-inner-2.yml ERROR (7) 14.37 9.83 None pthread-race-challenges/thread-join-counter-inner-3.yml ERROR (7) 15.27 10.57 None pthread-race-challenges/thread-join-counter-inner-race-2.yml ERROR (7) 14.92 10.35 None pthread-race-challenges/thread-join-counter-inner-race-3.yml ERROR (7) 17.83 16.04 None pthread-race-challenges/thread-join-counter-inner-race-4.yml ERROR (7) 14.84 10.64 None pthread-race-challenges/thread-join-counter-inner-race-5.yml ERROR (7) 15.52 10.49 None pthread-race-challenges/thread-join-counter-inner-race.yml ERROR (7) 15.07 10.51 None pthread-race-challenges/thread-join-counter-inner.yml ERROR (7) 14.87 10.35 None pthread-race-challenges/thread-join-counter-outer-race-2.yml ERROR (7) 15.38 10.53 None pthread-race-challenges/thread-join-counter-outer-race-3.yml ERROR (7) 15.73 10.94 None pthread-race-challenges/thread-join-counter-outer-race-4.yml ERROR (7) 14.94 10.28 None pthread-race-challenges/thread-join-counter-outer-race.yml ERROR (7) 14.59 10.30 None pthread-race-challenges/thread-join-counter-outer.yml ERROR (7) 15.79 10.81 None pthread-race-challenges/thread-local-pthread-value-cond.yml unknown 14.71 10.65 None pthread-race-challenges/thread-local-pthread-value.yml unknown 15.41 10.51 None pthread-race-challenges/thread-local-value-cond.yml unknown 19.36 17.88 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 15.57 10.66 None pthread-race-challenges/thread-local-value-race.yml unknown 14.96 10.21 None pthread-race-challenges/thread-local-value.yml unknown 14.52 10.14 None pthread-race-challenges/value-barrier-race.yml false(no-data-race) 17.17 10.28 None pthread-race-challenges/value-barrier.yml ERROR (7) 15.95 11.01 None pthread-theta/wsc.yml true 9.51 6.38 None pthread/bigshot_p.yml false(no-data-race) 11.99 7.50 None pthread/bigshot_s.yml true 12.05 7.67 None pthread/bigshot_s2.yml true 12.19 7.60 None pthread/butterfly.yml true 9.76 6.73 None pthread/lazy01.yml true 13.17 8.05 None pthread/sigma.yml false(no-data-race) 16.06 9.74 None pthread/singleton-b.yml false(no-data-race) 13.71 8.36 None pthread/singleton.yml true 12.33 7.80 None pthread/singleton_with-uninit-problems-b.yml false(no-data-race) 13.26 8.56 None pthread/singleton_with-uninit-problems.yml true 12.49 8.04 None pthread/stateful01-1.yml true 12.84 8.27 None pthread/stateful01-2.yml true 13.43 8.40 None pthread/sync01.yml true 15.31 9.23 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 3 done 5634.09 302.30 - Automizer_memsafety.memsafety Run set 4 of 4 with options '' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/relax-1.yml false(valid-deref) 12.01 7.52 None array-examples/relax-2-2.yml unknown 69.63 65.22 None array-examples/relax-2.yml false(valid-deref) 13.45 12.56 None array-memsafety-realloc/array-realloc-1.yml false(valid-free) 14.83 9.20 None array-memsafety-realloc/array-realloc-2.yml true 45.28 34.06 None array-memsafety-realloc/array-realloc-3.yml unknown 20.65 15.41 None array-memsafety/add_last_unsafe.yml false(valid-deref) 10.89 7.20 None array-memsafety/array01-alloca-2.yml true 18.21 11.89 None array-memsafety/array02-alloca-2.yml true 18.86 11.93 None array-memsafety/bubblesort-alloca-2.yml true 21.37 13.64 None array-memsafety/count_down-alloca-1.yml true 18.46 11.69 None array-memsafety/count_down_unsafe.yml false(valid-deref) 10.69 7.07 None array-memsafety/cstrcat-alloca-2.yml TIMEOUT 90.83 68.32 None array-memsafety/cstrchr-alloca-2.yml TIMEOUT 90.48 66.40 None array-memsafety/cstrchr_unsafe.yml false(valid-deref) 15.11 9.65 None array-memsafety/cstrcmp-alloca-2.yml TIMEOUT 90.45 65.35 None array-memsafety/cstrcpy-alloca-1.yml TIMEOUT 90.30 66.74 None array-memsafety/cstrcspn-alloca-1.yml true 56.25 38.35 None array-memsafety/cstrlen-alloca-2.yml true 22.74 14.39 None array-memsafety/cstrlen_unsafe.yml false(valid-deref) 16.61 10.72 None array-memsafety/cstrncat-alloca-2.yml TIMEOUT 90.58 64.62 None array-memsafety/cstrncpy-alloca-2.yml true 63.24 56.07 None array-memsafety/cstrpbrk-alloca-2.yml TIMEOUT 90.83 66.99 None array-memsafety/cstrpbrk_unsafe.yml false(valid-deref) 18.27 11.33 None array-memsafety/cstrspn-alloca-1.yml TIMEOUT 90.71 68.95 None array-memsafety/diff-alloca-2.yml true 46.56 30.27 None array-memsafety/insertionsort-alloca-1.yml true 20.74 13.21 None array-memsafety/java_BubbleSort-alloca-1.yml true 20.62 13.02 None array-memsafety/knapsack_alloca_unsafe.yml false(valid-deref) 12.17 7.66 None array-memsafety/lis-alloca-1.yml true 40.55 25.81 None array-memsafety/lis_unsafe.yml false(valid-deref) 10.75 7.01 None array-memsafety/mult_array-alloca-1.yml TIMEOUT 90.96 81.50 None array-memsafety/mult_array_unsafe.yml false(valid-deref) 10.94 7.34 None array-memsafety/openbsd_cbzero-alloca-2.yml true 20.05 12.66 None array-memsafety/openbsd_cmemchr-alloca-2.yml true 56.15 39.00 None array-memsafety/openbsd_cmemrchr-alloca-2.yml true 44.67 29.92 None array-memsafety/openbsd_cmemset-alloca-1.yml true 18.93 11.62 None array-memsafety/openbsd_cstpcpy-alloca-1.yml true 74.55 62.26 None array-memsafety/openbsd_cstpncpy-alloca-1.yml TIMEOUT 90.23 65.55 None array-memsafety/openbsd_cstrcat-alloca-2.yml TIMEOUT 90.71 64.83 None array-memsafety/openbsd_cstrcmp-alloca-1.yml TIMEOUT 90.23 65.52 None array-memsafety/openbsd_cstrcpy-alloca-2.yml TIMEOUT 91.21 80.49 None array-memsafety/openbsd_cstrcspn-alloca-2.yml TIMEOUT 90.55 66.67 None array-memsafety/openbsd_cstrlcpy-alloca-1.yml TIMEOUT 90.33 65.90 None array-memsafety/openbsd_cstrlen-alloca-1.yml true 25.03 14.91 None array-memsafety/openbsd_cstrncat-alloca-2.yml TIMEOUT 90.88 67.14 None array-memsafety/openbsd_cstrncmp-alloca-2.yml TIMEOUT 90.42 64.36 None array-memsafety/openbsd_cstrncpy-alloca-2.yml TIMEOUT 91.31 68.26 None array-memsafety/openbsd_cstrnlen-alloca-1.yml true 27.37 17.06 None array-memsafety/openbsd_cstrpbrk-alloca-2.yml TIMEOUT 90.12 69.56 None array-memsafety/openbsd_cstrspn-alloca-2.yml TIMEOUT 90.78 68.36 None array-memsafety/openbsd_cstrstr-alloca-2.yml TIMEOUT 90.73 74.31 None array-memsafety/rec_strlen-alloca-1.yml true 32.11 22.55 None array-memsafety/reverse_array_alloca_unsafe.yml false(valid-deref) 13.17 9.43 None array-memsafety/reverse_array_unsafe.yml false(valid-deref) 11.61 7.11 None array-memsafety/selectionsort-alloca-1.yml true 30.22 20.24 None array-memsafety/strreplace-alloca-2.yml TIMEOUT 90.30 67.95 None array-memsafety/subseq-alloca-2.yml TIMEOUT 90.87 77.30 None array-memsafety/substring-alloca-2.yml TIMEOUT 91.05 69.72 None goblint-regression/04-mutex_02-simple_nr.yml ERROR (7) 15.89 10.97 None goblint-regression/04-mutex_04-munge_nr.yml ERROR (7) 15.28 10.24 None goblint-regression/04-mutex_05-lockfuns.yml ERROR (7) 14.82 10.44 None goblint-regression/04-mutex_10-ptrmunge_nr.yml ERROR (7) 15.18 10.45 None goblint-regression/04-mutex_12-ptr_nr.yml ERROR (7) 15.30 11.30 None goblint-regression/04-mutex_15-funarg_nr.yml ERROR (7) 16.80 12.71 None goblint-regression/04-mutex_18-glob_guards.yml ERROR (7) 15.27 10.36 None goblint-regression/04-mutex_22-deref_read.yml ERROR (7) 15.31 10.45 None goblint-regression/04-mutex_28-base_nr.yml ERROR (7) 14.59 10.43 None goblint-regression/04-mutex_41-pt_rwlock.yml ERROR (7) 14.66 10.23 None goblint-regression/04-mutex_42-trylock_2mutex.yml ERROR (7) 14.47 10.03 None goblint-regression/04-mutex_46-escape_nr.yml ERROR (7) 15.41 10.17 None goblint-regression/04-mutex_51-mutex_ptr.yml ERROR (7) 15.34 10.58 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml ERROR (7) 15.63 11.88 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 11.63 7.41 None goblint-regression/06-symbeq_02-funloop_norace.yml true 30.10 18.33 None goblint-regression/06-symbeq_05-funloop_hard2.yml true 32.75 19.88 None goblint-regression/06-symbeq_06-tricky_address1.yml true 15.32 12.57 None goblint-regression/06-symbeq_07-tricky_address2.yml true 13.49 8.59 None goblint-regression/06-symbeq_08-tricky_address3.yml true 14.00 8.89 None goblint-regression/06-symbeq_11-equ_nr.yml true 12.69 8.00 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 12.77 7.89 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 13.56 8.84 None goblint-regression/09-regions_02-list_nr.yml ERROR (7) 14.98 10.36 None goblint-regression/09-regions_04-list2_nr.yml ERROR (7) 15.41 11.41 None goblint-regression/09-regions_09-arraylist-deref.yml ERROR (7) 16.03 11.85 None goblint-regression/09-regions_09-arraylist.yml ERROR (7) 15.18 10.29 None goblint-regression/09-regions_11-arraylist_nr-deref.yml false(valid-deref) 35.59 21.43 None goblint-regression/09-regions_11-arraylist_nr.yml TIMEOUT 90.92 82.42 None goblint-regression/09-regions_12-arraycollapse_rc-deref.yml TIMEOUT 90.30 63.45 None goblint-regression/09-regions_12-arraycollapse_rc.yml TIMEOUT 90.33 73.16 None goblint-regression/09-regions_13-arraycollapse_nr-deref.yml TIMEOUT 90.93 67.01 None goblint-regression/09-regions_13-arraycollapse_nr.yml TIMEOUT 90.36 72.64 None goblint-regression/09-regions_19-nested_nr-deref.yml false(valid-deref) 35.81 21.60 None goblint-regression/09-regions_19-nested_nr.yml TIMEOUT 90.91 61.20 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 90.10 77.56 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT 91.12 78.57 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 90.25 74.60 None goblint-regression/10-synch_01-thread_unique.yml true 10.59 6.90 None goblint-regression/10-synch_03-two_unique.yml true 10.52 6.79 None goblint-regression/13-privatized_01-priv_nr_true.yml ERROR (7) 15.35 10.46 None goblint-regression/13-privatized_03-priv_inv.yml ERROR (7) 14.39 10.06 None goblint-regression/13-privatized_18-first-reads_true.yml ERROR (7) 14.89 10.10 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml ERROR (7) 14.32 10.29 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml ERROR (7) 15.00 10.28 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml ERROR (7) 14.69 9.99 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml ERROR (7) 17.30 15.14 None goblint-regression/13-privatized_19-publish-precision_true.yml ERROR (7) 14.55 10.02 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml ERROR (7) 14.81 10.07 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml ERROR (7) 14.53 10.18 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml ERROR (7) 15.00 10.25 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml ERROR (7) 15.02 10.17 None goblint-regression/13-privatized_20-publish-regression_true.yml ERROR (7) 18.00 15.74 None goblint-regression/13-privatized_24-multiple-protecting_true.yml ERROR (7) 14.71 10.10 None goblint-regression/13-privatized_25-struct_nr_true.yml ERROR (7) 14.85 10.06 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml ERROR (7) 14.88 10.09 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml ERROR (7) 14.25 10.01 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml ERROR (7) 14.40 10.08 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml ERROR (7) 14.76 9.94 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml ERROR (7) 14.69 10.16 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 91.54 66.43 None goblint-regression/36-apron_21-traces-cluster-based_true.yml ERROR (7) 14.94 10.26 None heap-manipulation/dancing.yml TIMEOUT 90.54 84.43 None list-ext-properties/960521-1_1-1.yml false(valid-deref) 13.79 9.00 None list-ext-properties/960521-1_1-2.yml true 38.11 25.98 None list-ext-properties/960521-1_1-3.yml false(valid-free) 19.13 12.21 None list-ext-properties/list-ext.yml unknown 29.94 20.57 None list-ext-properties/list-ext_1.yml TIMEOUT 90.71 72.48 None list-ext-properties/list-ext_2.yml unknown 29.64 20.28 None list-ext-properties/list-ext_flag.yml TIMEOUT 90.66 74.93 None list-ext-properties/list-ext_flag_1.yml TIMEOUT 90.70 73.30 None list-ext-properties/simple-ext_1.yml TIMEOUT 90.55 75.42 None list-ext-properties/test-0019_1-1.yml unknown 46.31 41.29 None list-ext-properties/test-0019_1-2.yml unknown 40.02 28.00 None list-ext-properties/test-0158_1-1.yml true 12.00 7.63 None list-ext-properties/test-0158_1-2.yml unknown 19.59 13.86 None list-ext-properties/test-0158_1-3.yml false(valid-free) 12.42 7.92 None list-ext-properties/test-0214_1.yml TIMEOUT 91.12 62.85 None list-ext-properties/test-0217_1.yml TIMEOUT 90.68 60.14 None list-ext-properties/test-0232_1-1.yml unknown 56.80 39.55 None list-ext-properties/test-0232_1-2.yml TIMEOUT 90.18 75.53 None list-ext-properties/test-0504_1.yml TIMEOUT 90.92 68.84 None list-ext-properties/test-0513_1.yml TIMEOUT 90.70 66.11 None list-ext3-properties/dll_circular_traversal-1.yml TIMEOUT 90.68 70.47 None list-ext3-properties/dll_circular_traversal-2.yml TIMEOUT 90.60 82.79 None list-ext3-properties/dll_nondet_free_order-1.yml TIMEOUT 90.48 66.85 None list-ext3-properties/dll_nondet_free_order-2.yml TIMEOUT 90.59 70.96 None list-ext3-properties/dll_nullified-2.yml TIMEOUT 90.67 66.41 None list-ext3-properties/sll_circular_traversal-1.yml TIMEOUT 90.78 69.79 None list-ext3-properties/sll_circular_traversal-2.yml TIMEOUT 91.27 71.40 None list-ext3-properties/sll_length_check-2.yml TIMEOUT 91.03 81.79 None list-ext3-properties/sll_nondet_insert-2.yml TIMEOUT 90.70 71.40 None list-ext3-properties/sll_of_sll_nondet_append-1.yml TIMEOUT 91.08 68.02 None list-ext3-properties/sll_shallow_copy-1.yml true 17.71 11.25 None list-ext3-properties/sll_shallow_copy-2.yml unknown 47.46 38.66 None list-properties/alternating_list-1.yml TIMEOUT 90.51 75.52 None list-properties/list-1.yml unknown 26.14 18.24 None list-properties/list_flag-2.yml unknown 21.45 15.00 None list-properties/simple-2.yml unknown 23.98 16.66 None list-properties/simple_built_from_end.yml unknown 24.66 17.52 None list-properties/splice-2.yml unknown 20.73 15.32 None list-simple/dll2c_append_equal.yml TIMEOUT 90.88 62.20 None list-simple/dll2c_append_unequal.yml TIMEOUT 90.59 67.74 None list-simple/dll2c_insert_equal.yml TIMEOUT 90.46 70.78 None list-simple/dll2c_insert_unequal.yml TIMEOUT 91.25 70.10 None list-simple/dll2c_prepend_equal.yml TIMEOUT 90.43 64.73 None list-simple/dll2c_prepend_unequal.yml TIMEOUT 90.93 72.56 None list-simple/dll2c_remove_all.yml TIMEOUT 90.59 66.59 None list-simple/dll2c_remove_all_reverse.yml TIMEOUT 90.94 70.07 None list-simple/dll2c_update_all.yml TIMEOUT 91.09 65.53 None list-simple/dll2c_update_all_reverse.yml TIMEOUT 90.91 67.94 None list-simple/dll2n_append_equal.yml TIMEOUT 91.24 71.38 None list-simple/dll2n_append_unequal.yml TIMEOUT 91.17 70.05 None list-simple/dll2n_insert_equal.yml TIMEOUT 90.18 76.30 None list-simple/dll2n_insert_unequal.yml TIMEOUT 90.21 75.25 None list-simple/dll2n_prepend_equal.yml TIMEOUT 90.35 73.25 None list-simple/dll2n_prepend_unequal.yml TIMEOUT 90.50 72.42 None list-simple/dll2n_remove_all.yml TIMEOUT 90.26 74.71 None list-simple/dll2n_remove_all_reverse.yml TIMEOUT 90.84 71.46 None list-simple/dll2n_update_all.yml TIMEOUT 90.24 65.07 None list-simple/dll2n_update_all_reverse.yml TIMEOUT 90.91 70.22 None list-simple/sll2c_append_equal.yml TIMEOUT 91.09 77.82 None list-simple/sll2c_append_unequal.yml TIMEOUT 90.41 72.01 None list-simple/sll2c_insert_equal.yml TIMEOUT 91.17 67.07 None list-simple/sll2c_insert_unequal.yml TIMEOUT 91.05 66.44 None list-simple/sll2c_prepend_equal.yml TIMEOUT 90.70 68.80 None list-simple/sll2c_prepend_unequal.yml TIMEOUT 90.15 71.10 None list-simple/sll2c_remove_all.yml true 88.84 68.01 None list-simple/sll2c_remove_all_reverse.yml TIMEOUT 90.95 70.57 None list-simple/sll2c_update_all.yml TIMEOUT 90.84 66.25 None list-simple/sll2c_update_all_reverse.yml TIMEOUT 90.79 67.47 None list-simple/sll2n_append_equal.yml TIMEOUT 90.96 72.42 None list-simple/sll2n_append_unequal.yml TIMEOUT 90.60 72.41 None list-simple/sll2n_insert_equal.yml TIMEOUT 91.09 71.88 None list-simple/sll2n_insert_unequal.yml TIMEOUT 90.73 73.17 None list-simple/sll2n_prepend_equal.yml TIMEOUT 90.35 74.64 None list-simple/sll2n_prepend_unequal.yml TIMEOUT 90.84 72.74 None list-simple/sll2n_remove_all.yml true 78.52 61.74 None list-simple/sll2n_remove_all_reverse.yml TIMEOUT 90.15 70.06 None list-simple/sll2n_update_all.yml TIMEOUT 91.00 64.66 None list-simple/sll2n_update_all_reverse.yml TIMEOUT 90.71 63.28 None memory-alloca/c.03-alloca-2.yml true 12.68 8.03 None memsafety-bftpd/bftpd_1.yml TIMEOUT 90.29 63.35 None memsafety-bftpd/bftpd_2.yml TIMEOUT 90.92 66.70 None memsafety-bftpd/bftpd_3.yml TIMEOUT 90.81 67.19 None memsafety-ext/dll_extends_pointer.yml TIMEOUT 91.11 73.13 None memsafety-ext/skiplist_2lvl.yml TIMEOUT 90.41 65.56 None memsafety-ext/skiplist_3lvl.yml TIMEOUT 90.22 63.84 None memsafety-ext/tree_cnstr.yml TIMEOUT 90.90 70.92 None memsafety-ext/tree_dsw.yml TIMEOUT 90.49 70.91 None memsafety-ext/tree_of_cslls.yml TIMEOUT 91.08 63.91 None memsafety-ext/tree_parent_ptr.yml TIMEOUT 91.20 67.88 None memsafety-ext/tree_stack.yml TIMEOUT 90.76 69.53 None memsafety-ext2/complex_data_creation_test01-1.yml TIMEOUT 91.85 70.14 None memsafety-ext2/complex_data_creation_test02-2.yml TIMEOUT 91.02 68.13 None memsafety-ext2/length_test03-1.yml TIMEOUT 90.94 68.24 None memsafety-ext2/length_test03-2.yml TIMEOUT 91.74 64.22 None memsafety-ext2/optional_data_creation_test04-1.yml TIMEOUT 90.97 65.43 None memsafety-ext2/optional_data_creation_test04-2.yml TIMEOUT 91.00 65.97 None memsafety-ext2/split_list_test05-1.yml TIMEOUT 90.73 64.52 None memsafety-ext2/split_list_test05-2.yml TIMEOUT 90.34 63.62 None memsafety/20020406-1.yml TIMEOUT 90.87 66.21 None memsafety/20051113-1.yml TIMEOUT 90.22 74.37 None memsafety/cmp-freed-ptr.yml false(valid-free) 10.65 6.88 None memsafety/global-atexit-2.yml unknown 14.29 9.94 None memsafety/global-atexit-5.yml unknown 14.08 10.10 None memsafety/lockfree-3.0.yml TIMEOUT 90.60 56.51 None memsafety/lockfree-3.1.yml unknown 43.93 30.63 None memsafety/lockfree-3.2.yml unknown 23.31 16.74 None memsafety/lockfree-3.3.yml unknown 65.83 45.37 None memsafety/test-0019-1.yml true 21.57 12.44 None memsafety/test-0019-2.yml unknown 25.80 17.97 None memsafety/test-0158-1.yml true 10.67 6.94 None memsafety/test-0158-2.yml unknown 19.13 13.24 None memsafety/test-0158-3.yml false(valid-free) 12.01 7.61 None memsafety/test-0214.yml TIMEOUT 90.34 72.69 None memsafety/test-0217.yml TIMEOUT 91.09 59.13 None memsafety/test-0218.yml TIMEOUT 90.68 67.39 None memsafety/test-0219.yml TIMEOUT 90.95 81.73 None memsafety/test-0220.yml TIMEOUT 91.04 71.89 None memsafety/test-0232-1.yml unknown 58.23 42.58 None memsafety/test-0232-2.yml TIMEOUT 90.92 70.27 None memsafety/test-0232-3.yml TIMEOUT 91.25 69.27 None memsafety/test-0234-1.yml TIMEOUT 90.55 70.29 None memsafety/test-0234-2.yml TIMEOUT 90.98 73.02 None memsafety/test-0235-1.yml TIMEOUT 90.42 75.33 None memsafety/test-0235-2.yml TIMEOUT 90.79 71.98 None memsafety/test-0235-3.yml TIMEOUT 90.68 70.92 None memsafety/test-0236.yml TIMEOUT 90.42 71.89 None memsafety/test-0237.yml TIMEOUT 90.60 74.76 None memsafety/test-0504.yml TIMEOUT 90.87 70.97 None memsafety/test-0513.yml TIMEOUT 90.68 66.82 None memsafety/test-0521.yml TIMEOUT 91.09 64.36 None memsafety/test-memleak_nexttime.yml TIMEOUT 90.74 73.48 None pthread-C-DAC/pthread-demo-datarace-1.yml ERROR (7) 14.89 10.11 None pthread-C-DAC/pthread-demo-datarace-3.yml ERROR (7) 15.41 10.23 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 53.54 32.59 None pthread-memsafety/fillarray.yml false(valid-deref) 10.67 7.05 None pthread-memsafety/fillarray1.yml false(valid-deref) 11.67 7.15 None pthread-memsafety/list1.yml unknown 81.28 62.82 None pthread-theta/wsc.yml true 23.80 14.82 None pthread/bigshot_s.yml unknown 84.37 62.15 None pthread/bigshot_s2.yml unknown 89.31 68.58 None pthread/lazy01.yml unknown 22.67 15.52 None pthread/reorder_5-2.yml unknown 23.47 15.62 None pthread/singleton.yml unknown 25.19 16.49 None pthread/singleton_with-uninit-problems.yml unknown 25.36 16.26 None pthread/stateful01-1.yml unknown 21.01 14.32 None pthread/stateful01-2.yml true 12.19 7.73 None pthread/sync01.yml true 16.99 10.00 None recursive-with-pointer/system-with-recursion.yml false(valid-deref) 41.24 23.35 None termination-15/array12_alloca.yml true 16.85 11.09 None termination-15/array13_alloca.yml true 15.68 10.57 None termination-15/array14_alloca.yml true 16.65 10.84 None termination-15/array15_alloca.yml true 16.42 10.88 None termination-15/array16_alloca_fixed.yml true 16.57 10.90 None termination-15/array16_alloca_original.yml true 16.76 10.88 None termination-15/array17_alloca.yml true 14.89 9.48 None termination-15/count_up_alloca.yml true 17.57 12.48 None termination-15/count_up_and_down_alloca.yml true 20.05 13.19 None termination-15/cstrcat_reverse_alloca.yml true 44.71 28.97 None termination-15/cstrchr_diffterm_alloca.yml true 20.22 12.90 None termination-15/cstrchr_malloc.yml true 20.07 12.07 None termination-15/cstrchr_reverse_alloca.yml true 16.61 10.30 None termination-15/cstrcmp_diffterm_alloca.yml TIMEOUT 90.20 78.42 None termination-15/cstrcmp_malloc.yml true 69.13 55.57 None termination-15/cstrcmp_mixed_alloca.yml TIMEOUT 91.02 78.94 None termination-15/cstrcmp_reverse_alloca.yml true 22.76 13.49 None termination-15/cstrcpy_diffterm_alloca.yml true 33.41 21.97 None termination-15/cstrcpy_malloc.yml true 26.14 15.81 None termination-15/cstrcpy_mixed_alloca.yml true 21.48 12.91 None termination-15/cstrcpy_reverse_alloca.yml true 19.52 11.94 None termination-15/cstrcspn_diffterm_alloca.yml true 39.74 29.56 None termination-15/cstrcspn_malloc.yml TIMEOUT 90.58 76.56 None termination-15/cstrcspn_mixed_alloca.yml TIMEOUT 91.03 79.57 None termination-15/cstrcspn_reverse_alloca.yml true 24.02 14.16 None termination-15/cstrlen_diffterm_alloca.yml true 16.69 10.06 None termination-15/cstrlen_malloc.yml true 21.01 14.63 None termination-15/cstrlen_reverse_alloca.yml true 15.36 9.65 None termination-15/cstrncat_reverse_alloca.yml false(valid-deref) 24.42 14.71 None termination-15/cstrncpy_diffterm_alloca.yml true 62.93 45.00 None termination-15/cstrncpy_malloc.yml true 66.88 47.51 None termination-15/cstrncpy_mixed_alloca.yml true 23.26 13.98 None termination-15/cstrncpy_reverse_alloca.yml true 20.43 12.38 None termination-15/cstrpbrk_diffterm_alloca.yml true 37.47 25.25 None termination-15/cstrpbrk_malloc.yml TIMEOUT 91.08 78.09 None termination-15/cstrpbrk_mixed_alloca.yml TIMEOUT 91.37 76.89 None termination-15/cstrpbrk_reverse_alloca.yml true 22.52 13.52 None termination-15/cstrspn_diffterm_alloca.yml TIMEOUT 90.61 74.24 None termination-15/cstrspn_malloc.yml TIMEOUT 90.11 77.16 None termination-15/cstrspn_reverse_alloca.yml true 26.82 16.23 None termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca.yml true 13.68 8.60 None termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca.yml true 16.05 9.69 None termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca.yml true 10.23 6.75 None termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca.yml true 11.39 7.31 None termination-memory-alloca/Urban-2013WST-Fig1-alloca.yml true 10.48 6.76 None termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca.yml true 10.59 7.00 None termination-memory-alloca/Velroyen-alloca.yml true 10.55 6.81 None termination-memory-alloca/a.01-alloca.yml true 11.93 7.81 None termination-memory-alloca/a.04-alloca.yml true 11.87 7.57 None termination-memory-alloca/a.05-alloca.yml true 11.90 7.47 None termination-memory-alloca/a.06-alloca.yml true 13.86 8.43 None termination-memory-alloca/a.07-alloca.yml true 12.99 8.21 None termination-memory-alloca/a.08-alloca.yml true 11.91 7.43 None termination-memory-alloca/a.09_assume-alloca.yml true 12.74 7.74 None termination-memory-alloca/a.10-alloca.yml true 12.03 7.58 None termination-memory-alloca/aviad_true-alloca.yml true 12.03 7.70 None termination-memory-alloca/b.01-alloca.yml true 11.61 7.49 None termination-memory-alloca/b.02-alloca.yml true 12.00 7.52 None termination-memory-alloca/b.03-no-inv_assume-alloca.yml true 10.66 7.16 None termination-memory-alloca/b.03_assume-alloca.yml true 11.57 7.47 None termination-memory-alloca/b.04-alloca.yml true 11.84 7.45 None termination-memory-alloca/b.05-alloca.yml true 11.01 7.35 None termination-memory-alloca/b.06-alloca.yml true 11.76 7.73 None termination-memory-alloca/b.07-alloca.yml true 13.64 8.50 None termination-memory-alloca/b.09-no-inv_assume-alloca.yml true 12.11 8.57 None termination-memory-alloca/b.09_assume-alloca.yml true 11.85 7.54 None termination-memory-alloca/b.10-alloca.yml true 12.81 8.15 None termination-memory-alloca/b.11-alloca.yml true 13.45 8.30 None termination-memory-alloca/b.12-alloca.yml true 12.47 7.72 None termination-memory-alloca/b.13-alloca.yml true 13.18 8.31 None termination-memory-alloca/b.14-alloca.yml true 11.74 7.53 None termination-memory-alloca/b.15-alloca.yml true 13.17 8.11 None termination-memory-alloca/b.16-alloca.yml true 12.53 7.85 None termination-memory-alloca/b.17-alloca.yml true 12.95 9.17 None termination-memory-alloca/b.18-alloca.yml true 11.59 7.52 None termination-memory-alloca/c.01-no-inv-alloca.yml true 11.82 7.51 None termination-memory-alloca/c.01_assume-alloca.yml true 11.47 7.50 None termination-memory-alloca/c.02-alloca.yml true 12.40 7.90 None termination-memory-alloca/c.03-alloca-1.yml true 13.90 8.34 None termination-memory-alloca/c.07-alloca.yml true 13.90 8.49 None termination-memory-alloca/c.08-alloca.yml true 11.65 7.66 None termination-memory-alloca/count_down-alloca-2.yml true 16.83 11.05 None termination-memory-alloca/cstrchr-alloca-1.yml true 42.07 30.64 None termination-memory-alloca/cstrcmp-alloca-1.yml true 41.49 30.67 None termination-memory-alloca/cstrcpy-alloca-2.yml true 33.66 23.84 None termination-memory-alloca/cstrcspn-alloca-2.yml TIMEOUT 91.26 76.97 None termination-memory-alloca/cstrlen-alloca-1.yml true 17.06 10.48 None termination-memory-alloca/cstrncpy-alloca-1.yml true 26.43 15.95 None termination-memory-alloca/cstrpbrk-alloca-1.yml true 25.39 15.09 None termination-memory-alloca/cstrspn-alloca-2.yml true 59.11 46.01 None termination-memory-alloca/easySum-alloca.yml true 12.07 7.45 None termination-memory-alloca/ex3a-alloca.yml true 11.48 7.33 None termination-memory-alloca/genady-alloca.yml true 14.37 8.89 None termination-memory-alloca/java_AG313-alloca.yml true 12.30 7.67 None termination-memory-alloca/java_Break-alloca.yml true 12.60 7.90 None termination-memory-alloca/java_Continue1-alloca.yml true 13.22 8.67 None termination-memory-alloca/java_LogBuiltIn-alloca.yml true 10.77 7.18 None termination-memory-alloca/java_Nested-alloca.yml true 14.32 9.07 None termination-memory-alloca/java_Sequence-alloca.yml true 21.76 13.33 None termination-memory-alloca/openbsd_cbzero-alloca-1.yml true 20.02 12.21 None termination-memory-alloca/openbsd_cmemchr-alloca-1.yml true 18.31 11.03 None termination-memory-alloca/openbsd_cmemrchr-alloca-1.yml true 15.17 9.49 None termination-memory-alloca/openbsd_cmemset-alloca-2.yml true 18.34 11.48 None termination-memory-alloca/openbsd_cstpcpy-alloca-2.yml true 35.05 25.91 None termination-memory-alloca/openbsd_cstpncpy-alloca-2.yml true 41.93 28.07 None termination-memory-alloca/openbsd_cstrcpy-alloca-1.yml true 20.76 12.65 None termination-memory-alloca/openbsd_cstrcspn-alloca-1.yml TIMEOUT 90.16 75.35 None termination-memory-alloca/openbsd_cstrlcpy-alloca-2.yml true 47.55 29.81 None termination-memory-alloca/openbsd_cstrlen-alloca-2.yml true 16.98 10.50 None termination-memory-alloca/openbsd_cstrncmp-alloca-1.yml TIMEOUT 90.82 69.69 None termination-memory-alloca/openbsd_cstrncpy-alloca-1.yml true 63.62 43.96 None termination-memory-alloca/openbsd_cstrnlen-alloca-2.yml true 25.71 16.07 None termination-memory-alloca/openbsd_cstrpbrk-alloca-1.yml true 27.44 16.85 None termination-memory-alloca/openbsd_cstrspn-alloca-1.yml true 84.60 68.03 None termination-memory-alloca/rec_strlen-alloca-2.yml true 19.99 13.09 None termination-memory-alloca/strreplace-alloca-1.yml true 27.56 18.72 None termination-memory-alloca/subseq-alloca-1.yml TIMEOUT 90.31 75.04 None termination-memory-alloca/substring-alloca-1.yml TIMEOUT 90.95 69.86 None termination-memory-alloca/twisted-alloca.yml true 13.12 8.09 None termination-recursive-malloc/chunk1-2.yml unknown 16.30 11.70 None termination-recursive-malloc/insertionSort_recursive.yml true 22.18 14.45 None termination-recursive-malloc/mutual_simple.yml true 11.46 7.36 None termination-recursive-malloc/rec_malloc_ex3.yml true 10.99 7.31 None termination-recursive-malloc/rec_strcopy_malloc.yml true 56.73 41.58 None termination-recursive-malloc/selectionSort_recursive.yml true 29.23 19.49 None ---------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 18934.37 1059.87 - Statistics: 1285 Files correct: 673 correct true: 516 correct false: 157 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 612 Score: 1189 (max: 2260)