Sota solver details
QBFEVAL'04

Instance: cf_3_9x5_d_
Best Solver: QUANTOR Time: 0.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-BS 0.31 - - - -
- - QSAT 0.48 - - - -
- - semprop 0.51 - - - -
- - sSolve 0.56 - - - -
- - CLearn 0.77 - - - -
- - CSBJ 0.77 - - - -
- - GRL 0.86 - - - -
- - orSAT 1.06 - - - -
- - openQbf 1.22 - - - -
- - yQuaffle 1.27 - - - -
QUANTOR(0.3)
QBFL-BS(0.31)
QSAT(0.48)
semprop(0.51)
sSolve(0.56)
CLearn(0.77)
CSBJ(0.77)
GRL(0.86)
orSAT(1.06)
openQbf(1.22)
yQuaffle(1.27)