Solver performance
QBFEVAL'17 - Prenex CNF Track

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
caqe_2017_v228620825.2866807.5720014017.600
caqe_2017_v327119935.1848195.7918711739.300
Qute_random25022330.1778875.4417313454.600
Qute_opt50024921245.5778604.451721264100
AIGSolve24618098.4785685.0216812413.412777.62
Qute_default24619086.2676350.9617912735.200
rareqs24519499.8735684.2717213815.51480.97
qbfrelay-limited-depqbf23618342.4796011.2915712331.11715.8
rev_qfun0.123619375.7895723.71471365241406.47
heretiq23218827.3677926.39165109011835
caqe_2017_v123018773.7755668.1615513105.600
qbfrelay22414894.2773657.714711236.500
dynQBF-bloqqer-hqspre22315336682406.8715512929.13470.28
ijtihad_v220711661.3552559.761529101.5200
ijtihad_v120511679.9542983.891518695.9900
HQSpre_solver20513432.3635406.011428026.3200
QELL_unit19111240.3564429.341356810.9700
QELL_default19112624.2544198.91378425.2700
xb-qsts_xbqsts2.019117602.5586723.9613310878.500
xb-qsts_xbqsts1.019117609586724.3413310884.600
GhostQ-PG_cegar19016914.4707001.931209912.46125.93
xb-qsts_bqsts2.018815097.5564931.7213210165.800
GhostQ-PG_plain16313512.4544231.141099281.282929.62
prefix-opt-depqbf15711596.9412652.721168944.1400
ghostq-cegar15611634.7615116.05956518.6800
iProver-qbf-bloqqer-2017-07-27-v315014442.7474278.5510310164.200
qesto13611306454202.79917103.2100
iProver-qbf-2017-07-27-v310814653.2182273.939012379.200
CUED1919_NL81342.564106.8641235.700
CUED1919_NNL7547.984100.53447.4800

    Problematic solver
    Hors-Concours solver