We won ALL tracks in CHC-COMP-21!!!!
We won three of the four tracks in CHC-COMP-20!!!!
The paper can be found on arxiv
Analysis of GSpacer on LIA and LRA benchmarks from CHC-COMP 2018-2021
We analyzed the performance of GSpacer on all LIA and LRA benchmarks from CHC-COMP 2018-2021. Here is the raw data