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

Single Query Track

1^st place in division ABVFP (all)
1^st place in division ABVFPLRA (all)
1^st place in division ALIA (unsat)
1^st place in division AUFBVDTLIA (all)
1^st place in division AUFDTLIA (all)
1^st place in division AUFDTLIRA (all)
1^st place in division AUFDTNIRA (24s)
1^st place in division AUFFPDTLIRA (all)
1^st place in division AUFLIA (sat)
1^st place in division AUFLIRA (sequential)
1^st place in division AUFNIRA (sequential)
1^st place in division BV (all)
1^st place in division BVFP (all)
1^st place in division BVFPLRA (all)
1^st place in division FP (all)
1^st place in division FPLRA (all)
1^st place in division LIA (all)
1^st place in division LRA (all)
1^st place in division NIA (sequential, parallel, sat, 24s)
1^st place in division QF_ABVFPLRA (sequential, parallel, sat, unsat)
1^st place in division QF_ANIA (all)
1^st place in division QF_AUFNIA (all)
1^st place in division QF_BVFPLRA (all)
1^st place in division QF_DT (all)
1^st place in division QF_IDL (unsat)
1^st place in division QF_LIA (sequential, parallel, sat)
1^st place in division QF_NIA (sequential, parallel, sat)
1^st place in division QF_S (all)
1^st place in division QF_SLIA (all)
1^st place in division QF_UFNIA (sequential, parallel, unsat, 24s)
1^st place in division UF (unsat)
1^st place in division UFBV (all)
1^st place in division UFDT (sequential, parallel, sat, unsat)
1^st place in division UFDTLIA (sequential, parallel, unsat)
1^st place in division UFDTLIRA (sequential, parallel, sat, 24s)
1^st place in division UFDTNIRA (sequential, 24s)
1^st place in division UFFPDTLIRA (all)
1^st place in division UFFPDTNIRA (all)
1^st place in division UFIDL (all)
1^st place in division UFLIA (sequential, parallel, unsat, 24s)
1^st place in division UFNIA (all)

Incremental Track

1^st place in division ANIA (all)
1^st place in division AUFNIRA (all)
1^st place in division BV (all)
1^st place in division BVFP (all)
1^st place in division LRA (all)
1^st place in division QF_FP (all)
1^st place in division QF_NIA (all)
1^st place in division QF_UFNIA (all)
1^st place in division UF (all)
1^st place in division UFLRA (all)
1^st place in division UFNIA (all)
1^st place in division UFNRA (all)

Model Validation Track

1^st place in division QF_LIA (all)

Unsat Core Track

1^st place in division AUFBVDTLIA (all)
1^st place in division AUFDTLIRA (all)
1^st place in division AUFDTNIRA (all)
1^st place in division AUFFPDTLIRA (all)
1^st place in division AUFLIA (all)
1^st place in division AUFLIRA (all)
1^st place in division AUFNIRA (all)
1^st place in division BV (all)
1^st place in division LIA (all)
1^st place in division QF_ALIA (all)
1^st place in division QF_AUFLIA (all)
1^st place in division QF_UFLRA (all)
1^st place in division UF (all)
1^st place in division UFDT (all)
1^st place in division UFDTLIRA (all)
1^st place in division UFDTNIRA (all)
1^st place in division UFFPDTLIRA (all)
1^st place in division UFFPDTNIRA (all)
1^st place in division UFIDL (all)
1^st place in division UFLIA (all)
1^st place in division UFNIA (all)

Competition-Wide Awards

Biggest Lead

1^st place in the Single Query Track (sequential, parallel, sat, unsat, 24s)
1^st place in the Incremental Track
1^st place in the Unsat Core Track (sequential, parallel)

Largest Contribution

1^st place in the Single Query Track (sequential, parallel, sat)
1^st place in the Incremental Track
1^st place in the Unsat Core Track (sequential, parallel)