Sota solver details
QBFEVAL'06

Instance: robots_1_5_2_80.4
Best Solver: sKizzo-0.9-abs Time: 1.78 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 2.77 qube4.0 10.25 ssolve-ut 18.48
- - qube3.0 4.93 qube5.0 10.48 sSolve 18.58
- - - - - - ssolve+ut 34.6
- - - - - - GRL 44.28
- - - - - - SQBF 79.81
sKizzo-0.9-abs(1.78)
yQuaffle(2.77)
qube3.0(4.93)
qube4.0(10.25)
qube5.0(10.48)
ssolve-ut(18.48)
sSolve(18.58)
ssolve+ut(34.6)
GRL(44.28)
SQBF(79.81)
sKizzo-0.9-std(362.49)
openQbf(387.98)