Family s27 results for solvers
QBFEVAL'10 - Competitive Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve0.020.0200.0201
aqme-101.441.4401.4401
depqbf1200.161200.1601200.1600
depqbf-pre1200.171200.1701200.1700
nenofex-qbfeval100.380.3800.3801
qmaiga0.020.0200.0201
quantor-3.12.342.3402.3401
QuBE70.040.0400.0401
QuBE7-c0.040.0400.0401
QuBE7-m0.040.0400.0401
struqs-100.170.1700.1701