Sota solver details
QBFEVAL'06

Instance: robots_1_5_3_44.4
Best Solver: sKizzo-0.9-abs Time: 1.52 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 2.96 qube4.0 10.46 ssolve-ut 22.1
- - sKizzo-0.9-std 5.77 qube5.0 10.61 sSolve 22.2
- - qube3.0 5.91 - - ssolve+ut 38.21
- - - - - - GRL 52.28
- - - - - - SQBF 69.01
sKizzo-0.9-abs(1.52)
yQuaffle(2.96)
sKizzo-0.9-std(5.77)
qube3.0(5.91)
qube4.0(10.46)
qube5.0(10.61)
ssolve-ut(22.1)
sSolve(22.2)
ssolve+ut(38.21)
GRL(52.28)
SQBF(69.01)
openQbf(213.2)
2clsQ(635.8)