Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aspq2v3 | 4603.87 | 184.15 | 264.94 | 40.97 | 232.34 | 0.92 |
aspq3alt | 3613.49 | 144.54 | 204.99 | 48.44 | 160.12 | 0.96 |
ASPQ_2018 | 3610.61 | 144.42 | 204.42 | 48.67 | 162.22 | 0.96 |
CADET_2017 | 5358.02 | 214.32 | 347.65 | 21.21 | 113.9 | 0.8 |
Caqe-bloqqer | 2296.49 | 91.86 | 133.34 | 19.66 | 86.83 | 1 |
Caqe-bloqqer-qdo | 2459.92 | 98.4 | 137.86 | 30.45 | 82.72 | 1 |
Caqe-hqspre | 1191.42 | 47.66 | 46.11 | 34.99 | 52.66 | 1 |
Cued_2_2018 | 8502.37 | 340.09 | 385.16 | 65.27 | 805.44 | 0.76 |
Cued_3_2018 | 8560.11 | 342.4 | 388.17 | 65.1 | 832.42 | 0.76 |
depqbf_prefix_opt_qdo | 21002.45 | 840.1 | 189.28 | 900.05 | 0.05 | 0.12 |
depqbf_pre_QxQBH | 14950.11 | 598 | 249.1 | 507.67 | 472.69 | 0.64 |
GhostQ-PG_cegar | 19018.28 | 760.73 | 278.8 | 900.02 | 86.46 | 0.24 |
GhostQ-PG_plain | 14136.46 | 565.46 | 398.19 | 900.01 | 807.84 | 0.44 |
Heretiq-cube | 2158.5 | 86.34 | 168.66 | 41.9 | 27.08 | 0.96 |
Heretiq-simple | 2151.19 | 86.05 | 168.72 | 41.81 | 27.41 | 0.96 |
ijtihad | 13190.15 | 527.61 | 392.37 | 752.02 | 852.9 | 0.52 |
Iprover-HQSpre-Bloqqer | 22072.2 | 882.89 | 79.56 | 900.05 | 0.06 | 0 |
PortfolioDepQBFGhostQRaReQSQute___pf | 20734.8 | 829.39 | 239.6 | 900.04 | 0.05 | 0.08 |
predyndep | 15020.63 | 600.83 | 306.66 | 677.08 | 635.42 | 0.52 |
Qute_default | 572.75 | 22.91 | 22.36 | 13.93 | 27.62 | 1 |
Qute_opt500 | 571.87 | 22.87 | 22.28 | 13.92 | 27.71 | 1 |
Qute_random | 571.16 | 22.85 | 22.27 | 13.91 | 27.67 | 1 |
Rareqs_2018 | 5626.89 | 225.08 | 351.82 | 25.84 | 143.14 | 0.8 |