Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
cqesto | 2700 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 2087.95 | 695.98 | 288.52 | 900 | 612.05 | 0.333 |
ghostq-plain | 1979.49 | 659.83 | 339.65 | 900 | 720.51 | 0.333 |
qfun0.1 | 1017.61 | 339.2 | 398.72 | 109.72 | 101.83 | 0.667 |
QuAbS_2017 | 2700 | 900 | 0 | 900 | 0 | 0 |
Qute_hybrid | 2637.02 | 879.01 | 0.67 | 879.32 | 1.24 | 0 |
Qute_opt617 | 2700 | 900 | 0 | 900 | 0 | 0 |
Qute_opt993 | 2700 | 900 | 0 | 900 | 0 | 0 |