Sota solver details
QBFEVAL'06

Instance: texas.ifetch1^8.E-f2
Best Solver: preQuantor Time: 0.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR 0.13 qube5.0 0.61 - -
- - QUANTOR_hc 0.14 - - - -
- - 2clsQ 0.15 - - - -
- - SQBF 0.15 - - - -
preQuantor(0.12)
QUANTOR(0.13)
QUANTOR_hc(0.14)
2clsQ(0.15)
SQBF(0.15)
qube5.0(0.61)