Sota solver details
QBFEVAL'06

Instance: lut4_3_fAND
Best Solver: sKizzo-0.9-grn Time: 0.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 0.53 - - Quaffle 6.1
- - qube5.0 0.93 - - sKizzo-0.9-std 8.68
- - qube3.0 1.11 - - sKizzo-0.9-abs 8.7
- - qube4.0 1.33 - - QUANTOR_hc 9.7
- - preQuantor 2.07 - - QUANTOR 9.96
- - SQBF 2.1 - - openQbf 11.97
- - 2clsQ 2.11 - - - -
sKizzo-0.9-grn(0.46)
yQuaffle(0.53)
qube5.0(0.93)
qube3.0(1.11)
qube4.0(1.33)
preQuantor(2.07)
SQBF(2.1)
2clsQ(2.11)
Quaffle(6.1)
sKizzo-0.9-std(8.68)
sKizzo-0.9-abs(8.7)
QUANTOR_hc(9.7)
QUANTOR(9.96)
openQbf(11.97)