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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer5400.38900.060.02900.050.010
Caqe-bloqqer-qdo5400.21900.040.03900.030.020
Caqe-hqspre4729.9788.32249.87900.06670.490.167
Cued_2_20184501.15750.19335.04900.02898.990.167
Cued_3_20184501.25750.21335.04900.04899.010.167
depqbf_prefix_opt_qdo4227.91704.65325.07900.04882.710.333
depqbf_pre_QxQBH4549.58758.26316.98900.01850.540.167
GhostQ-PG_cegar5400.21900.040.02900.030.010
GhostQ-PG_plain5400.25900.040.03900.050.050
Heretiq-cube4543.59757.27319.23900.03856.590.167
Heretiq-simple4542.84757.14319.56900.05857.470.167
ijtihad5400.16900.030.01900.030.030
Iprover-HQSpre-Bloqqer5400.29900.050.03900.040.030
PortfolioDepQBFGhostQRaReQSQute___pf5400.17900.030.02900.030.030
predyndep3916.96652.83349.68900.03753.720.333
Qute_default2700.13450.02450.02450.01900.010.5
Qute_opt500000001
Qute_random000001
Rareqs_20185400.32900.050.03900.050.050