Submission

Type: object
No Additional Properties

Name

Type: string

Contributors

Type: array

Must contain a minimum of 1 items

No Additional Items

Each item of this array must be:

Type: object

Contributors in the developement of the solver. If only name is provided,
it can be directly given.

No Additional Properties
Examples:

"Jane Smith"
{
    "name": "Jane Smith",
    "website": "http://jane.smith.name"
}

Name

Type: string

Website

Default: null

Type: stringFormat: uri

Must be at least 1 characters long

Must be at most 2083 characters long

Contacts

Type: array

Must contain a minimum of 1 items

No Additional Items

Each item of this array must be:

Type: object

Name and valide email "name "


Example:

"Jane Smith <jane.smith@edu.world>"

Name

Type: string

Email

Type: string

Default: null

Type: object

Url

Type: stringFormat: uri

Must be at least 1 characters long

Must be at most 2083 characters long

Default: null

Type: object
No Additional Properties

Type: null
Type: null

Default: null

Type: object
No Additional Properties

Binary

Type: string

Arguments

Type: array of string Default: []
No Additional Items

Each item of this array must be:

Compa Starexec

Type: boolean Default: false
Type: null

Website

Type: stringFormat: uri

Must be at least 1 characters long

Must be at most 2083 characters long

System Description

Type: stringFormat: uri

Must be at least 1 characters long

Must be at most 2083 characters long

Type: enum (of string)

Must be one of:

  • "wrapped"
  • "derived"
  • "Standalone"

Type: array
No Additional Items

Each item of this array must be:

Type: object
No Additional Properties

Tracks

Type: array
No Additional Items

Each item of this array must be:

Type: enum (of string)

Must be one of:

  • "UnsatCore"
  • "SingleQuery"
  • "ProofExhibition"
  • "ModelValidation"
  • "Incremental"
  • "Cloud"
  • "Parallel"

Type: array Default: []
No Additional Items

Each item of this array must be:

Type: enum (of string)

Must be one of:

  • "ABV"
  • "ABVFP"
  • "ABVFPLRA"
  • "ALIA"
  • "ANIA"
  • "AUFBV"
  • "AUFBVDTLIA"
  • "AUFBVDTNIA"
  • "AUFBVDTNIRA"
  • "AUFBVFP"
  • "AUFDTLIA"
  • "AUFDTLIRA"
  • "AUFDTNIRA"
  • "AUFFPDTNIRA"
  • "AUFLIA"
  • "AUFLIRA"
  • "AUFNIA"
  • "AUFNIRA"
  • "BV"
  • "BVFP"
  • "BVFPLRA"
  • "FP"
  • "FPLRA"
  • "LIA"
  • "LRA"
  • "NIA"
  • "NRA"
  • "QF_ABV"
  • "QF_ABVFP"
  • "QF_ABVFPLRA"
  • "QF_ALIA"
  • "QF_ANIA"
  • "QF_AUFBV"
  • "QF_AUFBVFP"
  • "QF_AUFBVLIA"
  • "QF_AUFBVNIA"
  • "QF_AUFLIA"
  • "QF_AUFNIA"
  • "QF_AX"
  • "QF_BV"
  • "QF_BVFP"
  • "QF_BVFPLRA"
  • "QF_DT"
  • "QF_FP"
  • "QF_FPLRA"
  • "QF_IDL"
  • "QF_LIA"
  • "QF_LIRA"
  • "QF_LRA"
  • "QF_NIA"
  • "QF_NIRA"
  • "QF_NRA"
  • "QF_RDL"
  • "QF_S"
  • "QF_SLIA"
  • "QF_SNIA"
  • "QF_UF"
  • "QF_UFBV"
  • "QF_UFBVDT"
  • "QF_UFBVLIA"
  • "QF_UFDT"
  • "QF_UFDTLIA"
  • "QF_UFDTLIRA"
  • "QF_UFDTNIA"
  • "QF_UFFP"
  • "QF_UFFPDTNIRA"
  • "QF_UFIDL"
  • "QF_UFLIA"
  • "QF_UFLRA"
  • "QF_UFNIA"
  • "QF_UFNRA"
  • "UF"
  • "UFBV"
  • "UFBVDT"
  • "UFBVFP"
  • "UFBVLIA"
  • "UFDT"
  • "UFDTLIA"
  • "UFDTLIRA"
  • "UFDTNIA"
  • "UFDTNIRA"
  • "UFFPDTNIRA"
  • "UFIDL"
  • "UFLIA"
  • "UFLRA"
  • "UFNIA"
  • "UFNRA"

Divisions

Type: array Default: []
No Additional Items

Each item of this array must be:

Type: enum (of string)

Must be one of:

  • "Arith"
  • "Bitvec"
  • "Equality"
  • "Equality+LinearArith"
  • "Equality+MachineArith"
  • "Equality+NonLinearArith"
  • "FPArith"
  • "QF_ADT+BitVec"
  • "QF_ADT+LinArith"
  • "QF_Bitvec"
  • "QF_Datatypes"
  • "QF_Equality"
  • "QF_Equality+Bitvec"
  • "QF_Equality+Bitvec+Arith"
  • "QF_Equality+LinearArith"
  • "QF_Equality+NonLinearArith"
  • "QF_FPArith"
  • "QF_LinearIntArith"
  • "QF_LinearRealArith"
  • "QF_NonLinearIntArith"
  • "QF_NonLinearRealArith"
  • "QF_Strings"

Default: null

Type: object
No Additional Properties

Arguments

Type: array of string Default: []
No Additional Items

Each item of this array must be:

Compa Starexec

Type: boolean Default: false

Experimental

Type: boolean Default: false