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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par3857.35482.17209.12600190.070.25
caqe-picosat-par3669.07458.63245.01600273.930.25
hiqqerfork4800600060000
hordeqbf4201.07525.13198.0860000.125
mpiDepQBF4200.1525.01198.460000.125
par-pd-depqbf3601.02450.13259.59600299.750.25