Family conformant_planning results for solvers
QBFEVAL'07


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ9509.7396.24269.95600545.60.375
aigqbf_s9322.2388.43229.69447.12424.580.458
aigqbf_sr13332.52555.52141.8860000.167
AQME-1NN10109.59421.23256.93600439.320.292
AQME-C4.510128.68422.03256.4600439.260.292
AQME-RIPPER9766.9406.95263.03600517.030.375
EBDDRES2148.0889.5156.4836.4226.710.083
ncQuBE1.011865.86494.41214.0760000.208
ncQuBE1.111694.86487.29222.9960000.208
preQuel_sKizzo-0.108578.2357.43268.49600525.480.458
qSS11401.86475.08243.5260000.208
QUANTOR_2.154462.04185.92231.3745.05322.560.542
qZilla9788.57407.86266.59600583.030.417
sKizzo-0.10-qck8793.58366.4268.27600573.710.458
sKizzo-0.10-std8514.53354.77271.61574.86583.240.458
squolem14400600060000
yQuaffle9993.25416.39261.43600512.340.333