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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve66.3813.2817.378.267.621
caqe_2017_v1900.04180.013600.010.010.8
caqe_2017_v21800.15360.03440.880.11450.040.6
caqe_2017_v31800.16360.03440.880.11450.030.6
CUED1919_NL3600.09720.02359.96900449.960.2
CUED1919_NNL3600.03720.01359.99900449.990.2
dynQBF-bloqqer-hqspre9.461.893.540.140.11
ghostq-cegar4500900090000
GhostQ-PG_cegar4500900090000
GhostQ-PG_plain4500900090000
heretiq900.05180.013600.010.010.8
HQSpre_solver900.49180.1359.950.10.210.8
ijtihad_v1900.06180.01359.990.020.010.8
ijtihad_v2900.05180.013600.010.010.8
iProver-qbf-2017-07-27-v3938.78187.76356.1614.0610.480.8
iProver-qbf-bloqqer-2017-07-27-v3900.57180.11359.940.160.10.8
prefix-opt-depqbf1800.08360.02440.90.044500.6
qbfrelay8.71.742.990.30.130.8
qbfrelay-limited-depqbf963.49192.7349.790.2836.430.8
QELL_default3600.017203609004500.2
QELL_unit3600.017203609004500.2
qesto900.05180.013600.010.010.8
Qute_default1800.18360.04440.880.12450.030.6
Qute_opt5001800.18360.04440.880.12450.030.6
Qute_random1800.18360.04440.880.12450.030.6
rareqs900.04180.013600.010.010.8
rev_qfun0.1900.04180.013600.010.010.8
xb-qsts_bqsts2.0900.49180.1359.950.140.10.8
xb-qsts_xbqsts1.0900.5180.1359.950.140.10.8
xb-qsts_xbqsts2.0900.49180.1359.950.140.10.8