Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
dqbdd | 8188.15 | 90.98 | 237.01 | 11.67 | 25.72 | 0.922 |
hqs | 11689.24 | 129.88 | 289.6 | 7.46 | 31.11 | 0.833 |
iprover_hqspre_schedule | 50820.15 | 564.67 | 389.84 | 900 | 823.09 | 0.422 |
iprover_hqspre_single | 53560.74 | 595.12 | 392.25 | 900 | 823.14 | 0.378 |