Family Debug results for solvers
QBFEVAL'07


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Adaptive2clsQ16905.63444.88222.9600433.030.263
aigqbf_s22800600060000
aigqbf_sr22800600060000
AQME-1NN17635.17464.08167.5593.19369.690.263
AQME-C4.515272.59401.91155.07386.12335.450.316
AQME-RIPPER19088.57502.33147.01600280.460.158
EBDDRES15154.68398.81244.09600506.820
ncQuBE1.017631.48463.99227.96600139.750
ncQuBE1.117637.88464.15227.94600142.680
preQuel_sKizzo-0.1017382.48457.43146.8491.56270.030.421
qSS15080.14396.85208.95459.34441.570.105
QUANTOR_2.157861.15206.87182.26115.65258.890.579
qZilla19941.51524.78145.94600123.420.105
sKizzo-0.10-qck8799.33231.56183.67185.87207.710.579
sKizzo-0.10-std9471.72249.26175.72189.172940.553
squolem22800600060000
yQuaffle22791.58599.781.3560000.026