Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: ev-pr-6x6-7-5-0-1-2-lg
Best Solver: rareqs Time: 1.36 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 2.71 hiqqer3 7.1 aqua-f3v 13.6
- - qestos 3.16 caqe-picosat 12.05 aqua-s3o 14.26
- - hiqqer1ldsq 3.52 aqua-s2v 13.44 caqe-minisat 19.53
- - hiqqer1 3.53 - - ghostq-plain 28.37
- - depqbf-v3 5.56 - - qesto 41.03
- - depqbf-v2 5.71 - - - -
- - xb-qsts 6.03 - - - -
- - xb-bid-qsts 6.29 - - - -
rareqs(1.36)
depqbf-v1(2.71)
qestos(3.16)
hiqqer1ldsq(3.52)
hiqqer1(3.53)
depqbf-v3(5.56)
depqbf-v2(5.71)
xb-qsts(6.03)
xb-bid-qsts(6.29)
hiqqer3(7.1)
caqe-picosat(12.05)
aqua-s2v(13.44)
aqua-f3v(13.6)
aqua-s3o(14.26)
caqe-minisat(19.53)
ghostq-plain(28.37)
qesto(41.03)
ghostq-cegar(173.31)