Problem with time-analysis duration

[mstad]

Hi,
is there a way to bound the time-analysis for smart contracts? If I process big smart contracts with manticore I have to wait, often, more than 1 day. Can I, for example, create a time-bound after which manticore sends the found results till that moment?
Is there an option like this? Thanks so much.