--clausifier res/vclausify_rel
--clausifier_options --mode tclausify --ignore_unrecognized_logic on --show_fool true --input_syntax smtlib2 -t 200
--schedule sat
--sub_typing false
