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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par1597.87199.73254.9628.54470.130.75
caqe-picosat-par1552.6194.08258.914.73471.290.75
hiqqerfork703.3687.92151.890.13142.941
hordeqbf1255.58156.95256.0110.58314.570.75
mpiDepQBF840.81105.1196.194.82115.420.875
par-pd-depqbf167.6320.9534.480.7731.351