From a8691bbd55722867706d8c012e1885949430ba89 Mon Sep 17 00:00:00 2001 From: Stephen McQuay Date: Wed, 31 Oct 2012 22:43:59 -0700 Subject: [PATCH] added large unsolvable --- samples/large_unsolvable.txt | 240 +++++++++++++++++++++++++++++++++++ 1 file changed, 240 insertions(+) create mode 100644 samples/large_unsolvable.txt diff --git a/samples/large_unsolvable.txt b/samples/large_unsolvable.txt new file mode 100644 index 0000000..64c9d1a --- /dev/null +++ b/samples/large_unsolvable.txt @@ -0,0 +1,240 @@ +1 1 1 0 0 1 1 0 1 1 1 1 0 1 0 +1 1 1 1 0 1 0 1 1 1 0 1 1 0 0 +1 0 1 0 1 0 1 1 1 1 0 1 1 1 1 +0 0 1 0 1 0 1 1 1 0 1 1 0 1 0 +0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 +1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 +1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 +1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 +0 1 1 0 1 0 0 0 0 1 0 1 0 1 1 +1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 +1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 +0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 +0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 +1 1 0 1 1 1 1 1 0 1 1 0 1 0 0 +0 1 0 1 1 1 1 1 1 1 0 0 1 0 0 + +0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 +1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 +1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 +0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 +1 1 0 1 0 0 1 0 0 1 1 1 1 0 0 +1 1 1 0 1 1 0 1 0 0 0 1 0 0 1 +0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 +0 1 1 0 0 1 0 1 1 1 0 1 1 1 0 +0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 +0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 +1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 +1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 +1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 +1 0 1 0 1 0 0 1 1 0 1 0 1 1 1 +0 1 0 0 1 0 1 0 0 1 1 1 1 1 1 + +1 0 0 1 0 1 1 1 1 1 0 1 0 0 1 +1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 +1 1 0 0 1 1 1 1 0 1 0 1 1 1 1 +0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 +1 1 0 0 0 1 1 1 0 1 0 1 0 0 1 +0 0 0 1 1 1 0 1 0 1 1 1 1 0 1 +0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 +1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 +1 1 0 0 1 1 1 1 0 0 1 0 1 1 0 +0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 +0 0 1 1 0 1 0 0 1 1 1 0 1 1 1 +0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 +0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 +1 1 1 1 1 0 1 1 1 0 1 0 1 0 0 +0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 + +0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 +1 0 1 1 0 1 1 1 1 0 1 0 1 1 0 +1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 +0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 +1 0 0 1 0 0 1 1 1 0 1 0 0 0 0 +1 1 1 1 0 0 1 0 0 1 1 1 0 1 0 +1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 +0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 +1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 +0 1 1 1 0 0 1 1 0 0 0 0 1 1 1 +0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 +1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 +0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 +0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 +1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 + +1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 +0 1 1 1 1 1 1 0 1 0 0 0 1 0 1 +0 1 0 0 1 0 0 0 1 1 1 1 0 1 1 +1 0 0 0 1 0 1 1 0 1 1 1 0 1 0 +1 1 1 0 1 1 0 0 0 1 0 0 0 0 1 +0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 +0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 +1 0 1 1 1 0 0 0 1 1 0 1 1 1 1 +0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 +1 1 1 0 1 0 1 1 0 0 0 0 1 0 0 +1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 +0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 +0 1 1 0 0 0 1 1 1 0 0 0 0 1 0 +1 1 0 0 0 1 1 1 1 0 1 1 0 0 0 +0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 + +1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 +0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 +0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 +1 0 0 0 1 1 1 1 1 1 1 0 1 0 1 +0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 +0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 +0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 +0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 +1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 +0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 +1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 +0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 +1 1 1 1 0 1 1 0 0 1 0 0 1 0 1 +0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 +0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 + +0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 +1 1 0 0 1 0 0 0 1 1 1 1 1 1 1 +1 1 0 0 1 0 0 1 1 1 0 1 1 0 1 +0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 +1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 +0 0 1 0 1 1 1 1 1 1 0 1 1 0 1 +1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 +0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 +1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 +1 1 0 1 0 1 0 1 1 1 0 1 0 0 1 +0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 +0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 +0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 +0 0 0 1 0 1 0 1 1 1 0 0 0 1 0 +0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 + +1 0 1 1 0 0 1 1 1 1 0 1 1 1 1 +1 0 1 1 1 0 1 0 0 1 1 0 0 0 1 +0 1 1 1 0 1 1 0 1 0 0 0 1 1 1 +0 0 0 0 1 0 1 1 1 0 1 1 1 0 1 +0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 +1 0 1 1 1 0 1 1 0 0 1 0 1 1 0 +1 1 0 1 1 1 0 0 0 1 0 1 1 0 1 +0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 +1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 +0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 +1 0 0 0 1 1 1 1 0 1 1 0 1 1 0 +1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 +0 0 1 0 1 1 1 1 1 0 1 1 1 0 0 +0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 +1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 + +0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 +0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 +0 0 1 0 0 0 0 1 1 1 0 1 1 1 1 +0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 +1 0 1 1 1 1 0 0 0 0 1 1 0 1 1 +0 0 1 1 0 0 1 0 1 1 1 1 0 1 0 +0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 +1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 +1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 +0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 +1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 +1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 +0 1 1 1 1 0 0 1 1 0 0 0 0 1 0 +0 1 0 1 0 0 1 0 1 1 1 1 0 1 0 +0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 + +0 1 1 0 1 0 1 1 1 0 1 1 0 0 1 +0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 +0 1 1 0 1 1 0 0 1 0 0 0 1 1 1 +0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 +1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 +0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 +1 1 0 0 0 1 1 0 1 1 1 1 0 0 0 +0 1 0 0 0 1 1 1 0 1 1 1 1 0 0 +1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 +0 1 0 0 1 0 1 1 1 1 1 0 0 0 1 +1 0 0 1 1 1 1 0 1 0 0 0 1 1 1 +0 0 0 1 0 1 1 0 1 1 1 1 1 0 1 +1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 +0 1 1 1 0 1 0 0 1 0 1 1 1 1 0 +1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 + +1 0 1 1 1 0 1 1 0 0 0 1 1 1 0 +0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 +1 0 0 1 0 0 1 0 0 1 1 1 1 0 1 +0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 +1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 +0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 +1 1 1 0 1 0 0 1 0 1 0 0 0 0 1 +0 0 1 0 0 0 1 1 1 1 0 0 1 1 0 +1 1 1 1 1 1 0 1 0 0 1 1 1 0 1 +0 1 0 0 1 0 1 1 1 0 1 0 0 0 1 +0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 +0 1 0 0 1 1 1 1 1 1 1 0 1 1 1 +1 1 0 0 0 1 0 0 1 0 1 0 0 1 0 +0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 +0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 + +1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 +1 0 1 0 0 0 0 1 1 0 1 1 1 0 1 +1 0 1 1 1 0 1 1 0 0 1 1 0 0 0 +1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 +0 1 1 1 0 1 0 0 0 0 1 0 1 1 0 +1 0 0 0 1 0 1 0 0 1 1 1 0 0 1 +1 0 0 0 0 0 0 1 0 1 1 0 1 1 1 +0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 +0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 +1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 +0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 +1 1 0 1 0 0 0 1 1 0 0 1 0 1 0 +0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 +1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 +0 1 1 0 1 1 1 0 0 0 1 0 0 1 0 + +1 0 0 0 1 1 1 1 1 0 1 1 1 1 0 +1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 +0 1 1 0 1 0 1 1 1 0 0 0 1 1 0 +1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 +1 1 1 0 0 1 1 0 1 1 0 0 0 1 1 +1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 +0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 +0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 +1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 +1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 +1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 +1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 +1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 +0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 +0 1 0 1 1 0 0 1 0 1 1 1 1 0 0 + +1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 +0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 +0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 +1 0 1 1 1 1 1 0 1 0 1 1 0 0 0 +1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 +1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 +1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 +1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 +1 1 1 1 1 0 1 0 1 1 0 0 1 1 0 +0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 +1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 +0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 +1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 +0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 +0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 + +1 0 0 1 1 0 0 1 0 1 1 0 1 1 1 +1 1 1 0 1 1 1 0 1 0 1 0 1 1 0 +0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 +1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 +1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 +1 0 0 0 1 1 0 0 0 1 0 1 1 1 0 +1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 +0 1 1 1 1 1 0 1 0 1 1 0 1 0 1 +1 0 0 1 0 0 1 0 1 0 0 0 1 1 0 +1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 +1 0 1 0 0 0 0 1 1 0 0 0 1 1 1 +1 1 1 1 1 0 0 1 1 0 1 0 0 1 1 +0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 +0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 +1 1 0 0 0 0 0 1 1 1 1 1 0 1 1 +