Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Cqesto_2018 | 3906.64 | 558.09 | 336.93 | 604.51 | 896.57 | 0.571 |
GhostQ_PG___cegar_qcir_2018 | 5407.06 | 772.44 | 183.3 | 900.01 | 513.59 | 0.429 |
GhostQ_PG___plain_qcir_2018 | 3030.17 | 432.88 | 408.81 | 174.98 | 897.87 | 0.571 |
PortfolioGhostQQfunQuAbSQute___pf2 | 2217.79 | 316.83 | 391 | 7.07 | 384.21 | 0.429 |
PortfolioGhostQQfunQuAbSQute___pf3 | 1673.48 | 239.07 | 361.2 | 6.07 | 37.7 | 0.429 |
PortfolioGhostQQfunQuAbSQute___pfs | 1660.4 | 237.2 | 359.27 | 5.99 | 35.67 | 0.429 |
QFUN | 4663.21 | 666.17 | 370.98 | 900.01 | 874.36 | 0.286 |
Quabs_2018 | 4743.34 | 677.62 | 303.42 | 900.01 | 834.44 | 0.429 |
quabs___caqe-bloqqer | 3089 | 441.29 | 396.2 | 265.86 | 864.63 | 0.714 |
quabs___caqe-hqspre | 4676.26 | 668.04 | 368.85 | 900.01 | 884.28 | 0.286 |
Qute_hybrid | 4799.12 | 685.59 | 340.27 | 900.07 | 803.02 | 0.286 |
Qute_opt617 | 4458.92 | 636.99 | 321.84 | 900.03 | 829.86 | 0.429 |
Qute_opt993 | 4035.03 | 576.43 | 395.93 | 900.03 | 896.44 | 0.429 |