Solver performance
QBFEVAL'16 - 2QBF Track.

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
xb-bid-qsts2538213.842005382.8532831.041508.02
areqs2352963.331792136.5256826.81122.22
rareqs2325287.581562084.94763202.6461038.15
depqbf-v22235135.231421553.21813582.0200
xb-qsts2065581.421543354.41522227.0100
aspQ188741.09141275.4147465.6800
hiqqer31853236.841502235.98351000.8600
qestos1843487.241351194.36492292.8800
hiqqer1ldsq1832663.741472195.5836468.1600
hiqqer11832703.591472232.2636471.3300
cadet169790.78120512.9549277.831472.5
ghostq-cegar1558135.251086031.48472103.7700
depqbf-v31384901.65971799.51413102.1400
depqbf-v11335466.7681262.27654204.4300
iprover-QBF-bloqqer124188.1412278.662109.4800
struqs-10100933.7773483.1827450.5900
squeezebf+struqs1001169.8473720.1927449.6500
qsts997379.34604812.46392566.881472.49
ghostq-plain877545.74404115.46473430.2800
dynQBF72489.4470489.2920.1500
iprover-QBF321249.98301142.632107.3500
struqs-1000000000
areqs00000000
aspQ00000000
qestos00000000
rareqs00000000
cadet00000000
depqbf-v100000000
depqbf-v200000000
depqbf-v300000000
dynQBF00000000
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