SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2018

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Report

QF_ABVFP (Unsat Core Track)

Competition results for the QF_ABVFP division as of Thu Jul 12 23:54:00 GMT

Benchmarks in this division : 3934
Time limit: 2400s

Non-Competitive Division

Sequential Performance

Solver Error Score Reduction Score avg. CPU time
CVC4 0.00014029.5248.972

Parallel Performance

Solver Error Score Reduction Score avg. CPU time avg. WALL time
CVC4 0.00014029.5248.9729.169

n. Non-competing.

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