Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: k_branch_n-10
Best Solver: hiqqer1ldsq Time: 1.92 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 1.93 qsts 11.6 AIGSolve 32.71
- - hiqqer3 2.25 - - rareqs 58.36
- - caqe-minisat 2.32 - - - -
- - xb-bid-qsts 2.39 - - - -
- - xb-qsts 2.43 - - - -
- - iprover-QBF-bloqqer 2.46 - - - -
- - caqe-picosat 2.51 - - - -
- - depqbf-v2 3.81 - - - -
- - qesto 7.63 - - - -
hiqqer1ldsq(1.92)
hiqqer1(1.93)
hiqqer3(2.25)
caqe-minisat(2.32)
xb-bid-qsts(2.39)
xb-qsts(2.43)
iprover-QBF-bloqqer(2.46)
caqe-picosat(2.51)
depqbf-v2(3.81)
qesto(7.63)
qsts(11.6)
AIGSolve(32.71)
rareqs(58.36)