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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-10234.477.827.343.824.021
depqbf5081.01169.37358.736.3475.070.9
depqbf-pre5413.09180.44384.95.3831.970.9
nenofex-qbfeval1017578.23585.94473.61508.061150.190.667
quantor-3.11133.9737.837.9622.1484.920.333
QuBE76260.05208.67208.58159.24191.021
QuBE7-c6709.09223.64214.48176.48207.191
QuBE7-m6671.76222.39210.76180.46205.71
struqs-1033760.831125.36167.311200.0800.167