Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 8788.98 | 878.9 | 44.09 | 900 | 60.83 | 0 |
caqe_2017_v1 | 5775.11 | 577.51 | 397.42 | 900 | 875.83 | 0.4 |
caqe_2017_v2 | 4737.06 | 473.71 | 427.8 | 521.55 | 882.79 | 0.5 |
caqe_2017_v3 | 4734.93 | 473.49 | 427.97 | 520.59 | 882.76 | 0.5 |
CUED1919_NL | 9000 | 900 | 0 | 900 | 0 | 0 |
CUED1919_NNL | 9000 | 900 | 0 | 900 | 0 | 0 |
dynQBF-bloqqer-hqspre | 8107.52 | 810.75 | 267.74 | 900 | 0 | 0.1 |
ghostq-cegar | 8927.97 | 892.8 | 21.61 | 900 | 0 | 0.1 |
GhostQ-PG_cegar | 8920.69 | 892.07 | 23.79 | 900 | 0 | 0.1 |
GhostQ-PG_plain | 9000 | 900 | 0 | 900 | 0 | 0 |
heretiq | 9000 | 900 | 0 | 900 | 0 | 0 |
HQSpre_solver | 8101.61 | 810.16 | 269.52 | 900 | 0 | 0.1 |
ijtihad_v1 | 9000 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v2 | 9000 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-2017-07-27-v3 | 9000 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 8118.46 | 811.85 | 264.46 | 900 | 0 | 0.1 |
prefix-opt-depqbf | 9000 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 306.66 | 30.67 | 25.92 | 20.72 | 25.36 | 0.1 |
qbfrelay-limited-depqbf | 7370.48 | 737.05 | 304.36 | 888.38 | 711.22 | 0.2 |
QELL_default | 9000 | 900 | 0 | 900 | 0 | 0 |
QELL_unit | 9000 | 900 | 0 | 900 | 0 | 0 |
qesto | 8165.09 | 816.51 | 250.47 | 900 | 0 | 0.1 |
Qute_default | 5701.08 | 570.11 | 405.87 | 900 | 871.22 | 0.4 |
Qute_opt500 | 5953.83 | 595.38 | 401.48 | 900 | 897.8 | 0.4 |
Qute_random | 5953.45 | 595.35 | 401.48 | 900 | 897.81 | 0.4 |
rareqs | 7364.1 | 736.41 | 328.73 | 900 | 746.58 | 0.2 |
rev_qfun0.1 | 9000 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_bqsts2.0 | 8106.27 | 810.63 | 268.12 | 900 | 0 | 0.1 |
xb-qsts_xbqsts1.0 | 8107.62 | 810.76 | 267.71 | 900 | 0 | 0.1 |
xb-qsts_xbqsts2.0 | 8107.61 | 810.76 | 267.72 | 900 | 0 | 0.1 |