--clausifier res/vclausify_rel
--clausifier_options --mode clausify -t 20
--schedule sat
