From 1ba2e4f4e13771a27be678bb10812ce1077174be Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 4 Dec 2013 17:26:56 -0500
Subject: [PATCH] Remove a regression for which the portfolio takes forever
 (see bug 542).

---
 test/regress/regress0/arith/Makefile.am | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/regress/regress0/arith/Makefile.am b/test/regress/regress0/arith/Makefile.am
index ce6083363..d516e3d69 100644
--- a/test/regress/regress0/arith/Makefile.am
+++ b/test/regress/regress0/arith/Makefile.am
@@ -45,8 +45,8 @@ TESTS =	\
 	miplib2.cvc \
 	miplib3.cvc \
 	miplib4.cvc \
-	miplibtrick.smt \
-	prp-13-24.smt2
+	miplibtrick.smt
+#	prp-13-24.smt2
 #	problem__003.smt2
 
 EXTRA_DIST = $(TESTS) \
-- 
2.30.2