Sota solver details
QBFEVAL'06

Instance: robots_1_5_2_3.4
Best Solver: qube3.0 Time: 0.57 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 0.95 ssolve-ut 3.45 GRL 5.86
- - sKizzo-0.9-abs 1.15 sSolve 3.52 ssolve+ut 6.76
- - qube4.0 1.38 - - - -
- - qube5.0 1.56 - - - -
qube3.0(0.57)
yQuaffle(0.95)
sKizzo-0.9-abs(1.15)
qube4.0(1.38)
qube5.0(1.56)
ssolve-ut(3.45)
sSolve(3.52)
GRL(5.86)
ssolve+ut(6.76)
SQBF(59.6)
openQbf(245.54)
2clsQ(600)