Sota solver details
QBFEVAL'06

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - WalkQSAT 0.58 - - - -
- - GRL 1.04 - - - -
Quaffle(0.49)
WalkQSAT(0.58)
GRL(1.04)
SQBF(411.3)
ssolve+ut(4143.6)
sSolve(4163.16)
ssolve-ut(4211)