Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
cqesto | 3600.66 | 720.13 | 359.74 | 900 | 449.67 | 0.2 |
ghostq-cegar | 4500 | 900 | 0 | 900 | 0 | 0 |
ghostq-plain | 4500 | 900 | 0 | 900 | 0 | 0 |
qfun0.1 | 3610.05 | 722.01 | 355.98 | 900 | 444.98 | 0.2 |
QuAbS_2017 | 4500 | 900 | 0 | 900 | 0 | 0 |
Qute_hybrid | 3522.04 | 704.41 | 346.2 | 877.62 | 433.36 | 0.2 |
Qute_opt617 | 3610.59 | 722.12 | 355.76 | 900 | 444.71 | 0.2 |
Qute_opt993 | 3660.38 | 732.08 | 335.85 | 900 | 419.81 | 0.2 |