Suite Ayari results for solvers
QBFEVAL'07

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ7081.96337.24279.93600569.050.429
aigqbf_s6845.4325.97262.3274.05551.930.381
aigqbf_sr7259.4345.69263.75500.52538.480.333
AQME-1NN2881.95137.24203.169.49201.90.905
AQME-C4.52886.77137.47203.239.56202.030.905
AQME-RIPPER3738.43178.02241.1414.5201.840.81
EBDDRES1799.3885.68130.5531.0546.270.286
ncQuBE1.08122.27386.77264.18600562.250.333
ncQuBE1.17635.4363.59263.11600562.620.333
preQuel_sKizzo-0.106753.98321.62282.1518.42592.250.429
qSS6734.56320.69261.12429.24592.70.571
QUANTOR_2.151524.0372.57171.513.4113.590.19
qZilla6761.49321.98270.17430.42584.840.476
sKizzo-0.10-qck4241201.95241.6430.86319.990.571
sKizzo-0.10-std4288.07204.19246.7841.61343.260.571
squolem9412.61448.22247.54600405.660.286
yQuaffle12600600060000