#KJ-109 Experiment with searching a program execution with pattern. Tested dining philosophers program after i optimized threading model checking. We have 7 solutions in 1m50s.