Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 5431.26 | 775.89 | 304 | 900 | 868.74 | 0.143 |
caqe_2017_v1 | 6300 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v2 | 4554.22 | 650.6 | 353.07 | 900 | 872.87 | 0.429 |
caqe_2017_v3 | 5426.31 | 775.19 | 305.73 | 900 | 873.69 | 0.143 |
CUED1919_NL | 2972.21 | 424.6 | 23.28 | 431.12 | 61.02 | 0 |
CUED1919_NNL | 4975.23 | 710.75 | 284.67 | 900 | 771.87 | 0 |
dynQBF-bloqqer-hqspre | 5443.85 | 777.69 | 299.59 | 900 | 856.15 | 0.143 |
ghostq-cegar | 6300 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_cegar | 6300 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_plain | 6300 | 900 | 0 | 900 | 0 | 0 |
heretiq | 2735.45 | 390.78 | 441.11 | 31.86 | 899.24 | 0.571 |
HQSpre_solver | 20.28 | 2.9 | 0.61 | 2.96 | 1.31 | 1 |
ijtihad_v1 | 2738.42 | 391.2 | 440.77 | 34.85 | 899.25 | 0.571 |
ijtihad_v2 | 2715.18 | 387.88 | 443.52 | 11.61 | 899.23 | 0.571 |
iProver-qbf-2017-07-27-v3 | 6300 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 4859.67 | 694.24 | 247.39 | 900 | 587.44 | 0.429 |
prefix-opt-depqbf | 2799.01 | 399.86 | 411.53 | 131.82 | 814.22 | 0.714 |
qbfrelay | 585.98 | 83.71 | 28.66 | 78.92 | 30.83 | 1 |
qbfrelay-limited-depqbf | 886.52 | 126.65 | 96.31 | 193.28 | 203.06 | 1 |
QELL_default | 6300 | 900 | 0 | 900 | 0 | 0 |
QELL_unit | 6300 | 900 | 0 | 900 | 0 | 0 |
qesto | 6300 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 92.31 | 13.19 | 0.98 | 13.3 | 2.2 | 1 |
Qute_opt500 | 92.54 | 13.22 | 0.97 | 13.35 | 2.11 | 1 |
Qute_random | 92.56 | 13.22 | 0.97 | 13.41 | 2.21 | 1 |
rareqs | 5401.21 | 771.6 | 314.51 | 900 | 898.79 | 0.143 |
rev_qfun0.1 | 6300 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_bqsts2.0 | 6300 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts1.0 | 6300 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts2.0 | 6300 | 900 | 0 | 900 | 0 | 0 |