Faster and better simple temporal problems