Sota solver details
QBFEVAL'06

Instance: robots_1_5_4_30.4
Best Solver: sKizzo-0.9-abs Time: 1.73 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 2.69 - - ssolve-ut 19.29
- - qube3.0 3.61 - - sSolve 19.31
- - sKizzo-0.9-std 4.5 - - qube4.0 23.61
- - - - - - qube5.0 24.51
- - - - - - ssolve+ut 35.03
- - - - - - GRL 65.5
- - - - - - SQBF 119.29
- - - - - - semprop 124.89
sKizzo-0.9-abs(1.73)
yQuaffle(2.69)
qube3.0(3.61)
sKizzo-0.9-std(4.5)
ssolve-ut(19.29)
sSolve(19.31)
qube4.0(23.61)
qube5.0(24.51)
ssolve+ut(35.03)
GRL(65.5)
SQBF(119.29)
semprop(124.89)
openQbf(197.72)
2clsQ(1759.51)