Family evader-pursuer-4x4-standard results for solvers
QBFEVAL'18 - Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_2018900.05900.050900.0500
GhostQ_PG___cegar_qcir_2018900.05900.050900.0500
GhostQ_PG___plain_qcir_2018900.07900.070900.0700
PortfolioGhostQQfunQuAbSQute___pf27.077.0707.0700
PortfolioGhostQQfunQuAbSQute___pf3708.04708.040708.0400
PortfolioGhostQQfunQuAbSQute___pfs696.74696.740696.7400
QFUN900900090000
Quabs_2018900.09900.090900.0900
quabs___caqe-bloqqer900.05900.050900.0500
quabs___caqe-hqspre15.7515.75015.7501
Qute_hybrid900900090000
Qute_opt617900.06900.060900.0600
Qute_opt993900.05900.050900.0500