Home • Rules • Benchmarks • Tools • Specs • Participants • Results • SMT-LIB • Previous

QF_RDL (Unknown Benchmarks Track)

Competition results for the QF_RDL division as of Thu Jul 7 07:28:02 GMT

Benchmarks in this division : 35

Non-Competitive division

Result table

Solver Parallel performance
Solved avg. CPU time avg. WALL time
CVC4 220292.9920282.32
OpenSMT2 021011.6821001.90
Yices2 219813.2119802.79
SMTInterpol 224233.7320331.97
toysmt 021010.7121001.54
veriT-dev 220689.3220678.25
z3n 021013.1021001.63

n. Non-competitive.

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!