Sota solver details
QBFEVAL'04

Instance: cf_6_6x8_w_
Best Solver: QBFL-BS Time: 0.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR 0.21 GRL 0.41 openQbf 0.98
- - QSAT 0.23 WalkQSAT 0.46 QUBE-LRN 1.17
- - sSolve 0.32 semprop 0.49 QUBE-BJ 1.18
- - CLearn 0.35 yQuaffle 0.51 - -
- - CSBJ 0.35 - - - -
QBFL-BS(0.08)
QBFL-JW(0.08)
QUANTOR(0.21)
QSAT(0.23)
sSolve(0.32)
CLearn(0.35)
CSBJ(0.35)
GRL(0.41)
WalkQSAT(0.46)
semprop(0.49)
yQuaffle(0.51)
openQbf(0.98)
QUBE-LRN(1.17)
QUBE-BJ(1.18)