Sota solver details
QBFEVAL'06

Instance: lut4_2_f1
Best Solver: sKizzo-0.9-abs Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.9-std 0.05 2clsQ 0.21 yQuaffle 0.55
- - qube5.0 0.17 preQuantor 0.22 sKizzo-0.9-grn 0.66
- - qube3.0 0.19 SQBF 0.22 semprop 1.93
- - qube4.0 0.19 - - ssolve-ut 3.7
sKizzo-0.9-abs(0.04)
sKizzo-0.9-std(0.05)
qube5.0(0.17)
qube3.0(0.19)
qube4.0(0.19)
2clsQ(0.21)
preQuantor(0.22)
SQBF(0.22)
yQuaffle(0.55)
sKizzo-0.9-grn(0.66)
semprop(1.93)
ssolve-ut(3.7)
sSolve(4.03)
ssolve+ut(4.06)
QUANTOR_hc(4.64)
QUANTOR(4.68)
Quaffle(178.24)
openQbf(607.69)