Family RankingFunctions results for solvers
QBFEVAL'16 - Prenex CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve128.8112.8810.4412.1819.321
aqua-f3v1.650.170.130.130.071
aqua-s2v1.640.160.130.130.071
aqua-s3o1.650.170.130.130.071
caqe-minisat5.590.560.720.320.291
caqe-picosat5.590.560.730.330.281
depqbf-v12964.05296.41296.34296.27592.60.5
depqbf-v224.312.434.810.760.811
depqbf-v321.042.14.640.490.621
ghostq-cegar5998.1599.810599.8100
ghostq-plain5998.2599.820.05599.8100
hiqqer10.710.070.030.060.021
hiqqer1ldsq0.60.060.030.050.031
hiqqer30.720.070.030.060.021
iprover-QBF3821.66382.17132.13359.69132.790.1
iprover-QBF-bloqqer5.820.580.720.350.281
qesto0.320.030.030.020.021
qestos0.310.030.030.020.021
qsts5984.58598.463.74599.710.080
rareqs0.310.030.030.020.021
squeezebf+struqs28.972.94.830.931.331
struqs-1028.62.864.780.91.381
xb-bid-qsts5.570.560.730.330.281
xb-qsts5.470.550.730.320.281