bliss-0.72 -> bliss
Compute var equivalence using bliss.
Ignore experiments with only satisfiable outcome in interactive mode