Sota solver details
QBFEVAL'06

Instance: robots_1_5_3_52.4
Best Solver: sKizzo-0.9-abs Time: 3.29 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 4.46 qube5.0 18.53 ssolve-ut 41.61
- - sKizzo-0.9-std 7.49 qube4.0 18.56 sSolve 41.66
- - qube3.0 9.11 - - ssolve+ut 59.03
- - - - - - GRL 95.43
- - - - - - SQBF 99.16
sKizzo-0.9-abs(3.29)
yQuaffle(4.46)
sKizzo-0.9-std(7.49)
qube3.0(9.11)
qube5.0(18.53)
qube4.0(18.56)
ssolve-ut(41.61)
sSolve(41.66)
ssolve+ut(59.03)
GRL(95.43)
SQBF(99.16)
openQbf(363.88)
semprop(387.26)