Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer | 5214.4 | 521.44 | 400.36 | 704.37 | 851.85 | 0.5 |
Caqe-bloqqer-qdo | 3881.82 | 388.18 | 373.95 | 143.9 | 597.69 | 0.7 |
Caqe-hqspre | 16.53 | 1.65 | 1.88 | 1.41 | 1.58 | 1 |
Cued_2_2018 | 2208.74 | 220.87 | 293.13 | 26.94 | 304.05 | 0.9 |
Cued_3_2018 | 2197.87 | 219.79 | 292.14 | 27.17 | 330.23 | 0.9 |
depqbf_prefix_opt_qdo | 4580.69 | 458.07 | 381.14 | 338.26 | 899.98 | 0.6 |
depqbf_pre_QxQBH | 603.95 | 60.4 | 75.05 | 20.35 | 41.57 | 1 |
GhostQ-PG_cegar | 1183.54 | 118.35 | 265.55 | 3.62 | 20.29 | 0.9 |
GhostQ-PG_plain | 161.44 | 16.14 | 36.87 | 1.83 | 3.29 | 1 |
Heretiq-cube | 541.43 | 54.14 | 157.14 | 1.62 | 1.44 | 0.9 |
Heretiq-simple | 916.42 | 91.64 | 269.46 | 1.63 | 1.37 | 0.9 |
ijtihad | 915.91 | 91.59 | 269.49 | 1.67 | 1.44 | 0.9 |
Iprover-HQSpre-Bloqqer | 4503.9 | 450.39 | 449.69 | 450.72 | 899.55 | 0.5 |
PortfolioDepQBFGhostQRaReQSQute___pf | 1277.99 | 127.8 | 264.63 | 7.6 | 8.01 | 0.9 |
predyndep | 3506.5 | 350.65 | 388.67 | 143.73 | 479.2 | 0.7 |
Qute_default | 30.01 | 3 | 4.87 | 2.3 | 2.33 | 1 |
Qute_opt500 | 72.24 | 7.22 | 15.29 | 2.29 | 2.31 | 1 |
Qute_random | 73.12 | 7.31 | 15.41 | 2.29 | 2.34 | 1 |
Rareqs_2018 | 7363.63 | 736.36 | 327.55 | 900.05 | 796.11 | 0.2 |