>> Maybe Lua should have 13 seconds timeout to make the competition honest? Lua is so low because the algorithm needs 64 bit precision and it is Lua 5.2. They should not give more time to Lua, they should just update to 5.3.