Sota solver details
QBFEVAL'06

Instance: C880.blif_0.10_1.00_0_1_out_exact
Best Solver: WalkQSAT Time: 0.64 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GRL 0.87 semprop 5.83 Quaffle 18.66
- - - - - - ssolve-ut 22.3
- - - - - - sSolve 22.43
- - - - - - ssolve+ut 22.5
- - - - - - preQuantor 25.4
- - - - - - 2clsQ 25.45
- - - - - - SQBF 25.54
WalkQSAT(0.64)
GRL(0.87)
semprop(5.83)
Quaffle(18.66)
ssolve-ut(22.3)
sSolve(22.43)
ssolve+ut(22.5)
preQuantor(25.4)
2clsQ(25.45)
SQBF(25.54)
qube5.0(97.22)
yQuaffle(3850.31)