cross-sections with contractible pieces: 47
reachable states: 8372  transitions tried: 2949441  time 56.6s
Bellman-Ford iterations: 4  positive cycle: False
flags []
RESULT prism 2x2: maximum chi of a finite configuration (block) = 0
=> NO counterexample in Z x [0,2) x [0,2) (all lengths)
time 57.7s
