BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/full-runs/golem.xml name: golem run sets: CHC-COMP2025_check-sat.LIA-Lin-Arrays date: Mon, 2025-05-05 20:09:57 CEST tool: Golem 0.7.1 tool executable: ./golem 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 TIMEOUT 1800.43 900.31 apollon066 quic3/data/standard_palindrome_true-unreach-call_ground_000.smt2 TIMEOUT 1800.40 900.30 apollon066 quic3/data/standard_copy7_true-unreach-call_ground_000.smt2 TIMEOUT 1800.42 900.34 apollon129 quic3/data/standard_init3_true-unreach-call_ground_000.smt2 TIMEOUT 1800.39 900.37 apollon048 quic3/data/array_init_const_000.smt2 TIMEOUT 1800.40 900.32 apollon092 quic3/data/sanfoundry_10_true-unreach-call_ground_000.smt2 TIMEOUT 1800.39 900.25 apollon156 quic3/data/standard_partition_original_true-unreach-call_ground_000.smt2 TIMEOUT 1800.39 900.37 apollon144 quic3/data/standard_copy5_true-unreach-call_ground_000.smt2 TIMEOUT 1800.42 900.32 apollon126 quic3/data/standard_init5_true-unreach-call_ground_000.smt2 TIMEOUT 1800.40 900.24 apollon041 quic3/data/array_mul_init_true-unreach-call_1_000.smt2 TIMEOUT 1800.40 900.34 apollon061 quic3/data/sanfoundry_27_true-unreach-call_ground_000.smt2 TIMEOUT 1800.39 900.32 apollon092 quic3/data/standard_copy3_true-unreach-call_ground_000.smt2 TIMEOUT 1800.42 900.31 apollon018 quic3/data/standard_partition_true-unreach-call_ground_000.smt2 TIMEOUT 1800.40 900.33 apollon004 quic3/data/standard_copy1_true-unreach-call_ground_000.smt2 TIMEOUT 1800.39 900.38 apollon011 quic3/data/array_reverse_000.smt2 TIMEOUT 1800.39 900.28 apollon160 quic3/data/array_nd_two_times_cell_true_000.smt2 TIMEOUT 1800.38 900.29 apollon016 quic3/data/standard_init8_true-unreach-call_ground_000.smt2 TIMEOUT 1800.39 900.33 apollon037 quic3/data/standard_sort_N_nd_assert_loop_000.smt2 TIMEOUT 1800.39 900.28 apollon111 quic3/data/standard_copy4_true-unreach-call_ground_000.smt2 TIMEOUT 1800.42 900.30 apollon019 quic3/data/standard_copy8_true-unreach-call_ground_000.smt2 TIMEOUT 1800.43 900.25 apollon085 quic3/data/standard_copyInitSum_true-unreach-call_ground_000.smt2 TIMEOUT 1800.40 900.30 apollon053 quic3/data/array_monotonic_set_000.smt2 TIMEOUT 1800.40 900.33 apollon061 quic3/data/standard_init2_true-unreach-call_ground_000.smt2 TIMEOUT 1800.41 900.28 apollon108 quic3/data/standard_compareModified_true-unreach-call_ground_000.smt2 TIMEOUT 1800.40 900.28 apollon054 quic3/data/standard_maxInArray_true-unreach-call_ground_000.smt2 TIMEOUT 1800.38 900.36 apollon055 quic3/data/standard_init6_true-unreach-call_ground_000.smt2 TIMEOUT 1800.39 900.36 apollon005 quic3/data/standard_vector_difference_true-unreach-call_ground_000.smt2 TIMEOUT 1800.39 900.29 apollon156 quic3/data/standard_copy2_true-unreach-call_ground_000.smt2 TIMEOUT 1800.42 900.31 apollon049 quic3/data/standard_copyInitSum3_true-unreach-call_ground_000.smt2 TIMEOUT 1800.39 900.25 apollon155 quic3/data/standard_copy6_true-unreach-call_ground_000.smt2 TIMEOUT 1800.42 900.25 apollon125 quic3/data/standard_find_true-unreach-call_ground_000.smt2 TIMEOUT 1800.40 900.33 apollon017 quic3/data/standard_vararg_true-unreach-call_ground_true-termination_000.smt2 false 0.05 0.05 apollon144 quic3/data/array_init_partial_000.smt2 TIMEOUT 1800.40 900.29 apollon034 quic3/data/standard_copyInit_true-unreach-call_ground_000.smt2 TIMEOUT 1800.40 900.33 apollon131 quic3/data/standard_minInArray_true-unreach-call_ground_000.smt2 TIMEOUT 1800.39 900.29 apollon067 quic3/data/standard_copyInitSum2_true-unreach-call_ground_000.smt2 TIMEOUT 1800.39 900.31 apollon149 quic3/data/standard_copy9_true-unreach-call_ground_000.smt2 TIMEOUT 1800.44 900.37 apollon152 quic3/data/standard_init9_true-unreach-call_ground_000.smt2 TIMEOUT 1800.39 900.29 apollon105 quic3/data/standard_init4_true-unreach-call_ground_000.smt2 TIMEOUT 1800.40 900.25 apollon128 quic3/data/standard_init7_true-unreach-call_ground_000.smt2 TIMEOUT 1800.39 900.33 apollon128 quic3/data/array_swap_twice_000.smt2 TIMEOUT 1800.42 900.22 apollon063 quic3/data/sanfoundry_02_true-unreach-call_ground_000.smt2 TIMEOUT 1800.38 900.38 apollon069 quic3/data/array_swap_000.smt2 TIMEOUT 1800.38 900.32 apollon129 hcai-bench/svcomp/O3/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination_000.smt2 true 0.01 0.02 apollon062 hcai-bench/svcomp/O3/eureka_01_false-unreach-call_000.smt2 false 3.32 1.67 apollon016 hcai-bench/svcomp/O3/linear_sea.ch_true-unreach-call_000.smt2 false 0.01 0.03 apollon164 hcai-bench/svcomp/O3/eureka_01_true-unreach-call_000.smt2 TIMEOUT 1800.39 900.29 apollon033 hcai-bench/svcomp/O3/n.c40_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.38 900.29 apollon034 hcai-bench/svcomp/O3/vogal_false-unreach-call_000.smt2 false 372.68 186.35 apollon152 hcai-bench/svcomp/O3/ludcmp_false-unreach-call_000.smt2 false 0.02 0.01 apollon164 hcai-bench/svcomp/O3/linear_search_false-unreach-call_000.smt2 false 0.01 0.01 apollon041 hcai-bench/svcomp/O3/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination_000.smt2 false 0.01 0.01 apollon124 hcai-bench/svcomp/O3/matrix_false-unreach-call_true-termination_000.smt2 false 0.02 0.02 apollon041 hcai-bench/svcomp/O3/invert_string_true-unreach-call_true-termination_000.smt2 true 0.03 0.02 apollon081 hcai-bench/svcomp/O3/while_infinite_loop_4_false-unreach-call_true-termination_000.smt2 false 0.00 0.00 apollon107 hcai-bench/svcomp/O3/insertion_sort_false-unreach-call_true-termination_000.smt2 false 8.63 4.32 apollon124 hcai-bench/svcomp/O3/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination_000.smt2 true 0.01 0.01 apollon117 hcai-bench/svcomp/O3/sum_array_false-unreach-call_000.smt2 false 0.19 0.10 apollon124 hcai-bench/svcomp/O3/invert_string_false-unreach-call_true-termination_000.smt2 false 0.14 0.08 apollon144 hcai-bench/svcomp/O3/string_true-unreach-call_true-termination_000.smt2 true 0.01 0.01 apollon092 hcai-bench/svcomp/O3/insertion_sort_true-unreach-call_true-termination_000.smt2 false 9.15 4.58 apollon019 hcai-bench/svcomp/O3/lu.cmp_true-unreach-call_000.smt2 true 0.01 0.01 apollon009 hcai-bench/svcomp/O3/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination_000.smt2 false 0.76 0.38 apollon092 hcai-bench/svcomp/O3/trex02_true-unreach-call_true-termination_000.smt2 true 0.01 0.02 apollon055 hcai-bench/svcomp/O3/string_false-unreach-call_true-termination_000.smt2 false 14.00 7.00 apollon063 hcai-bench/svcomp/O3/verisec_NetBSD-libc__loop_false-unreach-call_true-termination_000.smt2 false 0.01 0.01 apollon152 hcai-bench/svcomp/O3/nec40_true-unreach-call_true-termination_000.smt2 true 0.00 0.00 apollon091 hcai-bench/svcomp/O3/vogal_true-unreach-call_000.smt2 false 0.15 0.08 apollon111 hcai-bench/svcomp/O3/eureka_05_true-unreach-call_true-termination_000.smt2 OUT OF MEMORY 557.27 277.72 apollon064 hcai-bench/svcomp/O3/sum_array_true-unreach-call_000.smt2 TIMEOUT 1800.40 900.35 apollon073 hcai-bench/svcomp/O3/compact_false-unreach-call_000.smt2 TIMEOUT 1800.42 900.33 apollon106 hcai-bench/svcomp/O3/trex02_false-unreach-call_true-termination_000.smt2 false 0.00 0.00 apollon018 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 true 0.01 0.01 apollon108 hcai-bench/svcomp/O0/matrix_true-unreach-call_true-termination_000.smt2 true 0.02 0.01 apollon041 hcai-bench/svcomp/O0/array_false-unreach-call_true-termination_000.smt2 false 0.01 0.01 apollon117 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 0.01 0.01 apollon063 llreve-bench/smt2/arrays/libc__stpcpy_1.array_000.smt2 true 0.01 0.03 apollon085 llreve-bench/smt2/arrays/coreutils__md5sum.array_000.smt2 TIMEOUT 1800.38 900.23 apollon107 llreve-bench/smt2/arrays/libc__strpbrk_2.array_000.smt2 TIMEOUT 1800.38 900.26 apollon081 llreve-bench/smt2/arrays/heap__memcpy_a.array_000.smt2 TIMEOUT 1800.38 900.26 apollon021 llreve-bench/smt2/arrays/heap__fib.array_000.smt2 TIMEOUT 1800.42 900.33 apollon118 llreve-bench/smt2/arrays/heap__memcpy_b.array_000.smt2 TIMEOUT 1800.47 900.27 apollon057 llreve-bench/smt2/arrays/heap__propagate.array_000.smt2 TIMEOUT 1800.40 900.30 apollon141 llreve-bench/smt2/arrays/heap__findmax.array_000.smt2 TIMEOUT 1800.46 900.35 apollon120 llreve-bench/smt2/arrays/libc__memset_1.array_000.smt2 TIMEOUT 1800.52 900.33 apollon009 llreve-bench/smt2/arrays/libc__strncmp_1.array_000.smt2 TIMEOUT 1800.39 900.33 apollon067 llreve-bench/smt2/arrays/libc__memmove_1.array_000.smt2 TIMEOUT 1800.38 900.35 apollon167 llreve-bench/smt2/arrays/heap__clearstr.array_000.smt2 TIMEOUT 1800.39 900.36 apollon005 llreve-bench/smt2/arrays/libc__memccpy_1.array_000.smt2 TIMEOUT 1800.39 900.28 apollon037 llreve-bench/smt2/arrays/libc__strcspn.array_000.smt2 TIMEOUT 1800.39 900.23 apollon063 llreve-bench/smt2/arrays/heap__selsort.array_000.smt2 TIMEOUT 1800.38 900.36 apollon048 llreve-bench/smt2/arrays/libc__strcmp.array_000.smt2 TIMEOUT 1800.41 900.31 apollon015 llreve-bench/smt2/arrays/libc__strpbrk_1.array_000.smt2 TIMEOUT 1800.38 900.26 apollon117 llreve-bench/smt2/arrays/heap__cocome2.array_000.smt2 TIMEOUT 1800.46 900.36 apollon016 llreve-bench/smt2/arrays/libc__strchr_1.array_000.smt2 true 0.12 0.07 apollon108 llreve-bench/smt2/arrays/libc__strncmp_3.array_000.smt2 true 0.03 0.02 apollon033 llreve-bench/smt2/arrays/libc__memrchr_1.array_000.smt2 TIMEOUT 1800.40 900.30 apollon057 llreve-bench/smt2/arrays/libc__strncmp_2.array_000.smt2 TIMEOUT 1800.41 900.37 apollon050 llreve-bench/smt2/arrays/libc__strpbrk_3.array_000.smt2 TIMEOUT 1800.37 900.33 apollon039 llreve-bench/muz/heap__memcpy_b_000.smt2 TIMEOUT 1800.47 900.35 apollon040 llreve-bench/muz/heap__propagate_000.smt2 TIMEOUT 1800.40 900.28 apollon135 llreve-bench/muz/heap__findmax_000.smt2 TIMEOUT 1800.45 900.25 apollon031 llreve-bench/muz/libc__memccpy_1_000.smt2 TIMEOUT 1800.39 900.30 apollon009 llreve-bench/muz/libc__stpcpy_1_000.smt2 true 0.01 0.01 apollon075 llreve-bench/muz/libc__memset_1_000.smt2 TIMEOUT 1800.54 900.31 apollon136 llreve-bench/muz/libc__memmove_1_000.smt2 TIMEOUT 1800.38 900.36 apollon134 llreve-bench/muz/heap__clearstr_000.smt2 TIMEOUT 1800.39 900.36 apollon164 llreve-bench/muz/heap__memcpy_a_000.smt2 TIMEOUT 1800.39 900.29 apollon075 llreve-bench/muz/libc__strcspn_3_000.smt2 false 0.01 0.01 apollon041 llreve-bench/muz/libc__strncmp_2_000.smt2 TIMEOUT 1800.41 900.25 apollon162 llreve-bench/muz/heap__heap_call_000.smt2 true 0.00 0.00 apollon092 llreve-bench/muz/libc__memrchr_1_000.smt2 TIMEOUT 1800.41 900.24 apollon033 llreve-bench/muz/libc__strcmp_000.smt2 TIMEOUT 1800.40 900.36 apollon004 llreve-bench/muz/libc__memchr_1_000.smt2 true 0.02 0.01 apollon019 llreve-bench/muz/heap__cocome2_000.smt2 TIMEOUT 1800.46 900.34 apollon148 llreve-bench/muz/libc__strcspn_000.smt2 TIMEOUT 1800.39 900.24 apollon107 llreve-bench/muz/heap__swaparray_000.smt2 false 0.01 0.00 apollon092 llreve-bench/muz/libc__strpbrk_1_000.smt2 TIMEOUT 1800.38 900.24 apollon044 llreve-bench/muz/libc__strncmp_1_000.smt2 TIMEOUT 1800.39 900.34 apollon091 llreve-bench/muz/coreutils__remove_000.smt2 false 0.01 0.01 apollon111 llreve-bench/muz/libc__sbrk_1_000.smt2 true 0.01 0.01 apollon124 llreve-bench/muz/heap__fib_000.smt2 TIMEOUT 1800.43 900.30 apollon007 llreve-bench/muz/libc__strncmp_3_000.smt2 true 0.06 0.03 apollon124 llreve-bench/muz/libc__strpbrk_3_000.smt2 TIMEOUT 1800.38 900.26 apollon108 llreve-bench/muz/libc__strchr_1_000.smt2 true 0.08 0.05 apollon152 llreve-bench/muz/libc__memmem_1_000.smt2 false 0.01 0.01 apollon092 llreve-bench/muz/heap__selsort_000.smt2 TIMEOUT 1800.38 900.24 apollon041 llreve-bench/muz/coreutils__md5sum_000.smt2 TIMEOUT 1800.38 900.37 apollon062 llreve-bench/muz/libc__strpbrk_2_000.smt2 TIMEOUT 1800.38 900.29 apollon145 llreve-bench/muz/libc__strcspn_2_000.smt2 false 0.01 0.01 apollon141 llreve-bench/unsolved/arrayOffByOne_000.smt2 TIMEOUT 1800.38 900.30 apollon117 llreve-bench/unsolved/shiftByOne_000.smt2 TIMEOUT 1800.42 900.25 apollon124 ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 4200.64 - Statistics: 132 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 89