Suite Mangassarian-Veneris results for solvers
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par10232.39511.62210.4460000.2
caqe-picosat-par10213.85510.69212.660000.15
hiqqerfork8190.6409.53262.61600555.890.4
hordeqbf8278.22413.91263.82600546.930.35
mpiDepQBF12000600060000
par-pd-depqbf10213.57510.68212.6360000.15