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

Instance: ii32c2-90
Best Solver: ncQuBE1.0 Time: 3.44 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.1 6.79 - - Adaptive2clsQ 279.39
ncQuBE1.0(3.44)
ncQuBE1.1(6.79)
Adaptive2clsQ(279.39)