Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 45000 | 900 | 0 | 900 | 0 | 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 | 19758.42 | 395.17 | 56.93 | 381.1 | 66.65 | 0 |
CUED1919_NNL | 8708.12 | 174.16 | 114.37 | 149.04 | 166.58 | 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 | 5168.16 | 103.36 | 79.75 | 67.87 | 161.11 | 0 |
qbfrelay-limited-depqbf | 44450.51 | 889.01 | 1.45 | 889.27 | 2.3 | 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 |