Suite Castellini results for solvers
QBFEVAL'10 - Competitive Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve3623.5597.93327.370.070.150.919
aqme-10102.62.776.231.440.571
depqbf51.851.47.860.020.051
depqbf-pre108.192.9213.770.020.051
nenofex-qbfeval10119.153.229.810.070.191
qmaiga36.720.992.960.060.151
quantor-3.110.250.281.090.020.021
QuBE742.321.143.020.040.081
QuBE7-c973.0426.3123.470.050.491
QuBE7-m1666.7845.05186.380.040.451
struqs-101743.5747.12199.660.062.060.973