BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/full-runs/ultimatetreeautomizer.xml name: ultimatetreeautomizer run sets: CHC-COMP2025_check-sat.LIA-Lin-Arrays date: Mon, 2025-05-05 20:07:08 CEST tool: Ultimate TreeAutomizer (unknown version) tool executable: ./chc-comp-wrapper.sh options: resource limits: - memory: 30000.0 MB - time: 1800 s - cpu cores: 8 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 8 - memory: 30000.0 MB ------------------------------------------------------------ CHC-COMP2025_check-sat.LIA-Lin-Arrays Run set 1 of 1 with options '' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------- quic3/data/array_monotonic_true-unreach-call_000.smt2 unknown 9.79 2.61 apollon028 quic3/data/standard_palindrome_true-unreach-call_ground_000.smt2 unknown 9.74 2.50 apollon079 quic3/data/standard_copy7_true-unreach-call_ground_000.smt2 unknown 48.67 16.38 apollon016 quic3/data/standard_init3_true-unreach-call_ground_000.smt2 unknown 9.43 2.44 apollon079 quic3/data/array_init_const_000.smt2 unknown 9.43 2.52 apollon028 quic3/data/sanfoundry_10_true-unreach-call_ground_000.smt2 unknown 9.95 2.59 apollon033 quic3/data/standard_partition_original_true-unreach-call_ground_000.smt2 TIMEOUT 1800.85 1756.26 apollon082 quic3/data/standard_copy5_true-unreach-call_ground_000.smt2 unknown 9.28 2.45 apollon028 quic3/data/standard_init5_true-unreach-call_ground_000.smt2 unknown 9.79 2.49 apollon023 quic3/data/array_mul_init_true-unreach-call_1_000.smt2 TIMEOUT 1800.20 1737.44 apollon043 quic3/data/sanfoundry_27_true-unreach-call_ground_000.smt2 unknown 9.60 2.40 apollon129 quic3/data/standard_copy3_true-unreach-call_ground_000.smt2 unknown 10.02 2.68 apollon082 quic3/data/standard_partition_true-unreach-call_ground_000.smt2 unknown 9.37 2.43 apollon150 quic3/data/standard_copy1_true-unreach-call_ground_000.smt2 unknown 9.32 2.44 apollon142 quic3/data/array_reverse_000.smt2 unknown 40.49 10.91 apollon082 quic3/data/array_nd_two_times_cell_true_000.smt2 unknown 9.63 2.49 apollon067 quic3/data/standard_init8_true-unreach-call_ground_000.smt2 unknown 9.48 2.41 apollon092 quic3/data/standard_sort_N_nd_assert_loop_000.smt2 unknown 16.16 3.96 apollon161 quic3/data/standard_copy4_true-unreach-call_ground_000.smt2 TIMEOUT 1800.13 1694.42 apollon045 quic3/data/standard_copy8_true-unreach-call_ground_000.smt2 unknown 9.77 2.57 apollon079 quic3/data/standard_copyInitSum_true-unreach-call_ground_000.smt2 unknown 9.92 2.58 apollon086 quic3/data/array_monotonic_set_000.smt2 TIMEOUT 1800.27 1738.89 apollon079 quic3/data/standard_init2_true-unreach-call_ground_000.smt2 unknown 9.47 2.55 apollon028 quic3/data/standard_compareModified_true-unreach-call_ground_000.smt2 unknown 9.82 2.49 apollon004 quic3/data/standard_maxInArray_true-unreach-call_ground_000.smt2 TIMEOUT 1800.12 1738.72 apollon103 quic3/data/standard_init6_true-unreach-call_ground_000.smt2 unknown 9.71 2.47 apollon166 quic3/data/standard_vector_difference_true-unreach-call_ground_000.smt2 TIMEOUT 1800.53 1737.44 apollon133 quic3/data/standard_copy2_true-unreach-call_ground_000.smt2 unknown 17.55 4.39 apollon079 quic3/data/standard_copyInitSum3_true-unreach-call_ground_000.smt2 TIMEOUT 1800.72 1714.45 apollon142 quic3/data/standard_copy6_true-unreach-call_ground_000.smt2 unknown 44.58 12.63 apollon133 quic3/data/standard_find_true-unreach-call_ground_000.smt2 unknown 33.37 9.13 apollon161 quic3/data/standard_vararg_true-unreach-call_ground_true-termination_000.smt2 unknown 9.86 2.56 apollon043 quic3/data/array_init_partial_000.smt2 unknown 9.61 2.44 apollon161 quic3/data/standard_copyInit_true-unreach-call_ground_000.smt2 unknown 9.91 2.59 apollon028 quic3/data/standard_minInArray_true-unreach-call_ground_000.smt2 TIMEOUT 1800.24 1737.30 apollon139 quic3/data/standard_copyInitSum2_true-unreach-call_ground_000.smt2 TIMEOUT 1800.81 1713.18 apollon161 quic3/data/standard_copy9_true-unreach-call_ground_000.smt2 unknown 66.37 31.25 apollon004 quic3/data/standard_init9_true-unreach-call_ground_000.smt2 unknown 9.76 2.44 apollon079 quic3/data/standard_init4_true-unreach-call_ground_000.smt2 unknown 9.52 2.53 apollon095 quic3/data/standard_init7_true-unreach-call_ground_000.smt2 unknown 9.34 2.46 apollon067 quic3/data/array_swap_twice_000.smt2 TIMEOUT 1800.22 1702.49 apollon098 quic3/data/sanfoundry_02_true-unreach-call_ground_000.smt2 unknown 10.36 2.62 apollon082 quic3/data/array_swap_000.smt2 TIMEOUT 1800.79 1713.54 apollon166 hcai-bench/svcomp/O3/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination_000.smt2 true 10.87 2.77 apollon086 hcai-bench/svcomp/O3/eureka_01_false-unreach-call_000.smt2 unknown 9.57 2.45 apollon129 hcai-bench/svcomp/O3/linear_sea.ch_true-unreach-call_000.smt2 false 10.09 2.69 apollon129 hcai-bench/svcomp/O3/eureka_01_true-unreach-call_000.smt2 TIMEOUT 1800.32 1734.36 apollon150 hcai-bench/svcomp/O3/n.c40_true-unreach-call_true-termination_000.smt2 true 10.13 2.70 apollon095 hcai-bench/svcomp/O3/vogal_false-unreach-call_000.smt2 unknown 10.05 2.60 apollon079 hcai-bench/svcomp/O3/ludcmp_false-unreach-call_000.smt2 false 11.29 2.85 apollon086 hcai-bench/svcomp/O3/linear_search_false-unreach-call_000.smt2 false 9.55 2.47 apollon166 hcai-bench/svcomp/O3/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination_000.smt2 unknown 9.79 2.55 apollon028 hcai-bench/svcomp/O3/matrix_false-unreach-call_true-termination_000.smt2 false 11.69 2.94 apollon150 hcai-bench/svcomp/O3/invert_string_true-unreach-call_true-termination_000.smt2 unknown 9.86 2.52 apollon079 hcai-bench/svcomp/O3/while_infinite_loop_4_false-unreach-call_true-termination_000.smt2 false 9.43 2.50 apollon033 hcai-bench/svcomp/O3/insertion_sort_false-unreach-call_true-termination_000.smt2 unknown 9.54 2.51 apollon150 hcai-bench/svcomp/O3/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination_000.smt2 unknown 10.06 2.64 apollon043 hcai-bench/svcomp/O3/sum_array_false-unreach-call_000.smt2 unknown 9.47 2.47 apollon028 hcai-bench/svcomp/O3/invert_string_false-unreach-call_true-termination_000.smt2 unknown 9.57 2.40 apollon067 hcai-bench/svcomp/O3/string_true-unreach-call_true-termination_000.smt2 unknown 9.35 2.45 apollon043 hcai-bench/svcomp/O3/insertion_sort_true-unreach-call_true-termination_000.smt2 unknown 9.42 2.52 apollon150 hcai-bench/svcomp/O3/lu.cmp_true-unreach-call_000.smt2 true 13.84 3.45 apollon028 hcai-bench/svcomp/O3/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination_000.smt2 unknown 10.47 2.68 apollon086 hcai-bench/svcomp/O3/trex02_true-unreach-call_true-termination_000.smt2 unknown 9.68 2.44 apollon041 hcai-bench/svcomp/O3/string_false-unreach-call_true-termination_000.smt2 false 10.47 2.77 apollon117 hcai-bench/svcomp/O3/verisec_NetBSD-libc__loop_false-unreach-call_true-termination_000.smt2 false 10.16 2.63 apollon150 hcai-bench/svcomp/O3/nec40_true-unreach-call_true-termination_000.smt2 true 9.63 2.51 apollon142 hcai-bench/svcomp/O3/vogal_true-unreach-call_000.smt2 unknown 59.06 25.16 apollon086 hcai-bench/svcomp/O3/eureka_05_true-unreach-call_true-termination_000.smt2 true 31.82 8.11 apollon082 hcai-bench/svcomp/O3/sum_array_true-unreach-call_000.smt2 unknown 9.44 2.44 apollon041 hcai-bench/svcomp/O3/compact_false-unreach-call_000.smt2 unknown 9.51 2.51 apollon028 hcai-bench/svcomp/O3/trex02_false-unreach-call_true-termination_000.smt2 unknown 9.75 2.56 apollon028 hcai-bench/svcomp/O0/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination_000.smt2 hcai-bench/svcomp/O0/n.c40_true-unreach-call_true-termination_000.smt2 hcai-bench/svcomp/O0/vogal_false-unreach-call_000.smt2 hcai-bench/svcomp/O0/array_true-unreach-call_true-termination_000.smt2 unknown 9.14 2.38 apollon086 hcai-bench/svcomp/O0/matrix_true-unreach-call_true-termination_000.smt2 unknown 9.96 2.71 apollon016 hcai-bench/svcomp/O0/array_false-unreach-call_true-termination_000.smt2 unknown 9.72 2.55 apollon028 hcai-bench/svcomp/O0/string_true-unreach-call_true-termination_000.smt2 hcai-bench/svcomp/O0/string_false-unreach-call_true-termination_000.smt2 hcai-bench/svcomp/O0/vogal_true-unreach-call_000.smt2 hcai-bench/svcomp/O0/compact_false-unreach-call_000.smt2 llreve-bench/smt2/arrays/libc__memchr_1.array_000.smt2 true 12.09 2.99 apollon092 llreve-bench/smt2/arrays/libc__stpcpy_1.array_000.smt2 true 11.42 2.90 apollon041 llreve-bench/smt2/arrays/coreutils__md5sum.array_000.smt2 unknown 9.88 2.57 apollon092 llreve-bench/smt2/arrays/libc__strpbrk_2.array_000.smt2 unknown 9.40 2.49 apollon041 llreve-bench/smt2/arrays/heap__memcpy_a.array_000.smt2 true 14.51 3.59 apollon067 llreve-bench/smt2/arrays/heap__fib.array_000.smt2 unknown 9.25 2.39 apollon028 llreve-bench/smt2/arrays/heap__memcpy_b.array_000.smt2 unknown 9.81 2.63 apollon092 llreve-bench/smt2/arrays/heap__propagate.array_000.smt2 unknown 9.55 2.50 apollon033 llreve-bench/smt2/arrays/heap__findmax.array_000.smt2 true 18.37 4.49 apollon129 llreve-bench/smt2/arrays/libc__memset_1.array_000.smt2 true 10.79 2.76 apollon092 llreve-bench/smt2/arrays/libc__strncmp_1.array_000.smt2 true 21.26 5.22 apollon129 llreve-bench/smt2/arrays/libc__memmove_1.array_000.smt2 unknown 17.28 4.29 apollon129 llreve-bench/smt2/arrays/heap__clearstr.array_000.smt2 true 13.87 3.46 apollon041 llreve-bench/smt2/arrays/libc__memccpy_1.array_000.smt2 unknown 9.22 2.43 apollon043 llreve-bench/smt2/arrays/libc__strcspn.array_000.smt2 unknown 29.79 7.44 apollon028 llreve-bench/smt2/arrays/heap__selsort.array_000.smt2 unknown 18.68 4.57 apollon067 llreve-bench/smt2/arrays/libc__strcmp.array_000.smt2 unknown 10.08 2.61 apollon082 llreve-bench/smt2/arrays/libc__strpbrk_1.array_000.smt2 unknown 18.26 4.69 apollon086 llreve-bench/smt2/arrays/heap__cocome2.array_000.smt2 TIMEOUT 1800.38 1733.54 apollon023 llreve-bench/smt2/arrays/libc__strchr_1.array_000.smt2 true 32.83 8.05 apollon016 llreve-bench/smt2/arrays/libc__strncmp_3.array_000.smt2 unknown 23.41 5.85 apollon139 llreve-bench/smt2/arrays/libc__memrchr_1.array_000.smt2 true 14.77 3.76 apollon041 llreve-bench/smt2/arrays/libc__strncmp_2.array_000.smt2 true 20.09 5.04 apollon033 llreve-bench/smt2/arrays/libc__strpbrk_3.array_000.smt2 unknown 9.88 2.56 apollon043 llreve-bench/muz/heap__memcpy_b_000.smt2 true 14.69 3.66 apollon067 llreve-bench/muz/heap__propagate_000.smt2 unknown 11.07 2.82 apollon092 llreve-bench/muz/heap__findmax_000.smt2 true 19.53 4.83 apollon092 llreve-bench/muz/libc__memccpy_1_000.smt2 unknown 9.79 2.57 apollon082 llreve-bench/muz/libc__stpcpy_1_000.smt2 true 11.32 2.83 apollon041 llreve-bench/muz/libc__memset_1_000.smt2 true 11.11 2.86 apollon067 llreve-bench/muz/libc__memmove_1_000.smt2 unknown 14.52 3.63 apollon092 llreve-bench/muz/heap__clearstr_000.smt2 true 21.15 5.26 apollon082 llreve-bench/muz/heap__memcpy_a_000.smt2 unknown 14.77 3.76 apollon150 llreve-bench/muz/libc__strcspn_3_000.smt2 false 9.58 2.48 apollon117 llreve-bench/muz/libc__strncmp_2_000.smt2 unknown 22.00 5.40 apollon117 llreve-bench/muz/heap__heap_call_000.smt2 true 10.48 2.73 apollon092 llreve-bench/muz/libc__memrchr_1_000.smt2 unknown 9.76 2.55 apollon033 llreve-bench/muz/libc__strcmp_000.smt2 true 12.44 3.08 apollon129 llreve-bench/muz/libc__memchr_1_000.smt2 unknown 9.34 2.54 apollon041 llreve-bench/muz/heap__cocome2_000.smt2 unknown 15.86 4.00 apollon028 llreve-bench/muz/libc__strcspn_000.smt2 unknown 15.25 3.79 apollon028 llreve-bench/muz/heap__swaparray_000.smt2 false 10.30 2.60 apollon086 llreve-bench/muz/libc__strpbrk_1_000.smt2 unknown 17.27 4.25 apollon004 llreve-bench/muz/libc__strncmp_1_000.smt2 unknown 19.21 4.73 apollon098 llreve-bench/muz/coreutils__remove_000.smt2 false 10.51 2.75 apollon095 llreve-bench/muz/libc__sbrk_1_000.smt2 unknown 9.51 2.48 apollon082 llreve-bench/muz/heap__fib_000.smt2 unknown 13.03 3.30 apollon082 llreve-bench/muz/libc__strncmp_3_000.smt2 true 15.53 3.87 apollon082 llreve-bench/muz/libc__strpbrk_3_000.smt2 unknown 15.55 3.87 apollon079 llreve-bench/muz/libc__strchr_1_000.smt2 TIMEOUT 1800.26 1735.97 apollon095 llreve-bench/muz/libc__memmem_1_000.smt2 unknown 9.87 2.62 apollon082 llreve-bench/muz/heap__selsort_000.smt2 unknown 9.77 2.47 apollon092 llreve-bench/muz/coreutils__md5sum_000.smt2 true 21.55 5.32 apollon129 llreve-bench/muz/libc__strpbrk_2_000.smt2 TIMEOUT 1800.75 1713.86 apollon028 llreve-bench/muz/libc__strcspn_2_000.smt2 false 9.84 2.60 apollon082 llreve-bench/unsolved/arrayOffByOne_000.smt2 unknown 9.14 2.36 apollon166 llreve-bench/unsolved/shiftByOne_000.smt2 unknown 9.79 2.58 apollon079 ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 3626.33 - Statistics: 132 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 97