Sota solver details
QBFEVAL'04

Instance: cf_2_4x8_r_
Best Solver: QBFL-BS Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - WalkQSAT 0.38 semprop 0.6
- - - - sSolve 0.5 GRL 0.72
- - - - CLearn 0.59 yQuaffle 0.92
- - - - CSBJ 0.59 QUBE-BJ 1.26
- - - - - - QUBE-LRN 1.28
- - - - - - openQbf 2.45
- - - - - - QSAT 5.71
QBFL-BS(0.06)
QBFL-JW(0.06)
WalkQSAT(0.38)
sSolve(0.5)
CLearn(0.59)
CSBJ(0.59)
semprop(0.6)
GRL(0.72)
yQuaffle(0.92)
QUBE-BJ(1.26)
QUBE-LRN(1.28)
openQbf(2.45)
QSAT(5.71)