Sota solver details
QBFEVAL'06

Instance: ev-pr-4x4-15-3-0-0-1-lg
Best Solver: Quaffle Time: 0.44 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - WalkQSAT 0.5 - - - -
- - GRL 0.89 - - - -
Quaffle(0.44)
WalkQSAT(0.5)
GRL(0.89)
SQBF(359.38)
sSolve(2481.73)
ssolve-ut(2506.13)
ssolve+ut(2515.13)