Fast Formal Integral #3740
Job | Run time |
---|---|
6m 4s | |
1m 46s | |
2m 6s | |
2m 2s | |
1m 23s | |
1m 46s | |
1m 55s | |
1m 46s | |
6m 15s | |
1m 56s | |
52s | |
1m 57s | |
1m 15s | |
3m 44s | |
34m 47s |
Job | Run time |
---|---|
6m 4s | |
1m 46s | |
2m 6s | |
2m 2s | |
1m 23s | |
1m 46s | |
1m 55s | |
1m 46s | |
6m 15s | |
1m 56s | |
52s | |
1m 57s | |
1m 15s | |
3m 44s | |
34m 47s |