Sota solver details
QBFEVAL'06

Instance: vis.eisenberg.E-f2
Best Solver: QUANTOR Time: 0.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR_hc 0.5 - - ssolve-ut 14.59
- - SQBF 0.87 - - semprop 19.68
- - preQuantor 0.89 - - ssolve+ut 24.84
- - 2clsQ 0.9 - - sSolve 26.07
QUANTOR(0.46)
QUANTOR_hc(0.5)
SQBF(0.87)
preQuantor(0.89)
2clsQ(0.9)
ssolve-ut(14.59)
semprop(19.68)
ssolve+ut(24.84)
sSolve(26.07)
qube5.0(46.22)
Quaffle(54.62)
Qbfl(74.61)
sKizzo-0.9-grn(86.13)
openQbf(174.87)
sKizzo-0.9-abs(232.77)
sKizzo-0.9-std(450.97)
qube3.0(1208.66)
qube4.0(1421.76)
yQuaffle(2105.06)