generatore istanze, bugfix, refactoring dei solver