ID:0 (14,12,2)
Graph |V|:91
Solution size:7475
Filtered solution size:7368
Parallel solution length:596
Parallelism:12.362
Step parallelism:17 7 14 13 9 6 8 7 17 17 17 23 13 20 11 11 13 7 6 10 9 9 9 12 6 22 15 9 11 11 11 11 12 24 17 19 10 14 17 9 9 11 6 12 11 12 12 14 29 29 13 12 14 11 15 19 8 23 19 19 19 19 19 23 13 13 7 21 2 19 15 15 15 15 21 13 13 6 22 3 17 7 15 11 12 10 13 17 9 17 10 10 10 32 17 10 12 11 16 10 10 10 32 9 10 9 9 11 6 11 11 12 10 9 24 11 18 13 14 11 19 11 11 8 16 20 13 3 7 17 20 11 11 7 15 2 16 14 14 14 14 14 14 11 11 14 7 16 17 14 14 14 12 11 9 16 2 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 11 24 19 29 9 9 9 16 12 11 10 22 22 15 13 13 13 12 20 12 12 12 10 15 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 12 13 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 6 12 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 10 19 16 13 13 13 9 18 18 7 16 6 17 4 16 14 15 10 14 11 20 16 14 7 16 12 10 14 7 13 11 11 11 11 13 28 16 20 13 6 12 13 8 13 7 13 7 14 6 12 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 14 14 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 9 12 12 12 12 12 13 12 12 12 12 12 8 8 6 6 11 9 12 5 5 12 12 10 12 12 5 8 6 6 11 9 12 5 13 9 9 9 13 15 11 8 6 10 9 12 6 6 6 13 9 12 5 5 12 12 10 12 12 5 8 6 6 11 9 12 12 6 4 3 2 9 9 9 9 7 8 6 20 4 11 9 9 13 11 5 3 11 8 11 3 7 6 6 21 4 3 11 11 11 10 11 11 11 5 7 6 6 21 4 6 6 13 11 11 9 6 6 21 4 
Solving time:0.080
Filtering time:0.370
ID:1 (14,12,3)
Graph |V|:91
Solution size:7224
Filtered solution size:7101
Parallel solution length:573
Parallelism:12.393
Step parallelism:16 7 14 13 9 6 8 7 17 17 17 23 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 8 13 13 12 21 11 12 10 17 8 22 17 17 17 17 17 17 12 20 9 19 19 19 19 19 19 24 14 14 11 18 8 19 15 15 15 15 21 13 13 6 23 3 16 12 8 16 11 12 10 13 17 17 15 11 14 10 10 10 16 8 25 12 12 9 18 1 10 15 21 7 8 10 13 12 12 12 13 14 10 14 6 12 12 12 12 13 13 15 13 11 20 12 12 12 6 19 14 14 14 11 19 11 11 8 16 2 15 17 14 14 14 12 11 11 14 7 22 19 19 19 18 14 14 14 12 11 9 16 5 13 9 11 11 11 17 8 18 17 17 16 16 16 15 25 10 14 11 11 9 9 9 12 12 17 11 14 11 11 21 12 12 12 12 12 16 11 11 14 11 15 9 9 12 12 17 10 15 9 9 9 16 10 17 12 17 12 12 21 12 11 11 11 11 22 19 7 13 9 12 12 29 15 29 18 9 10 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 11 18 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 6 12 6 14 16 14 14 14 14 14 21 16 6 14 16 14 14 14 14 14 9 14 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 10 9 13 17 13 6 16 16 6 6 13 13 13 13 13 18 9 13 13 13 13 13 13 13 15 10 27 16 22 14 18 6 15 11 11 13 16 6 20 14 6 15 9 9 8 6 12 16 13 23 17 12 7 22 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 13 17 6 14 12 12 7 15 11 11 11 11 15 12 17 10 10 14 6 12 12 12 7 3 12 12 12 12 11 1 2 7 13 7 2 12 12 9 9 8 10 9 12 6 5 12 12 12 12 12 12 12 12 12 7 8 6 6 11 9 12 14 11 8 6 10 9 12 6 11 13 3 6 6 13 9 12 5 6 6 13 9 12 5 11 12 9 9 12 6 4 9 9 5 10 4 2 9 9 9 13 3 11 11 4 11 9 12 4 11 12 3 11 9 9 9 15 3 3 11 11 9 11 11 4 7 6 6 21 4 11 9 9 14 14 12 4 
Solving time:0.080
Filtering time:0.400
ID:2 (14,12,4)
Graph |V|:91
Solution size:7244
Filtered solution size:7059
Parallel solution length:582
Parallelism:12.129
Step parallelism:19 7 14 16 9 6 8 7 17 17 17 23 20 13 22 14 3 7 12 24 23 20 12 3 7 11 10 15 14 15 7 14 11 15 22 8 9 6 13 11 15 22 8 10 11 6 11 11 12 10 17 8 23 19 19 19 19 19 23 13 13 7 21 2 19 16 15 15 15 21 15 13 6 22 3 16 12 12 10 10 5 12 12 14 16 17 8 19 19 19 19 19 19 23 13 13 12 25 24 15 14 14 14 12 9 15 11 4 13 10 14 16 24 8 8 19 19 19 22 14 14 14 12 11 11 14 14 14 14 6 11 11 11 15 6 14 11 11 11 16 5 6 14 11 11 8 16 2 15 17 14 14 14 12 11 11 14 7 17 14 10 11 9 16 15 18 16 16 16 16 17 12 15 4 10 7 11 11 11 9 20 21 11 11 11 11 11 18 10 14 11 11 20 11 11 11 11 6 17 8 14 14 14 14 16 11 11 11 9 19 7 10 10 15 11 15 9 9 11 10 16 11 19 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 12 23 14 14 14 14 20 12 10 12 16 14 14 14 14 17 16 8 13 8 6 12 16 14 14 14 14 11 12 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 10 10 6 12 27 13 13 9 18 14 15 14 19 11 9 8 6 12 16 13 13 13 10 19 10 5 13 11 9 7 11 27 6 14 17 6 14 13 6 14 11 18 6 14 13 6 16 9 9 9 9 6 24 6 16 9 8 6 12 13 13 7 17 12 10 13 13 8 16 21 11 12 6 21 6 13 11 12 6 5 10 10 10 14 10 10 10 4 11 11 11 11 11 15 17 9 9 7 6 11 11 16 12 9 9 9 8 6 11 11 16 9 7 7 14 7 7 3 12 12 9 15 11 11 13 12 17 10 10 14 6 12 12 12 7 7 4 12 8 7 9 9 14 12 16 11 11 9 6 10 9 12 6 6 6 6 14 9 12 14 11 11 11 10 6 10 9 12 9 10 9 12 6 5 12 9 12 4 8 6 6 11 9 12 5 4 9 9 9 6 2 9 9 5 1 9 9 9 9 14 3 11 9 9 9 14 4 6 6 13 11 8 6 6 21 4 11 9 9 9 15 3 11 11 8 6 20 8 6 6 21 4 
Solving time:0.080
Filtering time:0.430
ID:3 (14,12,5)
Graph |V|:91
Solution size:7244
Filtered solution size:7050
Parallel solution length:581
Parallelism:12.134
Step parallelism:24 6 19 14 2 7 6 17 17 17 23 20 13 21 14 3 7 12 24 23 20 12 3 7 11 10 15 14 15 7 14 11 15 22 8 9 6 13 11 15 22 8 10 11 6 11 11 12 10 17 8 23 19 19 19 19 19 23 13 13 7 21 2 19 16 15 15 15 21 15 13 6 22 3 16 12 12 10 10 5 12 12 14 16 17 8 19 19 19 19 19 19 23 13 13 12 25 24 15 14 14 14 12 9 15 11 4 13 10 14 16 24 8 8 19 19 19 22 14 14 14 12 11 11 14 14 14 14 6 11 11 11 15 6 14 11 11 11 16 5 6 14 11 11 8 16 2 15 17 14 14 14 12 11 11 14 7 17 14 10 11 9 16 15 18 16 16 16 16 17 12 15 4 10 7 11 11 11 9 20 21 11 11 11 11 11 18 10 14 11 11 20 11 11 11 11 6 17 8 14 14 14 14 16 11 11 11 9 19 7 10 10 15 11 15 9 9 11 10 16 11 19 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 12 23 14 14 14 14 20 12 10 12 16 14 14 14 14 17 16 8 13 8 6 12 16 14 14 14 14 11 12 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 10 10 6 12 27 13 13 9 18 14 15 14 19 11 9 8 6 12 16 13 13 13 10 19 10 5 13 11 9 7 11 27 6 14 17 6 14 13 6 14 11 18 6 14 13 6 16 9 9 9 9 6 24 6 16 9 8 6 12 13 13 7 17 12 10 13 13 8 16 21 11 12 6 21 6 13 11 12 6 5 10 10 10 14 10 10 10 4 11 11 11 11 11 15 17 9 9 7 6 11 11 16 12 9 9 9 8 6 11 11 16 9 7 7 14 7 7 3 12 12 9 15 11 11 13 12 17 10 10 14 6 12 12 12 7 7 4 12 8 7 9 9 14 12 16 11 11 9 6 10 9 12 6 6 6 6 14 9 12 14 11 11 11 10 6 10 9 12 9 10 9 12 6 5 12 9 12 4 8 6 6 11 9 12 5 4 9 9 9 6 2 9 9 5 1 9 9 9 9 14 3 11 9 9 9 14 4 6 6 13 11 8 6 6 21 4 11 9 9 9 15 3 11 11 8 6 20 8 6 6 21 4 
Solving time:0.080
Filtering time:0.430
ID:4 (14,12,6)
Graph |V|:91
Solution size:7457
Filtered solution size:7153
Parallel solution length:556
Parallelism:12.865
Step parallelism:24 6 19 14 2 7 6 17 17 17 23 20 16 21 14 6 9 12 23 22 20 14 6 7 11 10 11 14 15 9 13 12 22 2 8 8 5 13 19 23 1 8 9 9 17 11 11 6 29 20 25 24 22 19 22 12 9 19 19 19 14 14 14 20 20 14 6 20 28 14 14 11 11 3 12 10 13 19 11 15 9 9 19 7 13 10 9 19 14 18 2 8 12 19 11 11 18 6 13 11 11 8 16 12 10 14 6 11 11 11 8 16 5 13 11 21 16 23 22 11 8 18 22 12 12 11 11 11 5 15 17 14 14 14 12 10 16 7 22 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 15 14 11 11 10 19 13 13 13 9 14 18 17 11 18 16 16 12 16 12 12 12 12 15 14 14 14 14 18 12 16 11 15 14 14 14 18 12 14 11 11 21 20 14 14 14 14 1 11 22 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 8 13 15 10 26 16 6 20 13 17 20 18 13 13 10 15 17 12 14 10 8 6 12 16 6 21 19 9 14 4 10 20 24 13 18 12 13 10 17 9 9 10 6 10 11 10 23 19 10 12 21 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 3 6 12 9 12 12 6 11 9 9 9 9 17 12 11 11 9 6 10 9 12 6 11 9 9 15 3 11 9 12 5 4 9 9 9 9 7 13 11 11 11 11 15 10 9 9 9 16 11 5 6 12 11 4 11 12 3 3 11 11 9 11 11 4 7 6 6 21 4 3 11 11 11 10 11 11 11 5 7 6 6 21 4 11 9 9 13 4 11 9 9 13 4 
Solving time:0.080
Filtering time:0.440
ID:5 (14,12,7)
Graph |V|:91
Solution size:7314
Filtered solution size:6911
Parallel solution length:558
Parallelism:12.385
Step parallelism:28 8 19 14 2 7 6 17 17 17 20 17 17 21 14 6 9 12 23 19 14 13 3 7 11 10 13 10 15 7 14 11 15 20 8 9 6 13 11 23 1 8 10 11 6 15 11 15 10 1 8 24 22 19 19 19 19 22 12 9 19 33 15 14 14 17 16 13 6 31 14 12 10 10 3 12 12 14 18 8 13 20 10 18 7 19 15 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 7 11 12 9 17 15 16 13 9 13 9 14 15 11 10 10 11 11 12 10 10 15 10 11 18 7 16 10 15 16 12 11 13 22 16 18 11 10 10 14 25 22 12 11 15 7 9 15 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 11 26 5 25 13 13 13 11 13 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 12 20 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 5 8 15 9 9 9 6 12 11 22 12 7 18 5 12 8 15 12 11 24 10 20 6 15 10 9 11 5 10 13 1 13 13 2 10 20 25 5 12 11 11 11 11 13 25 9 7 15 16 6 17 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 12 14 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 8 9 9 14 9 6 11 9 12 6 11 12 4 11 9 9 15 6 10 9 12 6 5 12 12 10 12 12 5 8 6 6 11 9 12 14 11 11 9 6 10 9 12 6 4 8 6 6 11 11 2 9 9 9 9 7 8 6 20 4 11 9 9 14 3 3 11 11 11 11 11 11 11 11 11 6 7 6 6 21 4 11 9 9 14 3 3 11 11 11 10 11 11 11 5 7 6 6 21 4 6 12 11 4 11 9 9 9 14 4 11 9 12 4 
Solving time:0.070
Filtering time:0.390
ID:6 (14,12,8)
Graph |V|:91
Solution size:6793
Filtered solution size:6415
Parallel solution length:517
Parallelism:12.408
Step parallelism:27 8 19 14 4 8 6 17 17 17 20 18 18 13 13 10 9 12 23 21 14 9 3 7 11 10 13 23 15 6 11 12 24 1 8 9 6 6 14 11 23 1 8 10 11 7 15 11 15 10 1 8 23 21 18 18 18 21 29 11 6 31 19 14 14 15 15 10 16 29 13 10 10 3 11 11 14 16 18 13 15 23 10 7 16 20 11 12 18 12 5 12 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 11 18 14 18 12 11 11 8 17 9 14 11 11 20 11 11 11 11 11 16 12 12 11 19 26 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 9 18 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 19 18 16 18 20 12 12 11 25 5 11 13 13 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 5 12 18 17 14 11 8 7 16 8 3 12 12 12 14 14 13 12 12 14 14 12 12 21 6 17 9 9 8 6 11 11 16 11 11 15 4 10 7 12 10 10 14 5 10 28 8 14 12 12 7 3 12 12 12 10 8 10 14 7 12 12 12 9 14 10 10 13 13 17 14 10 10 5 13 11 16 8 9 9 9 15 15 11 8 6 10 9 12 6 11 9 9 9 16 3 11 11 11 14 9 9 12 6 11 11 11 14 9 9 12 15 11 8 6 10 9 12 6 11 9 14 3 4 9 9 5 13 11 11 10 6 10 11 13 4 3 11 11 11 11 11 11 13 11 11 11 11 11 11 8 7 6 6 21 8 6 20 8 6 20 4 11 11 4 11 9 9 14 3 11 9 9 14 3 11 9 9 14 3 
Solving time:0.070
Filtering time:0.290
ID:7 (14,12,9)
Graph |V|:91
Solution size:7309
Filtered solution size:6737
Parallel solution length:559
Parallelism:12.052
Step parallelism:26 9 18 14 7 8 6 17 17 17 20 23 18 13 13 3 15 13 22 21 14 4 1 7 11 10 13 23 15 6 11 12 23 1 8 9 7 6 14 11 22 1 8 10 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 14 13 15 23 10 7 16 20 11 12 18 12 5 12 9 9 4 13 5 18 16 12 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 11 17 16 14 14 14 14 18 15 10 13 17 16 21 25 9 9 9 15 10 9 17 16 14 14 14 14 18 10 10 10 10 18 9 16 16 14 14 14 14 18 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 10 6 10 14 6 15 8 26 12 12 12 11 19 15 15 12 12 15 11 11 11 18 11 13 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 6 7 16 5 16 14 6 9 15 16 11 8 12 9 8 17 8 11 19 7 7 17 11 10 19 21 6 19 9 14 12 10 5 13 13 11 7 7 13 13 2 10 20 24 5 9 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 4 11 4 8 11 10 7 8 6 6 11 9 11 9 6 11 9 11 5 11 9 9 9 8 15 9 6 9 8 12 12 6 7 11 7 8 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 9 7 6 6 20 4 4 10 10 10 8 12 10 10 10 9 8 7 6 6 20 4 12 9 9 12 4 7 12 10 8 7 19 4 7 12 10 4 12 10 3 11 3 4 
Solving time:0.080
Filtering time:0.290
ID:8 (14,12,10)
Graph |V|:91
Solution size:6720
Filtered solution size:6027
Parallel solution length:495
Parallelism:12.176
Step parallelism:27 9 17 18 2 5 5 16 16 16 19 22 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 8 10 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 7 15 15 15 23 14 13 12 15 15 17 15 19 8 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 12 21 19 15 15 13 16 17 21 15 19 12 15 7 8 16 10 10 9 9 13 23 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 10 8 17 18 14 16 8 8 12 17 13 15 13 16 8 8 7 16 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 12 13 11 15 24 15 21 15 13 11 8 13 12 21 10 19 20 10 10 10 11 20 13 9 15 6 12 12 25 9 9 23 20 15 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 8 13 11 11 11 11 11 23 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 10 6 10 9 9 9 9 12 12 11 11 11 13 7 11 11 11 11 11 4 7 5 5 13 17 11 11 11 11 12 6 11 11 11 7 7 8 6 6 11 9 11 6 5 11 7 10 11 11 9 8 6 6 11 9 11 6 11 12 4 6 12 9 5 4 3 11 10 14 12 10 8 16 12 7 11 10 8 7 7 6 6 20 4 7 12 10 8 7 19 4 12 10 4 12 9 12 3 10 9 4 11 4 7 10 8 7 6 6 14 21 5 1 
Solving time:0.080
Filtering time:0.260
ID:9 (14,12,11)
Graph |V|:91
Solution size:6647
Filtered solution size:5961
Parallel solution length:487
Parallelism:12.240
Step parallelism:28 18 19 8 9 5 16 16 16 19 22 18 13 13 3 15 12 21 20 8 3 2 7 10 11 9 8 15 13 18 14 22 4 15 10 10 10 7 9 11 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 7 15 14 15 20 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 15 17 16 13 13 13 13 21 6 26 14 13 13 11 11 10 22 21 17 15 9 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 21 21 15 15 14 7 13 8 8 18 15 15 12 7 5 11 16 12 21 8 13 11 11 14 8 7 13 12 14 10 12 9 9 7 15 13 3 3 3 10 10 10 14 18 16 18 10 10 6 13 14 11 11 5 13 6 14 13 11 12 12 11 11 13 12 12 11 8 16 10 14 6 10 10 10 10 9 9 17 11 8 13 14 8 7 15 15 6 5 5 12 12 8 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 10 11 12 6 11 9 11 5 4 4 7 11 7 8 6 6 11 9 5 4 5 11 17 5 13 11 11 11 14 8 8 12 12 7 12 8 8 15 12 5 8 11 7 8 6 6 11 9 5 4 4 6 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 4 7 11 11 11 10 9 9 14 10 10 9 4 4 
Solving time:0.070
Filtering time:0.250
ID:10 (14,12,12)
Graph |V|:91
Solution size:6778
Filtered solution size:5939
Parallel solution length:487
Parallelism:12.195
Step parallelism:25 17 17 8 8 5 16 16 16 19 22 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 13 14 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 7 15 15 10 20 12 12 12 15 16 21 14 14 12 20 2 10 15 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 8 6 14 17 13 16 13 10 10 15 11 15 11 8 14 16 9 9 9 10 8 12 17 9 15 8 6 12 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 14 12 12 12 21 6 4 13 11 18 10 17 11 16 14 13 11 6 12 18 13 11 4 12 10 12 11 10 14 15 19 12 15 13 10 17 7 7 2 4 4 8 13 9 9 9 7 7 1 3 9 15 12 15 17 18 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 9 8 6 6 13 8 12 5 8 6 12 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:11 (14,12,13)
Graph |V|:91
Solution size:6778
Filtered solution size:5928
Parallel solution length:487
Parallelism:12.172
Step parallelism:24 16 17 8 8 5 16 16 16 19 22 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 13 14 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 7 15 15 10 20 12 12 12 15 16 21 14 14 12 20 2 10 15 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 8 6 14 17 13 16 13 10 10 15 11 15 11 8 14 16 9 9 9 10 8 12 17 9 15 8 6 12 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 14 12 12 12 21 6 4 13 11 18 10 17 11 16 14 13 11 6 12 18 13 11 4 12 10 12 11 10 14 15 19 12 15 13 10 17 7 7 2 4 4 8 13 9 9 9 7 7 1 3 9 15 12 15 17 18 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 9 8 6 6 13 8 12 5 8 6 12 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.230
ID:12 (14,12,14)
Graph |V|:91
Solution size:6441
Filtered solution size:5629
Parallel solution length:434
Parallelism:12.970
Step parallelism:24 16 17 12 10 16 16 16 17 19 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 13 14 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 7 15 15 10 20 12 12 12 15 16 21 14 14 12 21 1 10 12 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 12 12 16 18 10 10 10 10 17 18 15 14 13 23 19 15 12 17 16 15 15 13 17 16 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 11 19 15 11 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 11 12 10 13 17 7 14 10 12 17 9 8 8 12 9 7 6 10 10 10 10 13 11 12 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 10 17 10 9 9 6 10 6 7 10 15 12 10 8 7 14 11 8 7 3 12 12 8 5 13 11 10 9 9 9 10 9 6 11 4 4 7 11 10 5 10 6 6 13 3 6 5 12 11 9 9 9 9 11 6 3 9 9 9 9 11 5 6 10 18 10 10 11 9 12 11 5 4 11 8 8 5 3 
Solving time:0.070
Filtering time:0.170
ID:13 (14,12,15)
Graph |V|:91
Solution size:6580
Filtered solution size:5722
Parallel solution length:453
Parallelism:12.631
Step parallelism:26 16 14 12 9 16 16 16 17 19 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 15 14 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 7 15 15 10 20 12 12 12 15 16 21 14 14 12 21 5 13 7 10 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 25 22 13 10 15 9 7 11 5 13 19 18 9 9 8 15 14 16 14 14 16 15 18 8 16 15 15 13 16 15 22 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 12 16 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 8 9 9 14 24 11 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 11 10 9 11 9 6 22 11 10 13 11 3 7 13 16 8 2 12 6 11 10 19 15 1 7 13 7 9 7 12 13 14 11 22 15 16 23 7 16 20 10 13 15 14 15 6 5 5 12 12 8 10 15 12 12 15 13 7 11 15 16 12 9 6 11 11 11 13 12 6 10 8 13 16 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 4 11 8 12 5 4 10 10 7 11 10 9 8 6 10 6 6 19 8 7 7 19 8 7 7 19 4 3 11 9 4 3 
Solving time:0.070
Filtering time:0.200
ID:14 (14,12,16)
Graph |V|:91
Solution size:6026
Filtered solution size:5124
Parallel solution length:412
Parallelism:12.437
Step parallelism:26 16 14 12 9 16 16 16 17 19 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 15 14 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 7 15 15 10 20 12 12 12 15 16 21 14 14 12 21 6 10 7 10 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 25 22 13 10 15 9 7 11 5 13 19 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 11 13 12 23 18 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 8 13 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 13 16 13 7 5 11 11 12 16 9 5 8 7 13 7 14 6 10 6 10 6 4 6 4 10 16 6 9 15 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 6 6 11 11 10 3 3 4 4 1 
Solving time:0.070
Filtering time:0.130
ID:15 (14,12,17)
Graph |V|:91
Solution size:6256
Filtered solution size:5260
Parallel solution length:442
Parallelism:11.900
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 15 15 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 14 14 14 12 20 13 15 12 21 18 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 16 12 14 15 18 11 11 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 11 14 19 11 7 6 6 5 3 3 3 14 17 12 12 12 10 5 11 13 15 4 11 7 7 8 5 4 4 10 13 8 6 13 10 10 10 9 9 11 13 10 8 8 17 18 21 10 12 17 15 9 10 15 16 13 8 12 8 18 13 14 6 9 8 5 5 8 10 12 15 9 9 8 14 16 8 6 12 9 6 5 11 7 7 7 8 10 8 8 8 11 17 7 7 7 5 14 11 9 8 8 8 12 11 9 9 9 9 7 4 8 7 6 18 4 4 9 9 8 11 6 9 9 8 7 6 9 7 6 18 4 4 9 9 9 9 7 11 7 9 9 9 9 9 9 7 9 7 6 11 9 3 6 5 8 4 8 12 6 5 9 9 17 10 3 9 9 7 18 3 10 8 8 5 3 3 
Solving time:0.070
Filtering time:0.150
ID:16 (14,12,18)
Graph |V|:91
Solution size:6256
Filtered solution size:5236
Parallel solution length:440
Parallelism:11.900
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 13 14 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 14 14 13 20 13 16 12 21 18 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 16 12 14 15 18 11 11 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 11 14 19 11 7 6 6 5 3 3 3 14 17 12 12 12 10 5 11 13 15 4 11 7 7 8 5 4 4 10 13 8 6 13 10 10 10 9 9 11 13 10 8 8 17 18 21 10 12 17 15 9 10 15 16 13 8 12 8 18 13 14 6 9 8 5 5 8 10 12 15 9 9 8 14 16 8 6 12 9 6 5 11 7 7 7 8 10 8 8 8 11 17 7 7 7 5 14 11 9 8 8 8 12 11 9 9 9 9 7 4 8 7 6 18 4 4 9 9 8 11 6 9 9 8 7 6 9 7 6 18 4 4 9 9 9 9 7 11 7 9 9 9 9 9 9 7 9 7 6 11 9 3 6 5 8 4 8 12 6 5 9 9 17 10 3 9 9 7 18 3 10 8 8 5 3 3 
Solving time:0.070
Filtering time:0.140
ID:17 (14,12,19)
Graph |V|:91
Solution size:6684
Filtered solution size:5486
Parallel solution length:451
Parallelism:12.164
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 12 21 13 13 13 14 22 3 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 14 7 14 20 17 12 20 21 11 11 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 11 17 17 29 16 9 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 11 11 14 10 10 10 15 16 10 11 12 12 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 5 1 11 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 9 9 16 12 13 8 5 12 11 9 14 2 11 16 18 11 8 11 15 11 11 10 13 13 16 10 9 9 9 5 10 12 8 11 10 13 11 7 18 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 8 7 6 18 4 11 10 9 8 7 18 3 3 9 9 9 6 10 6 9 9 9 9 11 5 6 11 6 6 12 18 9 11 10 7 7 5 3 3 
Solving time:0.070
Filtering time:0.160
ID:18 (14,12,20)
Graph |V|:91
Solution size:6801
Filtered solution size:5546
Parallel solution length:458
Parallelism:12.109
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 11 20 12 11 12 27 14 3 23 21 21 20 21 22 14 19 22 14 24 19 22 7 11 18 7 13 18 12 7 17 18 21 12 16 13 16 9 11 19 6 17 10 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 20 15 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 16 16 16 12 12 8 17 15 24 11 14 12 11 18 10 19 8 20 12 10 10 10 17 13 13 12 12 17 18 16 18 13 23 11 11 21 7 13 11 13 11 11 14 5 11 15 17 11 15 9 9 8 15 18 16 14 9 15 14 18 16 10 13 9 15 15 10 8 8 12 8 8 10 13 11 19 21 11 11 20 19 12 17 18 8 21 12 10 7 18 10 14 14 12 7 5 5 11 13 13 11 11 16 16 19 24 10 19 16 8 13 17 7 14 7 6 3 3 8 9 9 9 14 14 8 19 13 7 4 13 9 13 13 17 3 12 5 15 13 16 23 8 17 11 12 16 11 11 12 9 10 13 9 16 14 17 9 13 10 3 11 14 10 18 11 11 7 3 3 6 6 4 2 5 5 5 4 13 9 12 11 8 10 15 11 11 13 4 11 10 10 9 13 15 12 8 8 8 7 14 11 10 10 17 8 9 9 9 7 7 10 8 10 10 10 7 7 6 4 4 12 15 7 9 8 11 10 10 8 10 6 9 9 7 6 9 7 6 11 9 5 5 6 5 12 14 5 11 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.190
ID:19 (14,12,21)
Graph |V|:91
Solution size:6132
Filtered solution size:4884
Parallel solution length:411
Parallelism:11.883
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 10 9 20 11 11 25 14 14 23 21 21 20 21 22 14 16 25 17 23 18 17 10 15 7 14 18 14 9 19 20 23 15 13 9 14 12 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 9 18 17 17 11 11 23 22 21 12 9 10 9 16 18 15 19 13 13 13 17 4 13 10 6 7 6 19 5 16 15 19 13 13 11 11 15 15 15 9 7 15 14 5 4 4 8 7 7 15 15 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 9 9 6 18 9 7 9 9 16 7 7 12 12 9 13 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 5 10 7 6 9 8 4 6 6 5 10 15 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 6 6 5 15 7 9 8 4 3 6 5 5 12 12 4 5 4 12 10 7 5 12 3 1 
Solving time:0.070
Filtering time:0.170
ID:20 (14,12,22)
Graph |V|:91
Solution size:6132
Filtered solution size:4860
Parallel solution length:408
Parallelism:11.912
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 10 9 20 11 11 24 14 14 22 20 20 21 17 24 14 29 17 22 17 17 11 17 9 16 15 13 23 23 19 19 7 10 16 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 9 18 17 17 11 11 23 22 21 12 9 10 9 16 18 15 19 13 13 13 17 4 13 10 6 7 6 19 5 16 15 19 13 13 11 11 15 15 15 9 7 15 14 5 4 4 8 7 7 15 15 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 9 9 6 18 9 7 9 9 16 7 7 12 12 9 13 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 5 10 7 6 9 8 4 6 6 5 10 15 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 6 6 5 15 7 9 8 4 3 6 5 5 12 12 4 5 4 12 10 7 5 12 3 1 
Solving time:0.070
Filtering time:0.120
ID:21 (14,12,23)
Graph |V|:91
Solution size:7025
Filtered solution size:5549
Parallel solution length:451
Parallelism:12.304
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 10 9 20 11 11 24 14 14 22 19 19 20 15 24 14 29 17 19 11 17 11 10 14 6 14 10 10 11 9 18 18 20 19 7 8 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 14 17 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 6 10 8 8 15 8 20 16 11 24 12 10 12 15 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 20 13 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 9 14 12 8 26 10 21 22 7 15 3 10 8 8 5 8 5 7 7 7 6 12 9 9 16 7 3 20 19 23 8 8 9 5 7 10 15 9 19 8 8 14 12 12 17 8 17 16 21 11 13 8 10 11 20 12 12 13 8 9 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 5 10 8 10 9 5 12 14 5 9 9 9 16 15 12 10 8 8 3 11 5 8 9 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 4 8 12 7 7 11 15 10 12 5 7 10 11 2 7 6 5 3 3 
Solving time:0.060
Filtering time:0.260
ID:22 (14,12,24)
Graph |V|:91
Solution size:6966
Filtered solution size:5386
Parallel solution length:465
Parallelism:11.583
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 10 9 20 11 11 24 14 14 22 19 19 20 15 24 14 29 17 19 11 17 11 10 14 6 14 10 10 11 9 18 18 20 19 7 8 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 12 15 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 11 12 13 11 11 11 12 16 8 6 10 24 13 13 13 13 13 18 14 9 9 20 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 14 22 14 11 6 8 6 5 9 16 18 8 10 7 10 11 10 9 9 8 12 6 7 12 5 8 8 8 8 8 8 6 6 19 8 16 10 4 7 3 3 5 4 2 2 4 4 4 4 13 11 11 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 9 7 5 12 9 9 8 8 13 8 5 5 12 10 8 6 16 9 11 14 9 11 6 9 6 8 8 4 9 7 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 11 7 7 6 6 6 4 3 7 7 5 11 11 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.220
ID:23 (14,12,25)
Graph |V|:91
Solution size:5769
Filtered solution size:4430
Parallel solution length:379
Parallelism:11.689
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 10 9 20 11 11 23 14 14 21 18 18 19 17 24 14 28 17 19 11 17 11 10 14 6 14 10 10 11 9 18 18 20 19 7 8 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 12 15 12 12 12 12 12 12 13 12 25 10 15 8 14 4 9 3 23 11 17 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 9 16 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 12 16 13 10 9 7 3 4 3 6 5 10 13 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 9 9 6 8 5 3 7 2 2 11 6 6 9 8 18 15 10 10 10 5 9 9 9 4 8 8 4 8 6 5 3 3 
Solving time:0.060
Filtering time:0.100
ID:24 (14,12,26)
Graph |V|:91
Solution size:6052
Filtered solution size:4631
Parallel solution length:391
Parallelism:11.844
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 10 9 22 13 11 23 14 14 21 18 18 19 17 24 15 25 14 16 11 19 11 10 14 8 14 10 10 11 9 16 16 16 15 12 19 19 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 12 13 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 8 11 10 14 18 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 9 12 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 9 7 6 3 7 7 9 9 8 8 3 7 8 10 10 8 15 6 14 14 12 11 13 7 12 4 11 8 7 16 10 16 11 4 11 8 6 16 4 3 8 8 8 8 8 7 11 5 3 9 9 6 11 9 10 10 10 7 9 5 9 8 10 5 11 5 6 8 3 8 8 8 7 4 1 
Solving time:0.070
Filtering time:0.100
ID:25 (14,12,27)
Graph |V|:91
Solution size:6340
Filtered solution size:4720
Parallel solution length:412
Parallelism:11.456
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 10 9 22 13 11 23 14 14 21 18 18 19 17 24 15 25 14 16 11 19 11 10 14 8 14 10 10 11 9 16 16 16 15 12 19 19 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 11 11 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 6 12 8 6 3 6 5 16 16 14 8 11 11 10 10 10 12 15 17 10 11 8 7 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 8 11 7 4 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 10 10 7 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:4117
Parallel solution length:348
Parallelism:11.830
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 9 8 7 17 11 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 17 14 7 11 10 10 7 9 8 12 19 15 10 19 21 12 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 8 9 11 12 10 16 11 11 11 11 16 14 9 11 10 5 10 6 10 11 10 15 16 12 20 12 10 8 8 6 10 15 7 5 8 10 10 9 8 9 6 9 9 7 6 8 8 8 9 3 9 4 9 8 6 9 8 8 8 8 10 7 7 7 9 5 8 11 10 4 4 8 6 9 7 8 8 8 6 9 6 10 9 5 7 7 10 8 13 12 8 6 2 7 3 2 1 
Solving time:0.070
Filtering time:0.080
ID:27 (14,12,29)
Graph |V|:91
Solution size:6106
Filtered solution size:4481
Parallel solution length:386
Parallelism:11.609
Step parallelism:35 22 17 10 7 13 16 14 18 19 19 18 17 16 13 10 15 8 4 6 12 8 8 7 7 10 22 9 8 7 17 11 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 19 10 15 15 20 21 20 19 17 7 8 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 5 9 5 14 5 15 12 5 4 3 12 12 11 11 11 10 11 10 14 9 9 14 5 4 3 8 8 9 9 7 8 8 15 21 12 11 6 18 13 11 8 10 9 9 11 6 9 7 7 7 7 11 8 8 8 8 7 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 5 8 7 6 12 13 5 13 9 7 7 7 7 3 7 9 7 10 9 12 16 11 8 8 8 8 5 5 8 8 8 8 8 11 4 9 9 4 11 6 9 3 6 5 5 9 5 11 6 6 7 11 4 4 2 
Solving time:0.070
Filtering time:0.110
ID:28 (14,12,30)
Graph |V|:91
Solution size:6289
Filtered solution size:4381
Parallel solution length:400
Parallelism:10.953
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 10 22 13 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 14 4 11 15 22 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 10 9 11 11 9 8 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 13 17 9 7 7 7 7 5 6 5 4 3 3 12 5 12 15 10 9 15 17 19 15 12 12 14 10 21 15 16 16 15 13 11 11 5 5 4 4 4 4 7 6 15 10 17 13 8 7 11 12 2 10 10 8 9 9 10 9 1 8 8 9 9 9 14 13 14 9 10 5 5 14 9 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 4 8 7 9 5 8 11 5 5 8 9 14 8 7 9 8 4 4 8 8 8 8 11 5 9 9 7 11 12 9 7 4 8 8 8 14 9 8 5 7 3 1 
Solving time:0.070
Filtering time:0.120
ID:29 (14,12,31)
Graph |V|:91
Solution size:6063
Filtered solution size:4157
Parallel solution length:379
Parallelism:10.968
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 10 22 15 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 14 4 11 15 21 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 10 9 7 6 9 8 8 14 11 9 12 15 10 8 10 24 18 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 8 6 11 6 6 8 9 6 7 7 5 9 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.090
ID:30 (14,12,32)
Graph |V|:91
Solution size:6298
Filtered solution size:4248
Parallel solution length:391
Parallelism:10.864
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 9 7 17 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 14 4 11 16 22 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 9 9 10 9 5 15 12 15 10 16 13 11 7 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 12 5 12 9 7 2 2 6 6 4 2 5 5 15 9 15 9 15 14 11 11 12 8 13 7 7 6 12 14 7 7 6 6 4 8 8 7 7 8 8 3 10 12 12 8 11 18 10 4 14 7 7 7 7 9 7 6 2 3 2 2 2 6 7 5 11 4 3 9 8 6 7 7 3 6 11 6 7 6 6 8 8 6 6 5 8 2 8 8 8 9 5 3 3 7 7 9 6 3 3 1 
Solving time:0.070
Filtering time:0.090
ID:31 (14,12,33)
Graph |V|:91
Solution size:6386
Filtered solution size:4175
Parallel solution length:402
Parallelism:10.386
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 9 8 17 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 14 4 11 16 18 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 9 6 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 11 11 5 5 10 14 13 10 10 7 7 14 8 11 7 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 6 3 5 7 11 7 8 16 14 9 7 7 8 8 14 13 15 19 22 19 21 17 11 16 12 11 4 11 16 10 12 12 8 12 10 13 15 9 13 10 14 9 8 9 13 7 16 13 14 11 6 6 8 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 8 8 8 8 8 8 8 6 5 8 8 6 10 12 8 8 7 7 10 8 7 4 8 8 8 6 6 5 7 5 3 9 14 5 10 11 14 10 13 14 8 5 4 4 7 7 4 11 9 8 9 6 6 5 10 9 9 9 9 6 5 3 5 5 4 4 8 6 7 2 2 5 4 8 4 4 9 5 5 5 5 3 3 6 6 7 3 2 6 6 9 6 7 7 6 5 11 8 8 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:4112
Parallel solution length:378
Parallelism:10.878
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 9 8 17 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 15 5 16 23 17 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 11 8 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 13 7 12 10 10 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 6 15 11 11 15 12 11 9 8 9 8 8 8 5 8 10 11 9 10 8 16 11 13 9 9 9 17 15 11 9 9 8 6 9 9 9 15 6 6 11 9 4 9 9 12 12 9 3 5 5 5 9 9 9 7 9 9 11 8 15 8 5 9 11 7 9 13 8 5 5 9 7 5 4 4 4 5 4 4 8 8 7 13 6 3 4 4 6 3 6 5 5 5 8 8 5 9 5 9 7 3 2 2 6 6 6 6 6 4 4 2 7 7 7 6 6 7 6 5 4 
Solving time:0.060
Filtering time:0.080
ID:33 (14,12,35)
Graph |V|:91
Solution size:5816
Filtered solution size:3766
Parallel solution length:347
Parallelism:10.853
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 7 8 9 17 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 15 5 16 23 17 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 11 8 14 11 11 9 16 9 9 10 11 27 22 24 14 10 11 18 11 11 14 14 8 15 14 11 9 11 4 3 3 2 19 10 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 16 15 11 13 18 14 11 14 11 10 19 9 9 9 8 6 5 14 14 11 12 8 11 11 10 10 10 8 14 18 16 9 8 9 6 6 11 16 7 12 8 8 2 8 8 8 8 9 9 20 15 9 16 13 14 12 8 7 8 9 10 8 9 9 8 8 11 13 8 12 12 9 6 13 13 14 11 8 8 13 9 7 7 7 7 10 12 13 8 10 10 8 7 9 7 7 7 7 12 12 15 7 11 11 11 7 6 13 5 13 11 13 10 10 6 8 8 8 6 6 4 4 10 9 6 7 8 8 8 11 12 9 9 9 7 12 7 8 7 7 2 3 2 2 3 4 2 7 6 6 5 5 5 5 1 
Solving time:0.070
Filtering time:0.080
ID:34 (14,12,36)
Graph |V|:91
Solution size:6176
Filtered solution size:3819
Parallel solution length:375
Parallelism:10.184
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 7 8 10 17 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 15 5 16 23 17 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 11 12 16 11 11 9 18 9 9 10 11 26 19 21 14 8 11 18 11 11 14 14 8 15 14 12 11 12 13 4 4 3 8 7 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 15 12 15 17 15 10 9 15 9 8 8 8 8 6 14 15 10 18 19 10 9 8 6 6 14 6 6 6 5 6 6 6 6 6 6 6 6 5 12 15 7 7 13 13 20 14 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 8 7 7 7 6 5 5 6 10 5 5 5 9 9 10 5 7 10 10 7 9 9 10 8 6 5 9 14 10 6 13 8 9 12 10 13 8 8 12 9 7 8 15 11 13 10 9 12 12 12 9 13 12 8 6 10 6 8 6 8 8 6 11 6 12 10 8 7 6 7 6 5 5 3 4 9 8 7 4 7 6 11 11 10 7 6 9 8 6 7 6 4 9 5 2 7 2 2 7 7 11 9 5 3 6 6 6 3 3 3 1 
Solving time:0.060
Filtering time:0.080
ID:35 (14,12,37)
Graph |V|:91
Solution size:6582
Filtered solution size:4212
Parallel solution length:386
Parallelism:10.912
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 7 8 11 18 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 14 4 16 15 15 13 15 13 9 11 12 9 12 9 9 16 14 15 13 11 10 14 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 16 20 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 12 14 16 8 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 10 16 15 13 8 23 14 15 15 10 7 12 5 3 5 4 4 7 6 13 13 13 10 9 16 14 11 9 10 13 2 10 11 11 8 8 8 9 9 16 16 8 5 4 4 5 4 4 6 4 4 8 7 6 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 8 7 7 5 9 9 6 12 7 8 6 6 6 11 7 8 9 8 8 12 10 9 13 13 9 9 9 10 10 8 9 12 3 2 8 8 3 2 7 8 12 8 8 7 10 6 5 8 10 8 4 3 7 7 5 7 8 6 9 5 7 7 4 3 
Solving time:0.070
Filtering time:0.120
ID:36 (14,12,38)
Graph |V|:91
Solution size:5797
Filtered solution size:3508
Parallel solution length:349
Parallelism:10.052
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 15 12 15 15 14 8 22 15 10 15 21 26 23 21 15 12 8 21 16 16 15 9 16 9 14 11 14 8 8 14 4 16 15 14 10 10 11 9 10 12 9 9 9 7 18 12 11 11 12 12 9 9 9 13 9 15 15 14 14 10 11 12 10 11 18 10 15 12 10 10 11 10 9 15 9 19 18 15 11 6 14 9 4 2 1 8 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 11 8 10 12 12 9 13 13 10 10 13 16 15 12 15 14 9 8 8 10 5 9 9 14 6 6 6 10 7 1 7 10 9 10 9 8 7 7 13 10 9 9 11 9 15 12 16 13 14 14 12 16 12 14 10 15 14 9 9 13 18 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 9 9 17 7 9 6 9 11 10 6 3 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 3 2 7 7 7 7 4 4 3 3 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.060
ID:37 (14,12,39)
Graph |V|:91
Solution size:4962
Filtered solution size:2995
Parallel solution length:282
Parallelism:10.621
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 9 13 14 16 9 8 16 18 14 13 22 23 22 20 13 8 22 17 17 16 10 13 7 14 11 17 11 8 14 4 10 14 16 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 12 12 9 13 13 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 10 14 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 10 8 15 7 11 12 9 11 11 13 7 9 9 9 9 9 9 14 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 5 5 9 8 4 10 10 10 10 8 6 6 8 8 5 5 13 12 10 2 9 9 5 9 10 9 7 4 5 2 
Solving time:0.070
Filtering time:0.040
ID:38 (14,12,40)
Graph |V|:91
Solution size:5963
Filtered solution size:3528
Parallel solution length:357
Parallelism:9.882
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 11 16 16 12 18 16 20 16 26 25 20 18 13 9 18 13 16 15 10 13 7 13 17 14 13 11 6 6 14 18 16 11 10 9 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 11 15 10 7 8 6 6 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 8 9 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 9 11 9 8 8 7 10 9 12 12 14 13 16 4 3 3 5 5 5 8 8 8 11 8 7 10 7 12 8 10 11 10 9 11 13 7 11 11 6 8 8 6 10 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 5 3 2 2 3 3 3 3 3 
Solving time:0.060
Filtering time:0.060
ID:39 (14,12,41)
Graph |V|:91
Solution size:5801
Filtered solution size:3302
Parallel solution length:322
Parallelism:10.255
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 13 17 21 21 19 20 19 23 22 20 13 16 19 23 17 17 8 9 12 8 13 10 16 10 10 16 6 13 18 22 13 8 10 11 12 17 14 13 10 10 10 14 14 16 18 17 15 11 12 15 14 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 11 15 13 12 10 13 13 11 10 6 10 13 13 13 10 10 11 12 10 10 11 11 12 12 10 7 9 9 8 5 6 7 5 5 7 10 9 9 6 9 9 8 7 7 6 9 7 5 4 7 7 7 5 9 9 13 12 14 18 11 10 13 6 5 3 2 2 7 8 7 7 7 7 11 5 9 10 12 12 10 12 8 14 11 14 10 8 8 6 8 7 14 9 8 9 8 6 5 7 5 9 10 6 5 7 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.060
ID:40 (14,12,42)
Graph |V|:91
Solution size:5801
Filtered solution size:3270
Parallel solution length:317
Parallelism:10.315
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 12 16 20 20 18 19 18 22 21 19 12 15 18 22 16 17 8 9 12 8 13 10 16 10 10 16 6 13 18 21 13 8 10 11 12 17 14 13 10 10 10 14 13 16 18 17 15 11 13 15 14 7 12 13 13 11 10 10 11 16 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 11 15 13 12 10 13 13 11 10 6 10 13 13 13 10 10 11 12 10 10 11 11 12 12 10 7 9 9 8 5 6 7 5 5 7 10 9 9 6 9 9 8 7 7 6 9 7 5 4 7 7 7 5 9 9 13 12 14 18 11 10 13 6 5 3 2 2 7 8 7 7 7 7 11 5 9 10 12 12 10 12 8 14 11 14 10 8 8 6 8 7 14 9 8 9 8 6 5 7 5 9 10 6 5 7 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.060
ID:41 (14,12,43)
Graph |V|:91
Solution size:5801
Filtered solution size:3260
Parallel solution length:317
Parallelism:10.284
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 12 16 20 20 18 19 18 22 21 19 12 15 18 22 16 17 8 9 12 8 13 10 16 10 10 16 6 13 18 21 13 8 10 11 12 17 14 13 10 10 10 14 13 16 18 17 15 11 13 15 14 7 12 13 13 11 10 10 11 16 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 11 15 13 12 10 13 13 11 10 6 10 13 13 13 10 10 11 12 10 10 11 11 12 12 10 7 9 9 8 5 6 7 5 5 7 10 9 9 6 9 9 8 7 7 6 9 7 5 4 7 7 7 5 9 9 13 12 14 18 11 10 13 6 5 3 2 2 7 8 7 7 7 7 11 5 9 10 12 12 10 12 8 14 11 14 10 8 8 6 8 7 14 9 8 9 8 6 5 7 5 9 10 6 5 7 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.050
ID:42 (14,12,44)
Graph |V|:91
Solution size:5801
Filtered solution size:3243
Parallel solution length:317
Parallelism:10.230
Step parallelism:24 26 25 18 15 10 12 12 15 10 13 14 16 12 5 4 4 8 11 4 3 5 4 5 9 10 9 7 7 9 15 18 16 16 15 19 20 18 12 15 18 21 16 17 8 9 11 8 13 10 16 10 10 15 6 13 18 21 13 8 10 11 12 17 14 13 10 10 10 14 13 16 18 17 15 11 13 15 14 7 12 13 13 11 10 10 11 16 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 11 15 13 12 10 13 13 11 10 6 10 13 13 13 10 10 11 12 10 10 11 11 12 12 10 7 9 9 8 5 6 7 5 5 7 10 9 9 6 9 9 8 7 7 6 9 7 5 4 7 7 7 5 9 9 13 12 14 18 11 10 13 6 5 3 2 2 7 8 7 7 7 7 11 5 9 10 12 12 10 12 8 14 11 14 10 8 8 6 8 7 14 9 8 9 8 6 5 7 5 9 10 6 5 7 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.050
ID:43 (14,12,45)
Graph |V|:91
Solution size:5905
Filtered solution size:3333
Parallel solution length:341
Parallelism:9.774
Step parallelism:23 26 24 19 15 10 12 12 15 10 13 14 16 12 5 5 4 7 10 2 4 3 3 4 8 7 8 6 6 9 15 18 16 16 14 18 20 20 14 15 20 21 16 17 8 9 11 8 13 10 16 10 10 15 6 13 16 20 13 8 8 11 9 14 12 14 11 11 9 13 13 12 11 10 11 8 10 10 9 9 14 9 14 8 9 12 10 10 8 9 11 9 8 8 7 7 7 7 12 10 10 8 5 13 12 12 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 14 13 8 11 11 9 14 13 11 10 8 8 7 13 13 9 10 10 10 15 10 12 13 9 10 22 24 18 16 15 14 10 12 11 11 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 9 9 8 14 9 9 8 8 7 5 7 6 6 5 5 6 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 2 5 5 7 7 7 8 8 7 8 8 8 12 11 3 2 4 3 3 4 2 2 3 6 5 5 4 4 4 2 
Solving time:0.060
Filtering time:0.050
ID:44 (14,12,46)
Graph |V|:91
Solution size:5403
Filtered solution size:2929
Parallel solution length:314
Parallelism:9.328
Step parallelism:25 25 23 18 14 10 12 12 15 10 13 14 16 11 7 7 6 7 12 4 7 4 4 4 8 9 8 6 6 9 12 17 13 13 11 17 17 17 11 16 15 21 20 9 7 3 5 16 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 13 14 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 11 12 12 18 12 18 9 7 10 10 10 15 11 11 10 14 8 8 5 5 8 11 11 12 12 13 14 11 10 10 8 7 7 7 9 7 8 8 13 13 18 15 17 11 6 7 6 4 6 14 10 10 11 8 4 9 9 9 18 6 4 4 8 7 7 19 17 15 5 7 5 4 11 9 7 10 5 5 8 2 2 3 3 2 2 5 5 2 1 9 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 13 13 13 13 10 7 9 11 6 8 10 10 11 8 9 9 7 7 3 5 3 3 6 10 9 8 9 7 6 11 7 12 12 6 8 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 5 3 3 2 1 
Solving time:0.060
Filtering time:0.040
ID:45 (14,12,47)
Graph |V|:91
Solution size:5347
Filtered solution size:2796
Parallel solution length:308
Parallelism:9.078
Step parallelism:25 25 25 18 14 10 12 12 15 10 13 14 16 11 7 7 6 7 12 4 7 4 4 4 8 9 8 6 6 9 12 17 13 13 11 17 17 17 11 16 15 20 17 7 6 6 16 16 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 7 6 10 10 10 10 7 7 9 6 8 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 4 4 9 8 10 6 11 8 12 8 2 3 8 12 3 3 5 5 5 5 7 8 7 7 5 7 13 11 4 7 7 6 5 3 3 4 6 6 14 12 10 7 8 5 4 7 4 4 4 7 7 12 12 9 12 9 11 10 9 13 9 9 9 15 10 8 8 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 6 8 6 3 7 8 11 10 7 7 5 4 
Solving time:0.050
Filtering time:0.040
ID:46 (14,12,48)
Graph |V|:91
Solution size:5347
Filtered solution size:2782
Parallel solution length:308
Parallelism:9.032
Step parallelism:24 24 24 18 14 10 12 12 15 10 13 14 16 11 7 7 6 7 12 4 7 4 4 4 8 9 8 6 6 9 12 17 14 14 16 21 20 16 10 15 11 18 10 2 2 6 16 16 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 7 6 10 10 10 10 7 7 9 6 8 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 4 4 9 8 10 6 11 8 12 8 2 3 8 12 3 3 5 5 5 5 7 8 7 7 5 7 13 11 4 7 7 6 5 3 3 4 6 6 14 12 10 7 8 5 4 7 4 4 4 7 7 12 12 9 12 9 11 10 9 13 9 9 9 15 10 8 8 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 6 8 6 3 7 8 11 10 7 7 5 4 
Solving time:0.060
Filtering time:0.030
ID:47 (14,12,49)
Graph |V|:91
Solution size:6089
Filtered solution size:3228
Parallel solution length:341
Parallelism:9.466
Step parallelism:26 24 24 18 15 11 11 14 15 12 13 11 17 7 7 6 4 12 6 5 5 4 4 4 8 9 8 6 6 9 12 17 14 14 16 20 18 13 9 10 10 17 15 5 4 6 15 13 12 7 12 14 16 11 13 8 4 8 10 10 7 7 7 12 10 10 10 9 12 9 11 17 15 15 14 12 13 12 12 11 9 8 9 9 8 9 10 6 8 4 8 13 13 10 10 9 10 13 7 8 8 7 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 9 6 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 9 7 5 7 6 8 7 14 6 8 12 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 5 8 6 5 5 4 5 5 4 4 4 3 9 7 8 13 10 13 8 7 14 14 11 15 14 16 13 7 9 6 6 8 7 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 9 9 5 5 5 8 7 2 6 6 9 6 6 6 5 8 6 5 5 7 7 9 7 7 5 8 8 8 3 3 2 
Solving time:0.060
Filtering time:0.060
ID:48 (14,12,50)
Graph |V|:91
Solution size:5269
Filtered solution size:2730
Parallel solution length:287
Parallelism:9.512
Step parallelism:26 23 23 17 14 13 13 17 15 12 15 11 14 5 5 4 4 12 6 5 5 4 4 4 8 9 8 6 6 9 11 16 13 13 15 19 17 12 8 9 9 15 15 3 2 5 14 12 11 7 12 14 15 11 13 9 4 8 10 10 10 7 5 10 10 10 9 12 10 13 17 15 13 13 12 13 11 14 11 9 9 10 9 8 9 10 6 8 4 8 13 15 10 10 9 10 9 6 8 8 8 14 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 10 16 14 15 15 12 8 11 8 11 9 9 10 10 6 6 7 5 10 10 10 12 13 13 16 12 11 11 11 13 10 7 5 9 6 8 10 11 10 10 14 10 10 11 15 14 10 13 6 9 6 6 6 5 3 8 4 4 7 7 7 7 8 6 7 4 4 8 5 5 5 3 7 9 8 11 9 10 7 11 9 9 11 8 8 11 12 6 8 8 6 9 11 11 10 12 8 8 8 5 6 10 6 5 9 7 7 14 9 8 8 10 13 14 6 7 6 7 4 6 6 7 10 3 3 3 6 6 10 10 10 10 10 5 7 4 1 
Solving time:0.060
Filtering time:0.030
ID:49 (14,12,51)
Graph |V|:91
Solution size:5016
Filtered solution size:2425
Parallel solution length:292
Parallelism:8.305
Step parallelism:25 22 23 17 14 13 13 17 15 12 15 10 14 5 5 4 4 12 6 6 5 5 6 2 6 7 7 6 8 10 14 12 12 14 18 19 18 11 9 9 15 12 3 3 9 13 10 11 11 12 12 13 12 9 5 6 8 8 8 4 6 10 10 10 9 15 14 13 11 8 5 7 10 12 11 11 11 11 9 9 9 9 11 5 8 8 9 9 9 7 8 6 7 10 6 6 10 6 11 5 7 10 8 8 8 7 12 10 8 7 5 8 8 9 13 8 6 6 5 11 13 13 7 12 9 10 17 14 13 11 6 5 4 2 2 7 7 6 6 11 11 11 9 9 10 9 12 19 11 10 12 9 10 7 7 6 5 7 6 8 3 3 5 4 3 10 11 10 9 8 10 11 11 9 10 11 7 11 10 8 7 9 8 13 10 14 7 12 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 9 11 10 9 9 12 7 5 5 7 5 4 9 4 5 5 13 8 6 6 6 10 12 8 8 4 2 2 6 6 5 5 4 9 6 4 5 2 1 1 7 7 7 6 6 8 4 4 5 5 5 3 3 3 3 2 7 6 6 8 7 12 3 3 2 4 4 4 4 4 8 7 7 6 6 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:2786
Parallel solution length:296
Parallelism:9.412
Step parallelism:24 21 22 18 15 13 13 17 15 12 15 10 15 10 11 11 10 18 11 13 15 12 13 17 17 14 13 7 8 6 13 12 3 3 9 13 10 11 11 12 12 13 15 9 8 8 10 10 7 6 8 6 6 6 6 12 12 11 11 8 5 9 12 14 11 11 10 8 15 16 14 13 13 12 19 11 19 15 17 15 19 12 10 11 17 14 15 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 9 12 10 9 11 10 11 15 16 16 9 4 12 10 11 10 10 8 9 14 14 11 8 11 10 10 9 9 10 10 9 9 9 11 7 12 12 12 11 9 9 12 9 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 18 17 13 11 8 9 9 6 7 7 7 6 5 5 5 5 3 7 8 4 1 1 5 5 5 5 6 8 6 6 5 7 10 10 7 7 11 8 14 5 7 9 9 9 7 7 5 5 3 7 6 4 7 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 4 4 5 5 10 10 3 2 6 6 5 9 8 8 9 7 4 4 3 1 1 
Solving time:0.060
Filtering time:0.050
ID:51 (14,12,53)
Graph |V|:91
Solution size:5882
Filtered solution size:2883
Parallel solution length:309
Parallelism:9.330
Step parallelism:26 21 22 18 15 13 13 17 15 12 15 10 15 10 11 11 10 18 11 13 15 12 13 17 17 14 13 7 8 6 13 12 3 3 9 13 10 11 11 12 12 13 15 9 8 8 10 10 7 6 8 6 6 6 6 12 12 11 11 8 5 9 12 14 11 11 10 8 15 16 14 13 13 12 19 11 19 15 17 15 19 12 10 11 17 14 15 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 9 12 10 9 11 10 11 15 16 16 9 4 12 10 11 10 10 8 9 14 14 11 9 11 10 11 9 9 10 10 9 9 9 11 7 12 12 12 11 9 9 12 9 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 9 7 10 9 6 5 9 7 5 6 9 7 12 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 2 4 4 4 4 4 4 4 4 4 4 9 8 8 9 8 7 7 6 5 4 4 5 5 5 8 4 6 7 6 5 8 5 5 6 5 4 4 
Solving time:0.060
Filtering time:0.040
ID:52 (14,12,54)
Graph |V|:91
Solution size:5490
Filtered solution size:2649
Parallel solution length:303
Parallelism:8.743
Step parallelism:25 20 21 17 14 13 13 17 15 12 15 10 12 16 12 11 10 17 13 15 14 12 17 19 15 10 7 8 6 13 13 3 2 5 15 12 11 7 12 14 15 11 15 8 7 7 11 10 9 8 8 9 8 6 6 5 13 12 12 10 10 9 9 10 11 11 12 10 10 10 11 10 9 11 15 16 7 14 14 14 10 10 15 12 6 10 10 12 11 14 12 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 9 9 18 17 13 10 12 11 11 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 7 6 11 7 8 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 11 11 10 11 11 10 10 8 5 5 6 3 6 2 3 6 9 9 4 7 6 10 10 7 5 4 4 2 1 1 3 3 3 3 3 3 3 4 8 8 5 5 10 7 4 2 3 2 3 3 4 4 6 10 11 8 6 8 7 6 6 5 
Solving time:0.060
Filtering time:0.040
ID:53 (14,12,55)
Graph |V|:91
Solution size:5671
Filtered solution size:2678
Parallel solution length:299
Parallelism:8.957
Step parallelism:24 21 21 17 14 12 13 17 12 14 17 9 13 16 9 17 10 12 13 16 13 11 17 12 11 10 7 8 7 16 12 3 3 9 11 10 12 9 11 13 12 6 11 6 6 7 9 9 9 5 6 6 9 8 14 7 14 13 12 10 12 8 10 6 11 7 8 6 10 10 11 9 7 7 10 11 12 12 16 12 9 9 8 7 8 8 8 14 14 14 12 13 12 9 11 11 7 11 8 14 9 8 8 15 18 15 17 10 10 13 12 10 18 16 12 13 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 7 5 10 8 12 5 5 6 5 7 7 8 8 10 6 6 5 5 4 5 4 4 8 7 6 6 9 9 9 10 6 7 7 7 12 12 6 6 6 4 9 14 9 8 10 9 10 9 10 11 11 15 14 14 13 8 6 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 7 10 7 10 3 3 4 4 3 3 4 8 8 8 7 8 6 6 4 6 6 5 6 4 5 3 2 2 
Solving time:0.050
Filtering time:0.040
ID:54 (14,12,56)
Graph |V|:91
Solution size:5341
Filtered solution size:2333
Parallel solution length:292
Parallelism:7.990
Step parallelism:23 21 20 17 14 12 13 17 12 14 17 9 13 16 9 17 10 12 13 16 13 11 16 12 11 10 7 8 7 15 12 3 3 9 11 10 12 9 11 13 12 6 11 6 6 7 9 8 7 4 6 5 7 6 14 7 15 14 9 10 9 7 8 6 10 10 10 10 12 12 13 13 9 9 8 17 13 13 13 13 11 10 5 5 5 12 12 15 15 11 17 12 12 9 9 4 9 8 7 8 11 8 8 10 7 11 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 3 3 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 9 10 6 8 8 8 8 4 5 5 6 5 4 10 9 7 9 8 9 9 9 14 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 5 5 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 1 1 
Solving time:0.050
Filtering time:0.030
ID:55 (14,12,57)
Graph |V|:91
Solution size:4898
Filtered solution size:2098
Parallel solution length:242
Parallelism:8.669
Step parallelism:22 20 19 16 11 11 15 18 12 14 19 11 12 18 14 19 12 16 17 10 6 15 16 15 14 14 8 15 12 14 9 10 10 9 18 15 12 11 9 8 9 5 5 8 6 6 12 11 6 6 10 9 8 11 9 8 8 8 8 7 6 9 9 15 8 8 14 14 12 12 8 9 7 14 10 11 11 8 8 8 8 9 16 11 11 11 10 12 11 9 12 11 13 10 10 8 8 6 9 12 16 12 16 11 7 9 7 10 17 14 10 8 7 13 13 13 18 17 13 9 10 14 16 9 11 8 9 10 8 6 10 10 10 13 17 8 8 5 5 3 2 2 2 2 4 4 4 4 4 4 4 4 4 4 4 2 2 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 11 8 9 9 8 8 7 6 6 9 9 7 10 8 9 11 9 10 8 9 6 8 10 9 7 5 9 12 7 10 10 8 6 7 4 4 3 3 4 4 5 5 3 2 8 8 7 5 3 2 1 1 2 2 2 2 3 3 2 1 
Solving time:0.050
Filtering time:0.020
ID:56 (14,12,58)
Graph |V|:91
Solution size:4951
Filtered solution size:2167
Parallel solution length:252
Parallelism:8.599
Step parallelism:21 18 19 17 11 11 15 18 12 14 19 11 12 18 14 19 12 16 17 10 6 15 16 15 14 14 8 15 12 14 9 10 10 9 18 15 12 11 9 8 9 5 5 6 6 6 12 11 6 6 10 9 8 11 9 11 8 8 8 7 6 9 9 11 8 8 10 10 8 8 10 7 17 12 11 11 11 11 10 11 9 10 9 9 9 8 8 11 12 11 14 12 10 10 10 9 14 11 11 14 13 7 11 11 9 10 16 14 16 13 12 9 8 5 5 6 3 3 7 7 7 7 6 6 6 3 5 5 5 4 5 4 7 9 8 10 13 13 9 9 10 9 10 9 16 13 13 10 11 7 9 9 8 6 5 6 6 6 6 5 5 6 6 8 7 8 6 6 6 6 7 6 5 10 8 9 9 9 9 10 12 8 7 4 6 5 7 6 6 8 6 8 7 7 6 10 6 10 6 6 11 8 5 4 4 4 2 4 4 4 4 7 6 9 8 12 7 7 6 6 9 6 5 9 5 3 2 5 6 5 6 6 5 5 7 6 5 4 4 4 4 4 1 1 5 5 3 3 3 2 2 4 
Solving time:0.050
Filtering time:0.030
ID:57 (14,12,59)
Graph |V|:91
Solution size:4812
Filtered solution size:2027
Parallel solution length:244
Parallelism:8.307
Step parallelism:22 19 20 18 13 11 17 13 14 8 21 12 18 14 14 19 12 17 9 6 13 16 14 14 14 8 14 12 14 9 9 7 7 15 18 11 9 6 6 7 8 8 6 8 7 8 11 10 7 7 9 11 10 9 10 13 11 12 12 11 9 8 8 8 8 5 3 6 9 9 6 9 8 8 8 7 10 7 9 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 7 5 5 3 5 5 5 5 6 6 6 4 3 3 3 4 3 3 3 3 1 1 1 4 6 5 6 6 15 10 16 15 17 17 15 12 11 5 5 10 8 9 7 8 8 5 7 7 6 8 7 6 6 7 6 8 7 7 5 4 6 7 5 4 2 3 6 5 6 8 10 6 6 6 9 9 8 8 10 9 6 5 6 5 4 4 6 6 6 10 10 9 9 8 2 3 6 6 5 5 5 5 5 2 2 2 2 7 4 4 4 4 4 3 6 5 5 5 4 4 1 
Solving time:0.060
Filtering time:0.020
ID:58 (14,12,60)
Graph |V|:91
Solution size:4568
Filtered solution size:1907
Parallel solution length:220
Parallelism:8.668
Step parallelism:21 18 19 17 12 10 16 13 13 8 20 12 17 14 14 19 12 18 9 6 13 15 14 14 14 8 15 12 14 10 11 11 9 18 15 11 11 8 6 7 8 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 6 8 5 10 9 10 10 13 8 8 9 13 11 9 8 7 6 11 12 12 11 11 9 9 13 9 9 9 14 15 12 10 19 19 13 10 8 10 10 8 7 9 8 12 13 7 8 12 10 8 5 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 4 3 4 4 1 1 5 5 5 4 4 4 5 6 8 9 8 8 8 5 9 8 10 10 8 5 8 6 10 9 8 8 8 8 8 8 5 5 5 5 6 6 6 7 6 1 2 2 1 1 7 7 7 6 6 6 6 6 6 6 5 5 3 1 1 1 1 
Solving time:0.050
Filtering time:0.020
ID:59 (14,12,61)
Graph |V|:91
Solution size:4553
Filtered solution size:1762
Parallel solution length:217
Parallelism:8.120
Step parallelism:20 17 19 16 12 10 15 15 14 12 18 19 14 17 21 14 10 14 13 16 15 15 11 14 11 11 9 9 9 9 15 12 9 10 8 4 6 7 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 6 6 10 8 11 10 11 9 12 8 8 8 10 8 8 8 9 11 11 10 10 9 12 10 12 11 10 9 10 9 12 12 14 14 16 8 9 4 2 3 3 3 5 5 5 5 5 5 9 8 8 8 5 9 9 9 11 10 10 7 11 9 16 11 10 11 11 9 6 6 9 5 5 5 7 7 5 6 5 6 10 10 3 6 7 6 6 5 4 2 7 1 1 1 1 6 6 12 12 12 10 11 10 4 4 7 7 7 7 5 7 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 3 7 6 6 6 6 6 3 
Solving time:0.050
Filtering time:0.020
ID:60 (14,12,62)
Graph |V|:91
Solution size:4541
Filtered solution size:1757
Parallel solution length:215
Parallelism:8.172
Step parallelism:20 19 20 16 12 10 15 15 14 12 18 19 14 17 21 14 10 14 13 16 15 15 11 14 11 11 9 9 9 9 16 12 9 10 9 4 6 7 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 6 6 7 6 10 9 10 9 11 9 9 9 8 8 9 9 13 13 9 8 10 9 10 10 10 9 10 9 12 13 10 7 7 5 6 6 7 7 8 8 7 7 7 7 12 9 9 9 8 6 10 10 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 8 7 12 6 6 6 6 6 7 7 8 10 12 10 8 9 9 10 9 5 5 6 6 8 8 4 4 5 5 5 8 8 3 7 6 7 5 2 2 2 1 5 5 5 8 6 5 5 5 5 5 5 5 3 5 2 2 1 1 2 2 1 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:1704
Parallel solution length:218
Parallelism:7.817
Step parallelism:22 19 20 15 11 9 14 14 10 11 10 15 14 17 19 18 11 14 15 8 16 10 7 12 11 8 8 9 10 13 14 8 14 6 7 5 5 5 4 8 8 8 17 17 13 13 14 13 9 11 8 12 9 14 11 11 9 8 8 5 7 7 7 8 7 6 6 7 6 9 8 9 8 8 8 6 10 12 9 6 7 8 13 14 14 9 11 8 3 3 7 7 6 9 11 11 12 10 11 10 6 7 8 7 6 3 3 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 8 8 8 11 10 7 8 9 10 8 7 9 9 10 11 8 6 6 5 5 4 4 8 7 7 9 4 5 6 6 7 7 10 7 9 10 9 8 5 4 6 4 6 6 8 2 4 4 4 6 5 5 6 6 5 5 4 3 3 3 3 3 3 3 3 2 2 2 1 1 1 
Solving time:0.050
Filtering time:0.010
ID:62 (14,12,64)
Graph |V|:91
Solution size:4834
Filtered solution size:1791
Parallel solution length:251
Parallelism:7.135
Step parallelism:21 18 19 12 9 8 14 15 9 10 9 14 14 15 18 19 12 17 15 8 14 8 7 10 10 9 7 9 10 13 13 8 14 13 12 11 12 10 8 6 6 9 6 6 9 9 8 9 8 8 12 9 5 4 6 7 7 5 3 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 10 9 7 8 5 6 6 6 6 6 3 8 8 7 11 9 7 6 7 12 12 15 15 12 7 7 4 5 6 6 7 7 5 5 7 7 6 7 4 4 9 9 7 5 4 3 3 8 8 7 6 6 7 6 6 7 6 6 6 7 7 7 3 5 3 4 2 2 6 5 5 5 5 6 6 6 5 4 3 5 5 3 2 4 3 3 3 3 4 4 3 6 6 5 5 5 3 5 4 4 8 8 10 7 7 7 7 7 6 6 6 6 6 4 6 3 5 5 5 5 4 3 6 5 5 3 7 8 5 6 7 4 4 7 4 4 6 4 5 5 4 5 2 2 1 3 3 3 2 4 4 4 4 4 3 3 3 2 2 2 1 
Solving time:0.050
Filtering time:0.020
ID:63 (14,12,65)
Graph |V|:91
Solution size:4580
Filtered solution size:1497
Parallel solution length:225
Parallelism:6.653
Step parallelism:20 17 18 11 9 8 14 15 9 10 9 14 13 14 19 16 11 16 14 7 12 6 5 10 10 9 7 9 10 13 13 8 14 13 12 10 10 8 6 6 6 9 6 6 9 9 8 9 8 8 12 9 5 4 6 7 7 5 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 5 5 5 5 5 4 3 5 5 3 3 3 3 2 2 2 6 6 10 6 7 9 9 6 9 9 8 8 5 6 5 6 6 5 5 6 6 6 4 6 5 5 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 2 2 2 2 2 2 2 2 2 2 4 4 3 3 2 2 3 1 1 1 1 1 1 2 1 1 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:1481
Parallel solution length:224
Parallelism:6.612
Step parallelism:19 16 17 10 11 10 13 13 11 12 10 14 9 12 18 16 15 12 11 13 6 5 10 10 7 7 9 10 13 13 8 14 13 12 10 10 8 6 6 6 9 6 6 9 9 8 9 8 8 12 9 5 4 6 7 7 5 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 5 5 5 5 5 4 3 5 5 3 3 3 3 2 2 2 6 6 10 6 7 9 9 6 9 9 8 8 5 6 5 6 6 5 5 6 6 6 4 6 5 5 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 2 2 2 2 2 2 2 2 2 2 4 4 3 3 2 2 3 1 1 1 1 1 1 2 1 1 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:1472
Parallel solution length:224
Parallelism:6.571
Step parallelism:18 15 16 9 11 10 13 13 11 12 10 14 9 12 18 16 15 12 11 13 6 5 10 10 7 7 9 10 13 13 8 14 13 12 10 10 8 6 6 6 9 6 6 9 9 8 9 8 8 11 9 5 4 6 6 6 4 2 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 5 5 5 5 5 4 3 5 5 3 3 3 3 2 2 2 6 6 10 6 7 9 9 6 9 9 8 8 5 6 5 6 6 5 5 6 6 6 4 6 5 5 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 2 2 2 2 2 2 2 2 2 2 4 4 3 3 2 2 3 1 1 1 1 1 1 2 1 1 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:1254
Parallel solution length:192
Parallelism:6.531
Step parallelism:18 14 13 8 10 10 11 12 9 10 9 13 8 11 18 16 15 12 10 12 5 5 11 11 10 7 10 8 10 7 8 4 5 7 7 7 10 11 7 7 7 10 9 9 9 6 7 7 9 7 6 9 8 11 10 10 8 8 10 10 8 9 6 8 7 8 9 10 11 10 10 9 10 6 6 5 5 4 5 5 9 5 4 4 6 9 8 7 6 5 4 5 3 3 2 4 4 4 4 6 6 9 9 6 6 7 5 8 8 8 7 8 8 5 5 7 9 6 7 5 5 5 6 4 6 4 4 3 2 2 3 3 3 3 3 3 6 6 4 4 7 7 6 7 7 7 7 7 8 9 9 5 8 8 6 4 3 4 6 4 4 4 5 3 3 5 5 4 4 2 2 2 2 2 2 2 2 2 3 3 5 5 4 3 3 1 1 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:1330
Parallel solution length:197
Parallelism:6.751
Step parallelism:21 19 16 7 5 8 8 8 14 13 10 11 12 11 11 11 15 15 13 11 12 11 7 11 9 9 11 13 12 8 11 9 9 9 5 5 4 4 3 4 3 3 3 6 6 4 4 6 6 6 6 6 6 5 4 4 7 5 5 6 5 7 8 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 9 8 4 4 9 8 8 8 10 10 9 8 7 7 5 7 7 7 7 7 7 7 7 4 4 5 4 4 3 4 4 5 4 3 3 3 3 3 3 3 5 5 5 4 4 4 5 5 4 6 5 7 7 7 5 7 4 3 4 4 3 4 5 5 5 5 5 8 6 8 7 6 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:1329
Parallel solution length:204
Parallelism:6.515
Step parallelism:20 18 15 6 6 8 8 8 13 13 10 11 13 11 11 11 14 14 12 11 11 11 7 7 8 8 10 12 11 9 10 8 8 8 4 4 3 3 4 3 3 3 6 6 4 4 6 6 6 6 6 6 5 4 4 6 5 5 6 5 7 8 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 9 8 4 4 9 8 8 8 10 10 9 8 7 7 5 7 7 7 7 7 7 7 6 3 3 4 3 3 3 4 4 5 4 3 3 3 3 3 3 3 5 5 5 5 5 5 5 5 4 5 4 6 6 7 5 8 3 3 4 4 3 3 4 4 4 2 2 4 7 5 9 9 9 6 6 6 7 7 7 7 7 6 6 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 2 2 2 2 1 
Solving time:0.050
Filtering time:0.010
ID:69 (14,12,71)
Graph |V|:91
Solution size:4415
Filtered solution size:1350
Parallel solution length:215
Parallelism:6.279
Step parallelism:19 17 14 6 6 8 8 8 13 13 10 11 13 11 11 11 14 14 12 11 11 11 7 7 8 8 10 12 11 9 10 8 8 8 4 4 3 3 4 3 3 3 6 6 4 4 6 6 6 6 6 6 5 4 4 6 5 5 6 5 7 8 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 4 3 8 8 8 10 10 9 9 8 9 7 6 9 6 5 8 8 6 6 7 7 7 6 6 6 5 6 5 4 3 3 4 4 4 4 6 4 4 4 4 4 4 5 2 5 5 4 7 8 7 6 7 7 7 7 8 9 6 6 6 4 4 2 2 3 6 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 4 4 5 5 4 3 4 5 4 3 4 4 1 1 1 2 2 2 4 2 2 4 4 4 2 2 1 1 
Solving time:0.050
Filtering time:0.010
ID:70 (14,12,72)
Graph |V|:91
Solution size:3972
Filtered solution size:1075
Parallel solution length:189
Parallelism:5.688
Step parallelism:18 16 12 6 6 8 8 8 13 12 10 11 13 11 10 10 13 13 12 10 10 11 7 7 9 8 9 10 10 9 10 6 6 6 4 9 3 3 5 5 5 5 8 8 5 5 7 7 6 5 5 5 4 4 4 5 5 5 4 4 9 10 7 8 6 8 8 8 6 7 7 7 7 7 3 8 5 4 7 7 8 6 5 7 8 5 4 4 6 6 6 5 3 3 4 4 4 4 4 5 4 6 5 5 5 5 7 5 6 6 5 5 4 5 4 4 3 4 4 3 4 4 4 3 5 4 4 4 4 4 6 5 4 3 7 7 6 7 9 6 6 6 7 7 6 6 5 5 2 2 4 6 5 5 5 4 3 3 3 3 2 3 3 5 5 5 5 3 4 3 3 3 3 2 2 3 3 2 2 2 2 2 1 1 1 1 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:1040
Parallel solution length:203
Parallelism:5.123
Step parallelism:17 15 13 8 8 6 5 5 10 9 9 8 8 10 9 11 11 11 7 7 8 10 8 7 8 6 8 9 9 5 6 6 6 4 7 9 9 6 6 6 6 4 5 6 4 3 3 3 5 5 5 9 9 9 7 7 5 9 11 7 6 6 6 6 7 7 5 8 6 5 9 8 5 5 5 2 4 4 3 3 3 3 5 5 4 5 3 3 11 11 9 8 7 7 7 9 6 4 4 4 4 3 6 5 5 4 4 5 5 7 7 5 4 4 5 7 6 6 5 5 7 7 6 5 4 4 4 4 3 5 6 3 3 3 5 5 4 4 4 6 6 5 5 4 4 5 4 4 4 6 5 5 5 5 5 5 6 6 6 6 6 4 4 4 3 2 2 2 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 2 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 
Solving time:0.050
Filtering time:0.000
ID:72 (14,12,74)
Graph |V|:91
Solution size:3820
Filtered solution size:936
Parallel solution length:192
Parallelism:4.875
Step parallelism:15 13 10 7 10 9 8 9 10 10 11 11 12 10 9 10 10 7 7 7 7 11 11 7 6 7 10 7 6 7 6 4 4 8 8 8 9 9 9 7 7 7 7 5 5 6 6 7 6 7 8 7 5 3 3 7 5 5 5 5 4 4 6 6 4 4 4 4 5 4 5 4 3 3 3 7 4 4 4 5 5 7 7 7 8 4 4 6 5 5 5 5 3 5 5 4 5 4 6 3 2 2 2 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 2 3 6 3 3 3 3 3 2 2 1 1 1 1 1 1 2 2 2 2 4 4 4 4 4 4 4 7 5 5 4 4 4 4 4 3 3 2 3 2 2 2 2 2 2 2 2 2 2 2 3 2 2 3 3 3 2 2 2 2 2 1 1 
Solving time:0.040
Filtering time:0.010
ID:73 (14,12,75)
Graph |V|:91
Solution size:3880
Filtered solution size:959
Parallel solution length:186
Parallelism:5.156
Step parallelism:14 12 9 7 9 9 8 10 9 9 9 9 10 9 8 9 9 6 9 6 6 4 4 4 8 6 6 6 6 5 6 4 4 4 7 7 7 4 4 5 7 7 7 5 6 5 6 6 6 8 8 6 6 7 7 7 7 7 8 9 9 9 9 10 10 9 8 10 7 5 4 4 4 4 4 9 8 7 7 6 7 7 6 5 4 5 6 6 5 2 2 4 3 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 3 3 2 2 4 4 3 3 3 3 3 3 3 4 5 5 7 4 5 5 5 5 3 3 2 1 5 7 7 6 5 6 6 6 6 6 6 6 6 4 4 4 3 3 1 2 3 3 3 3 3 3 3 3 2 2 2 3 3 3 2 2 3 3 3 3 1 
Solving time:0.050
Filtering time:0.000
ID:74 (14,12,76)
Graph |V|:91
Solution size:3751
Filtered solution size:967
Parallel solution length:183
Parallelism:5.284
Step parallelism:13 11 9 7 9 9 8 10 9 9 9 9 10 9 8 9 9 6 9 6 6 4 4 4 8 6 6 6 6 5 6 4 4 4 7 7 7 4 4 5 7 7 7 5 6 5 6 6 6 8 8 6 6 8 7 7 7 7 8 9 9 9 9 10 10 8 7 6 5 4 6 4 4 7 7 7 7 7 7 7 6 6 6 6 8 7 6 4 3 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 3 3 4 5 3 2 2 2 2 2 3 4 3 3 6 6 6 6 5 6 6 5 5 5 5 4 5 5 4 3 3 6 6 5 5 5 5 4 4 5 5 2 2 5 3 2 2 4 3 4 4 3 3 2 2 2 2 2 1 1 1 2 2 3 1 
Solving time:0.040
Filtering time:0.010
ID:75 (14,12,77)
Graph |V|:91
Solution size:3573
Filtered solution size:806
Parallel solution length:165
Parallelism:4.885
Step parallelism:12 10 8 7 8 8 7 8 8 10 8 9 6 8 8 7 10 5 5 5 5 5 6 6 6 4 4 4 5 2 4 4 4 3 3 4 6 6 6 8 9 7 6 4 6 6 8 8 8 7 7 7 5 4 4 6 6 6 6 6 7 6 6 6 7 6 6 6 6 5 4 3 3 5 7 9 9 8 8 8 7 3 3 2 2 2 2 3 4 3 4 4 2 2 2 2 3 2 1 1 3 3 3 3 3 6 6 6 5 6 5 3 5 4 4 4 3 5 6 6 7 6 5 5 5 4 4 3 5 5 5 5 5 5 5 4 6 5 3 4 4 4 4 5 4 4 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 2 1 1 
Solving time:0.050
Filtering time:0.000
ID:76 (14,12,78)
Graph |V|:91
Solution size:3573
Filtered solution size:798
Parallel solution length:165
Parallelism:4.836
Step parallelism:12 10 8 7 8 8 7 9 9 11 9 9 5 6 6 6 9 4 5 5 5 5 6 6 6 4 4 4 5 1 3 3 3 3 3 4 6 6 6 8 9 7 6 4 6 6 8 8 8 7 7 7 5 4 4 6 6 6 6 6 7 6 6 6 7 6 6 6 6 5 4 3 3 5 7 9 9 8 8 8 7 3 3 2 2 2 2 3 4 3 4 4 2 2 2 2 3 2 1 1 3 3 3 3 3 6 6 6 5 6 5 3 5 4 4 4 3 5 6 6 7 6 5 5 5 4 4 3 5 5 5 5 5 5 5 4 6 5 3 4 4 4 4 5 4 4 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 2 1 1 
Solving time:0.040
Filtering time:0.000
ID:77 (14,12,79)
Graph |V|:91
Solution size:3624
Filtered solution size:779
Parallel solution length:159
Parallelism:4.899
Step parallelism:11 9 7 6 7 7 7 8 8 10 8 8 4 5 5 5 8 4 5 5 5 4 5 5 5 5 5 6 7 3 5 4 4 4 4 5 6 5 6 8 7 7 7 7 5 4 4 4 4 4 4 4 4 5 5 5 5 5 4 6 5 5 8 8 8 8 7 6 7 7 6 5 4 3 3 2 3 3 5 3 5 4 4 5 5 4 4 5 5 5 5 5 5 6 5 4 5 3 4 4 4 7 5 5 5 7 7 7 6 5 5 6 7 5 8 8 6 6 3 3 5 5 4 4 4 7 4 4 5 3 5 5 5 4 4 4 4 4 3 3 2 2 1 1 2 2 2 2 2 2 2 4 4 4 3 2 2 2 1 
Solving time:0.040
Filtering time:0.010
ID:78 (14,12,80)
Graph |V|:91
Solution size:3426
Filtered solution size:704
Parallel solution length:164
Parallelism:4.293
Step parallelism:11 8 8 6 6 6 7 5 4 3 3 2 3 3 4 4 4 4 5 6 5 6 5 5 5 5 5 5 6 3 2 3 6 5 5 6 9 7 7 8 8 8 7 7 7 3 3 3 6 6 6 3 3 6 6 6 6 6 6 6 5 5 8 6 6 6 4 3 3 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 3 3 3 4 5 5 5 8 7 7 8 7 7 5 5 5 5 4 6 6 7 3 2 4 4 5 4 2 2 3 2 3 3 3 3 4 3 2 2 3 2 2 3 3 2 2 3 3 2 2 3 2 2 1 1 1 1 2 1 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:79 (14,12,81)
Graph |V|:91
Solution size:3683
Filtered solution size:574
Parallel solution length:139
Parallelism:4.129
Step parallelism:10 8 7 7 7 6 6 7 6 5 4 3 3 2 2 3 3 4 4 4 4 5 5 5 7 7 7 7 7 7 9 7 4 4 3 5 5 5 4 4 4 4 5 5 5 5 8 7 7 5 9 8 7 7 7 6 6 6 6 6 7 6 4 4 3 4 4 4 4 4 4 3 4 4 5 5 4 3 3 2 2 5 5 4 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 4 4 4 3 4 2 3 4 4 3 4 4 4 3 2 2 2 2 2 2 2 2 2 1 1 2 2 1 1 1 1 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:652
Parallel solution length:181
Parallelism:3.602
Step parallelism:9 7 6 6 7 7 5 6 6 7 7 7 6 6 5 5 5 4 3 3 3 5 3 3 3 3 2 2 4 1 1 1 1 2 2 2 2 2 2 2 4 4 4 4 4 4 4 3 3 4 6 3 3 3 3 3 3 3 3 4 4 4 4 4 3 3 3 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 4 3 3 3 5 4 3 6 6 4 4 5 3 3 4 4 4 4 3 2 2 2 2 3 3 3 3 4 4 4 6 6 6 6 5 5 4 4 4 4 4 3 3 3 5 5 5 4 4 4 4 3 3 5 4 3 3 4 3 3 3 3 3 2 2 2 3 1 1 1 3 3 2 2 2 2 2 2 2 3 3 3 3 3 3 2 3 2 2 2 3 2 2 3 3 2 2 2 2 
Solving time:0.040
Filtering time:0.000
ID:81 (14,12,83)
Graph |V|:91
Solution size:3432
Filtered solution size:598
Parallel solution length:172
Parallelism:3.477
Step parallelism:8 6 5 5 6 6 4 5 5 7 7 7 6 6 5 5 5 4 3 3 3 5 4 4 3 3 2 2 4 1 1 1 1 2 2 2 2 2 2 2 4 4 4 4 4 4 4 3 3 4 6 4 3 3 3 3 3 3 3 4 4 4 4 4 3 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 3 3 4 5 5 5 6 4 3 3 3 3 3 3 2 2 3 2 2 2 3 3 3 3 5 5 4 3 1 1 1 1 1 1 1 1 1 2 4 7 6 6 4 7 4 4 3 4 2 6 6 6 5 5 6 5 3 3 2 2 1 1 1 1 5 5 3 4 4 3 5 3 3 1 2 1 2 2 3 3 3 3 3 2 2 2 2 1 
Solving time:0.040
Filtering time:0.000
ID:82 (14,12,84)
Graph |V|:91
Solution size:3229
Filtered solution size:508
Parallel solution length:145
Parallelism:3.503
Step parallelism:7 5 4 4 4 4 4 4 4 4 4 3 3 3 3 4 4 4 5 5 6 5 2 1 1 1 4 4 4 4 4 6 5 4 2 2 3 3 3 3 5 4 4 4 4 5 5 5 5 5 4 4 5 5 6 6 6 6 5 5 5 5 5 5 4 3 5 5 5 5 5 4 4 3 2 2 3 3 3 3 3 3 3 3 2 1 1 2 2 4 4 4 4 3 4 4 5 5 4 4 4 4 4 4 4 4 4 4 4 4 4 3 3 3 4 4 4 4 2 2 2 2 2 2 2 3 3 3 3 3 3 2 2 1 1 1 1 1 1 1 1 1 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:83 (14,12,85)
Graph |V|:91
Solution size:2959
Filtered solution size:370
Parallel solution length:131
Parallelism:2.824
Step parallelism:6 4 3 3 4 4 4 4 4 5 5 5 5 5 4 3 3 3 3 3 3 2 2 1 1 1 3 3 3 3 3 5 4 3 2 2 3 3 3 3 4 4 4 4 5 5 4 5 5 5 4 4 5 5 5 5 5 5 4 4 3 3 2 2 2 2 4 4 4 4 4 3 2 2 2 3 3 3 3 3 3 3 2 2 2 3 3 2 1 3 3 3 3 2 2 2 3 3 3 3 2 1 1 2 2 2 2 1 2 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.040
Filtering time:0.000
ID:84 (14,12,86)
Graph |V|:91
Solution size:2810
Filtered solution size:276
Parallel solution length:98
Parallelism:2.816
Step parallelism:5 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 5 3 5 5 4 4 4 4 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 4 4 2 4 3 3 4 4 3 3 2 2 1 1 1 2 2 2 1 3 3 3 3 2 1 1 2 2 2 2 2 2 2 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 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:228
Parallel solution length:94
Parallelism:2.426
Step parallelism:4 4 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 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 3 3 3 2 2 2 2 1 1 1 1 1 1 1 1 1 1 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.030
Filtering time:0.000
ID:86 (14,12,88)
Graph |V|:91
Solution size:2432
Filtered solution size:174
Parallel solution length:100
Parallelism:1.740
Step parallelism:3 3 3 3 3 3 3 3 3 2 2 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 3 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 
Solving time:0.030
Filtering time:0.000
ID:87 (14,12,89)
Graph |V|:91
Solution size:2106
Filtered solution size:91
Parallel solution length:78
Parallelism:1.167
Step parallelism:2 2 2 2 2 1 1 1 1 1 1 2 1 1 1 1 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 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:19
Parallel solution length:19
Parallelism:1.000
Step parallelism: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: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