Rational points of varieties/schemes #10203
Job | Run time |
---|---|
50m 53s | |
50m 53s | |
1h 8m 29s | |
1h 8m 29s | |
44m 16s | |
44m 16s | |
2h 30m 14s | |
2h 27m 39s | |
1h 35m 47s | |
1h 35m 47s | |
1h 57m 56s | |
1h 57m 56s | |
17m 43s | |
17m 43s | |
1h 18m 38s | |
1h 18m 38s | |
1h 24m 50s | |
1h 24m 50s | |
23h 34m 57s |