Sota solver details
QBFEVAL'04

Instance: cf_5_7x5_d_
Best Solver: QBFL-JW Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-BS 0.06 WalkQSAT 0.28 openQbf 0.83
- - QSAT 0.14 yQuaffle 0.33 QUBE-BJ 1.1
- - QUANTOR 0.14 orSAT 0.47 QUBE-LRN 1.1
- - sSolve 0.19 - - - -
- - semprop 0.21 - - - -
- - CSBJ 0.22 - - - -
- - CLearn 0.23 - - - -
- - GRL 0.24 - - - -
QBFL-JW(0.05)
QBFL-BS(0.06)
QSAT(0.14)
QUANTOR(0.14)
sSolve(0.19)
semprop(0.21)
CSBJ(0.22)
CLearn(0.23)
GRL(0.24)
WalkQSAT(0.28)
yQuaffle(0.33)
orSAT(0.47)
openQbf(0.83)
QUBE-BJ(1.1)
QUBE-LRN(1.1)
QMRes(773.33)