Skip to content

Commit

Permalink
more nk3 models
Browse files Browse the repository at this point in the history
  • Loading branch information
@kyuhyongpark
kyuhyongpark committed Dec 20, 2023
1 parent 0708715 commit ac47701
Show file tree
Hide file tree
Showing 1,400 changed files with 128,400 additions and 0 deletions.
11 changes: 11 additions & 0 deletions models/random_nk3/n10_100.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (n6 & !n1 & !n9)
n1, (!n5 & n1 & !n7)
n2, (!n2 & n8 & !n6)
n3, (!n2 & !n3 & n8) | (n2 & n3 & !n8)
n4, (!n5 & !n7 & !n3) | (!n5 & n7 & !n3)
n5, (n5 & !n3 & !n7)
n6, (!n2 & n0 & n7) | (n2 & n0 & !n7)
n7, (!n2 & n7 & n6) | (n2 & n7 & !n6) | (n2 & n7 & n6)
n8, (!n3 & !n0 & !n7) | (!n3 & !n0 & n7) | (!n3 & n0 & !n7) | (!n3 & n0 & n7) | (n3 & n0 & n7)
n9, (!n3 & !n8 & !n2) | (!n3 & !n8 & n2) | (!n3 & n8 & !n2) | (n3 & n8 & !n2)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_101.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (n3 & n9 & n4)
n1, (n9 & !n0 & !n8)
n2, false
n3, (!n3 & !n7 & n2) | (n3 & !n7 & !n2) | (n3 & n7 & !n2)
n4, false
n5, (!n0 & !n9 & !n7) | (!n0 & !n9 & n7) | (n0 & n9 & n7)
n6, (!n9 & !n0 & n6) | (!n9 & n0 & !n6) | (n9 & !n0 & !n6) | (n9 & n0 & n6)
n7, false
n8, (!n3 & !n0 & !n6) | (n3 & n0 & n6)
n9, (!n1 & n4 & !n3) | (n1 & !n4 & n3) | (n1 & n4 & !n3)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_102.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (n7 & !n8 & n3)
n1, (!n7 & !n4 & n8) | (n7 & !n4 & !n8) | (n7 & n4 & n8)
n2, (n3 & !n1 & n7)
n3, (!n6 & n5 & !n3) | (n6 & !n5 & n3)
n4, false
n5, (n3 & !n6 & !n7) | (n3 & !n6 & n7)
n6, (n6 & n0 & n5)
n7, (!n4 & !n3 & !n8)
n8, false
n9, false
11 changes: 11 additions & 0 deletions models/random_nk3/n10_103.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n9 & !n8 & !n4) | (!n9 & n8 & n4) | (n9 & !n8 & n4)
n1, (!n9 & !n2 & n5) | (n9 & !n2 & !n5) | (n9 & n2 & !n5)
n2, (!n6 & !n4 & !n1) | (!n6 & n4 & !n1)
n3, (!n9 & !n1 & n5) | (!n9 & n1 & n5)
n4, (!n3 & !n5 & n9) | (n3 & !n5 & !n9) | (n3 & n5 & n9)
n5, (!n7 & n2 & !n9)
n6, (!n8 & n5 & !n3) | (!n8 & n5 & n3)
n7, (!n4 & !n8 & n2) | (n4 & n8 & n2)
n8, (n9 & !n3 & n4) | (n9 & n3 & !n4)
n9, (!n3 & !n1 & !n5) | (!n3 & n1 & !n5) | (n3 & !n1 & !n5) | (n3 & n1 & !n5) | (n3 & n1 & n5)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_104.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (n5 & !n3 & !n2)
n1, (!n7 & !n6 & n4)
n2, (!n8 & n2 & !n1) | (!n8 & n2 & n1) | (n8 & !n2 & n1)
n3, (n4 & !n0 & !n5)
n4, (n5 & !n7 & !n9)
n5, (n0 & n4 & !n8)
n6, (!n0 & n6 & !n2) | (n0 & !n6 & n2) | (n0 & n6 & !n2)
n7, false
n8, (n6 & !n2 & !n1) | (n6 & n2 & n1)
n9, (n3 & n2 & !n6)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_105.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, false
n1, false
n2, (!n7 & n4 & n3) | (n7 & !n4 & !n3)
n3, false
n4, (!n5 & !n2 & !n9)
n5, (!n3 & n8 & !n1)
n6, (n7 & !n4 & !n6)
n7, (!n6 & !n8 & n4) | (!n6 & n8 & !n4) | (!n6 & n8 & n4) | (n6 & n8 & n4)
n8, (!n0 & n4 & !n5)
n9, false
11 changes: 11 additions & 0 deletions models/random_nk3/n10_106.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n5 & n8 & n4)
n1, (!n5 & !n0 & n4) | (n5 & !n0 & !n4)
n2, (!n9 & !n7 & n6) | (!n9 & n7 & !n6) | (n9 & n7 & !n6)
n3, (!n0 & !n7 & n3) | (n0 & !n7 & !n3) | (n0 & n7 & n3)
n4, (!n3 & n9 & !n2) | (!n3 & n9 & n2) | (n3 & !n9 & !n2) | (n3 & !n9 & n2)
n5, (!n1 & n9 & n5)
n6, (n8 & n7 & n1)
n7, (n9 & n7 & n1)
n8, (n6 & !n1 & n4)
n9, (n2 & !n4 & n7)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_107.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n6 & !n3 & !n5) | (!n6 & !n3 & n5)
n1, (!n8 & !n5 & n2) | (n8 & !n5 & !n2)
n2, false
n3, (n8 & !n4 & !n6) | (n8 & n4 & !n6)
n4, (n4 & n5 & !n0)
n5, (!n9 & !n3 & n1) | (!n9 & n3 & !n1) | (n9 & !n3 & !n1) | (n9 & !n3 & n1)
n6, (n6 & !n4 & n9) | (n6 & n4 & !n9)
n7, (!n2 & !n7 & n9) | (n2 & !n7 & !n9)
n8, (!n6 & !n9 & !n4) | (!n6 & n9 & !n4)
n9, (n9 & n5 & n8)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_108.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n3 & !n9 & !n5)
n1, (!n6 & !n4 & n5) | (!n6 & n4 & n5)
n2, (n2 & n7 & !n9)
n3, (!n1 & !n6 & !n3) | (n1 & !n6 & n3)
n4, (n5 & !n2 & !n9) | (n5 & !n2 & n9) | (n5 & n2 & n9)
n5, (!n8 & !n7 & n5)
n6, (!n5 & !n8 & n3) | (n5 & n8 & n3)
n7, false
n8, (!n5 & !n1 & n6) | (n5 & n1 & n6)
n9, (!n5 & !n7 & !n6)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_109.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n3 & n8 & !n1)
n1, (n8 & !n4 & n5)
n2, false
n3, (n3 & n9 & !n0)
n4, (n1 & !n0 & !n3)
n5, (!n4 & !n9 & !n7)
n6, false
n7, (!n8 & !n1 & n2) | (!n8 & n1 & !n2)
n8, (n9 & !n6 & !n5) | (n9 & n6 & n5)
n9, (!n5 & !n6 & n3) | (n5 & !n6 & !n3)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_110.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (n8 & !n3 & n4) | (n8 & n3 & !n4)
n1, (!n4 & !n3 & n0) | (n4 & n3 & !n0)
n2, (!n9 & n8 & !n6)
n3, (!n5 & n0 & !n8) | (n5 & n0 & !n8)
n4, false
n5, (!n3 & !n6 & !n1) | (!n3 & n6 & !n1) | (n3 & !n6 & !n1)
n6, (!n2 & !n7 & n4)
n7, (!n4 & !n9 & !n5) | (n4 & n9 & !n5)
n8, false
n9, (!n6 & !n2 & n1) | (!n6 & n2 & !n1) | (n6 & n2 & !n1)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_111.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n1 & !n2 & n9) | (n1 & !n2 & n9)
n1, (!n6 & !n9 & !n4) | (!n6 & !n9 & n4)
n2, (!n3 & !n6 & n9) | (!n3 & n6 & n9) | (n3 & !n6 & !n9)
n3, (!n6 & n3 & n1)
n4, (!n3 & !n4 & !n5) | (!n3 & n4 & n5) | (n3 & !n4 & !n5) | (n3 & n4 & n5)
n5, (!n8 & !n9 & n4) | (!n8 & n9 & !n4) | (n8 & n9 & !n4)
n6, (!n6 & !n1 & n7) | (n6 & !n1 & !n7)
n7, false
n8, (!n0 & n8 & !n6)
n9, (!n1 & n6 & !n2) | (n1 & !n6 & n2) | (n1 & n6 & n2)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_112.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n8 & !n5 & !n1)
n1, (!n3 & n5 & !n2)
n2, (!n6 & !n3 & !n0) | (n6 & n3 & !n0) | (n6 & n3 & n0)
n3, (!n7 & !n4 & n0) | (n7 & !n4 & !n0)
n4, (n1 & !n2 & n4) | (n1 & n2 & !n4)
n5, (!n8 & n7 & n5) | (n8 & !n7 & n5)
n6, (!n9 & !n7 & !n2) | (!n9 & !n7 & n2) | (!n9 & n7 & n2) | (n9 & n7 & n2)
n7, (!n9 & !n0 & !n3) | (n9 & n0 & n3)
n8, (n2 & n4 & n6)
n9, (n9 & n4 & n6)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_113.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, false
n1, (n6 & !n8 & n1)
n2, (!n6 & !n9 & n7) | (!n6 & n9 & !n7) | (!n6 & n9 & n7)
n3, (n5 & !n9 & n2) | (n5 & n9 & n2)
n4, (!n8 & n1 & n6) | (n8 & !n1 & !n6) | (n8 & n1 & n6)
n5, (!n5 & !n9 & n0)
n6, (!n0 & n1 & n4) | (n0 & !n1 & !n4) | (n0 & n1 & !n4)
n7, false
n8, (n8 & !n2 & !n3)
n9, (!n7 & !n8 & n5) | (n7 & n8 & !n5) | (n7 & n8 & n5)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_114.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, false
n1, false
n2, (!n6 & !n8 & !n1) | (!n6 & !n8 & n1) | (n6 & n8 & n1)
n3, false
n4, (!n2 & !n4 & !n7) | (!n2 & !n4 & n7) | (n2 & n4 & n7)
n5, false
n6, (!n6 & !n1 & n5) | (n6 & !n1 & n5)
n7, (!n7 & !n0 & !n8) | (!n7 & n0 & !n8) | (n7 & n0 & n8)
n8, false
n9, (!n1 & !n7 & n6) | (!n1 & n7 & !n6) | (!n1 & n7 & n6) | (n1 & !n7 & !n6) | (n1 & n7 & n6)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_115.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n0 & !n4 & n3) | (n0 & n4 & !n3)
n1, (!n1 & n3 & n0)
n2, (n5 & !n7 & n8)
n3, (!n2 & !n3 & !n4) | (n2 & !n3 & n4) | (n2 & n3 & n4)
n4, (!n4 & !n3 & !n1) | (n4 & !n3 & !n1)
n5, (!n8 & n3 & !n2) | (n8 & n3 & !n2)
n6, (!n2 & n6 & !n1)
n7, (!n7 & !n0 & !n2) | (n7 & !n0 & !n2) | (n7 & n0 & !n2)
n8, (n4 & !n6 & n2) | (n4 & n6 & !n2) | (n4 & n6 & n2)
n9, (!n7 & n9 & n5) | (n7 & !n9 & !n5)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_116.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n4 & !n8 & !n9)
n1, false
n2, (n5 & !n0 & n7)
n3, (!n8 & n9 & !n4)
n4, (!n2 & !n1 & n6)
n5, (!n6 & !n9 & !n3) | (n6 & !n9 & !n3)
n6, (!n0 & n6 & !n1) | (n0 & !n6 & n1)
n7, (!n6 & !n9 & !n4) | (!n6 & n9 & n4)
n8, (n3 & !n6 & n4) | (n3 & n6 & n4)
n9, (!n4 & n1 & !n5) | (n4 & !n1 & !n5)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_117.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, false
n1, (!n1 & n6 & !n8) | (n1 & n6 & n8)
n2, (!n3 & !n5 & n7)
n3, (n5 & !n7 & !n3) | (n5 & n7 & n3)
n4, (n0 & !n3 & n1) | (n0 & n3 & n1)
n5, (n4 & n5 & !n6)
n6, (n4 & !n2 & !n9)
n7, (!n0 & n9 & !n5) | (!n0 & n9 & n5)
n8, (n5 & !n0 & !n8) | (n5 & n0 & n8)
n9, (!n9 & !n4 & n5) | (!n9 & n4 & !n5)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_118.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n3 & !n9 & n1) | (n3 & !n9 & n1)
n1, (!n8 & !n3 & !n7) | (!n8 & !n3 & n7) | (n8 & !n3 & n7)
n2, (!n9 & n0 & n4) | (n9 & n0 & !n4) | (n9 & n0 & n4)
n3, (!n7 & n4 & !n5) | (n7 & n4 & !n5)
n4, (!n2 & !n1 & n7) | (n2 & !n1 & !n7) | (n2 & n1 & !n7) | (n2 & n1 & n7)
n5, (n6 & n3 & !n1) | (n6 & n3 & n1)
n6, false
n7, (!n2 & !n7 & !n0) | (!n2 & !n7 & n0) | (n2 & !n7 & !n0)
n8, (n5 & !n6 & n8) | (n5 & n6 & n8)
n9, (!n1 & n5 & !n0) | (n1 & !n5 & !n0) | (n1 & n5 & !n0)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_119.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n8 & !n0 & n3) | (n8 & !n0 & !n3)
n1, (!n2 & !n0 & !n4)
n2, (!n0 & !n8 & n5) | (n0 & !n8 & n5)
n3, (!n5 & n8 & n3) | (n5 & !n8 & n3)
n4, (!n7 & !n3 & n9)
n5, false
n6, (!n7 & !n3 & n5) | (!n7 & n3 & n5)
n7, (!n0 & !n3 & !n6) | (!n0 & !n3 & n6) | (!n0 & n3 & n6) | (n0 & n3 & n6)
n8, (!n4 & n6 & n0) | (n4 & !n6 & !n0) | (n4 & !n6 & n0)
n9, (!n6 & n1 & !n2)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_120.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n7 & n4 & n3) | (n7 & n4 & n3)
n1, (!n2 & !n8 & !n6) | (!n2 & n8 & !n6)
n2, (!n7 & !n4 & !n3) | (!n7 & !n4 & n3) | (!n7 & n4 & n3) | (n7 & n4 & n3)
n3, (n9 & !n3 & !n2) | (n9 & n3 & n2)
n4, (!n9 & !n2 & n6) | (!n9 & n2 & !n6)
n5, (!n0 & !n9 & n4) | (n0 & !n9 & !n4) | (n0 & !n9 & n4)
n6, (!n9 & n7 & n4) | (n9 & !n7 & n4)
n7, (!n6 & !n9 & !n5) | (!n6 & n9 & !n5) | (n6 & !n9 & !n5)
n8, (n9 & !n7 & n4)
n9, (!n4 & !n6 & !n2) | (!n4 & n6 & n2) | (n4 & !n6 & n2)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_121.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n8 & n4 & n7) | (n8 & !n4 & n7) | (n8 & n4 & !n7) | (n8 & n4 & n7)
n1, (n8 & !n9 & n7) | (n8 & n9 & n7)
n2, false
n3, (!n6 & !n5 & n2) | (n6 & !n5 & !n2)
n4, (!n6 & !n9 & n0) | (!n6 & n9 & !n0)
n5, (!n7 & !n5 & !n1) | (n7 & n5 & n1)
n6, false
n7, false
n8, (n2 & n5 & !n9) | (n2 & n5 & n9)
n9, (n7 & !n4 & n5) | (n7 & n4 & n5)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_122.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (n8 & n9 & !n7)
n1, (!n5 & !n1 & n2)
n2, (!n7 & n3 & n8)
n3, (n6 & n9 & n7)
n4, false
n5, (!n6 & n1 & !n8) | (!n6 & n1 & n8)
n6, (!n6 & n7 & !n0) | (n6 & n7 & !n0) | (n6 & n7 & n0)
n7, (!n2 & n1 & !n6)
n8, (n2 & !n0 & !n6)
n9, (n2 & !n1 & n9)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_123.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n5 & n4 & n0)
n1, (!n6 & !n0 & !n8) | (!n6 & n0 & !n8) | (n6 & !n0 & n8) | (n6 & n0 & n8)
n2, (!n0 & !n3 & !n5) | (!n0 & !n3 & n5) | (!n0 & n3 & n5) | (n0 & !n3 & n5)
n3, (!n0 & n4 & !n9) | (!n0 & n4 & n9)
n4, (n1 & !n4 & !n0) | (n1 & n4 & n0)
n5, (n0 & n8 & n1)
n6, (!n5 & !n6 & !n4) | (!n5 & n6 & !n4) | (n5 & n6 & !n4)
n7, false
n8, (n0 & !n4 & !n2)
n9, (!n5 & !n6 & !n3) | (n5 & !n6 & !n3) | (n5 & n6 & n3)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_124.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n0 & !n8 & n2) | (n0 & !n8 & n2) | (n0 & n8 & !n2) | (n0 & n8 & n2)
n1, (!n0 & n8 & n5) | (n0 & n8 & !n5)
n2, (n8 & n1 & n2)
n3, (n1 & n0 & !n5)
n4, false
n5, (!n6 & n9 & !n3)
n6, (!n2 & !n1 & n6) | (n2 & n1 & n6)
n7, (n2 & !n5 & n3)
n8, (!n7 & n0 & n8) | (n7 & n0 & !n8)
n9, (!n5 & !n8 & !n2) | (!n5 & n8 & !n2) | (n5 & n8 & !n2)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_125.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (n1 & !n3 & !n8)
n1, (!n6 & n7 & n5) | (n6 & n7 & !n5) | (n6 & n7 & n5)
n2, (!n6 & n7 & n8) | (n6 & !n7 & !n8)
n3, (n6 & n8 & !n1)
n4, (!n0 & !n3 & !n9) | (!n0 & n3 & n9) | (n0 & n3 & !n9)
n5, (!n0 & !n3 & n9) | (n0 & n3 & !n9) | (n0 & n3 & n9)
n6, false
n7, (!n7 & !n3 & n1) | (!n7 & n3 & n1)
n8, (!n0 & n5 & !n1) | (n0 & !n5 & !n1) | (n0 & n5 & !n1) | (n0 & n5 & n1)
n9, (n5 & n2 & !n9)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_126.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (n2 & n6 & n9)
n1, (!n8 & !n4 & n5) | (n8 & !n4 & n5)
n2, (!n4 & !n3 & n8) | (n4 & n3 & n8)
n3, (!n0 & !n9 & !n2) | (!n0 & !n9 & n2) | (!n0 & n9 & n2) | (n0 & !n9 & !n2) | (n0 & !n9 & n2) | (n0 & n9 & n2)
n4, (!n6 & n7 & !n2) | (n6 & !n7 & n2)
n5, (!n7 & n0 & !n4) | (!n7 & n0 & n4) | (n7 & n0 & !n4) | (n7 & n0 & n4)
n6, (n3 & n5 & !n9)
n7, (!n3 & !n6 & n2) | (!n3 & n6 & !n2) | (n3 & n6 & !n2)
n8, (!n2 & !n6 & n8)
n9, false
11 changes: 11 additions & 0 deletions models/random_nk3/n10_127.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (n4 & n6 & !n1)
n1, (n9 & n1 & !n5)
n2, (!n9 & !n5 & n4)
n3, false
n4, (!n7 & !n5 & !n6)
n5, (!n3 & n4 & n0)
n6, (!n7 & !n3 & n5)
n7, (!n6 & n4 & n9) | (n6 & !n4 & !n9) | (n6 & n4 & !n9)
n8, (n1 & !n0 & !n2)
n9, (!n2 & !n7 & !n8)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_128.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n6 & n8 & n3)
n1, false
n2, (n6 & n9 & !n2) | (n6 & n9 & n2)
n3, (!n1 & !n2 & n9) | (n1 & n2 & n9)
n4, (n2 & !n9 & n1)
n5, false
n6, (!n0 & n8 & n2) | (n0 & !n8 & !n2) | (n0 & !n8 & n2) | (n0 & n8 & !n2)
n7, (n3 & n4 & !n9)
n8, false
n9, (!n5 & n8 & n9)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_129.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n4 & !n7 & !n9) | (!n4 & n7 & !n9) | (n4 & !n7 & !n9) | (n4 & n7 & !n9)
n1, (!n0 & !n1 & !n6) | (!n0 & !n1 & n6) | (!n0 & n1 & n6) | (n0 & n1 & !n6)
n2, (!n5 & n9 & !n8)
n3, (!n6 & !n5 & n2) | (n6 & n5 & !n2)
n4, (!n0 & !n1 & n3) | (n0 & !n1 & n3)
n5, (n9 & !n8 & n0)
n6, false
n7, false
n8, false
n9, (!n0 & n7 & !n4) | (n0 & !n7 & n4)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_130.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (n6 & n9 & n0)
n1, (!n8 & !n6 & !n1) | (!n8 & n6 & !n1)
n2, (n1 & !n7 & !n4) | (n1 & n7 & n4)
n3, (!n5 & !n2 & !n1)
n4, (!n6 & n3 & n5)
n5, (n5 & n0 & !n9)
n6, (!n7 & n4 & n2) | (n7 & n4 & n2)
n7, (n0 & !n8 & !n3) | (n0 & n8 & !n3)
n8, (!n1 & n4 & n3)
n9, (!n8 & !n0 & !n2) | (!n8 & !n0 & n2) | (n8 & !n0 & !n2)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_131.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n2 & !n6 & n1)
n1, (!n7 & n2 & !n0) | (n7 & !n2 & n0)
n2, (!n6 & n2 & n0) | (n6 & !n2 & n0)
n3, (!n7 & !n1 & n9) | (n7 & !n1 & n9)
n4, (!n8 & n1 & !n0) | (n8 & !n1 & !n0)
n5, (!n9 & !n6 & !n7)
n6, (!n7 & n5 & !n0) | (n7 & !n5 & !n0) | (n7 & !n5 & n0) | (n7 & n5 & n0)
n7, (!n9 & !n8 & !n0) | (n9 & !n8 & n0)
n8, false
n9, (!n8 & n9 & n0) | (n8 & !n9 & !n0)
11 changes: 11 additions & 0 deletions models/random_nk3/n10_132.bnet
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
targets, factors
n0, (!n8 & !n5 & n2)
n1, (!n7 & n8 & !n4) | (!n7 & n8 & n4) | (n7 & !n8 & !n4) | (n7 & !n8 & n4) | (n7 & n8 & !n4) | (n7 & n8 & n4)
n2, (n0 & !n4 & n6)
n3, (n5 & !n0 & n8) | (n5 & n0 & !n8)
n4, (!n2 & !n3 & !n1)
n5, (!n2 & n5 & !n9) | (!n2 & n5 & n9) | (n2 & n5 & !n9)
n6, false
n7, (!n2 & !n1 & !n4)
n8, (n6 & !n5 & n9) | (n6 & n5 & n9)
n9, (!n8 & !n7 & !n2) | (!n8 & n7 & !n2) | (n8 & n7 & !n2)
Loading

1 comment on commit ac47701

@github-actions
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coverage

Coverage Report
FileStmtsMissCoverMissing
balm
   SuccessionDiagram.py2114181%6, 124–131, 136–140, 153, 160, 167, 175, 178, 184–215, 306, 446–448, 454, 580
   control.py1191389%48, 57, 61, 67, 81, 90–106, 320, 335
   interaction_graph_utils.py57689%6–7, 44, 57, 82–83
   motif_avoidant.py164597%24–25, 131, 185, 310
   petri_net_translation.py84693%23–24, 52, 63–64, 94
   pyeda_utils.py963564%12–13, 57–67, 91, 96, 99–113, 141–145
   space_utils.py1471590%15–17, 179–193, 220, 235, 292
   state_utils.py691283%15, 57–68, 102, 109, 118
   trappist_core.py1872686%10–12, 40, 42, 82, 128, 193, 195, 197, 232–234, 254–260, 318, 320, 350, 390, 392, 423, 452
balm/_sd_algorithms
   compute_attractor_seeds.py30197%8
   expand_attractor_seeds.py51492%6, 95–100
   expand_bfs.py28196%6
   expand_dfs.py30197%6
   expand_minimal_spaces.py37197%6
   expand_source_SCCs.py188896%19, 89, 99, 142, 165–166, 171, 286
   expand_to_target.py31390%6, 38, 43
TOTAL155817889% 

Tests Skipped Failures Errors Time
363 0 💤 0 ❌ 0 🔥 1m 18s ⏱️

Please sign in to comment.