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

NRA (Unknown Benchmarks Track)

Competition results for the NRA division as of Thu Jul 7 07:28:02 GMT

Benchmarks in this division: 25
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver Solved avg. CPU time avg. WALL time
CVC4 7 2.91 2.90
vampire_smt_4.1 24 2120.20 2109.36
vampire_smt_4.1_parallel 24 2602.10 721.59
z3n 13 131.03 130.93

n. Non-competitive.