Add group_order_from_schoenflies, ready to auto-convert from relaxe…
#100
| Job | Run time |
|---|---|
| 6h 4m 59s | |
| 19d 4h 54m 50s | |
| 6h 4m 58s | |
| 1h 12m 54s | |
| 1h 15m 30s | |
| 1h 15m 30s | |
| 19d 20h 48m 41s |