Skip to content
Branch: master
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
bsl_sat
qf_bsl_sat
qf_bsllia_sat
qf_shid_entl
qf_shid_sat
qf_shidlia_entl
qf_shidlia_sat
qf_shlid_entl
qf_shls_entl
qf_shls_sat
shid_entl
shidlia_entl
README.md

README.md

SL-COMP'18 Benchmark

The set of problems used for SL-COMP'18 split in the following divisions (description of logics used in each division is available in the directory input/Logics/):

  • SAT problems:
  • qf_shls_sat: sat problems for QF_SHLS logic, SL-COMP'14 division sll0a_sat
  • qf_shls_entl: entailment problems for QF_SHLS logic, SL-COMP'14 division sll0a_entl
  • qf_shid_sat: sat problems for QF_SHID logic, SL-COMP'14 division UDB_sat
  • qf_shidlia_sat: sat problems for QF_SHIDLIA logic, NEW division
  • qf_bsl_sat: sat problems for QF_BSL logic, NEW division
  • qf_bsllia_sat: sat problems for QF_BSLLIA logic, NEW division
  • bsl_sat: sat problems for BSL logic NEW division
  • Entailment problems:
  • qf_shid_entl: entailment problems for QF_SHID logic, SL-COMP'14 division UDB_entl
  • qf_shlid_entl: entailment problems for QF_SHLID logic, SL-COMP'14 division FDB_entl
  • shid_entl: entailment problems for SHID logic, NEW division
  • qf_shidlia_entl: entailment problems for QF_SHIDLIA logic, NEW division
  • shidlia_entl: entailment problems for SHIDLIA logic, NEW division
You can’t perform that action at this time.