SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Previous Competitions
SMT-LIB

SMT-COMP 2018

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

QF_BVFP (Main Track)

Competition results for the QF_BVFP division as of Fri Jul 13 00:02:11 GMT

Benchmarks in this division : 17215
Time limit: 1200s

Winners

Sequential PerformanceParallel Performance
CVC4CVC4

Result table1

Sequential Performance

Solver Error Score Correctly Solved Score CPU time Score Solved Unsolved
COLIBRI 0.000 14908.021 65.172 17029 186
CVC4 0.000 17130.384 10.800 17211 4
z3-4.7.1n 0.000 17014.628 24.951 17201 14

Parallel Performance

Solver Error Score Correctly Solved Score CPU time Score WALL time Score Solved Unsolved
COLIBRI 0.00014908.02165.17265.17717029186
CVC4 0.00017130.38410.80010.786172114
z3-4.7.1n 0.00017014.62824.95124.9491720114

n. Non-competing.

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