Sota solver details
QBFEVAL'06

Instance: texas.PI_main^14.E-f2
Best Solver: yQuaffle Time: 0.14 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - preQuantor 0.31 GRL 0.79 qube5.0 1.95
- - 2clsQ 0.34 WalkQSAT 0.8 - -
- - SQBF 0.34 - - - -
- - sKizzo-0.9-abs 0.43 - - - -
- - sKizzo-0.9-grn 0.43 - - - -
- - Quaffle 0.46 - - - -
- - sKizzo-0.9-std 0.47 - - - -
- - qube4.0 0.54 - - - -
- - qube3.0 0.65 - - - -
yQuaffle(0.14)
preQuantor(0.31)
2clsQ(0.34)
SQBF(0.34)
sKizzo-0.9-abs(0.43)
sKizzo-0.9-grn(0.43)
Quaffle(0.46)
sKizzo-0.9-std(0.47)
qube4.0(0.54)
qube3.0(0.65)
GRL(0.79)
WalkQSAT(0.8)
qube5.0(1.95)
semprop(19.01)
sSolve(30.98)
ssolve+ut(109.12)