Solver performance
QBFEVAL'10 - Non-prenex Non-CNF Track.

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
CirQit2.12915697810914013.618242964.416848084.8
qpro1536552.231176067.0536485.18304521.2
qpro00000000
CirQit2.100000000

    Problematic solver
    Hors-Concours solver