Suite Ling results for solvers
QBFEVAL'07

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ7.497.4907.4901
aigqbf_s101.56101.560101.5601
aigqbf_sr338.74338.750338.7501
AQME-1NN5.875.8705.8701
AQME-C4.5550501
AQME-RIPPER5.085.0805.0801
EBDDRES26.7326.73026.7300
ncQuBE1.0600600060000
ncQuBE1.1600600060000
preQuel_sKizzo-0.103.413.4103.4101
qSS3.983.9803.9801
QUANTOR_2.154.414.4104.4101
qZilla7.427.4207.4201
sKizzo-0.10-qck3.923.9203.9201
sKizzo-0.10-std3.873.8703.8701
squolem600600060000
yQuaffle600600060000