Added the best known networks for 13 and 16 inputs.

diff --git a/data/13i-10s-45c-0.sn b/data/13i-10s-45c-0.sn
new file mode 100644 (file)
index 0000000..6887722
--- /dev/null
+++ b/data/13i-10s-45c-0.sn
@@ -0,0 +1,57 @@
+Inputs: 13
+
+0 12
+1 7
+2 6
+3 4
+5 8
+9 11
+
+0 1
+2 3
+4 6
+5 9
+7 12
+8 11
+
+0 2
+1 4
+3 7
+6 12
+10 11
+
+4 9
+6 10
+7 8
+11 12
+
+1 7
+3 4
+5 6
+8 9
+10 11
+
+0 5
+1 3
+2 6
+4 7
+8 10
+9 11
+
+2 5
+6 8
+9 10
+
+1 2
+3 5
+4 6
+7 8
+
+2 3
+4 5
+6 7
+8 9
+
+3 4
+5 6
+

diff --git a/data/13i-10s-45c-1.sn b/data/13i-10s-45c-1.sn
new file mode 100644 (file)
index 0000000..b07de49
--- /dev/null
+++ b/data/13i-10s-45c-1.sn
@@ -0,0 +1,57 @@
+Inputs: 13
+
+0 5
+1 6
+2 11
+4 10
+7 12
+8 9
+
+0 4
+1 2
+5 10
+6 11
+7 8
+9 12
+
+0 7
+3 11
+4 9
+5 8
+10 12
+
+2 9
+3 10
+6 8
+11 12
+
+1 3
+2 5
+4 6
+8 10
+9 11
+
+0 1
+3 7
+8 9
+10 11
+
+1 2
+3 4
+5 8
+6 7
+9 10
+
+1 3
+2 4
+5 6
+7 8
+
+2 3
+4 5
+6 7
+8 9
+
+3 4
+5 6
+

diff --git a/data/16i-10s-60c-0.sn b/data/16i-10s-60c-0.sn
new file mode 100644 (file)
index 0000000..6195fca
--- /dev/null
+++ b/data/16i-10s-60c-0.sn
@@ -0,0 +1,73 @@
+Inputs: 16
+Comment: Green's contruction
+
+0 1
+2 3
+4 5
+6 7
+8 9
+10 11
+12 13
+14 15
+
+0 2
+1 3
+4 6
+5 7
+8 10
+9 11
+12 14
+13 15
+
+0 4
+1 5
+2 6
+3 7
+8 12
+9 13
+10 14
+11 15
+
+0 8
+1 9
+2 10
+3 11
+4 12
+5 13
+6 14
+7 15
+
+1 2
+3 12
+4 8
+5 10
+6 9
+7 11
+13 14
+
+1 4
+2 8
+7 13
+11 14
+
+2 4
+3 8
+5 6
+7 12
+9 10
+11 13
+
+3 5
+6 8
+7 9
+10 12
+
+3 4
+5 6
+7 8
+9 10
+11 12
+
+6 7
+8 9
+