Solver performance
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
par-pd-depqbf60612269.13052946.113019323.03171019.97
hiqqerfork598146243007766.692986857.33112148.33
caqe-picosat-par58513337.42893560.562969776.8752063.69
caqe-minisat-par570123042934941.322777362.7221200
hordeqbf4438434.861913338.992525095.872521.77
mpiDepQBF4137642.52033392.482104250.025326.07
caqe-minisat-par00000000
caqe-picosat-par00000000
par-pd-depqbf00000000
hordeqbf00000000
hiqqerfork00000000
mpiDepQBF00000000

    Problematic solver
    Hors-Concours solver