Dmitry, here is a single-CPU result from a "real" program to show you what I am seeing generally:
=== RUN TestSkolem12
# Skolem(12): 227968 solutions 2434825 nodes 35682939 updates 0.703 s
--- PASS: TestSkolem12 (0.70s)
exact_test.go:677: # Skolem(12): 227968 solutions 2434825 nodes 35682939 updates 0.703 s
=== RUN TestGap
# Gap( 1, 0): 1 solutions 1 nodes 5 updates 0.000 s
# Gap( 3, 1): 1 solutions 4 nodes 31 updates 0.000 s
# Gap( 4, 1): 1 solutions 8 nodes 92 updates 0.000 s
# Gap( 4, 0): 3 solutions 14 nodes 169 updates 0.000 s
# Gap( 5, 2): 3 solutions 19 nodes 220 updates 0.000 s
# Gap( 5, 0): 5 solutions 38 nodes 522 updates 0.000 s
# Gap( 7, 3): 14 solutions 115 nodes 1539 updates 0.000 s
# Gap( 7, 1): 26 solutions 352 nodes 5055 updates 0.000 s
# Gap( 8, 3): 56 solutions 603 nodes 8091 updates 0.001 s
# Gap( 8, 2): 90 solutions 1010 nodes 14123 updates 0.001 s
# Gap( 8, 1): 150 solutions 1514 nodes 22468 updates 0.002 s
# Gap( 8, 0): 252 solutions 2260 nodes 33173 updates 0.003 s
# Gap( 9, 4): 122 solutions 1146 nodes 15970 updates 0.002 s
# Gap( 9, 2): 346 solutions 4642 nodes 67317 updates 0.006 s
# Gap( 9, 0): 1328 solutions 10332 nodes 152978 updates 0.007 s
# Gap(11, 5): 1272 solutions 14886 nodes 212023 updates 0.007 s
# Gap(11, 3): 5560 solutions 87750 nodes 1270392 updates 0.036 s
# Gap(11, 1): 17792 solutions 210876 nodes 3033477 updates 0.063 s
# Gap(12, 5): 9052 solutions 141676 nodes 1949120 updates 0.042 s
# Gap(12, 4): 21028 solutions 357049 nodes 5048941 updates 0.109 s 46.481 Mu/s
# Gap(12, 3): 32744 solutions 536269 nodes 7768788 updates 0.155 s 49.965 Mu/s
# Gap(12, 2): 55696 solutions 818550 nodes 11935776 updates 0.237 s 50.381 Mu/s
# Gap(12, 1): 108144 solutions 1351543 nodes 19494378 updates 0.382 s 51.053 Mu/s
# Gap(12, 0): 227968 solutions 2137237 nodes 31496482 updates 0.610 s 51.662 Mu/s
# Gap(13, 6): 17800 solutions 276931 nodes 4032013 updates 0.085 s
# Gap(13, 4): 129220 solutions 2406091 nodes 34510000 updates 0.692 s 49.892 Mu/s
# Gap(13, 2): 360876 solutions 5586798 nodes 81469260 updates 1.582 s 51.504 Mu/s
# Gap(13, 0): 1520280 solutions 14940920 nodes 219953588 updates 4.216 s 52.167 Mu/s
# Gap(15, 7): 329816 solutions 6433598 nodes 94719176 updates 1.874 s 50.539 Mu/s
# Gap(15, 5): 3912272 solutions 82944237 nodes 1180126632 updates 23.040 s 51.220 Mu/s
Release (1.3.3):
=== RUN TestSkolem12
# Skolem(12): 227968 solutions 2434825 nodes 35682939 updates 0.308 s
--- PASS: TestSkolem12 (0.31 seconds)
exact_test.go:677: # Skolem(12): 227968 solutions 2434825 nodes 35682939 updates 0.308 s
=== RUN TestGap
# Gap( 1, 0): 1 solutions 1 nodes 5 updates 0.000 s
# Gap( 3, 1): 1 solutions 4 nodes 31 updates 0.000 s
# Gap( 4, 1): 1 solutions 8 nodes 92 updates 0.000 s
# Gap( 4, 0): 3 solutions 14 nodes 169 updates 0.000 s
# Gap( 5, 2): 3 solutions 19 nodes 220 updates 0.000 s
# Gap( 5, 0): 5 solutions 38 nodes 522 updates 0.000 s
# Gap( 7, 3): 14 solutions 115 nodes 1539 updates 0.000 s
# Gap( 7, 1): 26 solutions 352 nodes 5055 updates 0.000 s
# Gap( 8, 3): 56 solutions 603 nodes 8091 updates 0.000 s
# Gap( 8, 2): 90 solutions 1010 nodes 14123 updates 0.001 s
# Gap( 8, 1): 150 solutions 1514 nodes 22468 updates 0.001 s
# Gap( 8, 0): 252 solutions 2260 nodes 33173 updates 0.001 s
# Gap( 9, 4): 122 solutions 1146 nodes 15970 updates 0.001 s
# Gap( 9, 2): 346 solutions 4642 nodes 67317 updates 0.003 s
# Gap( 9, 0): 1328 solutions 10332 nodes 152978 updates 0.003 s
# Gap(11, 5): 1272 solutions 14886 nodes 212023 updates 0.003 s
# Gap(11, 3): 5560 solutions 87750 nodes 1270392 updates 0.013 s
# Gap(11, 1): 17792 solutions 210876 nodes 3033477 updates 0.027 s
# Gap(12, 5): 9052 solutions 141676 nodes 1949120 updates 0.019 s
# Gap(12, 4): 21028 solutions 357049 nodes 5048941 updates 0.049 s
# Gap(12, 3): 32744 solutions 536269 nodes 7768788 updates 0.071 s
# Gap(12, 2): 55696 solutions 818550 nodes 11935776 updates 0.106 s 112.309 Mu/s
# Gap(12, 1): 108144 solutions 1351543 nodes 19494378 updates 0.169 s 115.404 Mu/s
# Gap(12, 0): 227968 solutions 2137237 nodes 31496482 updates 0.268 s 117.713 Mu/s
# Gap(13, 6): 17800 solutions 276931 nodes 4032013 updates 0.038 s
# Gap(13, 4): 129220 solutions 2406091 nodes 34510000 updates 0.310 s 111.319 Mu/s
# Gap(13, 2): 360876 solutions 5586798 nodes 81469260 updates 0.717 s 113.560 Mu/s
# Gap(13, 0): 1520280 solutions 14940920 nodes 219953588 updates 1.815 s 121.187 Mu/s
# Gap(15, 7): 329816 solutions 6433598 nodes 94719176 updates 0.845 s 112.131 Mu/s
# Gap(15, 5): 3912272 solutions 82944237 nodes 1180126632 updates 10.352 s 114.001 Mu/s
Unfortunately, this is the typical comparison across a range of programs. It would be great if I've done something wrong and the problem is with me.