Sota solver details
QBFEVAL'06

Instance: robots_1_5_3_20.4
Best Solver: sKizzo-0.9-abs Time: 1.86 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 3.59 - - qube5.0 20.22
- - qube3.0 4.29 - - qube4.0 20.38
- - sKizzo-0.9-std 4.82 - - sSolve 32.47
- - - - - - ssolve-ut 32.5
- - - - - - ssolve+ut 50.37
- - - - - - GRL 70.99
- - - - - - SQBF 103.81
sKizzo-0.9-abs(1.86)
yQuaffle(3.59)
qube3.0(4.29)
sKizzo-0.9-std(4.82)
qube5.0(20.22)
qube4.0(20.38)
sSolve(32.47)
ssolve-ut(32.5)
ssolve+ut(50.37)
GRL(70.99)
SQBF(103.81)
openQbf(314.08)
2clsQ(4169.79)