Revised benchmarks and made use of QUIT_GAP#966
Merged
ChrisJefferson merged 3 commits intogap-system:masterfrom olexandr-konovalov:robust-benchmarksMar 8, 2017
Commits
Commits on Mar 7, 2017
- committedAlexander Konovalov
- committedAlexander Konovalov
- committedAlexander Konovalov