Sota solver details
QBFEVAL'04

Instance: cf_2_4x8_d_
Best Solver: QBFL-BS Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-JW 0.06 GRL 0.28 orSAT 0.52
- - QSAT 0.16 WalkQSAT 0.31 openQbf 0.84
- - QUANTOR 0.16 yQuaffle 0.36 QUBE-BJ 1.09
- - semprop 0.21 - - QUBE-LRN 1.12
- - sSolve 0.21 - - - -
- - CLearn 0.24 - - - -
- - CSBJ 0.24 - - - -
QBFL-BS(0.05)
QBFL-JW(0.06)
QSAT(0.16)
QUANTOR(0.16)
semprop(0.21)
sSolve(0.21)
CLearn(0.24)
CSBJ(0.24)
GRL(0.28)
WalkQSAT(0.31)
yQuaffle(0.36)
orSAT(0.52)
openQbf(0.84)
QUBE-BJ(1.09)
QUBE-LRN(1.12)