I found out i have a domain portfolio from years ago. Worth anything?

Hello folks! Knowlegable about the whole domain space but i recently found out i am sitting on a small portfolio of quite catchy named domains. Could someone help me put a price tag on those? How would you go about selling them?

Would they even sell at all?

Here are the domains:

• simplestoic.com
• sales-go.com
• avalonlabs.xyz
• marhit.com
• criup.com
• beflum.com
• typhlo.com
• eargap.com

Thank you for your expertise folks!