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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve1838.53102.14230.768.9319.950.944
aqme-10801.5744.5381.179.5117.870.889
depqbf7285.05404.72562.65.51199.750.667
depqbf-pre6306.95350.39498.7612.58614.230.778
nenofex-qbfeval105093.25282.96428.7641.89274.930.667
qmaiga1784.4699.14206.6218.8530.420.944
quantor-3.1242.2713.4627.112.855.190.944
QuBE715703.84872.44500.281200.031079.810.333
QuBE7-c5940.35330.02495.0231.08108.340.778
QuBE7-m4788.87266.05450.8534.1655.380.833
struqs-1013574.3754.13528.621200.121153.470.444