diff --git a/models/random_nk2/n5_0.bnet b/models/random_nk2/n5_0.bnet
new file mode 100644
index 00000000..2ed293b8
--- /dev/null
+++ b/models/random_nk2/n5_0.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & n0) | (n3 & !n0) | (n3 & n0)
+n1, (!n3 & n2) | (n3 & !n2) | (n3 & n2)
+n2, (!n0 & n3) | (n0 & !n3)
+n3, (!n1 & !n3) | (n1 & !n3)
+n4, (!n1 & !n4)
diff --git a/models/random_nk2/n5_1.bnet b/models/random_nk2/n5_1.bnet
new file mode 100644
index 00000000..dd4377ff
--- /dev/null
+++ b/models/random_nk2/n5_1.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n0) | (n1 & n0)
+n1, (!n2 & !n1) | (!n2 & n1) | (n2 & n1)
+n2, (n2 & n0)
+n3, true
+n4, (!n0 & n2) | (n0 & !n2)
diff --git a/models/random_nk2/n5_10.bnet b/models/random_nk2/n5_10.bnet
new file mode 100644
index 00000000..cc71aa37
--- /dev/null
+++ b/models/random_nk2/n5_10.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n1)
+n1, false
+n2, (!n3 & !n1) | (n3 & n1)
+n3, false
+n4, (!n4 & n2) | (n4 & !n2)
diff --git a/models/random_nk2/n5_11.bnet b/models/random_nk2/n5_11.bnet
new file mode 100644
index 00000000..2381de28
--- /dev/null
+++ b/models/random_nk2/n5_11.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n4 & n2)
+n1, (!n3 & n2) | (n3 & n2)
+n2, false
+n3, (!n4 & !n0) | (n4 & !n0) | (n4 & n0)
+n4, (n2 & n1)
diff --git a/models/random_nk2/n5_12.bnet b/models/random_nk2/n5_12.bnet
new file mode 100644
index 00000000..26752ebb
--- /dev/null
+++ b/models/random_nk2/n5_12.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n0) | (!n4 & n0) | (n4 & n0)
+n1, (!n3 & !n2) | (n3 & !n2) | (n3 & n2)
+n2, (!n0 & n4) | (n0 & !n4)
+n3, (!n3 & !n4) | (!n3 & n4) | (n3 & n4)
+n4, true
diff --git a/models/random_nk2/n5_13.bnet b/models/random_nk2/n5_13.bnet
new file mode 100644
index 00000000..9273ca39
--- /dev/null
+++ b/models/random_nk2/n5_13.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n0) | (n1 & !n0) | (n1 & n0)
+n1, false
+n2, (!n0 & !n3) | (!n0 & n3)
+n3, true
+n4, (!n3 & !n4) | (n3 & n4)
diff --git a/models/random_nk2/n5_14.bnet b/models/random_nk2/n5_14.bnet
new file mode 100644
index 00000000..bfdbcf1f
--- /dev/null
+++ b/models/random_nk2/n5_14.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n3 & n1)
+n1, (!n2 & !n3) | (!n2 & n3) | (n2 & !n3)
+n2, (n3 & n0)
+n3, (!n3 & !n0) | (n3 & !n0) | (n3 & n0)
+n4, (!n0 & n4) | (n0 & !n4)
diff --git a/models/random_nk2/n5_15.bnet b/models/random_nk2/n5_15.bnet
new file mode 100644
index 00000000..4f8e560a
--- /dev/null
+++ b/models/random_nk2/n5_15.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, true
+n1, (n2 & !n0)
+n2, (!n4 & n2)
+n3, (!n4 & !n2) | (!n4 & n2) | (n4 & !n2)
+n4, (!n0 & n3)
diff --git a/models/random_nk2/n5_16.bnet b/models/random_nk2/n5_16.bnet
new file mode 100644
index 00000000..19d34888
--- /dev/null
+++ b/models/random_nk2/n5_16.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n3 & n4)
+n1, (n2 & !n4) | (n2 & n4)
+n2, true
+n3, (n0 & n4)
+n4, false
diff --git a/models/random_nk2/n5_17.bnet b/models/random_nk2/n5_17.bnet
new file mode 100644
index 00000000..79b85027
--- /dev/null
+++ b/models/random_nk2/n5_17.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n2) | (n1 & n2)
+n1, true
+n2, (n3 & n0)
+n3, (!n2 & !n3) | (!n2 & n3) | (n2 & !n3)
+n4, (!n0 & n3) | (n0 & n3)
diff --git a/models/random_nk2/n5_18.bnet b/models/random_nk2/n5_18.bnet
new file mode 100644
index 00000000..c6572b55
--- /dev/null
+++ b/models/random_nk2/n5_18.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n3 & !n4) | (n3 & n4)
+n1, false
+n2, (!n2 & !n3) | (n2 & !n3) | (n2 & n3)
+n3, (!n3 & !n0) | (!n3 & n0) | (n3 & !n0)
+n4, (!n3 & !n2)
diff --git a/models/random_nk2/n5_19.bnet b/models/random_nk2/n5_19.bnet
new file mode 100644
index 00000000..21c78aa7
--- /dev/null
+++ b/models/random_nk2/n5_19.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & n3) | (n0 & !n3) | (n0 & n3)
+n1, (n2 & n3)
+n2, (!n3 & !n2) | (n3 & n2)
+n3, (n0 & n2)
+n4, (!n4 & !n2)
diff --git a/models/random_nk2/n5_2.bnet b/models/random_nk2/n5_2.bnet
new file mode 100644
index 00000000..367d1c7f
--- /dev/null
+++ b/models/random_nk2/n5_2.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & n1)
+n1, (n2 & !n0) | (n2 & n0)
+n2, (!n2 & !n1) | (n2 & !n1) | (n2 & n1)
+n3, (n1 & !n4)
+n4, (!n4 & n2) | (n4 & !n2)
diff --git a/models/random_nk2/n5_20.bnet b/models/random_nk2/n5_20.bnet
new file mode 100644
index 00000000..593356f7
--- /dev/null
+++ b/models/random_nk2/n5_20.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n4) | (n1 & n4)
+n1, false
+n2, true
+n3, (n3 & n4)
+n4, (n4 & !n2) | (n4 & n2)
diff --git a/models/random_nk2/n5_21.bnet b/models/random_nk2/n5_21.bnet
new file mode 100644
index 00000000..d4a401dc
--- /dev/null
+++ b/models/random_nk2/n5_21.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n0) | (n3 & !n0)
+n1, (!n2 & !n3) | (n2 & n3)
+n2, (n1 & n0)
+n3, (n1 & n3)
+n4, (n0 & n2)
diff --git a/models/random_nk2/n5_22.bnet b/models/random_nk2/n5_22.bnet
new file mode 100644
index 00000000..acfd9ad2
--- /dev/null
+++ b/models/random_nk2/n5_22.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n0 & n1)
+n1, (!n3 & !n2) | (!n3 & n2) | (n3 & !n2)
+n2, (n4 & n2)
+n3, false
+n4, (!n2 & !n3) | (!n2 & n3) | (n2 & !n3)
diff --git a/models/random_nk2/n5_23.bnet b/models/random_nk2/n5_23.bnet
new file mode 100644
index 00000000..e0e6438d
--- /dev/null
+++ b/models/random_nk2/n5_23.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & n3) | (n4 & !n3)
+n1, (!n0 & !n1)
+n2, (!n4 & !n3) | (!n4 & n3) | (n4 & !n3)
+n3, (!n3 & n1) | (n3 & !n1)
+n4, (!n4 & n2)
diff --git a/models/random_nk2/n5_24.bnet b/models/random_nk2/n5_24.bnet
new file mode 100644
index 00000000..19f4891b
--- /dev/null
+++ b/models/random_nk2/n5_24.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n2) | (n0 & !n2) | (n0 & n2)
+n1, (!n0 & n2) | (n0 & !n2) | (n0 & n2)
+n2, (!n3 & !n4)
+n3, (n0 & n4)
+n4, (!n3 & n1) | (n3 & !n1)
diff --git a/models/random_nk2/n5_25.bnet b/models/random_nk2/n5_25.bnet
new file mode 100644
index 00000000..472feab8
--- /dev/null
+++ b/models/random_nk2/n5_25.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & n2) | (n0 & !n2)
+n1, (n4 & n2)
+n2, (!n4 & !n1) | (n4 & !n1) | (n4 & n1)
+n3, (!n2 & !n4) | (!n2 & n4) | (n2 & n4)
+n4, (!n4 & !n1)
diff --git a/models/random_nk2/n5_26.bnet b/models/random_nk2/n5_26.bnet
new file mode 100644
index 00000000..159879f3
--- /dev/null
+++ b/models/random_nk2/n5_26.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, true
+n2, true
+n3, (!n3 & !n2) | (!n3 & n2) | (n3 & n2)
+n4, (n2 & n0)
diff --git a/models/random_nk2/n5_27.bnet b/models/random_nk2/n5_27.bnet
new file mode 100644
index 00000000..538d64b2
--- /dev/null
+++ b/models/random_nk2/n5_27.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n4) | (!n0 & n4) | (n0 & n4)
+n1, (!n3 & !n1)
+n2, true
+n3, (!n3 & n2) | (n3 & n2)
+n4, (n3 & n0)
diff --git a/models/random_nk2/n5_28.bnet b/models/random_nk2/n5_28.bnet
new file mode 100644
index 00000000..517e7393
--- /dev/null
+++ b/models/random_nk2/n5_28.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & n4) | (n3 & !n4) | (n3 & n4)
+n1, (n4 & !n0)
+n2, true
+n3, (!n3 & n0) | (n3 & !n0)
+n4, (!n1 & !n2) | (!n1 & n2) | (n1 & n2)
diff --git a/models/random_nk2/n5_29.bnet b/models/random_nk2/n5_29.bnet
new file mode 100644
index 00000000..69dfa890
--- /dev/null
+++ b/models/random_nk2/n5_29.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & n1)
+n1, (!n2 & !n4) | (n2 & n4)
+n2, (!n0 & !n4)
+n3, (!n2 & !n3) | (n2 & !n3) | (n2 & n3)
+n4, (!n2 & !n0) | (n2 & n0)
diff --git a/models/random_nk2/n5_3.bnet b/models/random_nk2/n5_3.bnet
new file mode 100644
index 00000000..a19d142e
--- /dev/null
+++ b/models/random_nk2/n5_3.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n4) | (n3 & !n4) | (n3 & n4)
+n1, (!n4 & !n0) | (!n4 & n0) | (n4 & !n0)
+n2, (!n2 & n0)
+n3, (!n0 & n1) | (n0 & !n1)
+n4, (!n1 & !n0) | (n1 & n0)
diff --git a/models/random_nk2/n5_30.bnet b/models/random_nk2/n5_30.bnet
new file mode 100644
index 00000000..1401497f
--- /dev/null
+++ b/models/random_nk2/n5_30.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n1)
+n1, (!n2 & !n3) | (!n2 & n3) | (n2 & !n3)
+n2, (!n2 & !n4) | (n2 & !n4)
+n3, (n4 & !n1) | (n4 & n1)
+n4, (!n4 & n1) | (n4 & !n1) | (n4 & n1)
diff --git a/models/random_nk2/n5_31.bnet b/models/random_nk2/n5_31.bnet
new file mode 100644
index 00000000..9082ca43
--- /dev/null
+++ b/models/random_nk2/n5_31.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & n2) | (n4 & n2)
+n1, (!n4 & !n3) | (!n4 & n3)
+n2, (n3 & n4)
+n3, (!n3 & !n1)
+n4, (!n2 & n3) | (n2 & !n3)
diff --git a/models/random_nk2/n5_32.bnet b/models/random_nk2/n5_32.bnet
new file mode 100644
index 00000000..79efbdb4
--- /dev/null
+++ b/models/random_nk2/n5_32.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n1) | (n3 & !n1) | (n3 & n1)
+n1, (!n0 & n3)
+n2, (n0 & n1)
+n3, (n4 & !n2) | (n4 & n2)
+n4, (!n3 & n0)
diff --git a/models/random_nk2/n5_33.bnet b/models/random_nk2/n5_33.bnet
new file mode 100644
index 00000000..a7f95408
--- /dev/null
+++ b/models/random_nk2/n5_33.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, true
+n1, (!n1 & !n4) | (!n1 & n4) | (n1 & !n4)
+n2, (n4 & !n0)
+n3, (n4 & n2)
+n4, (!n4 & n2)
diff --git a/models/random_nk2/n5_34.bnet b/models/random_nk2/n5_34.bnet
new file mode 100644
index 00000000..3f90181f
--- /dev/null
+++ b/models/random_nk2/n5_34.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n3) | (n1 & !n3)
+n1, (!n2 & n1)
+n2, (!n0 & n2) | (n0 & !n2)
+n3, false
+n4, (!n4 & n3)
diff --git a/models/random_nk2/n5_35.bnet b/models/random_nk2/n5_35.bnet
new file mode 100644
index 00000000..e2bfc799
--- /dev/null
+++ b/models/random_nk2/n5_35.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & n1)
+n1, (!n0 & n1) | (n0 & !n1)
+n2, (n1 & n2)
+n3, (n0 & n3)
+n4, false
diff --git a/models/random_nk2/n5_36.bnet b/models/random_nk2/n5_36.bnet
new file mode 100644
index 00000000..c380e930
--- /dev/null
+++ b/models/random_nk2/n5_36.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, true
+n1, (n3 & n2)
+n2, (!n0 & n1) | (n0 & !n1)
+n3, (!n1 & !n2) | (!n1 & n2) | (n1 & n2)
+n4, false
diff --git a/models/random_nk2/n5_37.bnet b/models/random_nk2/n5_37.bnet
new file mode 100644
index 00000000..eeade924
--- /dev/null
+++ b/models/random_nk2/n5_37.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n2) | (!n1 & n2) | (n1 & n2)
+n1, (n2 & !n1) | (n2 & n1)
+n2, true
+n3, false
+n4, (!n0 & n2)
diff --git a/models/random_nk2/n5_38.bnet b/models/random_nk2/n5_38.bnet
new file mode 100644
index 00000000..53ab13cb
--- /dev/null
+++ b/models/random_nk2/n5_38.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n3) | (n1 & !n3)
+n1, (!n0 & n4) | (n0 & !n4) | (n0 & n4)
+n2, (!n2 & !n0)
+n3, (!n0 & !n1) | (!n0 & n1) | (n0 & !n1)
+n4, (!n3 & !n1) | (n3 & !n1)
diff --git a/models/random_nk2/n5_39.bnet b/models/random_nk2/n5_39.bnet
new file mode 100644
index 00000000..120c34f2
--- /dev/null
+++ b/models/random_nk2/n5_39.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n4) | (n2 & !n4)
+n1, false
+n2, (!n1 & !n4) | (!n1 & n4)
+n3, (n3 & !n0) | (n3 & n0)
+n4, (n0 & !n1)
diff --git a/models/random_nk2/n5_4.bnet b/models/random_nk2/n5_4.bnet
new file mode 100644
index 00000000..4c19cbfd
--- /dev/null
+++ b/models/random_nk2/n5_4.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n3) | (n1 & n3)
+n1, (!n1 & n3) | (n1 & n3)
+n2, (!n1 & !n2) | (n1 & !n2) | (n1 & n2)
+n3, (!n4 & n3) | (n4 & !n3) | (n4 & n3)
+n4, (!n0 & !n4) | (!n0 & n4)
diff --git a/models/random_nk2/n5_40.bnet b/models/random_nk2/n5_40.bnet
new file mode 100644
index 00000000..f69aa46e
--- /dev/null
+++ b/models/random_nk2/n5_40.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n0) | (n3 & !n0) | (n3 & n0)
+n1, true
+n2, (!n4 & !n3) | (n4 & !n3) | (n4 & n3)
+n3, true
+n4, (!n1 & n3)
diff --git a/models/random_nk2/n5_41.bnet b/models/random_nk2/n5_41.bnet
new file mode 100644
index 00000000..1a0e07a7
--- /dev/null
+++ b/models/random_nk2/n5_41.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & n0) | (n3 & !n0) | (n3 & n0)
+n1, (!n3 & n0)
+n2, (!n4 & !n3) | (!n4 & n3) | (n4 & !n3)
+n3, (!n0 & n3) | (n0 & !n3) | (n0 & n3)
+n4, (!n4 & n1) | (n4 & !n1) | (n4 & n1)
diff --git a/models/random_nk2/n5_42.bnet b/models/random_nk2/n5_42.bnet
new file mode 100644
index 00000000..6941e8b9
--- /dev/null
+++ b/models/random_nk2/n5_42.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n4) | (n1 & n4)
+n1, (!n2 & !n1)
+n2, (!n2 & !n3) | (!n2 & n3) | (n2 & n3)
+n3, (!n2 & !n0) | (n2 & !n0) | (n2 & n0)
+n4, (!n3 & !n4)
diff --git a/models/random_nk2/n5_43.bnet b/models/random_nk2/n5_43.bnet
new file mode 100644
index 00000000..281ba768
--- /dev/null
+++ b/models/random_nk2/n5_43.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, (n3 & !n4) | (n3 & n4)
+n2, (!n2 & !n4) | (n2 & !n4) | (n2 & n4)
+n3, (!n0 & n1)
+n4, (!n3 & !n2) | (n3 & n2)
diff --git a/models/random_nk2/n5_44.bnet b/models/random_nk2/n5_44.bnet
new file mode 100644
index 00000000..be99b978
--- /dev/null
+++ b/models/random_nk2/n5_44.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n4)
+n1, (!n0 & !n1) | (!n0 & n1) | (n0 & n1)
+n2, (!n4 & n2)
+n3, (!n0 & !n1) | (n0 & !n1) | (n0 & n1)
+n4, (!n2 & !n1) | (n2 & !n1) | (n2 & n1)
diff --git a/models/random_nk2/n5_45.bnet b/models/random_nk2/n5_45.bnet
new file mode 100644
index 00000000..68cb5bd2
--- /dev/null
+++ b/models/random_nk2/n5_45.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & n1) | (n3 & !n1)
+n1, false
+n2, (!n3 & !n1) | (!n3 & n1) | (n3 & n1)
+n3, (!n0 & !n3) | (n0 & !n3)
+n4, (n4 & n1)
diff --git a/models/random_nk2/n5_46.bnet b/models/random_nk2/n5_46.bnet
new file mode 100644
index 00000000..5c2b4e14
--- /dev/null
+++ b/models/random_nk2/n5_46.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & n0)
+n1, (!n0 & n4)
+n2, (!n0 & !n1) | (n0 & !n1)
+n3, (!n2 & !n0) | (n2 & n0)
+n4, (n3 & !n1) | (n3 & n1)
diff --git a/models/random_nk2/n5_47.bnet b/models/random_nk2/n5_47.bnet
new file mode 100644
index 00000000..bf889fd3
--- /dev/null
+++ b/models/random_nk2/n5_47.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n2) | (n3 & !n2) | (n3 & n2)
+n1, (!n2 & !n1) | (!n2 & n1)
+n2, (!n1 & !n0) | (n1 & !n0)
+n3, (!n0 & !n3) | (n0 & n3)
+n4, (!n0 & n2) | (n0 & n2)
diff --git a/models/random_nk2/n5_48.bnet b/models/random_nk2/n5_48.bnet
new file mode 100644
index 00000000..07da3ddf
--- /dev/null
+++ b/models/random_nk2/n5_48.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & n4)
+n1, (n0 & !n2)
+n2, (!n4 & n3) | (n4 & !n3)
+n3, (n1 & !n4)
+n4, (!n1 & !n3) | (n1 & !n3) | (n1 & n3)
diff --git a/models/random_nk2/n5_49.bnet b/models/random_nk2/n5_49.bnet
new file mode 100644
index 00000000..3ab02f32
--- /dev/null
+++ b/models/random_nk2/n5_49.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n3)
+n1, (!n4 & !n1) | (!n4 & n1) | (n4 & !n1)
+n2, (!n4 & !n1) | (!n4 & n1) | (n4 & !n1)
+n3, (!n4 & !n1)
+n4, (!n3 & n2) | (n3 & n2)
diff --git a/models/random_nk2/n5_5.bnet b/models/random_nk2/n5_5.bnet
new file mode 100644
index 00000000..1868b341
--- /dev/null
+++ b/models/random_nk2/n5_5.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n1) | (n4 & !n1) | (n4 & n1)
+n1, (!n0 & !n3) | (n0 & n3)
+n2, (!n3 & n1) | (n3 & !n1)
+n3, (!n4 & !n1) | (n4 & n1)
+n4, (!n3 & !n4) | (!n3 & n4) | (n3 & !n4)
diff --git a/models/random_nk2/n5_50.bnet b/models/random_nk2/n5_50.bnet
new file mode 100644
index 00000000..e160b5d6
--- /dev/null
+++ b/models/random_nk2/n5_50.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n3) | (!n1 & n3) | (n1 & n3)
+n1, true
+n2, (!n4 & !n0) | (!n4 & n0)
+n3, (!n0 & !n2) | (!n0 & n2) | (n0 & !n2)
+n4, false
diff --git a/models/random_nk2/n5_51.bnet b/models/random_nk2/n5_51.bnet
new file mode 100644
index 00000000..1bcdcc7d
--- /dev/null
+++ b/models/random_nk2/n5_51.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n0) | (n2 & n0)
+n1, (n2 & !n0)
+n2, (!n0 & n1) | (n0 & !n1)
+n3, (!n1 & !n4) | (n1 & n4)
+n4, (n3 & !n1) | (n3 & n1)
diff --git a/models/random_nk2/n5_52.bnet b/models/random_nk2/n5_52.bnet
new file mode 100644
index 00000000..56c29de1
--- /dev/null
+++ b/models/random_nk2/n5_52.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n2) | (n0 & n2)
+n1, (!n3 & !n0) | (n3 & !n0)
+n2, (!n0 & !n2) | (n0 & !n2)
+n3, true
+n4, (!n0 & !n3) | (n0 & !n3) | (n0 & n3)
diff --git a/models/random_nk2/n5_53.bnet b/models/random_nk2/n5_53.bnet
new file mode 100644
index 00000000..69bbf838
--- /dev/null
+++ b/models/random_nk2/n5_53.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n3) | (n1 & !n3)
+n1, (!n4 & n3) | (n4 & !n3) | (n4 & n3)
+n2, (n0 & n1)
+n3, (n0 & !n1) | (n0 & n1)
+n4, (!n0 & n3) | (n0 & n3)
diff --git a/models/random_nk2/n5_54.bnet b/models/random_nk2/n5_54.bnet
new file mode 100644
index 00000000..7a247a1d
--- /dev/null
+++ b/models/random_nk2/n5_54.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n3) | (!n2 & n3) | (n2 & n3)
+n1, (!n3 & !n4) | (!n3 & n4) | (n3 & !n4)
+n2, (!n2 & !n4) | (n2 & !n4)
+n3, (!n1 & !n3) | (n1 & !n3)
+n4, true
diff --git a/models/random_nk2/n5_55.bnet b/models/random_nk2/n5_55.bnet
new file mode 100644
index 00000000..aeec0e5e
--- /dev/null
+++ b/models/random_nk2/n5_55.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n0) | (n4 & !n0) | (n4 & n0)
+n1, (!n1 & n3) | (n1 & !n3)
+n2, (n2 & !n0)
+n3, (!n0 & n2) | (n0 & n2)
+n4, (!n1 & !n0) | (!n1 & n0)
diff --git a/models/random_nk2/n5_56.bnet b/models/random_nk2/n5_56.bnet
new file mode 100644
index 00000000..25a38c11
--- /dev/null
+++ b/models/random_nk2/n5_56.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n3) | (n1 & !n3)
+n1, (!n3 & n2) | (n3 & n2)
+n2, (n4 & !n3)
+n3, (!n1 & !n0) | (!n1 & n0) | (n1 & n0)
+n4, (!n2 & n4) | (n2 & !n4) | (n2 & n4)
diff --git a/models/random_nk2/n5_57.bnet b/models/random_nk2/n5_57.bnet
new file mode 100644
index 00000000..9f0de6ed
--- /dev/null
+++ b/models/random_nk2/n5_57.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n0 & !n2)
+n1, true
+n2, (!n2 & !n1) | (!n2 & n1)
+n3, (!n0 & !n3) | (n0 & !n3)
+n4, (!n1 & !n0) | (n1 & !n0)
diff --git a/models/random_nk2/n5_58.bnet b/models/random_nk2/n5_58.bnet
new file mode 100644
index 00000000..74115fb7
--- /dev/null
+++ b/models/random_nk2/n5_58.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, true
+n1, (!n2 & n1) | (n2 & !n1) | (n2 & n1)
+n2, (!n1 & !n3) | (!n1 & n3) | (n1 & n3)
+n3, (!n3 & n1) | (n3 & n1)
+n4, (!n4 & !n0) | (!n4 & n0)
diff --git a/models/random_nk2/n5_59.bnet b/models/random_nk2/n5_59.bnet
new file mode 100644
index 00000000..98ab6a1f
--- /dev/null
+++ b/models/random_nk2/n5_59.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n4) | (n2 & n4)
+n1, (!n0 & !n1) | (!n0 & n1) | (n0 & n1)
+n2, (!n0 & !n2) | (!n0 & n2) | (n0 & !n2)
+n3, (!n0 & !n3)
+n4, (!n4 & !n2)
diff --git a/models/random_nk2/n5_6.bnet b/models/random_nk2/n5_6.bnet
new file mode 100644
index 00000000..7ceb185f
--- /dev/null
+++ b/models/random_nk2/n5_6.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, (!n2 & !n0)
+n2, (!n1 & !n4) | (n1 & n4)
+n3, (!n3 & !n4) | (n3 & n4)
+n4, (n4 & !n1)
diff --git a/models/random_nk2/n5_60.bnet b/models/random_nk2/n5_60.bnet
new file mode 100644
index 00000000..2cbb849e
--- /dev/null
+++ b/models/random_nk2/n5_60.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n0) | (n4 & !n0)
+n1, false
+n2, (n4 & !n0) | (n4 & n0)
+n3, (!n3 & !n4) | (n3 & n4)
+n4, (!n0 & !n3) | (!n0 & n3) | (n0 & !n3)
diff --git a/models/random_nk2/n5_61.bnet b/models/random_nk2/n5_61.bnet
new file mode 100644
index 00000000..54339f2a
--- /dev/null
+++ b/models/random_nk2/n5_61.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n2) | (!n4 & n2)
+n1, (!n1 & !n4) | (n1 & !n4) | (n1 & n4)
+n2, (!n3 & n0)
+n3, (!n3 & !n4) | (!n3 & n4) | (n3 & n4)
+n4, (!n3 & n0) | (n3 & n0)
diff --git a/models/random_nk2/n5_62.bnet b/models/random_nk2/n5_62.bnet
new file mode 100644
index 00000000..42a14286
--- /dev/null
+++ b/models/random_nk2/n5_62.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, true
+n1, (!n2 & !n3) | (!n2 & n3)
+n2, (!n0 & n2) | (n0 & n2)
+n3, (!n3 & n2) | (n3 & n2)
+n4, (!n0 & !n2) | (n0 & n2)
diff --git a/models/random_nk2/n5_63.bnet b/models/random_nk2/n5_63.bnet
new file mode 100644
index 00000000..c0125bca
--- /dev/null
+++ b/models/random_nk2/n5_63.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n4)
+n1, (!n3 & !n2)
+n2, (n1 & n2)
+n3, (!n0 & n4) | (n0 & n4)
+n4, false
diff --git a/models/random_nk2/n5_64.bnet b/models/random_nk2/n5_64.bnet
new file mode 100644
index 00000000..6e0ef9ce
--- /dev/null
+++ b/models/random_nk2/n5_64.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n0 & !n3) | (n0 & n3)
+n1, true
+n2, (!n1 & !n4) | (n1 & n4)
+n3, (!n1 & n0) | (n1 & n0)
+n4, false
diff --git a/models/random_nk2/n5_65.bnet b/models/random_nk2/n5_65.bnet
new file mode 100644
index 00000000..97e1e4d1
--- /dev/null
+++ b/models/random_nk2/n5_65.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n0) | (n1 & !n0) | (n1 & n0)
+n1, (!n1 & !n4) | (!n1 & n4) | (n1 & !n4)
+n2, (!n0 & n4) | (n0 & !n4)
+n3, (n2 & n4)
+n4, (!n1 & !n3)
diff --git a/models/random_nk2/n5_66.bnet b/models/random_nk2/n5_66.bnet
new file mode 100644
index 00000000..7dc8e594
--- /dev/null
+++ b/models/random_nk2/n5_66.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n2) | (n4 & !n2) | (n4 & n2)
+n1, (!n2 & n4) | (n2 & !n4)
+n2, true
+n3, (!n1 & !n0) | (n1 & !n0)
+n4, (n4 & !n1)
diff --git a/models/random_nk2/n5_67.bnet b/models/random_nk2/n5_67.bnet
new file mode 100644
index 00000000..bf232dff
--- /dev/null
+++ b/models/random_nk2/n5_67.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n3) | (n2 & !n3) | (n2 & n3)
+n1, (n3 & !n1) | (n3 & n1)
+n2, (!n3 & !n2) | (!n3 & n2) | (n3 & !n2)
+n3, (!n0 & !n3) | (!n0 & n3)
+n4, (!n1 & !n0)
diff --git a/models/random_nk2/n5_68.bnet b/models/random_nk2/n5_68.bnet
new file mode 100644
index 00000000..5eb0643e
--- /dev/null
+++ b/models/random_nk2/n5_68.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n3) | (n1 & !n3)
+n1, (n2 & !n1)
+n2, true
+n3, true
+n4, true
diff --git a/models/random_nk2/n5_69.bnet b/models/random_nk2/n5_69.bnet
new file mode 100644
index 00000000..66b74eee
--- /dev/null
+++ b/models/random_nk2/n5_69.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n3) | (n1 & n3)
+n1, (!n0 & n3) | (n0 & !n3) | (n0 & n3)
+n2, (!n1 & !n3) | (n1 & !n3) | (n1 & n3)
+n3, (!n2 & !n1) | (!n2 & n1)
+n4, (!n0 & n1)
diff --git a/models/random_nk2/n5_7.bnet b/models/random_nk2/n5_7.bnet
new file mode 100644
index 00000000..a93d97f6
--- /dev/null
+++ b/models/random_nk2/n5_7.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n2) | (n3 & !n2)
+n1, (!n1 & !n4) | (!n1 & n4)
+n2, (!n0 & !n4)
+n3, (!n0 & !n2) | (n0 & !n2) | (n0 & n2)
+n4, (!n1 & !n0) | (n1 & !n0) | (n1 & n0)
diff --git a/models/random_nk2/n5_70.bnet b/models/random_nk2/n5_70.bnet
new file mode 100644
index 00000000..1f7f5b96
--- /dev/null
+++ b/models/random_nk2/n5_70.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n4 & !n0) | (n4 & n0)
+n1, (!n2 & !n0) | (!n2 & n0)
+n2, (!n4 & n2) | (n4 & !n2) | (n4 & n2)
+n3, false
+n4, (n3 & !n1)
diff --git a/models/random_nk2/n5_71.bnet b/models/random_nk2/n5_71.bnet
new file mode 100644
index 00000000..53d61e5e
--- /dev/null
+++ b/models/random_nk2/n5_71.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n3) | (n0 & n3)
+n1, (n4 & !n0) | (n4 & n0)
+n2, (!n2 & !n4) | (!n2 & n4) | (n2 & !n4)
+n3, (!n1 & n2) | (n1 & n2)
+n4, (n2 & n4)
diff --git a/models/random_nk2/n5_72.bnet b/models/random_nk2/n5_72.bnet
new file mode 100644
index 00000000..3dd9c758
--- /dev/null
+++ b/models/random_nk2/n5_72.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n1) | (n2 & !n1) | (n2 & n1)
+n1, true
+n2, (n4 & !n1) | (n4 & n1)
+n3, (!n3 & n4)
+n4, (!n0 & n1) | (n0 & n1)
diff --git a/models/random_nk2/n5_73.bnet b/models/random_nk2/n5_73.bnet
new file mode 100644
index 00000000..310f9e56
--- /dev/null
+++ b/models/random_nk2/n5_73.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, true
+n1, (!n3 & n2) | (n3 & !n2) | (n3 & n2)
+n2, (!n3 & !n0) | (!n3 & n0)
+n3, (!n1 & !n0) | (n1 & !n0)
+n4, (!n0 & !n2) | (!n0 & n2) | (n0 & n2)
diff --git a/models/random_nk2/n5_74.bnet b/models/random_nk2/n5_74.bnet
new file mode 100644
index 00000000..7a60d4ef
--- /dev/null
+++ b/models/random_nk2/n5_74.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n3 & !n2) | (n3 & n2)
+n1, true
+n2, (n4 & !n3)
+n3, (n3 & !n2)
+n4, (!n1 & !n4) | (n1 & !n4) | (n1 & n4)
diff --git a/models/random_nk2/n5_75.bnet b/models/random_nk2/n5_75.bnet
new file mode 100644
index 00000000..757fd85e
--- /dev/null
+++ b/models/random_nk2/n5_75.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n0) | (!n1 & n0) | (n1 & n0)
+n1, (n1 & !n0)
+n2, (n2 & !n4) | (n2 & n4)
+n3, (!n1 & !n3) | (!n1 & n3) | (n1 & !n3)
+n4, false
diff --git a/models/random_nk2/n5_76.bnet b/models/random_nk2/n5_76.bnet
new file mode 100644
index 00000000..9559248d
--- /dev/null
+++ b/models/random_nk2/n5_76.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, true
+n1, (!n1 & n4) | (n1 & !n4)
+n2, (!n0 & !n3) | (n0 & !n3)
+n3, true
+n4, (!n4 & !n2) | (!n4 & n2)
diff --git a/models/random_nk2/n5_77.bnet b/models/random_nk2/n5_77.bnet
new file mode 100644
index 00000000..0944a7ff
--- /dev/null
+++ b/models/random_nk2/n5_77.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n4) | (n2 & !n4)
+n1, (!n2 & !n4) | (!n2 & n4) | (n2 & !n4)
+n2, false
+n3, false
+n4, (n3 & n1)
diff --git a/models/random_nk2/n5_78.bnet b/models/random_nk2/n5_78.bnet
new file mode 100644
index 00000000..eecde14c
--- /dev/null
+++ b/models/random_nk2/n5_78.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & n0) | (n3 & n0)
+n1, false
+n2, (!n1 & !n3) | (!n1 & n3) | (n1 & !n3)
+n3, (!n3 & !n0) | (!n3 & n0) | (n3 & n0)
+n4, true
diff --git a/models/random_nk2/n5_79.bnet b/models/random_nk2/n5_79.bnet
new file mode 100644
index 00000000..27aa5184
--- /dev/null
+++ b/models/random_nk2/n5_79.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n2) | (!n4 & n2) | (n4 & !n2)
+n1, (!n4 & !n2)
+n2, (!n1 & !n4) | (n1 & !n4)
+n3, (!n1 & n0) | (n1 & !n0)
+n4, (!n2 & n4)
diff --git a/models/random_nk2/n5_8.bnet b/models/random_nk2/n5_8.bnet
new file mode 100644
index 00000000..396831b3
--- /dev/null
+++ b/models/random_nk2/n5_8.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, true
+n1, (!n0 & !n1) | (!n0 & n1) | (n0 & n1)
+n2, (!n3 & !n0) | (n3 & n0)
+n3, (!n3 & !n1)
+n4, (!n2 & !n0) | (n2 & !n0) | (n2 & n0)
diff --git a/models/random_nk2/n5_80.bnet b/models/random_nk2/n5_80.bnet
new file mode 100644
index 00000000..b9237693
--- /dev/null
+++ b/models/random_nk2/n5_80.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n2) | (n0 & !n2) | (n0 & n2)
+n1, false
+n2, (n2 & !n0) | (n2 & n0)
+n3, (!n0 & n1) | (n0 & !n1) | (n0 & n1)
+n4, (!n2 & !n4) | (n2 & !n4) | (n2 & n4)
diff --git a/models/random_nk2/n5_81.bnet b/models/random_nk2/n5_81.bnet
new file mode 100644
index 00000000..5930b187
--- /dev/null
+++ b/models/random_nk2/n5_81.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n0)
+n1, (!n1 & !n4) | (!n1 & n4) | (n1 & n4)
+n2, (!n3 & !n1) | (!n3 & n1) | (n3 & !n1)
+n3, true
+n4, (!n4 & n3) | (n4 & !n3) | (n4 & n3)
diff --git a/models/random_nk2/n5_82.bnet b/models/random_nk2/n5_82.bnet
new file mode 100644
index 00000000..14c15458
--- /dev/null
+++ b/models/random_nk2/n5_82.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n4)
+n1, (!n0 & n1) | (n0 & n1)
+n2, (!n0 & !n3) | (n0 & !n3)
+n3, (!n1 & n0) | (n1 & n0)
+n4, (!n3 & !n1) | (!n3 & n1) | (n3 & n1)
diff --git a/models/random_nk2/n5_83.bnet b/models/random_nk2/n5_83.bnet
new file mode 100644
index 00000000..14bd68ac
--- /dev/null
+++ b/models/random_nk2/n5_83.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & n4) | (n0 & n4)
+n1, (n4 & !n0)
+n2, (!n1 & !n2) | (!n1 & n2)
+n3, (!n4 & !n2) | (n4 & !n2) | (n4 & n2)
+n4, (!n4 & !n0) | (n4 & !n0)
diff --git a/models/random_nk2/n5_84.bnet b/models/random_nk2/n5_84.bnet
new file mode 100644
index 00000000..2d5dc22c
--- /dev/null
+++ b/models/random_nk2/n5_84.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & n2) | (n3 & !n2) | (n3 & n2)
+n1, (n2 & !n0)
+n2, (!n4 & n2) | (n4 & n2)
+n3, (!n3 & !n4) | (!n3 & n4) | (n3 & !n4)
+n4, (!n1 & !n4) | (!n1 & n4) | (n1 & n4)
diff --git a/models/random_nk2/n5_85.bnet b/models/random_nk2/n5_85.bnet
new file mode 100644
index 00000000..b97dce0e
--- /dev/null
+++ b/models/random_nk2/n5_85.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n3 & !n0) | (n3 & n0)
+n1, (!n1 & n2) | (n1 & n2)
+n2, (!n4 & !n3) | (n4 & !n3)
+n3, (!n2 & !n4) | (n2 & !n4) | (n2 & n4)
+n4, true
diff --git a/models/random_nk2/n5_86.bnet b/models/random_nk2/n5_86.bnet
new file mode 100644
index 00000000..c1c7bc8a
--- /dev/null
+++ b/models/random_nk2/n5_86.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n4) | (!n2 & n4) | (n2 & !n4)
+n1, (n3 & !n0) | (n3 & n0)
+n2, false
+n3, (!n4 & !n3) | (!n4 & n3)
+n4, true
diff --git a/models/random_nk2/n5_87.bnet b/models/random_nk2/n5_87.bnet
new file mode 100644
index 00000000..22ff8aab
--- /dev/null
+++ b/models/random_nk2/n5_87.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n2) | (!n3 & n2)
+n1, (n3 & !n0)
+n2, (!n1 & !n2) | (!n1 & n2) | (n1 & !n2)
+n3, (!n0 & n2) | (n0 & !n2) | (n0 & n2)
+n4, true
diff --git a/models/random_nk2/n5_88.bnet b/models/random_nk2/n5_88.bnet
new file mode 100644
index 00000000..33cec9e3
--- /dev/null
+++ b/models/random_nk2/n5_88.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, true
+n1, (!n4 & !n3) | (!n4 & n3) | (n4 & n3)
+n2, (!n4 & !n3) | (n4 & n3)
+n3, (n3 & !n1)
+n4, (!n3 & !n2) | (n3 & !n2)
diff --git a/models/random_nk2/n5_89.bnet b/models/random_nk2/n5_89.bnet
new file mode 100644
index 00000000..909d404f
--- /dev/null
+++ b/models/random_nk2/n5_89.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n3) | (!n2 & n3)
+n1, (n3 & !n4)
+n2, false
+n3, (!n1 & !n4) | (!n1 & n4) | (n1 & !n4)
+n4, true
diff --git a/models/random_nk2/n5_9.bnet b/models/random_nk2/n5_9.bnet
new file mode 100644
index 00000000..7548b6e9
--- /dev/null
+++ b/models/random_nk2/n5_9.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n0 & !n2) | (n0 & n2)
+n1, (!n2 & !n1) | (!n2 & n1)
+n2, (!n0 & n3) | (n0 & !n3)
+n3, (!n4 & !n3) | (n4 & n3)
+n4, (!n3 & !n2) | (n3 & !n2) | (n3 & n2)
diff --git a/models/random_nk2/n5_90.bnet b/models/random_nk2/n5_90.bnet
new file mode 100644
index 00000000..6d00ea9f
--- /dev/null
+++ b/models/random_nk2/n5_90.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n3) | (!n0 & n3) | (n0 & n3)
+n1, (n1 & !n4) | (n1 & n4)
+n2, (!n1 & !n4) | (n1 & !n4)
+n3, false
+n4, false
diff --git a/models/random_nk2/n5_91.bnet b/models/random_nk2/n5_91.bnet
new file mode 100644
index 00000000..4288bd6c
--- /dev/null
+++ b/models/random_nk2/n5_91.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & n0) | (n3 & n0)
+n1, (!n2 & !n3) | (!n2 & n3)
+n2, (!n1 & n4) | (n1 & !n4) | (n1 & n4)
+n3, (!n2 & !n0) | (!n2 & n0)
+n4, (!n1 & n4)
diff --git a/models/random_nk2/n5_92.bnet b/models/random_nk2/n5_92.bnet
new file mode 100644
index 00000000..ed1032fa
--- /dev/null
+++ b/models/random_nk2/n5_92.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n0) | (n1 & !n0)
+n1, (!n3 & !n1) | (n3 & !n1) | (n3 & n1)
+n2, (!n3 & !n2) | (!n3 & n2) | (n3 & !n2)
+n3, (!n0 & !n3) | (n0 & n3)
+n4, (!n3 & !n1) | (!n3 & n1) | (n3 & n1)
diff --git a/models/random_nk2/n5_93.bnet b/models/random_nk2/n5_93.bnet
new file mode 100644
index 00000000..dce9a831
--- /dev/null
+++ b/models/random_nk2/n5_93.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n1 & n0)
+n1, (n0 & n2)
+n2, (n0 & !n2) | (n0 & n2)
+n3, (!n1 & n2) | (n1 & !n2) | (n1 & n2)
+n4, (!n3 & !n2) | (n3 & !n2) | (n3 & n2)
diff --git a/models/random_nk2/n5_94.bnet b/models/random_nk2/n5_94.bnet
new file mode 100644
index 00000000..747fdf28
--- /dev/null
+++ b/models/random_nk2/n5_94.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n1)
+n1, (n2 & !n1)
+n2, (!n1 & n2) | (n1 & !n2)
+n3, (n1 & n3)
+n4, (n4 & n0)
diff --git a/models/random_nk2/n5_95.bnet b/models/random_nk2/n5_95.bnet
new file mode 100644
index 00000000..7ceea07c
--- /dev/null
+++ b/models/random_nk2/n5_95.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n2 & n1)
+n1, (!n3 & !n2) | (!n3 & n2) | (n3 & n2)
+n2, (!n2 & n0) | (n2 & !n0)
+n3, true
+n4, (!n2 & n4) | (n2 & !n4)
diff --git a/models/random_nk2/n5_96.bnet b/models/random_nk2/n5_96.bnet
new file mode 100644
index 00000000..ea91c550
--- /dev/null
+++ b/models/random_nk2/n5_96.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, true
+n1, (!n4 & !n2) | (n4 & !n2) | (n4 & n2)
+n2, (!n2 & !n4) | (n2 & !n4)
+n3, (!n1 & !n4)
+n4, false
diff --git a/models/random_nk2/n5_97.bnet b/models/random_nk2/n5_97.bnet
new file mode 100644
index 00000000..085d3953
--- /dev/null
+++ b/models/random_nk2/n5_97.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n2) | (!n0 & n2)
+n1, (!n1 & n3)
+n2, true
+n3, (!n3 & !n4) | (!n3 & n4) | (n3 & n4)
+n4, (!n1 & n0) | (n1 & !n0) | (n1 & n0)
diff --git a/models/random_nk2/n5_98.bnet b/models/random_nk2/n5_98.bnet
new file mode 100644
index 00000000..7426b8c8
--- /dev/null
+++ b/models/random_nk2/n5_98.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, true
+n1, false
+n2, (!n1 & n4) | (n1 & !n4)
+n3, (!n4 & n3)
+n4, (n1 & !n4) | (n1 & n4)
diff --git a/models/random_nk2/n5_99.bnet b/models/random_nk2/n5_99.bnet
new file mode 100644
index 00000000..67040532
--- /dev/null
+++ b/models/random_nk2/n5_99.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n2) | (!n0 & n2)
+n1, (!n1 & !n2) | (n1 & n2)
+n2, (n4 & n0)
+n3, (!n1 & !n0) | (n1 & n0)
+n4, (!n2 & !n4) | (n2 & !n4) | (n2 & n4)
diff --git a/models/random_nk3/n5_0.bnet b/models/random_nk3/n5_0.bnet
new file mode 100644
index 00000000..af74207e
--- /dev/null
+++ b/models/random_nk3/n5_0.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & n0 & n1)
+n1, (!n2 & n0 & !n1)
+n2, (!n1 & !n3 & !n0) | (!n1 & n3 & !n0) | (!n1 & n3 & n0) | (n1 & !n3 & !n0) | (n1 & n3 & !n0)
+n3, (!n1 & n4 & n3)
+n4, false
diff --git a/models/random_nk3/n5_1.bnet b/models/random_nk3/n5_1.bnet
new file mode 100644
index 00000000..b0dbc716
--- /dev/null
+++ b/models/random_nk3/n5_1.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n0 & n4 & !n3)
+n1, (n3 & !n0 & n4)
+n2, (!n2 & !n0 & !n1) | (n2 & !n0 & n1)
+n3, (!n1 & !n4 & !n0) | (!n1 & !n4 & n0) | (!n1 & n4 & !n0) | (!n1 & n4 & n0) | (n1 & !n4 & !n0) | (n1 & !n4 & n0)
+n4, (!n4 & !n2 & n1) | (!n4 & n2 & !n1) | (!n4 & n2 & n1) | (n4 & !n2 & !n1)
diff --git a/models/random_nk3/n5_10.bnet b/models/random_nk3/n5_10.bnet
new file mode 100644
index 00000000..6b7dc060
--- /dev/null
+++ b/models/random_nk3/n5_10.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n4 & !n0)
+n1, (n3 & !n4 & !n2) | (n3 & !n4 & n2) | (n3 & n4 & !n2)
+n2, (!n3 & !n0 & !n2)
+n3, (!n2 & !n3 & n1)
+n4, (n0 & !n3 & n1)
diff --git a/models/random_nk3/n5_11.bnet b/models/random_nk3/n5_11.bnet
new file mode 100644
index 00000000..f2b42029
--- /dev/null
+++ b/models/random_nk3/n5_11.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, (!n3 & n4 & n2) | (n3 & !n4 & !n2) | (n3 & n4 & !n2)
+n2, (!n1 & n4 & !n0)
+n3, (!n2 & !n0 & n3) | (n2 & n0 & n3)
+n4, (n1 & !n3 & n4)
diff --git a/models/random_nk3/n5_12.bnet b/models/random_nk3/n5_12.bnet
new file mode 100644
index 00000000..4772690d
--- /dev/null
+++ b/models/random_nk3/n5_12.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n0 & !n4 & !n2)
+n1, (n2 & !n0 & !n4)
+n2, (!n2 & !n3 & n0)
+n3, (n4 & !n1 & !n2)
+n4, (!n0 & n4 & !n3) | (n0 & !n4 & n3)
diff --git a/models/random_nk3/n5_13.bnet b/models/random_nk3/n5_13.bnet
new file mode 100644
index 00000000..2566b9c4
--- /dev/null
+++ b/models/random_nk3/n5_13.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n1 & !n2) | (!n3 & n1 & n2) | (n3 & n1 & !n2) | (n3 & n1 & n2)
+n1, (!n0 & !n2 & !n3) | (!n0 & !n2 & n3) | (n0 & n2 & n3)
+n2, false
+n3, (!n0 & n4 & n3)
+n4, (!n4 & n3 & n1)
diff --git a/models/random_nk3/n5_14.bnet b/models/random_nk3/n5_14.bnet
new file mode 100644
index 00000000..6c64ea0f
--- /dev/null
+++ b/models/random_nk3/n5_14.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, false
+n2, (!n1 & n2 & n3) | (n1 & !n2 & !n3)
+n3, (!n3 & !n0 & n2) | (!n3 & n0 & !n2)
+n4, (!n2 & n4 & !n1) | (n2 & !n4 & n1)
diff --git a/models/random_nk3/n5_15.bnet b/models/random_nk3/n5_15.bnet
new file mode 100644
index 00000000..ccc9a167
--- /dev/null
+++ b/models/random_nk3/n5_15.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n3 & !n2)
+n1, (!n0 & !n2 & n1) | (n0 & n2 & n1)
+n2, (n2 & !n3 & !n4) | (n2 & !n3 & n4) | (n2 & n3 & !n4) | (n2 & n3 & n4)
+n3, (n3 & !n2 & !n1) | (n3 & n2 & !n1)
+n4, (!n3 & !n0 & n4) | (n3 & n0 & !n4)
diff --git a/models/random_nk3/n5_16.bnet b/models/random_nk3/n5_16.bnet
new file mode 100644
index 00000000..3a912b98
--- /dev/null
+++ b/models/random_nk3/n5_16.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, (!n2 & n0 & !n4) | (!n2 & n0 & n4) | (n2 & n0 & !n4)
+n2, (n2 & n1 & !n4)
+n3, (!n0 & n4 & !n1)
+n4, (!n0 & n2 & !n4) | (n0 & !n2 & n4)
diff --git a/models/random_nk3/n5_17.bnet b/models/random_nk3/n5_17.bnet
new file mode 100644
index 00000000..6b1142a1
--- /dev/null
+++ b/models/random_nk3/n5_17.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n2 & n4) | (n3 & n2 & !n4)
+n1, (n2 & !n4 & n3) | (n2 & n4 & !n3)
+n2, (!n4 & !n3 & !n1) | (!n4 & n3 & !n1)
+n3, (!n4 & n3 & !n1)
+n4, (!n4 & !n1 & !n3)
diff --git a/models/random_nk3/n5_18.bnet b/models/random_nk3/n5_18.bnet
new file mode 100644
index 00000000..30275a42
--- /dev/null
+++ b/models/random_nk3/n5_18.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n3 & !n1 & n4) | (n3 & n1 & !n4)
+n1, (!n2 & !n4 & !n0) | (!n2 & !n4 & n0)
+n2, false
+n3, (n2 & !n1 & !n4)
+n4, (n1 & !n4 & !n0) | (n1 & !n4 & n0)
diff --git a/models/random_nk3/n5_19.bnet b/models/random_nk3/n5_19.bnet
new file mode 100644
index 00000000..d6695987
--- /dev/null
+++ b/models/random_nk3/n5_19.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n0 & !n1) | (n3 & !n0 & !n1) | (n3 & n0 & !n1) | (n3 & n0 & n1)
+n1, (!n2 & !n4 & n0)
+n2, (!n4 & n3 & n1) | (n4 & !n3 & !n1) | (n4 & n3 & !n1) | (n4 & n3 & n1)
+n3, (!n4 & !n0 & !n2) | (!n4 & n0 & n2) | (n4 & n0 & !n2)
+n4, (n0 & !n3 & n4) | (n0 & n3 & n4)
diff --git a/models/random_nk3/n5_2.bnet b/models/random_nk3/n5_2.bnet
new file mode 100644
index 00000000..498bd764
--- /dev/null
+++ b/models/random_nk3/n5_2.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n0 & !n3 & n1) | (n0 & n3 & n1)
+n1, (n1 & !n4 & n3)
+n2, false
+n3, (!n0 & !n1 & !n4) | (n0 & !n1 & !n4) | (n0 & n1 & n4)
+n4, (n4 & !n3 & n0)
diff --git a/models/random_nk3/n5_20.bnet b/models/random_nk3/n5_20.bnet
new file mode 100644
index 00000000..8607fd8e
--- /dev/null
+++ b/models/random_nk3/n5_20.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n0 & n3) | (n4 & !n0 & !n3)
+n1, (!n4 & n1 & !n0)
+n2, (n2 & !n0 & !n1)
+n3, (!n4 & !n0 & !n3) | (!n4 & n0 & n3) | (n4 & !n0 & n3) | (n4 & n0 & !n3)
+n4, (!n1 & !n3 & n2) | (n1 & !n3 & !n2) | (n1 & n3 & n2)
diff --git a/models/random_nk3/n5_21.bnet b/models/random_nk3/n5_21.bnet
new file mode 100644
index 00000000..a6fbd126
--- /dev/null
+++ b/models/random_nk3/n5_21.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n1 & n3 & !n0)
+n1, (n4 & n3 & !n1)
+n2, (!n0 & !n3 & n4)
+n3, (n3 & !n4 & !n1)
+n4, (!n0 & n3 & !n2) | (!n0 & n3 & n2) | (n0 & n3 & !n2)
diff --git a/models/random_nk3/n5_22.bnet b/models/random_nk3/n5_22.bnet
new file mode 100644
index 00000000..a9fee1b6
--- /dev/null
+++ b/models/random_nk3/n5_22.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n0 & !n4) | (!n3 & n0 & !n4) | (!n3 & n0 & n4)
+n1, false
+n2, false
+n3, (!n3 & !n0 & n4) | (!n3 & n0 & n4)
+n4, false
diff --git a/models/random_nk3/n5_23.bnet b/models/random_nk3/n5_23.bnet
new file mode 100644
index 00000000..a397a9d7
--- /dev/null
+++ b/models/random_nk3/n5_23.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n1 & n3 & !n4) | (n1 & n3 & n4)
+n1, (!n1 & n4 & n2) | (n1 & !n4 & !n2)
+n2, (!n0 & !n1 & n4) | (!n0 & n1 & n4)
+n3, false
+n4, (!n2 & n3 & n4) | (n2 & n3 & !n4)
diff --git a/models/random_nk3/n5_24.bnet b/models/random_nk3/n5_24.bnet
new file mode 100644
index 00000000..e2213888
--- /dev/null
+++ b/models/random_nk3/n5_24.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n2 & !n0) | (n1 & n2 & n0)
+n1, (!n2 & !n0 & n1) | (!n2 & n0 & !n1) | (n2 & n0 & !n1)
+n2, (n1 & !n4 & !n2)
+n3, (!n4 & n1 & !n3)
+n4, (n3 & !n4 & !n0)
diff --git a/models/random_nk3/n5_25.bnet b/models/random_nk3/n5_25.bnet
new file mode 100644
index 00000000..0438b154
--- /dev/null
+++ b/models/random_nk3/n5_25.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n4 & n0)
+n1, (!n1 & !n2 & !n4) | (!n1 & !n2 & n4)
+n2, false
+n3, (!n0 & !n2 & n1)
+n4, (!n1 & !n3 & !n0)
diff --git a/models/random_nk3/n5_26.bnet b/models/random_nk3/n5_26.bnet
new file mode 100644
index 00000000..cc7a3585
--- /dev/null
+++ b/models/random_nk3/n5_26.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n1 & n0)
+n1, (!n0 & !n4 & !n2) | (!n0 & n4 & n2)
+n2, (!n3 & !n0 & !n1) | (!n3 & !n0 & n1) | (n3 & !n0 & !n1)
+n3, false
+n4, (n1 & n2 & !n0)
diff --git a/models/random_nk3/n5_27.bnet b/models/random_nk3/n5_27.bnet
new file mode 100644
index 00000000..ba45520d
--- /dev/null
+++ b/models/random_nk3/n5_27.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n1 & !n0) | (!n3 & n1 & !n0) | (n3 & n1 & !n0) | (n3 & n1 & n0)
+n1, (!n0 & n1 & !n3) | (n0 & !n1 & !n3)
+n2, (n4 & n1 & !n2) | (n4 & n1 & n2)
+n3, (!n1 & !n4 & n2)
+n4, (n3 & n2 & n0)
diff --git a/models/random_nk3/n5_28.bnet b/models/random_nk3/n5_28.bnet
new file mode 100644
index 00000000..8d85b2e4
--- /dev/null
+++ b/models/random_nk3/n5_28.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n4 & !n3 & n2)
+n1, (!n4 & !n1 & n2) | (n4 & n1 & !n2)
+n2, (!n2 & !n0 & n1)
+n3, (!n0 & !n4 & n3) | (n0 & !n4 & n3)
+n4, (!n1 & !n4 & n3) | (!n1 & n4 & !n3) | (n1 & !n4 & !n3)
diff --git a/models/random_nk3/n5_29.bnet b/models/random_nk3/n5_29.bnet
new file mode 100644
index 00000000..ca84c3b2
--- /dev/null
+++ b/models/random_nk3/n5_29.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n3 & !n4)
+n1, (!n3 & n1 & n4) | (n3 & !n1 & !n4)
+n2, (!n4 & n2 & !n0)
+n3, (n1 & !n2 & !n4)
+n4, (!n0 & !n1 & !n3) | (!n0 & n1 & n3) | (n0 & !n1 & n3)
diff --git a/models/random_nk3/n5_3.bnet b/models/random_nk3/n5_3.bnet
new file mode 100644
index 00000000..fe085b24
--- /dev/null
+++ b/models/random_nk3/n5_3.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n0 & !n2 & !n1)
+n1, (!n3 & !n2 & !n1) | (n3 & !n2 & n1)
+n2, false
+n3, (!n1 & n2 & n3)
+n4, false
diff --git a/models/random_nk3/n5_30.bnet b/models/random_nk3/n5_30.bnet
new file mode 100644
index 00000000..d9adc0b8
--- /dev/null
+++ b/models/random_nk3/n5_30.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n3 & n4) | (!n2 & n3 & !n4) | (!n2 & n3 & n4) | (n2 & !n3 & !n4) | (n2 & n3 & n4)
+n1, (!n1 & !n0 & !n2)
+n2, false
+n3, (!n4 & !n3 & !n0) | (!n4 & n3 & n0) | (n4 & n3 & n0)
+n4, (n3 & !n2 & n0)
diff --git a/models/random_nk3/n5_31.bnet b/models/random_nk3/n5_31.bnet
new file mode 100644
index 00000000..a7079e8d
--- /dev/null
+++ b/models/random_nk3/n5_31.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n0 & !n2) | (n3 & !n0 & n2)
+n1, (!n0 & n1 & n2)
+n2, (!n1 & n0 & !n3) | (!n1 & n0 & n3) | (n1 & !n0 & !n3) | (n1 & !n0 & n3)
+n3, (n2 & !n3 & !n0) | (n2 & n3 & !n0)
+n4, (!n3 & !n2 & !n0) | (n3 & !n2 & !n0) | (n3 & n2 & n0)
diff --git a/models/random_nk3/n5_32.bnet b/models/random_nk3/n5_32.bnet
new file mode 100644
index 00000000..f2f823fa
--- /dev/null
+++ b/models/random_nk3/n5_32.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & n4 & n0) | (n3 & !n4 & !n0) | (n3 & !n4 & n0)
+n1, (!n4 & !n0 & n1) | (!n4 & n0 & !n1)
+n2, false
+n3, (!n0 & n2 & !n4) | (n0 & n2 & !n4)
+n4, (!n3 & !n2 & !n1)
diff --git a/models/random_nk3/n5_33.bnet b/models/random_nk3/n5_33.bnet
new file mode 100644
index 00000000..1fb52451
--- /dev/null
+++ b/models/random_nk3/n5_33.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n4 & n2 & n0)
+n1, (n4 & !n2 & !n3)
+n2, (!n4 & n0 & n3)
+n3, (!n0 & n4 & !n1) | (n0 & n4 & !n1)
+n4, (n3 & !n0 & !n2) | (n3 & n0 & n2)
diff --git a/models/random_nk3/n5_34.bnet b/models/random_nk3/n5_34.bnet
new file mode 100644
index 00000000..d1311ca7
--- /dev/null
+++ b/models/random_nk3/n5_34.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n2 & n0 & !n3)
+n1, (!n2 & !n3 & !n1) | (!n2 & !n3 & n1) | (n2 & n3 & n1)
+n2, (n1 & n0 & !n4)
+n3, (!n1 & !n3 & n4)
+n4, (!n4 & n0 & !n2)
diff --git a/models/random_nk3/n5_35.bnet b/models/random_nk3/n5_35.bnet
new file mode 100644
index 00000000..ec4ff0fa
--- /dev/null
+++ b/models/random_nk3/n5_35.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, (!n2 & n1 & !n3) | (n2 & !n1 & n3)
+n2, (!n4 & n3 & n0) | (n4 & !n3 & n0)
+n3, (n0 & !n4 & !n1)
+n4, (!n4 & n1 & !n0)
diff --git a/models/random_nk3/n5_36.bnet b/models/random_nk3/n5_36.bnet
new file mode 100644
index 00000000..c485ea59
--- /dev/null
+++ b/models/random_nk3/n5_36.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n1 & n4) | (n0 & !n1 & !n4) | (n0 & n1 & !n4) | (n0 & n1 & n4)
+n1, false
+n2, (!n3 & !n0 & n2) | (n3 & n0 & n2)
+n3, (n4 & !n2 & n3) | (n4 & n2 & n3)
+n4, (!n2 & n3 & !n0) | (n2 & !n3 & n0)
diff --git a/models/random_nk3/n5_37.bnet b/models/random_nk3/n5_37.bnet
new file mode 100644
index 00000000..6352273c
--- /dev/null
+++ b/models/random_nk3/n5_37.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n1 & n2) | (n3 & !n1 & n2)
+n1, (!n3 & !n2 & !n4)
+n2, (n0 & !n3 & n4) | (n0 & n3 & !n4)
+n3, (!n0 & n1 & n3) | (n0 & n1 & n3)
+n4, (n2 & !n3 & !n0) | (n2 & n3 & !n0)
diff --git a/models/random_nk3/n5_38.bnet b/models/random_nk3/n5_38.bnet
new file mode 100644
index 00000000..e7557c2a
--- /dev/null
+++ b/models/random_nk3/n5_38.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n3 & !n0) | (!n1 & !n3 & n0) | (n1 & n3 & n0)
+n1, (!n3 & !n1 & n4) | (n3 & !n1 & n4) | (n3 & n1 & n4)
+n2, (!n0 & n2 & !n4) | (n0 & n2 & !n4)
+n3, false
+n4, (!n1 & n3 & n4) | (n1 & !n3 & !n4)
diff --git a/models/random_nk3/n5_39.bnet b/models/random_nk3/n5_39.bnet
new file mode 100644
index 00000000..9679c896
--- /dev/null
+++ b/models/random_nk3/n5_39.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n0 & n3)
+n1, (!n3 & !n2 & !n4) | (n3 & n2 & !n4)
+n2, (!n4 & !n3 & n2) | (!n4 & n3 & n2)
+n3, (!n0 & n3 & n4) | (n0 & n3 & n4)
+n4, (!n1 & n2 & n0) | (n1 & !n2 & !n0) | (n1 & !n2 & n0) | (n1 & n2 & !n0)
diff --git a/models/random_nk3/n5_4.bnet b/models/random_nk3/n5_4.bnet
new file mode 100644
index 00000000..ede3a874
--- /dev/null
+++ b/models/random_nk3/n5_4.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n4 & n0) | (n1 & n4 & n0)
+n1, (!n4 & !n0 & n3) | (n4 & !n0 & !n3)
+n2, false
+n3, (!n0 & !n1 & !n3) | (n0 & !n1 & !n3) | (n0 & n1 & n3)
+n4, (!n4 & n1 & !n3)
diff --git a/models/random_nk3/n5_40.bnet b/models/random_nk3/n5_40.bnet
new file mode 100644
index 00000000..0bb0748f
--- /dev/null
+++ b/models/random_nk3/n5_40.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n3 & n2) | (!n4 & n3 & !n2) | (n4 & !n3 & !n2)
+n1, (!n3 & !n0 & !n4) | (n3 & !n0 & !n4) | (n3 & !n0 & n4) | (n3 & n0 & !n4)
+n2, (!n3 & n0 & n4)
+n3, false
+n4, (n3 & !n2 & n1)
diff --git a/models/random_nk3/n5_41.bnet b/models/random_nk3/n5_41.bnet
new file mode 100644
index 00000000..e0a4b995
--- /dev/null
+++ b/models/random_nk3/n5_41.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n3 & !n1) | (!n2 & n3 & n1) | (n2 & !n3 & n1)
+n1, (!n2 & n3 & n1) | (n2 & !n3 & !n1) | (n2 & n3 & !n1)
+n2, (!n2 & n3 & !n0) | (n2 & n3 & n0)
+n3, (!n2 & n4 & !n3) | (n2 & !n4 & !n3) | (n2 & !n4 & n3)
+n4, (n0 & !n2 & !n3) | (n0 & n2 & n3)
diff --git a/models/random_nk3/n5_42.bnet b/models/random_nk3/n5_42.bnet
new file mode 100644
index 00000000..273b3df1
--- /dev/null
+++ b/models/random_nk3/n5_42.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n3 & !n4) | (!n1 & n3 & !n4) | (n1 & !n3 & !n4)
+n1, (n1 & !n2 & n3)
+n2, (!n2 & !n3 & !n0) | (!n2 & n3 & n0) | (n2 & !n3 & n0)
+n3, false
+n4, (n0 & !n3 & !n2) | (n0 & n3 & !n2)
diff --git a/models/random_nk3/n5_43.bnet b/models/random_nk3/n5_43.bnet
new file mode 100644
index 00000000..a709ee2b
--- /dev/null
+++ b/models/random_nk3/n5_43.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n0 & !n3 & n1) | (n0 & n3 & n1)
+n1, (!n0 & !n1 & !n2) | (!n0 & !n1 & n2) | (n0 & n1 & n2)
+n2, (!n3 & !n0 & n4)
+n3, (!n4 & n3 & n0) | (n4 & n3 & !n0)
+n4, (!n2 & n1 & n3) | (n2 & !n1 & !n3)
diff --git a/models/random_nk3/n5_44.bnet b/models/random_nk3/n5_44.bnet
new file mode 100644
index 00000000..6458a495
--- /dev/null
+++ b/models/random_nk3/n5_44.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, false
+n2, (n2 & !n4 & !n1) | (n2 & !n4 & n1)
+n3, (!n4 & n1 & n0) | (n4 & !n1 & n0)
+n4, (!n0 & !n3 & n1)
diff --git a/models/random_nk3/n5_45.bnet b/models/random_nk3/n5_45.bnet
new file mode 100644
index 00000000..bf3358de
--- /dev/null
+++ b/models/random_nk3/n5_45.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n4 & !n1) | (n3 & n4 & n1)
+n1, (!n0 & n4 & !n1)
+n2, (n3 & !n0 & !n4)
+n3, false
+n4, (!n0 & !n3 & !n4)
diff --git a/models/random_nk3/n5_46.bnet b/models/random_nk3/n5_46.bnet
new file mode 100644
index 00000000..22a2225f
--- /dev/null
+++ b/models/random_nk3/n5_46.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n3 & n4) | (n0 & !n3 & n4) | (n0 & n3 & !n4)
+n1, (!n2 & !n0 & n1)
+n2, (!n1 & n2 & n3)
+n3, (n4 & !n3 & !n1)
+n4, (!n1 & !n3 & !n4) | (!n1 & n3 & n4)
diff --git a/models/random_nk3/n5_47.bnet b/models/random_nk3/n5_47.bnet
new file mode 100644
index 00000000..c396999a
--- /dev/null
+++ b/models/random_nk3/n5_47.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n2 & !n0 & !n3)
+n1, (!n4 & !n0 & n1) | (!n4 & n0 & n1) | (n4 & n0 & !n1)
+n2, (!n3 & !n2 & !n0) | (!n3 & !n2 & n0) | (!n3 & n2 & !n0) | (n3 & !n2 & !n0) | (n3 & n2 & !n0)
+n3, (!n0 & n1 & n4) | (n0 & !n1 & !n4)
+n4, (n2 & !n1 & n3)
diff --git a/models/random_nk3/n5_48.bnet b/models/random_nk3/n5_48.bnet
new file mode 100644
index 00000000..538d2af8
--- /dev/null
+++ b/models/random_nk3/n5_48.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n4 & n2) | (n1 & !n4 & !n2) | (n1 & !n4 & n2)
+n1, false
+n2, false
+n3, false
+n4, (!n0 & n3 & n4) | (n0 & n3 & n4)
diff --git a/models/random_nk3/n5_49.bnet b/models/random_nk3/n5_49.bnet
new file mode 100644
index 00000000..ce228e14
--- /dev/null
+++ b/models/random_nk3/n5_49.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n0 & n4 & !n1)
+n1, (!n3 & n4 & n2)
+n2, false
+n3, (!n3 & !n1 & !n0) | (!n3 & n1 & n0)
+n4, (!n0 & !n3 & !n4) | (!n0 & n3 & !n4) | (n0 & !n3 & !n4) | (n0 & !n3 & n4) | (n0 & n3 & !n4)
diff --git a/models/random_nk3/n5_5.bnet b/models/random_nk3/n5_5.bnet
new file mode 100644
index 00000000..336ed378
--- /dev/null
+++ b/models/random_nk3/n5_5.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, (!n2 & !n4 & n3) | (!n2 & n4 & !n3)
+n2, (n0 & !n2 & !n1) | (n0 & !n2 & n1)
+n3, false
+n4, false
diff --git a/models/random_nk3/n5_50.bnet b/models/random_nk3/n5_50.bnet
new file mode 100644
index 00000000..5c9dc7e7
--- /dev/null
+++ b/models/random_nk3/n5_50.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n0 & !n1 & !n2)
+n1, (!n2 & n4 & !n3)
+n2, (!n2 & !n4 & !n3) | (n2 & n4 & !n3)
+n3, (!n4 & !n3 & n2) | (!n4 & n3 & n2) | (n4 & !n3 & n2)
+n4, (!n0 & !n2 & n1) | (n0 & !n2 & !n1)
diff --git a/models/random_nk3/n5_51.bnet b/models/random_nk3/n5_51.bnet
new file mode 100644
index 00000000..3751aa30
--- /dev/null
+++ b/models/random_nk3/n5_51.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & n4 & !n1) | (n3 & !n4 & !n1) | (n3 & n4 & !n1)
+n1, (!n3 & n0 & n4)
+n2, (!n1 & n0 & !n3) | (n1 & !n0 & n3) | (n1 & n0 & !n3)
+n3, (!n1 & n0 & !n3) | (!n1 & n0 & n3)
+n4, (n2 & !n1 & n4) | (n2 & n1 & n4)
diff --git a/models/random_nk3/n5_52.bnet b/models/random_nk3/n5_52.bnet
new file mode 100644
index 00000000..5b6ac4c9
--- /dev/null
+++ b/models/random_nk3/n5_52.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, (!n1 & !n0 & n2) | (!n1 & n0 & n2)
+n2, (!n1 & n0 & !n3) | (n1 & !n0 & !n3) | (n1 & n0 & !n3) | (n1 & n0 & n3)
+n3, (n4 & n3 & !n0)
+n4, false
diff --git a/models/random_nk3/n5_53.bnet b/models/random_nk3/n5_53.bnet
new file mode 100644
index 00000000..31ade232
--- /dev/null
+++ b/models/random_nk3/n5_53.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & !n4 & n0) | (n1 & !n4 & n0)
+n1, (n0 & n1 & n3)
+n2, (!n3 & !n1 & n4) | (n3 & !n1 & n4)
+n3, (!n0 & !n2 & n4) | (n0 & n2 & n4)
+n4, (!n2 & !n1 & !n0) | (!n2 & !n1 & n0) | (!n2 & n1 & n0) | (n2 & !n1 & !n0) | (n2 & !n1 & n0) | (n2 & n1 & n0)
diff --git a/models/random_nk3/n5_54.bnet b/models/random_nk3/n5_54.bnet
new file mode 100644
index 00000000..5ab46545
--- /dev/null
+++ b/models/random_nk3/n5_54.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n0 & n4) | (!n3 & n0 & !n4)
+n1, (!n2 & !n0 & n3) | (n2 & !n0 & !n3) | (n2 & !n0 & n3)
+n2, (!n1 & !n3 & n0) | (n1 & !n3 & !n0)
+n3, false
+n4, (n1 & !n2 & n4) | (n1 & n2 & !n4)
diff --git a/models/random_nk3/n5_55.bnet b/models/random_nk3/n5_55.bnet
new file mode 100644
index 00000000..9563505b
--- /dev/null
+++ b/models/random_nk3/n5_55.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n1 & n3)
+n1, (!n4 & n0 & n1)
+n2, (!n2 & n3 & n0) | (n2 & n3 & !n0)
+n3, false
+n4, (n1 & !n2 & n4)
diff --git a/models/random_nk3/n5_56.bnet b/models/random_nk3/n5_56.bnet
new file mode 100644
index 00000000..c492f30b
--- /dev/null
+++ b/models/random_nk3/n5_56.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & n3 & n1) | (n4 & !n3 & !n1) | (n4 & n3 & !n1)
+n1, (n2 & !n4 & !n3)
+n2, (!n0 & !n1 & !n2)
+n3, (!n2 & n0 & !n1) | (n2 & n0 & n1)
+n4, (!n3 & !n4 & n2) | (!n3 & n4 & !n2) | (!n3 & n4 & n2) | (n3 & !n4 & !n2)
diff --git a/models/random_nk3/n5_57.bnet b/models/random_nk3/n5_57.bnet
new file mode 100644
index 00000000..968eb109
--- /dev/null
+++ b/models/random_nk3/n5_57.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n1 & n4 & !n3) | (n1 & n4 & n3)
+n1, (n1 & !n2 & !n0)
+n2, (!n3 & n2 & !n4) | (n3 & !n2 & n4) | (n3 & n2 & n4)
+n3, (!n4 & n2 & !n1)
+n4, false
diff --git a/models/random_nk3/n5_58.bnet b/models/random_nk3/n5_58.bnet
new file mode 100644
index 00000000..80692ba0
--- /dev/null
+++ b/models/random_nk3/n5_58.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n1 & n2 & !n3) | (n1 & n2 & n3)
+n1, (!n4 & !n0 & !n1) | (!n4 & n0 & n1) | (n4 & !n0 & !n1)
+n2, (n0 & !n2 & n4)
+n3, (!n1 & n2 & !n0) | (!n1 & n2 & n0)
+n4, (!n1 & n0 & n4) | (n1 & n0 & n4)
diff --git a/models/random_nk3/n5_59.bnet b/models/random_nk3/n5_59.bnet
new file mode 100644
index 00000000..4f95e08b
--- /dev/null
+++ b/models/random_nk3/n5_59.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n4 & n2) | (n0 & n4 & n2)
+n1, (!n1 & !n2 & !n3)
+n2, (!n0 & n4 & n2)
+n3, (!n1 & !n2 & n0) | (!n1 & n2 & n0)
+n4, (!n3 & n2 & !n0)
diff --git a/models/random_nk3/n5_6.bnet b/models/random_nk3/n5_6.bnet
new file mode 100644
index 00000000..3f99cfd5
--- /dev/null
+++ b/models/random_nk3/n5_6.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n2 & n1) | (!n4 & n2 & n1)
+n1, (!n4 & !n1 & n2) | (n4 & !n1 & n2) | (n4 & n1 & !n2)
+n2, (!n4 & n2 & !n3) | (!n4 & n2 & n3) | (n4 & n2 & !n3)
+n3, (!n1 & !n2 & !n4) | (n1 & !n2 & !n4) | (n1 & n2 & n4)
+n4, (!n2 & !n0 & n4) | (!n2 & n0 & n4) | (n2 & !n0 & n4)
diff --git a/models/random_nk3/n5_60.bnet b/models/random_nk3/n5_60.bnet
new file mode 100644
index 00000000..c1de4e60
--- /dev/null
+++ b/models/random_nk3/n5_60.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, false
+n2, (n2 & !n3 & n4)
+n3, (!n4 & !n3 & !n1)
+n4, (!n4 & !n1 & n0) | (!n4 & n1 & n0) | (n4 & n1 & !n0) | (n4 & n1 & n0)
diff --git a/models/random_nk3/n5_61.bnet b/models/random_nk3/n5_61.bnet
new file mode 100644
index 00000000..98e55882
--- /dev/null
+++ b/models/random_nk3/n5_61.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n2 & !n3)
+n1, (!n2 & n0 & !n4) | (!n2 & n0 & n4) | (n2 & !n0 & n4)
+n2, (n4 & n2 & n1)
+n3, (!n2 & n1 & !n0) | (!n2 & n1 & n0)
+n4, (n4 & n1 & !n0)
diff --git a/models/random_nk3/n5_62.bnet b/models/random_nk3/n5_62.bnet
new file mode 100644
index 00000000..eb991247
--- /dev/null
+++ b/models/random_nk3/n5_62.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n1 & n0) | (!n2 & n1 & !n0)
+n1, (!n4 & n2 & n3) | (n4 & !n2 & n3)
+n2, (n2 & !n4 & n0)
+n3, (!n0 & !n2 & n1)
+n4, (!n2 & !n4 & n1) | (n2 & !n4 & n1) | (n2 & n4 & n1)
diff --git a/models/random_nk3/n5_63.bnet b/models/random_nk3/n5_63.bnet
new file mode 100644
index 00000000..627fda9e
--- /dev/null
+++ b/models/random_nk3/n5_63.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & n0 & n3) | (n4 & n0 & n3)
+n1, (!n4 & !n3 & !n2)
+n2, (n3 & n4 & !n2)
+n3, false
+n4, (n4 & !n0 & !n2) | (n4 & n0 & !n2)
diff --git a/models/random_nk3/n5_64.bnet b/models/random_nk3/n5_64.bnet
new file mode 100644
index 00000000..6d9ac023
--- /dev/null
+++ b/models/random_nk3/n5_64.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, (!n3 & !n4 & n0) | (!n3 & n4 & n0) | (n3 & n4 & n0)
+n2, (!n4 & n3 & n1)
+n3, false
+n4, false
diff --git a/models/random_nk3/n5_65.bnet b/models/random_nk3/n5_65.bnet
new file mode 100644
index 00000000..05916032
--- /dev/null
+++ b/models/random_nk3/n5_65.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n2 & !n1) | (!n0 & !n2 & n1)
+n1, (!n2 & !n0 & !n3)
+n2, (!n1 & !n4 & n0) | (!n1 & n4 & !n0) | (!n1 & n4 & n0) | (n1 & !n4 & !n0) | (n1 & !n4 & n0) | (n1 & n4 & !n0)
+n3, (n1 & !n2 & !n3)
+n4, (n1 & !n0 & !n4) | (n1 & !n0 & n4) | (n1 & n0 & n4)
diff --git a/models/random_nk3/n5_66.bnet b/models/random_nk3/n5_66.bnet
new file mode 100644
index 00000000..77b955b4
--- /dev/null
+++ b/models/random_nk3/n5_66.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n1 & n3)
+n1, (!n3 & n4 & n2)
+n2, false
+n3, (!n1 & !n3 & !n0) | (!n1 & n3 & !n0) | (!n1 & n3 & n0) | (n1 & !n3 & n0)
+n4, (!n4 & !n3 & n2)
diff --git a/models/random_nk3/n5_67.bnet b/models/random_nk3/n5_67.bnet
new file mode 100644
index 00000000..1e8282c7
--- /dev/null
+++ b/models/random_nk3/n5_67.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & n3 & n4)
+n1, (n4 & n1 & n0)
+n2, (!n4 & n0 & n2) | (n4 & n0 & !n2)
+n3, (!n0 & n2 & !n3) | (n0 & !n2 & n3)
+n4, (!n0 & !n4 & !n3)
diff --git a/models/random_nk3/n5_68.bnet b/models/random_nk3/n5_68.bnet
new file mode 100644
index 00000000..275f4afc
--- /dev/null
+++ b/models/random_nk3/n5_68.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n2 & !n1 & !n4)
+n1, (n2 & n3 & n4)
+n2, (!n1 & !n2 & !n4) | (!n1 & n2 & n4) | (n1 & !n2 & !n4)
+n3, (!n2 & !n0 & n4)
+n4, (!n1 & !n0 & n4) | (n1 & n0 & !n4) | (n1 & n0 & n4)
diff --git a/models/random_nk3/n5_69.bnet b/models/random_nk3/n5_69.bnet
new file mode 100644
index 00000000..73d6b54d
--- /dev/null
+++ b/models/random_nk3/n5_69.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & n0 & !n1)
+n1, (!n4 & !n0 & !n2) | (n4 & !n0 & n2) | (n4 & n0 & n2)
+n2, (n0 & !n1 & !n2)
+n3, (!n3 & !n0 & !n1) | (!n3 & !n0 & n1) | (n3 & n0 & n1)
+n4, (n3 & !n1 & n4)
diff --git a/models/random_nk3/n5_7.bnet b/models/random_nk3/n5_7.bnet
new file mode 100644
index 00000000..62d0af4f
--- /dev/null
+++ b/models/random_nk3/n5_7.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n3 & n0) | (n2 & n3 & !n0)
+n1, (!n2 & !n4 & n0) | (n2 & !n4 & !n0)
+n2, (n0 & !n3 & !n2) | (n0 & !n3 & n2)
+n3, (!n0 & n3 & n1)
+n4, (!n3 & !n2 & n1) | (n3 & n2 & n1)
diff --git a/models/random_nk3/n5_70.bnet b/models/random_nk3/n5_70.bnet
new file mode 100644
index 00000000..a218551a
--- /dev/null
+++ b/models/random_nk3/n5_70.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n1 & !n4 & !n2) | (n1 & n4 & !n2) | (n1 & n4 & n2)
+n1, (!n4 & !n3 & !n0)
+n2, false
+n3, (n1 & !n3 & n4) | (n1 & n3 & !n4)
+n4, (!n2 & !n3 & n1) | (n2 & !n3 & !n1) | (n2 & n3 & !n1)
diff --git a/models/random_nk3/n5_71.bnet b/models/random_nk3/n5_71.bnet
new file mode 100644
index 00000000..17106add
--- /dev/null
+++ b/models/random_nk3/n5_71.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n2 & !n3)
+n1, (n2 & n3 & !n0)
+n2, (!n4 & n0 & !n3)
+n3, (!n1 & !n3 & !n4) | (!n1 & n3 & n4) | (n1 & !n3 & !n4)
+n4, false
diff --git a/models/random_nk3/n5_72.bnet b/models/random_nk3/n5_72.bnet
new file mode 100644
index 00000000..6fc55fdb
--- /dev/null
+++ b/models/random_nk3/n5_72.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, (!n3 & n2 & !n0) | (n3 & !n2 & !n0) | (n3 & n2 & !n0)
+n2, false
+n3, (!n2 & !n4 & n1) | (n2 & !n4 & !n1)
+n4, (!n1 & !n3 & !n2) | (!n1 & !n3 & n2) | (!n1 & n3 & !n2) | (n1 & !n3 & n2)
diff --git a/models/random_nk3/n5_73.bnet b/models/random_nk3/n5_73.bnet
new file mode 100644
index 00000000..3a430994
--- /dev/null
+++ b/models/random_nk3/n5_73.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n3 & n4) | (n1 & n3 & n4)
+n1, (!n0 & n1 & n4) | (n0 & n1 & !n4)
+n2, false
+n3, (!n1 & !n3 & n2) | (n1 & !n3 & !n2)
+n4, (n1 & n0 & n4)
diff --git a/models/random_nk3/n5_74.bnet b/models/random_nk3/n5_74.bnet
new file mode 100644
index 00000000..1d4d7c98
--- /dev/null
+++ b/models/random_nk3/n5_74.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & !n1 & !n3)
+n1, false
+n2, (!n0 & n3 & !n1)
+n3, (!n4 & n0 & !n1) | (!n4 & n0 & n1)
+n4, (!n4 & !n0 & n3)
diff --git a/models/random_nk3/n5_75.bnet b/models/random_nk3/n5_75.bnet
new file mode 100644
index 00000000..bb25c16f
--- /dev/null
+++ b/models/random_nk3/n5_75.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n2 & !n0) | (n3 & !n2 & n0)
+n1, (n0 & !n2 & n3)
+n2, (!n4 & !n0 & n1) | (!n4 & n0 & !n1)
+n3, (n2 & !n1 & !n0) | (n2 & n1 & !n0) | (n2 & n1 & n0)
+n4, (n0 & !n2 & !n1) | (n0 & n2 & !n1)
diff --git a/models/random_nk3/n5_76.bnet b/models/random_nk3/n5_76.bnet
new file mode 100644
index 00000000..15a463cb
--- /dev/null
+++ b/models/random_nk3/n5_76.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & n2 & !n3)
+n1, false
+n2, false
+n3, (!n2 & n3 & n4) | (n2 & !n3 & !n4)
+n4, false
diff --git a/models/random_nk3/n5_77.bnet b/models/random_nk3/n5_77.bnet
new file mode 100644
index 00000000..9c625f85
--- /dev/null
+++ b/models/random_nk3/n5_77.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n0 & n3) | (!n4 & n0 & n3) | (n4 & !n0 & n3)
+n1, (n4 & n3 & !n0)
+n2, (!n4 & n2 & !n3)
+n3, (!n1 & !n3 & !n2) | (n1 & !n3 & !n2) | (n1 & n3 & !n2) | (n1 & n3 & n2)
+n4, (!n1 & !n2 & n3)
diff --git a/models/random_nk3/n5_78.bnet b/models/random_nk3/n5_78.bnet
new file mode 100644
index 00000000..8b903148
--- /dev/null
+++ b/models/random_nk3/n5_78.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n1 & n2 & !n0) | (!n1 & n2 & n0) | (n1 & !n2 & n0)
+n1, (!n0 & !n2 & !n1) | (!n0 & n2 & !n1) | (n0 & !n2 & !n1)
+n2, false
+n3, (!n1 & n2 & !n3)
+n4, (!n1 & !n4 & !n2) | (n1 & n4 & !n2)
diff --git a/models/random_nk3/n5_79.bnet b/models/random_nk3/n5_79.bnet
new file mode 100644
index 00000000..b2c0d318
--- /dev/null
+++ b/models/random_nk3/n5_79.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & n2 & n4)
+n1, false
+n2, (!n1 & !n0 & !n2) | (!n1 & !n0 & n2) | (!n1 & n0 & !n2) | (n1 & !n0 & n2) | (n1 & n0 & !n2)
+n3, (!n0 & n2 & !n4)
+n4, (!n0 & !n1 & n3) | (!n0 & n1 & !n3) | (!n0 & n1 & n3) | (n0 & n1 & !n3) | (n0 & n1 & n3)
diff --git a/models/random_nk3/n5_8.bnet b/models/random_nk3/n5_8.bnet
new file mode 100644
index 00000000..e80b16d6
--- /dev/null
+++ b/models/random_nk3/n5_8.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n0 & n4 & n2)
+n1, (!n0 & !n4 & !n3)
+n2, (!n2 & !n4 & !n0) | (!n2 & !n4 & n0)
+n3, (n0 & !n3 & n2)
+n4, (!n0 & n4 & !n2)
diff --git a/models/random_nk3/n5_80.bnet b/models/random_nk3/n5_80.bnet
new file mode 100644
index 00000000..a71c06d2
--- /dev/null
+++ b/models/random_nk3/n5_80.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n3 & !n1) | (n2 & n3 & !n1)
+n1, (!n1 & n0 & n3) | (n1 & n0 & !n3)
+n2, (n4 & n1 & n2)
+n3, (!n2 & n3 & n1) | (n2 & !n3 & !n1)
+n4, false
diff --git a/models/random_nk3/n5_81.bnet b/models/random_nk3/n5_81.bnet
new file mode 100644
index 00000000..99ea21b6
--- /dev/null
+++ b/models/random_nk3/n5_81.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n3 & !n0) | (n2 & n3 & !n0)
+n1, (!n2 & !n0 & !n4) | (n2 & n0 & n4)
+n2, (!n1 & n2 & !n0) | (n1 & n2 & n0)
+n3, (n2 & n1 & !n0)
+n4, (!n1 & n2 & n4)
diff --git a/models/random_nk3/n5_82.bnet b/models/random_nk3/n5_82.bnet
new file mode 100644
index 00000000..62cf3511
--- /dev/null
+++ b/models/random_nk3/n5_82.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, (!n2 & !n3 & !n0) | (!n2 & !n3 & n0) | (!n2 & n3 & !n0) | (!n2 & n3 & n0) | (n2 & !n3 & n0)
+n2, (!n0 & !n3 & !n1) | (!n0 & !n3 & n1)
+n3, false
+n4, (!n0 & !n4 & n1) | (n0 & n4 & n1)
diff --git a/models/random_nk3/n5_83.bnet b/models/random_nk3/n5_83.bnet
new file mode 100644
index 00000000..2560934d
--- /dev/null
+++ b/models/random_nk3/n5_83.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n1 & n2 & !n4)
+n1, false
+n2, (!n3 & !n4 & !n2) | (!n3 & n4 & n2)
+n3, (n2 & !n3 & !n0) | (n2 & n3 & n0)
+n4, false
diff --git a/models/random_nk3/n5_84.bnet b/models/random_nk3/n5_84.bnet
new file mode 100644
index 00000000..3d311127
--- /dev/null
+++ b/models/random_nk3/n5_84.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n0 & n4 & !n1) | (n0 & !n4 & !n1)
+n1, (!n1 & !n4 & n3) | (!n1 & n4 & !n3)
+n2, (!n2 & !n3 & !n0) | (!n2 & !n3 & n0)
+n3, (!n0 & !n4 & !n1) | (!n0 & n4 & n1)
+n4, (!n3 & !n2 & n0) | (n3 & !n2 & !n0) | (n3 & !n2 & n0) | (n3 & n2 & !n0)
diff --git a/models/random_nk3/n5_85.bnet b/models/random_nk3/n5_85.bnet
new file mode 100644
index 00000000..63a07bd9
--- /dev/null
+++ b/models/random_nk3/n5_85.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n4 & !n1) | (!n2 & !n4 & n1)
+n1, (!n4 & !n1 & n3) | (!n4 & n1 & !n3) | (n4 & !n1 & !n3)
+n2, (n0 & !n1 & !n2)
+n3, (!n2 & !n3 & !n0)
+n4, (!n1 & n4 & !n0) | (!n1 & n4 & n0) | (n1 & !n4 & !n0)
diff --git a/models/random_nk3/n5_86.bnet b/models/random_nk3/n5_86.bnet
new file mode 100644
index 00000000..c38ec420
--- /dev/null
+++ b/models/random_nk3/n5_86.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n1 & n0) | (n4 & !n1 & !n0)
+n1, (!n4 & !n2 & !n1) | (n4 & !n2 & n1)
+n2, (n1 & !n3 & !n4)
+n3, (!n4 & n2 & !n0)
+n4, (!n2 & !n0 & !n4) | (n2 & !n0 & !n4) | (n2 & n0 & !n4)
diff --git a/models/random_nk3/n5_87.bnet b/models/random_nk3/n5_87.bnet
new file mode 100644
index 00000000..8a55e189
--- /dev/null
+++ b/models/random_nk3/n5_87.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n4 & !n3)
+n1, false
+n2, (!n2 & !n4 & !n3) | (n2 & !n4 & !n3)
+n3, false
+n4, (!n4 & n2 & !n0) | (!n4 & n2 & n0)
diff --git a/models/random_nk3/n5_88.bnet b/models/random_nk3/n5_88.bnet
new file mode 100644
index 00000000..08ab0267
--- /dev/null
+++ b/models/random_nk3/n5_88.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n4 & !n3 & n0) | (!n4 & n3 & !n0)
+n1, (!n1 & !n2 & !n3) | (!n1 & !n2 & n3) | (!n1 & n2 & !n3) | (!n1 & n2 & n3)
+n2, false
+n3, (!n3 & !n4 & n0) | (n3 & n4 & !n0) | (n3 & n4 & n0)
+n4, (!n2 & n0 & n1)
diff --git a/models/random_nk3/n5_89.bnet b/models/random_nk3/n5_89.bnet
new file mode 100644
index 00000000..37303d10
--- /dev/null
+++ b/models/random_nk3/n5_89.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n2 & !n1 & !n4)
+n1, (!n2 & !n0 & !n1) | (!n2 & n0 & !n1)
+n2, false
+n3, (!n3 & n4 & !n2)
+n4, (!n0 & n4 & n2) | (n0 & !n4 & n2)
diff --git a/models/random_nk3/n5_9.bnet b/models/random_nk3/n5_9.bnet
new file mode 100644
index 00000000..3c17096d
--- /dev/null
+++ b/models/random_nk3/n5_9.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & !n4 & n0) | (!n2 & n4 & !n0) | (!n2 & n4 & n0) | (n2 & !n4 & !n0)
+n1, (!n2 & n0 & !n4)
+n2, (!n0 & !n1 & n2) | (n0 & !n1 & n2)
+n3, false
+n4, (!n3 & n4 & !n1) | (!n3 & n4 & n1)
diff --git a/models/random_nk3/n5_90.bnet b/models/random_nk3/n5_90.bnet
new file mode 100644
index 00000000..8e11c904
--- /dev/null
+++ b/models/random_nk3/n5_90.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n0 & n3) | (n2 & !n0 & !n3)
+n1, (!n4 & n1 & !n0)
+n2, (!n3 & n1 & n2) | (n3 & !n1 & !n2)
+n3, false
+n4, (!n3 & !n1 & n0) | (n3 & !n1 & !n0) | (n3 & n1 & !n0)
diff --git a/models/random_nk3/n5_91.bnet b/models/random_nk3/n5_91.bnet
new file mode 100644
index 00000000..0109dfb0
--- /dev/null
+++ b/models/random_nk3/n5_91.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n1 & n2 & n4)
+n1, (!n0 & n3 & n1)
+n2, (!n0 & !n4 & n1) | (n0 & !n4 & n1)
+n3, (!n0 & !n4 & !n1) | (!n0 & !n4 & n1) | (!n0 & n4 & !n1)
+n4, (!n0 & !n2 & n1)
diff --git a/models/random_nk3/n5_92.bnet b/models/random_nk3/n5_92.bnet
new file mode 100644
index 00000000..09aa31f2
--- /dev/null
+++ b/models/random_nk3/n5_92.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n4 & !n1 & !n3)
+n1, (!n3 & !n4 & n0) | (!n3 & n4 & !n0) | (!n3 & n4 & n0)
+n2, (!n4 & n3 & n1) | (n4 & n3 & !n1)
+n3, (n3 & !n4 & n2)
+n4, (!n4 & !n2 & !n3)
diff --git a/models/random_nk3/n5_93.bnet b/models/random_nk3/n5_93.bnet
new file mode 100644
index 00000000..f69a58e1
--- /dev/null
+++ b/models/random_nk3/n5_93.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n1 & !n4 & !n3) | (n1 & n4 & n3)
+n1, false
+n2, (!n1 & !n0 & !n4) | (n1 & n0 & !n4)
+n3, (!n2 & !n4 & n0) | (n2 & !n4 & !n0)
+n4, false
diff --git a/models/random_nk3/n5_94.bnet b/models/random_nk3/n5_94.bnet
new file mode 100644
index 00000000..b30cc636
--- /dev/null
+++ b/models/random_nk3/n5_94.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n4 & !n3 & n0) | (n4 & n3 & !n0)
+n1, (!n4 & !n0 & !n3) | (n4 & !n0 & !n3)
+n2, (!n1 & n3 & !n2) | (!n1 & n3 & n2)
+n3, (!n2 & n4 & !n0)
+n4, (!n1 & !n4 & !n0) | (n1 & n4 & !n0)
diff --git a/models/random_nk3/n5_95.bnet b/models/random_nk3/n5_95.bnet
new file mode 100644
index 00000000..c1e63d07
--- /dev/null
+++ b/models/random_nk3/n5_95.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, (n2 & !n0 & n3)
+n2, (!n0 & !n4 & !n1) | (!n0 & n4 & n1)
+n3, (!n3 & !n4 & n0) | (n3 & n4 & !n0) | (n3 & n4 & n0)
+n4, (!n4 & n3 & n1)
diff --git a/models/random_nk3/n5_96.bnet b/models/random_nk3/n5_96.bnet
new file mode 100644
index 00000000..eab56bde
--- /dev/null
+++ b/models/random_nk3/n5_96.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (n1 & !n0 & !n2) | (n1 & n0 & n2)
+n1, false
+n2, (!n2 & !n1 & n0) | (!n2 & n1 & n0)
+n3, (!n0 & !n2 & !n3)
+n4, (!n4 & !n3 & !n2) | (!n4 & n3 & n2)
diff --git a/models/random_nk3/n5_97.bnet b/models/random_nk3/n5_97.bnet
new file mode 100644
index 00000000..c0f8796e
--- /dev/null
+++ b/models/random_nk3/n5_97.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n3 & !n0 & n2)
+n1, (!n3 & !n0 & !n4) | (n3 & !n0 & n4) | (n3 & n0 & !n4)
+n2, false
+n3, (n4 & !n2 & n1) | (n4 & n2 & !n1) | (n4 & n2 & n1)
+n4, false
diff --git a/models/random_nk3/n5_98.bnet b/models/random_nk3/n5_98.bnet
new file mode 100644
index 00000000..ebaf2ada
--- /dev/null
+++ b/models/random_nk3/n5_98.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, (!n2 & n3 & n0) | (n2 & !n3 & !n0) | (n2 & n3 & !n0)
+n1, (!n1 & !n0 & n3)
+n2, (n1 & n0 & n2)
+n3, (!n3 & !n1 & n4) | (n3 & !n1 & !n4) | (n3 & !n1 & n4) | (n3 & n1 & !n4)
+n4, (!n2 & !n4 & n0) | (!n2 & n4 & !n0)
diff --git a/models/random_nk3/n5_99.bnet b/models/random_nk3/n5_99.bnet
new file mode 100644
index 00000000..fdc9e321
--- /dev/null
+++ b/models/random_nk3/n5_99.bnet
@@ -0,0 +1,6 @@
+targets, factors
+n0, false
+n1, (!n0 & !n2 & n4)
+n2, (!n3 & !n2 & !n0) | (!n3 & !n2 & n0) | (n3 & !n2 & !n0) | (n3 & !n2 & n0)
+n3, (!n1 & !n3 & !n0) | (!n1 & !n3 & n0) | (n1 & n3 & n0)
+n4, (!n3 & n0 & !n2) | (!n3 & n0 & n2)