Sota solver details
QBFEVAL'06

Instance: robots_1_5_4_31.4
Best Solver: sKizzo-0.9-abs Time: 1.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 2.56 - - ssolve-ut 19.29
- - qube3.0 3.56 - - sSolve 19.51
- - sKizzo-0.9-std 4.54 - - qube4.0 23.39
- - - - - - qube5.0 24.31
- - - - - - ssolve+ut 34.9
- - - - - - GRL 63.34
- - - - - - semprop 111.23
- - - - - - SQBF 113.14
sKizzo-0.9-abs(1.71)
yQuaffle(2.56)
qube3.0(3.56)
sKizzo-0.9-std(4.54)
ssolve-ut(19.29)
sSolve(19.51)
qube4.0(23.39)
qube5.0(24.31)
ssolve+ut(34.9)
GRL(63.34)
semprop(111.23)
SQBF(113.14)
openQbf(197.2)
2clsQ(1485.63)