Family Counter results for solvers
QBFEVAL'18 - Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20181800.14900.070900.0700
GhostQ_PG___cegar_qcir_20181800.06900.030.02900.0300
GhostQ_PG___plain_qcir_20181800.09900.050.03900.0500
PortfolioGhostQQfunQuAbSQute___pf2970.6485.3414.71485.300.5
PortfolioGhostQQfunQuAbSQute___pf375.3537.6831.7837.6800.5
PortfolioGhostQQfunQuAbSQute___pfs971.96485.98414.03485.9800.5
QFUN1800.1900.050.02900.0500
Quabs_20181800.07900.040.01900.0400
quabs___caqe-bloqqer903.93451.97448.08451.9700.5
quabs___caqe-hqspre952.12476.06423.98476.0600.5
Qute_hybrid1541.39770.7129.35770.700.5
Qute_opt6171800.04900.020900.0200
Qute_opt993990.82495.41404.62495.4100.5