Sota solver details
QBFEVAL'16 - Prenex CNF Track.

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts 44.11 - - rareqs 521.98
- - xb-bid-qsts 45.05 - - - -
- - aqua-s3o 46.6 - - - -
- - depqbf-v2 46.71 - - - -
- - aqua-s2v 46.99 - - - -
- - hiqqer3 49.93 - - - -
- - aqua-f3v 51.73 - - - -
- - depqbf-v1 53.21 - - - -
- - hiqqer1ldsq 66.1 - - - -
- - depqbf-v3 75.28 - - - -
hiqqer1(32.48)
xb-qsts(44.11)
xb-bid-qsts(45.05)
aqua-s3o(46.6)
depqbf-v2(46.71)
aqua-s2v(46.99)
hiqqer3(49.93)
aqua-f3v(51.73)
depqbf-v1(53.21)
hiqqer1ldsq(66.1)
depqbf-v3(75.28)
rareqs(521.98)