An analysis of the results of SYNTCOMP 2017, including short descriptions of solvers and benchmarks, has now been published in the proceedings of SYNT 2017.
An analysis of the results of SYNTCOMP 2017, including short descriptions of solvers and benchmarks, has now been published in the proceedings of SYNT 2017.