Sota solver details
QBFEVAL'04

Instance: szymanski-22-s
Best Solver: CSBJ Time: 35.87 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - CLearn 36.15 QBFL-JW 241.3 - -
- - QUBE-LRN 36.96 openQbf 350.11 - -
- - QUBE-BJ 41.56 - - - -
- - GRL 77.1 - - - -
- - sSolve 151.73 - - - -
CSBJ(35.87)
CLearn(36.15)
QUBE-LRN(36.96)
QUBE-BJ(41.56)
GRL(77.1)
sSolve(151.73)
QBFL-JW(241.3)
openQbf(350.11)