Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 6267.26 | 783.41 | 296.28 | 900 | 16.4 | 0.125 |
caqe_2017_v1 | 6300.05 | 787.51 | 297.63 | 900 | 0 | 0.125 |
caqe_2017_v2 | 6300.05 | 787.51 | 297.63 | 900 | 0 | 0.125 |
caqe_2017_v3 | 6300.08 | 787.51 | 297.62 | 900 | 0 | 0.125 |
CUED1919_NL | 3075.14 | 384.39 | 140.56 | 429.62 | 62.58 | 0 |
CUED1919_NNL | 4346.98 | 543.37 | 324.12 | 540.88 | 624.38 | 0 |
dynQBF-bloqqer-hqspre | 6300.28 | 787.54 | 297.55 | 900 | 0 | 0.125 |
ghostq-cegar | 6308.37 | 788.55 | 294.88 | 900 | 0 | 0.125 |
GhostQ-PG_cegar | 6314.3 | 789.29 | 292.92 | 900 | 0 | 0.125 |
GhostQ-PG_plain | 6314.16 | 789.27 | 292.96 | 900 | 0 | 0.125 |
heretiq | 6300.06 | 787.51 | 297.63 | 900 | 0 | 0.125 |
HQSpre_solver | 6300.06 | 787.51 | 297.63 | 900 | 0 | 0.125 |
ijtihad_v1 | 6300.06 | 787.51 | 297.63 | 900 | 0 | 0.125 |
ijtihad_v2 | 6300.06 | 787.51 | 297.63 | 900 | 0 | 0.125 |
iProver-qbf-2017-07-27-v3 | 6301.53 | 787.69 | 297.14 | 900 | 0 | 0.125 |
iProver-qbf-bloqqer-2017-07-27-v3 | 6300.3 | 787.54 | 297.55 | 900 | 0 | 0.125 |
prefix-opt-depqbf | 6300.29 | 787.54 | 297.55 | 900 | 0 | 0.125 |
qbfrelay | 6186.09 | 773.26 | 292.14 | 885.78 | 20.19 | 0.125 |
qbfrelay-limited-depqbf | 6283 | 785.38 | 296.65 | 897.26 | 6.03 | 0.125 |
QELL_default | 6300.24 | 787.53 | 297.57 | 900 | 0 | 0.125 |
QELL_unit | 6300.24 | 787.53 | 297.57 | 900 | 0 | 0.125 |
qesto | 4650.51 | 581.31 | 412 | 900 | 824.78 | 0.125 |
Qute_default | 6290.09 | 786.26 | 297.16 | 898.41 | 3.39 | 0.125 |
Qute_opt500 | 6300.07 | 787.51 | 297.62 | 900 | 0 | 0.125 |
Qute_random | 6300.06 | 787.51 | 297.63 | 900 | 0 | 0.125 |
rareqs | 6300.05 | 787.51 | 297.63 | 900 | 0 | 0.125 |
rev_qfun0.1 | 6300.05 | 787.51 | 297.63 | 900 | 0 | 0.125 |
xb-qsts_bqsts2.0 | 6300.27 | 787.53 | 297.56 | 900 | 0 | 0.125 |
xb-qsts_xbqsts1.0 | 6300.28 | 787.54 | 297.55 | 900 | 0 | 0.125 |
xb-qsts_xbqsts2.0 | 6300.28 | 787.54 | 297.55 | 900 | 0 | 0.125 |