Solver performance
QBFEVAL'18 - Prenex non-CNF Track

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
Quabs_201818119768.98210067.3999701.591648.61
quabs___caqe-hqspre16311484.8727803.37913681.4431020.33
Cqesto_201816014999.7756695.77858303.951851.09
GhostQ_PG___cegar_qcir_201815715399.4697198.99888200.4100
quabs___caqe-bloqqer1478576.85512775.07965801.7862722.63
QFUN1399661.31746469.19653192.125965.27
PortfolioGhostQQfunQuAbSQute___pf21239306.1512823.48726482.6200
GhostQ_PG___plain_qcir_201812112358.4495898.04726460.361697.56
PortfolioGhostQQfunQuAbSQute___pf31199698.19492999.7706698.4900
Qute_hybrid11631491.6427895.837423595.800
Qute_opt99311411910.7435691.67716218.9800
PortfolioGhostQQfunQuAbSQute___pfs908638.91472960.54435678.37172.57
Qute_opt6178013230.8355170.64458060.1400

    Problematic solver
    Hors-Concours solver