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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20182700.11900.040.04900.0100
GhostQ_PG___cegar_qcir_20182700.1900.030.02900.040.030
GhostQ_PG___plain_qcir_20182700.18900.060.04900.080.070
PortfolioGhostQQfunQuAbSQute___pf225.268.421.018.951.940
PortfolioGhostQQfunQuAbSQute___pf321.857.281.037.821.980
PortfolioGhostQQfunQuAbSQute___pfs1805.82601.94421.53900.01894.210
QFUN2033.46677.82314.24900666.580.333
Quabs_20181889.48629.83382.15900.04810.650.333
quabs___caqe-bloqqer1678.15559.38395.85773.7769.350.667
quabs___caqe-hqspre1722.37574.12395.27804.41786.540.667
Qute_hybrid2352.08784.03164.05900347.980.333
Qute_opt6172700.07900.020.01900.030.020
Qute_opt9931801.66600.55423.58900.07898.550.333