banchmark 2 (n = 80000) # total time : 451.66µs (80.53% propagation, 18.73% forced collapse, 0.00% backtrack) - 13 propagations (27.98µs), 8 forced collapse (10.58µs), 0 backtrack (0.00ns) (0 errors) benchmark 3 (n = 8000) # total time : 9.94ms (62.15% propagation, 37.50% forced collapse, 0.12% backtrack) - 78 propagations (79.17µs), 48 forced collapse (77.63µs), 0 backtrack (0.00ns) (0 errors) benchmark 4 (n = 300) # total time : 116.36ms (43.53% propagation, 56.03% forced collapse, 0.23% backtrack) - 265 propagations (191.13µs), 183 forced collapse (356.23µs), 4 backtrack (66.91µs) benchmark 5 (n = 100) # total time : 886.94ms (31.81% propagation, 67.66% forced collapse, 0.43% backtrack) - 743 propagations (379.77µs), 506 forced collapse (1.19ms), 27 backtrack (140.68µs)