Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
cqesto | 13089.1 | 654.46 | 349.43 | 900 | 511.03 | 0.4 |
ghostq-cegar | 15025.45 | 751.27 | 315.41 | 900 | 0 | 0.2 |
ghostq-plain | 17187.85 | 859.39 | 177 | 900 | 0 | 0.05 |
qfun0.1 | 16751.75 | 837.59 | 203.9 | 900 | 0 | 0.1 |
QuAbS_2017 | 7302.47 | 365.12 | 401.16 | 118.39 | 897.65 | 0.65 |
Qute_hybrid | 12988.77 | 649.44 | 372.89 | 877.4 | 541.08 | 0.3 |
Qute_opt617 | 17134.24 | 856.71 | 188.69 | 900 | 0 | 0.05 |
Qute_opt993 | 14540.82 | 727.04 | 346.76 | 900 | 0 | 0.2 |