Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 44420.91 | 888.42 | 81.07 | 900 | 0 | 0.02 |
caqe_2017_v1 | 45000 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v2 | 45000 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v3 | 45000 | 900 | 0 | 900 | 0 | 0 |
CUED1919_NL | 18309.72 | 366.19 | 34.41 | 360.22 | 43.93 | 0 |
CUED1919_NNL | 14837.52 | 296.75 | 212.26 | 250.78 | 291.52 | 0 |
dynQBF-bloqqer-hqspre | 45000 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 45000 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_cegar | 45000 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_plain | 45000 | 900 | 0 | 900 | 0 | 0 |
heretiq | 45000 | 900 | 0 | 900 | 0 | 0 |
HQSpre_solver | 45000 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v1 | 45000 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v2 | 45000 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-2017-07-27-v3 | 45000 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 45000 | 900 | 0 | 900 | 0 | 0 |
prefix-opt-depqbf | 45000 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 1875.13 | 37.5 | 2.85 | 37.27 | 4.28 | 0 |
qbfrelay-limited-depqbf | 44448.08 | 888.96 | 1.92 | 888.54 | 1.91 | 0 |
QELL_default | 45000 | 900 | 0 | 900 | 0 | 0 |
QELL_unit | 45000 | 900 | 0 | 900 | 0 | 0 |
qesto | 45000 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 45000 | 900 | 0 | 900 | 0 | 0 |
Qute_opt500 | 45000 | 900 | 0 | 900 | 0 | 0 |
Qute_random | 45000 | 900 | 0 | 900 | 0 | 0 |
rareqs | 45000 | 900 | 0 | 900 | 0 | 0 |
rev_qfun0.1 | 45000 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_bqsts2.0 | 45000 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts1.0 | 45000 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts2.0 | 45000 | 900 | 0 | 900 | 0 | 0 |