Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
dqbdd | 9874.16 | 109.71 | 281.41 | 0.64 | 1.47 | 0.889 |
hqs | 10324.62 | 114.72 | 293.52 | 0.77 | 8.21 | 0.678 |
iprover_hqspre_schedule | 45546.55 | 506.07 | 413.77 | 723.23 | 888.86 | 0.511 |
iprover_hqspre_single | 47671.24 | 529.68 | 422.51 | 900 | 888.87 | 0.444 |