Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

QF_UFLRA (Main Track)

Competition results for the QF_UFLRA division as of Thu Jul 7 07:24:34 GMT

Benchmarks in this division : 1627

Winners:

Sequential Performances Parallel Performances
Yices2Yices2

Result table1

Solver Sequential performance Parallel performance Other information
Error Score Correctly Solved Score avg. CPU time Errors Corrects avg. CPU time avg. WALL time Unsolved benchmarks
CVC4 0.0001546.178119.8660.0001546.178119.917119.8675
MathSat5n 0.0001546.178119.4010.0001546.178119.461119.3945
SMTInterpol 0.0001546.178121.5130.0001546.178123.042120.2155
Yices2 0.0001610.83672.8750.0001610.83672.88672.8531
toysmt 0.0001063.832840.5850.0001063.832840.852840.530594
veriT-dev 0.0001562.342116.8520.0001562.342116.908116.8434
z3n 0.0001562.34296.0810.0001562.34296.13496.0804

n. Non-competitive.

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

Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

Last modified: Thu 07 Jul 2016 07:28 UTC
Valid XHTML 1.0 Valid CSS!