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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par2.10.210.420.030.061
caqe-picosat-par2.20.220.420.040.061
hiqqerfork1.450.150.260.030.021
hordeqbf10.631.060.011.060.011
mpiDepQBF5400.07540.01179.9860000.1
par-pd-depqbf8.130.810.90.5101