Sota solver details
QBFEVAL'06

Instance: robots_1_5_5_93.4
Best Solver: sKizzo-0.9-abs Time: 1.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 4.55 - - qube5.0 20.83
- - sKizzo-0.9-std 4.92 - - qube4.0 21
- - qube3.0 5.06 - - ssolve-ut 40.81
- - - - - - sSolve 41.28
- - - - - - ssolve+ut 59.84
- - - - - - GRL 96.89
- - - - - - SQBF 113.89
sKizzo-0.9-abs(1.62)
yQuaffle(4.55)
sKizzo-0.9-std(4.92)
qube3.0(5.06)
qube5.0(20.83)
qube4.0(21)
ssolve-ut(40.81)
sSolve(41.28)
ssolve+ut(59.84)
GRL(96.89)
SQBF(113.89)
openQbf(320.73)
2clsQ(4662.51)