From 8e6b33ea5c2941b4ab15a2283f7346feebabb1e4 Mon Sep 17 00:00:00 2001
From: Nicolas Marsic <marsic@temf.tu-darmstadt.de>
Date: Tue, 30 May 2017 12:23:24 +0200
Subject: [PATCH] display problem size

---
 bin/beyn.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/beyn.py b/bin/beyn.py
index 3c6a9aa..208f20c 100644
--- a/bin/beyn.py
+++ b/bin/beyn.py
@@ -42,7 +42,7 @@ def simple(operator, origin, radius,
     k    = -1
 
     # Search A0
-    if(verbose): print "Searching A0 and A1..."
+    if(verbose): print "Searching A0 and A1 (" + str(m) + " unkowns)..."
     while(not hasK and it != maxIt):
         if(verbose): print " # Iteration " + str(it+1) + ": ",
         if(verbose): sys.stdout.flush()
-- 
GitLab