I'm not super familiar with .co sales but they do sell. There's zero guarantee that these will sell, but if these were my names, this is what i would price them at.
If you want a higher chance of selling them, then price them lower.
ocity(.co) - Could ask $495
php5(.co) - Worthless. We're on php7 or something now.
configserver(.co) - Probably worthless.
proxyservers(.co) - Could probably ask $2,495.
autoprice(.co) - Could ask $495.
greenparadise(.co) - Could ask $1,495. Nice brandable.
catton(.co) - $495
3rp(.co) - ?
nocontact(.co) - Worthless probably.
noproduct(.co) - Worthless
condor(com.co) - Worthless