Ottimizzato il risolutore
Corretti bug nell'esperimento