Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: texas.PI_main^08.E-f3
Best Solver: ghostq-cegar Time: 3.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ghostq-plain 3.39 AIGSolve 24.3 - -
- - xb-bid-qsts 4.64 - - - -
- - xb-qsts 4.64 - - - -
- - caqe-picosat 4.71 - - - -
- - caqe-minisat 4.72 - - - -
- - iprover-QBF-bloqqer 4.97 - - - -
- - depqbf-v2 5.31 - - - -
ghostq-cegar(3.16)
ghostq-plain(3.39)
xb-bid-qsts(4.64)
xb-qsts(4.64)
caqe-picosat(4.71)
caqe-minisat(4.72)
iprover-QBF-bloqqer(4.97)
depqbf-v2(5.31)
AIGSolve(24.3)