Family s820 results for solvers
QBFEVAL'07


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ600600060000
aigqbf_s600600060000
aigqbf_sr600600060000
AQME-1NN2.322.3202.3201
AQME-C4.52.412.4102.4101
AQME-RIPPER2.422.4202.4201
EBDDRES26.3426.34026.3400
ncQuBE1.00.760.7600.7601
ncQuBE1.10.770.7700.7701
preQuel_sKizzo-0.1025.6525.65025.6501
qSS26.8726.87026.8701
QUANTOR_2.15306.86306.860306.8601
qZilla434.92434.920434.9201
sKizzo-0.10-qck32.4132.41032.4101
sKizzo-0.10-std26.2426.24026.2401
squolem600600060000
yQuaffle600600060000