CVC4 at SMT-COMP 2020
SMT-COMP 2020
Competing Version: GitHub Branch smtcomp2020
System Description: CVC4 at SMT-COMP 2020
Tracks Entered
-
Single Query Track
Divisions: all divisions (68)
Competing Binary: StarExec Binary
-
Incremental Track
Divisions: all divisions (28)
Competing Binary: StarExec Binary
-
Unsat Core Track
Divisions: all divisions (41)
Competing Binary: StarExec Binary
-
Model Validation Track
Divisions: all divisions (6)
Competing Binary: StarExec Binary
Track Awards
- 1st place in division ABVFP
- 1st place in division ABVFPLRA
- 1st place in division ALIA (unsat)
- 1st place in division AUFBVDTLIA
- 1st place in division AUFDTLIA
- 1st place in division AUFDTLIRA
- 1st place in division AUFDTNIRA (24s)
- 1st place in division AUFFPDTLIRA
- 1st place in division AUFLIA (sat)
- 1st place in division AUFLIRA (sequential)
- 1st place in division AUFNIRA (sequential)
- 1st place in division BV
- 1st place in division BVFP
- 1st place in division BVFPLRA
- 1st place in division FP
- 1st place in division FPLRA
- 1st place in division LIA
- 1st place in division LRA
- 1st place in division NIA (sequential, parallel, sat, 24s)
- 1st place in division QF_ABVFPLRA (sequential, parallel, sat, unsat)
- 1st place in division QF_ANIA
- 1st place in division QF_AUFNIA
- 1st place in division QF_BVFPLRA
- 1st place in division QF_DT
- 1st place in division QF_IDL (unsat)
- 1st place in division QF_LIA (sequential, parallel, sat)
- 1st place in division QF_NIA (sequential, parallel, sat)
- 1st place in division QF_S
- 1st place in division QF_SLIA
- 1st place in division QF_UFNIA (sequential, parallel, unsat, 24s)
- 1st place in division UF (unsat)
- 1st place in division UFBV
- 1st place in division UFDT (sequential, parallel, sat, unsat)
- 1st place in division UFDTLIA (sequential, parallel, unsat)
- 1st place in division UFDTLIRA (sequential, parallel, sat, 24s)
- 1st place in division UFDTNIRA (sequential, 24s)
- 1st place in division UFFPDTLIRA
- 1st place in division UFFPDTNIRA
- 1st place in division UFIDL
- 1st place in division UFLIA (sequential, parallel, unsat, 24s)
- 1st place in division UFNIA
- 1st place in division ANIA
- 1st place in division AUFNIRA
- 1st place in division BV
- 1st place in division BVFP
- 1st place in division LRA
- 1st place in division QF_FP
- 1st place in division QF_NIA
- 1st place in division QF_UFNIA
- 1st place in division UF
- 1st place in division UFLRA
- 1st place in division UFNIA
- 1st place in division UFNRA
Competition-Wide Awards
Biggest Lead
Largest Contribution