Sota solver details
QBFEVAL'04

Instance: cf_2_8x3_r_
Best Solver: QBFL-BS Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-JW 0.05 - - sSolve 0.61
- - - - - - CLearn 0.64
- - - - - - CSBJ 0.64
- - - - - - semprop 0.75
- - - - - - GRL 0.99
- - - - - - WalkQSAT 1.24
- - - - - - QUBE-BJ 1.77
- - - - - - QUBE-LRN 1.77
- - - - - - yQuaffle 3.13
QBFL-BS(0.04)
QBFL-JW(0.05)
sSolve(0.61)
CLearn(0.64)
CSBJ(0.64)
semprop(0.75)
GRL(0.99)
WalkQSAT(1.24)
QUBE-BJ(1.77)
QUBE-LRN(1.77)
yQuaffle(3.13)
openQbf(4.1)
QSAT(24.96)