--clausifier res/vclausify_rel
--clausifier_options --mode clausify   -t 100
--schedule none
--resolution_flag false
--instantiation_flag false
--sup_passive_queues [[+diversity;-num_symb];[-num_symb];[+age]]
--sup_passive_queues_freq [10;5;1]
