SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Competitions by Year

SMT-COMP 2020

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

QF_NIA (Incremental Track)

Competition results for the QF_NIA division in the Incremental Track.

Page generated on 2020-07-04 11:47:56 +0000

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

Winners

Parallel Performance
CVC4-inc

Parallel Performance

Solver Error Score Correct Score CPU Time Score Wall Time ScoreUnsolvedTimeout Memout
MathSAT5n 0 4181657 1699.718 1484.13100 0
2019-MathSAT-defaultn 0 4181657 1811.292 1592.56100 0
CVC4-inc 0 3264119 8848.151 8745.1559175384 0
z3n 0 2907905 4851.676 4724.2212737523 0
Yices2-fixed incrementaln 0 198160 12000.0 12000.0398349710 0
Yices2 incremental 4 110642 3915.8 3911.71740710152 0

n Non-competing.