Family evader-pursuer-6x6-logarithmic results for solvers
QBFEVAL'18 - Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20182094.54698.18285.52900.06605.660.333
GhostQ_PG___cegar_qcir_20182591.96863.9950.96900.02108.10.333
GhostQ_PG___plain_qcir_20181975.02658.34341.79900725.020.333
PortfolioGhostQQfunQuAbSQute___pf22190.64730.21240.15900.01509.420.333
PortfolioGhostQQfunQuAbSQute___pf3911.9303.97421.486.070.270
PortfolioGhostQQfunQuAbSQute___pfs911.88303.96421.515.990.160
QFUN2700.12900.040.02900.040.030
Quabs_20182468.02822.67109.43900.01232.10.333
quabs___caqe-bloqqer1917.76639.25344.09864.69711.630.667
quabs___caqe-hqspre2700.12900.040.03900.030.020
Qute_hybrid2700.25900.080.01900.090.020
Qute_opt6172700.13900.040.01900.040.010
Qute_opt9932700.13900.040.02900.0300