Sota solver details
QBFEVAL'06

Instance: robots_1_5_3_66.4
Best Solver: sKizzo-0.9-abs Time: 2.39 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 3.94 qube4.0 13.3 ssolve-ut 31.78
- - qube3.0 6.74 qube5.0 13.36 sSolve 31.82
- - sKizzo-0.9-std 6.87 - - ssolve+ut 50.58
- - - - - - GRL 60.94
- - - - - - SQBF 73.11
- - - - - - semprop 191.33
sKizzo-0.9-abs(2.39)
yQuaffle(3.94)
qube3.0(6.74)
sKizzo-0.9-std(6.87)
qube4.0(13.3)
qube5.0(13.36)
ssolve-ut(31.78)
sSolve(31.82)
ssolve+ut(50.58)
GRL(60.94)
SQBF(73.11)
semprop(191.33)
openQbf(351.55)