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

QF_LIA (Unknown Benchmarks Track)

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

Benchmarks in this division : 302

Non-Competitive division

Result table

Solver Parallel performance
Solved avg. CPU time avg. WALL time
CVC4 138102195.63102137.51
ProB 4166345.71166243.99
SMT-RAT 14693776.2793725.89
Yices2 111126312.94126239.19
MathSat5n 21460925.0960894.59
SMTInterpol 109140480.73124971.12
veriT-dev 10864405.3264366.70
z3n 110116250.41116191.09

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!