Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
cqesto | 901.37 | 450.69 | 449.32 | 450.69 | 0 | 0.5 |
ghostq-cegar | 900.35 | 450.18 | 449.83 | 450.18 | 0 | 0.5 |
ghostq-plain | 950.2 | 475.1 | 424.9 | 475.1 | 0 | 0.5 |
qfun0.1 | 900.27 | 450.14 | 449.87 | 450.14 | 0 | 0.5 |
QuAbS_2017 | 974.09 | 487.05 | 412.96 | 487.05 | 0 | 0.5 |
Qute_hybrid | 956.84 | 478.42 | 398.29 | 478.42 | 0 | 0.5 |
Qute_opt617 | 957 | 478.5 | 421.5 | 478.5 | 0 | 0.5 |
Qute_opt993 | 919.4 | 459.7 | 440.3 | 459.7 | 0 | 0.5 |