package jkind;

public enum SolverOption {
	YICES, CVC4, Z3, YICES2, MATHSAT, SMTINTERPOL;

	@Override
	public String toString() {
		return name().toLowerCase();
	}
}

@@ -41,53 +41,53 @@
  %7B%0A%09
-YICES, CVC4, Z3, YICES2, MATHSAT, SMTINTERPOL
+SMTINTERPOL, Z3, YICES, YICES2, CVC4, MATHSAT
 ;%0A%0A%09

Change order of solvers to reflect preference