Sota solver details
QBFEVAL'04

Instance: cf_6_8x9_d_
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.5 - - - -
- - QUANTOR 0.6 - - - -
- - sSolve 0.99 - - - -
- - CSBJ 1.27 - - - -
- - semprop 1.27 - - - -
- - CLearn 1.31 - - - -
- - GRL 1.51 - - - -
- - openQbf 1.75 - - - -
- - yQuaffle 2.05 - - - -
- - orSAT 2.27 - - - -
QBFL-BS(0.49)
QBFL-JW(0.5)
QUANTOR(0.6)
sSolve(0.99)
CSBJ(1.27)
semprop(1.27)
CLearn(1.31)
GRL(1.51)
openQbf(1.75)
yQuaffle(2.05)
orSAT(2.27)