SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2017

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Report

AUFNIRA (Main Track)

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

Benchmarks in this division : 1480
Time Limit: 1200s

Winners

Sequential Performance Parallel Performance
vampire 4.2 vampire 4.2

Result table1

Sequential Performance

Solver Error Score Correct Score CPU Time Unsolved
CVC4 0.000 1096.168 319.516 428
vampire 4.2 0.000 1168.849 252.054 412
z3-4.5.0n 0.000 1057.460 201.127 449

Parallel Performance

Solver Error Score Correct Score CPU Score WALL Score Unsolved
CVC4 0.000 1096.168 319.622 325.263 428
vampire 4.2 0.000 1170.865 808.046 206.505 408
z3-4.5.0n 0.000 1057.460 201.127 201.838 449

n. Non-competing.

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