Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aspq2v3 | 498.51 | 83.09 | 112.58 | 8.9 | 8.69 | 1 |
aspq3alt | 541.42 | 90.24 | 115.59 | 15.61 | 12.07 | 1 |
ASPQ_2018 | 543.76 | 90.63 | 116.51 | 15.6 | 11.9 | 1 |
CADET_2017 | 5400.27 | 900.05 | 0.03 | 900.06 | 0.05 | 0 |
Caqe-bloqqer | 3731.16 | 621.86 | 395.04 | 900.03 | 896.72 | 0.333 |
Caqe-bloqqer-qdo | 3667.52 | 611.25 | 408.71 | 900.03 | 893.04 | 0.333 |
Caqe-hqspre | 3673.91 | 612.32 | 407.45 | 900.05 | 898.76 | 0.333 |
Cued_2_2018 | 4510.73 | 751.79 | 331.51 | 900.03 | 889.54 | 0.167 |
Cued_3_2018 | 4510.69 | 751.78 | 331.52 | 900.03 | 889.54 | 0.167 |
depqbf_prefix_opt_qdo | 5400.34 | 900.06 | 0.03 | 900.06 | 0.04 | 0 |
depqbf_pre_QxQBH | 4501.74 | 750.29 | 334.82 | 900.02 | 898.42 | 0.167 |
GhostQ-PG_cegar | 5400.29 | 900.05 | 0.02 | 900.05 | 0.04 | 0 |
GhostQ-PG_plain | 5400.22 | 900.04 | 0.03 | 900.03 | 0.04 | 0 |
Heretiq-cube | 4777.19 | 796.2 | 232.21 | 900.03 | 623.06 | 0.167 |
Heretiq-simple | 5400.18 | 900.03 | 0.02 | 900.03 | 0.04 | 0 |
ijtihad | 5400.28 | 900.05 | 0.03 | 900.06 | 0.05 | 0 |
Iprover-HQSpre-Bloqqer | 4501.49 | 750.25 | 334.92 | 900.02 | 898.68 | 0.167 |
PortfolioDepQBFGhostQRaReQSQute___pf | 4507.38 | 751.23 | 332.72 | 900.01 | 892.77 | 0.167 |
predyndep | 4507.63 | 751.27 | 332.63 | 900.03 | 892.54 | 0.167 |
Qute_default | 3755.07 | 625.85 | 390.26 | 900.02 | 898.75 | 0.333 |
Qute_opt500 | 3014.98 | 502.5 | 402.33 | 557.63 | 898.71 | 0.5 |
Qute_random | 3009.59 | 501.6 | 403.01 | 555.37 | 898.71 | 0.5 |
Rareqs_2018 | 3689.53 | 614.92 | 403.82 | 900.03 | 893.45 | 0.333 |