Sota solver details
QBFEVAL'06

Instance: robots_1_5_3_2.4
Best Solver: sKizzo-0.9-abs Time: 2.66 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 4.39 - - sSolve 36.57
- - sKizzo-0.9-std 6.87 - - ssolve-ut 36.96
- - qube3.0 7.88 - - ssolve+ut 55.3
- - qube4.0 10.45 - - GRL 72.19
- - qube5.0 10.59 - - SQBF 82.09
sKizzo-0.9-abs(2.66)
yQuaffle(4.39)
sKizzo-0.9-std(6.87)
qube3.0(7.88)
qube4.0(10.45)
qube5.0(10.59)
sSolve(36.57)
ssolve-ut(36.96)
ssolve+ut(55.3)
GRL(72.19)
SQBF(82.09)
openQbf(367.69)