Results for SV
benchmark nameresult LoATtime LoATresult Eldaricatime Eldaricaresult LoAT BLtime LoAT BLresult Z3time Z3result Golemtime Golem
add-2-n-u.smt2unknown60.15unknown60.51unknown60.16unknown60.17unknown60.27
add-3-n-u.smt2unknown0.984unknown60.87unknown0.280unknown60.15unknown60.30
array10_pattern.smt2unknown60.19unknown61.27unknown60.17unknown60.19unknown0.252
array11_pattern.smt2unknown60.17unknown60.44unknown60.17unknown60.17unknown0.314
array12_pattern.smt2unknown60.17unknown60.64unknown60.19unknown60.17unknown0.294
array13_pattern.smt2unknown60.22unknown60.251unknown60.15unknown60.16unknown0.278
array14_pattern.smt2unknown60.18unknown60.48unknown60.25unknown60.18unknown0.201
array15_pattern.smt2unknown60.17unknown60.246unknown60.20unknown60.15unknown0.251
array16_pattern.smt2unknown60.22unknown60.53unknown60.25unknown60.20unknown0.256
array17_pattern.smt2unknown60.41unknown60.55unknown60.21unknown60.17unknown0.286
array18_pattern.smt2unknown0.940unknown60.48unknown0.290unknown60.20unknown0.306
array19_pattern.smt2unknown60.25unknown61.23unknown60.25unknown60.16unknown0.279
array1_pattern.smt2unknown60.19unknown17.393unknown60.16unknown60.14unknown0.273
array1_pattern_buggy.smt2unknown60.18unknown11.219unknown60.18unknown60.16unknown0.273
array20_pattern.smt2unknown0.985unknown20.610unknown0.267unknown60.16unknown0.262
array21_pattern.smt2unknown60.25unknown30.917unknown60.18unknown60.20unknown0.253
array22_pattern.smt2unsat14.16unknown27.730unsat25.249unknown60.16unknown0.307
array23_pattern.smt2unknown1.44unknown60.227unknown0.295unknown60.20unknown0.264
array24_pattern.smt2unsat6.541unknown60.62unsat9.934unknown60.15unknown0.280
array25_pattern.smt2unknown60.18unknown60.58unknown60.19unknown60.31unknown0.312
array26_pattern.smt2unknown60.15unknown60.88unknown60.17unknown60.27unknown0.266
array27_pattern.smt2unknown60.19unknown60.43unknown60.19unknown60.23unknown0.261
array28_pattern.smt2unknown60.15unknown60.50unknown60.20unknown60.18unknown0.193
array29_pattern.smt2unknown60.17unknown60.42unknown60.23unknown60.17unknown0.194
array2_pattern.smt2unknown60.13unknown18.801unknown60.16unknown60.14unknown0.195
array2_pattern_buggy.smt2unknown60.18unknown11.427unknown60.18unknown60.17unknown0.198
array30_pattern.smt2unknown60.75unknown60.39unknown60.18unknown60.16unknown0.191
array3_pattern.smt2unknown60.72unknown60.47unknown60.18unknown60.13unknown0.245
array3_pattern_buggy.smt2unknown60.61unknown16.229unknown60.21unknown60.13unknown0.174
array4_pattern.smt2unknown60.74unknown13.77unknown60.17unknown60.16unknown0.276
array4_pattern_buggy.smt2unknown60.27unknown13.562unknown60.19unknown60.18unknown0.281
array5_pattern.smt2unknown60.61unknown60.49unknown60.15unknown60.20unknown0.265
array5_pattern_buggy.smt2unknown60.70unknown60.43unknown60.19unknown60.22unknown0.265
array6_pattern.smt2unknown60.68unknown53.497unknown60.14unknown60.15unknown0.254
array6_pattern_buggy.smt2unknown60.62unknown61.29unknown60.25unknown60.14unknown0.254
array7_pattern.smt2unknown60.69unknown32.734unknown60.22unknown60.15unknown0.254
array7_pattern_buggy.smt2unknown60.65unknown60.118unknown60.23unknown60.16unknown0.267
array8_pattern.smt2unknown60.73unknown60.278unknown60.18unknown60.15unknown0.232
array9_pattern.smt2unknown60.67unknown61.26unknown60.17unknown60.16unknown0.232
array_assert_loop_dep.smt2unsat0.408unknown60.50unknown60.9unknown60.23unknown60.21
array_doub_access_init_const.smt2unknown60.15unknown60.53unknown60.19unknown60.16unknown60.19
array_init_both_ends_multiple_sum.smt2unknown60.18unknown60.62unknown60.12unknown60.20unknown60.104
array_init_nondet_vars.smt2unknown60.16unknown60.71unknown60.17unknown60.16unknown60.17
array_init_pair_sum_const.smt2unknown60.12unknown60.102unknown60.16unknown60.30unknown60.20
array_init_pair_symmetr.smt2unknown60.11unknown60.62unknown60.18unknown60.35unknown60.20
array_init_pair_symmetr2.smt2unknown60.14unknown60.96unknown60.16unknown60.42unknown60.21
array_init_var_plus_ind.smt2unknown60.21unknown60.54unknown60.20unknown60.16unknown60.13
array_init_var_plus_ind2.smt2unknown60.25unknown60.59unknown60.17unknown60.16unknown60.12
array_init_var_plus_ind3.smt2unknown60.21unknown60.73unknown60.17unknown60.13unknown60.12
array_min_and_copy_shift_sum_add.smt2unknown60.15unknown60.76unknown60.15unknown60.17unknown60.15
array_monotonic.smt2unknown60.17unknown60.74unknown60.19unknown60.13unknown60.10
array_mul_init.smt2unknown60.20unknown60.45unknown60.15unknown60.17unknown0.209
array_ptr_single_elem_init-2.smt2unsat1.105unknown60.69unknown60.13unknown60.16unknown60.11
array_range_init.smt2unknown60.14unknown60.63unknown60.11unknown60.43unknown60.10
array_shadowinit.smt2sat0.632unknown60.67unknown60.15unknown60.16unknown60.14
array_single_elem_init.smt2unsat1.684unknown60.78unknown60.15unknown60.20unknown60.11
array_tiling_poly6.smt2unknown60.26unknown60.348unknown60.20unknown60.15unknown0.223
array_tiling_tcpy.smt2unknown60.14unknown60.75unknown60.16unknown60.16unknown60.18
array_tripl_access_init_const.smt2unknown60.14unknown60.72unknown60.17unknown60.13unknown60.22
check_removal_from_set_after_insertion.smt2unsat13.353unknown60.67unknown60.14unknown60.28unknown60.28
copy-2-u.smt2unknown60.15unknown60.43unknown60.12unknown60.16unknown60.36
copy-3-n-u.smt2unknown0.277unknown60.55unknown0.273unknown60.16unknown60.38
copy-partial-2-n-u.smt2unknown60.16unknown60.52unknown60.13unknown60.16unknown60.32
copy-partial-3-u.smt2unknown0.287unknown60.48unknown0.297unknown60.16unknown60.35
copysome1-1.smt2unknown60.15unknown60.52unknown60.16unknown60.48unknown60.28
copysome1-2.smt2unknown60.13unknown60.73unknown60.16unknown60.28unknown60.29
copysome2-1.smt2unknown60.34unknown60.53unknown60.13unknown60.39unknown60.30
copysome2-2.smt2unknown60.34unknown60.62unknown60.13unknown60.46unknown60.22
data_structures_set_multi_proc_ground-1.smt2unsat20.25unknown60.47unknown60.13unknown60.18unknown60.72
data_structures_set_multi_proc_ground-2.smt2unsat21.108unknown60.49unknown60.12unknown60.19unknown60.70
data_structures_set_multi_proc_trivial_ground.smt2unsat6.552unknown60.55unknown60.12unknown60.20unknown60.71
diff-2-n-u.smt2unknown60.14unknown60.51unknown60.12unknown60.19unknown60.26
diff-3-n-u.smt2unknown0.267unknown60.42unknown0.272unknown60.16unknown60.24
init-2-n-u.smt2unknown60.14unknown60.42unknown60.10unknown60.19unknown60.36
init-3-u.smt2unknown0.270unknown60.41unknown0.286unknown60.19unknown60.38
init-4-n-u.smt2unknown0.273unknown60.41unknown0.276unknown60.20unknown60.43
init-non-constant-2-n-u.smt2unknown60.12unknown60.58unknown60.10unknown60.14unknown60.12
init-non-constant-3-u.smt2unknown0.270unknown60.58unknown0.279unknown60.15unknown60.48
max-2-u.smt2unknown60.13unknown60.40unknown60.13unknown60.14unknown60.25
max-3-n-u.smt2unknown0.269unknown60.41unknown0.251unknown60.14unknown60.34
mbpr2.smt2unknown60.13unknown60.73unknown60.18unknown60.13unknown60.11
mbpr3.smt2unknown60.14unknown60.50unknown60.16unknown60.15unknown60.12
mbpr4.smt2unknown60.16unknown60.52unknown60.17unknown60.20unknown60.11
mbpr5.smt2unknown60.17unknown60.43unknown60.15unknown60.14unknown60.13
min-2-u.smt2unknown60.14unknown60.51unknown60.15unknown60.20unknown60.33
min-3-n-u.smt2unknown0.334unknown60.43unknown0.327unknown60.14unknown60.28
nr2.smt2unknown60.15unknown60.66unknown60.19unknown60.16unknown60.14
nr3.smt2unknown60.17unknown60.47unknown60.22unknown60.14unknown60.14
nr4.smt2unknown60.13unknown60.60unknown60.16unknown60.19unknown60.11
nr5.smt2unknown60.40unknown60.52unknown60.14unknown60.29unknown60.14
partial_lesser_bound-1.smt2unknown60.14unknown60.42unknown60.15unknown60.28unknown60.26
partial_mod_count_1.smt2unknown60.56unknown60.66unknown60.31unknown60.28unknown0.267
partial_mod_count_2.smt2unknown60.27unknown60.47unknown60.23unknown60.34unknown0.265
partial_mod_count_3.smt2unknown60.27unknown60.45unknown60.24unknown60.30unknown0.268
partial_mod_count_4.smt2unknown60.28unknown60.82unknown60.26unknown60.27unknown0.266
partial_mod_count_5.smt2unknown60.27unknown60.48unknown60.24unknown60.27unknown0.257
partial_mod_count_limited_1.smt2unknown60.19sat25.691unknown60.24unknown60.23unknown0.269
partial_mod_count_limited_2.smt2unknown60.27unknown60.53unknown60.27unknown60.27unknown0.261
partial_mod_count_limited_3.smt2unknown60.24unknown60.50unknown60.23unknown60.27unknown0.266
partial_mod_count_limited_4.smt2unknown60.32unknown60.63unknown60.29unknown60.47unknown0.267
partial_mod_count_limited_5.smt2unknown60.32unknown60.64unknown60.30unknown60.54unknown0.244
partial_mod_count_limited_base.smt2unknown60.33unknown60.39unknown60.23unknown60.32unknown0.254
partial_mod_count_limited_gen.smt2unknown60.25unknown60.40unknown60.29unknown60.24unknown0.194
pr2.smt2unknown60.17unknown60.49unknown60.14unknown60.18unknown60.8
pr3.smt2unknown60.15unknown60.54unknown60.16unknown60.14unknown60.10
pr4.smt2unknown60.18unknown60.38unknown60.18unknown60.16unknown60.11
pr5.smt2unknown60.16unknown60.341unknown60.15unknown60.16unknown60.10
rev-2-n-u.smt2unknown60.21unknown60.48unknown60.16unknown60.14unknown60.27
rev-3-u.smt2unknown0.276unknown60.64unknown0.274unknown60.14unknown60.25
sanfoundry_02_ground.smt2unknown60.15unknown60.52unknown60.14unknown60.28unknown60.118
sanfoundry_10_ground.smt2unknown60.15unknown60.76unknown60.15unknown60.36unknown60.118
sanfoundry_24-1.smt2unknown60.15sat2.635unknown60.16sat0.360unknown60.16
sanfoundry_27_ground.smt2unknown60.26unknown60.58unknown60.15unknown60.19unknown60.123
sorting_bubblesort_2_ground.smt2unknown60.39unknown60.64unknown60.15unknown60.20unknown60.123
sorting_bubblesort_ground-1.smt2unknown60.21unknown60.55unknown60.14unknown60.20unknown60.121
sorting_bubblesort_ground-2.smt2unknown60.35unknown60.60unknown60.16unknown60.20unknown60.118
sorting_selectionsort_2_ground.smt2unknown60.20unknown60.44unknown60.18unknown60.17unknown60.124
sorting_selectionsort_ground-1.smt2unknown60.55unknown60.94unknown60.16unknown60.23unknown60.99
standard_allDiff2_ground.smt2unknown60.14unknown60.78unknown60.16unknown60.33unknown60.98
standard_compareModified_ground.smt2unknown60.17unknown60.51unknown60.16unknown60.37unknown60.23
standard_compare_ground.smt2unknown60.34unknown60.57unknown60.14unknown60.34unknown60.21
standard_copy1_ground-1.smt2unknown60.13unknown60.61unknown60.13unknown60.24unknown60.58
standard_copy1_ground-2.smt2unsat0.661unknown60.66unknown60.16unknown60.25unknown60.23
standard_copy2_ground-1.smt2unsat1.803unknown60.53unknown60.15unknown60.21unknown60.22
standard_copy2_ground-2.smt2unknown60.15unknown60.51unknown60.15unknown60.24unknown60.63
standard_copy3_ground-1.smt2unknown60.18unknown60.75unknown60.13unknown60.42unknown60.56
standard_copy3_ground-2.smt2unsat10.139unknown60.59unknown60.14unknown60.25unknown60.21
standard_copy4_ground-1.smt2unknown60.43unknown60.71unknown60.13unknown60.39unknown60.57
standard_copy4_ground-2.smt2unsat8.875unknown60.52unknown60.13unknown60.55unknown60.21
standard_copy5_ground-1.smt2unknown60.44unknown60.51unknown60.15unknown60.26unknown60.60
standard_copy5_ground-2.smt2unsat58.877unknown60.58unknown60.15unknown60.40unknown60.20
standard_copy6_ground-1.smt2unknown60.18unknown60.62unknown60.14unknown60.47unknown60.23
standard_copy6_ground-2.smt2unknown60.92unknown60.67unknown60.13unknown60.27unknown60.60
standard_copy7_ground-1.smt2unknown60.19unknown60.66unknown60.14unknown60.32unknown60.21
standard_copy7_ground-2.smt2unknown60.53unknown60.54unknown60.9unknown60.25unknown60.61
standard_copy8_ground-1.smt2unknown60.89unknown60.67unknown60.16unknown60.25unknown60.60
standard_copy8_ground-2.smt2unknown60.28unknown60.60unknown60.15unknown60.31unknown60.22
standard_copy9_ground-1.smt2unknown60.70unknown60.51unknown60.12unknown60.32unknown60.23
standard_copy9_ground-2.smt2unknown60.33unknown60.58unknown60.10unknown60.32unknown60.78
standard_copyInitSum2_ground-1.smt2unknown60.17unknown60.51unknown60.12unknown60.15unknown60.26
standard_copyInitSum2_ground-2.smt2unknown60.61unknown60.51unknown60.16unknown60.18unknown60.27
standard_copyInitSum3_ground.smt2unknown60.54unknown60.61unknown60.13unknown60.20unknown60.23
standard_copyInitSum_ground.smt2unknown60.14unknown60.45unknown60.16unknown60.41unknown60.27
standard_copyInit_ground.smt2unknown60.27unknown60.55unknown60.13unknown60.28unknown60.27
standard_find_ground-1.smt2unknown60.18unknown60.46unknown60.17unknown60.37unknown60.76
standard_init1_ground-1.smt2unsat0.420unknown60.49unknown60.17unknown60.23unknown60.24
standard_init1_ground-2.smt2unknown60.20unknown60.58unknown60.19unknown60.41unknown60.24
standard_init2_ground-1.smt2unsat0.528unknown60.54unknown60.24unknown60.49unknown60.21
standard_init2_ground-2.smt2unknown60.21unknown60.50unknown60.21unknown60.32unknown60.20
standard_init3_ground-1.smt2unsat0.604unknown60.52unknown60.15unknown60.28unknown60.19
standard_init3_ground-2.smt2unknown60.21unknown60.68unknown60.15unknown60.25unknown60.19
standard_init4_ground-1.smt2unsat0.687unknown60.52unknown60.19unknown60.29unknown60.20
standard_init4_ground-2.smt2unknown60.15unknown60.40unknown60.15unknown60.31unknown60.21
standard_init5_ground-1.smt2unknown60.13unknown60.41unknown60.11unknown60.18unknown60.22
standard_init5_ground-2.smt2unsat0.852unknown60.47unknown60.17unknown60.203unknown60.21
standard_init6_ground-1.smt2unsat1.72unknown60.49unknown60.16unknown60.17unknown60.21
standard_init6_ground-2.smt2unknown60.13unknown60.57unknown60.15unknown60.14unknown60.20
standard_init7_ground-1.smt2unsat1.372unknown60.39unknown60.12unknown60.14unknown60.22
standard_init7_ground-2.smt2unknown60.13unknown60.49unknown60.14unknown60.43unknown60.25
standard_init8_ground-1.smt2unsat1.668unknown60.33unknown60.13unknown60.42unknown60.22
standard_init8_ground-2.smt2unknown60.13unknown60.47unknown60.18unknown60.26unknown60.20
standard_init9_ground-1.smt2unsat2.12unknown60.49unknown60.15unknown60.44unknown60.21
standard_init9_ground-2.smt2unknown60.15unknown60.52unknown60.17unknown60.23unknown60.19
standard_maxInArray_ground.smt2unknown60.21unknown60.42unknown60.16unknown60.18unknown60.58
standard_minInArray_ground-1.smt2unknown60.30unknown60.44unknown60.16unknown60.21unknown60.56
standard_minInArray_ground-2.smt2unknown60.17unknown60.40unknown60.14unknown60.16unknown60.53
standard_palindrome_ground.smt2unknown60.20unknown60.46unknown60.13unknown60.25unknown60.55
standard_partial_init_ground.smt2unknown60.16unknown60.47unknown60.17unknown60.14unknown60.21
standard_partition_ground-1.smt2unknown60.23unknown60.55unknown60.34unknown60.15unknown60.11
standard_partition_ground-2.smt2unknown60.27unknown60.49unknown60.13unknown60.31unknown60.53
standard_partition_original_ground.smt2unknown60.30unknown60.52unknown60.15unknown60.15unknown60.51
standard_password_ground.smt2unknown60.20unknown60.48unknown60.12unknown60.18unknown60.20
standard_reverse_ground.smt2unknown60.12unknown60.50unknown60.15unknown60.15unknown60.61
standard_running-1.smt2unknown60.16unknown60.57unknown60.20unknown60.17unknown60.59
standard_running-2.smt2unknown60.16unknown60.51unknown60.13unknown60.17unknown60.54
standard_sentinel-2.smt2unknown60.30unknown60.52unknown60.16unknown60.25unknown60.58
standard_seq_init_ground.smt2unknown60.19unknown60.63unknown60.14unknown60.25unknown60.31
standard_strcmp_ground.smt2unsat0.484unknown60.49unknown60.18unknown60.23unknown60.19
standard_strcpy_ground-1.smt2unknown60.17unknown60.60unknown60.15unknown60.34unknown60.51
standard_strcpy_original-2.smt2unknown60.16unknown60.59unknown60.16unknown60.36unknown60.51
standard_two_index_01.smt2unknown60.14unknown60.67unknown60.16unknown60.15unknown60.88
standard_two_index_02.smt2unknown60.14unknown60.50unknown60.11unknown60.16unknown60.95
standard_two_index_03.smt2unknown60.11unknown60.43unknown60.16unknown60.33unknown60.58
standard_two_index_04.smt2unknown60.11unknown60.49unknown60.11unknown60.13unknown60.83
standard_two_index_05.smt2unknown60.12unknown60.55unknown60.16unknown60.62unknown60.88
standard_two_index_06.smt2unknown60.12unknown60.37unknown60.14unknown60.14unknown60.88
standard_two_index_07.smt2unknown60.12unknown60.65unknown60.11unknown60.14unknown60.87
standard_two_index_08.smt2unknown60.11unknown60.70unknown60.16unknown60.54unknown60.64
standard_two_index_09.smt2unknown60.13unknown60.60unknown60.15unknown60.32unknown60.62
standard_vararg_ground.smt2unknown60.18unknown60.60unknown60.14unknown60.46unknown60.99
standard_vector_difference_ground.smt2unknown60.12unknown60.56unknown60.15unknown60.46unknown60.26
transpose-u.smt2unknown60.14unknown60.64unknown60.15unknown60.17unknown60.29
zero_sum1.smt2unknown60.30unknown60.52unknown60.33unknown60.18unknown60.38
zero_sum2.smt2unknown60.18unknown60.67unknown60.21unknown60.17unknown60.38
zero_sum3.smt2unknown60.19unknown60.47unknown60.15unknown60.19unknown60.31
zero_sum4.smt2unknown60.42unknown60.70unknown60.19unknown60.20unknown60.33
zero_sum5.smt2unknown60.25unknown60.61unknown60.17unknown60.20unknown60.37
zero_sum_m2.smt2unknown60.33unknown60.57unknown60.17unknown60.14unknown60.34
zero_sum_m3.smt2unknown60.15unknown60.48unknown60.20unknown60.17unknown60.33
zero_sum_m4.smt2unknown60.23unknown60.80unknown60.18unknown60.18unknown60.24
zero_sum_m5.smt2unknown60.14unknown60.65unknown60.18unknown60.18unknown60.25