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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par2438.52348.36290.8600599.80.429
caqe-picosat-par2454.27350.61288.43600599.650.429
hiqqerfork2569.73367.1273.92600599.750.429
hordeqbf2463.83351.98287600598.940.429
mpiDepQBF3000.73428.68270.89600599.880.286
par-pd-depqbf3011.05430.15268.57600599.490.286