Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

QF_BV (Main Track)

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

Benchmarks in this division : 40043

Winners:

Sequential Performances Parallel Performances
Boolector+CaDiCaLMinkeyRink

Result table1

Solver Sequential performance Parallel performance Unsolved benchmarks
Error Score Correctly Solved Score CPU time Score Errors Correct Score CPU Score WALL Score Overall In Sequential
Boolector 0.00035203.685199.6540.00035203.685199.655200.128961961
Boolector+CaDiCaL 0.00035208.875191.9380.00035208.875191.939192.252672672
CVC4 0.00033273.501263.5000.00034121.406442.690223.13213341578
MinkeyRink 0.00034985.527202.4940.00035618.540343.860175.126558663
Q3B 0.00015657.068662.1630.00015858.2321860.536645.6421199412207
Yices2 0.00032565.678269.6830.00032565.678269.686270.06710591059
mathsat-5.4.1n 74.58932026.942280.39874.58932026.942280.398280.98715151515
stp_mt 0.00033632.222249.7330.00034980.761675.628194.64012801785
stp_st 0.00034546.157214.6940.00034546.157214.695215.04614291429
z3-4.5.0n 0.00033377.675239.1560.00033377.675239.158239.45127642764

n. Non-competing.

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

Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

Last modified: Fri 21 Jul 2017 10:18 UTC
Valid XHTML 1.0 Valid CSS!