Sota solver details
QBFEVAL'04

Instance: cf_9_9x9_w_
Best Solver: QBFL-BS Time: 0.49 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-JW 0.49 - - - -
- - QUANTOR 0.5 - - - -
- - sSolve 0.81 - - - -
- - semprop 0.97 - - - -
- - CLearn 1.15 - - - -
- - CSBJ 1.15 - - - -
- - GRL 1.4 - - - -
- - openQbf 1.56 - - - -
- - yQuaffle 1.87 - - - -
QBFL-BS(0.49)
QBFL-JW(0.49)
QUANTOR(0.5)
sSolve(0.81)
semprop(0.97)
CLearn(1.15)
CSBJ(1.15)
GRL(1.4)
openQbf(1.56)
yQuaffle(1.87)