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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve0.040.0400.0401
aqme-103.43.403.401
depqbf1200.161200.1601200.1600
depqbf-pre10.0910.09010.0901
nenofex-qbfeval100.140.1400.1401
qmaiga0.020.0200.0201
quantor-3.10.060.0600.0601
QuBE70.120.1200.1201
QuBE7-c0.130.1300.1301
QuBE7-m0.130.1300.1301
struqs-100.290.2900.2901