Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: k_branch_n-16
Best Solver: qesto Time: 0.65 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qestos 0.66 xb-bid-qsts 6.41 depqbf-v2 8.82
- - rareqs 0.66 caqe-minisat 6.42 - -
- - hiqqer1ldsq 0.95 caqe-picosat 6.43 - -
- - hiqqer1 0.96 iprover-QBF-bloqqer 6.43 - -
- - hiqqer3 0.96 xb-qsts 6.44 - -
qesto(0.65)
qestos(0.66)
rareqs(0.66)
hiqqer1ldsq(0.95)
hiqqer1(0.96)
hiqqer3(0.96)
xb-bid-qsts(6.41)
caqe-minisat(6.42)
caqe-picosat(6.43)
iprover-QBF-bloqqer(6.43)
xb-qsts(6.44)
depqbf-v2(8.82)
AIGSolve(146.11)