ID:0 (14,12,2) Graph |V|:91 Solution size:7475 Filtered solution size:7272 Parallel solution length:586 Parallelism:12.410 Step parallelism:17 7 14 13 9 6 8 6 17 17 17 22 13 20 11 11 13 7 6 10 9 9 9 12 5 21 15 9 11 11 11 11 11 23 17 19 10 14 17 17 10 6 12 11 12 12 14 29 29 13 12 14 11 15 19 26 23 19 19 19 19 22 13 13 7 21 19 15 15 15 15 21 13 13 6 22 18 7 15 11 12 10 13 17 14 11 10 10 10 31 17 10 12 11 16 10 10 10 32 17 10 9 10 6 11 11 12 10 9 24 11 18 13 14 11 19 11 11 8 16 20 13 3 6 16 20 11 11 7 15 16 14 14 14 14 14 14 11 11 14 6 16 16 14 14 14 12 11 9 16 21 19 19 19 18 14 14 14 12 11 22 13 13 18 17 17 17 17 18 7 8 17 11 11 11 13 11 11 11 11 6 17 16 16 16 16 15 25 10 14 11 11 9 9 9 12 12 17 10 23 19 29 9 9 9 16 12 11 10 21 21 15 13 13 13 12 20 12 12 12 9 14 11 15 9 9 11 10 31 17 16 15 15 11 12 9 12 12 19 17 11 12 11 11 11 11 16 26 10 14 6 12 16 13 13 13 10 25 25 15 14 14 22 15 15 14 14 22 12 8 7 16 14 14 14 18 12 14 8 14 14 14 14 18 15 15 20 22 15 14 14 14 9 11 12 16 10 13 13 13 13 10 16 12 13 9 9 9 13 6 12 16 13 13 13 13 15 15 15 9 8 14 13 5 11 6 14 16 14 14 14 14 14 13 13 12 12 12 13 14 14 14 14 14 14 9 15 14 14 14 14 14 9 18 16 13 13 13 9 18 18 7 16 5 16 4 16 14 15 10 14 11 20 16 14 6 15 12 10 14 6 12 11 11 11 11 13 28 15 19 13 5 11 13 8 13 6 12 7 14 5 11 7 7 13 20 11 15 14 7 14 12 21 11 12 12 11 11 11 14 19 13 12 21 11 12 19 13 12 21 11 12 13 13 9 9 8 6 12 12 12 7 14 9 9 8 6 12 12 12 7 9 10 14 6 12 12 12 7 10 6 15 12 12 7 14 12 12 10 8 12 12 12 12 12 12 12 12 12 12 12 7 7 6 6 11 9 12 4 3 12 12 9 12 12 4 7 6 6 11 9 12 4 12 9 9 9 13 15 11 8 6 10 9 12 5 6 6 12 9 12 4 3 12 12 9 12 12 4 7 6 6 11 9 12 12 5 12 9 9 9 8 8 6 20 3 10 9 9 13 11 4 1 11 7 11 2 6 6 6 21 3 1 11 11 11 9 11 11 11 4 6 6 6 21 3 6 6 12 11 11 9 6 6 21 4 Solving time:0.080 Filtering time:0.490 ID:1 (14,12,3) Graph |V|:91 Solution size:7224 Filtered solution size:6987 Parallel solution length:560 Parallelism:12.477 Step parallelism:16 7 14 13 9 6 8 6 17 17 17 22 13 21 22 11 1 7 12 10 9 9 9 19 21 19 11 11 11 11 11 12 5 11 6 14 11 15 22 18 14 12 21 11 12 10 17 13 18 17 17 17 17 17 17 9 20 27 19 19 19 19 19 23 14 14 11 18 25 15 15 15 15 21 13 13 6 23 17 12 8 16 11 12 10 13 17 17 15 10 13 10 10 10 16 22 21 12 9 18 1 10 15 21 12 9 13 12 12 12 13 14 10 14 6 12 12 12 12 13 13 15 13 11 20 12 12 12 5 18 14 14 14 11 19 11 11 8 16 16 16 14 14 14 12 11 11 14 6 21 19 19 19 18 14 14 14 12 11 9 16 16 9 11 11 11 17 7 18 17 17 15 16 16 15 25 10 14 11 11 9 9 9 12 12 17 10 13 11 11 21 12 12 12 12 12 16 10 11 13 11 15 9 9 12 12 17 9 14 9 9 9 16 10 17 12 17 12 12 21 12 11 11 11 11 22 19 7 13 9 12 12 33 33 17 14 9 18 15 15 15 15 15 15 25 26 14 14 14 14 31 15 14 14 14 12 19 13 7 7 16 14 14 14 10 17 12 12 12 14 13 13 13 10 25 25 15 14 4 12 19 12 12 12 14 13 13 13 13 15 15 15 9 8 14 13 5 11 6 14 16 14 14 14 14 14 21 16 6 14 16 14 14 14 14 14 8 13 11 14 10 14 14 14 14 14 1 13 25 16 13 13 13 9 18 18 6 6 12 16 13 13 13 13 15 9 7 12 17 13 5 15 16 13 5 5 13 13 13 13 17 8 13 13 13 13 13 12 12 15 10 27 16 22 14 18 5 14 11 11 13 16 5 19 14 5 14 9 9 8 6 12 16 13 23 17 12 6 21 11 14 17 9 9 7 6 11 11 16 11 11 11 11 11 11 21 12 12 12 12 16 11 15 11 11 11 10 12 16 6 14 12 12 7 15 11 11 11 11 15 12 17 10 10 14 6 12 12 12 7 2 12 12 12 12 10 17 8 2 12 12 8 8 7 10 9 12 5 3 12 12 12 12 11 12 12 12 12 6 7 6 6 11 9 12 14 11 8 6 10 9 12 5 10 13 2 6 6 12 9 12 4 6 6 12 9 12 4 11 11 9 9 12 5 2 9 9 4 10 4 10 9 9 12 2 10 11 3 10 9 12 3 10 12 2 10 9 9 9 15 2 1 11 11 8 11 11 3 6 6 6 21 3 10 9 9 14 14 12 4 Solving time:0.080 Filtering time:0.370 ID:2 (14,12,4) Graph |V|:91 Solution size:7244 Filtered solution size:6961 Parallel solution length:568 Parallelism:12.255 Step parallelism:19 7 14 16 9 6 8 6 17 17 17 22 20 13 22 14 3 7 12 24 23 20 12 3 7 11 10 15 14 15 7 14 11 15 22 14 7 13 11 15 22 16 11 6 11 11 12 10 17 26 23 19 19 19 19 22 13 13 7 21 19 16 15 15 15 21 15 13 6 22 17 12 12 10 10 5 12 12 14 16 17 26 19 19 19 19 19 22 13 13 12 25 24 15 14 14 14 12 20 13 4 13 10 14 16 24 15 19 19 19 21 14 14 14 12 11 11 14 14 14 14 6 11 11 11 15 5 13 11 11 11 16 10 13 11 11 8 16 16 16 14 14 14 12 11 11 14 6 16 14 10 11 9 16 18 16 16 16 16 16 17 9 15 4 10 7 11 11 11 9 20 21 11 11 11 11 11 18 9 13 11 11 20 11 11 11 11 6 17 7 14 14 14 14 15 11 11 11 9 19 6 10 10 14 11 15 9 9 11 10 16 10 18 11 11 20 11 11 11 11 16 16 12 10 14 12 14 20 14 14 17 11 9 9 9 6 12 16 13 13 13 10 25 17 6 12 16 13 13 13 10 25 18 18 18 18 18 18 18 18 16 25 9 9 9 10 6 12 16 14 14 14 14 18 21 6 14 16 14 14 14 14 18 11 22 14 14 14 14 20 11 9 12 16 14 14 14 14 17 16 8 13 8 6 12 16 14 14 14 14 10 11 12 16 13 13 13 13 15 12 16 12 12 12 13 13 13 6 15 12 11 11 15 10 13 13 13 13 9 11 9 10 15 16 13 13 13 9 18 14 15 14 19 11 9 8 6 12 16 13 13 13 10 19 10 4 12 11 9 7 11 27 5 13 17 6 14 13 5 13 11 18 6 14 13 5 15 9 9 9 9 6 24 5 15 9 8 6 12 13 13 6 16 12 10 13 13 7 15 21 11 12 5 20 6 13 11 12 5 3 10 10 10 13 10 10 10 3 11 11 11 11 11 14 17 9 9 7 6 11 11 16 12 9 9 9 8 6 11 11 16 8 7 7 13 7 7 2 12 12 8 15 11 11 13 12 17 10 10 14 6 12 12 12 7 7 3 17 8 9 9 13 12 16 11 11 9 6 10 9 12 5 6 6 6 13 9 12 14 11 11 11 10 6 10 9 12 9 10 9 12 5 3 12 8 12 3 7 6 6 11 9 12 4 2 9 9 9 5 10 9 11 9 9 9 15 2 10 9 9 9 14 3 6 6 12 11 8 6 6 21 3 10 9 9 9 15 2 10 11 8 6 20 8 6 6 21 4 Solving time:0.070 Filtering time:0.380 ID:3 (14,12,5) Graph |V|:91 Solution size:7244 Filtered solution size:6952 Parallel solution length:567 Parallelism:12.261 Step parallelism:24 6 19 14 2 7 5 17 17 17 22 20 13 21 14 3 7 12 24 23 20 12 3 7 11 10 15 14 15 7 14 11 15 22 14 7 13 11 15 22 16 11 6 11 11 12 10 17 26 23 19 19 19 19 22 13 13 7 21 19 16 15 15 15 21 15 13 6 22 17 12 12 10 10 5 12 12 14 16 17 26 19 19 19 19 19 22 13 13 12 25 24 15 14 14 14 12 20 13 4 13 10 14 16 24 15 19 19 19 21 14 14 14 12 11 11 14 14 14 14 6 11 11 11 15 5 13 11 11 11 16 10 13 11 11 8 16 16 16 14 14 14 12 11 11 14 6 16 14 10 11 9 16 18 16 16 16 16 16 17 9 15 4 10 7 11 11 11 9 20 21 11 11 11 11 11 18 9 13 11 11 20 11 11 11 11 6 17 7 14 14 14 14 15 11 11 11 9 19 6 10 10 14 11 15 9 9 11 10 16 10 18 11 11 20 11 11 11 11 16 16 12 10 14 12 14 20 14 14 17 11 9 9 9 6 12 16 13 13 13 10 25 17 6 12 16 13 13 13 10 25 18 18 18 18 18 18 18 18 16 25 9 9 9 10 6 12 16 14 14 14 14 18 21 6 14 16 14 14 14 14 18 11 22 14 14 14 14 20 11 9 12 16 14 14 14 14 17 16 8 13 8 6 12 16 14 14 14 14 10 11 12 16 13 13 13 13 15 12 16 12 12 12 13 13 13 6 15 12 11 11 15 10 13 13 13 13 9 11 9 10 15 16 13 13 13 9 18 14 15 14 19 11 9 8 6 12 16 13 13 13 10 19 10 4 12 11 9 7 11 27 5 13 17 6 14 13 5 13 11 18 6 14 13 5 15 9 9 9 9 6 24 5 15 9 8 6 12 13 13 6 16 12 10 13 13 7 15 21 11 12 5 20 6 13 11 12 5 3 10 10 10 13 10 10 10 3 11 11 11 11 11 14 17 9 9 7 6 11 11 16 12 9 9 9 8 6 11 11 16 8 7 7 13 7 7 2 12 12 8 15 11 11 13 12 17 10 10 14 6 12 12 12 7 7 3 17 8 9 9 13 12 16 11 11 9 6 10 9 12 5 6 6 6 13 9 12 14 11 11 11 10 6 10 9 12 9 10 9 12 5 3 12 8 12 3 7 6 6 11 9 12 4 2 9 9 9 5 10 9 11 9 9 9 15 2 10 9 9 9 14 3 6 6 12 11 8 6 6 21 3 10 9 9 9 15 2 10 11 8 6 20 8 6 6 21 4 Solving time:0.070 Filtering time:0.400 ID:4 (14,12,6) Graph |V|:91 Solution size:7457 Filtered solution size:7079 Parallel solution length:552 Parallelism:12.824 Step parallelism:24 6 19 14 2 7 5 17 17 17 22 20 16 21 14 6 9 12 23 22 20 14 6 7 11 10 11 14 15 9 13 12 22 2 13 6 13 19 23 2 15 9 16 11 11 5 29 20 25 24 22 19 21 12 9 19 24 15 14 14 14 20 17 14 6 20 28 14 14 11 11 3 12 10 13 20 10 13 9 9 19 6 12 10 9 19 14 18 2 14 17 16 11 19 6 13 11 11 8 16 12 10 14 6 11 11 11 8 16 16 11 21 16 23 22 11 8 18 22 12 12 11 11 11 4 15 16 14 14 14 12 10 16 6 21 19 19 19 18 14 14 14 12 21 9 16 24 17 16 16 16 17 16 8 11 7 7 14 11 9 20 16 20 13 16 17 21 16 11 14 8 6 27 12 16 12 16 15 15 11 12 9 12 12 19 19 19 19 11 11 11 11 18 18 19 11 19 11 11 11 11 6 17 13 9 6 13 9 11 10 31 18 15 10 12 9 11 9 23 21 19 19 19 19 19 19 14 18 18 18 18 18 18 8 25 10 9 9 10 6 15 8 27 14 14 14 14 13 11 11 10 19 13 13 13 9 14 18 17 11 18 16 16 11 15 12 12 12 12 15 14 14 14 14 18 11 15 11 15 14 14 14 18 11 13 11 11 21 20 14 14 14 14 1 10 21 16 13 13 13 13 11 25 13 13 13 29 18 11 13 13 13 13 9 15 12 10 23 12 12 8 17 10 15 12 12 12 12 14 12 12 12 12 15 20 13 13 9 9 6 12 16 12 12 12 6 15 18 12 7 6 12 16 12 12 12 14 19 14 13 9 6 23 12 15 6 5 12 17 7 12 15 10 26 16 5 19 13 16 19 18 13 13 10 15 17 12 14 10 8 6 12 16 5 20 19 9 14 4 10 20 24 13 18 12 13 10 17 9 9 10 6 10 11 10 23 19 10 11 20 13 12 12 12 12 15 13 12 12 12 12 12 16 8 10 14 7 12 12 12 9 14 10 10 13 13 17 14 10 10 5 13 11 16 14 9 9 9 16 2 6 11 9 12 12 5 10 9 9 9 9 17 12 11 11 9 6 10 9 12 5 10 9 9 15 2 10 9 12 4 2 9 9 9 9 6 13 11 11 11 11 15 10 9 9 9 16 11 4 6 11 11 3 10 12 2 1 11 11 8 11 11 3 6 6 6 21 3 1 11 11 11 9 11 11 11 4 6 6 6 21 3 10 9 9 13 3 10 9 9 13 4 Solving time:0.080 Filtering time:0.430 ID:5 (14,12,7) Graph |V|:91 Solution size:7314 Filtered solution size:6827 Parallel solution length:550 Parallelism:12.413 Step parallelism:28 8 19 14 2 7 5 17 17 17 19 17 17 21 14 6 9 12 23 19 14 13 3 7 11 10 13 10 15 7 14 11 15 20 14 7 13 11 23 1 16 11 6 15 11 15 10 1 26 24 22 19 19 19 21 12 9 19 33 15 14 14 17 16 13 6 31 14 12 10 10 3 12 12 14 18 7 12 20 10 22 19 16 15 15 15 15 15 27 26 17 15 21 31 11 10 10 13 11 19 17 11 8 16 14 9 13 11 10 20 12 24 17 16 15 9 13 16 11 11 11 14 11 11 11 5 16 22 14 14 12 10 6 14 20 20 19 19 19 14 14 14 12 10 10 6 11 11 9 17 15 16 13 9 13 9 14 15 11 10 10 11 10 12 10 10 14 10 11 18 7 16 10 15 16 12 11 12 21 16 18 11 10 10 14 25 22 12 11 15 7 8 14 11 11 16 9 9 7 17 17 24 27 19 19 19 19 19 14 18 18 18 18 18 18 8 25 11 9 9 10 6 11 5 26 14 14 14 10 25 5 25 13 13 13 10 12 10 13 25 12 12 6 18 19 10 14 16 12 12 9 9 18 20 14 11 9 17 16 10 13 13 13 17 27 15 17 14 13 13 9 11 19 11 11 10 18 12 12 9 14 5 4 3 12 12 12 15 11 24 17 21 12 12 18 12 12 11 9 6 12 16 11 9 9 17 26 16 13 12 12 10 10 13 18 13 12 10 10 25 15 15 10 12 12 12 11 11 4 17 12 9 9 6 12 11 22 12 6 17 5 12 7 14 12 11 24 10 20 5 14 10 9 11 5 10 13 12 13 2 10 20 25 13 11 11 11 11 15 25 9 7 15 16 5 16 12 12 12 11 8 10 15 9 9 7 6 10 11 13 14 10 17 19 18 20 11 10 23 19 10 11 13 20 5 16 12 7 10 6 15 12 12 7 10 10 14 6 12 12 12 7 14 10 16 8 14 12 12 7 14 15 7 13 13 11 6 7 9 9 13 9 6 11 9 12 5 10 12 3 10 9 9 15 6 10 9 12 5 3 12 12 9 12 12 4 7 6 6 11 9 12 14 11 11 9 6 10 9 12 5 2 7 6 6 11 11 10 9 9 9 6 8 6 20 3 10 9 9 14 2 1 11 11 11 11 10 11 11 11 11 5 6 6 6 21 3 10 9 9 14 2 1 11 11 11 9 11 11 11 4 6 6 6 21 3 6 11 11 3 10 9 9 9 14 3 10 9 12 4 Solving time:0.080 Filtering time:0.360 ID:6 (14,12,8) Graph |V|:91 Solution size:6793 Filtered solution size:6355 Parallel solution length:511 Parallelism:12.436 Step parallelism:27 8 19 14 4 8 5 17 17 17 19 18 18 13 13 10 9 12 23 21 14 9 3 7 11 10 13 23 15 6 11 12 24 1 14 7 6 14 11 23 1 16 12 6 15 11 15 11 1 25 23 21 18 18 20 28 11 6 31 19 14 14 15 15 10 16 29 13 10 10 3 11 11 14 16 23 11 23 10 10 12 20 11 10 22 16 5 13 9 11 17 24 21 22 25 13 9 11 11 20 13 12 12 14 14 11 11 13 11 11 8 15 8 8 5 10 10 10 7 17 26 19 19 18 14 14 14 12 11 22 11 17 17 16 16 16 17 8 8 16 14 14 14 14 14 11 11 11 9 20 16 16 18 20 15 21 12 16 11 13 6 14 25 12 1 10 18 14 17 12 11 11 8 17 17 13 11 11 13 11 11 11 11 11 16 12 11 11 19 25 20 19 19 19 19 9 9 15 10 15 10 12 26 18 10 16 11 15 9 9 11 9 24 27 15 6 15 8 26 12 12 16 13 13 11 6 22 11 11 5 18 8 17 14 12 12 14 11 11 11 6 19 18 8 17 26 13 13 9 9 10 6 12 16 12 12 12 6 17 14 15 7 6 12 16 12 12 9 21 10 18 5 16 14 18 17 16 18 20 12 12 11 25 17 23 13 15 16 13 12 12 9 14 13 14 14 14 10 17 16 12 12 12 13 12 18 20 12 12 12 6 14 18 13 9 9 9 6 12 16 12 12 12 6 9 8 18 14 16 9 12 4 11 18 17 14 11 8 7 16 8 3 12 12 12 14 14 13 12 12 14 14 12 12 21 5 16 9 9 8 6 11 11 16 11 11 15 4 10 7 12 10 10 14 5 9 27 8 14 12 12 7 2 12 12 12 9 8 10 14 7 12 12 12 9 14 10 10 13 13 17 14 10 10 5 13 11 16 7 9 9 9 14 15 11 8 6 10 9 12 5 10 9 9 9 16 2 11 11 11 13 9 9 12 5 11 11 11 13 9 9 12 15 11 8 6 10 9 12 5 10 9 14 2 2 9 9 4 13 11 11 10 6 10 11 13 3 1 11 11 11 11 11 11 12 11 11 11 11 11 11 7 6 6 6 21 8 6 20 8 6 20 3 10 11 3 10 9 9 14 2 10 9 9 14 2 10 9 9 14 3 Solving time:0.070 Filtering time:0.310 ID:7 (14,12,9) Graph |V|:91 Solution size:7309 Filtered solution size:6671 Parallel solution length:553 Parallelism:12.063 Step parallelism:26 9 18 14 7 8 5 17 17 17 19 23 18 13 13 3 15 13 22 21 14 4 1 7 11 10 13 23 15 6 11 12 23 1 14 7 7 14 11 22 1 16 12 7 15 11 6 10 1 24 22 20 17 17 20 28 16 6 31 19 14 14 15 15 10 16 29 13 10 10 3 11 11 14 16 19 11 23 10 10 12 20 11 10 22 16 5 13 9 9 4 13 18 17 14 12 18 15 12 12 12 15 11 11 11 20 13 12 12 14 14 11 17 11 11 11 12 17 5 11 18 10 9 4 10 18 18 18 26 14 14 14 12 21 7 13 17 17 16 16 16 14 10 8 17 15 14 14 13 10 10 10 17 10 17 16 14 14 14 14 17 15 10 13 17 16 21 25 9 9 9 15 10 8 17 16 14 14 14 14 17 10 10 10 10 18 8 16 16 14 14 14 14 17 9 7 33 22 22 27 11 9 9 13 9 12 9 14 25 18 12 16 11 15 9 9 8 17 23 18 11 11 11 12 15 6 15 8 26 12 12 12 10 18 15 15 12 12 15 11 11 11 18 10 12 18 19 11 8 16 28 30 14 13 13 10 10 27 13 13 13 11 21 14 12 12 20 30 18 15 12 12 8 10 18 10 16 11 11 11 12 11 12 12 12 11 8 16 18 13 12 8 6 12 16 11 11 11 6 14 13 13 13 9 16 17 20 12 12 12 12 12 10 19 19 11 11 5 11 5 5 15 5 16 14 5 8 15 16 11 8 12 9 8 17 8 11 19 7 7 17 11 10 19 21 5 18 9 14 12 10 5 13 13 11 7 6 12 13 2 10 20 24 4 8 6 15 16 6 3 6 8 7 16 12 20 9 8 17 10 9 9 8 6 10 10 9 7 12 11 12 13 9 16 11 24 14 11 11 15 1 7 7 6 6 16 4 6 6 6 16 1 7 10 13 14 6 11 11 9 18 12 17 12 11 11 11 11 12 10 15 13 16 9 9 9 9 17 3 2 11 3 7 11 10 6 7 6 6 11 9 11 9 6 11 9 11 4 10 9 9 9 8 15 9 6 9 8 12 12 6 7 11 13 6 6 11 9 14 13 10 10 9 8 10 9 14 10 6 10 10 14 7 7 13 11 11 11 11 11 11 14 12 10 10 10 10 10 9 8 6 6 6 20 3 3 10 10 10 7 11 10 10 10 9 7 6 6 6 20 3 11 9 9 12 3 7 11 10 8 7 19 3 7 11 10 3 11 10 2 10 3 4 Solving time:0.080 Filtering time:0.390 ID:8 (14,12,10) Graph |V|:91 Solution size:6720 Filtered solution size:5969 Parallel solution length:490 Parallelism:12.182 Step parallelism:27 9 17 18 2 5 5 16 16 16 18 21 18 13 13 3 15 13 22 25 16 16 1 7 11 10 13 10 15 6 11 12 23 8 21 7 13 11 10 1 16 12 7 10 5 1 10 2 24 22 21 20 17 19 22 20 13 27 11 13 12 12 6 28 14 14 10 10 10 12 12 15 5 11 15 15 12 21 14 12 12 15 15 17 15 18 7 21 20 20 25 12 21 16 12 11 9 15 15 12 4 13 13 12 11 11 13 12 12 12 12 14 16 16 13 15 14 13 12 7 8 13 28 18 18 17 14 14 14 12 12 8 19 25 25 24 20 18 15 16 12 9 7 15 18 9 9 9 9 11 21 19 15 15 13 15 17 21 15 19 12 15 7 8 16 10 10 9 9 12 22 21 20 14 14 14 12 9 8 8 20 17 10 12 20 20 11 17 11 10 15 14 17 15 7 19 12 17 6 13 13 12 14 11 16 12 6 22 14 11 11 9 7 17 18 14 16 8 8 12 17 13 15 13 16 8 8 6 15 13 16 15 15 12 10 10 10 8 20 18 11 9 21 7 10 8 8 29 16 14 8 11 12 17 22 11 10 10 17 11 13 20 19 10 15 21 15 13 11 8 13 12 21 10 19 20 10 10 10 11 20 13 9 15 6 16 15 25 9 6 17 20 11 9 7 16 13 10 10 10 10 7 20 15 3 9 8 5 8 9 14 14 23 16 11 14 18 15 9 11 9 8 6 12 8 8 8 7 13 11 11 11 11 11 22 10 19 17 4 10 15 7 16 9 9 15 11 11 11 13 7 7 6 15 3 6 6 16 1 7 17 12 7 6 11 11 11 7 13 18 7 13 11 6 19 22 6 13 13 14 12 13 11 9 9 9 9 12 12 11 11 11 13 7 11 11 11 11 11 3 6 5 5 13 17 11 11 11 11 12 6 11 11 11 7 6 7 6 6 11 9 11 5 4 11 6 9 11 11 8 7 6 6 11 9 11 5 10 12 3 6 11 9 5 13 10 14 12 10 9 16 12 7 11 10 8 6 6 6 6 20 3 7 11 10 8 7 19 3 11 10 3 11 9 12 2 9 9 4 11 4 7 10 13 6 6 14 21 5 1 Solving time:0.070 Filtering time:0.300 ID:9 (14,12,11) Graph |V|:91 Solution size:6647 Filtered solution size:5913 Parallel solution length:481 Parallelism:12.293 Step parallelism:28 18 19 8 9 5 16 16 16 18 21 18 13 13 3 15 12 21 20 8 3 2 7 10 11 9 8 15 13 18 14 22 4 15 10 9 9 15 10 6 14 5 1 10 2 25 23 23 21 18 18 20 12 20 18 29 14 14 16 15 14 6 29 14 11 10 3 11 11 14 15 12 14 15 10 18 26 16 16 16 15 15 15 15 19 16 16 13 28 11 15 15 10 16 24 11 11 8 17 20 11 17 11 11 21 17 18 16 15 14 12 15 19 17 15 10 6 14 14 18 17 12 10 8 13 11 19 19 19 17 13 13 7 13 10 8 7 12 16 9 21 19 14 11 19 9 9 9 9 24 11 17 10 13 16 12 6 12 10 10 9 9 19 9 13 6 10 9 11 10 16 12 10 10 29 27 12 8 8 13 12 26 18 13 11 15 25 12 12 17 5 15 15 14 18 19 19 15 13 13 13 7 11 22 13 12 12 9 20 6 8 12 18 12 11 11 18 18 14 16 16 13 13 13 13 21 6 26 14 13 13 13 11 17 22 17 18 11 5 11 25 11 11 12 18 12 12 12 6 12 16 11 9 9 16 26 19 16 12 10 23 13 13 16 12 11 9 9 20 20 15 15 14 7 13 7 7 19 15 15 12 7 12 16 12 22 8 13 11 11 14 8 7 13 12 14 10 12 9 9 7 15 13 3 3 3 10 10 10 13 17 16 18 10 10 6 13 14 11 11 5 14 14 13 14 12 12 11 11 13 12 12 11 8 16 10 14 6 10 10 10 10 8 8 17 11 8 12 14 8 7 14 15 6 5 4 12 12 7 6 11 12 14 7 12 12 12 9 9 14 11 11 14 11 9 14 5 11 11 11 11 11 11 14 11 11 11 11 11 9 10 12 6 11 9 11 4 3 10 12 4 7 6 6 11 9 5 4 12 10 9 4 13 11 11 11 13 8 8 12 12 6 11 8 8 15 12 5 8 11 13 6 6 11 9 5 7 5 12 12 11 11 11 14 9 8 8 15 12 10 9 9 18 4 11 11 10 10 4 10 10 14 2 6 11 14 13 3 7 10 11 11 10 9 9 14 10 10 9 4 4 Solving time:0.070 Filtering time:0.300 ID:10 (14,12,12) Graph |V|:91 Solution size:6778 Filtered solution size:5911 Parallel solution length:482 Parallelism:12.263 Step parallelism:25 17 17 8 8 5 16 16 16 18 21 18 13 13 3 15 12 21 24 10 3 2 7 10 12 10 9 15 13 21 13 23 13 27 11 8 14 12 13 12 30 13 2 24 22 22 20 17 22 21 14 11 33 14 14 10 5 25 11 10 19 5 13 15 5 11 15 10 10 19 12 12 12 15 16 21 14 14 12 20 2 9 14 13 18 20 19 20 20 26 10 18 13 13 12 3 15 15 4 13 12 12 11 11 13 12 12 12 12 14 16 16 13 15 15 13 16 8 10 17 20 18 18 24 11 8 13 5 14 9 16 15 3 16 15 15 15 15 20 16 7 6 13 11 9 25 29 17 10 9 1 10 7 15 18 11 10 10 9 16 17 16 15 15 14 20 9 17 18 17 17 8 9 16 17 11 12 4 9 19 13 12 20 18 10 15 11 19 18 6 15 14 19 10 15 11 17 12 9 28 14 13 12 12 12 8 13 20 25 13 13 13 13 13 24 14 13 13 13 13 13 21 12 11 11 9 9 22 14 18 17 12 11 11 9 10 6 15 5 11 13 14 13 9 8 13 16 13 10 10 15 11 15 10 8 14 16 9 9 9 11 14 17 9 15 8 6 15 16 11 11 11 11 7 19 8 12 17 11 11 11 11 6 12 16 7 15 6 15 23 9 9 9 15 10 8 10 15 9 9 9 9 18 17 12 11 11 8 12 16 9 8 14 11 6 9 6 9 9 9 9 9 7 15 8 4 4 9 9 9 9 17 10 9 10 16 12 13 12 12 12 20 6 4 13 11 18 10 17 11 16 14 13 11 6 13 18 13 11 3 11 10 11 11 10 14 15 19 11 15 13 9 17 7 10 5 8 13 9 9 9 7 9 9 15 11 15 17 17 19 9 13 11 8 12 16 6 10 10 9 18 12 11 11 6 10 12 8 11 10 14 4 8 2 11 16 7 14 13 10 10 16 8 8 12 12 10 9 9 8 8 6 6 12 8 12 4 8 6 11 8 13 13 12 10 9 8 9 3 12 11 8 5 8 8 7 5 4 7 7 7 13 13 8 8 15 9 8 7 14 9 8 8 14 9 15 10 12 3 9 12 4 Solving time:0.070 Filtering time:0.270 ID:11 (14,12,13) Graph |V|:91 Solution size:6778 Filtered solution size:5900 Parallel solution length:482 Parallelism:12.241 Step parallelism:24 16 17 8 8 5 16 16 16 18 21 18 18 17 6 15 14 19 12 7 5 2 8 12 9 8 14 10 14 14 13 23 13 27 11 8 14 12 13 12 30 13 2 24 22 22 20 17 22 21 14 11 33 14 14 10 5 25 11 10 19 5 13 15 5 11 15 10 10 19 12 12 12 15 16 21 14 14 12 20 2 9 14 13 18 20 19 20 20 26 10 18 13 13 12 3 15 15 4 13 12 12 11 11 13 12 12 12 12 14 16 16 13 15 15 13 16 8 10 17 20 18 18 24 11 8 13 5 14 9 16 15 3 16 15 15 15 15 20 16 7 6 13 11 9 25 29 17 10 9 1 10 7 15 18 11 10 10 9 16 17 16 15 15 14 20 9 17 18 17 17 8 9 16 17 11 12 4 9 19 13 12 20 18 10 15 11 19 18 6 15 14 19 10 15 11 17 12 9 28 14 13 12 12 12 8 13 20 25 13 13 13 13 13 24 14 13 13 13 13 13 21 12 11 11 9 9 22 14 18 17 12 11 11 9 10 6 15 5 11 13 14 13 9 8 13 16 13 10 10 15 11 15 10 8 14 16 9 9 9 11 14 17 9 15 8 6 15 16 11 11 11 11 7 19 8 12 17 11 11 11 11 6 12 16 7 15 6 15 23 9 9 9 15 10 8 10 15 9 9 9 9 18 17 12 11 11 8 12 16 9 8 14 11 6 9 6 9 9 9 9 9 7 15 8 4 4 9 9 9 9 17 10 9 10 16 12 13 12 12 12 20 6 4 13 11 18 10 17 11 16 14 13 11 6 13 18 13 11 3 11 10 11 11 10 14 15 19 11 15 13 9 17 7 10 5 8 13 9 9 9 7 9 9 15 11 15 17 17 19 9 13 11 8 12 16 6 10 10 9 18 12 11 11 6 10 12 8 11 10 14 4 8 2 11 16 7 14 13 10 10 16 8 8 12 12 10 9 9 8 8 6 6 12 8 12 4 8 6 11 8 13 13 12 10 9 8 9 3 12 11 8 5 8 8 7 5 4 7 7 7 13 13 8 8 15 9 8 7 14 9 8 8 14 9 15 10 12 3 9 12 4 Solving time:0.070 Filtering time:0.240 ID:12 (14,12,14) Graph |V|:91 Solution size:6441 Filtered solution size:5595 Parallel solution length:432 Parallelism:12.951 Step parallelism:25 16 17 12 9 16 16 16 16 18 17 17 14 14 18 16 12 8 3 2 2 8 12 9 8 14 10 14 14 13 23 13 27 11 8 14 12 13 12 30 13 2 24 22 22 20 17 22 21 14 11 33 14 14 10 5 25 11 10 19 5 13 15 5 11 15 10 10 19 12 12 12 15 16 21 14 14 12 21 1 9 11 16 18 14 16 12 10 10 15 12 10 12 12 11 14 14 16 12 14 13 11 11 10 14 14 13 13 13 14 16 10 7 17 21 14 15 7 14 11 20 18 18 30 11 8 13 5 27 9 12 14 4 15 14 14 14 20 19 9 17 15 11 12 11 11 11 11 28 34 12 17 14 18 11 16 13 10 10 10 10 17 18 14 13 13 23 19 16 11 17 16 15 15 13 16 15 17 9 17 25 20 29 21 9 8 14 8 15 24 27 15 14 5 12 11 11 17 15 15 14 26 18 13 14 17 11 11 11 16 19 17 19 10 10 10 21 9 17 18 9 16 16 20 10 19 15 10 15 12 12 12 8 8 19 23 14 13 13 13 13 13 16 20 11 11 8 24 15 11 8 8 11 17 25 14 13 16 13 13 13 14 17 10 10 16 14 29 14 10 17 14 14 22 16 13 12 12 9 14 12 12 19 13 11 15 9 11 15 13 8 20 16 15 14 17 10 11 10 13 17 6 14 9 12 17 9 8 8 12 9 7 6 10 10 10 10 12 11 11 12 9 9 13 6 11 8 12 11 11 8 15 17 10 24 22 17 11 11 13 10 14 11 11 18 13 9 10 14 12 11 11 15 18 12 13 17 14 10 9 9 11 5 13 10 7 12 10 8 7 14 11 8 7 3 12 12 8 5 13 11 10 9 9 9 10 9 6 11 3 3 6 10 10 4 9 6 6 13 7 6 12 10 9 9 9 9 11 6 3 9 9 9 9 11 5 6 10 18 10 10 11 9 12 11 5 3 10 8 8 5 3 Solving time:0.070 Filtering time:0.190 ID:13 (14,12,15) Graph |V|:91 Solution size:6580 Filtered solution size:5682 Parallel solution length:451 Parallelism:12.599 Step parallelism:27 16 14 12 8 16 16 16 16 18 17 17 13 18 18 15 13 8 4 4 2 8 12 9 8 14 12 14 17 15 21 12 25 9 14 14 13 12 30 13 2 24 22 22 20 17 22 21 14 11 32 14 14 10 5 24 9 18 5 13 18 5 11 15 10 10 19 12 12 12 15 16 21 14 14 12 21 6 12 6 9 8 17 20 15 10 15 17 12 12 11 13 15 10 13 11 11 11 13 13 13 12 12 14 16 16 12 15 15 14 16 8 14 26 10 18 18 25 11 8 13 12 10 9 12 14 4 15 14 14 14 14 20 15 8 10 9 19 9 9 11 10 28 26 23 13 10 15 9 14 5 14 18 18 9 9 8 15 14 16 14 14 16 16 18 7 16 15 15 13 19 15 17 9 9 17 10 10 19 24 27 21 14 9 9 13 13 23 22 19 17 11 11 11 15 15 15 15 13 8 8 4 4 14 14 14 27 15 14 19 4 12 12 11 11 11 16 16 11 11 11 16 10 10 11 15 16 12 12 12 12 12 24 21 23 21 11 11 11 16 6 7 10 17 5 11 10 9 14 11 11 7 9 18 18 11 10 10 8 14 17 9 11 9 12 16 12 10 5 13 12 12 12 9 23 20 13 18 10 10 15 15 7 5 12 12 11 22 17 15 14 23 15 12 12 12 18 9 6 12 12 12 20 8 8 13 12 10 21 16 21 12 10 9 11 8 5 21 11 10 13 11 3 6 12 16 8 2 12 13 10 10 26 1 7 13 6 8 7 12 13 14 11 22 15 16 23 6 15 19 10 13 14 14 15 6 5 4 12 12 7 10 15 12 12 15 13 7 11 15 16 12 9 6 11 11 11 13 12 6 10 8 12 15 16 11 12 9 9 10 10 13 11 11 9 14 10 8 8 6 9 8 18 8 11 7 17 16 19 9 8 9 9 4 10 10 10 10 5 3 10 8 12 4 3 10 10 6 10 10 9 8 5 9 6 6 19 8 7 7 19 8 7 7 19 4 3 11 9 4 3 Solving time:0.070 Filtering time:0.240 ID:14 (14,12,16) Graph |V|:91 Solution size:6026 Filtered solution size:5096 Parallel solution length:406 Parallelism:12.552 Step parallelism:27 16 14 12 8 16 16 16 16 18 17 17 13 18 18 15 13 8 4 4 2 8 12 9 8 14 12 14 17 15 21 12 27 9 14 14 13 12 30 13 2 24 22 22 20 17 22 21 14 11 32 17 14 11 5 24 9 18 5 13 18 5 11 15 10 10 19 12 12 12 15 16 21 14 14 12 21 7 9 6 9 8 17 20 15 11 15 17 12 12 11 13 15 10 13 12 11 11 12 12 12 11 13 15 15 17 14 14 11 16 8 14 26 10 18 18 25 11 8 13 12 10 9 12 14 4 15 14 14 14 14 20 15 8 10 9 19 9 9 11 10 28 26 23 13 10 15 9 14 5 14 18 18 9 9 8 15 14 16 14 14 16 7 23 19 27 12 8 5 1 9 21 15 9 21 19 26 12 11 8 4 14 22 25 15 14 7 13 11 8 23 16 9 11 11 8 17 15 17 12 11 23 15 12 16 16 19 22 12 16 13 13 26 24 10 14 13 12 22 21 12 11 22 26 10 10 10 10 15 21 19 10 10 8 16 12 12 12 10 13 24 18 10 16 12 5 2 12 12 12 18 16 14 13 12 11 11 10 14 11 10 15 22 11 12 17 17 15 17 15 13 12 13 13 8 17 23 14 9 7 23 7 12 17 9 21 18 17 7 11 13 20 17 12 8 12 5 1 6 5 10 9 6 13 9 16 10 15 7 2 6 2 9 8 8 8 8 11 5 8 8 8 12 16 13 6 14 11 13 15 9 4 8 7 12 7 14 6 10 6 10 6 7 6 17 16 4 9 7 7 6 9 7 9 14 12 9 16 5 12 12 10 9 9 11 7 4 8 8 8 8 12 5 9 9 17 10 10 10 10 12 8 8 10 5 4 4 8 8 8 19 9 4 9 9 8 9 5 4 11 11 10 8 8 4 3 Solving time:0.070 Filtering time:0.230 ID:15 (14,12,17) Graph |V|:91 Solution size:6256 Filtered solution size:5220 Parallel solution length:437 Parallelism:11.945 Step parallelism:32 16 14 12 9 15 15 19 18 17 17 13 18 17 15 13 8 4 4 2 8 12 9 8 14 12 14 17 14 21 12 26 9 14 14 14 12 31 10 2 24 22 22 21 17 22 20 14 11 32 17 14 12 5 23 9 18 5 14 18 5 11 15 10 10 17 12 15 13 26 15 14 14 12 19 12 15 11 20 17 19 11 17 21 13 15 12 15 13 13 11 10 13 13 12 12 15 15 15 17 14 16 11 14 20 10 17 29 12 16 12 5 12 11 9 14 3 15 14 14 14 13 17 18 15 6 14 19 15 7 23 9 17 29 21 11 7 1 10 17 15 10 9 9 10 18 18 14 15 11 7 9 6 15 14 14 12 12 10 16 21 13 13 13 22 14 14 29 26 8 16 28 3 12 15 14 17 15 17 13 21 21 11 12 11 8 16 15 8 11 11 11 28 23 9 11 16 14 8 6 10 13 9 15 7 17 7 16 17 14 14 4 1 12 9 12 10 10 13 7 12 8 10 10 9 9 11 10 10 13 11 10 10 15 20 20 19 18 18 8 11 10 10 13 13 13 13 15 8 19 20 24 9 15 16 3 13 14 13 19 5 8 17 20 10 13 19 11 7 6 6 5 3 3 3 14 17 12 12 12 10 5 11 13 15 12 9 6 8 5 4 4 10 13 8 6 13 10 10 10 8 8 11 13 10 8 8 17 18 21 10 12 17 15 9 10 15 16 13 8 17 9 17 11 9 6 9 8 5 5 13 10 5 15 9 9 8 14 16 8 6 12 9 6 11 8 7 7 7 11 9 8 7 11 17 7 7 7 5 14 11 9 8 8 8 12 11 9 9 9 9 7 4 7 6 6 18 3 3 9 9 8 10 5 9 9 8 7 6 8 6 6 18 3 3 9 9 9 9 7 10 6 9 9 9 9 9 9 7 8 6 6 11 9 7 5 9 3 8 12 6 5 9 9 17 10 3 9 9 7 18 9 8 10 5 3 3 Solving time:0.070 Filtering time:0.250 ID:16 (14,12,18) Graph |V|:91 Solution size:6256 Filtered solution size:5196 Parallel solution length:435 Parallelism:11.945 Step parallelism:34 16 14 12 9 15 15 19 15 17 16 12 17 18 15 13 8 4 4 2 8 12 9 8 14 12 14 17 19 14 15 26 9 12 13 14 12 27 9 4 24 22 22 21 17 22 21 14 11 32 13 14 11 7 25 9 17 9 14 13 14 14 9 17 8 14 11 24 21 15 14 13 19 12 16 11 20 17 19 11 17 21 13 15 12 15 13 13 11 10 13 13 12 12 15 15 15 17 14 16 11 14 20 10 17 29 12 16 12 5 12 11 9 14 3 15 14 14 14 13 17 18 15 6 14 19 15 7 23 9 17 29 21 11 7 1 10 17 15 10 9 9 10 18 18 14 15 11 7 9 6 15 14 14 12 12 10 16 21 13 13 13 22 14 14 29 26 8 16 28 3 12 15 14 17 15 17 13 21 21 11 12 11 8 16 15 8 11 11 11 28 23 9 11 16 14 8 6 10 13 9 15 7 17 7 16 17 14 14 4 1 12 9 12 10 10 13 7 12 8 10 10 9 9 11 10 10 13 11 10 10 15 20 20 19 18 18 8 11 10 10 13 13 13 13 15 8 19 20 24 9 15 16 3 13 14 13 19 5 8 17 20 10 13 19 11 7 6 6 5 3 3 3 14 17 12 12 12 10 5 11 13 15 12 9 6 8 5 4 4 10 13 8 6 13 10 10 10 8 8 11 13 10 8 8 17 18 21 10 12 17 15 9 10 15 16 13 8 17 9 17 11 9 6 9 8 5 5 13 10 5 15 9 9 8 14 16 8 6 12 9 6 11 8 7 7 7 11 9 8 7 11 17 7 7 7 5 14 11 9 8 8 8 12 11 9 9 9 9 7 4 7 6 6 18 3 3 9 9 8 10 5 9 9 8 7 6 8 6 6 18 3 3 9 9 9 9 7 10 6 9 9 9 9 9 9 7 8 6 6 11 9 7 5 9 3 8 12 6 5 9 9 17 10 3 9 9 7 18 9 8 10 5 3 3 Solving time:0.060 Filtering time:0.190 ID:17 (14,12,19) Graph |V|:91 Solution size:6684 Filtered solution size:5456 Parallel solution length:443 Parallelism:12.316 Step parallelism:33 21 14 12 9 14 19 20 19 15 11 16 22 27 13 8 5 4 2 8 12 9 8 14 12 14 11 21 14 11 22 12 12 13 28 9 3 23 21 21 20 21 20 15 15 32 14 15 10 6 25 9 17 8 10 14 5 14 10 10 14 13 11 21 21 12 20 22 21 17 15 14 16 21 17 11 11 15 20 20 17 20 16 13 13 11 11 10 9 13 13 13 12 15 14 15 15 15 15 12 19 21 16 27 14 9 14 6 27 10 12 14 4 15 14 14 14 14 20 20 21 15 15 15 14 19 13 13 16 10 15 16 12 16 22 20 17 12 14 12 21 16 13 26 9 19 17 15 15 14 14 5 4 21 16 18 15 19 10 10 10 6 17 17 12 11 10 14 13 12 11 11 18 11 16 12 11 11 11 12 12 16 15 9 19 11 14 11 20 12 19 9 15 16 13 12 12 12 10 12 6 14 14 11 11 7 18 12 11 14 10 10 10 15 16 10 10 11 11 10 7 17 17 15 9 17 12 9 19 13 8 5 16 12 11 14 14 14 8 9 8 8 12 19 17 15 15 14 17 10 16 17 10 6 6 8 14 24 17 11 7 9 15 14 9 6 7 10 10 9 15 21 19 8 6 21 6 6 15 11 11 11 11 10 8 16 16 7 5 10 9 9 17 10 10 14 8 2 1 17 10 10 9 12 7 11 8 1 6 6 10 13 5 13 10 10 10 8 8 16 12 13 8 5 12 11 9 14 2 11 16 18 11 8 11 15 11 11 10 13 13 16 10 14 10 10 10 10 12 10 10 8 6 6 6 16 12 11 10 10 9 11 14 17 6 11 10 9 15 11 11 10 9 7 7 14 10 9 9 16 12 15 5 17 6 11 9 9 8 8 12 7 7 12 9 12 5 10 12 11 9 9 9 9 7 4 7 6 6 18 3 10 10 9 8 7 18 9 9 9 6 11 7 9 9 9 9 11 5 6 11 6 6 12 18 9 11 10 6 7 4 3 3 Solving time:0.070 Filtering time:0.290 ID:18 (14,12,20) Graph |V|:91 Solution size:6801 Filtered solution size:5496 Parallel solution length:450 Parallelism:12.213 Step parallelism:32 20 14 11 9 14 19 20 19 15 11 16 22 27 13 8 5 4 2 11 12 9 9 13 11 13 8 20 13 10 20 11 11 26 14 14 23 21 21 20 21 22 14 19 22 14 24 19 23 13 16 10 14 18 12 7 17 18 21 12 16 15 18 17 11 25 11 10 10 12 14 14 11 21 15 9 18 6 14 16 17 14 11 10 10 10 13 13 13 12 17 19 20 21 10 14 18 13 10 18 26 22 9 14 6 5 14 10 8 13 4 16 15 15 15 15 21 10 16 15 15 19 14 7 15 15 22 16 25 21 10 14 12 11 5 8 23 18 11 9 23 2 4 3 16 12 14 7 7 11 2 2 17 12 12 12 20 6 17 18 21 19 13 12 11 10 13 11 21 11 12 16 17 13 16 12 12 8 17 15 24 11 14 12 11 18 10 19 8 20 12 10 10 10 17 14 13 12 12 16 18 15 17 13 23 11 11 21 7 13 11 13 11 11 20 12 18 8 13 15 9 9 7 14 18 16 14 9 15 14 17 15 10 13 9 15 15 10 8 8 12 7 7 10 13 11 19 21 11 11 20 18 11 17 18 8 21 12 10 7 18 10 14 14 12 7 5 5 11 13 13 11 11 16 16 19 24 9 18 16 8 13 17 7 14 7 6 3 3 8 9 9 9 16 14 8 18 10 7 4 13 9 13 13 17 3 12 5 16 13 17 23 7 16 10 12 15 11 11 12 9 10 13 8 15 14 17 9 13 10 3 11 14 10 18 11 11 7 6 6 5 3 5 5 5 4 13 8 11 11 8 10 15 11 11 13 4 11 10 10 9 13 15 12 8 8 8 16 14 11 10 16 8 9 9 9 7 7 10 8 10 10 10 7 6 5 4 4 12 15 7 9 8 11 10 10 8 10 6 9 9 7 5 8 7 6 11 9 5 5 6 5 11 13 4 10 8 8 15 13 8 3 9 3 9 8 8 12 11 11 4 7 7 14 16 9 9 5 8 15 3 11 9 12 8 8 14 6 5 1 Solving time:0.070 Filtering time:0.310 ID:19 (14,12,21) Graph |V|:91 Solution size:6132 Filtered solution size:4856 Parallel solution length:409 Parallelism:11.873 Step parallelism:38 19 13 10 9 14 19 20 19 15 11 16 22 27 13 8 5 4 2 6 12 8 8 7 7 10 11 19 12 9 18 25 12 11 11 12 23 21 21 20 21 22 14 16 25 17 23 18 18 9 13 7 14 18 14 9 19 20 23 15 13 8 12 11 19 19 10 18 12 12 12 14 11 9 7 17 6 16 13 13 13 11 13 10 14 14 14 11 10 20 18 12 17 14 13 13 11 9 32 20 21 9 8 15 12 13 7 9 14 4 15 14 14 14 15 10 18 11 10 15 10 17 7 7 14 18 18 11 9 5 4 12 15 10 7 7 13 16 17 17 11 8 12 17 20 19 18 11 11 9 9 15 12 9 9 8 7 8 10 10 9 9 19 9 9 14 21 15 13 11 17 18 9 12 13 12 11 11 5 11 10 13 13 11 17 17 15 13 9 9 9 8 14 14 17 16 15 17 15 21 18 15 10 10 10 21 8 9 9 15 15 19 11 9 9 9 12 12 15 9 12 13 8 17 17 17 11 11 23 22 21 12 9 10 9 16 18 15 19 13 13 13 17 4 13 11 5 16 5 9 5 16 15 19 13 13 11 11 15 15 15 9 7 15 14 5 4 4 8 7 7 14 14 14 13 17 8 11 10 8 6 3 13 12 19 15 18 14 8 8 13 12 17 17 12 8 10 1 6 6 10 13 5 13 13 13 10 8 8 6 18 9 7 9 9 16 7 7 12 12 8 12 7 6 5 5 2 2 4 14 13 14 8 4 6 3 11 14 9 12 12 12 11 16 16 12 12 8 9 7 9 10 9 3 6 6 5 9 14 14 8 8 6 13 7 8 8 7 11 13 10 9 9 15 12 12 11 7 13 12 11 6 10 10 8 8 5 5 5 15 7 9 8 4 7 6 5 12 11 4 5 4 12 10 7 5 12 3 1 Solving time:0.070 Filtering time:0.180 ID:20 (14,12,22) Graph |V|:91 Solution size:6132 Filtered solution size:4830 Parallel solution length:406 Parallelism:11.897 Step parallelism:39 20 14 11 10 14 17 18 17 13 9 25 22 26 13 8 5 5 2 6 12 8 8 7 7 10 11 19 12 9 18 24 12 11 11 12 22 20 20 21 17 24 14 29 17 22 17 18 10 15 9 16 15 13 23 23 18 18 7 8 14 16 18 17 19 12 13 12 14 11 9 7 17 6 16 13 13 13 11 13 10 14 14 14 11 10 20 18 12 17 14 13 13 11 9 32 20 21 9 8 15 12 13 7 9 14 4 15 14 14 14 15 10 18 11 10 15 10 17 7 7 14 18 18 11 9 5 4 12 15 10 7 7 13 16 17 17 11 8 12 17 20 19 18 11 11 9 9 15 12 9 9 8 7 8 10 10 9 9 19 9 9 14 21 15 13 11 17 18 9 12 13 12 11 11 5 11 10 13 13 11 17 17 15 13 9 9 9 8 14 14 17 16 15 17 15 21 18 15 10 10 10 21 8 9 9 15 15 19 11 9 9 9 12 12 15 9 12 13 8 17 17 17 11 11 23 22 21 12 9 10 9 16 18 15 19 13 13 13 17 4 13 11 5 16 5 9 5 16 15 19 13 13 11 11 15 15 15 9 7 15 14 5 4 4 8 7 7 14 14 14 13 17 8 11 10 8 6 3 13 12 19 15 18 14 8 8 13 12 17 17 12 8 10 1 6 6 10 13 5 13 13 13 10 8 8 6 18 9 7 9 9 16 7 7 12 12 8 12 7 6 5 5 2 2 4 14 13 14 8 4 6 3 11 14 9 12 12 12 11 16 16 12 12 8 9 7 9 10 9 3 6 6 5 9 14 14 8 8 6 13 7 8 8 7 11 13 10 9 9 15 12 12 11 7 13 12 11 6 10 10 8 8 5 5 5 15 7 9 8 4 7 6 5 12 11 4 5 4 12 10 7 5 12 3 1 Solving time:0.070 Filtering time:0.210 ID:21 (14,12,23) Graph |V|:91 Solution size:7025 Filtered solution size:5515 Parallel solution length:445 Parallelism:12.393 Step parallelism:38 19 16 11 10 13 16 14 18 19 12 24 19 31 13 8 5 5 2 6 12 8 8 7 7 10 11 19 12 9 18 24 12 11 11 12 22 19 19 20 15 24 14 29 17 19 11 17 11 10 14 6 14 10 10 11 9 18 17 19 18 5 7 15 20 18 24 27 21 18 12 17 18 12 12 12 15 16 16 11 9 9 14 11 24 13 10 7 15 21 16 16 11 11 16 8 16 8 11 12 5 14 13 13 11 21 17 10 14 14 14 14 14 13 16 14 14 14 14 14 14 20 20 18 14 17 14 14 11 5 11 14 16 16 10 10 8 13 6 3 14 6 13 17 17 15 14 11 9 10 5 6 12 9 16 20 22 18 19 16 18 9 27 13 13 19 14 16 9 13 12 16 11 17 17 17 17 15 13 12 10 10 14 14 18 14 25 15 16 17 11 16 9 11 15 14 19 17 12 11 11 9 10 8 10 7 13 14 21 16 20 21 10 12 19 9 9 9 9 11 9 18 22 14 11 11 11 11 16 9 8 14 18 16 12 12 11 11 8 29 15 9 10 11 11 16 11 11 11 11 9 18 19 12 16 13 8 10 15 20 11 16 15 13 13 13 13 11 10 9 6 13 12 12 12 12 12 12 12 12 11 11 11 11 11 11 11 9 8 13 12 8 26 10 21 22 7 15 3 10 8 8 5 8 5 7 7 7 6 12 16 11 11 20 23 23 8 8 9 5 8 15 8 8 19 8 8 14 12 12 17 8 17 16 21 11 13 8 10 11 20 12 12 13 7 8 16 15 8 10 13 11 11 13 13 7 12 11 12 10 17 17 20 16 10 11 7 7 6 9 8 10 9 9 10 9 8 12 14 5 9 9 9 16 15 12 10 8 8 3 11 4 8 8 6 10 7 6 10 7 3 8 7 7 6 8 7 7 7 7 11 12 10 9 13 6 8 7 11 3 7 9 17 10 10 10 5 3 8 11 7 7 11 15 10 12 5 7 10 11 7 7 4 3 3 Solving time:0.070 Filtering time:0.310 ID:22 (14,12,24) Graph |V|:91 Solution size:6966 Filtered solution size:5344 Parallel solution length:459 Parallelism:11.643 Step parallelism:37 20 16 11 10 13 16 14 18 19 12 24 19 31 13 8 5 5 2 6 12 8 8 7 7 10 11 19 12 9 18 24 12 11 11 12 22 19 19 20 15 24 14 29 17 19 11 17 11 10 14 6 14 10 10 11 9 18 17 19 18 5 7 15 20 18 24 27 21 18 12 17 18 12 12 12 15 16 16 11 9 9 14 11 24 16 10 7 15 21 16 16 11 11 16 8 16 8 11 11 5 13 10 10 19 13 10 12 12 12 12 11 14 12 12 12 12 12 12 13 12 25 10 15 8 11 4 17 11 15 15 9 9 7 15 7 7 21 14 18 18 16 13 11 9 14 7 7 20 6 13 23 19 17 19 14 15 10 10 20 21 14 21 8 13 12 10 9 15 15 15 15 15 14 12 12 9 9 9 13 13 18 9 25 14 13 14 11 17 7 11 12 15 7 11 11 11 9 15 9 15 11 12 13 21 14 3 8 18 23 10 8 12 13 13 11 11 11 11 16 8 5 9 23 13 13 13 13 13 17 14 9 9 19 16 18 14 14 14 13 15 11 13 19 10 10 16 14 21 13 11 10 15 13 10 10 13 10 14 20 12 11 10 18 10 12 10 18 21 11 13 17 12 5 10 8 17 10 15 13 16 8 9 16 16 14 8 14 23 9 13 4 7 7 7 13 21 14 11 7 8 6 4 8 15 18 8 10 7 10 11 10 9 9 8 12 6 7 12 12 8 8 8 8 8 6 10 16 11 11 10 4 7 5 4 3 3 4 4 4 4 13 10 10 12 15 7 10 1 1 1 10 16 20 13 9 12 13 11 9 9 11 7 10 9 9 9 9 9 8 6 5 12 14 8 8 14 10 5 4 12 9 7 6 16 9 11 14 9 11 6 9 6 8 8 4 8 6 3 10 7 7 10 9 8 11 11 9 6 14 8 4 11 10 9 9 9 8 6 6 8 8 8 8 8 12 4 8 10 10 7 7 5 6 6 5 12 7 10 10 6 13 9 10 10 11 4 13 10 10 8 6 3 2 8 8 2 2 1 Solving time:0.070 Filtering time:0.270 ID:23 (14,12,25) Graph |V|:91 Solution size:5769 Filtered solution size:4402 Parallel solution length:377 Parallelism:11.676 Step parallelism:37 20 16 11 10 13 16 14 18 19 12 23 19 30 13 8 5 5 3 6 12 8 8 7 7 10 11 19 12 9 18 23 12 11 11 12 21 18 18 19 17 24 14 28 17 19 11 17 11 10 14 6 14 10 10 11 9 18 17 19 18 5 7 15 20 18 24 27 21 18 12 17 18 12 12 12 15 16 16 11 9 9 14 12 20 19 10 7 15 18 14 14 11 11 13 5 14 8 11 11 5 13 10 10 19 13 20 12 12 12 12 11 14 12 12 12 12 12 12 13 12 25 10 15 8 14 4 9 5 22 10 15 10 9 13 13 10 13 14 14 4 1 13 19 21 19 23 11 9 9 18 10 14 22 11 12 14 10 10 12 11 11 14 22 25 19 17 14 14 14 10 14 11 5 10 14 14 15 15 11 13 15 15 12 11 10 6 15 5 9 3 18 9 19 13 13 9 8 18 10 10 8 15 22 12 11 11 13 17 13 25 17 20 13 12 11 11 11 17 7 10 10 9 9 9 12 16 6 10 10 8 8 15 17 16 13 13 9 12 13 6 12 11 11 10 16 10 10 9 17 15 15 6 8 7 12 5 14 17 8 8 9 8 14 11 9 14 7 13 16 9 8 8 4 8 8 8 8 8 16 17 16 16 11 11 10 8 4 10 9 9 9 10 13 8 8 8 11 7 9 8 5 5 8 6 5 11 15 13 10 9 7 3 4 3 6 5 9 12 10 6 11 6 8 10 14 10 9 9 3 9 8 5 12 8 3 9 7 7 18 8 6 8 2 8 7 7 8 8 6 8 5 3 7 7 7 10 8 8 18 15 10 10 10 5 9 9 9 4 8 8 3 8 6 4 3 3 Solving time:0.060 Filtering time:0.110 ID:24 (14,12,26) Graph |V|:91 Solution size:6052 Filtered solution size:4603 Parallel solution length:389 Parallelism:11.833 Step parallelism:36 22 16 11 10 13 16 14 18 19 12 23 19 30 13 8 5 5 3 6 12 8 8 7 7 10 11 19 12 9 20 25 12 11 11 12 21 18 18 19 17 24 15 25 14 16 11 19 11 10 14 8 14 10 10 11 9 16 15 15 14 11 18 18 20 28 23 18 15 13 10 18 9 14 12 10 6 13 13 12 11 10 18 12 19 16 11 19 12 13 14 14 13 10 16 7 14 13 11 10 5 13 10 10 15 13 20 13 12 12 12 11 12 11 12 12 12 12 12 9 22 21 15 15 5 11 7 10 4 9 9 19 12 14 8 12 10 13 19 10 12 5 11 11 10 10 19 15 10 10 9 12 18 10 10 7 16 15 21 15 9 9 18 22 10 6 3 9 9 9 17 8 10 9 9 17 16 17 14 12 10 10 16 17 13 17 19 7 12 13 11 12 16 20 18 8 11 13 14 15 11 14 11 11 12 9 14 11 11 7 10 13 11 15 22 18 10 10 7 11 18 14 9 6 14 17 9 9 13 6 17 18 16 10 7 16 18 6 22 10 8 7 15 15 14 21 12 10 10 7 10 16 13 17 23 14 13 17 17 9 6 6 8 8 15 7 16 11 12 14 5 15 14 13 12 16 9 7 11 14 9 10 10 10 10 9 8 11 10 12 7 3 13 13 12 14 15 16 9 7 12 10 10 7 9 9 17 9 9 8 8 11 9 10 12 12 8 6 6 3 7 7 9 9 8 8 3 7 8 10 10 7 15 4 14 14 12 11 12 7 12 10 8 8 16 12 16 11 4 11 8 6 16 4 3 8 8 8 8 8 7 11 5 9 8 8 11 9 10 10 10 7 9 4 9 8 9 5 11 5 6 8 3 8 8 8 7 4 1 Solving time:0.070 Filtering time:0.120 ID:25 (14,12,27) Graph |V|:91 Solution size:6340 Filtered solution size:4700 Parallel solution length:411 Parallelism:11.436 Step parallelism:35 23 17 11 10 13 16 14 18 19 12 23 19 30 13 8 5 5 3 6 12 8 8 7 7 10 11 19 12 9 20 25 12 11 11 12 21 18 18 19 17 24 15 25 14 16 11 19 11 10 14 8 14 10 10 11 9 16 15 15 14 11 18 18 20 28 23 18 15 13 10 18 9 14 12 10 6 13 13 12 11 10 18 12 19 16 14 19 12 13 14 14 13 10 16 7 14 13 11 9 5 10 9 14 9 12 18 12 11 11 10 10 11 11 11 11 11 11 11 25 16 20 15 10 11 7 5 12 11 16 13 15 14 17 19 15 13 6 10 10 10 20 10 10 10 9 8 12 18 10 10 7 16 15 15 14 11 16 21 9 5 2 2 8 16 9 9 7 9 16 16 16 11 12 8 8 8 17 10 20 17 4 12 12 14 13 16 13 13 11 12 10 9 11 8 10 7 6 11 11 11 10 15 15 13 16 9 18 10 6 7 9 20 16 19 18 18 18 16 9 8 21 15 13 18 13 9 18 10 6 12 11 8 8 10 19 16 11 12 9 7 7 7 7 7 4 4 2 6 6 6 7 7 7 16 9 7 14 14 12 12 6 17 12 13 15 10 10 21 16 12 7 13 7 5 2 5 5 16 16 14 8 11 11 10 10 10 12 15 17 10 11 7 6 7 7 7 7 16 13 11 14 14 17 12 9 10 12 13 12 8 8 12 7 10 10 9 9 15 17 10 19 16 11 14 9 14 6 6 7 9 11 11 6 8 10 9 8 8 6 8 8 7 7 5 14 8 7 14 9 11 6 13 14 12 7 3 12 11 10 10 7 9 14 5 6 10 10 12 9 7 6 2 9 9 9 10 6 14 9 2 7 7 7 11 12 8 10 4 8 12 6 3 7 10 13 7 6 9 5 8 12 6 4 8 10 6 8 4 3 4 Solving time:0.070 Filtering time:0.130 ID:26 (14,12,28) Graph |V|:91 Solution size:5573 Filtered solution size:4089 Parallel solution length:345 Parallelism:11.852 Step parallelism:36 22 22 12 6 13 16 14 18 19 19 9 17 16 13 10 15 8 2 6 12 8 8 7 7 10 23 11 7 4 16 10 12 12 17 3 3 23 19 19 20 13 20 21 28 15 15 11 18 9 16 22 19 12 20 14 18 16 13 13 16 21 20 16 15 20 9 10 13 22 13 12 22 13 11 11 9 17 15 12 14 11 11 12 20 18 14 13 15 15 13 12 17 12 20 24 16 20 13 10 14 12 14 9 10 4 9 8 11 18 6 14 10 9 13 10 12 10 10 6 13 14 10 9 9 9 16 20 10 9 19 16 12 10 9 9 12 11 13 14 15 18 16 11 18 14 9 6 13 14 24 19 22 10 5 5 3 3 10 10 10 9 6 17 7 20 8 10 10 7 8 16 10 12 15 13 18 11 10 17 21 22 20 20 19 12 12 8 13 10 12 12 15 15 22 21 19 13 18 14 8 11 10 10 6 16 12 11 12 10 18 24 10 9 19 14 14 14 14 11 5 15 15 14 13 21 13 11 13 14 7 6 11 11 6 9 16 16 12 3 6 4 6 7 10 9 8 8 12 7 9 7 8 11 12 10 16 11 11 11 11 16 14 9 11 10 5 10 6 10 10 10 19 13 13 17 13 11 7 8 6 9 14 6 4 7 10 10 9 8 9 6 9 9 7 6 8 7 7 9 3 9 8 8 6 9 9 8 7 7 10 7 7 7 9 5 8 11 10 4 3 8 6 8 7 8 8 8 8 10 12 9 8 8 10 8 13 12 8 6 2 7 3 2 1 Solving time:0.060 Filtering time:0.120 ID:27 (14,12,29) Graph |V|:91 Solution size:6106 Filtered solution size:4451 Parallel solution length:380 Parallelism:11.713 Step parallelism:35 22 17 11 7 13 16 14 18 19 19 17 16 15 13 10 15 8 4 6 12 8 8 7 7 10 22 11 7 4 16 10 12 12 16 3 3 22 18 19 14 19 23 26 19 19 11 18 10 16 22 19 12 20 14 18 16 13 13 16 21 20 16 15 20 9 10 12 21 13 12 21 13 11 11 9 17 15 12 14 11 11 12 20 13 13 13 15 15 13 12 17 12 20 20 12 19 13 9 14 13 13 16 5 10 9 14 12 13 20 16 14 15 23 18 16 18 14 6 7 9 15 11 11 9 7 14 14 16 11 11 11 10 13 13 14 13 17 21 18 12 17 28 9 9 16 21 8 8 2 13 21 19 14 18 6 12 12 20 20 10 25 16 12 12 17 10 10 10 14 17 12 12 14 12 14 11 11 17 13 9 7 11 7 12 16 17 13 10 9 15 15 15 15 16 10 9 9 9 7 17 16 14 9 20 14 14 11 11 9 13 5 5 4 6 6 7 10 8 8 12 11 21 15 12 12 10 10 8 8 6 17 6 16 13 5 4 3 12 12 11 11 11 10 11 10 14 9 9 20 6 4 3 8 7 7 8 11 15 21 12 11 7 19 18 10 10 9 9 11 6 9 7 7 7 7 11 8 8 8 7 6 13 12 12 7 11 7 7 13 11 10 11 11 16 10 10 15 11 7 10 6 9 11 13 5 5 10 14 17 13 7 10 16 16 10 6 8 8 3 10 10 8 13 9 5 10 4 8 7 6 11 13 8 14 8 7 8 7 4 7 9 7 10 9 12 16 11 8 8 8 8 5 5 8 8 8 8 8 11 4 9 9 9 11 8 3 6 5 5 9 5 11 9 6 3 10 4 4 2 Solving time:0.060 Filtering time:0.110 ID:28 (14,12,30) Graph |V|:91 Solution size:6289 Filtered solution size:4357 Parallel solution length:396 Parallelism:11.003 Step parallelism:34 28 23 17 14 13 16 12 15 16 9 6 17 11 9 9 5 5 3 7 12 7 7 6 6 9 12 21 20 11 20 10 11 12 8 10 4 19 17 17 15 25 33 26 19 10 16 11 9 20 22 20 19 11 16 8 16 13 14 8 8 17 7 10 11 19 18 7 10 17 11 9 15 19 8 8 13 12 23 12 14 13 13 24 13 10 10 10 16 13 13 18 11 10 19 22 18 21 10 8 7 8 8 8 8 9 3 10 9 9 9 8 15 5 5 5 8 8 18 23 11 23 22 10 13 12 5 9 12 13 8 13 13 14 8 12 9 15 11 10 10 15 17 16 15 14 12 17 10 14 9 10 9 9 8 14 11 11 6 13 12 25 12 13 7 5 14 6 5 4 15 12 16 20 13 17 11 13 16 13 13 17 10 6 9 7 7 7 10 11 12 8 11 12 10 10 10 12 8 11 9 25 17 8 8 8 9 7 13 8 6 10 8 8 18 22 18 17 9 7 8 7 7 5 6 5 4 3 3 12 5 12 15 10 10 8 15 19 15 12 12 14 10 21 15 16 16 15 13 11 11 5 5 4 4 6 5 15 10 17 16 11 7 11 12 2 10 10 8 9 9 10 9 1 8 8 9 9 9 14 13 14 9 10 5 4 12 8 10 12 7 7 14 14 10 12 19 12 9 13 15 5 10 9 9 9 9 11 5 9 9 8 8 18 11 13 13 7 10 11 10 10 8 14 14 9 13 10 10 8 7 8 7 3 7 7 7 7 6 15 5 12 10 10 10 8 9 7 7 7 8 4 6 6 12 11 9 8 10 4 8 11 5 5 8 9 14 8 7 9 8 4 4 8 8 8 8 11 5 9 9 15 11 11 7 4 8 8 7 14 9 8 8 3 3 1 Solving time:0.070 Filtering time:0.160 ID:29 (14,12,31) Graph |V|:91 Solution size:6063 Filtered solution size:4141 Parallel solution length:377 Parallelism:10.984 Step parallelism:33 29 23 16 14 13 16 12 14 15 16 6 16 8 8 5 4 4 7 12 7 7 6 6 9 12 21 20 11 20 12 11 12 8 10 4 19 17 17 15 25 32 26 19 12 17 11 9 20 22 20 19 11 16 8 14 8 14 8 8 17 7 10 11 18 14 8 10 17 9 9 14 18 8 8 14 14 23 13 15 14 13 23 18 10 10 10 11 15 17 10 10 12 25 18 20 14 8 6 10 8 8 8 9 3 10 9 9 9 8 15 5 5 5 8 8 18 23 14 22 18 11 15 8 13 11 12 12 12 14 8 9 8 14 13 13 12 12 10 17 16 14 13 12 19 10 14 9 9 9 9 8 17 11 11 6 14 12 24 12 14 8 6 14 4 4 4 9 14 10 22 16 14 11 12 19 14 10 13 9 5 11 12 9 11 11 6 9 10 12 10 10 10 10 11 5 9 15 12 12 11 11 15 14 9 10 12 19 12 13 16 8 14 19 7 5 7 6 6 6 13 11 9 8 7 9 9 9 14 10 8 12 13 10 8 7 21 17 9 8 11 10 10 9 10 14 12 7 11 4 13 12 8 13 13 15 15 7 13 13 12 12 12 11 11 10 7 13 14 14 9 9 16 11 10 10 8 7 2 2 6 6 9 5 8 15 5 5 12 3 2 8 4 8 17 18 6 5 15 19 9 7 10 5 8 7 7 4 9 4 8 8 8 8 8 6 10 8 8 8 8 11 9 11 10 11 6 7 7 4 8 13 10 5 13 14 5 12 11 12 10 10 6 10 15 6 7 12 10 9 6 3 3 8 11 8 8 6 9 5 3 10 5 10 9 5 7 7 7 15 13 5 7 6 11 5 2 Solving time:0.070 Filtering time:0.150 ID:30 (14,12,32) Graph |V|:91 Solution size:6298 Filtered solution size:4220 Parallel solution length:383 Parallelism:11.018 Step parallelism:32 28 23 18 14 15 16 12 14 15 16 6 15 7 7 12 3 3 6 8 6 6 6 6 9 11 19 8 5 16 8 12 13 8 6 4 4 19 17 20 16 25 32 26 17 12 17 11 9 20 25 21 20 13 15 8 15 8 14 8 8 17 7 10 12 19 14 9 10 10 8 13 12 14 8 8 14 14 23 13 15 14 13 23 18 11 10 10 12 15 14 10 10 11 25 15 20 20 15 10 10 8 9 9 10 4 11 10 7 10 9 7 8 5 5 9 8 20 17 18 18 14 13 17 12 15 14 12 12 14 10 11 11 10 13 13 10 10 8 8 15 13 9 12 6 11 15 16 11 10 9 9 16 14 9 14 15 14 14 12 19 9 17 8 4 11 16 9 9 9 6 13 12 12 11 10 10 9 11 11 15 9 12 12 13 18 21 20 15 10 8 12 12 11 9 10 10 10 12 8 15 12 15 8 13 12 9 5 3 5 8 1 10 10 10 9 9 16 11 9 15 15 14 14 6 11 11 10 9 9 6 12 11 11 16 12 15 14 22 18 18 6 8 8 8 11 17 16 16 17 10 15 16 17 17 17 13 12 11 11 13 14 9 5 15 8 13 10 10 6 5 11 13 14 17 11 11 9 9 11 8 15 15 8 8 7 9 9 13 9 11 4 12 9 7 6 6 5 3 5 5 15 9 15 9 15 14 11 11 12 8 14 6 7 6 11 13 7 7 6 6 4 8 8 7 7 7 7 3 10 12 12 8 11 18 10 4 14 7 7 7 7 9 7 7 4 7 8 5 11 10 9 7 7 7 3 6 11 6 7 5 5 7 7 6 6 5 8 2 8 8 8 9 5 3 3 7 7 9 6 3 3 1 Solving time:0.060 Filtering time:0.110 ID:31 (14,12,33) Graph |V|:91 Solution size:6386 Filtered solution size:4137 Parallel solution length:394 Parallelism:10.500 Step parallelism:31 27 23 18 13 14 16 12 14 15 16 6 14 6 7 12 3 3 7 8 6 6 6 6 9 11 20 8 6 16 8 12 13 8 6 4 4 19 17 20 16 25 31 26 17 12 17 11 9 20 25 21 20 13 15 8 15 8 14 8 8 17 7 10 12 15 13 8 10 10 8 12 12 13 7 7 14 14 22 13 15 14 13 23 18 11 10 10 12 14 12 10 10 11 16 14 14 14 11 3 1 10 9 10 10 4 11 10 13 8 11 9 8 5 5 10 9 11 21 16 16 18 12 16 15 8 15 13 9 12 14 12 10 14 14 20 10 7 7 11 9 9 13 13 11 18 13 14 9 13 13 15 15 13 12 8 7 13 13 26 15 14 8 16 17 25 14 11 5 6 10 10 5 5 10 14 13 10 10 7 7 14 11 9 2 10 9 7 13 13 14 11 9 6 9 4 10 9 9 8 6 6 10 10 11 13 18 13 12 11 5 5 8 7 7 8 5 7 6 22 18 11 10 8 9 8 16 13 15 19 22 19 21 17 11 16 12 11 6 10 15 10 12 12 6 12 10 13 15 9 13 10 14 9 8 9 13 7 16 13 14 11 6 5 7 14 10 9 9 11 12 14 9 18 16 10 10 13 12 14 11 10 10 11 11 8 7 7 8 8 8 7 11 7 7 8 8 8 8 8 6 5 7 7 6 10 12 8 8 7 7 10 8 7 4 8 8 8 6 6 5 6 4 3 9 14 5 10 11 14 10 13 14 8 5 4 7 6 6 11 9 9 9 6 6 5 10 9 9 9 9 6 5 3 5 5 4 3 8 6 6 5 4 8 4 4 2 2 9 5 5 5 5 6 6 9 9 6 7 4 6 5 5 5 12 11 10 6 9 5 8 8 4 3 Solving time:0.070 Filtering time:0.090 ID:32 (14,12,34) Graph |V|:91 Solution size:6111 Filtered solution size:4080 Parallel solution length:370 Parallelism:11.027 Step parallelism:31 26 22 17 12 14 16 12 14 15 16 6 14 6 7 11 3 3 7 8 7 6 6 6 9 11 20 8 6 16 8 12 13 8 6 4 4 18 15 18 16 25 28 26 15 15 21 13 9 20 25 19 18 9 7 7 14 11 16 11 19 18 8 15 19 14 11 10 11 8 13 9 14 9 12 14 14 19 13 16 13 12 13 16 13 11 11 10 14 15 14 14 15 10 18 15 22 10 12 9 9 8 12 19 11 8 10 10 8 14 14 7 10 9 12 15 19 17 14 10 10 10 10 7 14 11 11 9 16 9 9 10 11 27 22 24 23 17 19 27 18 19 8 13 11 6 3 2 8 8 8 8 8 15 14 14 12 11 9 18 12 12 20 11 8 13 12 11 11 16 11 16 18 20 20 10 12 9 16 12 13 9 5 7 4 18 13 19 17 18 20 16 12 15 12 14 11 10 9 9 9 9 9 9 8 8 7 9 9 9 9 9 9 17 12 7 11 9 9 10 10 9 8 12 9 11 7 9 3 11 11 10 13 14 15 12 13 8 8 8 11 9 4 12 11 11 17 8 9 8 2 16 17 16 13 10 16 7 14 13 11 16 11 11 11 8 9 9 8 8 5 8 10 11 9 10 8 16 11 13 9 9 9 17 15 11 9 9 8 6 9 8 8 15 6 6 11 9 4 9 9 12 12 10 3 5 4 4 8 9 9 7 9 9 11 8 15 8 5 9 11 7 9 13 8 5 5 9 7 6 5 3 6 4 4 7 7 7 13 7 4 7 4 6 5 8 8 6 9 5 9 9 6 2 2 6 6 6 6 6 4 10 8 7 6 6 7 6 5 4 Solving time:0.060 Filtering time:0.160 ID:33 (14,12,35) Graph |V|:91 Solution size:5816 Filtered solution size:3734 Parallel solution length:343 Parallelism:10.886 Step parallelism:30 25 21 16 13 14 17 12 14 15 16 6 13 7 12 11 3 3 7 8 6 6 6 6 9 16 9 7 5 16 8 10 12 8 10 4 18 15 15 15 25 28 26 17 15 21 13 9 20 22 18 17 11 7 7 14 11 16 11 18 18 8 15 19 14 14 6 10 7 12 11 16 8 8 13 17 20 9 14 11 11 12 15 13 10 10 11 13 14 13 13 14 10 19 16 22 10 10 11 8 8 12 19 11 8 10 10 8 14 14 7 10 9 12 15 19 17 14 10 10 10 10 7 14 11 11 9 16 9 9 10 11 27 22 24 14 10 11 18 11 11 14 22 12 8 8 17 11 4 3 3 3 19 11 10 8 8 8 13 13 18 18 18 15 12 11 15 11 12 12 12 12 7 9 8 7 6 6 6 6 6 7 8 15 7 7 8 8 15 12 8 15 14 11 13 18 14 11 15 11 10 19 9 9 9 8 6 14 11 12 12 9 11 11 10 10 10 8 8 15 16 16 9 6 7 6 6 10 15 7 12 8 8 2 8 8 8 9 10 8 20 14 8 16 12 14 12 8 7 9 9 8 7 8 8 8 8 11 13 8 12 12 9 6 13 13 14 11 8 8 13 9 7 7 7 6 9 12 13 8 10 10 8 7 9 7 7 7 7 11 11 15 7 11 11 11 7 6 13 5 13 11 13 10 10 6 8 8 8 6 6 4 3 9 9 6 7 8 8 8 11 12 9 9 9 7 12 7 8 7 7 2 4 4 4 7 7 5 5 5 5 5 1 Solving time:0.060 Filtering time:0.150 ID:34 (14,12,36) Graph |V|:91 Solution size:6176 Filtered solution size:3777 Parallel solution length:367 Parallelism:10.292 Step parallelism:29 28 21 16 13 14 17 12 14 15 16 6 13 7 12 11 3 3 7 8 6 6 6 6 9 16 9 7 6 16 8 10 12 8 10 5 18 15 15 15 24 27 25 16 14 20 10 16 21 19 17 8 9 5 6 13 10 16 11 18 18 8 15 19 14 14 6 10 7 12 11 16 8 8 13 16 19 11 14 11 11 12 15 13 11 10 11 13 14 13 13 14 10 19 16 22 10 11 11 8 8 12 14 11 8 10 10 8 14 14 7 10 9 12 15 19 17 14 10 10 10 10 11 16 11 11 9 18 9 9 10 11 26 19 21 14 8 11 18 11 11 14 22 12 8 8 18 13 13 5 4 3 9 8 7 7 7 7 12 12 17 16 16 14 11 10 14 10 11 11 9 11 7 9 8 7 7 6 6 6 6 7 8 14 7 7 8 8 14 11 8 16 14 11 15 17 15 10 10 16 9 8 8 8 8 15 13 11 17 20 10 9 8 6 6 6 13 6 6 6 6 6 6 6 6 6 6 6 6 12 14 6 8 13 12 20 13 4 5 3 7 4 4 16 14 13 9 9 7 8 6 5 5 5 5 11 13 8 8 8 12 11 10 11 7 7 6 2 6 10 5 5 5 9 9 10 11 7 10 10 9 10 7 7 5 4 9 14 10 6 13 8 9 12 10 13 8 8 12 8 6 8 15 11 13 10 9 12 12 12 9 13 12 8 6 10 6 8 6 8 8 10 9 6 10 10 5 7 5 7 6 5 5 3 4 9 8 7 4 7 9 10 11 10 6 5 8 6 5 7 6 4 9 6 3 7 7 6 10 9 5 3 6 6 7 5 2 Solving time:0.060 Filtering time:0.150 ID:35 (14,12,37) Graph |V|:91 Solution size:6582 Filtered solution size:4170 Parallel solution length:372 Parallelism:11.210 Step parallelism:28 27 23 16 13 14 17 12 14 15 16 6 13 7 12 11 3 3 7 8 7 7 6 6 9 16 9 7 7 17 8 10 12 8 11 6 17 15 15 15 24 27 25 17 13 11 16 20 17 17 8 10 17 7 14 8 14 8 8 17 7 15 11 12 18 16 14 9 15 12 12 9 17 14 15 13 11 13 15 13 11 11 12 16 11 11 13 18 16 12 10 14 14 16 11 12 13 5 12 11 9 9 11 5 9 9 9 9 9 19 18 15 21 23 23 19 11 13 10 15 19 12 15 10 9 9 10 10 9 18 21 10 14 15 8 14 6 12 14 18 12 23 3 2 2 2 2 10 17 15 11 11 11 7 7 7 6 12 13 22 18 20 18 19 22 20 21 17 15 14 13 12 13 13 20 13 15 11 7 14 11 8 7 7 7 7 14 12 12 12 9 10 16 11 14 14 15 7 7 18 21 21 15 12 12 16 15 11 14 13 13 11 14 10 14 14 10 10 10 7 9 8 9 7 16 15 17 11 24 14 15 15 16 7 12 6 3 5 4 4 7 13 13 13 11 15 14 11 9 10 19 10 10 11 10 6 9 8 17 15 11 6 7 7 5 6 9 9 7 6 6 14 10 7 13 12 10 11 9 13 14 9 7 9 10 8 7 7 11 14 14 12 12 11 7 9 9 11 13 11 7 6 6 8 6 4 4 8 8 8 8 10 7 7 9 13 12 7 5 6 6 6 6 11 5 8 9 8 8 11 9 9 13 13 9 9 9 10 10 8 9 12 9 8 3 3 8 8 12 8 8 7 10 6 5 8 10 8 4 3 7 7 5 7 8 6 10 4 5 7 4 3 Solving time:0.070 Filtering time:0.200 ID:36 (14,12,38) Graph |V|:91 Solution size:5797 Filtered solution size:3476 Parallel solution length:338 Parallelism:10.284 Step parallelism:28 27 25 23 18 12 13 8 15 14 14 9 13 13 6 6 3 7 8 7 7 6 6 9 16 17 11 14 14 12 11 22 18 15 15 26 23 24 21 12 8 21 16 16 15 9 16 9 14 11 14 8 8 17 7 15 11 11 13 13 12 9 14 11 9 7 18 12 12 11 14 12 10 9 9 14 9 15 15 14 14 9 11 12 10 11 18 10 15 12 10 10 11 10 9 15 10 18 17 15 11 4 13 9 11 2 8 8 8 8 8 8 8 8 7 7 10 9 7 7 7 4 7 11 15 12 14 9 9 18 9 5 5 5 1 11 11 11 11 10 5 8 8 8 11 15 15 5 15 14 19 13 13 10 15 17 14 11 13 19 13 16 12 12 14 17 15 12 13 10 11 7 5 10 5 9 9 14 6 6 6 10 7 1 9 9 11 9 8 7 7 7 13 10 9 7 11 9 15 12 16 13 14 13 12 16 12 14 10 15 14 8 10 12 16 17 19 17 13 9 5 8 9 8 9 11 12 13 9 8 9 11 8 14 12 11 10 15 14 8 7 8 11 10 11 5 4 14 10 10 7 11 11 7 4 3 3 7 4 4 9 9 8 5 4 14 10 16 10 9 11 11 6 5 8 9 6 6 9 4 3 9 5 10 9 13 10 9 8 7 14 12 8 10 8 7 8 3 7 7 7 3 8 7 7 7 4 4 4 4 6 6 6 6 6 6 9 5 7 7 5 7 5 5 5 7 6 9 8 8 7 7 5 5 6 5 3 3 Solving time:0.060 Filtering time:0.100 ID:37 (14,12,39) Graph |V|:91 Solution size:4962 Filtered solution size:2969 Parallel solution length:281 Parallelism:10.566 Step parallelism:27 28 23 21 19 12 13 8 15 14 14 9 13 13 6 6 3 8 7 6 6 5 5 7 15 14 8 12 12 14 8 7 16 18 14 13 22 23 22 20 13 8 22 17 17 16 10 13 7 14 11 17 11 8 17 7 9 10 13 12 8 11 12 11 11 11 12 9 11 9 10 11 11 11 11 12 9 8 8 8 19 19 19 12 12 11 7 11 10 10 16 10 16 15 10 10 6 5 10 13 9 11 11 9 12 12 16 15 7 14 6 7 17 4 4 6 10 10 10 11 7 12 16 12 14 12 17 17 16 19 15 9 11 8 12 7 7 7 13 13 15 14 9 8 12 8 8 5 10 13 10 10 15 9 20 13 11 10 10 17 5 9 21 14 9 8 15 9 9 13 6 3 3 3 3 3 11 8 8 10 9 9 13 14 13 10 6 10 7 16 14 8 8 13 14 15 13 15 9 14 14 6 10 9 7 9 9 9 9 9 9 10 7 15 8 9 9 11 13 14 9 10 7 7 13 11 13 8 8 10 10 10 10 5 11 10 8 10 10 9 8 10 8 5 8 8 5 5 3 5 5 4 4 9 8 4 10 10 10 10 8 6 5 7 8 5 5 13 12 10 2 9 9 5 9 10 9 7 4 5 2 Solving time:0.060 Filtering time:0.040 ID:38 (14,12,40) Graph |V|:91 Solution size:5963 Filtered solution size:3496 Parallel solution length:347 Parallelism:10.075 Step parallelism:27 28 23 21 18 12 12 8 15 14 14 6 19 10 1 1 1 6 6 5 5 5 5 7 9 15 13 10 14 14 10 17 16 20 16 26 25 20 18 13 9 18 13 16 15 10 13 7 13 17 14 13 11 11 12 13 13 11 10 10 8 7 13 15 12 11 9 9 11 13 13 10 15 11 13 10 8 11 9 8 17 18 14 10 14 14 7 15 16 15 16 9 16 15 10 13 7 6 11 7 17 23 10 14 10 7 8 5 5 5 6 10 15 15 12 16 14 11 8 9 11 11 21 12 22 12 4 3 11 11 11 11 10 10 8 11 11 17 11 9 16 15 10 8 10 8 9 13 12 17 12 18 15 12 11 11 11 9 14 15 14 20 13 10 10 12 12 11 10 9 11 8 9 7 10 9 8 12 9 7 7 7 12 11 12 9 8 12 7 7 5 5 8 5 5 8 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 5 7 8 13 13 14 11 8 14 12 9 10 10 9 7 7 8 5 5 4 5 5 5 5 5 8 8 7 5 7 8 5 11 10 10 7 6 6 9 13 8 9 8 10 9 8 8 7 10 9 12 12 15 14 17 11 11 11 14 10 9 13 8 13 6 5 11 10 9 11 13 7 11 11 5 8 8 6 9 4 6 11 11 11 12 6 7 8 7 8 12 6 4 5 11 11 10 9 11 8 5 5 4 7 7 7 7 7 7 9 7 8 8 8 6 6 5 4 2 5 5 5 6 5 10 9 9 10 10 6 4 5 5 3 Solving time:0.060 Filtering time:0.080 ID:39 (14,12,41) Graph |V|:91 Solution size:5801 Filtered solution size:3280 Parallel solution length:320 Parallelism:10.250 Step parallelism:27 26 23 19 17 11 12 8 15 14 14 6 18 9 2 1 1 5 5 4 3 5 4 7 10 17 13 11 11 16 20 21 19 20 19 23 21 20 13 16 19 22 17 17 8 9 12 8 13 10 16 10 10 19 9 12 14 19 13 8 10 11 12 17 14 13 10 10 10 14 14 16 19 18 18 10 16 10 9 7 7 8 12 11 9 8 6 11 10 7 5 8 7 7 6 5 3 4 10 5 7 7 7 17 16 16 17 20 13 11 9 15 14 13 10 10 9 8 9 9 13 9 9 14 9 10 11 11 15 10 11 10 15 14 14 14 16 15 10 15 15 10 16 10 14 11 10 12 9 10 7 6 6 8 8 12 12 14 12 10 5 5 9 10 12 12 11 13 10 8 7 13 13 10 9 9 8 13 15 14 13 10 10 9 5 5 8 8 8 5 6 11 12 16 15 14 12 13 12 10 10 6 8 11 10 10 10 10 11 12 10 12 11 13 12 11 10 8 7 9 7 4 6 7 5 3 7 11 10 9 6 9 9 8 7 7 6 9 7 5 4 7 7 7 5 9 8 13 11 13 18 10 10 13 6 5 3 2 2 7 8 7 7 7 7 15 7 10 13 8 9 12 10 12 12 14 10 11 8 7 8 7 14 9 8 9 8 6 5 11 4 10 8 6 8 8 6 12 10 6 8 4 6 7 7 4 6 10 7 5 5 4 6 8 7 7 6 7 4 2 Solving time:0.060 Filtering time:0.100 ID:40 (14,12,42) Graph |V|:91 Solution size:5801 Filtered solution size:3246 Parallel solution length:315 Parallelism:10.305 Step parallelism:26 26 23 19 17 11 12 8 15 13 13 11 17 9 2 1 1 5 5 4 3 5 4 7 10 11 13 11 10 15 19 20 18 19 18 22 20 19 12 15 18 21 16 17 8 9 12 8 13 10 16 10 10 19 9 12 14 18 13 8 10 11 12 17 14 13 10 10 10 14 13 16 19 18 18 10 17 10 9 7 12 13 13 11 10 10 10 15 8 5 4 4 4 4 4 12 7 7 17 15 19 17 20 14 12 9 15 14 13 10 10 9 8 9 9 13 9 9 14 9 10 11 11 15 10 11 10 15 14 14 14 16 15 10 15 15 10 16 10 14 11 10 12 9 10 7 6 6 8 8 12 12 14 12 10 5 5 9 10 12 12 11 13 10 8 7 13 13 10 9 9 8 13 15 14 13 10 10 9 5 5 8 8 8 5 6 11 12 16 15 14 12 13 12 10 10 6 8 11 10 10 10 10 11 12 10 12 11 13 12 11 10 8 7 9 7 4 6 7 5 3 7 11 10 9 6 9 9 8 7 7 6 9 7 5 4 7 7 7 5 9 8 13 11 13 18 10 10 13 6 5 3 2 2 7 8 7 7 7 7 15 7 10 13 8 9 12 10 12 12 14 10 11 8 7 8 7 14 9 8 9 8 6 5 11 4 10 8 6 8 8 6 12 10 6 8 4 6 7 7 4 6 10 7 5 5 4 6 8 7 7 6 7 4 2 Solving time:0.060 Filtering time:0.100 ID:41 (14,12,43) Graph |V|:91 Solution size:5801 Filtered solution size:3236 Parallel solution length:315 Parallelism:10.273 Step parallelism:25 25 25 16 15 10 11 11 14 9 12 11 17 9 2 1 1 5 5 4 3 5 4 7 10 11 13 11 10 15 19 20 18 19 18 22 20 19 12 15 18 21 16 17 8 9 12 8 13 10 16 10 10 19 9 12 14 18 13 8 10 11 12 17 14 13 10 10 10 14 13 16 19 18 18 10 17 10 9 7 12 13 13 11 10 10 10 15 8 5 4 4 4 4 4 12 7 7 17 15 19 17 20 14 12 9 15 14 13 10 10 9 8 9 9 13 9 9 14 9 10 11 11 15 10 11 10 15 14 14 14 16 15 10 15 15 10 16 10 14 11 10 12 9 10 7 6 6 8 8 12 12 14 12 10 5 5 9 10 12 12 11 13 10 8 7 13 13 10 9 9 8 13 15 14 13 10 10 9 5 5 8 8 8 5 6 11 12 16 15 14 12 13 12 10 10 6 8 11 10 10 10 10 11 12 10 12 11 13 12 11 10 8 7 9 7 4 6 7 5 3 7 11 10 9 6 9 9 8 7 7 6 9 7 5 4 7 7 7 5 9 8 13 11 13 18 10 10 13 6 5 3 2 2 7 8 7 7 7 7 15 7 10 13 8 9 12 10 12 12 14 10 11 8 7 8 7 14 9 8 9 8 6 5 11 4 10 8 6 8 8 6 12 10 6 8 4 6 7 7 4 6 10 7 5 5 4 6 8 7 7 6 7 4 2 Solving time:0.060 Filtering time:0.090 ID:42 (14,12,44) Graph |V|:91 Solution size:5801 Filtered solution size:3217 Parallel solution length:315 Parallelism:10.213 Step parallelism:24 26 25 18 15 10 12 12 15 11 13 14 18 11 4 3 3 7 7 4 3 5 4 5 9 10 9 7 6 9 15 18 16 16 15 19 19 18 12 15 18 21 16 17 8 9 11 8 13 10 16 10 10 18 9 12 14 18 13 8 10 11 12 17 14 13 10 10 10 14 13 16 19 18 18 10 17 10 9 7 12 13 13 11 10 10 10 15 8 5 4 4 4 4 4 12 7 7 17 15 19 17 20 14 12 9 15 14 13 10 10 9 8 9 9 13 9 9 14 9 10 11 11 15 10 11 10 15 14 14 14 16 15 10 15 15 10 16 10 14 11 10 12 9 10 7 6 6 8 8 12 12 14 12 10 5 5 9 10 12 12 11 13 10 8 7 13 13 10 9 9 8 13 15 14 13 10 10 9 5 5 8 8 8 5 6 11 12 16 15 14 12 13 12 10 10 6 8 11 10 10 10 10 11 12 10 12 11 13 12 11 10 8 7 9 7 4 6 7 5 3 7 11 10 9 6 9 9 8 7 7 6 9 7 5 4 7 7 7 5 9 8 13 11 13 18 10 10 13 6 5 3 2 2 7 8 7 7 7 7 15 7 10 13 8 9 12 10 12 12 14 10 11 8 7 8 7 14 9 8 9 8 6 5 11 4 10 8 6 8 8 6 12 10 6 8 4 6 7 7 4 6 10 7 5 5 4 6 8 7 7 6 7 4 2 Solving time:0.070 Filtering time:0.100 ID:43 (14,12,45) Graph |V|:91 Solution size:5905 Filtered solution size:3305 Parallel solution length:337 Parallelism:9.807 Step parallelism:23 26 24 19 15 10 12 12 15 11 13 14 18 11 4 4 3 6 6 2 4 3 3 4 8 7 8 6 5 9 15 18 16 16 14 18 20 19 14 15 20 21 16 17 8 9 11 8 13 10 16 10 10 18 9 11 12 18 13 8 8 11 9 14 12 14 11 11 9 13 13 12 11 9 10 8 10 10 9 9 14 9 14 8 8 11 10 10 8 9 11 9 8 8 7 7 7 7 12 13 8 7 6 13 12 9 13 13 12 10 13 10 10 9 10 10 11 9 10 14 19 9 13 7 7 16 14 10 11 11 8 12 12 13 12 9 9 15 16 11 17 8 6 12 13 18 15 13 11 11 10 9 14 13 11 10 8 8 8 13 11 5 10 10 10 15 10 12 13 12 10 24 21 17 17 15 12 12 11 9 10 10 12 10 8 10 12 12 13 10 11 11 15 14 8 8 9 8 14 7 10 10 10 6 8 9 6 11 5 9 9 13 11 10 13 12 12 13 7 6 7 10 7 4 14 10 9 11 8 14 8 6 3 2 9 9 6 9 11 7 3 3 3 3 16 11 9 7 6 6 6 6 6 6 5 9 6 6 6 6 6 8 8 8 14 9 9 8 8 7 5 7 6 6 5 4 5 4 15 10 6 6 11 9 8 8 9 11 7 10 12 7 7 6 11 6 10 12 9 9 9 9 5 7 6 8 11 8 5 1 2 6 10 7 7 8 8 7 8 9 8 12 11 3 2 4 4 4 4 3 6 5 5 4 4 4 2 Solving time:0.070 Filtering time:0.090 ID:44 (14,12,46) Graph |V|:91 Solution size:5403 Filtered solution size:2893 Parallel solution length:301 Parallelism:9.611 Step parallelism:25 25 23 18 14 10 12 12 15 11 13 14 18 10 6 6 5 8 8 7 5 4 3 4 8 9 8 6 5 9 12 17 13 13 11 17 16 17 11 16 17 18 17 9 11 18 16 12 7 9 15 16 17 16 16 14 10 11 14 12 16 9 5 10 12 8 12 12 13 15 13 12 13 11 8 6 10 10 10 10 10 9 10 8 5 8 6 12 3 10 9 9 9 6 5 8 6 9 12 9 8 8 9 10 9 9 8 14 10 14 10 14 10 10 16 13 14 14 16 8 22 14 12 12 12 12 18 12 18 9 7 10 10 10 15 11 11 10 14 8 8 5 10 13 14 15 15 13 14 9 8 8 7 7 6 6 6 13 10 15 16 10 8 7 7 11 8 6 7 6 4 6 14 10 10 11 8 4 9 9 9 18 15 10 8 9 9 15 19 17 15 8 10 10 7 7 2 2 3 3 5 5 2 2 10 6 6 6 6 8 8 6 9 8 5 4 5 11 7 4 8 7 7 6 2 2 4 13 13 10 9 13 15 13 14 11 9 7 8 11 5 8 10 10 11 8 9 9 9 9 5 8 10 9 9 9 7 6 15 7 8 12 5 7 4 7 7 7 4 10 10 8 7 7 6 5 5 5 4 6 6 10 5 9 8 8 10 9 6 3 6 6 6 6 7 7 6 3 1 1 1 Solving time:0.050 Filtering time:0.050 ID:45 (14,12,47) Graph |V|:91 Solution size:5347 Filtered solution size:2766 Parallel solution length:301 Parallelism:9.189 Step parallelism:25 25 25 18 14 10 12 12 15 11 13 14 18 10 6 6 5 8 8 7 5 4 3 4 8 9 8 6 5 9 12 17 13 13 11 17 16 17 11 16 17 17 14 11 13 17 16 8 9 12 16 16 17 20 12 13 14 13 11 13 9 5 10 11 8 11 5 12 14 11 11 11 10 10 10 9 9 9 9 9 9 10 4 13 5 10 10 10 7 7 6 11 9 6 8 7 6 6 8 11 10 9 15 13 15 11 7 14 14 12 19 12 12 8 8 8 14 10 16 14 9 9 9 8 8 8 9 9 9 12 14 11 10 9 5 9 15 16 14 12 7 9 9 11 11 13 11 9 8 7 6 6 6 5 13 8 7 11 11 12 9 9 7 5 8 8 8 7 6 6 5 6 6 5 8 3 9 7 7 5 10 14 11 14 6 6 6 8 9 8 10 8 13 8 12 8 2 3 8 12 3 3 5 5 5 5 7 8 8 7 5 7 13 11 4 14 13 11 10 6 2 4 6 5 5 5 5 2 5 5 7 10 3 7 7 7 10 13 10 11 7 6 14 8 10 12 9 15 11 10 9 5 14 8 7 7 6 5 5 5 8 5 11 10 9 10 8 9 5 7 6 11 7 6 6 12 6 6 4 5 3 5 5 5 5 5 5 7 6 5 7 6 3 7 8 11 10 7 7 5 4 Solving time:0.060 Filtering time:0.040 ID:46 (14,12,48) Graph |V|:91 Solution size:5347 Filtered solution size:2750 Parallel solution length:301 Parallelism:9.136 Step parallelism:24 24 24 18 14 10 12 12 15 11 13 14 18 10 6 6 5 8 8 7 5 4 3 4 8 9 8 6 5 9 12 17 14 14 16 21 20 16 10 15 13 13 6 6 17 17 12 7 9 15 16 17 16 17 14 11 11 13 11 13 9 5 10 11 8 11 5 12 14 11 11 11 10 10 10 9 9 9 9 9 9 10 4 13 5 10 10 10 7 7 6 11 9 6 8 7 6 6 8 11 10 9 15 13 15 11 7 14 14 12 19 12 12 8 8 8 14 10 16 14 9 9 9 8 8 8 9 9 9 12 14 11 10 9 5 9 15 16 14 12 7 9 9 11 11 13 11 9 8 7 6 6 6 5 13 8 7 11 11 12 9 9 7 5 8 8 8 7 6 6 5 6 6 5 8 3 9 7 7 5 10 14 11 14 6 6 6 8 9 8 10 8 13 8 12 8 2 3 8 12 3 3 5 5 5 5 7 8 8 7 5 7 13 11 4 14 13 11 10 6 2 4 6 5 5 5 5 2 5 5 7 10 3 7 7 7 10 13 10 11 7 6 14 8 10 12 9 15 11 10 9 5 14 8 7 7 6 5 5 5 8 5 11 10 9 10 8 9 5 7 6 11 7 6 6 12 6 6 4 5 3 5 5 5 5 5 5 7 6 5 7 6 3 7 8 11 10 7 7 5 4 Solving time:0.070 Filtering time:0.050 ID:47 (14,12,49) Graph |V|:91 Solution size:6089 Filtered solution size:3188 Parallel solution length:335 Parallelism:9.516 Step parallelism:26 24 24 18 15 11 11 14 15 13 13 13 16 6 6 5 5 8 9 3 5 4 3 4 8 9 8 6 5 9 12 17 14 14 16 19 19 13 9 10 12 12 12 8 18 14 12 7 12 14 16 11 13 8 4 8 10 10 7 7 7 12 10 10 10 14 10 13 17 17 15 13 12 13 12 11 11 9 8 9 9 8 9 11 6 8 8 13 13 10 11 9 9 13 7 8 8 8 13 8 8 10 13 12 10 9 10 8 8 14 9 12 9 16 15 16 16 15 7 8 14 8 9 10 8 5 5 7 7 11 11 15 11 11 10 16 9 9 15 12 12 13 13 10 10 10 8 14 14 16 9 9 8 15 11 14 14 13 6 5 4 7 10 8 7 11 12 8 7 7 7 7 6 5 8 8 7 7 7 10 9 12 13 12 11 14 13 8 8 7 7 5 8 5 12 6 8 11 10 11 11 10 15 11 11 10 16 13 16 16 12 10 9 8 8 9 9 6 7 10 12 12 12 12 10 10 8 7 7 9 7 5 4 5 6 5 4 4 3 9 7 8 14 10 13 7 6 13 13 14 16 13 16 11 7 9 6 5 8 6 6 4 9 11 8 11 10 11 13 13 9 7 4 7 5 11 7 10 6 9 9 9 9 8 8 6 9 8 7 7 7 7 7 7 6 6 6 6 6 6 6 6 6 6 8 8 5 5 5 8 7 2 6 6 9 6 6 6 5 8 6 5 5 7 6 9 7 7 4 8 8 8 3 3 2 Solving time:0.060 Filtering time:0.080 ID:48 (14,12,50) Graph |V|:91 Solution size:5269 Filtered solution size:2682 Parallel solution length:273 Parallelism:9.824 Step parallelism:26 23 23 17 14 13 13 17 15 13 16 16 16 8 5 4 4 6 6 2 4 3 3 4 8 9 8 6 5 9 11 16 13 13 15 17 17 11 7 8 11 11 12 5 15 13 11 7 12 14 15 11 13 9 4 8 10 10 10 7 5 10 10 10 14 10 15 17 17 14 12 12 13 10 14 11 9 9 10 9 8 9 11 6 8 8 13 13 12 11 9 9 9 6 8 8 8 15 8 8 9 12 11 12 8 10 16 9 8 10 9 14 14 18 11 14 7 6 11 10 8 10 7 5 7 6 6 12 12 8 11 7 11 11 10 10 10 9 10 10 9 10 9 16 14 13 11 13 14 15 15 12 8 11 9 12 11 8 9 7 5 6 7 5 10 10 10 12 13 13 16 12 11 15 13 10 7 10 7 8 10 11 10 10 10 8 12 7 14 11 10 9 8 11 5 13 10 6 4 8 8 8 7 7 8 6 7 7 7 7 4 5 7 10 8 9 9 11 9 11 10 10 11 8 8 11 12 6 8 8 6 12 12 13 10 13 7 5 6 6 10 6 5 9 7 7 14 9 8 8 10 13 14 6 7 6 7 8 6 6 10 4 7 3 6 10 10 10 10 10 9 7 1 Solving time:0.060 Filtering time:0.040 ID:49 (14,12,51) Graph |V|:91 Solution size:5016 Filtered solution size:2373 Parallel solution length:276 Parallelism:8.598 Step parallelism:25 22 23 17 14 13 13 17 15 13 16 15 16 8 5 4 4 6 6 3 4 4 5 2 6 8 6 5 8 10 14 12 12 14 16 19 17 10 8 11 12 9 9 13 10 12 12 12 12 13 12 9 5 6 8 8 8 4 6 10 10 10 9 15 14 13 11 8 5 6 9 12 11 11 11 11 9 9 9 9 11 5 8 12 12 9 7 8 7 5 10 6 6 10 6 10 10 8 8 8 8 8 7 12 10 6 5 4 7 8 9 13 8 6 6 5 11 13 13 7 12 9 10 17 14 13 11 5 4 4 2 2 7 7 6 6 11 11 11 9 9 10 9 11 18 11 10 12 9 10 7 7 6 5 7 5 7 3 6 3 3 9 10 11 10 8 10 11 10 9 12 11 7 11 10 8 7 9 8 13 9 12 8 10 9 10 8 8 6 8 8 4 9 11 11 12 12 10 9 9 9 8 7 8 6 5 7 5 4 12 12 10 12 9 8 11 5 6 4 4 6 7 4 13 9 6 6 5 9 11 8 8 4 6 6 6 6 4 9 7 5 10 7 7 6 6 8 4 4 5 5 5 3 3 3 8 7 7 8 7 12 8 3 2 4 4 4 4 9 8 7 7 7 5 2 1 Solving time:0.060 Filtering time:0.030 ID:50 (14,12,52) Graph |V|:91 Solution size:5537 Filtered solution size:2732 Parallel solution length:284 Parallelism:9.620 Step parallelism:24 21 22 18 15 13 13 17 15 13 16 15 17 13 11 10 9 11 10 10 14 11 12 17 17 13 12 6 7 10 13 4 9 13 10 12 12 12 12 13 15 9 8 8 10 10 7 6 8 6 6 6 6 12 12 11 11 8 5 8 11 14 11 11 10 8 15 16 14 13 13 12 19 11 19 15 17 15 19 13 9 9 17 13 14 18 11 5 8 8 8 10 14 11 6 5 10 13 9 9 13 13 10 14 12 19 9 11 16 5 6 10 8 12 14 12 9 10 13 11 9 11 10 10 14 16 16 9 4 12 10 11 10 9 7 9 13 13 12 9 11 10 10 9 9 10 10 9 9 10 14 12 11 11 11 11 11 11 11 4 8 13 5 11 9 3 7 10 10 14 9 13 12 5 6 6 10 8 11 10 8 13 14 13 14 12 17 16 13 11 9 9 9 5 6 6 7 6 5 5 5 5 3 7 8 4 1 1 5 5 5 5 6 8 6 6 5 7 10 10 12 6 10 9 6 5 7 9 9 9 7 7 5 8 7 6 9 10 5 8 4 3 6 6 6 6 6 6 8 8 9 7 5 5 5 5 5 10 6 7 6 5 6 4 4 3 3 4 4 5 5 10 10 8 7 5 9 9 9 10 8 4 3 2 Solving time:0.060 Filtering time:0.040 ID:51 (14,12,53) Graph |V|:91 Solution size:5882 Filtered solution size:2835 Parallel solution length:301 Parallelism:9.419 Step parallelism:26 21 22 18 15 13 13 17 15 13 16 15 17 13 11 10 9 11 10 10 14 11 12 17 17 13 12 6 7 10 13 4 9 13 10 12 12 12 12 13 15 9 8 8 10 10 7 6 8 6 6 6 6 12 12 11 11 8 5 8 11 14 11 11 10 8 15 16 14 13 13 12 19 11 19 15 17 15 19 13 9 9 17 13 14 18 11 5 8 8 8 10 14 11 6 5 10 10 9 9 13 13 10 14 12 18 9 11 16 5 6 10 8 12 14 13 9 10 13 11 9 11 10 10 14 16 16 9 4 12 10 11 10 9 7 9 13 13 12 10 11 10 11 9 9 10 10 9 9 10 14 12 11 11 11 11 11 11 11 3 3 10 6 12 9 3 8 11 10 13 9 13 12 6 7 10 8 7 10 11 8 10 10 12 8 11 12 12 9 8 7 6 9 7 4 4 6 8 12 9 9 10 11 9 12 10 7 6 8 5 6 6 5 6 10 12 4 5 11 11 7 10 12 11 7 10 7 7 13 13 12 10 7 6 6 4 4 5 5 4 7 3 8 5 7 6 6 6 6 4 7 8 7 3 4 4 6 6 4 4 8 7 5 4 2 4 4 4 4 4 4 4 4 4 4 4 9 9 9 9 8 7 7 6 5 3 5 8 4 4 4 8 8 8 8 6 5 6 5 4 4 Solving time:0.060 Filtering time:0.050 ID:52 (14,12,54) Graph |V|:91 Solution size:5490 Filtered solution size:2615 Parallel solution length:295 Parallelism:8.864 Step parallelism:25 20 21 17 14 13 13 17 15 13 16 15 14 19 15 18 15 15 15 9 11 11 15 17 18 12 5 7 10 15 15 9 10 11 14 11 17 10 10 9 10 11 9 8 8 9 8 8 9 13 13 12 12 10 9 9 9 11 11 12 10 10 10 11 10 9 11 15 16 7 14 14 14 10 10 14 13 6 10 10 12 8 12 11 7 6 5 11 12 11 9 11 17 23 17 8 8 17 14 14 13 8 8 4 14 13 9 13 10 17 15 12 10 10 19 17 12 9 11 10 10 12 13 9 9 9 9 7 8 8 8 8 9 8 8 8 11 11 11 11 11 11 6 5 5 7 7 7 13 8 6 10 6 7 7 7 4 4 1 5 5 5 4 3 7 7 6 6 10 9 10 10 13 9 7 2 6 7 7 7 10 11 14 13 9 9 6 6 8 8 7 7 9 2 2 3 4 8 7 7 7 5 5 7 7 10 2 2 1 1 4 6 4 6 6 5 7 6 5 8 7 6 3 4 4 4 6 8 8 8 6 8 8 12 10 10 10 11 11 10 10 8 5 5 6 3 6 2 3 6 9 9 4 6 5 10 10 7 5 4 4 2 1 1 3 3 3 3 3 3 3 4 8 8 8 5 11 3 3 3 2 2 3 4 4 5 11 11 9 6 9 7 6 6 5 Solving time:0.060 Filtering time:0.030 ID:53 (14,12,55) Graph |V|:91 Solution size:5671 Filtered solution size:2634 Parallel solution length:284 Parallelism:9.275 Step parallelism:24 21 21 17 14 12 13 17 12 14 17 14 15 19 12 19 16 13 15 11 16 17 15 9 8 9 5 12 14 12 11 6 11 13 14 10 14 7 6 7 9 9 9 5 6 6 9 9 15 7 14 12 11 10 12 8 10 6 11 7 8 11 10 10 10 10 7 16 10 5 12 16 12 9 9 8 7 8 8 8 14 14 14 12 13 12 9 11 11 7 11 8 18 9 8 8 15 18 15 17 10 11 14 16 15 11 13 9 9 14 10 13 14 11 13 13 10 11 10 6 5 5 5 12 13 13 11 10 11 10 9 11 10 11 9 9 6 13 7 7 7 5 5 10 9 8 12 5 11 11 11 6 6 6 5 5 5 5 5 5 5 5 5 5 5 5 7 12 10 12 7 9 7 5 7 7 8 8 10 6 6 5 5 4 5 8 7 8 6 9 9 10 9 8 9 12 12 6 6 6 6 6 5 9 13 10 10 10 12 11 13 12 14 16 12 10 10 8 10 9 9 6 5 5 4 7 7 13 9 7 6 11 10 10 10 7 7 7 10 6 11 10 7 7 9 9 10 5 6 4 3 3 4 4 4 4 7 7 6 10 6 10 3 3 4 4 4 8 8 8 6 7 6 6 6 8 6 5 6 4 5 3 2 2 Solving time:0.060 Filtering time:0.030 ID:54 (14,12,56) Graph |V|:91 Solution size:5341 Filtered solution size:2301 Parallel solution length:284 Parallelism:8.102 Step parallelism:23 21 20 17 14 12 13 17 12 14 17 14 15 19 12 19 16 13 15 11 16 17 14 9 8 8 5 12 14 12 11 6 11 13 14 10 14 7 6 7 9 8 7 4 6 6 8 6 14 7 15 14 9 10 9 7 8 6 10 10 10 10 12 12 13 13 9 14 7 17 14 13 13 14 11 7 5 5 7 11 11 14 12 10 17 13 11 9 9 4 9 9 8 8 10 7 7 9 6 10 16 12 12 11 10 8 7 6 16 16 15 13 6 5 5 4 4 4 6 13 10 7 7 5 5 9 3 2 2 9 13 11 12 11 11 11 13 12 8 6 7 8 12 12 9 9 8 10 11 12 9 8 6 5 5 4 3 3 3 11 5 5 5 8 9 6 8 8 8 8 4 5 5 6 5 4 10 9 7 9 8 9 11 8 11 14 12 11 8 8 9 7 4 4 4 5 5 6 4 4 3 4 3 3 3 4 4 4 10 5 3 3 3 3 2 2 5 4 4 4 4 8 11 9 8 8 10 8 8 5 9 11 7 7 8 7 7 7 6 6 5 5 2 4 4 4 7 4 4 4 4 4 10 9 7 1 1 1 1 1 1 1 1 1 1 1 1 5 2 2 2 3 7 7 7 7 5 7 6 4 4 4 1 1 Solving time:0.060 Filtering time:0.030 ID:55 (14,12,57) Graph |V|:91 Solution size:4898 Filtered solution size:2054 Parallel solution length:227 Parallelism:9.048 Step parallelism:22 20 19 16 11 11 15 18 12 14 18 16 13 21 21 13 14 19 15 17 17 14 13 15 14 14 16 10 9 12 13 12 12 12 11 9 6 9 5 5 8 6 5 11 11 6 6 10 9 8 11 9 8 8 8 8 6 5 9 9 15 8 7 13 14 12 12 8 9 7 14 10 11 11 8 8 8 8 9 16 11 11 13 10 14 11 9 10 10 13 10 9 8 6 6 9 12 16 12 16 11 7 11 6 10 19 12 8 8 13 13 13 16 18 14 10 10 13 15 15 10 9 9 10 12 12 11 14 17 9 8 6 6 5 3 3 2 2 4 4 4 4 4 4 4 4 4 3 3 2 2 2 2 2 2 2 2 2 2 8 5 5 3 7 7 6 6 5 10 8 7 8 8 11 10 7 9 9 8 8 8 6 7 10 10 11 11 9 6 11 12 10 8 9 6 9 12 7 12 13 13 11 7 10 4 4 3 4 5 5 4 8 8 7 5 4 3 1 1 2 2 2 2 2 2 2 1 Solving time:0.060 Filtering time:0.020 ID:56 (14,12,58) Graph |V|:91 Solution size:4951 Filtered solution size:2129 Parallel solution length:242 Parallelism:8.798 Step parallelism:21 18 19 17 11 11 15 18 12 14 18 16 13 21 21 13 14 19 15 17 17 14 13 15 14 14 16 10 9 12 13 12 12 12 11 9 6 9 5 5 6 6 5 11 11 6 6 10 9 8 11 9 11 8 8 8 6 5 9 9 11 8 7 9 10 8 8 10 7 17 12 11 11 11 11 10 11 9 10 9 9 11 8 10 11 12 11 17 7 10 10 9 9 12 11 11 13 13 7 11 11 9 10 16 14 16 13 12 9 8 5 5 6 3 3 7 7 7 7 5 5 6 3 5 5 5 4 5 4 7 9 8 10 13 13 10 10 9 9 9 9 16 13 13 10 11 7 8 8 8 6 5 6 6 6 6 5 5 6 6 8 7 8 5 5 6 5 6 6 5 10 8 9 9 9 9 10 13 9 7 4 6 4 4 6 6 8 6 8 7 7 6 10 9 8 12 9 8 8 4 4 4 4 4 7 5 7 9 8 12 5 7 6 6 9 6 5 9 5 3 2 5 6 5 6 6 5 5 7 6 5 4 4 4 8 8 3 3 3 2 2 4 Solving time:0.050 Filtering time:0.020 ID:57 (14,12,59) Graph |V|:91 Solution size:4812 Filtered solution size:1991 Parallel solution length:234 Parallelism:8.509 Step parallelism:22 19 20 18 13 11 17 13 15 9 20 18 21 16 21 17 17 22 17 13 11 13 14 14 16 9 6 10 10 11 15 11 9 6 7 7 8 7 6 8 7 8 11 9 7 7 9 11 10 9 10 13 11 12 12 10 8 8 8 8 8 5 3 6 9 9 6 9 8 8 8 7 10 6 8 8 8 8 8 7 14 14 12 12 6 9 8 9 10 10 14 16 15 19 15 13 13 16 10 12 3 11 10 12 11 9 7 7 6 4 8 12 8 8 7 6 7 7 7 6 4 5 4 4 4 4 5 6 6 6 4 3 3 3 4 4 3 3 3 3 5 6 9 9 15 14 15 13 16 16 15 10 7 11 9 10 8 7 6 3 5 5 4 6 5 5 7 7 6 6 7 6 8 7 7 5 4 6 7 5 4 2 3 6 7 10 7 7 6 5 5 9 9 8 7 10 9 5 5 6 5 3 3 6 6 6 10 10 9 9 8 2 3 6 6 5 5 5 5 5 2 2 7 4 4 4 4 7 7 7 6 5 4 1 Solving time:0.050 Filtering time:0.020 ID:58 (14,12,60) Graph |V|:91 Solution size:4568 Filtered solution size:1869 Parallel solution length:200 Parallelism:9.345 Step parallelism:21 18 19 17 12 10 16 13 14 9 19 18 20 16 21 17 18 21 16 13 13 13 14 14 16 11 10 13 13 12 12 11 11 8 6 7 6 6 5 7 12 12 9 10 10 12 11 9 9 9 9 11 9 10 7 8 7 7 9 6 6 9 9 6 5 7 5 10 9 10 10 13 8 8 9 13 11 9 10 7 11 14 12 11 10 11 8 13 9 9 9 14 15 12 10 19 19 13 10 8 10 10 8 7 9 10 14 14 13 12 11 7 7 13 13 13 13 10 9 7 5 7 8 6 6 6 5 7 6 1 1 4 4 8 7 9 13 6 8 7 10 8 10 9 7 6 6 5 5 5 5 5 4 3 5 6 8 9 8 9 7 10 8 10 11 10 5 8 5 9 8 8 8 8 8 8 8 5 5 5 5 6 6 6 7 7 2 7 7 7 6 6 6 6 6 6 6 5 5 3 Solving time:0.050 Filtering time:0.020 ID:59 (14,12,61) Graph |V|:91 Solution size:4553 Filtered solution size:1736 Parallel solution length:216 Parallelism:8.037 Step parallelism:20 17 19 16 13 12 16 16 14 11 16 17 13 17 21 14 9 13 12 15 14 15 11 14 11 11 9 9 12 12 11 9 9 10 8 5 6 5 5 4 6 10 10 8 11 11 10 9 7 10 9 9 8 7 8 10 8 7 7 9 6 6 9 9 7 7 8 6 11 10 11 9 12 8 8 8 10 8 10 8 11 14 10 11 9 12 10 12 12 10 9 10 9 12 12 14 13 15 8 9 4 2 3 3 3 5 5 5 5 9 9 9 8 10 10 8 11 10 10 7 6 6 8 9 7 12 12 11 11 8 6 6 6 9 5 5 5 7 7 5 6 5 6 10 10 3 6 7 6 5 4 9 1 1 1 1 1 1 6 6 12 12 12 10 11 10 4 4 7 7 7 7 4 6 4 4 8 4 4 4 4 3 7 6 6 4 3 4 1 1 4 4 3 4 2 5 2 2 5 5 5 5 5 2 6 6 5 5 7 6 6 6 6 6 3 1 Solving time:0.050 Filtering time:0.010 ID:60 (14,12,62) Graph |V|:91 Solution size:4541 Filtered solution size:1715 Parallel solution length:205 Parallelism:8.366 Step parallelism:20 19 20 16 13 12 16 16 14 11 16 17 13 17 21 14 9 13 12 15 14 15 11 14 11 11 9 9 12 12 12 9 9 10 9 5 6 5 5 4 6 10 10 8 11 11 10 9 7 10 9 9 8 7 8 10 8 7 7 9 6 6 9 9 7 7 5 4 10 9 10 9 11 9 9 9 8 10 9 13 12 11 9 11 9 8 10 10 10 7 10 10 12 11 9 7 7 5 6 5 7 7 8 7 7 7 7 7 12 9 8 8 8 6 9 9 5 6 6 11 8 9 14 9 9 9 11 11 7 5 4 4 4 4 4 4 4 4 2 1 4 9 9 8 7 7 11 11 12 10 9 8 12 7 6 6 7 7 8 11 12 11 9 9 9 10 9 7 7 5 5 5 5 4 3 3 3 4 7 7 3 7 6 7 5 5 5 5 5 5 2 5 5 5 5 5 5 5 7 6 5 2 1 1 1 Solving time:0.050 Filtering time:0.020 ID:61 (14,12,63) Graph |V|:91 Solution size:4685 Filtered solution size:1660 Parallel solution length:210 Parallelism:7.905 Step parallelism:22 19 20 15 12 11 15 15 12 12 10 15 13 17 21 16 10 12 13 6 14 10 8 12 11 8 8 9 10 12 14 13 9 6 7 4 5 5 4 8 8 8 17 17 13 13 14 14 11 14 8 10 9 13 14 11 8 5 7 7 7 8 7 6 7 7 8 9 8 9 8 8 8 7 12 10 7 6 7 8 12 13 13 9 10 8 3 3 7 7 6 9 11 11 12 10 11 10 6 7 8 9 8 7 5 4 4 8 8 7 3 3 1 8 8 8 7 9 8 6 6 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 5 5 12 12 8 8 7 7 8 11 10 7 8 9 10 8 7 9 8 9 11 8 6 6 5 5 8 6 6 8 3 5 5 5 6 6 11 7 11 10 9 7 6 6 4 4 5 5 7 2 4 4 4 6 5 5 6 6 5 5 4 3 3 3 3 3 3 3 2 1 1 1 1 Solving time:0.060 Filtering time:0.010 ID:62 (14,12,64) Graph |V|:91 Solution size:4834 Filtered solution size:1763 Parallel solution length:235 Parallelism:7.502 Step parallelism:21 18 19 12 10 10 15 16 11 11 9 14 13 15 20 17 11 17 15 6 12 6 5 10 10 9 7 9 10 12 13 13 14 13 10 11 10 10 6 6 6 9 9 9 9 9 9 12 12 8 5 5 7 7 7 5 4 5 7 6 10 11 14 14 15 6 7 9 8 7 11 6 7 6 5 8 14 8 9 8 8 12 12 12 11 11 13 13 11 11 7 8 5 6 6 6 6 6 3 8 8 7 11 10 6 7 13 12 15 15 13 7 7 5 6 6 6 7 7 5 5 6 6 5 5 4 4 9 9 7 5 4 3 3 8 8 7 6 6 7 6 6 7 6 5 6 6 7 7 3 5 3 4 2 2 6 5 5 5 5 7 7 6 5 6 5 5 4 4 5 5 3 3 3 6 6 5 5 4 2 5 4 4 8 8 10 7 7 8 6 6 6 6 6 6 6 4 6 6 8 8 7 7 6 8 8 7 7 7 8 5 4 7 6 7 6 4 5 2 2 1 3 3 3 2 4 4 4 4 4 3 3 3 2 1 Solving time:0.050 Filtering time:0.020 ID:63 (14,12,65) Graph |V|:91 Solution size:4580 Filtered solution size:1457 Parallel solution length:208 Parallelism:7.005 Step parallelism:22 19 21 16 12 11 16 15 9 13 19 18 18 13 10 10 10 7 13 6 5 10 10 9 7 9 10 12 13 13 14 13 10 10 8 8 4 6 6 9 9 9 9 9 9 12 12 8 5 5 7 7 7 5 4 6 7 6 10 11 11 9 10 7 9 11 7 7 9 6 8 7 5 9 9 7 9 8 8 8 8 8 11 8 9 9 10 10 9 11 10 10 7 11 11 9 10 10 6 8 11 7 5 8 6 7 6 6 5 5 5 5 5 6 6 4 4 5 5 4 3 5 4 3 3 3 3 2 3 3 2 6 5 9 6 7 9 9 6 9 9 7 7 5 6 5 7 7 6 8 7 8 7 6 5 5 4 4 4 4 4 4 4 5 2 5 4 5 5 6 6 6 6 6 5 5 6 4 4 6 6 4 4 4 2 2 2 2 2 4 1 2 2 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 Solving time:0.050 Filtering time:0.010 ID:64 (14,12,66) Graph |V|:91 Solution size:4580 Filtered solution size:1439 Parallel solution length:207 Parallelism:6.952 Step parallelism:21 18 20 15 14 12 14 13 11 13 16 16 17 14 15 6 7 13 7 5 10 10 7 7 9 10 12 13 13 14 13 10 10 8 8 4 6 6 9 9 9 9 9 9 12 12 8 5 5 7 7 7 5 4 6 7 6 10 11 11 9 10 7 9 11 7 7 9 6 8 7 5 9 9 7 9 8 8 8 8 8 11 8 9 9 10 10 9 11 10 10 7 11 11 9 10 10 6 8 11 7 5 8 6 7 6 6 5 5 5 5 5 6 6 4 4 5 5 4 3 5 4 3 3 3 3 2 3 3 2 6 5 9 6 7 9 9 6 9 9 7 7 5 6 5 7 7 6 8 7 8 7 6 5 5 4 4 4 4 4 4 4 5 2 5 4 5 5 6 6 6 6 6 5 5 6 4 4 6 6 4 4 4 2 2 2 2 2 4 1 2 2 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 Solving time:0.050 Filtering time:0.010 ID:65 (14,12,67) Graph |V|:91 Solution size:4580 Filtered solution size:1430 Parallel solution length:207 Parallelism:6.908 Step parallelism:20 17 19 14 14 12 14 13 11 13 16 16 17 14 15 6 7 13 7 5 10 10 7 7 9 10 12 13 13 14 13 10 10 8 8 4 6 6 9 9 9 9 9 9 12 11 8 5 5 7 6 6 4 3 6 7 6 10 11 11 9 10 7 9 11 7 7 9 6 8 7 5 9 9 7 9 8 8 8 8 8 11 8 9 9 10 10 9 11 10 10 7 11 11 9 10 10 6 8 11 7 5 8 6 7 6 6 5 5 5 5 5 6 6 4 4 5 5 4 3 5 4 3 3 3 3 2 3 3 2 6 5 9 6 7 9 9 6 9 9 7 7 5 6 5 7 7 6 8 7 8 7 6 5 5 4 4 4 4 4 4 4 5 2 5 4 5 5 6 6 6 6 6 5 5 6 4 4 6 6 4 4 4 2 2 2 2 2 4 1 2 2 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 Solving time:0.050 Filtering time:0.010 ID:66 (14,12,68) Graph |V|:91 Solution size:3910 Filtered solution size:1214 Parallel solution length:172 Parallelism:7.058 Step parallelism:20 16 16 13 12 12 13 12 9 12 14 15 16 14 14 6 6 12 6 5 11 11 10 7 10 10 10 7 8 7 7 7 13 11 7 7 7 10 9 9 9 6 7 7 9 6 5 9 8 11 10 10 8 8 10 10 8 9 9 7 8 8 10 11 10 10 10 10 7 6 6 5 4 5 5 10 5 4 4 6 9 8 7 6 5 4 4 3 4 4 4 4 7 7 8 8 9 8 6 7 5 8 8 8 7 5 5 2 5 7 9 6 7 5 5 5 7 5 4 4 4 3 3 3 3 3 6 6 6 4 7 7 6 7 7 7 7 7 8 9 9 5 8 8 6 4 3 4 6 5 5 6 7 6 5 4 3 3 2 2 2 3 5 5 4 3 3 1 1 1 1 1 Solving time:0.050 Filtering time:0.010 ID:67 (14,12,69) Graph |V|:91 Solution size:4311 Filtered solution size:1280 Parallel solution length:184 Parallelism:6.957 Step parallelism:21 19 16 8 7 14 12 9 12 12 13 13 12 15 14 11 12 13 11 10 7 12 11 13 11 8 10 9 11 12 8 4 4 4 3 4 3 3 3 6 6 4 4 6 6 6 6 6 5 4 4 4 7 5 5 6 5 6 7 7 7 13 13 12 11 11 11 10 9 8 9 6 5 5 4 4 3 10 11 11 11 11 11 10 9 9 9 8 7 9 9 8 8 8 10 10 9 8 7 5 8 8 8 8 8 6 4 6 6 6 6 5 5 4 4 4 3 3 3 3 3 5 5 5 4 4 6 5 4 7 5 7 7 6 4 7 3 3 3 4 6 6 4 5 5 7 7 8 7 7 7 6 6 10 7 7 7 7 4 4 5 2 2 2 4 4 4 4 4 4 6 6 6 4 3 5 3 3 3 4 4 3 3 2 Solving time:0.050 Filtering time:0.010 ID:68 (14,12,70) Graph |V|:91 Solution size:4449 Filtered solution size:1265 Parallel solution length:190 Parallelism:6.658 Step parallelism:20 18 15 7 8 13 12 9 12 12 13 13 13 14 13 10 12 12 11 7 9 11 12 10 10 9 9 7 9 12 7 3 3 4 3 3 3 6 6 4 4 6 6 6 6 6 5 4 4 4 6 5 5 6 5 6 7 7 7 13 13 12 11 11 11 10 9 8 9 6 5 5 4 4 3 10 11 11 11 11 11 10 9 9 9 8 7 9 9 8 8 8 10 10 9 8 7 5 8 8 8 8 8 6 4 5 5 5 5 4 4 4 4 4 3 3 3 3 3 5 5 5 5 5 7 5 4 6 4 6 6 5 4 8 3 3 3 3 5 5 4 4 7 3 3 2 2 4 7 7 7 4 5 6 7 7 7 6 6 5 5 5 5 5 6 5 4 5 7 7 6 7 6 5 5 5 3 3 2 5 4 2 2 3 3 3 3 1 1 1 Solving time:0.050 Filtering time:0.010 ID:69 (14,12,71) Graph |V|:91 Solution size:4415 Filtered solution size:1300 Parallel solution length:198 Parallelism:6.566 Step parallelism:19 17 14 7 8 13 12 9 12 12 13 13 13 14 13 10 12 12 11 7 9 11 12 10 10 9 9 7 9 12 7 3 3 4 3 3 3 6 6 4 4 6 6 6 6 6 5 4 4 4 6 5 5 6 5 6 7 7 7 13 13 12 11 11 11 10 9 8 9 6 5 5 4 3 1 8 8 9 9 9 9 9 8 8 8 8 7 8 8 8 10 8 10 8 9 8 8 6 8 8 8 8 8 5 5 7 7 7 6 6 6 5 6 5 4 3 3 4 4 6 4 4 4 4 4 4 6 4 6 5 4 7 8 7 7 9 6 6 7 7 9 6 6 6 3 3 2 5 5 6 6 5 4 4 6 6 4 3 4 4 4 4 4 3 3 3 3 6 6 6 6 6 5 5 7 6 5 6 7 5 4 5 4 3 4 4 3 2 2 2 2 4 4 4 2 2 1 1 Solving time:0.040 Filtering time:0.010 ID:70 (14,12,72) Graph |V|:91 Solution size:3972 Filtered solution size:1019 Parallel solution length:174 Parallelism:5.856 Step parallelism:18 16 13 9 10 13 12 10 10 10 12 10 9 12 12 10 11 11 11 9 11 9 11 9 9 9 9 9 5 9 5 5 3 5 5 5 5 8 8 5 5 7 6 5 5 5 5 4 4 4 5 5 5 4 5 10 11 8 8 5 6 5 8 8 7 6 6 6 4 3 7 4 4 7 7 8 6 5 7 8 5 4 4 6 6 6 5 2 2 4 4 4 4 4 5 4 6 5 5 4 4 7 5 6 6 5 5 4 5 4 4 4 4 3 3 4 4 4 3 5 4 4 4 4 6 9 5 7 7 6 7 9 7 6 6 7 8 7 6 4 4 4 6 5 5 3 3 3 3 3 3 2 3 3 5 5 5 5 3 4 3 3 3 3 2 2 3 3 2 2 2 1 1 1 Solving time:0.050 Filtering time:0.000 ID:71 (14,12,73) Graph |V|:91 Solution size:4237 Filtered solution size:978 Parallel solution length:178 Parallelism:5.494 Step parallelism:17 15 13 8 9 11 9 9 9 9 10 11 12 10 7 5 9 11 8 9 8 10 10 6 6 6 6 6 9 7 7 8 9 8 7 4 5 6 4 3 3 3 5 9 9 9 7 7 5 9 9 6 7 6 7 7 7 6 6 6 4 8 6 5 8 8 5 5 5 1 3 3 3 3 5 5 5 5 4 5 11 11 9 8 7 7 7 9 6 4 4 4 4 3 6 5 5 5 5 6 6 6 6 4 4 6 7 7 5 5 4 4 6 6 6 5 5 5 4 4 3 5 5 5 5 5 6 6 5 5 4 4 5 4 4 4 6 6 5 5 6 6 6 6 6 6 5 5 2 1 3 3 2 2 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 Solving time:0.040 Filtering time:0.010 ID:72 (14,12,74) Graph |V|:91 Solution size:3820 Filtered solution size:884 Parallel solution length:181 Parallelism:4.884 Step parallelism:16 13 10 10 10 10 10 10 11 11 10 10 12 11 10 9 12 11 9 8 11 9 8 8 6 5 5 5 11 11 10 7 7 6 7 5 5 5 5 6 7 5 5 6 5 8 6 4 3 3 7 7 7 4 4 4 4 4 4 4 4 4 4 5 4 4 3 2 2 2 6 4 4 4 5 5 7 7 7 8 6 6 6 5 5 4 6 5 4 5 4 6 3 2 1 1 1 3 3 4 3 3 2 6 6 4 4 6 6 5 5 5 7 6 6 5 4 4 3 3 2 2 5 3 3 3 3 3 3 3 1 1 1 1 1 1 1 1 2 2 2 2 4 4 4 4 4 4 4 7 5 5 4 3 3 4 4 3 3 2 3 2 2 2 2 2 2 2 2 2 3 3 3 3 2 2 2 2 2 2 2 Solving time:0.040 Filtering time:0.000 ID:73 (14,12,75) Graph |V|:91 Solution size:3880 Filtered solution size:893 Parallel solution length:175 Parallelism:5.103 Step parallelism:15 12 9 10 10 10 10 8 9 9 8 9 11 10 9 11 6 6 3 7 7 7 6 6 5 6 4 5 5 7 5 5 4 4 6 7 7 8 8 4 6 7 6 8 8 8 7 7 7 7 7 7 6 9 7 8 9 9 9 9 6 5 4 3 3 4 4 4 4 9 8 7 7 6 7 7 6 5 4 5 6 6 5 2 2 3 2 3 5 3 2 3 3 4 4 4 4 3 4 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 4 4 3 3 3 3 4 4 6 4 4 4 4 4 5 4 4 5 3 2 1 1 5 7 7 7 6 6 6 6 6 6 6 6 5 3 3 3 2 2 1 2 3 3 3 3 3 3 3 3 2 2 2 3 3 3 3 2 2 2 Solving time:0.040 Filtering time:0.010 ID:74 (14,12,76) Graph |V|:91 Solution size:3751 Filtered solution size:905 Parallel solution length:176 Parallelism:5.142 Step parallelism:14 11 9 10 10 10 10 8 9 9 8 9 11 10 9 11 6 6 3 7 7 7 6 6 5 6 4 5 5 7 5 5 4 4 6 7 7 8 8 4 6 7 6 8 8 8 8 7 7 7 7 7 6 9 7 8 9 8 8 5 5 4 3 2 6 4 4 7 7 7 7 7 7 7 6 6 6 6 8 7 6 3 2 4 3 4 6 3 3 3 3 5 5 5 5 5 6 6 5 5 5 5 4 4 4 4 3 3 3 3 3 3 4 5 3 2 3 1 1 1 1 1 4 3 3 6 6 6 6 5 5 6 5 4 5 5 5 3 5 4 4 2 6 6 4 4 4 4 4 4 5 5 2 2 5 2 1 2 4 3 4 4 3 3 2 2 2 2 2 1 1 1 2 2 3 1 Solving time:0.050 Filtering time:0.000 ID:75 (14,12,77) Graph |V|:91 Solution size:3573 Filtered solution size:756 Parallel solution length:147 Parallelism:5.143 Step parallelism:13 10 8 9 10 8 10 8 9 8 11 8 8 11 8 7 5 6 5 5 4 4 4 5 2 4 4 4 3 3 4 6 6 8 8 10 6 4 6 6 8 8 8 6 6 7 6 6 7 6 7 6 7 8 7 9 9 10 9 8 7 7 6 4 5 4 7 6 4 2 2 2 2 2 2 2 2 2 2 3 4 3 4 4 2 2 3 3 4 3 3 6 4 5 6 6 6 6 2 5 4 4 4 3 5 6 6 7 6 5 5 5 5 5 3 6 6 6 6 6 6 6 6 6 5 3 3 4 4 3 2 2 2 2 2 2 2 2 2 2 2 3 3 3 2 2 2 Solving time:0.040 Filtering time:0.000 ID:76 (14,12,78) Graph |V|:91 Solution size:3573 Filtered solution size:748 Parallel solution length:147 Parallelism:5.088 Step parallelism:12 11 9 8 11 9 9 9 10 10 11 10 6 7 6 6 5 5 3 3 4 4 4 5 2 4 4 3 3 3 4 6 6 8 8 10 6 4 6 6 8 8 8 6 6 7 6 6 7 6 7 6 7 8 7 9 9 10 9 8 7 7 6 4 5 4 7 6 4 2 2 2 2 2 2 2 2 2 2 3 4 3 4 4 2 2 3 3 4 3 3 6 4 5 6 6 6 6 2 5 4 4 4 3 5 6 6 7 6 5 5 5 5 5 3 6 6 6 6 6 6 6 6 6 5 3 3 4 4 3 2 2 2 2 2 2 2 2 2 2 2 3 3 3 2 2 2 Solving time:0.040 Filtering time:0.000 ID:77 (14,12,79) Graph |V|:91 Solution size:3624 Filtered solution size:715 Parallel solution length:137 Parallelism:5.219 Step parallelism:11 10 8 7 10 8 8 8 9 9 10 9 5 5 4 4 4 5 5 5 6 6 5 6 3 5 5 4 3 3 4 5 7 8 7 7 6 7 7 5 5 4 4 4 4 4 4 5 5 5 8 8 8 8 7 6 7 7 6 6 6 7 6 8 4 5 4 5 5 6 5 5 6 4 5 5 3 4 4 3 4 5 3 4 3 3 7 5 5 4 7 7 7 6 5 6 6 8 6 8 7 6 5 4 5 2 4 4 4 6 4 3 4 3 5 5 5 4 4 4 4 4 4 3 3 2 2 2 2 2 4 4 3 3 3 3 2 Solving time:0.040 Filtering time:0.000 ID:78 (14,12,80) Graph |V|:91 Solution size:3426 Filtered solution size:650 Parallel solution length:147 Parallelism:4.422 Step parallelism:11 9 9 8 6 6 5 5 5 4 4 4 6 6 6 6 6 7 5 5 5 7 2 2 3 7 4 4 5 6 6 6 8 8 8 7 8 8 3 6 6 6 3 3 6 6 6 6 6 5 5 5 5 8 6 6 5 3 2 2 4 3 4 4 5 4 4 6 5 3 5 5 4 4 4 3 4 4 4 4 4 2 4 4 3 3 3 3 3 3 3 2 3 4 5 5 5 4 4 4 7 6 6 6 5 5 5 5 5 5 4 6 6 7 3 2 4 4 5 5 2 3 4 3 3 3 3 2 1 1 3 2 2 3 3 3 2 2 3 3 2 1 1 1 1 1 1 Solving time:0.040 Filtering time:0.010 ID:79 (14,12,81) Graph |V|:91 Solution size:3683 Filtered solution size:510 Parallel solution length:118 Parallelism:4.322 Step parallelism:10 9 8 8 7 6 6 6 7 5 5 4 4 4 5 5 5 5 5 5 8 9 7 7 7 9 7 6 4 4 7 6 7 5 5 5 5 4 8 9 6 8 6 5 4 3 2 3 5 5 5 4 4 4 3 5 5 4 4 3 4 4 5 5 5 4 3 2 2 5 5 4 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 5 5 5 4 5 5 4 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 1 1 1 Solving time:0.040 Filtering time:0.000 ID:80 (14,12,82) Graph |V|:91 Solution size:3746 Filtered solution size:584 Parallel solution length:152 Parallelism:3.842 Step parallelism:9 8 7 7 7 7 7 7 7 5 5 5 5 5 5 6 6 3 3 3 3 5 3 4 5 2 2 4 4 4 4 4 3 3 3 5 3 3 3 3 3 3 3 2 3 3 3 4 4 3 3 3 4 4 4 4 4 4 5 5 5 5 5 5 5 4 4 3 2 2 2 4 3 3 6 6 4 4 5 3 3 4 4 4 4 4 2 2 2 3 3 3 4 4 4 6 6 6 6 5 5 5 5 5 5 5 4 4 4 4 4 4 4 5 6 5 4 4 4 4 3 3 3 3 1 1 1 3 3 2 2 2 2 2 2 2 3 3 3 3 4 4 3 3 2 3 3 3 2 1 1 1 Solving time:0.040 Filtering time:0.000 ID:81 (14,12,83) Graph |V|:91 Solution size:3432 Filtered solution size:522 Parallel solution length:132 Parallelism:3.955 Step parallelism:8 7 6 6 6 6 6 7 7 5 5 5 5 6 6 5 5 3 3 5 4 4 4 2 2 2 2 4 4 4 4 4 3 3 4 6 4 4 3 3 3 3 3 2 3 3 3 4 4 3 3 3 4 4 4 4 4 4 3 3 3 3 3 4 4 4 4 4 3 3 3 4 4 3 4 6 4 4 4 4 4 5 5 5 5 5 5 5 5 7 6 6 4 6 4 4 4 2 2 6 6 6 5 5 5 5 3 3 2 2 5 5 3 4 4 3 5 3 3 1 2 1 3 3 3 3 3 2 2 1 1 1 Solving time:0.040 Filtering time:0.000 ID:82 (14,12,84) Graph |V|:91 Solution size:3229 Filtered solution size:442 Parallel solution length:118 Parallelism:3.746 Step parallelism:7 6 5 5 5 4 4 4 4 4 4 3 3 4 4 4 5 3 5 5 4 4 6 6 6 5 5 5 2 2 2 4 3 4 4 5 5 5 5 4 4 5 5 5 5 6 6 5 5 5 5 4 3 3 3 5 4 4 4 5 4 3 3 2 3 3 3 3 3 2 3 3 5 5 4 5 2 4 5 5 4 4 4 4 4 4 4 4 4 4 4 4 2 4 3 4 4 3 4 2 2 2 2 3 3 3 3 3 2 2 1 1 1 1 1 1 1 1 Solving time:0.030 Filtering time:0.000 ID:83 (14,12,85) Graph |V|:91 Solution size:2959 Filtered solution size:322 Parallel solution length:104 Parallelism:3.096 Step parallelism:6 5 4 4 5 5 5 5 5 4 4 4 4 4 4 4 4 3 4 3 3 3 5 3 3 3 3 3 2 2 2 3 3 5 5 5 5 5 5 4 4 5 5 4 4 5 4 3 3 3 2 2 2 2 2 4 4 4 4 4 3 2 2 2 3 3 2 2 3 3 3 2 3 3 4 4 2 2 2 3 3 3 3 3 3 3 3 3 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 Solving time:0.040 Filtering time:0.000 ID:84 (14,12,86) Graph |V|:91 Solution size:2810 Filtered solution size:208 Parallel solution length:62 Parallelism:3.355 Step parallelism:5 4 4 4 4 4 4 4 4 4 4 3 3 4 4 4 4 4 4 4 3 2 2 2 3 3 3 4 4 4 4 3 3 4 4 5 5 4 3 3 4 4 4 4 3 2 2 3 3 3 3 3 3 3 3 3 3 3 2 1 1 1 Solving time:0.040 Filtering time:0.000 ID:85 (14,12,87) Graph |V|:91 Solution size:2589 Filtered solution size:182 Parallel solution length:70 Parallelism:2.600 Step parallelism:4 4 4 4 4 4 4 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 4 3 3 2 2 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 Solving time:0.040 Filtering time:0.000 ID:86 (14,12,88) Graph |V|:91 Solution size:2432 Filtered solution size:132 Parallel solution length:68 Parallelism:1.941 Step parallelism:3 3 3 3 3 2 2 2 2 1 2 2 2 2 2 3 3 3 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 2 2 2 1 1 1 1 1 1 1 1 1 2 2 2 2 2 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 1 1 1 Solving time:0.030 Filtering time:0.000 ID:87 (14,12,89) Graph |V|:91 Solution size:2106 Filtered solution size:57 Parallel solution length:44 Parallelism:1.295 Step parallelism:2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 Solving time:0.030 Filtering time:0.000 ID:88 (14,12,90) Graph |V|:91 Solution size:1801 Filtered solution size:13 Parallel solution length:13 Parallelism:1.000 Step parallelism:1 1 1 1 1 1 1 1 1 1 1 1 1 Solving time:0.030 Filtering time:0.000 ID:89 (14,12,91) Graph |V|:91 ID:90 (14,12,92) Graph |V|:91 ID:91 (14,12,93) Graph |V|:91 ID:92 (14,12,94) Graph |V|:91 ID:93 (14,12,95) Graph |V|:91 ID:94 (14,12,96) Graph |V|:91 ID:95 (14,12,97) Graph |V|:91 ID:96 (14,12,98) Graph |V|:91 ID:97 (14,12,99) Graph |V|:91 ID:98 (14,12,100) Graph |V|:91