Sota solver details
QBFEVAL'04

Instance: cf_7_8x8_w_
Best Solver: QBFL-BS Time: 0.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR 0.4 semprop 0.73 QUBE-LRN 1.31
- - QSAT 0.45 GRL 0.75 openQbf 1.32
- - sSolve 0.58 WalkQSAT 0.79 - -
- - CLearn 0.59 yQuaffle 0.82 - -
- - CSBJ 0.59 QUBE-BJ 1.3 - -
QBFL-BS(0.13)
QBFL-JW(0.13)
QUANTOR(0.4)
QSAT(0.45)
sSolve(0.58)
CLearn(0.59)
CSBJ(0.59)
semprop(0.73)
GRL(0.75)
WalkQSAT(0.79)
yQuaffle(0.82)
QUBE-BJ(1.3)
QUBE-LRN(1.31)
openQbf(1.32)