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 (all)
1st place in division ALIA (24s) (all)
1st place in division AUFDTLIA (all)
1st place in division AUFLIA (sequential, sat) (all)
1st place in division BVFP (all)
1st place in division FP (all)
1st place in division LIA (all)
1st place in division NIA (all)
1st place in division QF_ANIA (sequential, parallel, unsat) (all)
1st place in division QF_DT (all)
1st place in division QF_UFNIA (all)
1st place in division UF (sequential) (all)
1st place in division UFDT (sequential, parallel, sat, unsat) (all)
1st place in division UFDTLIA (sequential, parallel, unsat) (all)
1st place in division ABVFP (all)
1st place in division ALIA (all)
1st place in division ANIA (all)
1st place in division AUFNIRA (all)
1st place in division BV (all)
1st place in division QF_ANIA (all)
1st place in division UFLRA (all)
1st place in division AUFLIA (all)
1st place in division AUFLIRA (all)
1st place in division AUFNIRA (all)
1st place in division BV (all)
1st place in division LIA (all)
1st place in division QF_ANIA (all)
1st place in division QF_AUFLIA (all)
1st place in division QF_NRA (all)
1st place in division QF_UFLRA (all)
1st place in division UF (all)
1st place in division UFIDL (all)
1st place in division UFLIA (all)
1st place in division UFLRA (all)
1st place in division UFNIA (all)
Competition-Wide Awards
Biggest Lead
1st place in the Single Query Track (sequential, parallel, sat, unsat, 24s)
1st place in the Incremental Track
1st place in the Unsat Core Track (sequential, parallel)
Largest Contribution
1st place in the Single Query Track (sequential, parallel, sat)
1st place in the Incremental Track
1st place in the Unsat Core Track (sequential, parallel)