What climate are you in? That affects how much of the year your chickens can use the run, which affects how important coop size is.
In some climates, the hens really do use the enclosed coop only for sleeping and laying eggs, and spend all their days in the run. Most prefab coops will sort-of work in such climates (or if you put the entire thing inside a big climate-controlled building.)
But in most climates, there are lots of days when the hens need to spend their time inside the coop, so it needs to be much bigger. Most prefab coops are not large enough for chickens to spend time inside while they are awake.
The common rule of thumb is 4 square feet per hen in the coop, and 10 square feet per hen in the run. That allows for hens to spend entire days in the coop if needed, although they aren't too happy about it. In a harsh climate, you should allow even more coop space than that.
That would require 16 square feet of space in the coop, and 40 square feet of space in the run.
That coop space means actual space they can walk around, not space used for nestboxes. A walk-in coop with raised nestboxes allows the hens to use the floor under the nests. A raised coop with the nestboxes at the same level as the floor does not allow that.
I would estimate the coop space a bit smaller than that, because it's less than half of the total footprint. Also, the nestboxes are part of that "coop" space, which further reduces how much is usable by the hens.
I think it is the biggest of the three you listed (definitely run, and probably coop as well.) So it's probably better than the other two, although I would still aim for bigger yet.
I notice that is the case for every one you listed.
According to the dimensions, it does NOT provide enough space for 4 hens.
Quote from the website:
That works out to a house size about 4 square feet, and a run size of just over 12 square feet (without add-on run.)
So it's big enough for one hen, not four.
I think this is the worst of the three you listed, and I would not consider it.
Dimensions include:
So if you subtract the nestbox width, the coop and run are both narrower than those dimensions.
Their coop dimensions would work out to 9.5 square feet, but since part of that is nestbox, it's actually smaller.
I cannot find the actual width of the run, but even their overall dimensions would make less than 30 square feet. (And the run is smaller than that, because it is skinnier than the "including nestbox" measurement.)
I would not get this one either.
You might consider this one:
https://www.tractorsupply.com/tsc/product/producers-pride-extra-large-sentinel-chicken-coop-mfc-ls
I do not know about the quality of construction, but it comes very close to having enough space.
That makes 38.5 square feet of run.
I'm having trouble finding the coop dimensions on the site, but one of the comments says,
"The coop itself is 18.82 square feet, and the overall product is 55.6 square feet you can also refer to the manual on the TSC website."
For this coop (unlike the others) the nestboxes are raised, so the hens can use the space underneath them. That means the coop does have enough square feet of space.
So if you must buy a prefab coop, I would probably buy that one.
I would still add additional run space if possible, but I think this is more workable than most other prefab coops.