real 0m12.095s
user 0m11.773s
sys 0m1.539s
very long if you uncomment the check section some tests take for ever