Sota solver details
QBFEVAL'06

Instance: robots_1_5_2_100.4
Best Solver: sKizzo-0.9-abs Time: 1.89 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 2.2 sSolve 14.86 ssolve+ut 29.38
- - qube3.0 3.89 ssolve-ut 14.94 GRL 43.44
- - qube4.0 5.51 - - SQBF 70.79
- - qube5.0 5.72 - - - -
sKizzo-0.9-abs(1.89)
yQuaffle(2.2)
qube3.0(3.89)
qube4.0(5.51)
qube5.0(5.72)
sSolve(14.86)
ssolve-ut(14.94)
ssolve+ut(29.38)
GRL(43.44)
SQBF(70.79)
openQbf(378.59)