BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/pre-runs/theta.xml name: theta run sets: CHC-COMP2025_check-sat.LIA-Lin-Arrays date: Mon, 2025-05-05 21:13:11 CEST tool: ThetaCHC 6.13.2 tool executable: ./chc options: resource limits: - memory: 7000.0 MB - time: 60 s - cpu cores: 2 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 2 - memory: 7000.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 quic3/data/standard_palindrome_true-unreach-call_ground_000.smt2 quic3/data/standard_copy7_true-unreach-call_ground_000.smt2 quic3/data/standard_init3_true-unreach-call_ground_000.smt2 quic3/data/array_init_const_000.smt2 quic3/data/sanfoundry_10_true-unreach-call_ground_000.smt2 quic3/data/standard_partition_original_true-unreach-call_ground_000.smt2 quic3/data/standard_copy5_true-unreach-call_ground_000.smt2 quic3/data/standard_init5_true-unreach-call_ground_000.smt2 quic3/data/array_mul_init_true-unreach-call_1_000.smt2 quic3/data/sanfoundry_27_true-unreach-call_ground_000.smt2 quic3/data/standard_copy3_true-unreach-call_ground_000.smt2 quic3/data/standard_partition_true-unreach-call_ground_000.smt2 quic3/data/standard_copy1_true-unreach-call_ground_000.smt2 quic3/data/array_reverse_000.smt2 quic3/data/array_nd_two_times_cell_true_000.smt2 quic3/data/standard_init8_true-unreach-call_ground_000.smt2 quic3/data/standard_sort_N_nd_assert_loop_000.smt2 quic3/data/standard_copy4_true-unreach-call_ground_000.smt2 quic3/data/standard_copy8_true-unreach-call_ground_000.smt2 quic3/data/standard_copyInitSum_true-unreach-call_ground_000.smt2 quic3/data/array_monotonic_set_000.smt2 quic3/data/standard_init2_true-unreach-call_ground_000.smt2 quic3/data/standard_compareModified_true-unreach-call_ground_000.smt2 quic3/data/standard_maxInArray_true-unreach-call_ground_000.smt2 quic3/data/standard_init6_true-unreach-call_ground_000.smt2 quic3/data/standard_vector_difference_true-unreach-call_ground_000.smt2 quic3/data/standard_copy2_true-unreach-call_ground_000.smt2 quic3/data/standard_copyInitSum3_true-unreach-call_ground_000.smt2 quic3/data/standard_copy6_true-unreach-call_ground_000.smt2 quic3/data/standard_find_true-unreach-call_ground_000.smt2 quic3/data/standard_vararg_true-unreach-call_ground_true-termination_000.smt2 quic3/data/array_init_partial_000.smt2 quic3/data/standard_copyInit_true-unreach-call_ground_000.smt2 quic3/data/standard_minInArray_true-unreach-call_ground_000.smt2 quic3/data/standard_copyInitSum2_true-unreach-call_ground_000.smt2 quic3/data/standard_copy9_true-unreach-call_ground_000.smt2 quic3/data/standard_init9_true-unreach-call_ground_000.smt2 quic3/data/standard_init4_true-unreach-call_ground_000.smt2 quic3/data/standard_init7_true-unreach-call_ground_000.smt2 quic3/data/array_swap_twice_000.smt2 quic3/data/sanfoundry_02_true-unreach-call_ground_000.smt2 quic3/data/array_swap_000.smt2 llreve-bench/smt2/arrays/libc__memchr_1.array_000.smt2 llreve-bench/smt2/arrays/libc__stpcpy_1.array_000.smt2 llreve-bench/smt2/arrays/coreutils__md5sum.array_000.smt2 llreve-bench/smt2/arrays/libc__strpbrk_2.array_000.smt2 llreve-bench/smt2/arrays/heap__memcpy_a.array_000.smt2 llreve-bench/smt2/arrays/heap__fib.array_000.smt2 llreve-bench/smt2/arrays/heap__memcpy_b.array_000.smt2 llreve-bench/smt2/arrays/heap__propagate.array_000.smt2 llreve-bench/smt2/arrays/heap__findmax.array_000.smt2 llreve-bench/smt2/arrays/libc__memset_1.array_000.smt2 llreve-bench/smt2/arrays/libc__strncmp_1.array_000.smt2 llreve-bench/smt2/arrays/libc__memmove_1.array_000.smt2 llreve-bench/smt2/arrays/heap__clearstr.array_000.smt2 llreve-bench/smt2/arrays/libc__memccpy_1.array_000.smt2 llreve-bench/smt2/arrays/libc__strcspn.array_000.smt2 llreve-bench/smt2/arrays/heap__selsort.array_000.smt2 llreve-bench/smt2/arrays/libc__strcmp.array_000.smt2 llreve-bench/smt2/arrays/libc__strpbrk_1.array_000.smt2 llreve-bench/smt2/arrays/heap__cocome2.array_000.smt2 llreve-bench/smt2/arrays/libc__strchr_1.array_000.smt2 llreve-bench/smt2/arrays/libc__strncmp_3.array_000.smt2 llreve-bench/smt2/arrays/libc__memrchr_1.array_000.smt2 llreve-bench/smt2/arrays/libc__strncmp_2.array_000.smt2 llreve-bench/smt2/arrays/libc__strpbrk_3.array_000.smt2 llreve-bench/muz/heap__memcpy_b_000.smt2 llreve-bench/muz/heap__propagate_000.smt2 llreve-bench/muz/heap__findmax_000.smt2 llreve-bench/muz/libc__memccpy_1_000.smt2 llreve-bench/muz/libc__stpcpy_1_000.smt2 llreve-bench/muz/libc__memset_1_000.smt2 llreve-bench/muz/libc__memmove_1_000.smt2 llreve-bench/muz/heap__clearstr_000.smt2 llreve-bench/muz/heap__memcpy_a_000.smt2 llreve-bench/muz/libc__strcspn_3_000.smt2 llreve-bench/muz/libc__strncmp_2_000.smt2 llreve-bench/muz/heap__heap_call_000.smt2 llreve-bench/muz/libc__memrchr_1_000.smt2 llreve-bench/muz/libc__strcmp_000.smt2 llreve-bench/muz/libc__memchr_1_000.smt2 llreve-bench/muz/heap__cocome2_000.smt2 llreve-bench/muz/libc__strcspn_000.smt2 llreve-bench/muz/heap__swaparray_000.smt2 llreve-bench/muz/libc__strpbrk_1_000.smt2 llreve-bench/muz/libc__strncmp_1_000.smt2 llreve-bench/muz/coreutils__remove_000.smt2 llreve-bench/muz/libc__sbrk_1_000.smt2 llreve-bench/muz/heap__fib_000.smt2 llreve-bench/muz/libc__strncmp_3_000.smt2 llreve-bench/muz/libc__strpbrk_3_000.smt2 llreve-bench/muz/libc__strchr_1_000.smt2 llreve-bench/muz/libc__memmem_1_000.smt2 llreve-bench/muz/heap__selsort_000.smt2 llreve-bench/muz/coreutils__md5sum_000.smt2 llreve-bench/muz/libc__strpbrk_2_000.smt2 llreve-bench/muz/libc__strcspn_2_000.smt2 llreve-bench/unsolved/arrayOffByOne_000.smt2 llreve-bench/unsolved/shiftByOne_000.smt2 ---------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 25.27 - Statistics: 0 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 0