None of the above. You have a large space located in a basement. By nature, basement are very dead spaces for subwoofers. All the subs you mentioned are good subs, but to get a good tactile respone, 4 sub is most likely needed. For the cost of the mentioned sub, Get 4 Stereo Integrity 18 in. subwoofer driver and build your own in 1-2 day. A second option is Part Express 18 in. Dayton sub kit. You just need glue and clamps for the most part.
I am in a larger basement and use 4 subs with a total of six 18 in. driver to get the job done. I tried two and it was loud enough but, lacking in the tactile response department. For large areas, multiple subs is the way to go. Start with two and add on later. DIY is way less cost and a better performace/cost ratio.
Klipsch RF 7 based HT 7.4, Pioneer SC 35, Acurus 200 Five, Dayton 18 Ultimxa Dual Sub Cab(2), Dayton 18 Ultimax Large Vented Sub Cab (2), on Berhinger I Nuke DPS amps, Samsung BDP F 7500, Asus/My Book Live HPC 4 TB
Yaquin VK 2100 amp, McIntosh XR 5 speakers, Samsung BDP F 7500