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