reduced_regtests.list 335 Bytes
Newer Older
1
binary_sort
2
conjugate
3
# counting_sort # randomly fail with Z3
4
dfs
5 6 7
finite_tarski
insertion_sort
kmp
8 9
leftist_heap
mergesort_array
10
pairing_heap
11 12
rightmostbittrick
sieve
13 14 15
# 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
16 17
vstte10_max_sum
warshall_algorithm
18
zeros