first zero-path filtration n=11: 0 1 2 3 4 5 6 7 23 13 02
first zero-path filtration n=10: 0 1 2 3 4 5 6 23 13 02
first zero-path filtration n=9: 0 1 2 3 4 5 23 13 02
first zero-path filtration n=8: 0 1 2 3 4 23 13 02
first zero-path filtration n=7: 0 1 2 3 23 13 02
n filtrations withNonIncident zeroPaths multiPaths closedVpath C3strictHolds C3strictFails
1 1 0 0 0 0 1 0
2 1 0 0 0 0 1 0
3 2 0 0 0 0 2 0
4 5 0 0 0 0 5 0
5 19 1 0 0 0 19 0
6 87 7 0 0 0 87 0
7 522 81 2 0 0 522 0
8 3713 755 24 0 0 3713 0
9 31773 8713 441 0 0 31773 0
10 317341 104668 6372 0 0 317341 0
11 3651970 1421676 108130 0 0 3651970 0
TOTAL filtrations n<=11: 4005434; C3 strict fails: 0; max DFS nodes for one filtration: 12
