Sota solver details
QBFEVAL'06

Instance: robots_1_5_4_2.4
Best Solver: sKizzo-0.9-abs Time: 2.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 3.74 - - qube4.0 21.13
- - qube3.0 4.46 - - qube5.0 21.14
- - sKizzo-0.9-std 4.91 - - ssolve-ut 32.58
- - - - - - sSolve 32.77
- - - - - - ssolve+ut 50.75
- - - - - - GRL 81.72
- - - - - - SQBF 100.31
sKizzo-0.9-abs(2.02)
yQuaffle(3.74)
qube3.0(4.46)
sKizzo-0.9-std(4.91)
qube4.0(21.13)
qube5.0(21.14)
ssolve-ut(32.58)
sSolve(32.77)
ssolve+ut(50.75)
GRL(81.72)
SQBF(100.31)
openQbf(302.9)
semprop(401.23)
2clsQ(2750.77)