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

NRA (Main Track)

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

Competition benchmarks = 3788
Competition industrial benchmarks = 3788

Non-Competitive division

Sequential Performance

SolverErrors Corrects CPU
CVC3 0 0 30.31
CVC4 0 3727 112831.61
CVC4 (exp) 0 3727 20829.06
z3n 1 3750 9573.29

Sequential Performance (industrial)

SolverErrors Corrects CPU
CVC3 0 0 30.31
CVC4 0 3727 112831.61
CVC4 (exp) 0 3727 20829.06
z3n 1 3750 9573.29

Parallel Performance

SolverErrors Corrects CPU WALL
CVC3 0 0 30.31 33.70
CVC4 0 3727 112870.19 112841.86
CVC4 (exp) 0 3727 20829.92 20835.64
z3n 1 3750 9573.29 9570.38

Parallel Performance (industrial)

SolverErrors Corrects CPU WALL
CVC3 0 0 30.31 33.70
CVC4 0 3727 112870.19 112841.86
CVC4 (exp) 0 3727 20829.92 20835.64
z3n 1 3750 9573.29 9570.38

Other Information

Solver Not Solved Remaining
CVC3 3788 0
CVC4 61 0
CVC4 (exp) 61 0
z3n 37 0

n. Non-competitive.