SMT-COMP 2020 Results
Competition-Wide Recognitions
Largest Contribution Ranking
Biggest Lead Ranking
Tracks Summary
Disagreements
Solvers disagreed on some benchmarks marked as unknown in the following
tracks and divisions.
- Single Query Track
- Incremental Track
Divisions
- ABVFP
- ABVFPLRA
- ALIA
- ANIA
- AUFBVDTLIA
- AUFDTLIA
- AUFDTLIRA
- AUFDTNIRA
- AUFFPDTLIRA
- 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_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_UF
- QF_UFBV
- QF_UFFP
- QF_UFIDL
- QF_UFLIA
- QF_UFLRA
- QF_UFNIA
- QF_UFNRA
- UF
- UFBV
- UFDT
- UFDTLIA
- UFDTLIRA
- UFDTNIA
- UFDTNIRA
- UFFPDTLIRA
- UFFPDTNIRA
- UFIDL
- UFLIA
- UFLRA
- UFNIA
- UFNRA