Sota solver details
QBFEVAL'04

Instance: cf_6_8x6_r_
Best Solver: QBFL-JW Time: 0.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-BS 0.09 - - WalkQSAT 2.35
QBFL-JW(0.08)
QBFL-BS(0.09)
WalkQSAT(2.35)