Family C880 results for solvers
QBFEVAL'07


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ25.9125.91025.9101
aigqbf_s3.363.3603.3601
aigqbf_sr4.124.1204.1201
AQME-1NN163.42163.420163.4200
AQME-C4.5190.95190.950190.9500
AQME-RIPPER171.3171.30171.300
EBDDRES33.1533.15033.1500
ncQuBE1.061.6861.68061.6801
ncQuBE1.1600600060000
preQuel_sKizzo-0.10600600060000
qSS0.120.1200.1201
QUANTOR_2.1511.911.910.0111.9100
qZilla13.0513.050.0113.0501
sKizzo-0.10-qck600600060000
sKizzo-0.10-std600600060000
squolem600600060000
yQuaffle600600060000