feat: search without solving and with --solve #1222
Job | Run time |
---|---|
22m 21s | |
13m 6s | |
12m 25s | |
10m 30s | |
13m 35s | |
12m 31s | |
18m 41s | |
21m 31s | |
20m 12s | |
23m 24s | |
17m 57s | |
9m 14s | |
11m 43s | |
3h 27m 10s |
Job | Run time |
---|---|
22m 21s | |
13m 6s | |
12m 25s | |
10m 30s | |
13m 35s | |
12m 31s | |
18m 41s | |
21m 31s | |
20m 12s | |
23m 24s | |
17m 57s | |
9m 14s | |
11m 43s | |
3h 27m 10s |