Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: cnt14
Best Solver: qesto Time: 0.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - hiqqer1 0.46 - -
- - - - hiqqer3 0.46 - -
- - - - hiqqer1ldsq 0.47 - -
- - - - xb-qsts 0.49 - -
- - - - caqe-minisat 0.5 - -
- - - - xb-bid-qsts 0.5 - -
- - - - caqe-picosat 0.52 - -
- - - - iprover-QBF-bloqqer 0.53 - -
- - - - depqbf-v2 0.71 - -
qesto(0.08)
qestos(0.08)
rareqs(0.08)
hiqqer1(0.46)
hiqqer3(0.46)
hiqqer1ldsq(0.47)
xb-qsts(0.49)
caqe-minisat(0.5)
xb-bid-qsts(0.5)
caqe-picosat(0.52)
iprover-QBF-bloqqer(0.53)
depqbf-v2(0.71)
depqbf-v3(15.6)
AIGSolve(16.83)
qsts(192.96)