Olá,
Estou tentando resolver alguns daqueles 35 problemas usando o UCPOP, mas até agora só consegui o BLOCKS-4-2 com tempo de cpu 34.5982
Alguém conseguiu resolver mais problemas? Queria saber se há algo de errado na minha descrição ou se os problemas precisam de um tempo maior mesmo.
Estou usando o seguinte limite para busca:
(setf *search-limit* 10000)
Obrigado.
[]s
Forum