SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2015

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Report

LIA (Application Track)

Competition results for the LIA division as of Fri Oct 30 12:49:29 GMT

Competition benchmarks = 6
Competition industrial benchmarks = 6

Non-Competitive division

Parallel Performance

SolverErrors Corrects CPU WALL
CVC3 0 324 14405.49 14400.07
CVC4 (exp) 0 25393 14.47 13.65
CVC4 0 24472 2442.00 2440.83
z3 4.4.0n 0 25393 6.13 5.57

Parallel Performance (industrial)

SolverErrors Corrects CPU WALL
CVC3 0 324 14405.49 14400.07
CVC4 (exp) 0 25393 14.47 13.65
CVC4 0 24472 2442.00 2440.83
z3 4.4.0n 0 25393 6.13 5.57

n. Non-competitive.