Suite Miller-Scholl-Becker results for solvers
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par1008.78100.88186.7212.2431.350.9
caqe-picosat-par818.0981.81180.653.934.80.9
hiqqerfork1798.2179.82270.510.4317.830.8
hordeqbf621.9662.2179.291.090.030.9
mpiDepQBF1236.76123.68238.370.450.890.8
par-pd-depqbf1862.79186.28271.193.7748.650.7