Sota solver details
QBFEVAL'06

Instance: robots_1_5_2_82.4
Best Solver: sKizzo-0.9-abs Time: 2.56 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 4.66 - - sSolve 37.43
- - qube3.0 8.02 - - ssolve-ut 37.51
- - qube4.0 12.47 - - ssolve+ut 55.02
- - qube5.0 12.5 - - SQBF 63.94
- - - - - - GRL 72.34
sKizzo-0.9-abs(2.56)
yQuaffle(4.66)
qube3.0(8.02)
qube4.0(12.47)
qube5.0(12.5)
sSolve(37.43)
ssolve-ut(37.51)
ssolve+ut(55.02)
SQBF(63.94)
GRL(72.34)
openQbf(389.78)
sKizzo-0.9-std(612.5)