Sota solver details
QBFEVAL'06

Instance: robots_1_5_4_91.4
Best Solver: sKizzo-0.9-abs Time: 2.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 3.74 qube4.0 17.84 ssolve-ut 32.71
- - qube3.0 4.28 qube5.0 18.14 sSolve 32.84
- - sKizzo-0.9-std 4.83 - - ssolve+ut 50.51
- - - - - - GRL 74.48
- - - - - - SQBF 99.32
sKizzo-0.9-abs(2.03)
yQuaffle(3.74)
qube3.0(4.28)
sKizzo-0.9-std(4.83)
qube4.0(17.84)
qube5.0(18.14)
ssolve-ut(32.71)
sSolve(32.84)
ssolve+ut(50.51)
GRL(74.48)
SQBF(99.32)
semprop(259.8)
openQbf(310.14)
2clsQ(1506.08)