--clausifier res/vclausify_rel
--clausifier_options --mode clausify   -t 100
--schedule none 
--prep_eq_flat_conj false
--sub_typing false
--resolution_flag false
--instantiation_flag false
