Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1604.14 | 802.07 | 97.93 | 802.07 | 0 | 0.5 |
caqe_2017_v1 | 555.79 | 277.9 | 55.21 | 277.9 | 0 | 1 |
caqe_2017_v2 | 587.18 | 293.59 | 98.77 | 293.59 | 0 | 1 |
caqe_2017_v3 | 589.95 | 294.98 | 100.05 | 294.98 | 0 | 1 |
CUED1919_NL | 81.73 | 40.87 | 21.46 | 40.87 | 0 | 0 |
CUED1919_NNL | 20.96 | 10.48 | 6.04 | 10.48 | 0 | 0 |
dynQBF-bloqqer-hqspre | 1800 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 221.75 | 110.88 | 65.16 | 110.88 | 0 | 1 |
GhostQ-PG_cegar | 78.02 | 39.01 | 13.11 | 39.01 | 0 | 1 |
GhostQ-PG_plain | 51.37 | 25.69 | 9.75 | 25.69 | 0 | 1 |
heretiq | 1547.67 | 773.84 | 126.17 | 773.84 | 0 | 0.5 |
HQSpre_solver | 1800 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v1 | 1800 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v2 | 1800 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-2017-07-27-v3 | 1800 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 1800 | 900 | 0 | 900 | 0 | 0 |
prefix-opt-depqbf | 1800 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 1694.06 | 847.03 | 38.65 | 847.03 | 0 | 0 |
qbfrelay-limited-depqbf | 1800 | 900 | 0 | 900 | 0 | 0 |
QELL_default | 240.97 | 120.49 | 29.94 | 120.49 | 0 | 1 |
QELL_unit | 238.17 | 119.09 | 30.44 | 119.09 | 0 | 1 |
qesto | 305.73 | 152.87 | 32.24 | 152.87 | 0 | 1 |
Qute_default | 1174.74 | 587.37 | 139.52 | 587.37 | 0 | 1 |
Qute_opt500 | 974.48 | 487.24 | 412.76 | 487.24 | 0 | 0.5 |
Qute_random | 974.63 | 487.32 | 412.69 | 487.32 | 0 | 0.5 |
rareqs | 414.27 | 207.14 | 19.64 | 207.14 | 0 | 1 |
rev_qfun0.1 | 269.7 | 134.85 | 7.71 | 134.85 | 0 | 1 |
xb-qsts_bqsts2.0 | 258.2 | 129.1 | 65.56 | 129.1 | 0 | 1 |
xb-qsts_xbqsts1.0 | 381.59 | 190.8 | 81.51 | 190.8 | 0 | 1 |
xb-qsts_xbqsts2.0 | 380.29 | 190.15 | 79.83 | 190.15 | 0 | 1 |