Family blackbox-01X-QBF results for solvers
QBFEVAL'17 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve17106.73855.34194.6890000.05
caqe_2017_v110984.27549.21430.18900887.080.4
caqe_2017_v26357.4317.87427.195.77898.440.65
caqe_2017_v310985.46549.27430.11900886.980.4
CUED1919_NL8221.28411.06123.03429.9856.240
CUED1919_NNL11404.1570.21335.17631.9642.130
dynQBF-bloqqer-hqspre12993.22649.66382.61900805.60.3
ghostq-cegar17102.69855.13195.5690000.05
GhostQ-PG_cegar17102.91855.15195.5290000.05
GhostQ-PG_plain17101.77855.09195.7690000.05
heretiq6451.92322.6423.8831.35898.590.65
HQSpre_solver16203.64810.18269.4590000.1
ijtihad_v19913.71495.69446.99900898.60.45
ijtihad_v29015.36450.77445.42450.81898.580.5
iProver-qbf-2017-07-27-v313514.28675.71316.63900611.740.35
iProver-qbf-bloqqer-2017-07-27-v310518.03525.9390.87698.97837.830.5
prefix-opt-depqbf8065.96403.3420.16161.58895.760.6
qbfrelay8491.1424.56354.34193.24813.690.65
qbfrelay-limited-depqbf3014.58150.73255.776.88128.820.9
QELL_default15950.55797.53264.2790000.15
QELL_unit16246.32812.32263.0990000.1
qesto17142.22857.11186.9590000.05
Qute_default2176.73108.84264.5618.1937.470.9
Qute_opt50011109.88555.49425.99900897.580.4
Qute_random11108.58555.43426.04900897.590.4
rareqs32.521.630.881.471.321
rev_qfun0.1175.538.784.328.655.21
xb-qsts_bqsts2.02235.84111.79201.7943.759.60.95
xb-qsts_xbqsts1.02570.18128.51202.2859.786.080.95
xb-qsts_xbqsts2.02575.39128.77201.5460.1885.050.95