Adcionado tempo de execução para a busca por backtracking;
Adcionada a contagem de estados expandidos para a busca por backtracking;

Signed-off-by: Paulo Vitor <pvfreitassilva@gmail.com>