CVC4 at SMT-COMP 2019
SMT-COMP 2019
Competing Version: GitHub Branch smtcomp2019
System Description: CVC4 at the SMT-COMP 2019
Tracks Entered
-
Single Query Track
Divisions: all divisions (51)
Competing Binary: StarExec Binary
-
Incremental Track
Divisions: all divisions (24)
Competing Binary: StarExec Binary
-
Challenge Track (non-incremental)
Divisions: all divisions (3)
Competing Binary: StarExec Binary
-
Challenge Track (incremental)
Divisions: all divisions (3)
Competing Binary: StarExec Binary
-
Unsat Core Track
Divisions: all divisions (33)
Competing Binary: StarExec Binary
-
Model Validation Track
Divisions: all divisions (1)
Competing Binary: StarExec Binary
Track Awards
- 1st place in division ABVFP
- 1st place in division ALIA
- 1st place in division ANIA
- 1st place in division AUFNIRA
- 1st place in division BV
- 1st place in division QF_ANIA
- 1st place in division UFLRA
- 1st place in division AUFLIA
- 1st place in division AUFLIRA
- 1st place in division AUFNIRA
- 1st place in division BV
- 1st place in division LIA
- 1st place in division QF_ANIA
- 1st place in division QF_AUFLIA
- 1st place in division QF_NRA
- 1st place in division QF_UFLRA
- 1st place in division UF
- 1st place in division UFIDL
- 1st place in division UFLIA
- 1st place in division UFLRA
- 1st place in division UFNIA
Competition-Wide Awards
Biggest Lead
Largest Contribution