Commit 2daa0354 authored by ehilin02's avatar ehilin02
Browse files

experiments

parent 9347b1f5
...@@ -73,7 +73,7 @@ and the satisfiability or entailment queries in the SL-COMP format~\cite{SLCOMPs ...@@ -73,7 +73,7 @@ and the satisfiability or entailment queries in the SL-COMP format~\cite{SLCOMPs
\smallskip \smallskip
\mypar{Benchmarks.} \mypar{Benchmarks.}
We generated 190 benchmarks, We generated 190 benchmarks,
available at~\cite{CompSpenSite} (directory \texttt{samples}), available at~\cite{benchmark},
%with 88 and 102 instances for the satisfiability and entailment problem respectively. These benchmarks are %with 88 and 102 instances for the satisfiability and entailment problem respectively. These benchmarks are
classified into four suites, whose sizes are given in Table~\ref{tab-exp}, as follows: classified into four suites, whose sizes are given in Table~\ref{tab-exp}, as follows:
%%MS: not clear what is the number here, leave it to the table. %%MS: not clear what is the number here, leave it to the table.
......
...@@ -513,7 +513,14 @@ series = {ISMM 2020} ...@@ -513,7 +513,14 @@ series = {ISMM 2020}
OPTauthor = {{CompSpen} github site}, OPTauthor = {{CompSpen} github site},
title = {The {CompSpen} Solver}, title = {The {CompSpen} Solver},
OPTyear = {2019}, OPTyear = {2019},
note = {\url{https://github.com/gaochong1111/compspen}} note = {\url{https://github.com/suwy123/compspen2}}
}
@misc{benchmark,
OPTauthor = {{CompSpen+} benchmarks},
title = {{CompSpen+} benchmarks},
OPTyear = {2021},
note = {\url{https://github.com/suwy123/compspen2/tree/master/samples/PAsamples}}
} }
@inproceedings{EneaSW15, @inproceedings{EneaSW15,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment