--clausifier res/vclausify_rel
--clausifier_options --mode clausify -ss axioms -sd 0 -st 2 -t 30
--suppress_sat_res true
