Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

QF_LIA (Main Track)

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

Benchmarks in this division : 6141

Winners:

Sequential Performances Parallel Performances
CVC4CVC4

Result table1

Solver Sequential performance Parallel performance Unsolved benchmarks
Error Score Correctly Solved Score CPU time Score Errors Correct Score CPU Score WALL Score Overall In Sequential
CVC4 0.0005630.511117.0120.0005630.511117.013117.009366366
SMTInterpol 0.0005571.807137.2460.0005575.117148.759130.635473477
SMTRAT 0.0003232.997585.6560.0003232.997585.667585.71137463746
Yices2 0.0005588.173125.9370.0005588.173125.939126.026415415
mathsat-5.4.1n 0.0005691.610102.3610.0005691.610102.361102.400239239
veriT 0.0002829.462387.1840.0002829.462387.188387.33738313831
z3-4.5.0n 0.0005498.033140.2200.0005498.033140.222140.235475475

n. Non-competing.

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

Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

Last modified: Fri 21 Jul 2017 10:18 UTC
Valid XHTML 1.0 Valid CSS!