Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: ev-pr-6x6-9-5-0-1-2-lg
Best Solver: hiqqer1 Time: 7.87 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 8.13 rareqs 48.15 ghostq-plain 108.86
- - hiqqer3 13.78 - - qestos 122.08
- - depqbf-v1 14.71 - - caqe-picosat 224.65
- - depqbf-v2 14.91 - - caqe-minisat 271.21
- - depqbf-v3 15.74 - - qesto 453.86
- - aqua-s3o 22.37 - - - -
- - aqua-f3v 22.49 - - - -
- - xb-qsts 22.67 - - - -
- - xb-bid-qsts 23.21 - - - -
- - aqua-s2v 24.94 - - - -
hiqqer1(7.87)
hiqqer1ldsq(8.13)
hiqqer3(13.78)
depqbf-v1(14.71)
depqbf-v2(14.91)
depqbf-v3(15.74)
aqua-s3o(22.37)
aqua-f3v(22.49)
xb-qsts(22.67)
xb-bid-qsts(23.21)
aqua-s2v(24.94)
rareqs(48.15)
ghostq-plain(108.86)
qestos(122.08)
caqe-picosat(224.65)
caqe-minisat(271.21)
qesto(453.86)