Sota solver details
QBFEVAL'06

Instance: s298_d4_s
Best Solver: QUANTOR_hc Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - qube5.0 4.51
QUANTOR_hc(0.06)
qube5.0(4.51)
preQuantor(14.19)
SQBF(14.25)
2clsQ(14.3)
sKizzo-0.9-grn(16.31)
sKizzo-0.9-abs(16.46)
sKizzo-0.9-std(17.23)
QUANTOR(116.79)