Check for data in ../share/principia/
on Windows too
#372
Job | Run time |
---|---|
5m 38s | |
8m 1s | |
2m 29s | |
16m 8s |
../share/principia/
on Windows too
#372
Job | Run time |
---|---|
5m 38s | |
8m 1s | |
2m 29s | |
16m 8s |