Sota solver details
QBFEVAL'04

Instance: cf_7_9x7_w_
Best Solver: QBFL-BS Time: 0.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR 0.35 GRL 0.7 QUBE-BJ 1.25
- - QSAT 0.46 semprop 0.72 QUBE-LRN 1.27
- - sSolve 0.55 WalkQSAT 0.76 openQbf 1.35
- - CSBJ 0.56 yQuaffle 0.78 - -
- - CLearn 0.57 - - - -
QBFL-BS(0.12)
QBFL-JW(0.12)
QUANTOR(0.35)
QSAT(0.46)
sSolve(0.55)
CSBJ(0.56)
CLearn(0.57)
GRL(0.7)
semprop(0.72)
WalkQSAT(0.76)
yQuaffle(0.78)
QUBE-BJ(1.25)
QUBE-LRN(1.27)
openQbf(1.35)