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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_2018900.04900.040900.0400
GhostQ_PG___cegar_qcir_2018900.11900.110900.1100
GhostQ_PG___plain_qcir_2018900.06900.060900.0600
PortfolioGhostQQfunQuAbSQute___pf2900.08900.080900.0800
PortfolioGhostQQfunQuAbSQute___pf35.855.8505.8500
PortfolioGhostQQfunQuAbSQute___pfs900.05900.050900.0500
QFUN900.07900.070900.0700
Quabs_2018900.02900.020900.0200
quabs___caqe-bloqqer1.51.501.501
quabs___caqe-hqspre65.0765.07065.0701
Qute_hybrid900.02900.020900.0200
Qute_opt617900.01900.010900.0100
Qute_opt993900.08900.080900.0800