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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par4819.57481.96217.45600500.810.3
caqe-picosat-par4573.51457.35227.24600515.810.3
hiqqerfork4853.83485.38186.03600462.990.3
hordeqbf6000600060000
mpiDepQBF6000600060000
par-pd-depqbf5401.01540.1179.760000.1