Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Cqesto_2018 | 946.81 | 37.87 | 145 | 1.9 | 3.09 | 1 |
GhostQ_PG___cegar_qcir_2018 | 2782.55 | 111.3 | 206.33 | 25.81 | 52.64 | 0.96 |
GhostQ_PG___plain_qcir_2018 | 22500.94 | 900.04 | 0.03 | 900.04 | 0.02 | 0 |
PortfolioGhostQQfunQuAbSQute___pf2 | 171.18 | 6.85 | 0.27 | 6.93 | 0.08 | 0.08 |
PortfolioGhostQQfunQuAbSQute___pf3 | 142.52 | 5.7 | 0.32 | 5.77 | 0.08 | 0.08 |
PortfolioGhostQQfunQuAbSQute___pfs | 142.46 | 5.7 | 0.29 | 5.76 | 0.06 | 0.08 |
QFUN | 6.02 | 0.24 | 0.34 | 0 | 0.57 | 1 |
Quabs_2018 | 2655.45 | 106.22 | 115.37 | 79.39 | 85.98 | 1 |
quabs___caqe-bloqqer | 12289 | 491.56 | 435.87 | 900 | 896.17 | 0.48 |
quabs___caqe-hqspre | 10184.96 | 407.4 | 424.62 | 71.79 | 897.01 | 0.6 |
Qute_hybrid | 17432.92 | 697.32 | 348.68 | 900.02 | 348.88 | 0.28 |
Qute_opt617 | 17408.2 | 696.33 | 358.36 | 900.02 | 376.94 | 0.28 |
Qute_opt993 | 19637.35 | 785.49 | 285.1 | 900.03 | 0.04 | 0.16 |