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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve158.2639.5636.6733.7269.311
aqme-102588.84647.21496.68693.76959.660.5
depqbf4800.691200.170.011200.180.020
depqbf-pre4800.721200.180.011200.190.020
nenofex-qbfeval103219.73804.93488.131007.5790.450.5
qmaiga208.652.1551.1539.5291.961
quantor-3.12585.98646.5557.39692.931107.010.5
QuBE7882.35220.59292.382.57423.641
QuBE7-c802.11200.53219.46129.85384.381
QuBE7-m805.2201.3224.96123.81386.091
struqs-103036759494.85917.61882.180.5