Sota solver details
QBFEVAL'04

Instance: cf_7_8x7_d_
Best Solver: QBFL-JW Time: 0.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-BS 0.1 semprop 0.48 orSAT 1.04
- - QUANTOR 0.29 GRL 0.57 openQbf 1.18
- - QSAT 0.32 WalkQSAT 0.58 QUBE-LRN 1.21
- - sSolve 0.42 yQuaffle 0.62 QUBE-BJ 1.23
- - CLearn 0.43 - - - -
- - CSBJ 0.43 - - - -
QBFL-JW(0.09)
QBFL-BS(0.1)
QUANTOR(0.29)
QSAT(0.32)
sSolve(0.42)
CLearn(0.43)
CSBJ(0.43)
semprop(0.48)
GRL(0.57)
WalkQSAT(0.58)
yQuaffle(0.62)
orSAT(1.04)
openQbf(1.18)
QUBE-LRN(1.21)
QUBE-BJ(1.23)