Suite Cashmore-Fox-Giunchiglia results for solvers
QBFEVAL'17 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve7731.27266.6341.5675.32341.370.828
caqe_2017_v114906.6514.02381.42345.62725.80.517
caqe_2017_v23485.35120.18149.1872.35161.81
caqe_2017_v313698.77472.37415.75222.55850.40.517
CUED1919_NL10412.35359.05214.52443.61391.820
CUED1919_NNL12778.09440.62304.61496.8530.580
dynQBF-bloqqer-hqspre10871.29374.87383.8143.65792.030.655
ghostq-cegar26100900090000
GhostQ-PG_cegar26100900090000
GhostQ-PG_plain25731.02887.2867.3390000.034
heretiq5174.08178.42171.24121.31243.261
HQSpre_solver2214.176.3563.4852.95101.261
ijtihad_v15135.52177.09165.42121.53245.781
ijtihad_v25088.85175.48164118.87233.771
iProver-qbf-2017-07-27-v322255.8767.44278.590030.550.207
iProver-qbf-bloqqer-2017-07-27-v322164.53764.29281.0990098.710.241
prefix-opt-depqbf23758.82819.27211.9290000.138
qbfrelay11374.9392.24374.56230.14802.650.655
qbfrelay-limited-depqbf19838.93684.1348.44900726.60.276
QELL_default614.3921.1919.5115.74241
QELL_unit626.4121.619.7816.0222.681
qesto25257.83870.96129.5190000.069
Qute_default2926.98100.9382.3772.29155.191
Qute_opt5002945.96101.5883.1573.16158.341
Qute_random2909.82100.3481.2573.091581
rareqs6974.26240.49244.1161.62299.161
rev_qfun0.117116.23590.21357.77845.28684.430.655
xb-qsts_bqsts2.023415.87807.44253.79003.640.172
xb-qsts_xbqsts1.023474.65809.47252.2590040.172
xb-qsts_xbqsts2.023479.48809.64252.069004.150.172