binary_sort
conjugate
# counting_sort # randomly fail with Z3
dfs
finite_tarski
insertion_sort
# kmp # randomly fail with z3 4.8.4
leftist_heap
# mergesort_array # fail with Alt-Ergo 2.3.0
pairing_heap
# rightmostbittrick # randomly fail with CVC4 1.5
# sieve # fail with Alt-Ergo 2.3.0
# sudoku # some goals are too long for the continuous integration
toy_compiler
# tree_of_list # uses Alt-Ergo 2.2.0 and CVC4 1.6
vstte10_max_sum
# warshall_algorithm # fail with Alt-Ergo 2.3.0
zeros
