Sota solver details
QBFEVAL'06

Instance: robots_1_5_3_57.4
Best Solver: sKizzo-0.9-abs Time: 2.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 4.23 qube4.0 15.2 sSolve 36.87
- - qube3.0 8.16 qube5.0 15.3 ssolve-ut 37.18
- - sKizzo-0.9-std 9.04 - - ssolve+ut 55.15
- - - - - - SQBF 82.49
- - - - - - GRL 89.3
sKizzo-0.9-abs(2.76)
yQuaffle(4.23)
qube3.0(8.16)
sKizzo-0.9-std(9.04)
qube4.0(15.2)
qube5.0(15.3)
sSolve(36.87)
ssolve-ut(37.18)
ssolve+ut(55.15)
SQBF(82.49)
GRL(89.3)
openQbf(369.5)