Skip to content

Commit

Permalink
size 5 nk models
Browse files Browse the repository at this point in the history
  • Loading branch information
kyuhyongpark committed Dec 19, 2023
1 parent cd3cc16 commit 567eb37
Show file tree
Hide file tree
Showing 200 changed files with 1,200 additions and 0 deletions.
6 changes: 6 additions & 0 deletions models/random_nk2/n5_0.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_1.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_10.bnet
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
targets, factors
n0, (!n2 & n1)
n1, false
n2, (!n3 & !n1) | (n3 & n1)
n3, false
n4, (!n4 & n2) | (n4 & !n2)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_11.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_12.bnet
Original file line number Diff line number Diff line change
@@ -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
6 changes: 6 additions & 0 deletions models/random_nk2/n5_13.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_14.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_15.bnet
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
targets, factors
n0, true
n1, (n2 & !n0)
n2, (!n4 & n2)
n3, (!n4 & !n2) | (!n4 & n2) | (n4 & !n2)
n4, (!n0 & n3)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_16.bnet
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
targets, factors
n0, (n3 & n4)
n1, (n2 & !n4) | (n2 & n4)
n2, true
n3, (n0 & n4)
n4, false
6 changes: 6 additions & 0 deletions models/random_nk2/n5_17.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_18.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_19.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_2.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_20.bnet
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
targets, factors
n0, (!n1 & n4) | (n1 & n4)
n1, false
n2, true
n3, (n3 & n4)
n4, (n4 & !n2) | (n4 & n2)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_21.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_22.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_23.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_24.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_25.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_26.bnet
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
targets, factors
n0, false
n1, true
n2, true
n3, (!n3 & !n2) | (!n3 & n2) | (n3 & n2)
n4, (n2 & n0)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_27.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_28.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_29.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_3.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_30.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_31.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_32.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_33.bnet
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
targets, factors
n0, true
n1, (!n1 & !n4) | (!n1 & n4) | (n1 & !n4)
n2, (n4 & !n0)
n3, (n4 & n2)
n4, (!n4 & n2)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_34.bnet
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
targets, factors
n0, (!n1 & !n3) | (n1 & !n3)
n1, (!n2 & n1)
n2, (!n0 & n2) | (n0 & !n2)
n3, false
n4, (!n4 & n3)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_35.bnet
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
targets, factors
n0, (!n3 & n1)
n1, (!n0 & n1) | (n0 & !n1)
n2, (n1 & n2)
n3, (n0 & n3)
n4, false
6 changes: 6 additions & 0 deletions models/random_nk2/n5_36.bnet
Original file line number Diff line number Diff line change
@@ -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
6 changes: 6 additions & 0 deletions models/random_nk2/n5_37.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_38.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_39.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_4.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_40.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_41.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_42.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_43.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_44.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_45.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_46.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_47.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_48.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_49.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_5.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_50.bnet
Original file line number Diff line number Diff line change
@@ -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
6 changes: 6 additions & 0 deletions models/random_nk2/n5_51.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_52.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_53.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_54.bnet
Original file line number Diff line number Diff line change
@@ -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
6 changes: 6 additions & 0 deletions models/random_nk2/n5_55.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_56.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_57.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_58.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_59.bnet
Original file line number Diff line number Diff line change
@@ -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)
6 changes: 6 additions & 0 deletions models/random_nk2/n5_6.bnet
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
targets, factors
n0, false
n1, (!n2 & !n0)
n2, (!n1 & !n4) | (n1 & n4)
n3, (!n3 & !n4) | (n3 & n4)
n4, (n4 & !n1)
Loading

1 comment on commit 567eb37

@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.py156497%6–7, 208, 468
   control.py1201389%47, 56, 60, 66, 80, 89–105, 319, 334
   interaction_graph_utils.py142894%6–9, 57, 70, 95–96
   motif_avoidant.py163597%23–24, 130, 184, 309
   petri_net_translation.py84693%23–24, 52, 63–64, 94
   pyeda_utils.py953464%12, 56–66, 90, 95, 98–112, 140–144
   space_utils.py145696%15–16, 189, 218, 233, 290
   state_utils.py681282%15, 55–66, 98, 105, 114
   terminal_restriction_space.py44491%6–7, 80, 97
   trappist_core.py1862089%10–11, 39, 41, 81, 127, 192, 194, 196, 231–233, 259, 317, 319, 349, 389, 391, 422, 451
balm/FVSpython3
   FVS.py481079%93–94, 102, 138, 190–198
   FVS_localsearch_10_python.py90199%179
balm/_sd_algorithms
   compute_attractor_seeds.py29197%6
   expand_attractor_seeds.py51492%6, 95–100
   expand_bfs.py28196%6
   expand_dfs.py30197%6
   expand_minimal_spaces.py37197%6
   expand_source_SCCs.py184796%84, 94, 137, 160–161, 166, 281
   expand_to_target.py30390%6, 37, 42
TOTAL182714192% 

Tests Skipped Failures Errors Time
366 0 💤 0 ❌ 0 🔥 2m 45s ⏱️

Please sign in to comment.