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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20181800.03900.020.02900.0200
GhostQ_PG___cegar_qcir_20181800.12900.060.01900.0600
GhostQ_PG___plain_qcir_20181800.02900.010900.0100
PortfolioGhostQQfunQuAbSQute___pf213.986.990.066.9900
PortfolioGhostQQfunQuAbSQute___pf3905.8452.9447.13452.900
PortfolioGhostQQfunQuAbSQute___pfs905.86452.93447.15452.9300
QFUN926.72463.36436.66463.3600.5
Quabs_20181800.06900.030.01900.0300
quabs___caqe-bloqqer1800.11900.060.02900.0600
quabs___caqe-hqspre1800.17900.090.01900.0900
Qute_hybrid1800.1900.050900.0500
Qute_opt6171800.04900.020900.0200
Qute_opt9931800.04900.020900.0200