Does WPSOLR exclude variations without stock from the filter terms and results on the category page ?
Apparently WooCommerce does not handle this. If you select an attribute in the layered navigation, it still shows all products, even those where this specific variation is out of stock.