From c7605d03a32b6ef1a64ca5c7f9647ba092183eaf Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 1 Mar 2006 08:36:09 +0000
Subject: [PATCH] - Added problem.

---
 test/open-problems.txt | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 test/open-problems.txt

diff --git a/test/open-problems.txt b/test/open-problems.txt
new file mode 100644
index 0000000..b13ebad
--- /dev/null
+++ b/test/open-problems.txt
@@ -0,0 +1,3 @@
+- What is the protocol claim with the least states, where the states
+  differ between warshall-old and the new warshall? Investigate the
+  proof there.