Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ASPQ2 | 2139.15 | 534.79 | 308.67 | 704.74 | 367.16 | 0.25 |
CADET_2017 | 2753.76 | 688.44 | 366.43 | 900 | 423.12 | 0.25 |
caqe_2017_v1 | 2700.43 | 675.11 | 389.53 | 900 | 449.79 | 0.25 |
caqe_2017_v2 | 3600 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v3 | 3600 | 900 | 0 | 900 | 0 | 0 |
CUED1919_NL | 2112.55 | 528.14 | 215.07 | 414.57 | 259.36 | 0 |
CUED1919_NNL | 3600 | 900 | 0 | 900 | 0 | 0 |
dynQBF-bloqqer-hqspre | 2702.58 | 675.65 | 388.59 | 900 | 448.71 | 0.25 |
DynQBF-bloqqer-hqspre-it | 2702.58 | 675.65 | 388.59 | 900 | 448.71 | 0.25 |
DynQBF-bloqqer-variant | 2702.59 | 675.65 | 388.59 | 900 | 448.71 | 0.25 |
ghostq-cegar | 1852.16 | 463.04 | 436.98 | 466.26 | 873.92 | 0 |
GhostQ-PG_cegar | 3600 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_plain | 3600 | 900 | 0 | 900 | 0 | 0 |
heretiq | 2700.44 | 675.11 | 389.52 | 900 | 449.78 | 0.25 |
ijtihad_v1 | 2700.44 | 675.11 | 389.52 | 900 | 449.78 | 0.25 |
ijtihad_v2 | 2700.44 | 675.11 | 389.52 | 900 | 449.78 | 0.25 |
iProver-qbf-2017-07-27-v3 | 3600 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 2702.66 | 675.67 | 388.56 | 900 | 448.67 | 0.25 |
no-prefix-opt-depqbf | 3600 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 2634.21 | 658.55 | 378.6 | 871.65 | 452.41 | 0.25 |
qbfrelay-limited-depqbf | 2755.55 | 688.89 | 353.42 | 892.49 | 408.81 | 0.25 |
QELL_default | 3600 | 900 | 0 | 900 | 0 | 0 |
QELL_unit | 3600 | 900 | 0 | 900 | 0 | 0 |
qesto | 2700.43 | 675.11 | 389.53 | 900 | 449.79 | 0.25 |
rareqs | 2700.43 | 675.11 | 389.53 | 900 | 449.79 | 0.25 |
rev_qfun0.1 | 985.95 | 246.49 | 377.88 | 42.76 | 466.04 | 0.25 |
xb-qsts_bqsts2.0 | 2702.79 | 675.7 | 388.5 | 900 | 448.61 | 0.25 |
xb-qsts_xbqsts1.0 | 2702.62 | 675.66 | 388.58 | 900 | 448.69 | 0.25 |
xb-qsts_xbqsts2.0 | 2702.57 | 675.64 | 388.6 | 900 | 448.72 | 0.25 |