--clausifier res/vclausify_rel
--clausifier_options --mode clausify   -t 100
--schedule none 
--instantiation_flag true
--resolution_flag false
--superposition_flag false
--sat_mode true
--sat_finite_models true
--sat_gr_def true
--sat_epr_types true
--sat_non_cyclic_types false
--sat_fm_lemmas false
--sat_fm_prep false
--sat_fm_uc_incr false
--sat_out_model small
