Family evader-pursuer-4x4-standard results for solvers
QBFEVAL'17 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve5431.26775.89304900868.740.143
caqe_2017_v16300900090000
caqe_2017_v24554.22650.6353.07900872.870.429
caqe_2017_v35426.31775.19305.73900873.690.143
CUED1919_NL2972.21424.623.28431.1261.020
CUED1919_NNL4975.23710.75284.67900771.870
dynQBF-bloqqer-hqspre5443.85777.69299.59900856.150.143
ghostq-cegar6300900090000
GhostQ-PG_cegar6300900090000
GhostQ-PG_plain6300900090000
heretiq2735.45390.78441.1131.86899.240.571
HQSpre_solver20.282.90.612.961.311
ijtihad_v12738.42391.2440.7734.85899.250.571
ijtihad_v22715.18387.88443.5211.61899.230.571
iProver-qbf-2017-07-27-v36300900090000
iProver-qbf-bloqqer-2017-07-27-v34859.67694.24247.39900587.440.429
prefix-opt-depqbf2799.01399.86411.53131.82814.220.714
qbfrelay585.9883.7128.6678.9230.831
qbfrelay-limited-depqbf886.52126.6596.31193.28203.061
QELL_default6300900090000
QELL_unit6300900090000
qesto6300900090000
Qute_default92.3113.190.9813.32.21
Qute_opt50092.5413.220.9713.352.111
Qute_random92.5613.220.9713.412.211
rareqs5401.21771.6314.51900898.790.143
rev_qfun0.16300900090000
xb-qsts_bqsts2.06300900090000
xb-qsts_xbqsts1.06300900090000
xb-qsts_xbqsts2.06300900090000