SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2020

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

QF_LRA (Unsat Core Track)

Competition results for the QF_LRA division in the Unsat Core Track.

Page generated on 2020-07-04 11:49:33 +0000

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

Winners

Sequential PerformanceParallel Performance
Yices2Yices2

Sequential Performance

Solver Error Score Correct Score CPU Time Score Wall Time ScoreTimeout Memout
Yices2 0 146931 71272.537 71277.72539 0
Yices2-fixedn 0 146931 71327.145 71324.8739 0
CVC4-uc 0 143126 41918.385 41812.58914 0
z3n 0 121290 65700.443 65662.15631 0
MathSAT5n 0 112489 146652.922 146682.987103 0
SMTInterpol-fixedn 0 95849 111449.826 108323.25161 0
SMTInterpol 0 88745 111264.6 108124.0661 0

Parallel Performance

Solver Error Score Correct Score CPU Time Score Wall Time ScoreTimeout Memout
Yices2 0 146931 71274.577 71276.60539 0
Yices2-fixedn 0 146931 71328.635 71323.839 0
CVC4-uc 0 143126 41921.095 41812.05914 0
z3n 0 121290 65702.533 65660.97631 0
MathSAT5n 0 112489 146673.732 146677.817103 0
SMTInterpol-fixedn 0 95904 111463.026 108293.90160 0
SMTInterpol 0 88800 111279.97 108095.8160 0

n Non-competing.