Sota solver details
QBFEVAL'06

Instance: texas.parsesys^2.E-f2
Best Solver: QUANTOR_hc Time: 0.15 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - QUANTOR 5.8
- - - - - - SQBF 5.83
- - - - - - preQuantor 5.85
- - - - - - 2clsQ 5.86
QUANTOR_hc(0.15)
QUANTOR(5.8)
SQBF(5.83)
preQuantor(5.85)
2clsQ(5.86)
sKizzo-0.9-grn(41.76)
sKizzo-0.9-abs(50.27)
sKizzo-0.9-std(54.71)
ssolve-ut(1946.31)
sSolve(1973.35)
ssolve+ut(2011.48)