SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2016

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Report

QF_UFLRA (Unsat Core Track)

Competition results for the QF_UFLRA division as of Wed Jun 29 20:25:52 GMT

Benchmarks in this division: 853
Time Limit: 2400s

Non-Competitive division

Result table1

Sequential Performance

Solver Error Score Reduction Score avg. CPU time avg. WALL time
MathSat5n 0.000 446.248 0.116 0.116
SMTInterpol 0.000 444.441 1.936 0.829
toysmtn 0.000 431.192 165.440 165.416
veriTn 0.000 0.602 4.909 4.908
z3n 0.000 447.452 0.092 0.091

n. Non-competitive.

1. Scores are computed according to Section 7 of the rules.