Family RobotsD2 results for solvers
QBFEVAL'10 - Random QBFs Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-102676.9689.23239.943.939.030.967
depqbf6136.63204.55407.034.4543.20.867
depqbf-pre6088.59202.95405.054.7665.720.867
nenofex-qbfeval1020352.73678.42459.33667.361087.660.633
quantor-3.1949.6531.6526.8527.261.60.333
QuBE76564.11218.8296.53136.11302.50.967
QuBE7-c11293.75376.46450.33173.07419.080.8
QuBE7-m11047.43368.25435.9173.06413.310.833
struqs-1036002.491200.080.011200.080.010