Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 40544.35 | 810.89 | 85.35 | 824.72 | 151.12 | 0 |
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 | 45000 | 900 | 0 | 900 | 0 | 0 |
CUED1919_NNL | 45000 | 900 | 0 | 900 | 0 | 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 | 187.86 | 3.76 | 0.28 | 3.78 | 0.33 | 0 |
qbfrelay-limited-depqbf | 44469.77 | 889.4 | 1.91 | 888.91 | 1.77 | 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 |