Solver performance
QBFEVAL'08 - non-prenex non-cnf track.

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
qpro150332.793202.5657130.1499289.63
pQBF112807.4359672.3453135.09519.13
qpro72932.2765706.577225.6910613.08
CMS_Solver63161.5352143.941117.591119.9
CMS_Solver4611019.1297977.3173041.7800
pQBF111506.646508.985997.6600

    Problematic solver
    Hors-Concours solver