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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer900.01225389.710.01450.010.75
Caqe-bloqqer-qdo900225389.7104500.75
Caqe-hqspre1800.07450.02450.02450.02900.040.5
Cued_2_2018900.04225.01389.730450.020.75
Cued_3_2018900.02225.01389.720450.010.75
depqbf_prefix_opt_qdo1800.1450.03450.03450.03900.050.5
depqbf_pre_QxQBH900.49225.12389.660.23450.250.75
GhostQ-PG_cegar3600.11900.030.02900.030.030
GhostQ-PG_plain3600.24900.060.02900.070.030
Heretiq-cube473.01118.25204.820236.510.75
Heretiq-simple900225389.7104500.75
ijtihad900.07225.02389.740450.040.75
Iprover-HQSpre-Bloqqer900.05225.01389.730450.030.75
PortfolioDepQBFGhostQRaReQSQute___pf1811.38452.85447.19452.94894.380.5
predyndep12.693.175.4906.351
Qute_default1800.09450.02450.02450900.050.5
Qute_opt5001800.03450.01450.01450.01900.020.5
Qute_random1800.08450.02450.02450.01900.040.5
Rareqs_2018900.05225.01389.730450.030.75