Sota solver details
QBFEVAL'06

Instance: robots_1_5_5_66.4
Best Solver: qube3.0 Time: 0.52 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.9-abs 0.66 sKizzo-0.9-std 3.72 semprop 5.58
- - yQuaffle 0.88 ssolve+ut 4.66 GRL 5.85
- - qube4.0 1.45 - - - -
- - qube5.0 1.6 - - - -
- - ssolve-ut 2.36 - - - -
- - sSolve 2.44 - - - -
qube3.0(0.52)
sKizzo-0.9-abs(0.66)
yQuaffle(0.88)
qube4.0(1.45)
qube5.0(1.6)
ssolve-ut(2.36)
sSolve(2.44)
sKizzo-0.9-std(3.72)
ssolve+ut(4.66)
semprop(5.58)
GRL(5.85)
SQBF(53.09)
2clsQ(55.94)
openQbf(123.39)