SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2017

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Report

QF_FP (Main Track)

Competition results for the QF_FP division as of Fri Jul 21 10:18:02 GMT

Benchmarks in this division : 40302
Time Limit: 1200s

Winners

Sequential Performance Parallel Performance
COLIBRI COLIBRI

Result table1

Sequential Performance

Solver Error Score Correct Score CPU Time Unsolved
COLIBRI 706.419 38903.995 21.965 852
xsat 4504.850 8065.106 13.289 33652
z3-4.5.0n 0.000 39174.366 39.837 86

Parallel Performance

Solver Error Score Correct Score CPU Score WALL Score Unsolved
COLIBRI 706.419 38903.995 21.965 21.973 852
xsat 4504.850 8081.744 18.179 7.649 33650
z3-4.5.0n 0.000 39174.366 39.837 39.854 86

n. Non-competing.

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