Sota solver details
QBFEVAL'06

Instance: robots_1_5_2_85.4
Best Solver: qube3.0 Time: 0.59 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 1.02 ssolve-ut 3.45 ssolve+ut 6.67
- - qube4.0 1.29 sSolve 3.51 SQBF 49.19
- - qube5.0 1.51 GRL 5.78 - -
- - sKizzo-0.9-abs 1.64 - - - -
qube3.0(0.59)
yQuaffle(1.02)
qube4.0(1.29)
qube5.0(1.51)
sKizzo-0.9-abs(1.64)
ssolve-ut(3.45)
sSolve(3.51)
GRL(5.78)
ssolve+ut(6.67)
SQBF(49.19)
openQbf(249.4)
2clsQ(550.62)