Solver performance
QBFEVAL'16 - Prenex CNF Track.

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
xb-bid-qsts65819032.23438447.2231510585182191.93
rareqs64014166.83094598.663319568.113860.07
xb-qsts61315296.72995212.693141008400
depqbf-v260314076.92976256.313067820.600
caqe-picosat59017178.82946272.9229610905.900
AIGSolve58915981.32937833.212968148.1419595.75
ghostq-cegar58514538.82987739.392876799.3800
qesto58215552.82854394.3529711158.500
hiqqer157911943.12876322.992925620.1100
caqe-minisat57615219.12924878.1728410340.900
hiqqer1ldsq57410951.52886319.742864631.800
hiqqer357212602.928673312865271.8800
ghostq-plain56813727.82827000.22866727.62408.42
qsts5635261.852632248.883003012.9737.13
qestos5274356.0425218482752508.0400
depqbf-v352716186.72618995.822667190.881499.59
aqua-s2v4847869.782293290.432554579.3500
aqua-f3v4827947.82293753.272534194.5300
aqua-s3o4796774.682253036.412543738.2700
depqbf-v14569999.762014319.972555679.7900
struqs-1035812825.21754595.091838230.0800
squeezebf+struqs35512671.62054892.151507779.4400
iprover-QBF348129221585385.421907536.6200
iprover-QBF-bloqqer3249369.122433955.44815413.6800
struqs-1000000000
AIGSolve00000000
aqua-f3v00000000
aqua-s2v00000000
aqua-s3o00000000
qesto00000000
qestos00000000
rareqs00000000
caqe-minisat00000000
caqe-picosat00000000
depqbf-v100000000
depqbf-v200000000
depqbf-v300000000
ghostq-cegar00000000
ghostq-plain00000000
hiqqer100000000
hiqqer1ldsq00000000
hiqqer300000000
iprover-QBF-bloqqer00000000
iprover-QBF00000000
qsts00000000
squeezebf+struqs00000000
xb-bid-qsts00000000
xb-qsts00000000

    Problematic solver
    Hors-Concours solver