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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve1741.02174.1266.330.040.060.8
aqua-f3v611.4161.14179.610.130.150.9
aqua-s2v482.9248.29118.480.090.341
aqua-s3o615.3861.54179.450.220.390.9
caqe-minisat272.3227.2334.110.5254.021
caqe-picosat615.9461.59179.40.611.850.9
depqbf-v1830.8283.08177.666.3212.30.9
depqbf-v2110.8911.0927.620.511.011
depqbf-v333.243.327.340.341.581
ghostq-cegar24.682.472.71.521.511
ghostq-plain91.139.1115.612.643.551
hiqqer14.530.450.510.260.381
hiqqer1ldsq4.080.410.40.250.381
hiqqer35.510.550.570.380.51
iprover-QBF76.087.619.723.284.511
iprover-QBF-bloqqer100.3210.0313.913.567.70.7
qesto614.1161.41179.490.170.250.9
qestos0.860.090.060.10.071
qsts0.730.070.080.030.051
rareqs0.620.060.040.060.061
squeezebf+struqs5667.1566.7199599.7100.1
struqs-105397.96539.8179.78599.7100.1
xb-bid-qsts75.467.5514.680.430.371
xb-qsts5.540.550.660.380.361