flexible timeout option for disprover
reworked export as disprover testcase