Sota solver details
QBFEVAL'04

Instance: cf_4_6x7_d_
Best Solver: QBFL-BS Time: 0.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-JW 0.09 semprop 0.47 openQbf 1
- - QUANTOR 0.2 WalkQSAT 0.47 QUBE-BJ 1.15
- - QSAT 0.23 yQuaffle 0.5 QUBE-LRN 1.16
- - sSolve 0.32 orSAT 0.79 - -
- - CLearn 0.34 - - - -
- - CSBJ 0.35 - - - -
- - GRL 0.41 - - - -
QBFL-BS(0.09)
QBFL-JW(0.09)
QUANTOR(0.2)
QSAT(0.23)
sSolve(0.32)
CLearn(0.34)
CSBJ(0.35)
GRL(0.41)
semprop(0.47)
WalkQSAT(0.47)
yQuaffle(0.5)
orSAT(0.79)
openQbf(1)
QUBE-BJ(1.15)
QUBE-LRN(1.16)