Sota solver details
QBFEVAL'06

Instance: robots_1_5_4_50.4
Best Solver: sKizzo-0.9-abs Time: 1.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 2.88 - - sSolve 19.69
- - qube3.0 3.42 - - ssolve-ut 19.72
- - sKizzo-0.9-std 4.52 - - qube4.0 20.61
- - - - - - qube5.0 20.87
- - - - - - ssolve+ut 35.23
- - - - - - GRL 59.77
- - - - - - SQBF 105.84
sKizzo-0.9-abs(1.62)
yQuaffle(2.88)
qube3.0(3.42)
sKizzo-0.9-std(4.52)
sSolve(19.69)
ssolve-ut(19.72)
qube4.0(20.61)
qube5.0(20.87)
ssolve+ut(35.23)
GRL(59.77)
SQBF(105.84)
openQbf(196.05)
2clsQ(2632.42)