Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 16962.28 | 565.41 | 328.81 | 754.06 | 725.78 | 0.4 |
caqe_2017_v1 | 13641.85 | 454.73 | 445.41 | 479.16 | 898.47 | 0.5 |
caqe_2017_v2 | 13599.13 | 453.3 | 446.7 | 457.27 | 894.6 | 0.5 |
caqe_2017_v3 | 13598.96 | 453.3 | 446.71 | 457.13 | 894.62 | 0.5 |
CUED1919_NL | 47.36 | 1.58 | 0.39 | 1.63 | 0.47 | 0 |
CUED1919_NNL | 7.22 | 0.24 | 0.05 | 0.25 | 0.06 | 0 |
dynQBF-bloqqer-hqspre | 27000 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 4332.46 | 144.42 | 272.09 | 31.92 | 73.41 | 0.9 |
GhostQ-PG_cegar | 4321.1 | 144.04 | 272.02 | 31.98 | 69.17 | 0.9 |
GhostQ-PG_plain | 27000 | 900 | 0 | 900 | 0 | 0 |
heretiq | 14106.06 | 470.2 | 435.28 | 644.97 | 895.57 | 0.5 |
HQSpre_solver | 27000 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v1 | 13825.14 | 460.84 | 440.24 | 535.94 | 895.47 | 0.5 |
ijtihad_v2 | 13827.91 | 460.93 | 440.15 | 535.58 | 895.48 | 0.5 |
iProver-qbf-2017-07-27-v3 | 27000 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 27000 | 900 | 0 | 900 | 0 | 0 |
prefix-opt-depqbf | 26609.83 | 886.99 | 62.66 | 900 | 0 | 0.067 |
qbfrelay | 10032.79 | 334.43 | 392.22 | 12.9 | 803.05 | 0.167 |
qbfrelay-limited-depqbf | 24283.12 | 809.44 | 239.21 | 888.82 | 2.47 | 0.1 |
QELL_default | 1430.78 | 47.69 | 81.94 | 13.64 | 42.02 | 1 |
QELL_unit | 1838.18 | 61.27 | 187.54 | 9.01 | 13.73 | 0.967 |
qesto | 23764.46 | 792.15 | 258.77 | 900 | 52.36 | 0.233 |
Qute_default | 27000 | 900 | 0 | 900 | 0 | 0 |
Qute_opt500 | 26101.26 | 870.04 | 161.33 | 900 | 0 | 0.033 |
Qute_random | 26101.27 | 870.04 | 161.33 | 900 | 0 | 0.033 |
rareqs | 13685.55 | 456.19 | 444.26 | 498.59 | 899.25 | 0.5 |
rev_qfun0.1 | 4156.44 | 138.55 | 302.68 | 3.06 | 11.29 | 0.867 |
xb-qsts_bqsts2.0 | 26108.92 | 870.3 | 159.95 | 900 | 0 | 0.033 |
xb-qsts_xbqsts1.0 | 26108.94 | 870.3 | 159.95 | 900 | 0 | 0.033 |
xb-qsts_xbqsts2.0 | 26109.06 | 870.3 | 159.93 | 900 | 0 | 0.033 |