Sota solver details
QBFEVAL'04

Instance: cf_3_9x9_w_
Best Solver: QBFL-BS Time: 0.57 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR 0.94 - - - -
- - sSolve 1.4 - - - -
- - CSBJ 1.76 - - - -
- - CLearn 1.77 - - - -
- - GRL 2.12 - - - -
- - semprop 2.31 - - - -
- - openQbf 2.54 - - - -
- - yQuaffle 2.75 - - - -
QBFL-BS(0.57)
QBFL-JW(0.57)
QUANTOR(0.94)
sSolve(1.4)
CSBJ(1.76)
CLearn(1.77)
GRL(2.12)
semprop(2.31)
openQbf(2.54)
yQuaffle(2.75)