Sota solver details
QBFEVAL'04

Instance: cf_5_5x7_d_
Best Solver: QBFL-BS Time: 0.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-JW 0.07 orSAT 0.45 openQbf 0.76
- - QUANTOR 0.11 - - QUBE-BJ 1.07
- - QSAT 0.13 - - QUBE-LRN 1.1
- - sSolve 0.18 - - - -
- - semprop 0.19 - - - -
- - CLearn 0.22 - - - -
- - CSBJ 0.22 - - - -
- - GRL 0.22 - - - -
- - WalkQSAT 0.26 - - - -
- - yQuaffle 0.32 - - - -
QBFL-BS(0.07)
QBFL-JW(0.07)
QUANTOR(0.11)
QSAT(0.13)
sSolve(0.18)
semprop(0.19)
CLearn(0.22)
CSBJ(0.22)
GRL(0.22)
WalkQSAT(0.26)
yQuaffle(0.32)
orSAT(0.45)
openQbf(0.76)
QUBE-BJ(1.07)
QUBE-LRN(1.1)