Sota solver details
QBFEVAL'06

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - WalkQSAT 0.36 - - qube4.0 20.62
- - GRL 0.61 - - qube3.0 23.06
Quaffle(0.31)
WalkQSAT(0.36)
GRL(0.61)
qube4.0(20.62)
qube3.0(23.06)
qube5.0(72.05)
Qbfl(216.11)
SQBF(217.99)
semprop(232.54)
openQbf(305.61)
sSolve(540.2)
ssolve+ut(542.65)
ssolve-ut(545.62)
2clsQ(1451.77)