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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20182700.11900.040.03900.040.040
GhostQ_PG___cegar_qcir_20182700.07900.020.02900.030.030
GhostQ_PG___plain_qcir_20182700.18900.060.04900.090.090
PortfolioGhostQQfunQuAbSQute___pf220.786.930.026.940.040
PortfolioGhostQQfunQuAbSQute___pf3911.53303.84421.555.80.080
PortfolioGhostQQfunQuAbSQute___pfs911.73303.91421.545.960.250
QFUN2700.24900.080.03900.10.060
Quabs_20182700.09900.030.02900.030.020
quabs___caqe-bloqqer1.580.530.74001
quabs___caqe-hqspre3.291.11.55001
Qute_hybrid2700.13900.040.04900.040.040
Qute_opt6172700.17900.060.03900.070.060
Qute_opt9932700.12900.040.03900.0200