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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve4649.41464.94218.26599.8542.160.3
aqua-f3v2460.08246.01289.125.95599.650.6
aqua-s2v1446.15144.62235.968.0311.810.8
aqua-s3o2382.73238.27282.2423.73532.090.7
caqe-minisat3099.13309.91257.88292.12565.40.6
caqe-picosat1965.42196.54211.996.43275.090.9
depqbf-v11681.04168.1240.6922.5252.80.9
depqbf-v22071.27207.13256.5674.76124.40.7
depqbf-v31854.95185.5260.6224.0552.960.9
ghostq-cegar2778.18277.82267.21147599.30.6
ghostq-plain4584.71458.47215.16599.81517.040.4
hiqqer1441.5344.1550.0433.7141.161
hiqqer1ldsq442.5344.2550.1633.62411
hiqqer3543.6854.3753.6149.9860.351
iprover-QBF4165.88416.5997.93403.69177.290
iprover-QBF-bloqqer5252.17525.22178.51599.12145.980.1
qesto2621.27262.13257.73140.08470.290.7
qestos5397.78539.78179.76599.710.10.1
qsts109.1510.9212.276.9414.581
rareqs4799.84479.98239.43599.71597.920.2
squeezebf+struqs4845.65484.57230.32599.71571.250.2
struqs-104845.72484.57230.28599.71571.260.2
xb-bid-qsts287.528.7529.2818.2916.431
xb-qsts267.6626.7733.3114.1313.241