Suite Mangassarian-Veneris results for solvers
QBFEVAL'07

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ28707.77168.87245.414.05328.040.665
aigqbf_s91611.93538.89156.8960000.076
aigqbf_sr92234.77542.56154.6160000.076
AQME-1NN30940.65182228.7714.6305.530.653
AQME-C4.532407.91190.63227.6160.85307.590.665
AQME-RIPPER35457.47208.57248.9617.52479.790.624
EBDDRES20591.69121.13190.4436.1143.630
ncQuBE1.054762.99322.14280.09458.9591.930.347
ncQuBE1.155367.59325.69279.29463.34591.020.335
preQuel_sKizzo-0.1052002.39305.9272.65329.94595.070.406
qSS35629.58209.59240.1674.63398.610.529
QUANTOR_2.1512981.0676.36158.74.8947.90.759
qZilla31873.87187.49254.654.04467.270.624
sKizzo-0.10-qck17270.68101.59174.598.84138.490.747
sKizzo-0.10-std18267.49107.46176.7614.98136.80.741
squolem100807.11592.9864.3160000.012
yQuaffle58194.49342.32286.4600597.720.441