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

AUFNIRA (Incremental Track)

Competition results for the AUFNIRA logic in the Incremental Track.

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

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

Winners

Parallel Performance
cvc5-inc

Parallel Performance

Solver Error Score Correct ScoreCPU Time ScoreWall Time ScoreUnsolvedTimeout Memout
cvc5-inc 0 310826563.37726562.88834422 0
2019-CVC4-incn 0 309427553.96427553.87735822 0
2020-CVC4-incn 0 309427687.17327686.13535822 0
2020-z3n 0 287545620.17845620.91457734 0
z3n 0 279147843.96447844.44766137 0
SMTInterpol 0 0202.574102.52634520 0
UltimateEliminator+MathSAT 0 0688.173313.70834520 0

n Non-competing.
N/A: Benchmarks not known to be SAT/UNSAT, respectively.