Sota solver details
QBFEVAL'05

Instance: lut4_3_fAND
Best Solver: skizzo_v0.4 Time: 0.4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 0.46 QUANTOR 3.31 openQbf 10.28
- - - - skizzo_v0.5 3.81 - -
skizzo_v0.4(0.4)
yQuaffle(0.46)
QUANTOR(3.31)
skizzo_v0.5(3.81)
openQbf(10.28)