Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

QF_LRA (Main Track)

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

Competition benchmarks = 1626

Competition industrial benchmarks = 1624

The winners for this division are:

Sequential Performances Sequential Performances (industrial) Parallel Performances Parallel Performances (industrial)
CVC4CVC4CVC4CVC4

Division COMPLETE

Solver Sequential performance Sequential performance (industrial) Parallel performance Parallel performance (industrial) Other information
Errors Corrects CPU Errors Corrects CPU Errors Corrects CPU WALL Errors Corrects CPU WALL Not solved Remaining
CVC4 01608144170.4801606144170.4601608144185.29144120.7901606144185.27144120.76180
CVC4 (exp) 01608144212.5901606144212.5701608144228.04144186.4601606144228.02144186.44180
SMT-RAT 01283920736.2501281920736.2301283921050.86920669.9701281921050.84920669.953430
SMTInterpol 01303804243.0601301804242.2301304853583.69797076.9001302853582.86797076.253220
Yices 01592128759.7301590128759.7301592128791.91128747.9101590128791.91128747.89340
[MathSat] 01565263060.8501563263060.8001565263114.73263026.9101563263114.68263026.86610
[z3] 01472504249.0401470504248.9801472504390.71504204.6601470504390.65504204.601540
veriT 01559245574.6801557245574.6801559245632.88245557.6401557245632.88245557.62670
Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

Last modified: Fri 30 Oct 2015 12:49 UTC
Valid XHTML 1.0 Valid CSS!