Boosting MCSes Enumeration (IJCAI'18)
This web page contains :
- the runtime code of the experimented method Enum-ELS-RMR-Cache under Linux OS (tool.tar.xz)
- a list of the benchmarks considered in our experimentation (benchmarks)
- the benchmarks themselves (MUS11.tar, ijcai13-bench.tgz)
- a table synthesizing the number of enumerated MCSes (results.pdf)
EnumELSRMRCache: a tool for MCSes enumeration
Run (under Linux OS):
$ ./enumELSRMRCache BENCHNAME
$ ./enumELSRMRCache -verb=1 BENCHNAME /* print MCS models
$ ./enumELSRMRCache -nb=NB_MAX_MCS BENCHNAME /* set the maximal number of MCSes to extract
$ ./enumELSRMRCache -verb=1 BENCHNAME /* print MCS models
$ ./enumELSRMRCache -nb=NB_MAX_MCS BENCHNAME /* set the maximal number of MCSes to extract