Sota solver details
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.

Instance: ii32b2-90
Best Solver: yQuaffle Time: 42.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.0 59.62 AQME-1NN 262.52 - -
- - ncQuBE1.1 81.79 - - - -
yQuaffle(42.46)
ncQuBE1.0(59.62)
ncQuBE1.1(81.79)
AQME-1NN(262.52)