Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: k_branch_p-14
Best Solver: xb-qsts Time: 5.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-bid-qsts 5.59 - - AIGSolve 113.7
- - caqe-picosat 5.6 - - qesto 128.47
- - caqe-minisat 5.63 - - qsts 263.62
- - depqbf-v2 7.91 - - - -
- - hiqqer3 8.18 - - - -
- - hiqqer1 18.74 - - - -
- - hiqqer1ldsq 18.83 - - - -
- - rareqs 18.87 - - - -
xb-qsts(5.58)
xb-bid-qsts(5.59)
caqe-picosat(5.6)
caqe-minisat(5.63)
depqbf-v2(7.91)
hiqqer3(8.18)
hiqqer1(18.74)
hiqqer1ldsq(18.83)
rareqs(18.87)
AIGSolve(113.7)
qesto(128.47)
qsts(263.62)