Hi,

since I started to run the revised submissions test set, Jeff submitted his Neos Instances, which amount 710 instances. As far as I remember, there has been at least one other late submission.

My

grep -vf revised-submissions-2017.test revised-submissions-v2.test.bzfgamra | sort

shows one additional instance from the Gurobi forum, apart from the Neos-stuff.

Is the revised submissions repository complete, as it is?

@bzfgleix @bzfschuc