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

Instance: ii32c2-00
Best Solver: ncQuBE1.0 Time: 16.73 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.1 23.22 Adaptive2clsQ 114.49 AQME-1NN 369.44
- - AQME-C4.5 39.67 - - qZilla 555.21
ncQuBE1.0(16.73)
ncQuBE1.1(23.22)
AQME-C4.5(39.67)
Adaptive2clsQ(114.49)
AQME-1NN(369.44)
qZilla(555.21)