Family RankingFunctions results for solvers
QBFEVAL'18 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer0.0400.01001
Caqe-bloqqer-qdo25.621.710.471.730.511
Caqe-hqspre000001
Cued_2_201825.721.710.481.730.551
Cued_3_201825.821.720.471.680.561
depqbf_prefix_opt_qdo13500.59900.040.02900.040.030
depqbf_pre_QxQBH1.60.110.21001
GhostQ-PG_cegar183.3312.224.1610.978.911
GhostQ-PG_plain1224.1581.6153.377.6785.961
Heretiq-cube000001
Heretiq-simple0.0600.02001
ijtihad000001
Iprover-HQSpre-Bloqqer0.20.010.05001
PortfolioDepQBFGhostQRaReQSQute___pf93.676.240.216.190.221
predyndep32.332.160.542.150.591
Qute_default000001
Qute_opt500000001
Qute_random000001
Rareqs_2018000001