Sota solver details
QBFEVAL'06

Instance: robots_1_5_5_87.4
Best Solver: sKizzo-0.9-abs Time: 1.72 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 2.72 - - sSolve 19.36
- - qube3.0 3.58 - - ssolve-ut 19.37
- - sKizzo-0.9-std 4.6 - - qube4.0 23.34
- - - - - - qube5.0 24.26
- - - - - - ssolve+ut 34.93
- - - - - - GRL 63.15
- - - - - - SQBF 113.16
- - - - - - semprop 136.71
sKizzo-0.9-abs(1.72)
yQuaffle(2.72)
qube3.0(3.58)
sKizzo-0.9-std(4.6)
sSolve(19.36)
ssolve-ut(19.37)
qube4.0(23.34)
qube5.0(24.26)
ssolve+ut(34.93)
GRL(63.15)
SQBF(113.16)
semprop(136.71)
openQbf(198.35)
2clsQ(1623.7)