Finally, Alice buys the horse for 5 and Bob buys the car for 6, which is different than the result of the ascending auction but still an equilibrium.
Finally, Alice buys the horse for 5 (her net utility is 3) and Bob buys the car for 6 (his net utility is 1). This is different than the result of the ascending auction but still an equilibrium.