Add GAP_FLAGS
to list of inputs
#95
Job | Run time |
---|---|
1m 12s | |
1m 8s | |
1m 20s | |
3m 40s |
GAP_FLAGS
to list of inputs
#95
Job | Run time |
---|---|
1m 12s | |
1m 8s | |
1m 20s | |
3m 40s |