Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 12.41 | 3.1 | 4.8 | 0.51 | 6.15 | 1 |
caqe_2017_v1 | 0.8 | 0.2 | 0.16 | 0.21 | 0.31 | 1 |
caqe_2017_v2 | 900.45 | 225.11 | 389.65 | 0.22 | 450.21 | 0.75 |
caqe_2017_v3 | 900.48 | 225.12 | 389.64 | 0.24 | 450.21 | 0.75 |
CUED1919_NL | 1836.59 | 459.15 | 441.04 | 468.29 | 881.71 | 0 |
CUED1919_NNL | 1806.19 | 451.55 | 448.46 | 453.09 | 896.91 | 0 |
dynQBF-bloqqer-hqspre | 7.2 | 1.8 | 1.87 | 1.16 | 3.09 | 1 |
ghostq-cegar | 1806.11 | 451.53 | 448.48 | 453 | 896.95 | 0.5 |
GhostQ-PG_cegar | 1802.15 | 450.54 | 449.46 | 451.01 | 898.93 | 0.5 |
GhostQ-PG_plain | 274.99 | 68.75 | 70.36 | 55.63 | 135.37 | 1 |
heretiq | 258.38 | 64.6 | 111.74 | 0.12 | 129.09 | 1 |
HQSpre_solver | 901.17 | 225.29 | 389.54 | 0.58 | 450.51 | 0.75 |
ijtihad_v1 | 900.27 | 225.07 | 389.67 | 0.13 | 450.04 | 0.75 |
ijtihad_v2 | 23.56 | 5.89 | 10.06 | 0.12 | 11.68 | 1 |
iProver-qbf-2017-07-27-v3 | 1807.55 | 451.89 | 448.12 | 453.41 | 896.23 | 0.5 |
iProver-qbf-bloqqer-2017-07-27-v3 | 8.29 | 2.07 | 1.82 | 1.6 | 2.71 | 1 |
prefix-opt-depqbf | 1800.29 | 450.07 | 449.93 | 450.14 | 899.86 | 0.5 |
qbfrelay | 8.22 | 2.06 | 2.02 | 1.37 | 3.31 | 1 |
qbfrelay-limited-depqbf | 151.36 | 37.84 | 37.62 | 36.38 | 75.11 | 1 |
QELL_default | 973.93 | 243.48 | 380.23 | 36.96 | 486.75 | 0.75 |
QELL_unit | 974.44 | 243.61 | 380.17 | 37.22 | 487.02 | 0.75 |
qesto | 900.23 | 225.06 | 389.68 | 0.11 | 450.03 | 0.75 |
Qute_default | 1.52 | 0.38 | 0.41 | 0.25 | 0.72 | 1 |
Qute_opt500 | 1.51 | 0.38 | 0.41 | 0.25 | 0.73 | 1 |
Qute_random | 1.52 | 0.38 | 0.41 | 0.25 | 0.73 | 1 |
rareqs | 0.55 | 0.14 | 0.12 | 0.11 | 0.19 | 1 |
rev_qfun0.1 | 30.24 | 7.56 | 12.9 | 0.17 | 15.03 | 1 |
xb-qsts_bqsts2.0 | 7.14 | 1.79 | 1.91 | 1.1 | 3.14 | 1 |
xb-qsts_xbqsts1.0 | 7.12 | 1.78 | 1.93 | 1.08 | 3.16 | 1 |
xb-qsts_xbqsts2.0 | 7.12 | 1.78 | 1.9 | 1.11 | 3.16 | 1 |