Sota solver details
QBFEVAL'06

Instance: robots_1_5_3_16.4
Best Solver: sKizzo-0.9-abs Time: 2.49 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 3.14 sSolve 21.53 ssolve+ut 36.71
- - qube3.0 6.14 ssolve-ut 21.55 GRL 56.97
- - sKizzo-0.9-std 7.12 - - SQBF 64.15
- - qube4.0 11.86 - - openQbf 222.01
- - qube5.0 12.02 - - - -
sKizzo-0.9-abs(2.49)
yQuaffle(3.14)
qube3.0(6.14)
sKizzo-0.9-std(7.12)
qube4.0(11.86)
qube5.0(12.02)
sSolve(21.53)
ssolve-ut(21.55)
ssolve+ut(36.71)
GRL(56.97)
SQBF(64.15)
openQbf(222.01)
semprop(256.73)
2clsQ(1836.36)