Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 5369.21 | 894.87 | 11.47 | 900 | 30.79 | 0 |
caqe_2017_v1 | 461.69 | 76.95 | 64.4 | 67.07 | 98.69 | 1 |
caqe_2017_v2 | 586.84 | 97.81 | 103.96 | 61.09 | 73.09 | 1 |
caqe_2017_v3 | 594.94 | 99.16 | 106.38 | 61.52 | 73.93 | 1 |
CUED1919_NL | 873.04 | 145.51 | 274.39 | 1.69 | 1.09 | 0.333 |
CUED1919_NNL | 1009.86 | 168.31 | 329.6 | 0.42 | 0.18 | 0.167 |
dynQBF-bloqqer-hqspre | 3626.64 | 604.44 | 418.01 | 900 | 895.04 | 0.333 |
ghostq-cegar | 4634.67 | 772.45 | 285.22 | 900 | 765.33 | 0.167 |
GhostQ-PG_cegar | 3569.89 | 594.98 | 399.18 | 852.46 | 873.67 | 0.5 |
GhostQ-PG_plain | 4547.8 | 757.97 | 317.6 | 900 | 852.2 | 0.167 |
heretiq | 432.31 | 72.05 | 80.38 | 36.9 | 42.44 | 1 |
HQSpre_solver | 1892.05 | 315.34 | 413.56 | 33.56 | 36.85 | 0.667 |
ijtihad_v1 | 2058.72 | 343.12 | 399.18 | 117.09 | 201.86 | 0.667 |
ijtihad_v2 | 2080.84 | 346.81 | 396.72 | 124.55 | 207.73 | 0.667 |
iProver-qbf-2017-07-27-v3 | 5400 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 5400 | 900 | 0 | 900 | 0 | 0 |
prefix-opt-depqbf | 4510.18 | 751.7 | 331.62 | 900 | 889.82 | 0.167 |
qbfrelay | 4125.49 | 687.58 | 156.53 | 728.27 | 372.97 | 0.167 |
qbfrelay-limited-depqbf | 3255.05 | 542.51 | 362.97 | 606.16 | 882.5 | 0.5 |
QELL_default | 1729.31 | 288.22 | 313.79 | 96.28 | 109.97 | 1 |
QELL_unit | 2598.13 | 433.02 | 358.34 | 343.55 | 456.53 | 0.667 |
qesto | 4678.97 | 779.83 | 268.71 | 900 | 721.03 | 0.167 |
Qute_default | 4953.98 | 825.66 | 166.22 | 900 | 446.02 | 0.167 |
Qute_opt500 | 4257.5 | 709.58 | 275.71 | 900 | 673.72 | 0.333 |
Qute_random | 4304.92 | 717.49 | 268.6 | 900 | 676.27 | 0.333 |
rareqs | 251.39 | 41.9 | 39.28 | 35.08 | 38.26 | 1 |
rev_qfun0.1 | 1988.35 | 331.39 | 403.41 | 81.75 | 106.74 | 0.667 |
xb-qsts_bqsts2.0 | 2809.25 | 468.21 | 432.09 | 483.8 | 885.84 | 0.5 |
xb-qsts_xbqsts1.0 | 2885.06 | 480.84 | 419.5 | 493.93 | 870.44 | 0.5 |
xb-qsts_xbqsts2.0 | 2885.32 | 480.89 | 419.46 | 493.95 | 870.08 | 0.5 |