Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: k_branch_n-12
Best Solver: hiqqer3 Time: 4.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-bid-qsts 4.38 - - AIGSolve 53.8
- - xb-qsts 4.38 - - qsts 120.27
- - caqe-minisat 4.43 - - qesto 125.38
- - iprover-QBF-bloqqer 4.58 - - - -
- - caqe-picosat 4.7 - - - -
- - depqbf-v2 7.22 - - - -
- - hiqqer1ldsq 13.8 - - - -
- - hiqqer1 13.87 - - - -
hiqqer3(4.24)
xb-bid-qsts(4.38)
xb-qsts(4.38)
caqe-minisat(4.43)
iprover-QBF-bloqqer(4.58)
caqe-picosat(4.7)
depqbf-v2(7.22)
hiqqer1ldsq(13.8)
hiqqer1(13.87)
AIGSolve(53.8)
qsts(120.27)
qesto(125.38)