echo timeout info to a file don't disable clause learning, it's not supported yet
echo timeout info to a file
don't disable clause learning, it's not supported yet

rbonifacio/funsat,rbonifacio/funsat,dbueno/funsat,dbueno/funsat,rbonifacio/funsat,rbonifacio/funsat