Sota solver details
QBFEVAL'04

Instance: cf_8_8x9_w_
Best Solver: QUANTOR Time: 0.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-JW 0.45 - - - -
- - QBFL-BS 0.46 - - - -
- - sSolve 0.78 - - - -
- - semprop 0.93 - - - -
- - CLearn 1.06 - - - -
- - CSBJ 1.06 - - - -
- - GRL 1.25 - - - -
- - openQbf 1.41 - - - -
- - yQuaffle 1.74 - - - -
QUANTOR(0.42)
QBFL-JW(0.45)
QBFL-BS(0.46)
sSolve(0.78)
semprop(0.93)
CLearn(1.06)
CSBJ(1.06)
GRL(1.25)
openQbf(1.41)
yQuaffle(1.74)