Suite Ling results for solvers
QBFEVAL'16 - Prenex CNF Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve1803.22225.4280.9818.55580.310.75
aqua-f3v181.9822.7545.930.3620.461
aqua-s2v12315.3829.240.2217.041
aqua-s3o208.5426.0754.180.4420.811
caqe-minisat37.034.635.621.438.331
caqe-picosat80.9510.1216.213.529.831
depqbf-v1411.6151.4585.340.5190.031
depqbf-v2116.4814.5624.940.4124.451
depqbf-v380.3510.0417.280.1817.71
ghostq-cegar207.2625.9160.772.416.441
ghostq-plain1272.67159.08255.343.44332.250.75
hiqqer166.588.3214.030.2613.871
hiqqer1ldsq89.9111.2420.620.214.491
hiqqer367.588.4514.040.414.071
iprover-QBF736.2792.03192.5120.6640.270.875
iprover-QBF-bloqqer111.5213.9430.32.793.761
qesto257.3732.1773.830.4714.791
qestos1.460.180.220.070.21
qsts1247.2155.9219.8823.65299.780.875
rareqs0.630.080.070.050.041
squeezebf+struqs3606.63450.83257.88599.71295.820.25
struqs-103606.64450.83257.88599.71295.810.25
xb-bid-qsts38.994.878.620.834.681
xb-qsts11.831.482.050.32.161