Results for SV
benchmark nameresult LoATtime LoATresult Eldaricatime Eldaricaresult LoAT BLtime LoAT BLresult Z3time Z3result Golemtime Golem
add-2-n-u.smt2unknown60.13unknown60.61unknown60.12unknown60.17unknown60.24
add-3-n-u.smt2unknown0.723unknown60.71unknown0.447unknown60.25unknown60.25
array10_pattern.smt2unsat0.706unsat5.27unsat0.812unsat0.433unknown0.295
array11_pattern.smt2unsat0.780unsat4.882unsat0.714unsat0.513unknown0.289
array12_pattern.smt2unsat1.695unsat5.59unsat1.463unsat35.949unknown0.264
array13_pattern.smt2unsat1.45unsat5.551unsat1.128unsat0.658unknown0.275
array14_pattern.smt2unsat1.134unsat5.888unsat1.223unsat0.978unknown0.317
array15_pattern.smt2unsat1.108unsat5.685unsat1.210unsat1.605unknown0.298
array16_pattern.smt2unsat1.39unsat6.188unsat1.193unsat0.804unknown0.285
array17_pattern.smt2unsat2.765unsat6.414unsat2.41unknown60.16unknown0.275
array18_pattern.smt2unknown0.320unsat6.471unknown0.259unknown60.16unknown0.297
array19_pattern.smt2unsat2.439unsat6.627unsat2.307unsat7.733unknown0.266
array1_pattern.smt2unsat0.621unsat4.379unsat0.630unsat0.457unknown0.315
array1_pattern_buggy.smt2unsat1.261unsat4.531unsat0.673unsat0.488unknown0.263
array20_pattern.smt2unknown0.716unsat6.615unknown0.352unsat5.534unknown0.282
array21_pattern.smt2unsat5.649unsat7.128unsat6.435unknown60.17unknown0.307
array22_pattern.smt2unsat20.885unsat7.430unsat15.676unknown60.17unknown0.314
array23_pattern.smt2unknown0.325unsat7.363unknown0.327unknown60.16unknown0.275
array24_pattern.smt2unsat4.48unsat8.418unsat7.443unknown60.23unknown0.344
array25_pattern.smt2unsat5.80unsat23.325unsat4.787unsat3.902unknown0.290
array26_pattern.smt2unsat4.307unsat26.233unsat4.520unsat2.103unknown0.205
array27_pattern.smt2unsat0.598unsat6.923unsat0.584unsat0.363unknown0.199
array28_pattern.smt2unsat0.630unsat3.663unsat0.594unsat0.489unknown0.203
array29_pattern.smt2unsat1.461unsat10.69unsat2.136unsat1.624unknown0.199
array2_pattern.smt2unsat0.520unsat3.737unsat0.548unsat0.456unknown0.298
array2_pattern_buggy.smt2unsat0.608unsat3.281unsat0.586unsat0.346unknown0.202
array30_pattern.smt2unsat0.526unsat8.684unsat0.596unsat0.541unknown0.298
array3_pattern.smt2unsat1.75unsat3.836unsat0.603unsat0.494unknown0.249
array3_pattern_buggy.smt2unsat1.98unsat4.130unsat0.626unsat0.472unknown0.241
array4_pattern.smt2unsat1.119unsat4.343unsat0.679unsat0.472unknown0.273
array4_pattern_buggy.smt2unsat1.201unsat4.501unsat0.714unsat0.497unknown0.301
array5_pattern.smt2unsat1.170unsat3.984unsat0.701unsat0.466unknown0.284
array5_pattern_buggy.smt2unsat1.269unsat5.236unsat0.863unsat0.474unknown0.276
array6_pattern.smt2unsat2.278unsat4.687unsat1.986unsat0.575unknown0.233
array6_pattern_buggy.smt2unsat1.552unsat4.972unsat2.99unsat0.535unknown0.269
array7_pattern.smt2unsat2.759unsat5.161unsat2.567unsat0.527unknown0.278
array7_pattern_buggy.smt2unsat2.851unsat5.328unsat1.525unsat0.550unknown0.259
array8_pattern.smt2unsat1.119unsat3.793unsat0.667unsat0.458unknown0.254
array9_pattern.smt2unsat1.197unsat4.71unsat0.766unsat0.472unknown0.240
array_assert_loop_dep.smt2unsat0.944unknown60.64unknown60.14unknown60.33unknown60.24
array_doub_access_init_const.smt2unsat0.403unknown60.49unknown60.11unknown60.28unknown60.22
array_init_both_ends_multiple_sum.smt2unknown60.14unknown60.57unknown60.9unknown60.28unknown60.96
array_init_nondet_vars.smt2unsat0.402unsat3.326unsat0.436unsat0.411unsat0.261
array_init_pair_sum_const.smt2unsat0.482unknown60.56unknown60.11unknown60.34unknown60.18
array_init_pair_symmetr.smt2unknown60.10unknown60.47unknown60.15unknown60.49unknown60.23
array_init_pair_symmetr2.smt2unknown60.12unknown60.57unknown60.15unknown60.40unknown60.20
array_init_var_plus_ind.smt2unsat0.497unsat3.817unsat0.481unsat0.413unsat0.233
array_init_var_plus_ind2.smt2unsat0.526unsat3.900unsat0.462unsat0.425unsat0.239
array_init_var_plus_ind3.smt2unsat0.532unsat4.733unsat0.613unsat0.412unsat0.248
array_min_and_copy_shift_sum_add.smt2unsat0.448unsat3.548unsat0.467unsat0.410unsat0.246
array_monotonic.smt2unsat0.683unknown60.50unknown60.13unknown60.12unknown60.20
array_mul_init.smt2unsat0.602unknown60.45unknown60.14unknown60.13unknown0.247
array_ptr_single_elem_init-2.smt2unknown60.31sat5.863unknown60.14unknown60.24unknown60.12
array_range_init.smt2unsat0.475unknown60.56unknown60.13unknown60.50unknown60.19
array_shadowinit.smt2unsat0.434unsat2.815unsat0.442unsat0.419unsat0.229
array_single_elem_init.smt2unsat1.47unknown60.88unknown60.13unknown60.19unknown60.13
array_tiling_poly6.smt2unsat0.521unsat5.43unsat0.457unsat0.452unknown0.231
array_tiling_tcpy.smt2unsat0.434unsat3.741unsat0.482unsat0.450unsat0.246
array_tripl_access_init_const.smt2unsat0.492unknown60.56unknown60.18unknown60.25unknown60.22
check_removal_from_set_after_insertion.smt2unsat11.781unknown60.59unknown60.12unknown60.31unknown60.25
copy-2-u.smt2unknown60.14unknown60.52unknown60.14unknown60.15unknown60.35
copy-3-n-u.smt2unknown0.245unknown60.41unknown0.288unknown60.17unknown60.30
copy-partial-2-n-u.smt2unknown60.15unknown60.48unknown60.15unknown60.18unknown60.26
copy-partial-3-u.smt2unknown0.343unknown60.49unknown0.275unknown60.16unknown60.27
copysome1-1.smt2unsat2.148unknown60.52unknown60.14unknown60.33unknown60.21
copysome1-2.smt2unsat15.124unknown60.46unknown60.13unknown60.105unknown60.21
copysome2-1.smt2unknown60.41unknown60.58unknown60.14unknown60.39unknown60.23
copysome2-2.smt2unsat35.728unknown60.57unknown60.14unknown60.28unknown60.27
data_structures_set_multi_proc_ground-1.smt2unsat10.39unknown60.54unknown60.9unknown60.24unknown60.53
data_structures_set_multi_proc_ground-2.smt2unsat10.51unknown60.49unknown60.11unknown60.25unknown60.55
data_structures_set_multi_proc_trivial_ground.smt2unsat5.353unknown60.47unknown60.15unknown60.22unknown60.61
diff-2-n-u.smt2unknown60.16unknown60.56unknown60.10unknown60.13unknown60.25
diff-3-n-u.smt2unknown0.358unknown60.39unknown0.275unknown60.15unknown60.25
init-2-n-u.smt2unknown60.15unknown60.37unknown60.13unknown60.18unknown60.61
init-3-u.smt2unknown0.326unknown60.41unknown0.280unknown60.16unknown60.49
init-4-n-u.smt2unknown0.269unknown60.56unknown0.251unknown60.18unknown60.70
init-non-constant-2-n-u.smt2unsat0.532unsat3.946unsat0.493unsat0.391unsat0.310
init-non-constant-3-u.smt2unknown0.257unknown60.34unknown0.239unknown60.18unknown60.62
max-2-u.smt2unknown60.15unknown60.40unknown60.15unknown60.15unknown60.41
max-3-n-u.smt2unknown0.258unknown60.48unknown0.251unknown60.15unknown60.34
mbpr2.smt2unsat0.565unsat4.550unsat0.570unsat0.409unsat0.230
mbpr3.smt2unsat0.849unsat5.268unsat0.847unsat0.432unsat0.282
mbpr4.smt2unsat1.651unsat5.846unsat1.706unsat0.426unsat0.614
mbpr5.smt2unsat4.223unsat6.648unsat4.126unsat0.480unsat2.84
min-2-u.smt2unknown60.15unknown60.46unknown60.12unknown60.15unknown60.24
min-3-n-u.smt2unknown0.254unknown60.117unknown0.385unknown60.16unknown60.24
nr2.smt2unsat0.558unsat4.717unsat0.646unsat0.394unsat0.313
nr3.smt2unsat0.624unsat4.553unsat0.716unsat0.403unsat0.308
nr4.smt2unsat0.633unsat5.84unsat0.773unsat0.412unsat0.294
nr5.smt2unsat0.637unsat5.158unsat0.803unsat0.444unsat0.320
partial_lesser_bound-1.smt2unsat0.534unknown60.45unknown60.13unknown60.28unknown60.30
partial_mod_count_1.smt2unknown60.24unknown60.45unknown60.23unknown60.32unknown0.278
partial_mod_count_2.smt2unknown60.26unknown60.47unknown60.24unknown60.25unknown0.253
partial_mod_count_3.smt2unknown60.26unknown60.73unknown60.24unknown60.25unknown0.307
partial_mod_count_4.smt2unknown60.24unknown60.51unknown60.26unknown60.24unknown0.281
partial_mod_count_5.smt2unknown60.27unknown60.52unknown60.24unknown60.25unknown0.294
partial_mod_count_limited_1.smt2unsat1.283unknown60.46unknown60.23unknown60.21unknown0.301
partial_mod_count_limited_2.smt2unknown60.23unknown60.44unknown60.28unknown60.26unknown0.244
partial_mod_count_limited_3.smt2unknown60.27unknown60.57unknown60.24unknown60.40unknown0.285
partial_mod_count_limited_4.smt2unknown60.24unknown60.48unknown60.25unknown60.26unknown0.299
partial_mod_count_limited_5.smt2unknown60.23unknown60.53unknown60.24unknown60.28unknown0.198
partial_mod_count_limited_base.smt2unknown60.25unknown60.48unknown60.22unknown60.25unknown0.197
partial_mod_count_limited_gen.smt2unknown60.27unknown60.50unknown60.29unknown60.24unknown0.197
pr2.smt2unsat0.430unsat3.403unsat0.462unsat0.317unsat0.203
pr3.smt2unsat0.438unsat3.609unsat0.501unsat0.333unsat0.203
pr4.smt2unsat0.506unsat3.608unsat0.577unsat0.348unsat0.261
pr5.smt2unsat0.577unsat3.895unsat0.699unsat0.355unsat0.270
rev-2-n-u.smt2unknown60.14unknown60.56unknown60.16unknown60.33unknown60.196
rev-3-u.smt2unknown0.252unknown60.51unknown0.280unknown60.36unknown60.206
sanfoundry_02_ground.smt2unknown60.19unknown60.44unknown60.16unknown60.33unknown60.182
sanfoundry_10_ground.smt2unsat1.553unknown60.49unknown60.14unknown60.50unknown60.204
sanfoundry_24-1.smt2unsat0.418unsat3.14unsat0.467unsat0.339unsat0.223
sanfoundry_27_ground.smt2unknown60.21unknown60.64unknown60.13unknown60.31unknown60.181
sorting_bubblesort_2_ground.smt2unknown60.19unknown60.45unknown60.16unknown60.27unknown60.186
sorting_bubblesort_ground-1.smt2unknown60.25unknown60.45unknown60.17unknown60.38unknown60.218
sorting_bubblesort_ground-2.smt2unknown60.16unknown60.61unknown60.16unknown60.31unknown60.197
sorting_selectionsort_2_ground.smt2unknown60.28unknown60.46unknown60.15unknown60.44unknown60.205
sorting_selectionsort_ground-1.smt2unknown60.22unknown60.49unknown60.15unknown60.45unknown60.212
standard_allDiff2_ground.smt2unknown60.33unknown60.55unknown60.14unknown60.56unknown60.224
standard_compareModified_ground.smt2unknown60.21unknown60.47unknown60.14unknown60.24unknown60.48
standard_compare_ground.smt2unknown60.20unknown60.69unknown60.15unknown60.17unknown60.20
standard_copy1_ground-1.smt2unsat0.671unknown60.50unknown60.12unknown60.31unknown60.125
standard_copy1_ground-2.smt2unsat1.117unknown60.53unknown60.15unknown60.25unknown60.19
standard_copy2_ground-1.smt2unsat2.980unknown60.39unknown60.11unknown60.31unknown60.50
standard_copy2_ground-2.smt2unsat2.185unknown60.42unknown60.15unknown60.28unknown60.89
standard_copy3_ground-1.smt2unsat14.10unknown60.44unknown60.15unknown60.94unknown60.110
standard_copy3_ground-2.smt2unsat5.200unknown60.46unknown60.10unknown60.23unknown60.19
standard_copy4_ground-1.smt2unsat20.500unknown60.41unknown60.12unknown60.50unknown60.61
standard_copy4_ground-2.smt2unsat6.730unknown60.57unknown60.15unknown60.51unknown60.20
standard_copy5_ground-1.smt2unknown60.70unknown60.52unknown60.9unknown60.26unknown60.63
standard_copy5_ground-2.smt2unknown60.51unknown60.48unknown60.16unknown60.56unknown60.28
standard_copy6_ground-1.smt2unknown60.49unknown60.49unknown60.16unknown60.77unknown60.23
standard_copy6_ground-2.smt2unknown60.25unknown60.47unknown60.16unknown60.40unknown60.109
standard_copy7_ground-1.smt2unknown60.84unknown60.37unknown60.11unknown60.33unknown60.98
standard_copy7_ground-2.smt2unknown60.29unknown60.54unknown60.14unknown60.37unknown60.65
standard_copy8_ground-1.smt2unknown60.45unknown60.44unknown60.13unknown60.40unknown60.117
standard_copy8_ground-2.smt2unknown60.21unknown60.49unknown60.13unknown60.59unknown60.20
standard_copy9_ground-1.smt2unknown60.23unknown60.53unknown60.15unknown60.35unknown60.23
standard_copy9_ground-2.smt2unknown60.52unknown60.51unknown60.14unknown60.51unknown60.110
standard_copyInitSum2_ground-1.smt2unknown60.16unknown60.41unknown60.15unknown60.12unknown60.21
standard_copyInitSum2_ground-2.smt2unknown60.53unknown60.43unknown60.10unknown60.23unknown60.21
standard_copyInitSum3_ground.smt2unknown60.50unknown60.42unknown60.12unknown60.19unknown60.20
standard_copyInitSum_ground.smt2unsat0.704unknown60.46unknown60.15unknown60.34unknown60.21
standard_copyInit_ground.smt2unsat0.488unknown60.38unknown60.12unknown60.41unknown60.86
standard_find_ground-1.smt2unsat0.545unknown60.41unknown60.12unknown60.32unknown60.52
standard_init1_ground-1.smt2sat0.433sat3.235unknown60.12unknown60.45unknown60.19
standard_init1_ground-2.smt2unsat0.408unknown60.49unknown60.15unknown60.50unknown60.20
standard_init2_ground-1.smt2sat0.492sat3.787unknown60.14unknown60.43unknown60.20
standard_init2_ground-2.smt2unsat0.535unknown60.47unknown60.12unknown60.46unknown60.20
standard_init3_ground-1.smt2sat0.631sat4.444unknown60.14unknown60.62unknown60.20
standard_init3_ground-2.smt2unsat0.609unknown60.46unknown60.16unknown60.101unknown60.21
standard_init4_ground-1.smt2sat0.748sat5.45unknown60.12unknown60.12unknown60.19
standard_init4_ground-2.smt2unsat0.710unknown60.45unknown60.15unknown60.18unknown60.20
standard_init5_ground-1.smt2unsat0.736unknown60.50unknown60.17unknown60.20unknown60.23
standard_init5_ground-2.smt2sat0.844sat4.869unknown60.14unknown60.14unknown60.24
standard_init6_ground-1.smt2sat1.151sat5.327unknown60.14unknown60.16unknown60.20
standard_init6_ground-2.smt2unsat1.76unknown60.51unknown60.17unknown60.24unknown60.26
standard_init7_ground-1.smt2sat1.391sat5.709unknown60.14unknown60.16unknown60.20
standard_init7_ground-2.smt2unsat1.147unknown60.42unknown60.15unknown60.52unknown60.21
standard_init8_ground-1.smt2sat1.723sat6.233unknown60.15unknown60.20unknown60.30
standard_init8_ground-2.smt2unsat1.714unknown60.43unknown60.15unknown60.37unknown60.22
standard_init9_ground-1.smt2sat2.81sat8.78unknown60.15unknown60.26unknown60.20
standard_init9_ground-2.smt2unsat2.100unknown60.64unknown60.15unknown60.28unknown60.18
standard_maxInArray_ground.smt2unknown60.16unknown60.53unknown60.10unknown60.18unknown60.58
standard_minInArray_ground-1.smt2unknown60.30unknown60.49unknown60.10unknown60.15unknown60.64
standard_minInArray_ground-2.smt2unknown60.19unknown60.45unknown60.11unknown60.15unknown60.64
standard_palindrome_ground.smt2unknown60.21unknown60.52unknown60.13unknown60.25unknown60.51
standard_partial_init_ground.smt2unknown60.15unknown60.46unknown60.14unknown60.17unknown60.17
standard_partition_ground-1.smt2unknown60.24unknown60.59unknown60.35unknown60.22unknown60.10
standard_partition_ground-2.smt2unknown60.19unknown60.47unknown60.10unknown60.18unknown60.53
standard_partition_original_ground.smt2unknown60.20unknown60.51unknown60.13unknown60.21unknown60.56
standard_password_ground.smt2unknown60.23unknown60.45unknown60.16unknown60.23unknown60.20
standard_reverse_ground.smt2unsat0.710unknown60.62unknown60.13unknown60.14unknown60.55
standard_running-1.smt2unknown60.16unknown60.56unknown60.14unknown60.21unknown60.55
standard_running-2.smt2unknown60.26unknown60.66unknown60.14unknown60.20unknown60.55
standard_sentinel-2.smt2unsat0.452unknown60.45unknown60.11unknown60.34unknown60.55
standard_seq_init_ground.smt2unsat0.433unknown60.54unknown60.10unknown60.33unknown60.33
standard_strcmp_ground.smt2unsat0.468unknown60.48unknown60.16unknown60.27unknown60.23
standard_strcpy_ground-1.smt2unsat0.548unknown60.50unknown60.15unknown60.48unknown60.105
standard_strcpy_original-2.smt2unsat0.442unknown60.48unknown60.13unknown60.34unknown60.64
standard_two_index_01.smt2unsat0.582unknown60.53unknown60.14unknown60.39unknown60.58
standard_two_index_02.smt2unsat0.712unknown60.46unknown60.14unknown60.15unknown60.75
standard_two_index_03.smt2unsat0.783unknown60.59unknown60.13unknown60.28unknown60.75
standard_two_index_04.smt2unsat0.790unknown60.38unknown60.13unknown60.147unknown60.75
standard_two_index_05.smt2unsat0.638unknown60.65unknown60.12unknown60.29unknown60.73
standard_two_index_06.smt2unsat0.472unknown60.61unknown60.11unknown60.145unknown60.93
standard_two_index_07.smt2unsat0.494unknown60.37unknown60.13unknown60.50unknown60.91
standard_two_index_08.smt2unsat0.549unknown60.53unknown60.14unknown60.16unknown60.84
standard_two_index_09.smt2unsat1.107unknown60.54unknown60.14unknown60.16unknown60.82
standard_vararg_ground.smt2unsat0.482unknown60.48unknown60.12unknown60.86unknown60.83
standard_vector_difference_ground.smt2unsat0.856unknown60.59unknown60.14unknown60.51unknown60.26
transpose-u.smt2unknown60.14unknown60.50unknown60.12unknown60.19unknown60.37
zero_sum1.smt2unsat0.563unsat4.329unsat0.526unsat0.443unsat0.286
zero_sum2.smt2unsat0.941unsat5.137unsat1.31unsat0.478unsat0.299
zero_sum3.smt2unsat4.91unsat5.921unsat2.776unsat0.638unsat0.326
zero_sum4.smt2unsat4.672unsat6.593unsat9.930unsat1.14unsat0.368
zero_sum5.smt2unsat10.975unsat7.198unsat26.854unsat2.22unsat0.431
zero_sum_m2.smt2unsat0.948unsat5.128unsat0.997unsat0.508unsat0.289
zero_sum_m3.smt2unsat2.762unsat5.917unsat4.338unsat0.738unsat0.320
zero_sum_m4.smt2unsat7.323unsat5.787unsat8.376unsat1.175unsat0.264
zero_sum_m5.smt2unsat24.706unsat5.566unsat28.534unsat2.310unsat0.428