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

QF_BV (Unknown Benchmarks Track)

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

Benchmarks in this division : 17504

Non-Competitive division

Result table

Solver Parallel performance
Solved avg. CPU time avg. WALL time
ABC_default 144972384473.422383657.54
ABC_glucose 16595818015.62815387.86
Boolector 159941503504.241500710.65
Boolector (preprop) 160361434643.661431755.45
CVC4 152924096558.592042212.71
MapleSTP 143662118056.612120890.87
MapleSTP-mt 146277462173.721971353.83
Minkeyrink 167242033775.80616248.95
Q3B 405724411445.478148561.29
Yices2 16999567355.89566325.75
MathSat5n 153622018557.212015599.89
stp-cms-exp 150671731859.451734758.13
stp-cms-mt 158345183948.631389897.61
stp-cms-st 155881559384.901562695.31
stp-minisat-st 145932004608.992006639.11
z3n 128313651791.183648439.72

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!