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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par0.0100001
caqe-picosat-par0.0100001
hiqqerfork0.120.0200.0201
hordeqbf7.411.0601.060.011
mpiDepQBF4200600060000
par-pd-depqbf3.590.510.010.5101