-
Notifications
You must be signed in to change notification settings - Fork 7
/
Texel.923
18282 lines (18281 loc) · 812 KB
/
Texel.923
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
min cost: 86 queue: 0 nodes: 0 time: 0.000126992
Q:-1 R:-1 Bd:1 Bl:1 N:0 P:-6 sP:4
q:0 r:1 bd:1 bl:0 n:2 p:-4 sp:0
nodes: 2 time: 0.00429941
kernel: [ bPa1xPb0, bPf1xPe0, bPg1xPh0, bPb0xPa0, bPc1xQd0, bPd2xRc0 ]
nVars:38 nConstr:49
CSP nodes: 38
found:2 nodes:4559 csp:1 cspNodes:38
3kB3/4pnb1/qpp2bR1/3Nr2r/NB2K1P1/nb1p1P2/nn3Br1/5B2 w - - 0 1 unknown, kernel: bPa1xPb0 bPf1xPe0 bPg1xPh0 bPb0xPa0 bPc1xQd0 bPd2xRc0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPh2-h4 bPg5xh4 wPa2-a3 bPb4xa3 bPc7-c5 wPd2-d5 wQd1-d4 bPc5xd4 wPc2-c7 wRa1-c6 bPd7xc6
Forced last move: f3f2 (-, -, -, 0)
New goalPos: Nb3QRn/r3NN1B/3n1n1r/8/B2kbr2/1q2ppn1/p7/1RnbQNK1 b - - 0 1
min cost: 115 queue: 0 nodes: 0 time: 4.0129e-05
Q:1 R:0 Bd:-1 Bl:1 N:2 P:-8 sP:4
q:0 r:1 bd:0 bl:1 n:3 p:-5 sp:0
nodes: 2 time: 0.0119372
kernel: [ bPb1xPa0, bPc1xPd0, bPg1xPh0, bPe1xPf0, bPd0xDBe0 ]
nVars:35 nConstr:42
CSP nodes: 35
found:2 nodes:2549 csp:1 cspNodes:35
Nb3QRn/r3NN1B/3n1n1r/8/B2kbr2/1q2p1n1/p4p2/1RnbQNK1 w - - 0 1 unknown, kernel: bPb1xPa0 bPc1xPd0 bPg1xPh0 bPe1xPf0 bPd0xDBe0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPc7-c5 wPd2-d4 bPc5xd4 bPg7-g5 wPh2-h4 bPg5xh4 bPe7-e5 wPf2-f4 bPe5xf4 wPe2-e4 wDBc1-e3 bPd4xe3
RR4nQ/2q2K1p/1b4N1/3b1Rbn/pR3b2/1n1QB2k/B1n1rn2/4n1Q1 w - - 0 1 illegal, No possible last move
min cost: 122 queue: 0 nodes: 0 time: 4.0727e-05
Q:2 R:0 Bd:-1 Bl:-1 N:3 P:-8 sP:3
q:0 r:0 bd:1 bl:0 n:6 p:-7 sp:0
nodes: 2 time: 0.00234869
kernel: [ bPa1xPb0, bPc1xPd0, bPf1xPe0, bPg1xDBf0, bPh1xLBg0 ]
nVars:34 nConstr:39
CSP nodes: 34
found:2 nodes:18356 csp:1 cspNodes:34
2nn2Nk/1RbbQQ2/3qp2b/1n1Nn3/1RrnK2n/n7/2NNr3/N3n1Q1 w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 bPf1xPe0 bPg1xDBf0 bPh1xLBg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPf2-f5 wDBc1-f4 bPg5xf4 bPh7-h5 wPg2-g5 wLBf1-g4 bPh5xg4
min cost: 106 queue: 0 nodes: 0 time: 4.0279e-05
Q:1 R:1 Bd:-1 Bl:1 N:0 P:-7 sP:4
q:1 r:2 bd:0 bl:2 n:1 p:-6 sp:0
nodes: 2 time: 0.004048
kernel: [ bPa1xPb0, bPe1xPd0, bPf1xPe0, bPg1xPf0, bPh1xDBg0 ]
nVars:33 nConstr:38
CSP nodes: 34
found:2 nodes:1724 csp:1 cspNodes:34
R3b1r1/Rrb3nR/2pk2Br/1bnr4/2bpqN2/2PB1N1q/6Q1/1Q2K1n1 w - - 0 1 unknown, kernel: bPa1xPb0 bPe1xPd0 bPf1xPe0 bPg1xPf0 bPh1xDBg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPe7-e5 wPd2-d4 bPe5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPf2-f4 bPg5xf4 bPh7-h6 wPg2-g6 wDBc1-g5 bPh6xg5
Checking capture: b3a3 (Q, -, -, 0)
found:0 nodes:22243 csp:0 cspNodes:0
Checking capture: b3a3 (R, -, -, 0)
found:0 nodes:22243 csp:0 cspNodes:0
Checking capture: b3a3 (B, -, -, 0)
found:0 nodes:22243 csp:0 cspNodes:0
Checking capture: b3a3 (N, -, -, 0)
kernel: [ bPb1xPa0, bPd1xPc0, bPe1xPf0, bPg1xPh0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:43 csp:1 cspNodes:32
min cost: 126 queue: 0 nodes: 0 time: 4.0812e-05
Q:2 R:1 Bd:0 Bl:0 N:-1 P:-7 sP:4
q:4 r:0 bd:1 bl:1 n:1 p:-7 sp:0
nodes: 2 time: 0.00586885
kernel: [ bPb1xPa0, bPd1xPc0, bPe1xPf0, bPf0xPg0, bPh1xNg0 ]
nVars:36 nConstr:44
CSP nodes: 40
found:2 nodes:2612 csp:1 cspNodes:40
R7/6n1/nQrQq3/2bBqqbb/QB1P1knq/q1Nr4/p5bR/R1K5 w - - 0 1 unknown, kernel: bPb1xPa0 bPd1xPc0 bPe1xPf0 bPf0xPg0 bPh1xNg0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPd7-d5 wPc2-c4 bPd5xc4 bPe7-e5 wPf2-f4 bPe5xf4 wPg2-g3 bPf4xg3 bPh7-h3 wNb1-g2 bPh3xg2
min cost: 118 queue: 0 nodes: 0 time: 4.0671e-05
Q:0 R:2 Bd:-1 Bl:0 N:1 P:-7 sP:4
q:4 r:3 bd:-1 bl:0 n:0 p:-7 sp:0
nodes: 2 time: 0.00665993
kernel: [ bPb1xPa0, bPc1xPd0, bPf1xPe0, bPg1xPh0, bPa0xDBb0, wPb1xDBa1 ]
nVars:38 nConstr:48
CSP nodes: 39
found:2 nodes:120 csp:1 cspNodes:39
N1q1b3/1r2qnqR/6q1/k4qQ1/NR2R1nN/R3KP2/p1r4r/1B1r2r1 w - - 0 1 unknown, kernel: bPb1xPa0 bPc1xPd0 bPf1xPe0 bPg1xPh0 bPa0xDBb0 wPb1xDBa1 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPh2-h4 bPg5xh4 bPa4-a3 wPb2-b3 wDBc1-b2 bPa3xb2 wPb3-b4 bPa7-a4 bDBf8-a5 wPb4xa5
Checking capture: b1a1 (Q, -, -, 0)
found:0 nodes:11260 csp:0 cspNodes:0
Checking capture: b1a1 (R, -, -, 0)
found:0 nodes:19582 csp:0 cspNodes:0
Checking capture: b1a1 (B, -, -, 0)
found:0 nodes:11260 csp:0 cspNodes:0
Checking capture: b1a1 (N, -, -, 0)
found:0 nodes:11260 csp:0 cspNodes:0
Checking capture: b2a1r (Q, -, -, 0)
found:0 nodes:8326 csp:0 cspNodes:0
Checking capture: b2a1r (R, -, -, 0)
found:0 nodes:13165 csp:0 cspNodes:0
Checking capture: b2a1r (B, -, -, 0)
found:0 nodes:8326 csp:0 cspNodes:0
Checking capture: b2a1r (N, -, -, 0)
found:0 nodes:8326 csp:0 cspNodes:0
Forced last move: b1a1 (-, -, -, 0)
New goalPos: 1NnB3n/b2rb3/2b2r1b/2N3p1/2Qp4/BQ1br3/K1PN1qkr/1rQB4 b - - 0 1
min cost: 117 queue: 0 nodes: 0 time: 2.437e-05
Q:2 R:-2 Bd:1 Bl:0 N:1 P:-7 sP:3
q:0 r:3 bd:2 bl:1 n:0 p:-6 sp:0
nodes: 2 time: 0.00406202
kernel: [ bPa1xPb0, bPc1xPd0, bPf1xPe0, bPg1xRf0, bPh1xRg0 ]
nVars:34 nConstr:39
CSP nodes: 34
found:2 nodes:18783 csp:1 cspNodes:34
1NnB3n/b2rb3/2b2r1b/2N3p1/2Qp4/BQ1br3/K1PN1qkr/r1QB4 w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 bPf1xPe0 bPg1xRf0 bPh1xRg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPf2-f5 wRa1-f4 bPg5xf4 bPh7-h6 wPg2-g6 wRh1-g5 bPh6xg5
Checking capture: d3b5 (Q, -, -, 0)
found:0 nodes:12736 csp:0 cspNodes:0
Checking capture: d3b5 (R, -, -, 0)
found:0 nodes:22243 csp:0 cspNodes:0
Checking capture: d3b5 (B, -, -, 0)
found:0 nodes:22243 csp:0 cspNodes:0
Checking capture: d3b5 (N, -, -, 0)
found:0 nodes:12736 csp:0 cspNodes:0
Checking capture: d3b5 (P, -, -, 0)
found:0 nodes:12494 csp:0 cspNodes:0
Forced last move: d3b5 (-, -, -, 0)
New goalPos: 4N1q1/4rb1b/pnNRbQ2/r1rPQb2/1K1b2Q1/1n1qb3/4Q2B/k2nQ3 b - - 0 1
min cost: 127 queue: 0 nodes: 0 time: 2.4025e-05
Q:4 R:-1 Bd:0 Bl:-1 N:0 P:-7 sP:3
q:1 r:1 bd:1 bl:3 n:1 p:-7 sp:0
nodes: 2 time: 0.00235976
kernel: [ bPb1xPa0, bPd1xPc0, bPe1xPf0, bPg1xRf0, bPh1xLBg0 ]
nVars:35 nConstr:41
CSP nodes: 39
found:2 nodes:27851 csp:1 cspNodes:39
4N1q1/4rb1b/pnNRbQ2/rqrPQb2/1K1b2Q1/1n2b3/4Q2B/k2nQ3 w - - 0 1 unknown, kernel: bPb1xPa0 bPd1xPc0 bPe1xPf0 bPg1xRf0 bPh1xLBg0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPd7-d5 wPc2-c4 bPd5xc4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g4 wRa1-f3 bPg4xf3 bPh7-h5 wPg2-g5 wLBf1-g4 bPh5xg4
min cost: 110 queue: 0 nodes: 0 time: 2.5226e-05
Q:1 R:3 Bd:0 Bl:-1 N:-1 P:-7 sP:3
q:1 r:0 bd:1 bl:2 n:2 p:-6 sp:0
nodes: 2 time: 0.00346095
kernel: [ bPa1xPb0, bPc1xPd0, bPf1xPg0, bPb0xLBa0, bPh1xNg0 ]
nVars:35 nConstr:41
CSP nodes: 40
found:2 nodes:563 csp:1 cspNodes:40
q5b1/q1rR3R/2b2R1n/bQ1pp1nR/2R1Pnk1/5r2/NBK3b1/bQ2n3 w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 bPf1xPg0 bPb0xLBa0 bPh1xNg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPg2-g4 bPf5xg4 bPb4-b3 wPa2-a3 wLBf1-a2 bPb3xa2 bPh7-h4 wNb1-g3 bPh4xg3
min cost: 98 queue: 0 nodes: 0 time: 3.4478e-05
Q:2 R:-1 Bd:1 Bl:1 N:-1 P:-7 sP:3
q:0 r:0 bd:0 bl:2 n:2 p:-4 sp:0
nodes: 2 time: 0.0101927
kernel: [ bPa1xPb0, bPd1xPe0, bPf1xPg0, bPc1xRb0, bPh1xNg0 ]
nVars:36 nConstr:43
CSP nodes: 44
found:2 nodes:588648 csp:1 cspNodes:44
3rb2Q/1B1b4/2n4P/BB2p1b1/1n1r2pk/RK4p1/1N1BbQp1/nq1Q1n2 w - - 0 1 unknown, kernel: bPa1xPb0 bPd1xPe0 bPf1xPg0 bPc1xRb0 bPh1xNg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPd7-d5 wPe2-e4 bPd5xe4 bPf7-f5 wPg2-g4 bPf5xg4 bPc7-c4 wRa1-b3 bPc4xb3 bPh7-h4 wNb1-g3 bPh4xg3
min cost: 122 queue: 0 nodes: 0 time: 2.5128e-05
Q:1 R:0 Bd:0 Bl:-1 N:1 P:-6 sP:4
q:2 r:3 bd:1 bl:0 n:0 p:-6 sp:0
nodes: 2 time: 0.00543266
kernel: [ bPc1xPd0, bPe1xPf0, bPh1xPg0, bPa1xPb0, bPb0xLBa0 ]
nVars:35 nConstr:42
CSP nodes: 35
found:2 nodes:86 csp:1 cspNodes:35
Rb1Rn1b1/P5B1/1N3r2/Q1P2rr1/p2K1Q1q/N1q3p1/q2b3n/k2r2rN w - - 0 1 unknown, kernel: bPc1xPd0 bPe1xPf0 bPh1xPg0 bPa1xPb0 bPb0xLBa0 extKernel: bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 bPh7-h5 wPg2-g4 bPh5xg4 bPa7-a6 wPb2-b5 bPa6xb5 wPa2-a5 wLBf1-a4 bPb5xa4
min cost: 65535 queue: 0 nodes: 0 time: 2.8641e-05
Q:-1 R:0 Bd:2 Bl:-1 N:0 P:-5 sP:3
q:0 r:3 bd:0 bl:0 n:2 p:-5 sp:0
nodes: 1 time: 0.00022274
1B2r3/1K2PR1R/Np1BP2b/6n1/1Brrn2p/1rqn1brp/2P3N1/kn6 w - - 0 1 illegal, other
min cost: 104 queue: 0 nodes: 0 time: 3.8728e-05
Q:2 R:-1 Bd:-1 Bl:0 N:0 P:-5 sP:3
q:0 r:1 bd:2 bl:1 n:2 p:-6 sp:0
nodes: 2 time: 0.00233995
kernel: [ bPa1xPb0, bPd1xPc0, bPe1xPf0, bPg1xRf0, bPh1xDBg0 ]
nVars:35 nConstr:41
kernel: [ bPa1xPb0, bPd1xPc0, bPe1xPf0, bPg1xRf1, bPh1xDBg0 ]
nVars:35 nConstr:41
kernel: [ bPa1xPb0, bPd1xPc0, bPe1xPf0, bPg1xDBf0, bPh1xRg0 ]
nVars:35 nConstr:41
CSP nodes: 38
found:2 nodes:223944 csp:3 cspNodes:38
Kb3b2/5pP1/P1R1Pnp1/n1n1Nrk1/1N2r3/1qb5/2b1rQn1/1b1Q1B1Q w - - 0 1 unknown, kernel: bPa1xPb0 bPd1xPc0 bPe1xPf0 bPg1xDBf0 bPh1xRg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPd7-d5 wPc2-c4 bPd5xc4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g3 wDBc1-f2 bPg3xf2 wPg2-g7 wRa1-g6 bPh7xg6
min cost: 112 queue: 0 nodes: 0 time: 2.5243e-05
Q:1 R:0 Bd:-1 Bl:-1 N:1 P:-5 sP:3
q:2 r:1 bd:1 bl:0 n:3 p:-8 sp:1
nodes: 2 time: 0.00289052
kernel: [ bPa1xPb0, wPc0xPd1, bPe1xPf0, bPh1xPg0, bPb0xDBa0, bPa0xLBb0 ]
nVars:38 nConstr:48
kernel: [ bPa1xPb0, wPc0xPd1, bPe1xPf0, bPh1xPg0, bPb0xDBa0, bPa0xLBb1 ]
nVars:38 nConstr:48
kernel: [ bPa1xPb0, wPc0xPd1, bPe1xPf0, bPh1xPg0, bPb0xDBa0, bPa0xLBbQ ]
nVars:36 nConstr:44
CSP nodes: 36
found:2 nodes:99 csp:3 cspNodes:36
1NRN4/1R1r3P/2n1n3/P2q3K/1b1qP3/7Q/1QnNkn1r/q1r1bb1n w - - 0 1 unknown, kernel: bPa1xPb0 wPc0xPd1 bPe1xPf0 bPh1xPg0 bPb0xDBa0 bPa0xLBbQ extKernel: bPa7-a5 wPb2-b4 bPa5xb4 wPc2-c4 bPd7-d5 wPc4xd5 bPe7-e5 wPf2-f4 bPe5xf4 bPh7-h5 wPg2-g4 bPh5xg4 wPa2-a4 wDBc1-a3 bPb4xa3 bPa3-a2 bPa2xb1Q
min cost: 65535 queue: 0 nodes: 0 time: 2.3315e-05
Q:0 R:-1 Bd:-1 Bl:0 N:1 P:-4 sP:3
q:2 r:0 bd:2 bl:0 n:2 p:-6 sp:0
nodes: 1 time: 0.000196432
1r1N1rq1/1R2NBp1/3bQ1P1/3Pn1Nq/4n1P1/P1pkb2q/K4n2/bb4n1 w - - 0 1 illegal, other
min cost: 118 queue: 0 nodes: 0 time: 2.3575e-05
Q:0 R:0 Bd:-1 Bl:-1 N:1 P:-4 sP:3
q:3 r:1 bd:2 bl:1 n:1 p:-8 sp:0
nodes: 2 time: 0.00201998
kernel: [ bPa1xPb0, bPf1xPe0, bPg1xPh0, bPc1xDBb0, bPd1xLBc0 ]
nVars:35 nConstr:41
CSP nodes: 38
found:2 nodes:9713 csp:1 cspNodes:38
8/qrPk1Nbn/P2N1Pnb/3P2Nq/q1R5/1n2q1Qb/2K3b1/r2R1rb1 w - - 0 1 unknown, kernel: bPa1xPb0 bPf1xPe0 bPg1xPh0 bPc1xDBb0 bPd1xLBc0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPh2-h4 bPg5xh4 bPc7-c3 wDBc1-b2 bPc3xb2 bPd7-d5 wPc2-c5 wLBf1-c4 bPd5xc4
min cost: 118 queue: 0 nodes: 0 time: 3.8788e-05
Q:2 R:1 Bd:0 Bl:1 N:0 P:-8 sP:4
q:1 r:0 bd:1 bl:0 n:4 p:-6 sp:0
nodes: 2 time: 0.00682822
kernel: [ bPa1xPb0, bPc1xPd0, bPf1xPe0, bPg1xPh0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:44 csp:1 cspNodes:32
Q3Br2/4K3/N2B4/nnNqn2b/1b2p2R/2b2nn1/k2p2B1/qrQRn1QR w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 bPf1xPe0 bPg1xPh0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPh2-h4 bPg5xh4
min cost: 86 queue: 0 nodes: 0 time: 2.8196e-05
Q:0 R:1 Bd:0 Bl:0 N:3 P:-8 sP:4
q:0 r:0 bd:1 bl:2 n:0 p:-4 sp:1
nodes: 2 time: 0.00752823
kernel: [ wPa0xPb1, bPc1xPd0, bPe1xPf0, bPf0xPg0, bPg0xPh0 ]
nVars:36 nConstr:45
CSP nodes: 36
found:2 nodes:1572 csp:1 cspNodes:36
b3r3/2N2R2/B3K1kN/2Qpb2p/n1bp3b/2NN3r/1RbqR1p1/B1N2n2 w - - 0 1 unknown, kernel: wPa0xPb1 bPc1xPd0 bPe1xPf0 bPf0xPg0 bPg0xPh0 extKernel: wPa2-a4 bPb7-b5 wPa4xb5 bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 wPg2-g3 bPf4xg3 bPg3xh2
Checking capture: h7g8 (Q, -, -, 0)
Checking capture: h7g8 (R, -, -, 0)
Checking capture: h7g8 (B, -, -, 0)
Checking capture: h7g8 (N, -, -, 0)
Checking capture: h8g8 (Q, -, -, 0)
Checking capture: h8g8 (R, -, -, 0)
Checking capture: h8g8 (B, -, -, 0)
Checking capture: h8g8 (N, -, -, 0)
Forced last move: h7g8 (-, -, -, 0)
New goalPos: r1b2K2/N1R4q/2rkr1q1/r1q1r3/B1b2nrN/6B1/qN1n1Q1b/N1BR1N2 b - - 0 1
min cost: 127 queue: 0 nodes: 0 time: 2.3261e-05
Q:0 R:0 Bd:1 Bl:0 N:3 P:-8 sP:4
q:3 r:4 bd:0 bl:1 n:0 p:-8 sp:0
nodes: 2 time: 0.00189595
kernel: [ bPa1xPb0, bPc1xPd0, bPe1xPf0, bPh1xPg0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:51 csp:1 cspNodes:32
r1b2Kq1/N1R5/2rkr1q1/r1q1r3/B1b2nrN/6B1/qN1n1Q1b/N1BR1N2 w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 bPe1xPf0 bPh1xPg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 bPh7-h5 wPg2-g4 bPh5xg4
Checking capture: f6e8 (Q, -, -, 0)
Checking capture: f6e8 (R, -, -, 0)
Checking capture: f6e8 (B, -, -, 0)
Checking capture: f6e8 (N, -, -, 0)
Forced last move: f6e8 (-, -, -, 0)
New goalPos: 8/2K3bk/1R1r1nqr/qB1Q2RB/BnRpNn1q/np3pNn/5B2/3b1B2 b - - 0 1
min cost: 105 queue: 0 nodes: 0 time: 4.9038e-05
Q:0 R:1 Bd:0 Bl:3 N:0 P:-8 sP:4
q:2 r:0 bd:0 bl:0 n:3 p:-5 sp:0
nodes: 2 time: 0.00902907
kernel: [ bPa1xPb0, bPc1xPd0, bPe1xPf0, bPg1xPh0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:47 csp:1 cspNodes:32
4n3/2K3bk/1R1r2qr/qB1Q2RB/BnRpNn1q/np3pNn/5B2/3b1B2 w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 bPe1xPf0 bPg1xPh0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g5 wPh2-h4 bPg5xh4
Checking capture: g2e4 (Q, -, -, 0)
Checking capture: g2e4 (R, -, -, 0)
Checking capture: g2e4 (B, -, -, 0)
Checking capture: g2e4 (N, -, -, 0)
Checking capture: g2e4 (P, -, -, 0)
Checking capture: f3e4 (Q, -, -, 0)
Checking capture: f3e4 (R, -, -, 0)
Checking capture: f3e4 (B, -, -, 0)
Checking capture: f3e4 (N, -, -, 0)
Checking capture: f3e4 (P, -, -, 0)
Checking capture: d5e4 (Q, -, -, 0)
Checking capture: d5e4 (R, -, -, 0)
Checking capture: d5e4 (B, -, -, 0)
Checking capture: d5e4 (N, -, -, 0)
Checking capture: d5e4 (P, -, -, 0)
Checking capture: d3d2 (Q, -, -, 0)
Checking capture: d3d2 (R, -, -, 0)
Checking capture: d3d2 (B, -, -, 0)
Checking capture: d3d2 (N, -, -, 0)
Checking capture: d3d2 (P, -, -, 0)
Forced last move: d3d2 (-, -, -, 0)
New goalPos: 4B2n/Bqp2Nbr/r1r2p1B/5b2/n3bN2/1QRkq1b1/4r2B/QKb2B1R b - - 0 1
4B2n/Bqp2Nbr/r1r2p1B/5b2/n3bN2/1QR1q1b1/3kr2B/QKb2B1R w - - 0 1 illegal, No possible last move
min cost: 100 queue: 0 nodes: 0 time: 2.5039e-05
Q:1 R:2 Bd:0 Bl:1 N:0 P:-8 sP:4
q:1 r:0 bd:1 bl:0 n:4 p:-7 sp:1
nodes: 2 time: 0.00185763
kernel: [ wPa0xPb1, bPc1xPd0, bPf1xPe0, bPa0xPb0, bPg1xPh0 ]
nVars:36 nConstr:44
CSP nodes: 36
found:2 nodes:19 csp:1 cspNodes:36
8/b1RNpBk1/2B3q1/1r2R1n1/3q1b2/1bRQn2Q/K2N3n/1nBn1Rnr w - - 0 1 unknown, kernel: wPa0xPb1 bPc1xPd0 bPf1xPe0 bPa0xPb0 bPg1xPh0 extKernel: wPa2-a4 bPb7-b5 wPa4xb5 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPa7-a5 wPb2-b4 bPa5xb4 bPg7-g5 wPh2-h4 bPg5xh4
min cost: 110 queue: 0 nodes: 0 time: 2.5223e-05
Q:2 R:0 Bd:1 Bl:1 N:0 P:-8 sP:4
q:1 r:0 bd:1 bl:3 n:0 p:-6 sp:1
nodes: 2 time: 0.00636185
kernel: [ bPa1xPb0, bPc1xPd0, wPe0xPf1, bPb0xPa0, bPg1xPh0 ]
nVars:35 nConstr:43
CSP nodes: 35
found:2 nodes:23 csp:1 cspNodes:35
1qR1b2R/4Q1Q1/2Q1nN2/1r1b2NB/3p4/bpb5/bBBq2k1/r1BK2nb w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 wPe0xPf1 bPb0xPa0 bPg1xPh0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 wPe2-e4 bPf7-f5 wPe4xf5 wPa2-a3 bPb4xa3 bPg7-g5 wPh2-h4 bPg5xh4
Checking capture: f5g5 (Q, -, -, 0)
Checking capture: f5g5 (R, -, -, 0)
Checking capture: f5g5 (B, -, -, 0)
Checking capture: f5g5 (N, -, -, 0)
Checking capture: f5g5 (P, -, -, 0)
Forced last move: f5g5 (-, -, -, 0)
New goalPos: 1kbQ1Qr1/1q1QR3/r1rnqrR1/1n1q1r1r/1b3NKB/r7/5qB1/2Q1B1N1 b - - 0 1
min cost: 123 queue: 0 nodes: 0 time: 2.3343e-05
Q:3 R:0 Bd:1 Bl:0 N:0 P:-8 sP:4
q:3 r:5 bd:0 bl:0 n:0 p:-8 sp:0
nodes: 2 time: 0.00190099
kernel: [ bPa1xPb0, bPc1xPd0, bPe1xPf0, bPh1xPg0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:51 csp:1 cspNodes:32
1kbQ1Qr1/1q1QR3/r1rnqrR1/1n1q2rr/1b3NKB/r7/5qB1/2Q1B1N1 w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 bPe1xPf0 bPh1xPg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 bPh7-h5 wPg2-g4 bPh5xg4
min cost: 122 queue: 0 nodes: 0 time: 2.5194e-05
Q:1 R:0 Bd:0 Bl:2 N:1 P:-8 sP:4
q:4 r:0 bd:1 bl:1 n:1 p:-7 sp:0
nodes: 2 time: 0.00364758
kernel: [ bPa1xPb0, bPc1xPd0, bPf1xPe0, bPg1xPh0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:45 csp:1 cspNodes:32
3nN3/bQR4q/q1qB2rn/4K1N1/3NpQq1/1b3Br1/B2n4/1BRbbkq1 w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 bPf1xPe0 bPg1xPh0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPh2-h4 bPg5xh4
min cost: 102 queue: 0 nodes: 0 time: 2.4789e-05
Q:2 R:-1 Bd:0 Bl:0 N:3 P:-8 sP:3
q:1 r:0 bd:2 bl:-1 n:2 p:-5 sp:0
nodes: 2 time: 0.00437859
kernel: [ bPb1xPa0, bPc1xPd0, bPf1xPe0, bPg1xRf0, wPh0xLBg0 ]
nVars:34 nConstr:39
CSP nodes: 35
found:2 nodes:17521 csp:1 cspNodes:35
4N2N/B3pn1N/1Nr5/pR1rb2k/3bqqn1/QNb2Qn1/2KQ2np/5B2 w - - 0 1 unknown, kernel: bPb1xPa0 bPc1xPd0 bPf1xPe0 bPg1xRf0 wPh0xLBg0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPf2-f5 wRa1-f4 bPg5xf4 wPh2-h3 wPg2-g5 bLBc8-g4 wPh3xg4
min cost: 110 queue: 0 nodes: 0 time: 2.558e-05
Q:2 R:1 Bd:1 Bl:1 N:-1 P:-8 sP:3
q:2 r:1 bd:0 bl:1 n:2 p:-7 sp:1
nodes: 2 time: 0.00188061
kernel: [ wPa0xPb1, bPc1xPd0, bPf1xPe0, bPg1xPf0, bPh1xNg0 ]
nVars:34 nConstr:40
CSP nodes: 34
found:2 nodes:2627 csp:1 cspNodes:34
2N3bR/Q2Qp2B/2n1Q1R1/nnBnb2B/6qK/2qR2Bb/rq2k1r1/2r5 w - - 0 1 unknown, kernel: wPa0xPb1 bPc1xPd0 bPf1xPe0 bPg1xPf0 bPh1xNg0 extKernel: wPa2-a4 bPb7-b5 wPa4xb5 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPf2-f4 bPg5xf4 bPh7-h5 wPg2-g5 wNb1-g4 bPh5xg4
min cost: 124 queue: 0 nodes: 0 time: 2.5203e-05
Q:0 R:1 Bd:1 Bl:0 N:1 P:-7 sP:4
q:2 r:1 bd:2 bl:2 n:0 p:-7 sp:0
nodes: 2 time: 0.00546725
kernel: [ bPa1xPb0, bPc1xPd0, bPf1xPe0, bPh1xPg0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:47 csp:1 cspNodes:32
1RR5/r2b2bK/3B1b2/BN5P/2qnq1k1/1rqN1b2/B1NRp1rQ/2b1n2b w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 bPf1xPe0 bPh1xPg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPh7-h5 wPg2-g4 bPh5xg4
min cost: 110 queue: 0 nodes: 0 time: 2.5603e-05
Q:1 R:0 Bd:0 Bl:1 N:1 P:-7 sP:4
q:1 r:1 bd:4 bl:0 n:1 p:-7 sp:0
nodes: 2 time: 0.00251204
kernel: [ bPb1xPa0, bPc1xPd0, bPf1xPe0, bPg1xPh0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:8274 csp:1 cspNodes:32
1B1qBR1b/4k2b/1q1nn2p/1Bb3rN/rbP1Q2b/2Nr4/K2n4/1Rb3QN w - - 0 1 unknown, kernel: bPb1xPa0 bPc1xPd0 bPf1xPe0 bPg1xPh0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPh2-h4 bPg5xh4
Checking capture: e1e7 (Q, -, -, 0)
Checking capture: e1e7 (R, -, -, 0)
Checking capture: e1e7 (B, -, -, 0)
Checking capture: e1e7 (N, -, -, 0)
Checking capture: e1e7 (P, -, -, 0)
Checking capture: e2e7 (Q, -, -, 0)
Checking capture: e2e7 (R, -, -, 0)
Checking capture: e2e7 (B, -, -, 0)
Checking capture: e2e7 (N, -, -, 0)
Checking capture: e2e7 (P, -, -, 0)
Checking capture: e3e7 (Q, -, -, 0)
Checking capture: e3e7 (R, -, -, 0)
Checking capture: e3e7 (B, -, -, 0)
Checking capture: e3e7 (N, -, -, 0)
Checking capture: e3e7 (P, -, -, 0)
Checking capture: e4e7 (Q, -, -, 0)
Checking capture: e4e7 (R, -, -, 0)
Checking capture: e4e7 (B, -, -, 0)
Checking capture: e4e7 (N, -, -, 0)
Checking capture: e4e7 (P, -, -, 0)
Checking capture: e5e7 (Q, -, -, 0)
Checking capture: e5e7 (R, -, -, 0)
Checking capture: e5e7 (B, -, -, 0)
Checking capture: e5e7 (N, -, -, 0)
Checking capture: e5e7 (P, -, -, 0)
Checking capture: e6e7 (Q, -, -, 0)
Checking capture: e6e7 (R, -, -, 0)
Checking capture: e6e7 (B, -, -, 0)
Checking capture: e6e7 (N, -, -, 0)
Checking capture: e6e7 (P, -, -, 0)
nBB1K3/1NrNrR1n/b1kr2Q1/bR6/1q1q1br1/7n/1p4Pp/r1B2RQ1 w - - 0 1 illegal, No possible last move, all captures rejected
2Q2R1N/1rB2Bb1/pp6/1N3PrN/Q1n5/rn1rQ3/2bRKnbq/k1qb4 w - - 0 1 illegal, No possible last move
min cost: 100 queue: 0 nodes: 0 time: 2.4774e-05
Q:2 R:0 Bd:0 Bl:1 N:0 P:-7 sP:4
q:4 r:1 bd:0 bl:0 n:0 p:-5 sp:0
nodes: 2 time: 0.00593686
kernel: [ bPb1xPa0, bPd1xPc0, bPe1xPf0, bPg1xPh0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:42 csp:1 cspNodes:32
nN1qB1r1/B5k1/q1p5/1RRQ2r1/p3q1rN/bBn1P3/2pqQ3/qQ1b3K w - - 0 1 unknown, kernel: bPb1xPa0 bPd1xPc0 bPe1xPf0 bPg1xPh0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPd7-d5 wPc2-c4 bPd5xc4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g5 wPh2-h4 bPg5xh4
min cost: 96 queue: 0 nodes: 0 time: 2.476e-05
Q:1 R:1 Bd:0 Bl:1 N:0 P:-7 sP:4
q:1 r:1 bd:2 bl:0 n:1 p:-5 sp:0
nodes: 2 time: 0.00305162
found:0 nodes:10932 csp:0 cspNodes:0
5nBr/3Bb1pQ/2Rp1q1B/bnpQ3P/1kr1b3/R1rR2K1/q2bn1N1/4N3 w - - 0 1 illegal, no proof kernel
min cost: 104 queue: 0 nodes: 0 time: 2.5693e-05
Q:2 R:1 Bd:0 Bl:0 N:0 P:-7 sP:4
q:0 r:0 bd:3 bl:0 n:2 p:-5 sp:0
nodes: 2 time: 0.00589313
kernel: [ bPb1xPa0, bPd1xPc0, bPe1xPf0, bPg1xPh0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:2333 csp:1 cspNodes:32
bQ1RK2b/5nb1/7r/2B3kp/p1nRR3/bN1nPp2/B2QQ1nb/1r3qN1 w - - 0 1 unknown, kernel: bPb1xPa0 bPd1xPc0 bPe1xPf0 bPg1xPh0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPd7-d5 wPc2-c4 bPd5xc4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g5 wPh2-h4 bPg5xh4
min cost: 130 queue: 0 nodes: 0 time: 2.5039e-05
Q:0 R:1 Bd:0 Bl:2 N:0 P:-7 sP:4
q:2 r:3 bd:-1 bl:2 n:1 p:-8 sp:0
nodes: 2 time: 0.00187051
kernel: [ bPb1xPa0, bPc1xPd0, bPe1xPf0, bPf0xPg0, wPh0xDBg2 ]
nVars:36 nConstr:44
CSP nodes: 36
found:2 nodes:2095 csp:1 cspNodes:36
nR1n3r/5r2/B1r4q/rq1QBR1q/b3B1B1/5Kn1/bPR2r2/1k2Nb1N w - - 0 1 unknown, kernel: bPb1xPa0 bPc1xPd0 bPe1xPf0 bPf0xPg0 wPh0xDBg2 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 wPg2-g3 bPf4xg3 wPh2-h4 bPg7-g4 bDBf8-g5 wPh4xg5
Checking capture: a2f2 (Q, -, -, 0)
Checking capture: a2f2 (R, -, -, 0)
Checking capture: a2f2 (B, -, -, 0)
Checking capture: a2f2 (N, -, -, 0)
Checking capture: a2f2 (P, -, -, 0)
Checking capture: b2f2 (Q, -, -, 0)
Checking capture: b2f2 (R, -, -, 0)
Checking capture: b2f2 (B, -, -, 0)
Checking capture: b2f2 (N, -, -, 0)
Checking capture: b2f2 (P, -, -, 0)
Checking capture: c2f2 (Q, -, -, 0)
Checking capture: c2f2 (R, -, -, 0)
Checking capture: c2f2 (B, -, -, 0)
Checking capture: c2f2 (N, -, -, 0)
Checking capture: c2f2 (P, -, -, 0)
Checking capture: g2f2 (Q, -, -, 0)
Checking capture: g2f2 (R, -, -, 0)
Checking capture: g2f2 (B, -, -, 0)
Checking capture: g2f2 (N, -, -, 0)
Checking capture: g2f2 (P, -, -, 0)
Checking capture: g3f2 (Q, -, -, 0)
Checking capture: g3f2 (R, -, -, 0)
Checking capture: g3f2 (B, -, -, 0)
Checking capture: g3f2 (N, -, -, 0)
Checking capture: g3f2 (P, -, -, 0)
3b3b/1RB4B/r1R4B/2bR1NPr/2Rn1nqq/N1Qp1r1b/5q1k/1n2K2b w - - 0 1 illegal, No possible last move, all captures rejected
min cost: 114 queue: 0 nodes: 0 time: 2.4955e-05
Q:0 R:0 Bd:0 Bl:1 N:2 P:-7 sP:4
q:2 r:1 bd:1 bl:1 n:2 p:-7 sp:0
nodes: 2 time: 0.00173103
kernel: [ bPa1xPb0, bPc1xPd0, bPf1xPe0, bPg1xPh0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:41 csp:1 cspNodes:32
qn3rB1/2K1p3/qnqR1N1B/NB2Q2N/b6R/rrN2P2/1n2b1kb/2b2n2 w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 bPf1xPe0 bPg1xPh0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPh2-h4 bPg5xh4
Checking capture: d1b3 (Q, -, -, 0)
Checking capture: d1b3 (R, -, -, 0)
Checking capture: d1b3 (B, -, -, 0)
Checking capture: d1b3 (N, -, -, 0)
Checking capture: d1b3 (P, -, -, 0)
Checking capture: c2b3 (Q, -, -, 0)
Checking capture: c2b3 (R, -, -, 0)
Checking capture: c2b3 (B, -, -, 0)
Checking capture: c2b3 (N, -, -, 0)
Checking capture: c2b3 (P, -, -, 0)
Checking capture: c3b3 (Q, -, -, 0)
Checking capture: c3b3 (R, -, -, 0)
Checking capture: c3b3 (B, -, -, 0)
Checking capture: c3b3 (N, -, -, 0)
Checking capture: c3b3 (P, -, -, 0)
Checking capture: d3b3 (Q, -, -, 0)
Checking capture: d3b3 (R, -, -, 0)
Checking capture: d3b3 (B, -, -, 0)
Checking capture: d3b3 (N, -, -, 0)
Checking capture: d3b3 (P, -, -, 0)
Checking capture: e3b3 (Q, -, -, 0)
Checking capture: e3b3 (R, -, -, 0)
Checking capture: e3b3 (B, -, -, 0)
Checking capture: e3b3 (N, -, -, 0)
Checking capture: e3b3 (P, -, -, 0)
Checking capture: f3b3 (Q, -, -, 0)
Checking capture: f3b3 (R, -, -, 0)
Checking capture: f3b3 (B, -, -, 0)
Checking capture: f3b3 (N, -, -, 0)
Checking capture: f3b3 (P, -, -, 0)
Checking capture: b5b3 (Q, -, -, 0)
Checking capture: b5b3 (R, -, -, 0)
Checking capture: b5b3 (B, -, -, 0)
Checking capture: b5b3 (N, -, -, 0)
Checking capture: b5b3 (P, -, -, 0)
RB2r1B1/rr1R2bq/Rb2p2n/p1n1P1Q1/2N1kb2/Kq4q1/BN2b3/5Bn1 w - - 0 1 illegal, No possible last move, all captures rejected
Checking capture: d1c1 (Q, -, -, 0)
Checking capture: d1c1 (R, -, -, 0)
Checking capture: d1c1 (B, -, -, 0)
Checking capture: d1c1 (N, -, -, 0)
Checking capture: c2c1 (Q, -, -, 0)
Checking capture: c2c1 (R, -, -, 0)
Checking capture: c2c1 (B, -, -, 0)
Checking capture: c2c1 (N, -, -, 0)
Checking capture: d2c1r (Q, -, -, 0)
Checking capture: d2c1r (R, -, -, 0)
Checking capture: d2c1r (B, -, -, 0)
Checking capture: d2c1r (N, -, -, 0)
Forced last move: c2c1 (-, -, -, 0)
New goalPos: B2Q4/2q1B3/br1n2kP/B4np1/1nRpRb2/1rq2N2/Rbr1nb1B/1K2N3 b - - 0 1
min cost: 111 queue: 0 nodes: 0 time: 4.5769e-05
Q:0 R:1 Bd:2 Bl:0 N:0 P:-7 sP:4
q:1 r:1 bd:2 bl:0 n:2 p:-6 sp:0
nodes: 2 time: 0.0044941
kernel: [ bPb1xPa0, bPc1xPd0, bPf1xPe0, bPh1xPg0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:8434 csp:1 cspNodes:32
B2Q4/2q1B3/br1n2kP/B4np1/1nRpRb2/1rq2N2/Rb2nb1B/1Kr1N3 w - - 0 1 unknown, kernel: bPb1xPa0 bPc1xPd0 bPf1xPe0 bPh1xPg0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPh7-h5 wPg2-g4 bPh5xg4
min cost: 126 queue: 0 nodes: 0 time: 2.5097e-05
Q:1 R:0 Bd:0 Bl:2 N:0 P:-7 sP:4
q:3 r:1 bd:0 bl:3 n:1 p:-8 sp:0
nodes: 2 time: 0.00191956
kernel: [ bPa1xPb0, bPd1xPc0, bPe1xPf0, bPg1xPh0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:35 csp:1 cspNodes:32
bk1Nn3/1br4q/1R1P2b1/1q1nB2r/3rBQR1/5nqb/B2qB3/KQb3N1 w - - 0 1 unknown, kernel: bPa1xPb0 bPd1xPc0 bPe1xPf0 bPg1xPh0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPd7-d5 wPc2-c4 bPd5xc4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g5 wPh2-h4 bPg5xh4
min cost: 124 queue: 0 nodes: 0 time: 2.6112e-05
Q:1 R:0 Bd:1 Bl:1 N:0 P:-7 sP:4
q:2 r:1 bd:2 bl:1 n:0 p:-6 sp:0
nodes: 2 time: 0.00655301
kernel: [ bPb1xPa0, bPc1xPd0, bPe1xPf0, bPh1xPg0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:42 csp:1 cspNodes:32
q2b1Qq1/1nr1BrbR/1K6/3rB1qb/2B2p1b/NP2nBk1/1QNpb3/2R5 w - - 0 1 unknown, kernel: bPb1xPa0 bPc1xPd0 bPe1xPf0 bPh1xPg0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 bPh7-h5 wPg2-g4 bPh5xg4
Checking capture: d4e5 (Q, -, -, 0)
Checking capture: d4e5 (R, -, -, 0)
Checking capture: d4e5 (B, -, -, 0)
Checking capture: d4e5 (N, -, -, 0)
Checking capture: d4e5 (P, -, -, 0)
Checking capture: d6e5 (Q, -, -, 0)
Checking capture: d6e5 (R, -, -, 0)
Checking capture: d6e5 (B, -, -, 0)
Checking capture: d6e5 (N, -, -, 0)
Checking capture: d6e5 (P, -, -, 0)
Checking capture: c7e5 (Q, -, -, 0)
Checking capture: c7e5 (R, -, -, 0)
Checking capture: c7e5 (B, -, -, 0)
Checking capture: c7e5 (N, -, -, 0)
Checking capture: c7e5 (P, -, -, 0)
Checking capture: b8e5 (Q, -, -, 0)
Checking capture: b8e5 (R, -, -, 0)
Checking capture: b8e5 (B, -, -, 0)
Checking capture: b8e5 (N, -, -, 0)
Checking capture: b8e5 (P, -, -, 0)
3n4/1r1p3B/p3pK2/BRrqq2N/nB2Nn2/2b3Q1/Pn2r1b1/RB1k1n1Q w - - 0 1 illegal, No possible last move, all captures rejected
min cost: 104 queue: 0 nodes: 0 time: 3.2404e-05
Q:1 R:0 Bd:0 Bl:0 N:2 P:-7 sP:4
q:3 r:0 bd:2 bl:0 n:0 p:-5 sp:0
nodes: 2 time: 0.00493462
kernel: [ bPa1xPb0, bPc1xPd0, bPh1xPg0, bxPf0 ]
nVars:28 nConstr:27
CSP nodes: 28
found:2 nodes:2415 csp:1 cspNodes:28
3bqq2/1p6/3qBRN1/Q3pq1k/bR2P1r1/1r1nNpb1/1BK1QbNn/3N4 w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 bPh1xPg0 bxPf0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPh7-h5 wPg2-g4 bPh5xg4 bxf2
min cost: 65535 queue: 0 nodes: 0 time: 2.4452e-05
Q:1 R:2 Bd:0 Bl:0 N:0 P:-7 sP:4
q:0 r:1 bd:2 bl:0 n:0 p:-3 sp:0
nodes: 1 time: 0.000228739
2rB2Nb/1Qb3p1/1N1R1p2/2n1bp1Q/1KP3R1/2p1pnRR/8/r1k1rBqb w - - 0 1 illegal, other
min cost: 110 queue: 0 nodes: 0 time: 2.4442e-05
Q:2 R:1 Bd:1 Bl:0 N:-1 P:-7 sP:3
q:1 r:3 bd:0 bl:1 n:1 p:-6 sp:0
nodes: 2 time: 0.00477538
found:0 nodes:19717 csp:0 cspNodes:0
r2QBr1r/1K1Qr3/n1Rr2p1/8/b2B1Qq1/6b1/k2BNpP1/qbnn1RR1 w - - 0 1 illegal, no proof kernel
min cost: 110 queue: 0 nodes: 0 time: 2.5068e-05
Q:1 R:2 Bd:0 Bl:1 N:-1 P:-7 sP:3
q:1 r:1 bd:1 bl:1 n:2 p:-7 sp:1
nodes: 2 time: 0.00451581
kernel: [ wPa0xPb1, bPc1xPd0, bPf1xPe0, bPg1xPf0, bPh1xNg0 ]
nVars:34 nConstr:40
CSP nodes: 34
found:2 nodes:2015 csp:1 cspNodes:34
2n3KR/N1Q2rBR/2B5/2PqnB2/n1bbp1Q1/1n1k4/R1b1r1r1/1q2b2R w - - 0 1 unknown, kernel: wPa0xPb1 bPc1xPd0 bPf1xPe0 bPg1xPf0 bPh1xNg0 extKernel: wPa2-a4 bPb7-b5 wPa4xb5 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPf2-f4 bPg5xf4 bPh7-h5 wPg2-g5 wNb1-g4 bPh5xg4
min cost: 112 queue: 0 nodes: 0 time: 2.7354e-05
Q:2 R:0 Bd:0 Bl:2 N:-1 P:-7 sP:3
q:1 r:5 bd:0 bl:-1 n:0 p:-6 sp:0
nodes: 2 time: 0.00266848
kernel: [ bPb1xPa0, bPc1xPd0, bPe1xPf0, bPg1xNf0, wPh0xLBg0 ]
nVars:35 nConstr:41
CSP nodes: 40
found:2 nodes:18829 csp:1 cspNodes:40
Q2N4/r1R3Q1/p1BrBKPp/r3Q3/3b2r1/R2n4/1qqrnk2/B2r2rB w - - 0 1 unknown, kernel: bPb1xPa0 bPc1xPd0 bPe1xPf0 bPg1xNf0 wPh0xLBg0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g4 wNb1-f3 bPg4xf3 wPh2-h3 wPg2-g5 bLBc8-g4 wPh3xg4
min cost: 92 queue: 0 nodes: 0 time: 2.5932e-05
Q:1 R:-1 Bd:2 Bl:-1 N:2 P:-7 sP:2
q:3 r:0 bd:0 bl:0 n:1 p:-5 sp:1
nodes: 2 time: 0.00969756
kernel: [ wPa0xPb1, bPc1xPd0, bPh1xPg0, bPe1xRf0, bPf2xLBe0 ]
nVars:35 nConstr:42
CSP nodes: 36
found:2 nodes:35879 csp:1 cspNodes:36
2qr4/r2Qq1p1/1kbB4/1P1R1q2/2K1NBpn/1N1Q1pBq/2NnNb1n/8 w - - 0 1 unknown, kernel: wPa0xPb1 bPc1xPd0 bPh1xPg0 bPe1xRf0 bPf2xLBe0 extKernel: wPa2-a4 bPb7-b5 wPa4xb5 bPc7-c5 wPd2-d4 bPc5xd4 bPh7-h5 wPg2-g4 bPh5xg4 bPe7-e5 wPf2-f5 wRa1-f4 bPe5xf4 wPe2-e7 wLBf1-e6 bPf7xe6
min cost: 104 queue: 0 nodes: 0 time: 2.5208e-05
Q:1 R:-1 Bd:1 Bl:1 N:1 P:-7 sP:3
q:2 r:-1 bd:0 bl:3 n:0 p:-5 sp:0
nodes: 2 time: 0.00441394
kernel: [ bPb1xPa0, bPc1xPd0, bPe1xPf0, bPa0xRb0, wPg0xRf2 ]
nVars:35 nConstr:41
CSP nodes: 36
found:2 nodes:321775 csp:1 cspNodes:36
R3B1N1/B4b1r/bN2QqB1/p6p/K1Np1kbB/2q1qb2/1b5P/2nn2Q1 w - - 0 1 unknown, kernel: bPb1xPa0 bPc1xPd0 bPe1xPf0 bPa0xRb0 wPg0xRf2 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 wPb2-b4 wRa1-b3 bPa4xb3 wPg2-g4 bPf4-f3 bPf7-f4 bRa8-f5 wPg4xf5
min cost: 92 queue: 0 nodes: 0 time: 4.2116e-05
Q:1 R:-1 Bd:1 Bl:0 N:2 P:-7 sP:3
q:2 r:2 bd:0 bl:1 n:-1 p:-5 sp:0
nodes: 2 time: 0.0096785
kernel: [ bPa1xPb0, bPc1xPd0, bPg1xPf0, wPe0xNf2, bPh1xRg0 ]
nVars:35 nConstr:41
CSP nodes: 35
found:2 nodes:83064 csp:1 cspNodes:35
b1b3Q1/1qn1k3/r4b2/1B3P2/1pqB1q1N/2B1pp2/1N2r2N/Q1KrRr1N w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 bPg1xPf0 wPe0xNf2 bPh1xRg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPg7-g5 wPf2-f4 bPg5xf4 wPe2-e4 bPf4-f3 bPf7-f4 bNb8-f5 wPe4xf5 bPh7-h5 wPg2-g5 wRa1-g4 bPh5xg4
min cost: 88 queue: 0 nodes: 0 time: 4.2071e-05
Q:2 R:-1 Bd:0 Bl:0 N:2 P:-7 sP:3
q:1 r:-1 bd:0 bl:1 n:1 p:-3 sp:0
nodes: 2 time: 0.00842413
kernel: [ bPb1xPa0, bPd1xPc0, bPe1xPf0, wPg0xRf2, bPh1xRg0 ]
nVars:35 nConstr:41
CSP nodes: 35
found:2 nodes:9348 csp:1 cspNodes:35
2Nqkr2/K1p1N3/1R3p2/1bp5/bQ2Q3/p1B5/2nPnNp1/bn1Bq1QN w - - 0 1 unknown, kernel: bPb1xPa0 bPd1xPc0 bPe1xPf0 wPg0xRf2 bPh1xRg0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPd7-d6 wPc2-c5 bPd6xc5 bPe7-e5 wPf2-f4 bPe5xf4 wPg2-g6 bPf7-f6 bRa8-f7 wPg6xf7 bPh7-h5 wRa1-g4 bPh5xg4
min cost: 122 queue: 0 nodes: 0 time: 4.1057e-05
Q:-1 R:1 Bd:1 Bl:2 N:0 P:-7 sP:3
q:0 r:2 bd:1 bl:2 n:2 p:-8 sp:1
nodes: 2 time: 0.00250014
kernel: [ wPa0xPb1, bPc1xPd0, bPe1xPf0, bPg1xPh0, bPd0xQc0 ]
nVars:35 nConstr:42
CSP nodes: 35
found:2 nodes:4281 csp:1 cspNodes:35
2r1R2n/r1N1nr1B/3R2b1/b2B1N2/1b1nRBbr/1B1n2P1/3B2b1/K5qk w - - 0 1 unknown, kernel: wPa0xPb1 bPc1xPd0 bPe1xPf0 bPg1xPh0 bPd0xQc0 extKernel: wPa2-a4 bPb7-b5 wPa4xb5 bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g5 wPh2-h4 bPg5xh4 wPc2-c4 wQd1-c3 bPd4xc3
min cost: 86 queue: 0 nodes: 0 time: 4.1341e-05
Q:0 R:0 Bd:1 Bl:3 N:-1 P:-7 sP:3
q:0 r:0 bd:0 bl:0 n:2 p:-3 sp:1
nodes: 2 time: 0.0114577
found:0 nodes:10257026 csp:0 cspNodes:0
Bk3B2/6PB/Bp2BB2/p2K4/1Nn2n2/1p1nr2R/qRpp1Qr1/5nbb w - - 0 1 illegal, no proof kernel
min cost: 102 queue: 0 nodes: 0 time: 3.994e-05
Q:-1 R:0 Bd:2 Bl:2 N:0 P:-7 sP:3
q:1 r:4 bd:0 bl:0 n:1 p:-7 sp:1
nodes: 2 time: 0.00227919
kernel: [ wPa0xPb1, bPd1xPc0, bPe1xPf0, bPg1xPh0, bPa0xQb0 ]
nVars:36 nConstr:43
CSP nodes: 36
found:2 nodes:3169 csp:1 cspNodes:36
5R2/1r1k3p/8/K1RP1qb1/1rBN1BB1/Br1B3N/1Bn2rnr/1bqn1r2 w - - 0 1 unknown, kernel: wPa0xPb1 bPd1xPc0 bPe1xPf0 bPg1xPh0 bPa0xQb0 extKernel: wPa2-a4 bPb7-b5 wPa4xb5 bPd7-d5 wPc2-c4 bPd5xc4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g5 wPh2-h4 bPg5xh4 bPa7-a5 wPb5-b6 wPb2-b5 wQd1-b4 bPa5xb4
min cost: 114 queue: 0 nodes: 0 time: 4.079e-05
Q:-1 R:2 Bd:0 Bl:2 N:0 P:-7 sP:3
q:1 r:0 bd:0 bl:2 n:3 p:-6 sp:0
nodes: 2 time: 0.00240145
kernel: [ bPa1xPb0, bPd1xPc0, bPg1xPf0, bPh1xQg0 ]
nVars:31 nConstr:33
CSP nodes: 31
found:2 nodes:1307 csp:1 cspNodes:31
1RBRR2q/1n2pB1b/4r1B1/1np1P1n1/1R2b2r/B4b2/3NKb2/1q1nNnk1 w - - 0 1 unknown, kernel: bPa1xPb0 bPd1xPc0 bPg1xPf0 bPh1xQg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPd7-d5 wPc2-c4 bPd5xc4 bPg7-g5 wPf2-f4 bPg5xf4 bPh7-h5 wPg2-g5 wQd1-g4 bPh5xg4
min cost: 110 queue: 0 nodes: 0 time: 2.5352e-05
Q:0 R:1 Bd:-1 Bl:1 N:1 P:-6 sP:3
q:-1 r:2 bd:0 bl:3 n:1 p:-6 sp:0
nodes: 2 time: 0.00564804
kernel: [ bPb1xPc0, bPe1xPf0, bPg1xPh0, bPc0xDBb0, wPd0xQc1 ]
nVars:34 nConstr:39
CSP nodes: 35
found:2 nodes:3798 csp:1 cspNodes:35
k1Bb4/pNPN1nnK/bRr5/P2bR3/3rbQr1/1r1B3R/3p2N1/n4b2 w - - 0 1 unknown, kernel: bPb1xPc0 bPe1xPf0 bPg1xPh0 bPc0xDBb0 wPd0xQc1 extKernel: bPb7-b5 wPc2-c4 bPb5xc4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g5 wPh2-h4 bPg5xh4 bPc4-c3 wPb2-b3 wDBc1-b2 bPc3xb2 wPd2-d4 bPc7-c4 bQd8-c5 wPd4xc5
min cost: 110 queue: 0 nodes: 0 time: 2.5533e-05
Q:0 R:0 Bd:-1 Bl:2 N:1 P:-6 sP:3
q:4 r:1 bd:0 bl:0 n:0 p:-5 sp:0
nodes: 2 time: 0.00602821
kernel: [ bPb1xPc0, bPf1xPe0, bPg1xPh0, bPa1xDBb0 ]
nVars:31 nConstr:33
CSP nodes: 31
found:2 nodes:12159 csp:1 cspNodes:31
4N1q1/1BQp2R1/R2P1q1k/2qq1q1N/2b1BPB1/1p2n3/r1pb4/r1rN1n1K w - - 0 1 unknown, kernel: bPb1xPc0 bPf1xPe0 bPg1xPh0 bPa1xDBb0 extKernel: bPb7-b5 wPc2-c4 bPb5xc4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPh2-h4 bPg5xh4 bPa7-a5 wPb2-b5 wDBc1-b4 bPa5xb4
min cost: 65535 queue: 0 nodes: 0 time: 2.4503e-05
Q:1 R:0 Bd:0 Bl:1 N:0 P:-6 sP:4
q:4 r:1 bd:0 bl:1 n:-1 p:-6 sp:0
nodes: 1 time: 0.00116974
1q6/BpNpr3/n4q1r/RbP1qBr1/B1PQ4/2q3R1/1bbNQ1q1/k4K2 w - - 0 1 illegal, other
Q1B3bk/P2q2nq/5nq1/1N4Q1/R5bR/bK3q1r/BB1Pnn2/rNr4q w - - 0 1 illegal, No possible last move
min cost: 128 queue: 0 nodes: 0 time: 2.3648e-05
Q:1 R:0 Bd:0 Bl:0 N:1 P:-6 sP:4
q:1 r:2 bd:2 bl:1 n:2 p:-8 sp:0
nodes: 2 time: 0.00238474
kernel: [ bPb1xPa0, bPc1xPd0, bPe1xPf0, bPg1xPh0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:41 csp:1 cspNodes:32
KbR2r2/1N6/2NQNnbn/2qrP2R/1P1QBq1B/1n2b3/kr2b2b/3r3n w - - 0 1 unknown, kernel: bPb1xPa0 bPc1xPd0 bPe1xPf0 bPg1xPh0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g5 wPh2-h4 bPg5xh4
min cost: 122 queue: 0 nodes: 0 time: 2.4695e-05
Q:1 R:0 Bd:0 Bl:0 N:1 P:-6 sP:4
q:0 r:5 bd:1 bl:0 n:1 p:-7 sp:0
nodes: 2 time: 0.00462031
found:0 nodes:11821 csp:0 cspNodes:0
1QQ5/B3nrb1/N3r1r1/5PnN/2N4k/1K1Pbpn1/q1R1rr2/2rr1bRB w - - 0 1 illegal, no proof kernel
min cost: 65535 queue: 0 nodes: 0 time: 2.3304e-05
Q:1 R:1 Bd:0 Bl:0 N:0 P:-6 sP:4
q:0 r:2 bd:0 bl:1 n:4 p:-7 sp:0
nodes: 1 time: 0.000190084
n1B4Q/1pr3R1/n4q1n/1b1krn1P/5b1P/B2r1nRK/1QNR2r1/n1N4b w - - 0 1 illegal, other
min cost: 116 queue: 0 nodes: 0 time: 2.3292e-05
Q:1 R:0 Bd:1 Bl:0 N:0 P:-6 sP:4
q:2 r:4 bd:0 bl:0 n:0 p:-6 sp:0
nodes: 2 time: 0.00594082
kernel: [ bPa1xPb0, bPd1xPc0, bPf1xPe0, bPg1xPh0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:2006 csp:1 cspNodes:32
N2r1b2/4R1q1/2rr1P1k/1bK5/4Qn2/B1R2Q1p/Ppr1Brn1/r1Bq1q1N w - - 0 1 unknown, kernel: bPa1xPb0 bPd1xPc0 bPf1xPe0 bPg1xPh0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPd7-d5 wPc2-c4 bPd5xc4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPh2-h4 bPg5xh4
min cost: 102 queue: 0 nodes: 0 time: 3.0973e-05
Q:1 R:0 Bd:1 Bl:0 N:0 P:-6 sP:4
q:2 r:1 bd:1 bl:0 n:1 p:-5 sp:0
nodes: 2 time: 0.00519983
kernel: [ bPa1xPb0, bPd1xPc0, bPf1xPg0, bPe1xQf0 ]
nVars:31 nConstr:33
CSP nodes: 31
found:2 nodes:3732 csp:1 cspNodes:31
1rrb1k2/2BPbrqp/3R2Q1/7P/2q2pBN/6n1/RqbQ1Bp1/2N1K1nn w - - 0 1 unknown, kernel: bPa1xPb0 bPd1xPc0 bPf1xPg0 bPe1xQf0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPd7-d5 wPc2-c4 bPd5xc4 bPf7-f5 wPg2-g4 bPf5xg4 bPe7-e5 wPf2-f5 wQd1-f4 bPe5xf4
KR1rn3/4rnNQ/1nqb3B/1P3Rp1/3k3N/1Q2b1q1/3P1pbp/1B2R1bb w - - 0 1 illegal, No possible last move
min cost: 106 queue: 0 nodes: 0 time: 2.5779e-05
Q:2 R:-1 Bd:-1 Bl:1 N:1 P:-6 sP:2
q:1 r:3 bd:0 bl:1 n:1 p:-7 sp:1
nodes: 2 time: 0.00321547
kernel: [ bPa1xPb0, wPc0xPd1, bPf1xPe0, bPg1xRf0, bPh1xDBg0 ]
nVars:34 nConstr:39
CSP nodes: 34
found:2 nodes:20126 csp:1 cspNodes:34
1k2r3/2N3KQ/1n1rqPB1/r1n3q1/1r1bbNp1/NB6/Pr1nb2Q/Q6R w - - 0 1 unknown, kernel: bPa1xPb0 wPc0xPd1 bPf1xPe0 bPg1xRf0 bPh1xDBg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 wPc2-c4 bPd7-d5 wPc4xd5 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPf2-f5 wRa1-f4 bPg5xf4 bPh7-h6 wPg2-g6 wDBc1-g5 bPh6xg5
b5Rr/2p5/3Q1q1N/n1nNq3/PK1rQqq1/5Pqk/3qN3/1nR1b1QB w - - 0 1 illegal, No possible last move
min cost: 88 queue: 0 nodes: 0 time: 2.5844e-05
Q:2 R:-1 Bd:1 Bl:0 N:0 P:-6 sP:3
q:2 r:0 bd:0 bl:3 n:0 p:-6 sp:1
nodes: 2 time: 0.00277878
kernel: [ wPa0xPb1, bPc1xPd0, bPe1xPf0, bPh1xPg0, bPa0xRb0 ]
nVars:36 nConstr:43
CSP nodes: 36
found:2 nodes:2975 csp:1 cspNodes:36
1rn2bN1/k1np2Q1/7B/3b1pB1/bq2bq1P/qBQ1P1N1/7r/1bR1K1Q1 w - - 0 1 unknown, kernel: wPa0xPb1 bPc1xPd0 bPe1xPf0 bPh1xPg0 bPa0xRb0 extKernel: wPa2-a4 bPb7-b5 wPa4xb5 bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 bPh7-h5 wPg2-g4 bPh5xg4 bPa7-a5 wPb5-b6 wPb2-b5 wRa1-b4 bPa5xb4
Checking capture: b4a5 (Q, -, -, 0)
found:0 nodes:5376 csp:0 cspNodes:0
Checking capture: b4a5 (R, -, -, 0)
found:0 nodes:5376 csp:0 cspNodes:0
Checking capture: b4a5 (B, -, -, 0)
found:0 nodes:6724 csp:0 cspNodes:0
Checking capture: b4a5 (N, -, -, 0)
found:0 nodes:5376 csp:0 cspNodes:0
Checking capture: b4a5 (P, -, -, 0)
found:0 nodes:3141 csp:0 cspNodes:0
Forced last move: b4a5 (-, -, -, 0)
New goalPos: 1n1K3n/3NpN1k/R2Rb1Rq/2Q5/1b1Pnp2/P1N2qr1/Q2bBp2/2bb4 b - - 0 1
min cost: 97 queue: 0 nodes: 0 time: 2.571e-05
Q:1 R:1 Bd:-1 Bl:0 N:1 P:-6 sP:3
q:1 r:-1 bd:2 bl:1 n:1 p:-5 sp:0
nodes: 2 time: 0.0055693
kernel: [ bPa1xPb0, bPd1xPc0, bPg1xPf0, wPe0xRd0, bPh1xDBg0 ]
nVars:34 nConstr:39
CSP nodes: 35
found:2 nodes:42420 csp:1 cspNodes:35
1n1K3n/3NpN1k/R2Rb1Rq/b1Q5/3Pnp2/P1N2qr1/Q2bBp2/2bb4 w - - 0 1 unknown, kernel: bPa1xPb0 bPd1xPc0 bPg1xPf0 wPe0xRd0 bPh1xDBg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPd7-d5 wPc2-c4 bPd5xc4 bPg7-g5 wPf2-f4 bPg5xf4 wPe2-e3 wPd2-d5 bRa8-d4 wPe3xd4 bPh7-h6 wPg2-g6 wDBc1-g5 bPh6xg5
min cost: 94 queue: 0 nodes: 0 time: 2.7828e-05
Q:2 R:1 Bd:0 Bl:-1 N:0 P:-6 sP:3
q:3 r:0 bd:1 bl:-1 n:0 p:-4 sp:0
nodes: 2 time: 0.00686051
kernel: [ bPb1xPa0, bPc1xPb0, bPe1xPf0, wPg0xLBf2, bPh1xLBg0 ]
nVars:34 nConstr:39
CSP nodes: 35
found:2 nodes:8297 csp:1 cspNodes:35
2Q1N2r/2nQqnp1/R1qp4/b1BP1qN1/1Q1RP2b/p1K5/5p2/R1qr2k1 w - - 0 1 unknown, kernel: bPb1xPa0 bPc1xPb0 bPe1xPf0 wPg0xLBf2 bPh1xLBg0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPc7-c5 wPb2-b4 bPc5xb4 bPe7-e5 wPf2-f4 bPe5xf4 wPg2-g4 bPf4-f3 bPf7-f4 bLBc8-f5 wPg4xf5 bPh7-h5 wLBf1-g4 bPh5xg4
min cost: 110 queue: 0 nodes: 0 time: 2.5637e-05
Q:2 R:1 Bd:0 Bl:-1 N:0 P:-6 sP:3
q:2 r:0 bd:0 bl:0 n:3 p:-5 sp:0
nodes: 2 time: 0.00691953
kernel: [ bPa1xPb0, bPe1xPd0, bPg1xPh0, bPf1xLBe0 ]
nVars:31 nConstr:33
CSP nodes: 31
found:2 nodes:2404 csp:1 cspNodes:31
1KnRbr2/1Q2r3/P3Q2q/n1R1Bnk1/n1ppqbN1/nNq4p/2P1R1Q1/8 w - - 0 1 unknown, kernel: bPa1xPb0 bPe1xPd0 bPg1xPh0 bPf1xLBe0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPe7-e5 wPd2-d4 bPe5xd4 bPg7-g5 wPh2-h4 bPg5xh4 bPf7-f5 wPe2-e5 wLBf1-e4 bPf5xe4
Checking capture: e3e2 (Q, -, -, 0)
Checking capture: e3e2 (R, -, -, 0)
Checking capture: e3e2 (B, -, -, 0)
Checking capture: e3e2 (N, -, -, 0)
Checking capture: e3e2 (P, -, -, 0)
Forced last move: e3e2 (-, -, -, 0)
New goalPos: 1Q2q2n/Bp4RN/Q4n2/PP2p3/3bqq1b/p1Q1r3/1NBK1p1k/1b1B1rn1 b - - 0 1
min cost: 103 queue: 0 nodes: 0 time: 2.3361e-05
Q:2 R:-1 Bd:0 Bl:1 N:0 P:-6 sP:3
q:2 r:0 bd:1 bl:0 n:1 p:-4 sp:0
nodes: 2 time: 0.00617372
found:0 nodes:5045 csp:0 cspNodes:0
1Q2q2n/Bp4RN/Q4n2/PP2p3/3bqq1b/p1Q5/1NBKrp1k/1b1B1rn1 w - - 0 1 illegal, no proof kernel
min cost: 88 queue: 0 nodes: 0 time: 2.5043e-05
Q:2 R:1 Bd:0 Bl:-1 N:0 P:-6 sP:3
q:2 r:0 bd:0 bl:2 n:0 p:-4 sp:0
nodes: 2 time: 0.00409573
found:0 nodes:97836 csp:0 cspNodes:0
4RR2/p2n3p/1kqr1Q1N/1pq5/1Nb1P2P/4p1bb/bq3QKn/1QR2rB1 w - - 0 1 illegal, no proof kernel
min cost: 86 queue: 0 nodes: 0 time: 2.538e-05
Q:0 R:3 Bd:0 Bl:-1 N:0 P:-6 sP:3
q:-1 r:2 bd:0 bl:-1 n:2 p:-4 sp:0
nodes: 2 time: 0.00992194
kernel: [ bPf1xPe0, bPh1xPg0, bPb1xPa0, bPc1xLBb0, wPb1xQaR, wPd0xLBc0 ]
nVars:35 nConstr:41
CSP nodes: 36
found:2 nodes:33585025 csp:1 cspNodes:36
k5KR/pR3n2/p1QnrR2/1pRp3N/1R3PnP/2b1r3/2rB2Nr/5n2 w - - 0 1 unknown, kernel: bPf1xPe0 bPh1xPg0 bPb1xPa0 bPc1xLBb0 wPb1xQaR wPd0xLBc0 extKernel: bPf7-f5 wPe2-e4 bPf5xe4 bPh7-h5 wPg2-g4 bPh5xg4 wPa2-a6 bPb7xa6 bPc7-c6 wPb2-b6 wLBf1-b5 bPc6xb5 wPb6-b7 wPb7xa8R wPd2-d3 wPc2-c5 bLBc8-c4 wPd3xc4
Checking capture: e1e5 (Q, -, -, 0)
Checking capture: e1e5 (R, -, -, 0)
Checking capture: e1e5 (B, -, -, 0)
Checking capture: e1e5 (N, -, -, 0)
Checking capture: e1e5 (P, -, -, 0)
Checking capture: e2e5 (Q, -, -, 0)
Checking capture: e2e5 (R, -, -, 0)
Checking capture: e2e5 (B, -, -, 0)
Checking capture: e2e5 (N, -, -, 0)
Checking capture: e2e5 (P, -, -, 0)
Checking capture: e3e5 (Q, -, -, 0)
Checking capture: e3e5 (R, -, -, 0)
Checking capture: e3e5 (B, -, -, 0)
Checking capture: e3e5 (N, -, -, 0)
Checking capture: e3e5 (P, -, -, 0)
Checking capture: e4e5 (Q, -, -, 0)
Checking capture: e4e5 (R, -, -, 0)
Checking capture: e4e5 (B, -, -, 0)
Checking capture: e4e5 (N, -, -, 0)
Checking capture: e4e5 (P, -, -, 0)
Checking capture: e7c8 (Q, -, -, 0)
Checking capture: e7c8 (R, -, -, 0)
Checking capture: e7c8 (B, -, -, 0)
Checking capture: e7c8 (N, -, -, 0)
Checking capture: e6f8 (Q, -, -, 0)
Checking capture: e6f8 (R, -, -, 0)
Checking capture: e6f8 (B, -, -, 0)
Checking capture: e6f8 (N, -, -, 0)
Checking capture: e6f5 (Q, -, -, 0)
Checking capture: e6f5 (R, -, -, 0)
Checking capture: e6f5 (B, -, -, 0)
Checking capture: e6f5 (N, -, -, 0)
Checking capture: e6f5 (P, -, -, 0)
Forced last move: e7c8 (-, -, -, 0)
New goalPos: 4KnrR/1b2n3/QR1P1BBN/3rqp2/rpbk1q2/RR4p1/nP1b4/5Rr1 b - - 0 1
min cost: 99 queue: 0 nodes: 0 time: 2.2854e-05
Q:0 R:3 Bd:0 Bl:0 N:-1 P:-6 sP:3
q:1 r:2 bd:0 bl:1 n:1 p:-5 sp:0
nodes: 2 time: 0.00691901
found:0 nodes:8545 csp:0 cspNodes:0
2n1KnrR/1b6/QR1P1BBN/3rqp2/rpbk1q2/RR4p1/nP1b4/5Rr1 w - - 0 1 illegal, no proof kernel
min cost: 120 queue: 0 nodes: 0 time: 2.5679e-05
Q:0 R:-1 Bd:0 Bl:1 N:2 P:-6 sP:3
q:4 r:2 bd:0 bl:-1 n:0 p:-6 sp:0
nodes: 2 time: 0.0048047
kernel: [ bPa1xPb0, bPe1xPd0, bPf1xPe0, bPg1xRf0, wPh0xLBg0 ]
nVars:33 nConstr:37
CSP nodes: 34
found:2 nodes:9434 csp:1 cspNodes:34
1N2R3/5B2/3pB2q/KN2B1rN/Q1nr1b2/P1pr1q2/qNP1k2q/4q1nr w - - 0 1 unknown, kernel: bPa1xPb0 bPe1xPd0 bPf1xPe0 bPg1xRf0 wPh0xLBg0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPe7-e5 wPd2-d4 bPe5xd4 bPf7-f5 wPe2-e4 bPf5xe4 bPg7-g5 wPf2-f5 wRa1-f4 bPg5xf4 wPh2-h3 wPg2-g5 bLBc8-g4 wPh3xg4
2rn4/3BP1N1/n4Q2/NR1bq3/p1rb4/P1rR2qK/pRrNp3/1R3bkn w - - 0 1 illegal, No possible last move
Checking capture: d4g7 (Q, -, -, 0)
Checking capture: d4g7 (R, -, -, 0)
Checking capture: d4g7 (B, -, -, 0)
Checking capture: d4g7 (N, -, -, 0)
Checking capture: d4g7 (P, -, -, 0)
Checking capture: e5g7 (Q, -, -, 0)
Checking capture: e5g7 (R, -, -, 0)
Checking capture: e5g7 (B, -, -, 0)
Checking capture: e5g7 (N, -, -, 0)
Checking capture: e5g7 (P, -, -, 0)
Checking capture: f6g7 (Q, -, -, 0)
Checking capture: f6g7 (R, -, -, 0)
Checking capture: f6g7 (B, -, -, 0)
Checking capture: f6g7 (N, -, -, 0)
Checking capture: f6g7 (P, -, -, 0)
Checking capture: f8g7 (Q, -, -, 0)
Checking capture: f8g7 (R, -, -, 0)
Checking capture: f8g7 (B, -, -, 0)
Checking capture: f8g7 (N, -, -, 0)
Checking capture: f8g7 (P, -, -, 0)
Forced last move: f8g7 (-, -, -, 0)
New goalPos: nkn2bRK/b1r2p2/4B1Nb/n5R1/bB5q/BPp2P2/1nprp3/Q2BR3 b - - 0 1
min cost: 103 queue: 0 nodes: 0 time: 6.6911e-05
Q:0 R:1 Bd:1 Bl:1 N:-1 P:-6 sP:3
q:0 r:0 bd:2 bl:0 n:2 p:-4 sp:0
nodes: 2 time: 0.00948825
kernel: [ bPb1xPc0, bPd1xPe0, bPh1xPg0, bPa1xNb0 ]
nVars:31 nConstr:33
CSP nodes: 31
found:2 nodes:12076 csp:1 cspNodes:31
nkn3RK/b1r2pb1/4B1Nb/n5R1/bB5q/BPp2P2/1nprp3/Q2BR3 w - - 0 1 unknown, kernel: bPb1xPc0 bPd1xPe0 bPh1xPg0 bPa1xNb0 extKernel: bPb7-b5 wPc2-c4 bPb5xc4 bPd7-d5 wPe2-e4 bPd5xe4 bPh7-h5 wPg2-g4 bPh5xg4 bPa7-a3 wPb2-b3 wNb1-b2 bPa3xb2
min cost: 108 queue: 0 nodes: 0 time: 2.425e-05
Q:1 R:0 Bd:2 Bl:0 N:-1 P:-6 sP:3
q:2 r:2 bd:1 bl:0 n:1 p:-7 sp:1
nodes: 2 time: 0.00361432
kernel: [ wPa0xPb1, bPc1xPd0, bPe1xPf0, bPg1xQf0, bPh1xNg0 ]
nVars:35 nConstr:41
CSP nodes: 39
found:2 nodes:75221 csp:1 cspNodes:39
qBr3nn/4R1q1/6PP/5Br1/1B1q1Kp1/b3Q1nN/1k4rb/Rr1QB2b w - - 0 1 unknown, kernel: wPa0xPb1 bPc1xPd0 bPe1xPf0 bPg1xQf0 bPh1xNg0 extKernel: wPa2-a4 bPb7-b5 wPa4xb5 bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g4 wQd1-f3 bPg4xf3 bPh7-h5 wPg2-g5 wNb1-g4 bPh5xg4
Checking capture: f2e1 (Q, -, -, 0)
found:0 nodes:4212 csp:0 cspNodes:0
Checking capture: f2e1 (R, -, -, 0)
found:0 nodes:4212 csp:0 cspNodes:0
Checking capture: f2e1 (B, -, -, 0)
found:0 nodes:4212 csp:0 cspNodes:0
Checking capture: f2e1 (N, -, -, 0)
found:0 nodes:4212 csp:0 cspNodes:0
Forced last move: f2e1 (-, -, -, 0)
New goalPos: b2r3k/2N2P2/1nqpQ1p1/3qR1pq/pK3B2/n3P1n1/1N3bNQ/2NR3q b - - 0 1
min cost: 85 queue: 0 nodes: 0 time: 2.4074e-05
Q:1 R:0 Bd:0 Bl:-1 N:2 P:-6 sP:3
q:3 r:-1 bd:0 bl:0 n:1 p:-4 sp:0
nodes: 2 time: 0.0048599
kernel: [ bPb1xPa0, bPc1xPd0, bPe1xPf0, wPg0xRf2, bPh1xLBg0 ]
nVars:35 nConstr:41
CSP nodes: 36
found:2 nodes:27533 csp:1 cspNodes:36
b2r3k/2N2P2/1nqpQ1p1/3qR1pq/pK3B2/n3P1n1/1N4NQ/2NRb2q w - - 0 1 unknown, kernel: bPb1xPa0 bPc1xPd0 bPe1xPf0 wPg0xRf2 bPh1xLBg0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPc7-c5 wPd2-d4 bPc5xd4 bPe7-e5 wPf2-f4 bPe5xf4 wPg2-g4 bPf4-f3 bPf7-f4 bRa8-f5 wPg4xf5 wLBf1-g6 bPh7xg6
min cost: 98 queue: 0 nodes: 0 time: 5.5564e-05
Q:1 R:2 Bd:0 Bl:-1 N:0 P:-6 sP:3
q:2 r:0 bd:1 bl:1 n:1 p:-5 sp:0
nodes: 2 time: 0.00377538
kernel: [ bPb1xPc0, bPe1xPf0, bPg1xPh0, bPa1xLBb0 ]
nVars:31 nConstr:33
CSP nodes: 31
found:2 nodes:11531 csp:1 cspNodes:31
RnrR4/b1bp4/R2P2Q1/PpNNnK2/2p3Q1/2B3R1/n3b1bk/1rqq2q1 w - - 0 1 unknown, kernel: bPb1xPc0 bPe1xPf0 bPg1xPh0 bPa1xLBb0 extKernel: bPb7-b5 wPc2-c4 bPb5xc4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g5 wPh2-h4 bPg5xh4 bPa7-a6 wPb2-b6 wLBf1-b5 bPa6xb5
min cost: 102 queue: 0 nodes: 0 time: 4.5991e-05
Q:1 R:2 Bd:0 Bl:0 N:-1 P:-6 sP:3
q:0 r:0 bd:1 bl:0 n:4 p:-5 sp:0
nodes: 2 time: 0.00319039
kernel: [ bPa1xPb0, bPc1xPd0, bPg1xPh0, bPb0xNa0 ]
nVars:31 nConstr:33
CSP nodes: 31
found:2 nodes:1820 csp:1 cspNodes:31
4nrnn/1qN1p2b/2RpP3/Q2K1k2/n1RR1p2/3n1P2/B2b2rb/2n1BQR1 w - - 0 2 unknown, kernel: bPa1xPb0 bPc1xPd0 bPg1xPh0 bPb0xNa0 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPg7-g5 wPh2-h4 bPg5xh4 wPa2-a4 wNb1-a3 bPb4xa3
min cost: 118 queue: 0 nodes: 0 time: 2.5074e-05
Q:2 R:1 Bd:-1 Bl:-1 N:1 P:-6 sP:2
q:1 r:3 bd:1 bl:1 n:0 p:-6 sp:0
nodes: 2 time: 0.00165761
kernel: [ bPd1xPe0, bPg1xPf0, bPb1xDBa0, bPh1xLBg0 ]
nVars:31 nConstr:32
CSP nodes: 31
found:2 nodes:14047 csp:1 cspNodes:31
4qRQ1/p1pbrb1K/r2rr2N/PQP1b3/q1rR3Q/4b3/6Rn/k2Nn1N1 w - - 0 1 unknown, kernel: bPd1xPe0 bPg1xPf0 bPb1xDBa0 bPh1xLBg0 extKernel: bPd7-d5 wPe2-e4 bPd5xe4 bPg7-g5 wPf2-f4 bPg5xf4 bPb7-b4 wPa2-a4 wDBc1-a3 bPb4xa3 bPh7-h5 wPg2-g5 wLBf1-g4 bPh5xg4
min cost: 126 queue: 0 nodes: 0 time: 2.4399e-05
Q:0 R:0 Bd:0 Bl:1 N:0 P:-5 sP:4
q:3 r:3 bd:0 bl:2 n:0 p:-8 sp:0
nodes: 2 time: 0.00181817
3rRQ2/1P2q1q1/NK2brn1/1q3b2/B3k3/1BB4N/RbrrP1Pq/n2br3 w - - 0 1 illegal, no proof kernel, forced: bxLB
min cost: 65535 queue: 0 nodes: 0 time: 7.6413e-05
Q:0 R:0 Bd:0 Bl:0 N:1 P:-5 sP:4
q:1 r:3 bd:0 bl:3 n:0 p:-7 sp:0
nodes: 1 time: 0.000262741
3n3b/1Np1K1Pr/P1r2n2/5qk1/q1BBbrPN/R2b2r1/2R1b3/1b2QNr1 w - - 0 1 illegal, other
Checking capture: g2f1 (Q, -, -, 0)
Checking capture: g2f1 (R, -, -, 0)
Checking capture: g2f1 (B, -, -, 0)
Checking capture: g2f1 (N, -, -, 0)
Checking capture: d1b2 (Q, -, -, 0)
Checking capture: d1b2 (R, -, -, 0)
Checking capture: d1b2 (B, -, -, 0)
Checking capture: d1b2 (N, -, -, 0)
Checking capture: d1b2 (P, -, -, 0)
Checking capture: g2f1q (Q, -, -, 0)
Checking capture: g2f1q (R, -, -, 0)
Checking capture: g2f1q (B, -, -, 0)
Checking capture: g2f1q (N, -, -, 0)
n1N5/rn4k1/n1B3p1/1q2P1Bb/R2b3q/b2P1Rqr/1nNPBQ2/1K3qr1 w - - 0 1 illegal, No possible last move, all captures rejected
min cost: 65535 queue: 0 nodes: 0 time: 2.4947e-05
Q:0 R:1 Bd:0 Bl:0 N:0 P:-5 sP:4
q:2 r:0 bd:0 bl:0 n:4 p:-6 sp:0
nodes: 1 time: 0.000195948
2bR1Nn1/3n4/1n1n1n2/3P1n1r/3Pq1Q1/K3P1Np/B1rBpk1b/3RqqR1 w - - 0 1 illegal, other
Checking capture: d2e3 (Q, -, -, 0)
Checking capture: d2e3 (R, -, -, 0)
Checking capture: d2e3 (B, -, -, 0)
Checking capture: d2e3 (N, -, -, 0)
Checking capture: d2e3 (P, -, -, 0)
Forced last move: d2e3 (-, -, -, 0)
New goalPos: 7r/pR1B1qBQ/b1r2N2/2n1PPR1/pNn3P1/1nk2Rr1/1q1b1K1n/r1n5 b - - 0 1
min cost: 109 queue: 0 nodes: 0 time: 2.3668e-05
Q:0 R:1 Bd:0 Bl:0 N:0 P:-5 sP:4
q:1 r:2 bd:0 bl:0 n:3 p:-6 sp:0
nodes: 2 time: 0.00434332
found:0 nodes:6920 csp:0 cspNodes:0
7r/pR1B1qBQ/b1r2N2/2n1PPR1/pNn3P1/1nk1bRr1/1q3K1n/r1n5 w - - 0 1 illegal, no proof kernel
min cost: 65535 queue: 0 nodes: 0 time: 2.3686e-05
Q:0 R:1 Bd:0 Bl:0 N:0 P:-5 sP:4
q:2 r:1 bd:0 bl:1 n:1 p:-5 sp:0
nodes: 1 time: 0.000193894
2r2q1N/2r5/B3R2p/Rnk4P/R1b3b1/NrnqbPK1/Qp1qnp1P/2B5 w - - 0 1 illegal, other
min cost: 134 queue: 0 nodes: 0 time: 2.2734e-05
Q:1 R:0 Bd:0 Bl:0 N:0 P:-5 sP:4
q:1 r:1 bd:3 bl:0 n:3 p:-8 sp:0
nodes: 2 time: 0.00222665
kernel: [ bPb1xPa0, bPd1xPc0, bPe1xPf0, bPg1xPh0 ]
nVars:32 nConstr:36
CSP nodes: 32
found:2 nodes:43 csp:1 cspNodes:32
B3n3/1PB1n3/2N2b2/b1br1QP1/N1n2rQ1/bRnPq1Rb/K1n2r2/4q2k w - - 0 1 unknown, kernel: bPb1xPa0 bPd1xPc0 bPe1xPf0 bPg1xPh0 extKernel: bPb7-b5 wPa2-a4 bPb5xa4 bPd7-d5 wPc2-c4 bPd5xc4 bPe7-e5 wPf2-f4 bPe5xf4 bPg7-g5 wPh2-h4 bPg5xh4
min cost: 100 queue: 0 nodes: 0 time: 2.4401e-05
Q:0 R:1 Bd:0 Bl:-1 N:1 P:-5 sP:3
q:3 r:1 bd:0 bl:-1 n:1 p:-5 sp:0
nodes: 2 time: 0.00273484
kernel: [ bPa1xPb0, bPc1xPd0, bPf1xPg0, bPb0xLBa0, wPe0xLBd2 ]
nVars:35 nConstr:41
CSP nodes: 36
found:2 nodes:2002 csp:1 cspNodes:36
1N2R2n/3N1rpp/1rnQp2B/6nK/qq2R2N/b1PP1q1R/4rq1P/k7 w - - 0 1 unknown, kernel: bPa1xPb0 bPc1xPd0 bPf1xPg0 bPb0xLBa0 wPe0xLBd2 extKernel: bPa7-a5 wPb2-b4 bPa5xb4 bPc7-c5 wPd2-d4 bPc5xd4 bPf7-f5 wPg2-g4 bPf5xg4 bPb4-b3 wPa2-a3 wLBf1-a2 bPb3xa2 bPd4-d1 bPd7-d2 bLBc8-d3 wPe2xd3
Checking capture: d4e5 (Q, -, -, 0)
Checking capture: d4e5 (R, -, -, 0)