SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2015

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Report

AUFNIRA (Main Track)

Competition results for the AUFNIRA division as of Fri Oct 30 12:49:29 GMT

Competition benchmarks = 1050
Competition industrial benchmarks = 1050

Non-Competitive division

Sequential Performance

SolverErrors Corrects CPU
CVC3 0 1016 16027.48
CVC4 0 1029 51340.54
CVC4 (exp) 0 1029 51430.60
z3n 0 1024 24183.00

Sequential Performance (industrial)

SolverErrors Corrects CPU
CVC3 0 1016 16027.48
CVC4 0 1029 51340.54
CVC4 (exp) 0 1029 51430.60
z3n 0 1024 24183.00

Parallel Performance

SolverErrors Corrects CPU WALL
CVC3 0 1016 16035.10 16036.51
CVC4 0 1029 51346.68 51351.99
CVC4 (exp) 0 1029 51437.87 51440.42
z3n 0 1024 24186.04 24204.80

Parallel Performance (industrial)

SolverErrors Corrects CPU WALL
CVC3 0 1016 16035.10 16036.51
CVC4 0 1029 51346.68 51351.99
CVC4 (exp) 0 1029 51437.87 51440.42
z3n 0 1024 24186.04 24204.80

Other Information

Solver Not Solved Remaining
CVC3 34 0
CVC4 21 0
CVC4 (exp) 21 0
z3n 26 0

n. Non-competitive.