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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par610.62101.77222.822.812.340.833
caqe-picosat-par610.61101.77222.822.82.340.833
hiqqerfork36.056.0113.360.040.011
hordeqbf108.021837.881.070.011
mpiDepQBF89.6614.9433.240.080.011
par-pd-depqbf603.58100.6223.340.770.510.833