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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par3600.41450.05259.72600299.90.25
caqe-picosat-par3600.84450.11259.63600299.70.25
hiqqerfork3226.74403.34262.15600486.710.375
hordeqbf3602.13450.27259.35600299.470.25
mpiDepQBF3600.26450.03259.75600299.930.25
par-pd-depqbf872.9109.11181.30.52216.71