Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: k_branch_p-10
Best Solver: hiqqer1ldsq Time: 1.85 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 1.86 - - AIGSolve 40.67
- - rareqs 1.96 - - - -
- - hiqqer3 2.18 - - - -
- - xb-qsts 2.29 - - - -
- - caqe-picosat 2.42 - - - -
- - xb-bid-qsts 2.42 - - - -
- - caqe-minisat 2.5 - - - -
- - qsts 2.88 - - - -
- - depqbf-v2 3.91 - - - -
- - qesto 5.39 - - - -
hiqqer1ldsq(1.85)
hiqqer1(1.86)
rareqs(1.96)
hiqqer3(2.18)
xb-qsts(2.29)
caqe-picosat(2.42)
xb-bid-qsts(2.42)
caqe-minisat(2.5)
qsts(2.88)
depqbf-v2(3.91)
qesto(5.39)
AIGSolve(40.67)