Improved framework to integrate manually-solved instances.