Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

LIA (Unknown Benchmarks Track)

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

Benchmarks in this division : 189

Non-Competitive division

Result table

Solver Parallel performance
Solved avg. CPU time avg. WALL time
CVC4 18932.0331.97
ProB 0199.12195.00
vampire_smt_4.1 18103177.94102673.47
vampire_smt_4.1_parallel 16396798.15103823.92
veriT-dev 32481.232478.85
z3n 1852407.632406.36

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!