Sota solver details
QBFEVAL'04

Instance: cf_4_8x8_w_
Best Solver: QBFL-JW Time: 0.4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-BS 0.41 - - - -
- - QUANTOR 0.54 - - - -
- - sSolve 0.95 - - - -
- - CSBJ 1.16 - - - -
- - CLearn 1.17 - - - -
- - GRL 1.33 - - - -
- - semprop 1.33 - - - -
- - openQbf 1.72 - - - -
- - yQuaffle 1.82 - - - -
QBFL-JW(0.4)
QBFL-BS(0.41)
QUANTOR(0.54)
sSolve(0.95)
CSBJ(1.16)
CLearn(1.17)
GRL(1.33)
semprop(1.33)
openQbf(1.72)
yQuaffle(1.82)