algorithm_cutoff_memory: 16384
algorithm_cutoff_time: 3600
default_steps:
- all_feats
feature_steps:
  all_feats:
    provides:
    - EXIST_VARS
    - FORALL_VARS
    - TOTAL_VARS
    - CLAUSES
    - LITERALS
    - EXIST_SET
    - FORALL_SET
    - TOTAL_SET
    - UNARY_CLAUSES
    - BINARY_CLAUSES
    - TERNARY_MORE_CLAUSES
    - POS_HORN
    - NEG_HORN
    - EXIST_LIT_PER_CLAUSE
    - FORALL_LIT_PER_CLAUSE
    - EXIST_VARS_PER_SET
    - FORALL_POS_LITS_PER_CLAUSE
    - FORALL_NEG_LITS_PER_CLAUSE
    - OCCS_POS_NO_PER_VAR
    - OCCS_FORALL_NO_PER_VAR
    - OCCS_FORALL_POS_NO_PER_VAR
    - W_OCCS_POS_NO_PER_VAR
    - W_OCCS_FORALL_NO_PER_VAR
    - W_OCCS_FORALL_POS_NO_PER_VAR
    - W_PRODUCTS
    - LITN_LIT
    - LITEP_LIT
    - LITEN_LITE
    - LITEN_LITN
    - LITFN_LIT
    - LITFP_LITFN
    - OCCP_OCCN
    - OCCE_OCC
    - OCCEN_OCC
    - OCCFP_OCCF
    - OCCEN_OCCE
    - OCCEN_OCCN
    - OCCFP_OCCFN
    - TERMORE_CLAUSE
    - NEG_HORN_CLAUSE
    - WOCCN_WOCC
    - WOCCEP_WOCC
    - WOCCFN_WOCC
    - WOCCEP_WOCCE
    - WOCCEP_WOCCP
    - WOCCFN_WOCCN
features_cutoff_memory: '?'
features_cutoff_time: '?'
features_deterministic:
- EXIST_VARS
- FORALL_VARS
- TOTAL_VARS
- CLAUSES
- LITERALS
- EXIST_SET
- FORALL_SET
- TOTAL_SET
- UNARY_CLAUSES
- BINARY_CLAUSES
- TERNARY_MORE_CLAUSES
- POS_HORN
- NEG_HORN
- EXIST_LIT_PER_CLAUSE
- FORALL_LIT_PER_CLAUSE
- EXIST_VARS_PER_SET
- FORALL_POS_LITS_PER_CLAUSE
- FORALL_NEG_LITS_PER_CLAUSE
- OCCS_POS_NO_PER_VAR
- OCCS_FORALL_NO_PER_VAR
- OCCS_FORALL_POS_NO_PER_VAR
- W_OCCS_POS_NO_PER_VAR
- W_OCCS_FORALL_NO_PER_VAR
- W_OCCS_FORALL_POS_NO_PER_VAR
- W_PRODUCTS
- LITN_LIT
- LITEP_LIT
- LITEN_LITE
- LITEN_LITN
- LITFN_LIT
- LITFP_LITFN
- OCCP_OCCN
- OCCE_OCC
- OCCEN_OCC
- OCCFP_OCCF
- OCCEN_OCCE
- OCCEN_OCCN
- OCCFP_OCCFN
- TERMORE_CLAUSE
- NEG_HORN_CLAUSE
- WOCCN_WOCC
- WOCCEP_WOCC
- WOCCFN_WOCC
- WOCCEP_WOCCE
- WOCCEP_WOCCP
- WOCCFN_WOCCN
features_stochastic: null
maximize:
- false
metainfo_algorithms:
  2clsQ:
    configuration: ''
    deterministic: true
  QuBE:
    configuration: ''
    deterministic: true
  quantor:
    configuration: ''
    deterministic: true
  sKizzo:
    configuration: ''
    deterministic: true
  sSolve:
    configuration: ''
    deterministic: true
number_of_feature_steps: 1
performance_measures:
- runtime
performance_type:
- runtime
scenario_id: QBF-2011
