Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer | 3528 | 352.8 | 388.59 | 132.76 | 525.55 | 0.7 |
Caqe-bloqqer-qdo | 3861.33 | 386.13 | 385.44 | 255.3 | 586.24 | 0.7 |
Caqe-hqspre | 4841.71 | 484.17 | 419.83 | 557.65 | 894.57 | 0.5 |
Cued_2_2018 | 7982.66 | 798.27 | 261.24 | 900.02 | 142.64 | 0.2 |
Cued_3_2018 | 8048.95 | 804.9 | 260.14 | 900.03 | 79.19 | 0.2 |
depqbf_prefix_opt_qdo | 9000.39 | 900.04 | 0.02 | 900.05 | 0.04 | 0 |
depqbf_pre_QxQBH | 9000.39 | 900.04 | 0.02 | 900.04 | 0.03 | 0 |
GhostQ-PG_cegar | 3645.51 | 364.55 | 375.27 | 247.1 | 414 | 0.7 |
GhostQ-PG_plain | 7828.61 | 782.86 | 271.73 | 900.02 | 278.3 | 0.2 |
Heretiq-cube | 6688.21 | 668.82 | 323.3 | 829.41 | 792.68 | 0.2 |
Heretiq-simple | 6901.63 | 690.16 | 335.4 | 900.03 | 735.59 | 0.3 |
ijtihad | 8100.85 | 810.09 | 269.92 | 900.05 | 0.05 | 0.1 |
Iprover-HQSpre-Bloqqer | 8219.64 | 821.96 | 234.28 | 900.06 | 0.04 | 0.1 |
PortfolioDepQBFGhostQRaReQSQute___pf | 9000.4 | 900.04 | 0.02 | 900.04 | 0.03 | 0 |
predyndep | 8128.95 | 812.9 | 261.45 | 900.04 | 0.05 | 0.1 |
Qute_default | 8272.51 | 827.25 | 218.38 | 900.03 | 0.04 | 0.1 |
Qute_opt500 | 7243.02 | 724.3 | 351.55 | 900.04 | 865.27 | 0.2 |
Qute_random | 7242.48 | 724.25 | 351.64 | 900.04 | 865.43 | 0.2 |
Rareqs_2018 | 3949.04 | 394.9 | 415.61 | 149.06 | 897.73 | 0.6 |