Sota solver details
QBFEVAL'06

Instance: lut4_2_f2
Best Solver: sKizzo-0.9-abs Time: 3.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.9-std 4.06 - - ssolve-ut 71.46
- - sKizzo-0.9-grn 4.22 - - ssolve+ut 71.65
- - preQuantor 4.38 - - sSolve 71.67
- - 2clsQ 4.4 - - - -
- - SQBF 4.42 - - - -
- - QUANTOR 8.58 - - - -
- - QUANTOR_hc 8.64 - - - -
sKizzo-0.9-abs(3.76)
sKizzo-0.9-std(4.06)
sKizzo-0.9-grn(4.22)
preQuantor(4.38)
2clsQ(4.4)
SQBF(4.42)
QUANTOR(8.58)
QUANTOR_hc(8.64)
ssolve-ut(71.46)
ssolve+ut(71.65)
sSolve(71.67)
Quaffle(547.01)