Sota solver details
QBFEVAL'04

Instance: szymanski-16-s
Best Solver: WalkQSAT Time: 2.33 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - CSBJ 7.39 GRL 15.56 sSolve 26.19
- - CLearn 7.41 - - QBFL-JW 39.28
- - QUBE-BJ 8.41 - - openQbf 69.75
- - QUBE-LRN 8.42 - - - -
WalkQSAT(2.33)
CSBJ(7.39)
CLearn(7.41)
QUBE-BJ(8.41)
QUBE-LRN(8.42)
GRL(15.56)
sSolve(26.19)
QBFL-JW(39.28)
openQbf(69.75)