Family evader-pursuer-8x8-logarithmic results for solvers
QBFEVAL'07


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ600600060000
aigqbf_s600600060000
aigqbf_sr600600060000
AQME-1NN4.134.1304.1301
AQME-C4.54.24.204.201
AQME-RIPPER4.334.3304.3301
EBDDRES24.7224.72024.7200
ncQuBE1.0518.73518.730518.7300
ncQuBE1.1284.6284.60284.600
preQuel_sKizzo-0.1010.3410.34010.3401
qSS3.163.1603.1601
QUANTOR_2.15337.81337.810337.8100
qZilla24.9524.95024.9501
sKizzo-0.10-qck2.462.4602.4601
sKizzo-0.10-std2.412.4102.4101
squolem600600060000
yQuaffle600600060000