Why is the autoinst list not an issue? libsolv will not uninstall packages that are not part of the autoinst list (as it thinks they are user installed). Can you please create two testcases, one for the install and one for the uninstall?