Updates
As I was part of organizing CHC Comp 22 and 23, Spacer could not participate officially. However, Spacer was a honours participant and won many tracks in both competitions.
We won ALL tracks in CHC-COMP-21!!!!
Looking forward to presenting our work at CAV 2020. (slides: ppt, pdf)
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
Experiment results
We present the results of experiments for our CAV 2020 paper. All the benchmarks were obtained from CHC-COMP-18 and CHC-COMP-19.
LIA (summary)(plots)(consolidated output)
LIA-NONLIN (summary)(plots)(consolidated output)
LRA (summary)(plots)(consolidated output)
Comparing effectiveness of the 3 rules in GSpacer (summary)(plots)(consolidated output)