Sota solver details
QBFEVAL'06

Instance: robots_1_5_2_45.4
Best Solver: sKizzo-0.9-abs Time: 2.4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 3.24 ssolve-ut 21.98 ssolve+ut 37.45
- - qube3.0 5.75 sSolve 22.08 GRL 51.33
- - qube4.0 8.03 - - SQBF 70.2
- - qube5.0 8.12 - - - -
sKizzo-0.9-abs(2.4)
yQuaffle(3.24)
qube3.0(5.75)
qube4.0(8.03)
qube5.0(8.12)
ssolve-ut(21.98)
sSolve(22.08)
ssolve+ut(37.45)
GRL(51.33)
SQBF(70.2)
openQbf(420.69)