https://github.com/Gecode/gecode/commit/6b7469d28d93e290fa4b7b4a28a3538a4292d631
Index: gecode-6.1.0/Makefile.in
===================================================================
--- gecode-6.1.0.orig/Makefile.in	2019-01-12 22:49:54.235788477 +0200
+++ gecode-6.1.0/Makefile.in	2019-01-12 22:51:48.592197508 +0200
@@ -1278,11 +1278,7 @@
 			   -test Int::Linear::Bool::Int::Lq \
 			   -test Int::MiniModel::LinExpr::Bool::352  \
 			   -test NoGoods::Queens \
-			   -test Search::BAB::Sol::BalGr::Binary \
-			   -test Search::DFS::Sol::Binary::Nary::Binary \
-			   -test Search::PBS::SEB::DFS+LDS \
-			   -test Search::RBS::BAB \
-			   -test Search::RBS::DFS \
+			   -test Search::DFS::Sol::Binary::Nary::Binary::1::1::1 \
 			   -test Set::Dom::Dom::Gr \
 			   -test Set::RelOp::ConstSSI::Union \
 			   -test Set::Sequence::SeqU1 \
