SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Previous Competitions
SMT-LIB

SMT-COMP 2019

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

Biggest Lead Ranking- Unsat Core Track

Page generated on 2019-07-23 17:57:46 +0000

Winners

Sequential Performance Parallel Performance
CVC4-uc CVC4-uc

Sequential Performance

Solver Correct Score Time Score Division
CVC4-uc 929657.0 0.06635588 UFLIA
CVC4-uc 476908.0 0.0159256 UF
CVC4-uc 179277.0 0.61423269 AUFLIRA
CVC4-uc 99375.0 0.00824031 UFNIA
CVC4-uc 18664.5 0.41812656 AUFLIA
CVC4-uc 15998.0 0.04911745 AUFNIRA
CVC4-uc 1915.0 34.39072047 UFIDL
CVC4-uc 54.0 3.20941617 BV
CVC4-uc 14.0 31.60286204 UFLRA
CVC4-uc 4.5 7456.94532403 LIA
CVC4-uc 1.69991167 0.06778935 QF_AUFLIA
Yices 2.6.2 1.42958606 321.02785219 QF_AX
CVC4-uc 1.31061803 30.95672544 QF_ANIA
Yices 2.6.2 1.19628316 2.65872963 QF_AUFBV
Yices 2.6.2 1.16556634 0.97401375 QF_LIA
Yices 2.6.2 1.13141012 2.67987267 QF_UFBV
Yices 2.6.2 1.10243548 2.32943256 QF_BV
Yices 2.6.2 1.08155159 1.6886491 QF_ABV
CVC4-uc 1.05084746 0.09934258 QF_UFLRA
Yices 2.6.2 1.02937111 43.45984134 QF_ALIA
Yices 2.6.2 1.02189595 0.39870173 QF_LRA
CVC4-uc 1.01786502 1.2192929 QF_NRA
MathSAT-default 1.01156896 1.10363382 QF_NIA
MathSAT-default 1.00698487 1.03369484 QF_UFNIA
MathSAT-default 1.00123597 2.93019723 QF_AUFNIA
Yices 2.6.2 1.0005061 4.53267388 QF_UF
Yices 2.6.2 1.0 6.22935847 QF_UFLIA
MathSAT-na-ext 1.0 1.32408462 QF_NIRA
Yices 2.6.2 1.0 1.10422102 QF_UFIDL
MathSAT-default 1.0 1.00593037 QF_UFNRA

Parallel Performance

Solver Correct Score Time Score Division
CVC4-uc 929657.0 0.05382173 UFLIA
CVC4-uc 476908.0 0.00989931 UF
CVC4-uc 179277.0 0.54466408 AUFLIRA
CVC4-uc 99375.0 0.00585146 UFNIA
CVC4-uc 18664.5 0.40305747 AUFLIA
CVC4-uc 15998.0 0.03440491 AUFNIRA
CVC4-uc 1915.0 21.71571527 UFIDL
CVC4-uc 54.0 3.17897173 BV
CVC4-uc 14.0 19.67833668 UFLRA
CVC4-uc 4.5 7424.97918774 LIA
CVC4-uc 1.69991167 0.07031226 QF_AUFLIA
Yices 2.6.2 1.42958606 306.79759914 QF_AX
CVC4-uc 1.31061803 30.95623112 QF_ANIA
Yices 2.6.2 1.19628316 2.65876984 QF_AUFBV
Yices 2.6.2 1.16556634 0.95834607 QF_LIA
Yices 2.6.2 1.13141012 2.67981229 QF_UFBV
Yices 2.6.2 1.10243548 2.33326904 QF_BV
Yices 2.6.2 1.08155159 1.6883141 QF_ABV
CVC4-uc 1.05084746 0.1001434 QF_UFLRA
Yices 2.6.2 1.02937111 17.54258695 QF_ALIA
Yices 2.6.2 1.02189595 0.39873746 QF_LRA
CVC4-uc 1.01786502 1.2192421 QF_NRA
MathSAT-default 1.01156896 1.10397823 QF_NIA
MathSAT-default 1.00698487 1.03372586 QF_UFNIA
MathSAT-default 1.00123597 2.93022811 QF_AUFNIA
Yices 2.6.2 1.0005061 2.73367969 QF_UF
Yices 2.6.2 1.0 4.45536892 QF_UFLIA
MathSAT-na-ext 1.0 1.3243069 QF_NIRA
Yices 2.6.2 1.0 1.05217419 QF_UFIDL
MathSAT-default 1.0 1.00593938 QF_UFNRA

n Non-competing.