SMT-COMP 2019

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Papers
Benchmark Submission
Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

Previous Competitions

SMT-LIB

ALIA (Incremental Track)

Competition results for the ALIA division in the Incremental Track.

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

Benchmarks: 24
Time Limit: 2400 seconds
Memory Limit: 60 GB

Winners

Parallel Performance
CVC4-inc

Parallel Performance

Solver Error Score Correct Score CPU Time Score Wall Time ScoreUnsolvedTimeout Memout
2018-Z3 (incremental)n 0 202552 173.467 160.62800 0
Z3n 0 202552 176.778 164.57700 0
CVC4-inc 0 202552 528.248 499.54700 0
SMTInterpol 0 202537 789.48 335.292150 0
UltimateEliminator+SMTInterpol 0 201629 1041.102 453.2649230 0
UltimateEliminator+MathSAT-5.5.4 0 192386 5850.126 5581.645101661 1
UltimateEliminator+Yices-2.6.1 0 0 72.12 36.0212025520 0

n Non-competing.