Automatically generated instances used in Monica's dissertation.
They are harder than the ones in instances-auto.
