SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2021

Rules
Benchmarks
Tools
Specs
Parallel & Cloud Tracks
Participants
Results
Slides

Equality+LinearArith (Incremental Track)

Competition results for the Equality+LinearArith division in the Incremental Track.

Page generated on 2021-07-18 17:30:28 +0000

Benchmarks: 959
Time Limit: 1200 seconds
Memory Limit: 60 GB

Logics:

Winners

Parallel Performance
cvc5-inc

Parallel Performance

Solver Error Score Correct ScoreCPU Time ScoreWall Time ScoreUnsolvedAbstainedTimeout Memout
z3n 0 559428154566.962154340.669236989063 0
2020-z3n 0 558345154812.845154662.365238072064 0
2019-Z3n 0 358440151094.059150877.017235425057 0
cvc5-inc 0 33940645186.66944994.149457011020 0
SMTInterpol 0 331721378737.828371628.3494646960224 0
UltimateEliminator+MathSAT 0 18782514707.58711363.77760859203 0

n Non-competing.
Abstained: Total of benchmarks in logics in this division that solver chose to abstain from. For SAT/UNSAT scores, this column also includes benchmarks not known to be SAT/UNSAT.