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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_201816977.63679.11336.22900.01431.920.36
GhostQ_PG___cegar_qcir_201819553.84782.15287.32900.040.060.16
GhostQ_PG___plain_qcir_201821690.36867.61158.88900.050.040.04
PortfolioGhostQQfunQuAbSQute___pf29892.35395.69395.13158.02861.910.64
PortfolioGhostQQfunQuAbSQute___pf39807.08392.28394.26158.65863.020.64
PortfolioGhostQQfunQuAbSQute___pfs9885.12395.4395.19155.36862.890.64
QFUN21332.46853.3177.82900.050.040.08
Quabs_201811572.76462.91377.56314.92784.90.6
quabs___caqe-bloqqer10033.01401.32418.8102.46892.980.68
quabs___caqe-hqspre10132.48405.3439.1240.87894.590.56
Qute_hybrid17824.48712.98354.5900.02111.710.24
Qute_opt61721635.69865.43169.64900.060.050.04
Qute_opt99319040.31761.61317.91900.030.080.16