Sota solver details
QBFEVAL'04

Instance: cf_7_9x8_w_
Best Solver: QBFL-JW Time: 0.15 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-BS 0.17 sSolve 0.77 openQbf 1.68
- - QUANTOR 0.5 CLearn 0.78 - -
- - QSAT 0.65 CSBJ 0.78 - -
- - - - GRL 1 - -
- - - - WalkQSAT 1.05 - -
- - - - yQuaffle 1.08 - -
- - - - semprop 1.33 - -
- - - - QUBE-BJ 1.41 - -
- - - - QUBE-LRN 1.41 - -
QBFL-JW(0.15)
QBFL-BS(0.17)
QUANTOR(0.5)
QSAT(0.65)
sSolve(0.77)
CLearn(0.78)
CSBJ(0.78)
GRL(1)
WalkQSAT(1.05)
yQuaffle(1.08)
semprop(1.33)
QUBE-BJ(1.41)
QUBE-LRN(1.41)
openQbf(1.68)