SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2022

Rules
Benchmarks
Tools
Specs
Proof Exhibition Track
Parallel & Cloud Tracks
Participants
Results
Statistics
Comparisons
Slides

Largest Contribution Ranking - Incremental Track

Page generated on 2022-08-10 11:18:26 +0000

Winners

Parallel Performance
cvc5

Parallel Performance

Solver Correct Score Time Score Division
cvc5 0.06964238 0.01963005 Equality+NonLinearArith
cvc5 0.06308624 0.00034142 Equality
Yices2 0.0342871 0.05397989 QF_Equality+LinearArith
Yices2 0.00777014 0.06415804 QF_Equality+Bitvec
smtinterpol 0.00485473 0.01559964 QF_Equality+NonLinearArith
Yices2 0.00315157 0.00274609 QF_LinearIntArith
cvc5 0.00167428 0.0001762 Equality+LinearArith
smtinterpol 0.00044447 0.00053857 QF_NonLinearIntArith
Yices2 0.00039536 0.00316724 QF_Bitvec
cvc5 0.00012916 0.00079072 Bitvec
Yices2 0.00011651 0.0 QF_LinearRealArith
Bitwuzla 4.217e-05 9.195e-05 FPArith
Yices2 0.0 0.0674891 QF_Equality
cvc5 0.0 0.00030824 Arith
cvc5 0.0 1.589e-05 Equality+MachineArith

n Non-competing.
e Experimental.