Using semsimian v0.1.18 that writes output directly rather than using oaklib
to write output
#1566
Job | Run time |
---|---|
32s | |
35s | |
49m 26s | |
53m 39s | |
45m 19s | |
2h 29m 31s |
oaklib
to write output
#1566
Job | Run time |
---|---|
32s | |
35s | |
49m 26s | |
53m 39s | |
45m 19s | |
2h 29m 31s |