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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par4045.31404.53265.43600597.670.4
caqe-picosat-par3115.86311.59289.88352.77598.230.5
hiqqerfork5400.46540.05179.8660000.1
hordeqbf1510.52151.05241.591.080.020.8
mpiDepQBF856.4385.64186.50.310.410.9
par-pd-depqbf5.10.5100.5101