Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 4056.05 | 94.33 | 253.29 | 3.01 | 7.58 | 0.884 |
caqe_2017_v1 | 95.49 | 2.22 | 2.8 | 1.47 | 1.46 | 1 |
caqe_2017_v2 | 147.15 | 3.42 | 5.09 | 2.13 | 3.18 | 1 |
caqe_2017_v3 | 166.77 | 3.88 | 5.42 | 2.57 | 3.68 | 1 |
CUED1919_NL | 17506.12 | 407.12 | 413.36 | 95.95 | 886.73 | 0 |
CUED1919_NNL | 17474.98 | 406.39 | 413.29 | 94.18 | 886.98 | 0 |
dynQBF-bloqqer-hqspre | 5077.33 | 118.08 | 284.21 | 8.32 | 23.44 | 0.884 |
ghostq-cegar | 2005.74 | 46.65 | 56.92 | 13.93 | 69.33 | 0.977 |
GhostQ-PG_cegar | 5397.71 | 125.53 | 180.4 | 23.97 | 187.24 | 0.953 |
GhostQ-PG_plain | 9840.73 | 228.85 | 301.45 | 54.01 | 308.3 | 0.837 |
heretiq | 201.27 | 4.68 | 11.97 | 1.31 | 1.44 | 1 |
HQSpre_solver | 6432.73 | 149.6 | 330.92 | 3.13 | 6.63 | 0.837 |
ijtihad_v1 | 200.22 | 4.66 | 11.93 | 1.32 | 1.44 | 1 |
ijtihad_v2 | 202.04 | 4.7 | 12.08 | 1.31 | 1.44 | 1 |
iProver-qbf-2017-07-27-v3 | 4362.35 | 101.45 | 129.34 | 32.47 | 122.95 | 1 |
iProver-qbf-bloqqer-2017-07-27-v3 | 2180.74 | 50.71 | 76.1 | 8.3 | 56.95 | 1 |
prefix-opt-depqbf | 4040.63 | 93.97 | 259.25 | 7.21 | 13.57 | 0.907 |
qbfrelay | 1287.28 | 29.94 | 44.7 | 17.99 | 20.23 | 1 |
qbfrelay-limited-depqbf | 1738.13 | 40.42 | 137.57 | 8.15 | 16.73 | 0.977 |
QELL_default | 1058.4 | 24.61 | 135.2 | 1.76 | 3.09 | 0.977 |
QELL_unit | 176.77 | 4.11 | 5.81 | 2.02 | 4.43 | 1 |
qesto | 10795.25 | 251.05 | 390.82 | 1.94 | 590.12 | 0.744 |
Qute_default | 2922.05 | 67.95 | 228.34 | 2.28 | 3.53 | 0.93 |
Qute_opt500 | 2836.82 | 65.97 | 228.46 | 2.28 | 3.52 | 0.93 |
Qute_random | 2836.98 | 65.98 | 228.46 | 2.28 | 3.53 | 0.93 |
rareqs | 69.36 | 1.61 | 1.41 | 1.33 | 1.35 | 1 |
rev_qfun0.1 | 1060.77 | 24.67 | 135.11 | 2.1 | 6.83 | 0.791 |
xb-qsts_bqsts2.0 | 4967.94 | 115.53 | 284.9 | 8.08 | 19.79 | 0.884 |
xb-qsts_xbqsts1.0 | 5014.4 | 116.61 | 284.65 | 8.54 | 20.84 | 0.884 |
xb-qsts_xbqsts2.0 | 5015.17 | 116.63 | 284.65 | 8.64 | 20.98 | 0.884 |