examples/reduced_regtests.list

   1 binary_sort
   2 conjugate
   3 # counting_sort # randomly fail with Z3
   4 dfs
   5 finite_tarski
   6 insertion_sort
   7 # kmp # randomly fail with z3 4.8.4
   8 leftist_heap
   9 # mergesort_array # fail with Alt-Ergo 2.3.0
  10 pairing_heap
  11 # rightmostbittrick # randomly fail with CVC4 1.5
  12 # sieve # fail with Alt-Ergo 2.3.0
  13 # sudoku # some goals are too long for the continuous integration
  14 toy_compiler
  15 # tree_of_list # uses Alt-Ergo 2.2.0 and CVC4 1.6
  16 vstte10_max_sum
  17 # warshall_algorithm # fail with Alt-Ergo 2.3.0
  18 zeros