Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 4500 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v1 | 3860.44 | 772.09 | 255.82 | 900 | 319.78 | 0.2 |
caqe_2017_v2 | 3964.31 | 792.86 | 214.28 | 900 | 267.85 | 0.2 |
caqe_2017_v3 | 3861.25 | 772.25 | 255.5 | 900 | 319.38 | 0.2 |
CUED1919_NL | 2423.59 | 484.72 | 28.26 | 488.39 | 28.31 | 0 |
CUED1919_NNL | 3983.13 | 796.63 | 146.84 | 900 | 258.44 | 0 |
dynQBF-bloqqer-hqspre | 4500 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 4500 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_cegar | 4500 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_plain | 4343.46 | 868.69 | 62.62 | 900 | 78.27 | 0.2 |
heretiq | 3451.34 | 690.27 | 309.3 | 900 | 524.33 | 0.4 |
HQSpre_solver | 4500 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v1 | 4500 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v2 | 4500 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-2017-07-27-v3 | 4500 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 4500 | 900 | 0 | 900 | 0 | 0 |
prefix-opt-depqbf | 2999.61 | 599.92 | 372.19 | 900 | 750.2 | 0.4 |
qbfrelay | 4489.02 | 897.8 | 2.77 | 900 | 5.49 | 0 |
qbfrelay-limited-depqbf | 2887.02 | 577.4 | 331.69 | 715.8 | 610.19 | 0.6 |
QELL_default | 3892.96 | 778.59 | 242.82 | 900 | 303.52 | 0.2 |
QELL_unit | 4261.81 | 852.36 | 95.28 | 900 | 119.1 | 0.2 |
qesto | 4500 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 4500 | 900 | 0 | 900 | 0 | 0 |
Qute_opt500 | 4312.15 | 862.43 | 56.17 | 900 | 93.93 | 0.4 |
Qute_random | 4093.47 | 818.69 | 106.88 | 900 | 203.27 | 0.4 |
rareqs | 4122.6 | 824.52 | 150.96 | 900 | 188.7 | 0.2 |
rev_qfun0.1 | 4500 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_bqsts2.0 | 3179.99 | 636 | 332.86 | 900 | 660.01 | 0.4 |
xb-qsts_xbqsts1.0 | 3195.12 | 639.02 | 329.62 | 900 | 652.44 | 0.4 |
xb-qsts_xbqsts2.0 | 3194.52 | 638.9 | 329.72 | 900 | 652.74 | 0.4 |