prover {
  aliases = cvc4;
  kind = CVC4;
  version = "1.4";
  path = "/opt/local/bin/cvc4";
  timeout = 20.0;
  showQueries = false;
  showInconclusives = false;
  showErrors = true;
}
prover {
  aliases = cvc3;
  kind = CVC3;
  version = "2.4.1";
  path = "/usr/bin/cvc3";
  timeout = 20.0;
  showQueries = false;
  showInconclusives = false;
  showErrors = true;
}