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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_2018937.24468.62431.39468.6200.5
GhostQ_PG___cegar_qcir_20183.671.841.661.8401
GhostQ_PG___plain_qcir_20181.710.860.680.8601
PortfolioGhostQQfunQuAbSQute___pf211.425.710.615.7101
PortfolioGhostQQfunQuAbSQute___pf310.885.440.335.4400.5
PortfolioGhostQQfunQuAbSQute___pfs10.875.440.335.4400.5
QFUN22.5211.2611.2611.2601
Quabs_20186.663.333.333.3301
quabs___caqe-bloqqer000001
quabs___caqe-hqspre0.60.30.30.301
Qute_hybrid566.43283.22283.22283.2201
Qute_opt617900.09450.05450.05450.0500.5
Qute_opt99318.329.169.169.1601