Our evaluation used the StarExec cluster for evaluation https://​www.starexec.org. The jobs we ran in our evaluation are publicly available, and can be accessed by logging into StarExec as a guest (click "​Guest"​ at the bottom of the log in page). The links to the individual jobs are:

+

Our evaluation used the StarExec cluster for evaluation https://​www.starexec.org. The jobs we ran in our evaluation are publicly available, and can be accessed by logging into StarExec as a guest (click "​Guest"​ at the bottom of the log in page). The links to the individual jobs are below, which include additional configurations not mention in this paper.

-

For all three configurations of CVC4:

+

For all solvers, except the latest version of CVC4, on benchmarks with syntactic restrictions:​