BLOCKS31-0
0 actions
961 actions
1922 actions
1953 actions
1984 actions built
Level 1:	Facts: 41 Actions: 38 Mutex pairs: 30
Level 2:	Facts: 50 Actions: 56 Mutex pairs: 120
Level 3:	Facts: 56 Actions: 77 Mutex pairs: 189
Level 4:	Facts: 74 Actions: 104 Mutex pairs: 612
Level 5:	Facts: 86 Actions: 149 Mutex pairs: 876
Level 6:	Facts: 122 Actions: 206 Mutex pairs: 2637
Level 7:	Facts: 134 Actions: 287 Mutex pairs: 2601
Level 8:	Facts: 188 Actions: 362 Mutex pairs: 6405
Level 9:	Facts: 199 Actions: 479 Mutex pairs: 5171
Level 10:	Facts: 270 Actions: 570 Mutex pairs: 11567
Level 11:	Facts: 280 Actions: 720 Mutex pairs: 8659
Level 12:	Facts: 340 Actions: 798 Mutex pairs: 13165
Level 13:	Facts: 345 Actions: 922 Mutex pairs: 9103
Level 14:	Facts: 412 Actions: 998 Mutex pairs: 15248
Level 15:	Facts: 416 Actions: 1135 Mutex pairs: 11284
Level 16:	Facts: 454 Actions: 1180 Mutex pairs: 12877
Level 17:	Facts: 456 Actions: 1257 Mutex pairs: 10353
Level 18:	Facts: 496 Actions: 1300 Mutex pairs: 13191
Level 19:	Facts: 498 Actions: 1381 Mutex pairs: 11455
Level 20:	Facts: 540 Actions: 1426 Mutex pairs: 14603
Level 21:	Facts: 542 Actions: 1511 Mutex pairs: 13056
Level 22:	Facts: 586 Actions: 1558 Mutex pairs: 16508
Level 23:	Facts: 588 Actions: 1647 Mutex pairs: 14799
Level 24:	Facts: 634 Actions: 1696 Mutex pairs: 18569
Level 25:	Facts: 636 Actions: 1789 Mutex pairs: 16690
Level 26:	Facts: 684 Actions: 1840 Mutex pairs: 20792
Level 27:	Facts: 686 Actions: 1937 Mutex pairs: 18735
Level 28:	Facts: 736 Actions: 1990 Mutex pairs: 23183
Level 29:	Facts: 738 Actions: 2091 Mutex pairs: 20940
Level 30:	Facts: 790 Actions: 2146 Mutex pairs: 25748
Level 31:	Facts: 792 Actions: 2251 Mutex pairs: 23311
Level 32:	Facts: 846 Actions: 2308 Mutex pairs: 28493
Level 33:	Facts: 848 Actions: 2417 Mutex pairs: 25854
Level 34:	Facts: 904 Actions: 2476 Mutex pairs: 31424
Level 35:	Facts: 906 Actions: 2589 Mutex pairs: 28575
Level 36:	Facts: 964 Actions: 2650 Mutex pairs: 34547
Level 37:	Facts: 965 Actions: 2767 Mutex pairs: 31389

NO SOLUTION
Total time elapsed: 187895 millisecs
BLOCKS31-1
0 actions
961 actions
1922 actions
1953 actions
1984 actions built
Level 1:	Facts: 47 Actions: 42 Mutex pairs: 70
Level 2:	Facts: 72 Actions: 82 Mutex pairs: 630
Level 3:	Facts: 80 Actions: 137 Mutex pairs: 729
Level 4:	Facts: 128 Actions: 198 Mutex pairs: 3140
Level 5:	Facts: 153 Actions: 317 Mutex pairs: 4176
Level 6:	Facts: 212 Actions: 424 Mutex pairs: 9084
Level 7:	Facts: 221 Actions: 550 Mutex pairs: 6525
Level 8:	Facts: 272 Actions: 618 Mutex pairs: 9679
Level 9:	Facts: 276 Actions: 723 Mutex pairs: 6375
Level 10:	Facts: 306 Actions: 760 Mutex pairs: 7280
Level 11:	Facts: 308 Actions: 821 Mutex pairs: 5597
Level 12:	Facts: 340 Actions: 856 Mutex pairs: 7419
Level 13:	Facts: 342 Actions: 921 Mutex pairs: 6351
Level 14:	Facts: 376 Actions: 958 Mutex pairs: 8423
Level 15:	Facts: 378 Actions: 1027 Mutex pairs: 7444
Level 16:	Facts: 414 Actions: 1066 Mutex pairs: 9764
Level 17:	Facts: 416 Actions: 1139 Mutex pairs: 8655
Level 18:	Facts: 454 Actions: 1180 Mutex pairs: 11237
Level 19:	Facts: 456 Actions: 1257 Mutex pairs: 9990
Level 20:	Facts: 496 Actions: 1300 Mutex pairs: 12848
Level 21:	Facts: 498 Actions: 1381 Mutex pairs: 11455
Level 22:	Facts: 540 Actions: 1426 Mutex pairs: 14603
Level 23:	Facts: 542 Actions: 1511 Mutex pairs: 13056
Level 24:	Facts: 586 Actions: 1558 Mutex pairs: 16508
Level 25:	Facts: 588 Actions: 1647 Mutex pairs: 14799
Level 26:	Facts: 634 Actions: 1696 Mutex pairs: 18569
Level 27:	Facts: 636 Actions: 1789 Mutex pairs: 16690
Level 28:	Facts: 684 Actions: 1840 Mutex pairs: 20792
Level 29:	Facts: 686 Actions: 1937 Mutex pairs: 18735
Level 30:	Facts: 736 Actions: 1990 Mutex pairs: 23183
Level 31:	Facts: 738 Actions: 2091 Mutex pairs: 20940
Level 32:	Facts: 790 Actions: 2146 Mutex pairs: 25748
Level 33:	Facts: 792 Actions: 2251 Mutex pairs: 23311
Level 34:	Facts: 846 Actions: 2308 Mutex pairs: 28493
Level 35:	Facts: 848 Actions: 2417 Mutex pairs: 25854
Level 36:	Facts: 904 Actions: 2476 Mutex pairs: 31424
Level 37:	Facts: 906 Actions: 2589 Mutex pairs: 28575
Level 38:	Facts: 964 Actions: 2650 Mutex pairs: 34547

NO SOLUTION
Total time elapsed: 176185 millisecs
BLOCKS32-0
0 actions
1024 actions
2048 actions
2080 actions
2112 actions built
Level 1:	Facts: 54 Actions: 49 Mutex pairs: 112
Level 2:	Facts: 115 Actions: 131 Mutex pairs: 2802
Level 3:	Facts: 124 Actions: 258 Mutex pairs: 2809
Level 4:	Facts: 203 Actions: 351 Mutex pairs: 8769
Level 5:	Facts: 231 Actions: 533 Mutex pairs: 8925
Level 6:	Facts: 335 Actions: 689 Mutex pairs: 22493
Level 7:	Facts: 354 Actions: 913 Mutex pairs: 17443
Level 8:	Facts: 489 Actions: 1083 Mutex pairs: 38930
Level 9:	Facts: 507 Actions: 1368 Mutex pairs: 27448
Level 10:	Facts: 633 Actions: 1527 Mutex pairs: 45873
Level 11:	Facts: 643 Actions: 1788 Mutex pairs: 30144
Level 12:	Facts: 785 Actions: 1949 Mutex pairs: 54651
Level 13:	Facts: 793 Actions: 2240 Mutex pairs: 37706
Level 14:	Facts: 847 Actions: 2309 Mutex pairs: 35902
Level 15:	Facts: 849 Actions: 2418 Mutex pairs: 27320
Level 16:	Facts: 905 Actions: 2477 Mutex pairs: 32830
Level 17:	Facts: 907 Actions: 2590 Mutex pairs: 28575
Level 18:	Facts: 965 Actions: 2651 Mutex pairs: 34547
Level 19:	Facts: 967 Actions: 2768 Mutex pairs: 31480
Level 20:	Facts: 1027 Actions: 2831 Mutex pairs: 37868
Level 21:	Facts: 1028 Actions: 2952 Mutex pairs: 34481
Level 22:	Facts: 1089 Actions: 3015 Mutex pairs: 41146
Level 23:	Facts: 1089 Actions: 3137 Mutex pairs: 37546

NO SOLUTION
Total time elapsed: 221152 millisecs
BLOCKS32-1
0 actions
1024 actions
2048 actions
2080 actions
2112 actions built
Level 1:	Facts: 39 Actions: 37 Mutex pairs: 16
Level 2:	Facts: 43 Actions: 47 Mutex pairs: 36
Level 3:	Facts: 47 Actions: 57 Mutex pairs: 69
Level 4:	Facts: 55 Actions: 71 Mutex pairs: 170
Level 5:	Facts: 61 Actions: 91 Mutex pairs: 246
Level 6:	Facts: 77 Actions: 117 Mutex pairs: 641
Level 7:	Facts: 82 Actions: 153 Mutex pairs: 627
Level 8:	Facts: 105 Actions: 185 Mutex pairs: 1420
Level 9:	Facts: 109 Actions: 234 Mutex pairs: 1175
Level 10:	Facts: 125 Actions: 257 Mutex pairs: 1558
Level 11:	Facts: 127 Actions: 290 Mutex pairs: 1201
Level 12:	Facts: 145 Actions: 311 Mutex pairs: 1784
Level 13:	Facts: 147 Actions: 348 Mutex pairs: 1500
Level 14:	Facts: 167 Actions: 371 Mutex pairs: 2228
Level 15:	Facts: 169 Actions: 412 Mutex pairs: 1935
Level 16:	Facts: 191 Actions: 437 Mutex pairs: 2813
Level 17:	Facts: 193 Actions: 482 Mutex pairs: 2446
Level 18:	Facts: 217 Actions: 509 Mutex pairs: 3488
Level 19:	Facts: 219 Actions: 558 Mutex pairs: 3039
Level 20:	Facts: 245 Actions: 587 Mutex pairs: 4259
Level 21:	Facts: 247 Actions: 640 Mutex pairs: 3720
Level 22:	Facts: 275 Actions: 671 Mutex pairs: 5132
Level 23:	Facts: 277 Actions: 728 Mutex pairs: 4495
Level 24:	Facts: 307 Actions: 761 Mutex pairs: 6113
Level 25:	Facts: 309 Actions: 822 Mutex pairs: 5370
Level 26:	Facts: 341 Actions: 857 Mutex pairs: 7208
Level 27:	Facts: 343 Actions: 922 Mutex pairs: 6351
Level 28:	Facts: 377 Actions: 959 Mutex pairs: 8423
Level 29:	Facts: 379 Actions: 1028 Mutex pairs: 7444
Level 30:	Facts: 415 Actions: 1067 Mutex pairs: 9764
Level 31:	Facts: 417 Actions: 1140 Mutex pairs: 8655
Level 32:	Facts: 455 Actions: 1181 Mutex pairs: 11237
Level 33:	Facts: 457 Actions: 1258 Mutex pairs: 9990
Level 34:	Facts: 497 Actions: 1301 Mutex pairs: 12848
Level 35:	Facts: 499 Actions: 1382 Mutex pairs: 11455
Level 36:	Facts: 541 Actions: 1427 Mutex pairs: 14603
Level 37:	Facts: 543 Actions: 1512 Mutex pairs: 13056
Level 38:	Facts: 587 Actions: 1559 Mutex pairs: 16508
Level 39:	Facts: 589 Actions: 1648 Mutex pairs: 14799
Level 40:	Facts: 635 Actions: 1697 Mutex pairs: 18569
Level 41:	Facts: 637 Actions: 1790 Mutex pairs: 16690
Level 42:	Facts: 685 Actions: 1841 Mutex pairs: 20792
Level 43:	Facts: 687 Actions: 1938 Mutex pairs: 18735
Level 44:	Facts: 737 Actions: 1991 Mutex pairs: 23183
Level 45:	Facts: 739 Actions: 2092 Mutex pairs: 20940
Level 46:	Facts: 791 Actions: 2147 Mutex pairs: 25748
Level 47:	Facts: 793 Actions: 2252 Mutex pairs: 23311
Level 48:	Facts: 847 Actions: 2309 Mutex pairs: 28493
Level 49:	Facts: 849 Actions: 2418 Mutex pairs: 25854
Level 50:	Facts: 905 Actions: 2477 Mutex pairs: 31424
Level 51:	Facts: 907 Actions: 2590 Mutex pairs: 28575

NO SOLUTION
Total time elapsed: 168561 millisecs
BLOCKS33-0
0 actions
1089 actions
2178 actions
2211 actions
2244 actions built
Level 1:	Facts: 46 Actions: 42 Mutex pairs: 48
Level 2:	Facts: 62 Actions: 70 Mutex pairs: 300
Level 3:	Facts: 69 Actions: 106 Mutex pairs: 389
Level 4:	Facts: 100 Actions: 148 Mutex pairs: 1495
Level 5:	Facts: 117 Actions: 225 Mutex pairs: 1996
Level 6:	Facts: 164 Actions: 304 Mutex pairs: 5071
Level 7:	Facts: 174 Actions: 406 Mutex pairs: 4142
Level 8:	Facts: 218 Actions: 468 Mutex pairs: 6670
Level 9:	Facts: 224 Actions: 560 Mutex pairs: 4667
Level 10:	Facts: 276 Actions: 622 Mutex pairs: 8401
Level 11:	Facts: 282 Actions: 730 Mutex pairs: 6329
Level 12:	Facts: 342 Actions: 800 Mutex pairs: 11299
Level 13:	Facts: 348 Actions: 924 Mutex pairs: 8731
Level 14:	Facts: 416 Actions: 1002 Mutex pairs: 15079
Level 15:	Facts: 422 Actions: 1142 Mutex pairs: 11653
Level 16:	Facts: 498 Actions: 1228 Mutex pairs: 19547
Level 17:	Facts: 504 Actions: 1384 Mutex pairs: 15143
Level 18:	Facts: 588 Actions: 1478 Mutex pairs: 24751
Level 19:	Facts: 594 Actions: 1650 Mutex pairs: 19249
Level 20:	Facts: 686 Actions: 1752 Mutex pairs: 30739
Level 21:	Facts: 692 Actions: 1940 Mutex pairs: 24019
Level 22:	Facts: 792 Actions: 2050 Mutex pairs: 37559
Level 23:	Facts: 797 Actions: 2254 Mutex pairs: 29342
Level 24:	Facts: 904 Actions: 2370 Mutex pairs: 44831
Level 25:	Facts: 908 Actions: 2587 Mutex pairs: 35174
Level 26:	Facts: 966 Actions: 2652 Mutex pairs: 38497
Level 27:	Facts: 968 Actions: 2769 Mutex pairs: 32323
Level 28:	Facts: 1028 Actions: 2832 Mutex pairs: 38681
Level 29:	Facts: 1030 Actions: 2953 Mutex pairs: 34575
Level 30:	Facts: 1092 Actions: 3018 Mutex pairs: 41393

NO SOLUTION
Total time elapsed: 210897 millisecs
BLOCKS33-1
0 actions
1089 actions
2178 actions
2211 actions
2244 actions built
Level 1:	Facts: 50 Actions: 46 Mutex pairs: 71
Level 2:	Facts: 84 Actions: 96 Mutex pairs: 1004
Level 3:	Facts: 90 Actions: 168 Mutex pairs: 1005
Level 4:	Facts: 136 Actions: 224 Mutex pairs: 3246
Level 5:	Facts: 152 Actions: 330 Mutex pairs: 3355
Level 6:	Facts: 192 Actions: 400 Mutex pairs: 5667
Level 7:	Facts: 197 Actions: 484 Mutex pairs: 3923
Level 8:	Facts: 244 Actions: 540 Mutex pairs: 6998
Level 9:	Facts: 248 Actions: 637 Mutex pairs: 5039
Level 10:	Facts: 276 Actions: 672 Mutex pairs: 5992
Level 11:	Facts: 278 Actions: 729 Mutex pairs: 4693
Level 12:	Facts: 308 Actions: 762 Mutex pairs: 6296
Level 13:	Facts: 310 Actions: 823 Mutex pairs: 5370
Level 14:	Facts: 342 Actions: 858 Mutex pairs: 7208
Level 15:	Facts: 344 Actions: 923 Mutex pairs: 6351
Level 16:	Facts: 378 Actions: 960 Mutex pairs: 8423
Level 17:	Facts: 380 Actions: 1029 Mutex pairs: 7444
Level 18:	Facts: 416 Actions: 1068 Mutex pairs: 9764
Level 19:	Facts: 418 Actions: 1141 Mutex pairs: 8655
Level 20:	Facts: 456 Actions: 1182 Mutex pairs: 11237
Level 21:	Facts: 458 Actions: 1259 Mutex pairs: 9990
Level 22:	Facts: 498 Actions: 1302 Mutex pairs: 12848
Level 23:	Facts: 500 Actions: 1383 Mutex pairs: 11455
Level 24:	Facts: 542 Actions: 1428 Mutex pairs: 14603
Level 25:	Facts: 544 Actions: 1513 Mutex pairs: 13056
Level 26:	Facts: 588 Actions: 1560 Mutex pairs: 16508
Level 27:	Facts: 590 Actions: 1649 Mutex pairs: 14799
Level 28:	Facts: 636 Actions: 1698 Mutex pairs: 18569
Level 29:	Facts: 638 Actions: 1791 Mutex pairs: 16690
Level 30:	Facts: 686 Actions: 1842 Mutex pairs: 20792
Level 31:	Facts: 688 Actions: 1939 Mutex pairs: 18735
Level 32:	Facts: 738 Actions: 1992 Mutex pairs: 23183
Level 33:	Facts: 740 Actions: 2093 Mutex pairs: 20940
Level 34:	Facts: 792 Actions: 2148 Mutex pairs: 25748
Level 35:	Facts: 794 Actions: 2253 Mutex pairs: 23311
Level 36:	Facts: 848 Actions: 2310 Mutex pairs: 28493
Level 37:	Facts: 850 Actions: 2419 Mutex pairs: 25854
Level 38:	Facts: 906 Actions: 2478 Mutex pairs: 31424
Level 39:	Facts: 908 Actions: 2591 Mutex pairs: 28575
Level 40:	Facts: 966 Actions: 2652 Mutex pairs: 34547

NO SOLUTION
Total time elapsed: 177626 millisecs
BLOCKS34-0
0 actions
1156 actions
2312 actions
2346 actions
2380 actions built
Level 1:	Facts: 40 Actions: 39 Mutex pairs: 11
Level 2:	Facts: 43 Actions: 47 Mutex pairs: 24
Level 3:	Facts: 45 Actions: 54 Mutex pairs: 36
Level 4:	Facts: 49 Actions: 61 Mutex pairs: 68
Level 5:	Facts: 51 Actions: 70 Mutex pairs: 79
Level 6:	Facts: 57 Actions: 79 Mutex pairs: 149
Level 7:	Facts: 59 Actions: 92 Mutex pairs: 150
Level 8:	Facts: 67 Actions: 103 Mutex pairs: 272
Level 9:	Facts: 69 Actions: 120 Mutex pairs: 255
Level 10:	Facts: 79 Actions: 133 Mutex pairs: 443
Level 11:	Facts: 81 Actions: 154 Mutex pairs: 400
Level 12:	Facts: 93 Actions: 169 Mutex pairs: 668
Level 13:	Facts: 95 Actions: 194 Mutex pairs: 591
Level 14:	Facts: 109 Actions: 211 Mutex pairs: 953
Level 15:	Facts: 111 Actions: 240 Mutex pairs: 834
Level 16:	Facts: 127 Actions: 259 Mutex pairs: 1304
Level 17:	Facts: 129 Actions: 292 Mutex pairs: 1135
Level 18:	Facts: 147 Actions: 313 Mutex pairs: 1727
Level 19:	Facts: 149 Actions: 350 Mutex pairs: 1500
Level 20:	Facts: 169 Actions: 373 Mutex pairs: 2228
Level 21:	Facts: 171 Actions: 414 Mutex pairs: 1935
Level 22:	Facts: 193 Actions: 439 Mutex pairs: 2813
Level 23:	Facts: 195 Actions: 484 Mutex pairs: 2446
Level 24:	Facts: 219 Actions: 511 Mutex pairs: 3488
Level 25:	Facts: 221 Actions: 560 Mutex pairs: 3039
Level 26:	Facts: 247 Actions: 589 Mutex pairs: 4259
Level 27:	Facts: 249 Actions: 642 Mutex pairs: 3720
Level 28:	Facts: 277 Actions: 673 Mutex pairs: 5132
Level 29:	Facts: 279 Actions: 730 Mutex pairs: 4495
Level 30:	Facts: 309 Actions: 763 Mutex pairs: 6113
Level 31:	Facts: 311 Actions: 824 Mutex pairs: 5370
Level 32:	Facts: 343 Actions: 859 Mutex pairs: 7208
Level 33:	Facts: 345 Actions: 924 Mutex pairs: 6351
Level 34:	Facts: 379 Actions: 961 Mutex pairs: 8423
Level 35:	Facts: 381 Actions: 1030 Mutex pairs: 7444
Level 36:	Facts: 417 Actions: 1069 Mutex pairs: 9764
Level 37:	Facts: 419 Actions: 1142 Mutex pairs: 8655
Level 38:	Facts: 457 Actions: 1183 Mutex pairs: 11237
Level 39:	Facts: 459 Actions: 1260 Mutex pairs: 9990
Level 40:	Facts: 499 Actions: 1303 Mutex pairs: 12848
Level 41:	Facts: 501 Actions: 1384 Mutex pairs: 11455
Level 42:	Facts: 543 Actions: 1429 Mutex pairs: 14603
Level 43:	Facts: 545 Actions: 1514 Mutex pairs: 13056
Level 44:	Facts: 589 Actions: 1561 Mutex pairs: 16508
Level 45:	Facts: 591 Actions: 1650 Mutex pairs: 14799
Level 46:	Facts: 637 Actions: 1699 Mutex pairs: 18569
Level 47:	Facts: 639 Actions: 1792 Mutex pairs: 16690
Level 48:	Facts: 687 Actions: 1843 Mutex pairs: 20792
Level 49:	Facts: 689 Actions: 1940 Mutex pairs: 18735
Level 50:	Facts: 739 Actions: 1993 Mutex pairs: 23183
Level 51:	Facts: 741 Actions: 2094 Mutex pairs: 20940
Level 52:	Facts: 793 Actions: 2149 Mutex pairs: 25748
Level 53:	Facts: 795 Actions: 2254 Mutex pairs: 23311
Level 54:	Facts: 849 Actions: 2311 Mutex pairs: 28493
Level 55:	Facts: 851 Actions: 2420 Mutex pairs: 25854
Level 56:	Facts: 907 Actions: 2479 Mutex pairs: 31424
Level 57:	Facts: 909 Actions: 2592 Mutex pairs: 28575

NO SOLUTION
Total time elapsed: 170852 millisecs
BLOCKS34-1
0 actions
1156 actions
2312 actions
2346 actions
2380 actions built
Level 1:	Facts: 44 Actions: 41 Mutex pairs: 30
Level 2:	Facts: 53 Actions: 59 Mutex pairs: 120
Level 3:	Facts: 58 Actions: 80 Mutex pairs: 170
Level 4:	Facts: 75 Actions: 105 Mutex pairs: 552
Level 5:	Facts: 85 Actions: 147 Mutex pairs: 742
Level 6:	Facts: 109 Actions: 189 Mutex pairs: 1641
Level 7:	Facts: 115 Actions: 241 Mutex pairs: 1390
Level 8:	Facts: 147 Actions: 283 Mutex pairs: 2858
Level 9:	Facts: 153 Actions: 351 Mutex pairs: 2284
Level 10:	Facts: 193 Actions: 401 Mutex pairs: 4544
Level 11:	Facts: 199 Actions: 485 Mutex pairs: 3596
Level 12:	Facts: 247 Actions: 543 Mutex pairs: 6814
Level 13:	Facts: 253 Actions: 643 Mutex pairs: 5308
Level 14:	Facts: 309 Actions: 709 Mutex pairs: 9652
Level 15:	Facts: 315 Actions: 825 Mutex pairs: 7468
Level 16:	Facts: 379 Actions: 899 Mutex pairs: 13106
Level 17:	Facts: 385 Actions: 1031 Mutex pairs: 10124
Level 18:	Facts: 457 Actions: 1113 Mutex pairs: 17224
Level 19:	Facts: 463 Actions: 1261 Mutex pairs: 13324
Level 20:	Facts: 543 Actions: 1351 Mutex pairs: 22054
Level 21:	Facts: 549 Actions: 1515 Mutex pairs: 17116
Level 22:	Facts: 637 Actions: 1613 Mutex pairs: 27644
Level 23:	Facts: 643 Actions: 1793 Mutex pairs: 21548
Level 24:	Facts: 739 Actions: 1899 Mutex pairs: 34042
Level 25:	Facts: 745 Actions: 2095 Mutex pairs: 26668
Level 26:	Facts: 849 Actions: 2209 Mutex pairs: 41296
Level 27:	Facts: 855 Actions: 2421 Mutex pairs: 32524
Level 28:	Facts: 967 Actions: 2543 Mutex pairs: 49454
Level 29:	Facts: 972 Actions: 2771 Mutex pairs: 38987
Level 30:	Facts: 1091 Actions: 2899 Mutex pairs: 58088
Level 31:	Facts: 1095 Actions: 3140 Mutex pairs: 46007
Level 32:	Facts: 1159 Actions: 3211 Mutex pairs: 49966
Level 33:	Facts: 1160 Actions: 3340 Mutex pairs: 42255

NO SOLUTION
Total time elapsed: 231876 millisecs
BLOCKS35-0
0 actions
1225 actions
2450 actions
2485 actions
2520 actions built
Level 1:	Facts: 51 Actions: 46 Mutex pairs: 70
Level 2:	Facts: 76 Actions: 86 Mutex pairs: 630
Level 3:	Facts: 85 Actions: 141 Mutex pairs: 769
Level 4:	Facts: 134 Actions: 204 Mutex pairs: 3288
Level 5:	Facts: 162 Actions: 326 Mutex pairs: 4584
Level 6:	Facts: 242 Actions: 458 Mutex pairs: 12878
Level 7:	Facts: 261 Actions: 634 Mutex pairs: 10831
Level 8:	Facts: 372 Actions: 780 Mutex pairs: 25574
Level 9:	Facts: 389 Actions: 1017 Mutex pairs: 18580
Level 10:	Facts: 496 Actions: 1156 Mutex pairs: 32105
Level 11:	Facts: 505 Actions: 1378 Mutex pairs: 21099
Level 12:	Facts: 588 Actions: 1478 Mutex pairs: 28887
Level 13:	Facts: 592 Actions: 1647 Mutex pairs: 19671
Level 14:	Facts: 638 Actions: 1700 Mutex pairs: 21456
Level 15:	Facts: 640 Actions: 1793 Mutex pairs: 17221
Level 16:	Facts: 688 Actions: 1844 Mutex pairs: 21299
Level 17:	Facts: 690 Actions: 1941 Mutex pairs: 18735
Level 18:	Facts: 740 Actions: 1994 Mutex pairs: 23183
Level 19:	Facts: 742 Actions: 2095 Mutex pairs: 20940
Level 20:	Facts: 794 Actions: 2150 Mutex pairs: 25748
Level 21:	Facts: 796 Actions: 2255 Mutex pairs: 23311
Level 22:	Facts: 850 Actions: 2312 Mutex pairs: 28493
Level 23:	Facts: 852 Actions: 2421 Mutex pairs: 25854
Level 24:	Facts: 908 Actions: 2480 Mutex pairs: 31424
Level 25:	Facts: 910 Actions: 2593 Mutex pairs: 28575
Level 26:	Facts: 968 Actions: 2654 Mutex pairs: 34547
Level 27:	Facts: 970 Actions: 2771 Mutex pairs: 31480
Level 28:	Facts: 1030 Actions: 2834 Mutex pairs: 37868

NO SOLUTION
Total time elapsed: 198516 millisecs
BLOCKS35-1
0 actions
1225 actions
2450 actions
2485 actions
2520 actions built
Level 1:	Facts: 45 Actions: 42 Mutex pairs: 30
Level 2:	Facts: 54 Actions: 60 Mutex pairs: 120
Level 3:	Facts: 59 Actions: 81 Mutex pairs: 170
Level 4:	Facts: 76 Actions: 106 Mutex pairs: 552
Level 5:	Facts: 85 Actions: 148 Mutex pairs: 707
Level 6:	Facts: 108 Actions: 188 Mutex pairs: 1543
Level 7:	Facts: 112 Actions: 237 Mutex pairs: 1229
Level 8:	Facts: 128 Actions: 260 Mutex pairs: 1590
Level 9:	Facts: 130 Actions: 293 Mutex pairs: 1201
Level 10:	Facts: 148 Actions: 314 Mutex pairs: 1784
Level 11:	Facts: 150 Actions: 351 Mutex pairs: 1500
Level 12:	Facts: 170 Actions: 374 Mutex pairs: 2228
Level 13:	Facts: 172 Actions: 415 Mutex pairs: 1935
Level 14:	Facts: 194 Actions: 440 Mutex pairs: 2813
Level 15:	Facts: 196 Actions: 485 Mutex pairs: 2446
Level 16:	Facts: 220 Actions: 512 Mutex pairs: 3488
Level 17:	Facts: 222 Actions: 561 Mutex pairs: 3039
Level 18:	Facts: 248 Actions: 590 Mutex pairs: 4259
Level 19:	Facts: 250 Actions: 643 Mutex pairs: 3720
Level 20:	Facts: 278 Actions: 674 Mutex pairs: 5132
Level 21:	Facts: 280 Actions: 731 Mutex pairs: 4495
Level 22:	Facts: 310 Actions: 764 Mutex pairs: 6113
Level 23:	Facts: 312 Actions: 825 Mutex pairs: 5370
Level 24:	Facts: 344 Actions: 860 Mutex pairs: 7208
Level 25:	Facts: 346 Actions: 925 Mutex pairs: 6351
Level 26:	Facts: 380 Actions: 962 Mutex pairs: 8423
Level 27:	Facts: 382 Actions: 1031 Mutex pairs: 7444
Level 28:	Facts: 418 Actions: 1070 Mutex pairs: 9764
Level 29:	Facts: 420 Actions: 1143 Mutex pairs: 8655
Level 30:	Facts: 458 Actions: 1184 Mutex pairs: 11237
Level 31:	Facts: 460 Actions: 1261 Mutex pairs: 9990
Level 32:	Facts: 500 Actions: 1304 Mutex pairs: 12848
Level 33:	Facts: 502 Actions: 1385 Mutex pairs: 11455
Level 34:	Facts: 544 Actions: 1430 Mutex pairs: 14603
Level 35:	Facts: 546 Actions: 1515 Mutex pairs: 13056
Level 36:	Facts: 590 Actions: 1562 Mutex pairs: 16508
Level 37:	Facts: 592 Actions: 1651 Mutex pairs: 14799
Level 38:	Facts: 638 Actions: 1700 Mutex pairs: 18569
Level 39:	Facts: 640 Actions: 1793 Mutex pairs: 16690
Level 40:	Facts: 688 Actions: 1844 Mutex pairs: 20792
Level 41:	Facts: 690 Actions: 1941 Mutex pairs: 18735
Level 42:	Facts: 740 Actions: 1994 Mutex pairs: 23183
Level 43:	Facts: 742 Actions: 2095 Mutex pairs: 20940
Level 44:	Facts: 794 Actions: 2150 Mutex pairs: 25748
Level 45:	Facts: 796 Actions: 2255 Mutex pairs: 23311
Level 46:	Facts: 850 Actions: 2312 Mutex pairs: 28493
Level 47:	Facts: 852 Actions: 2421 Mutex pairs: 25854
Level 48:	Facts: 908 Actions: 2480 Mutex pairs: 31424
Level 49:	Facts: 910 Actions: 2593 Mutex pairs: 28575

NO SOLUTION
Total time elapsed: 166577 millisecs
BLOCKS36-0
0 actions
1296 actions
2592 actions
2628 actions
2664 actions built
Level 1:	Facts: 46 Actions: 43 Mutex pairs: 30
Level 2:	Facts: 55 Actions: 61 Mutex pairs: 120
Level 3:	Facts: 61 Actions: 82 Mutex pairs: 189
Level 4:	Facts: 79 Actions: 109 Mutex pairs: 612
Level 5:	Facts: 91 Actions: 154 Mutex pairs: 876
Level 6:	Facts: 127 Actions: 211 Mutex pairs: 2637
Level 7:	Facts: 139 Actions: 292 Mutex pairs: 2601
Level 8:	Facts: 193 Actions: 367 Mutex pairs: 6405
Level 9:	Facts: 205 Actions: 484 Mutex pairs: 5268
Level 10:	Facts: 277 Actions: 577 Mutex pairs: 11844
Level 11:	Facts: 289 Actions: 730 Mutex pairs: 9075
Level 12:	Facts: 379 Actions: 841 Mutex pairs: 19197
Level 13:	Facts: 390 Actions: 1030 Mutex pairs: 14063
Level 14:	Facts: 497 Actions: 1157 Mutex pairs: 28217
Level 15:	Facts: 506 Actions: 1379 Mutex pairs: 20077
Level 16:	Facts: 589 Actions: 1479 Mutex pairs: 28219
Level 17:	Facts: 593 Actions: 1648 Mutex pairs: 19671
Level 18:	Facts: 639 Actions: 1701 Mutex pairs: 21456
Level 19:	Facts: 641 Actions: 1794 Mutex pairs: 17221
Level 20:	Facts: 689 Actions: 1845 Mutex pairs: 21299
Level 21:	Facts: 691 Actions: 1942 Mutex pairs: 18735
Level 22:	Facts: 741 Actions: 1995 Mutex pairs: 23183
Level 23:	Facts: 743 Actions: 2096 Mutex pairs: 20940
Level 24:	Facts: 795 Actions: 2151 Mutex pairs: 25748
Level 25:	Facts: 797 Actions: 2256 Mutex pairs: 23311
Level 26:	Facts: 851 Actions: 2313 Mutex pairs: 28493
Level 27:	Facts: 853 Actions: 2422 Mutex pairs: 25854
Level 28:	Facts: 909 Actions: 2481 Mutex pairs: 31424
Level 29:	Facts: 911 Actions: 2594 Mutex pairs: 28575
Level 30:	Facts: 969 Actions: 2655 Mutex pairs: 34547
Level 31:	Facts: 971 Actions: 2772 Mutex pairs: 31480
Level 32:	Facts: 1031 Actions: 2835 Mutex pairs: 37868

NO SOLUTION
Total time elapsed: 202045 millisecs
BLOCKS36-1
0 actions
1296 actions
2592 actions
2628 actions
2664 actions built
Level 1:	Facts: 43 Actions: 41 Mutex pairs: 16
Level 2:	Facts: 47 Actions: 51 Mutex pairs: 36
Level 3:	Facts: 51 Actions: 61 Mutex pairs: 69
Level 4:	Facts: 59 Actions: 75 Mutex pairs: 170
Level 5:	Facts: 64 Actions: 95 Mutex pairs: 226
Level 6:	Facts: 79 Actions: 119 Mutex pairs: 582
Level 7:	Facts: 83 Actions: 152 Mutex pairs: 551
Level 8:	Facts: 95 Actions: 171 Mutex pairs: 797
Level 9:	Facts: 97 Actions: 196 Mutex pairs: 629
Level 10:	Facts: 111 Actions: 213 Mutex pairs: 984
Level 11:	Facts: 113 Actions: 242 Mutex pairs: 834
Level 12:	Facts: 129 Actions: 261 Mutex pairs: 1304
Level 13:	Facts: 131 Actions: 294 Mutex pairs: 1135
Level 14:	Facts: 149 Actions: 315 Mutex pairs: 1727
Level 15:	Facts: 151 Actions: 352 Mutex pairs: 1500
Level 16:	Facts: 171 Actions: 375 Mutex pairs: 2228
Level 17:	Facts: 173 Actions: 416 Mutex pairs: 1935
Level 18:	Facts: 195 Actions: 441 Mutex pairs: 2813
Level 19:	Facts: 197 Actions: 486 Mutex pairs: 2446
Level 20:	Facts: 221 Actions: 513 Mutex pairs: 3488
Level 21:	Facts: 223 Actions: 562 Mutex pairs: 3039
Level 22:	Facts: 249 Actions: 591 Mutex pairs: 4259
Level 23:	Facts: 251 Actions: 644 Mutex pairs: 3720
Level 24:	Facts: 279 Actions: 675 Mutex pairs: 5132
Level 25:	Facts: 281 Actions: 732 Mutex pairs: 4495
Level 26:	Facts: 311 Actions: 765 Mutex pairs: 6113
Level 27:	Facts: 313 Actions: 826 Mutex pairs: 5370
Level 28:	Facts: 345 Actions: 861 Mutex pairs: 7208
Level 29:	Facts: 347 Actions: 926 Mutex pairs: 6351
Level 30:	Facts: 381 Actions: 963 Mutex pairs: 8423
Level 31:	Facts: 383 Actions: 1032 Mutex pairs: 7444
Level 32:	Facts: 419 Actions: 1071 Mutex pairs: 9764
Level 33:	Facts: 421 Actions: 1144 Mutex pairs: 8655
Level 34:	Facts: 459 Actions: 1185 Mutex pairs: 11237
Level 35:	Facts: 461 Actions: 1262 Mutex pairs: 9990
Level 36:	Facts: 501 Actions: 1305 Mutex pairs: 12848
Level 37:	Facts: 503 Actions: 1386 Mutex pairs: 11455
Level 38:	Facts: 545 Actions: 1431 Mutex pairs: 14603
Level 39:	Facts: 547 Actions: 1516 Mutex pairs: 13056
Level 40:	Facts: 591 Actions: 1563 Mutex pairs: 16508
Level 41:	Facts: 593 Actions: 1652 Mutex pairs: 14799
Level 42:	Facts: 639 Actions: 1701 Mutex pairs: 18569
Level 43:	Facts: 641 Actions: 1794 Mutex pairs: 16690
Level 44:	Facts: 689 Actions: 1845 Mutex pairs: 20792
Level 45:	Facts: 691 Actions: 1942 Mutex pairs: 18735
Level 46:	Facts: 741 Actions: 1995 Mutex pairs: 23183
Level 47:	Facts: 743 Actions: 2096 Mutex pairs: 20940
Level 48:	Facts: 795 Actions: 2151 Mutex pairs: 25748
Level 49:	Facts: 797 Actions: 2256 Mutex pairs: 23311
Level 50:	Facts: 851 Actions: 2313 Mutex pairs: 28493
Level 51:	Facts: 853 Actions: 2422 Mutex pairs: 25854
Level 52:	Facts: 909 Actions: 2481 Mutex pairs: 31424
Level 53:	Facts: 911 Actions: 2594 Mutex pairs: 28575

NO SOLUTION
Total time elapsed: 168912 millisecs
BLOCKS37-0
0 actions
1369 actions
2738 actions
2775 actions
2812 actions built
Level 1:	Facts: 44 Actions: 42 Mutex pairs: 16
Level 2:	Facts: 48 Actions: 52 Mutex pairs: 36
Level 3:	Facts: 51 Actions: 62 Mutex pairs: 58
Level 4:	Facts: 58 Actions: 74 Mutex pairs: 141
Level 5:	Facts: 62 Actions: 91 Mutex pairs: 180
Level 6:	Facts: 70 Actions: 106 Mutex pairs: 308
Level 7:	Facts: 72 Actions: 123 Mutex pairs: 268
Level 8:	Facts: 82 Actions: 136 Mutex pairs: 454
Level 9:	Facts: 84 Actions: 157 Mutex pairs: 400
Level 10:	Facts: 96 Actions: 172 Mutex pairs: 668
Level 11:	Facts: 98 Actions: 197 Mutex pairs: 591
Level 12:	Facts: 112 Actions: 214 Mutex pairs: 953
Level 13:	Facts: 114 Actions: 243 Mutex pairs: 834
Level 14:	Facts: 130 Actions: 262 Mutex pairs: 1304
Level 15:	Facts: 132 Actions: 295 Mutex pairs: 1135
Level 16:	Facts: 150 Actions: 316 Mutex pairs: 1727
Level 17:	Facts: 152 Actions: 353 Mutex pairs: 1500
Level 18:	Facts: 172 Actions: 376 Mutex pairs: 2228
Level 19:	Facts: 174 Actions: 417 Mutex pairs: 1935
Level 20:	Facts: 196 Actions: 442 Mutex pairs: 2813
Level 21:	Facts: 198 Actions: 487 Mutex pairs: 2446
Level 22:	Facts: 222 Actions: 514 Mutex pairs: 3488
Level 23:	Facts: 224 Actions: 563 Mutex pairs: 3039
Level 24:	Facts: 250 Actions: 592 Mutex pairs: 4259
Level 25:	Facts: 252 Actions: 645 Mutex pairs: 3720
Level 26:	Facts: 280 Actions: 676 Mutex pairs: 5132
Level 27:	Facts: 282 Actions: 733 Mutex pairs: 4495
Level 28:	Facts: 312 Actions: 766 Mutex pairs: 6113
Level 29:	Facts: 314 Actions: 827 Mutex pairs: 5370
Level 30:	Facts: 346 Actions: 862 Mutex pairs: 7208
Level 31:	Facts: 348 Actions: 927 Mutex pairs: 6351
Level 32:	Facts: 382 Actions: 964 Mutex pairs: 8423
Level 33:	Facts: 384 Actions: 1033 Mutex pairs: 7444
Level 34:	Facts: 420 Actions: 1072 Mutex pairs: 9764
Level 35:	Facts: 422 Actions: 1145 Mutex pairs: 8655
Level 36:	Facts: 460 Actions: 1186 Mutex pairs: 11237
Level 37:	Facts: 462 Actions: 1263 Mutex pairs: 9990
Level 38:	Facts: 502 Actions: 1306 Mutex pairs: 12848
Level 39:	Facts: 504 Actions: 1387 Mutex pairs: 11455
Level 40:	Facts: 546 Actions: 1432 Mutex pairs: 14603
Level 41:	Facts: 548 Actions: 1517 Mutex pairs: 13056
Level 42:	Facts: 592 Actions: 1564 Mutex pairs: 16508
Level 43:	Facts: 594 Actions: 1653 Mutex pairs: 14799
Level 44:	Facts: 640 Actions: 1702 Mutex pairs: 18569
Level 45:	Facts: 642 Actions: 1795 Mutex pairs: 16690
Level 46:	Facts: 690 Actions: 1846 Mutex pairs: 20792
Level 47:	Facts: 692 Actions: 1943 Mutex pairs: 18735
Level 48:	Facts: 742 Actions: 1996 Mutex pairs: 23183
Level 49:	Facts: 744 Actions: 2097 Mutex pairs: 20940
Level 50:	Facts: 796 Actions: 2152 Mutex pairs: 25748
Level 51:	Facts: 798 Actions: 2257 Mutex pairs: 23311
Level 52:	Facts: 852 Actions: 2314 Mutex pairs: 28493
Level 53:	Facts: 854 Actions: 2423 Mutex pairs: 25854
Level 54:	Facts: 910 Actions: 2482 Mutex pairs: 31424
Level 55:	Facts: 912 Actions: 2595 Mutex pairs: 28575

NO SOLUTION
Total time elapsed: 170328 millisecs
BLOCKS37-1
0 actions
1369 actions
2738 actions
2775 actions
2812 actions built
Level 1:	Facts: 51 Actions: 48 Mutex pairs: 49
Level 2:	Facts: 74 Actions: 84 Mutex pairs: 508
Level 3:	Facts: 79 Actions: 133 Mutex pairs: 532
Level 4:	Facts: 108 Actions: 170 Mutex pairs: 1524
Level 5:	Facts: 118 Actions: 236 Mutex pairs: 1544
Level 6:	Facts: 150 Actions: 286 Mutex pairs: 3067
Level 7:	Facts: 156 Actions: 354 Mutex pairs: 2410
Level 8:	Facts: 196 Actions: 404 Mutex pairs: 4664
Level 9:	Facts: 202 Actions: 488 Mutex pairs: 3596
Level 10:	Facts: 250 Actions: 546 Mutex pairs: 6814
Level 11:	Facts: 256 Actions: 646 Mutex pairs: 5308
Level 12:	Facts: 312 Actions: 712 Mutex pairs: 9652
Level 13:	Facts: 318 Actions: 828 Mutex pairs: 7468
Level 14:	Facts: 382 Actions: 902 Mutex pairs: 13106
Level 15:	Facts: 388 Actions: 1034 Mutex pairs: 10124
Level 16:	Facts: 460 Actions: 1116 Mutex pairs: 17224
Level 17:	Facts: 466 Actions: 1264 Mutex pairs: 13324
Level 18:	Facts: 546 Actions: 1354 Mutex pairs: 22054
Level 19:	Facts: 552 Actions: 1518 Mutex pairs: 17116
Level 20:	Facts: 640 Actions: 1616 Mutex pairs: 27644
Level 21:	Facts: 646 Actions: 1796 Mutex pairs: 21548
Level 22:	Facts: 742 Actions: 1902 Mutex pairs: 34042
Level 23:	Facts: 748 Actions: 2098 Mutex pairs: 26668
Level 24:	Facts: 852 Actions: 2212 Mutex pairs: 41296
Level 25:	Facts: 858 Actions: 2424 Mutex pairs: 32524
Level 26:	Facts: 970 Actions: 2546 Mutex pairs: 49454
Level 27:	Facts: 975 Actions: 2774 Mutex pairs: 38987
Level 28:	Facts: 1094 Actions: 2902 Mutex pairs: 58088
Level 29:	Facts: 1098 Actions: 3143 Mutex pairs: 46007
Level 30:	Facts: 1162 Actions: 3214 Mutex pairs: 49966
Level 31:	Facts: 1164 Actions: 3343 Mutex pairs: 42385

NO SOLUTION
Total time elapsed: 234931 millisecs
BLOCKS38-0
0 actions
1444 actions
2888 actions
2926 actions
2964 actions built
Level 1:	Facts: 54 Actions: 51 Mutex pairs: 60
Level 2:	Facts: 87 Actions: 99 Mutex pairs: 924
Level 3:	Facts: 92 Actions: 168 Mutex pairs: 908
Level 4:	Facts: 127 Actions: 211 Mutex pairs: 2271
Level 5:	Facts: 136 Actions: 289 Mutex pairs: 2027
Level 6:	Facts: 171 Actions: 341 Mutex pairs: 3820
Level 7:	Facts: 175 Actions: 414 Mutex pairs: 2825
Level 8:	Facts: 197 Actions: 443 Mutex pairs: 3402
Level 9:	Facts: 199 Actions: 488 Mutex pairs: 2569
Level 10:	Facts: 223 Actions: 515 Mutex pairs: 3599
Level 11:	Facts: 225 Actions: 564 Mutex pairs: 3039
Level 12:	Facts: 251 Actions: 593 Mutex pairs: 4259
Level 13:	Facts: 253 Actions: 646 Mutex pairs: 3720
Level 14:	Facts: 281 Actions: 677 Mutex pairs: 5132
Level 15:	Facts: 283 Actions: 734 Mutex pairs: 4495
Level 16:	Facts: 313 Actions: 767 Mutex pairs: 6113
Level 17:	Facts: 315 Actions: 828 Mutex pairs: 5370
Level 18:	Facts: 347 Actions: 863 Mutex pairs: 7208
Level 19:	Facts: 349 Actions: 928 Mutex pairs: 6351
Level 20:	Facts: 383 Actions: 965 Mutex pairs: 8423
Level 21:	Facts: 385 Actions: 1034 Mutex pairs: 7444
Level 22:	Facts: 421 Actions: 1073 Mutex pairs: 9764
Level 23:	Facts: 423 Actions: 1146 Mutex pairs: 8655
Level 24:	Facts: 461 Actions: 1187 Mutex pairs: 11237
Level 25:	Facts: 463 Actions: 1264 Mutex pairs: 9990
Level 26:	Facts: 503 Actions: 1307 Mutex pairs: 12848
Level 27:	Facts: 505 Actions: 1388 Mutex pairs: 11455
Level 28:	Facts: 547 Actions: 1433 Mutex pairs: 14603
Level 29:	Facts: 549 Actions: 1518 Mutex pairs: 13056
Level 30:	Facts: 593 Actions: 1565 Mutex pairs: 16508
Level 31:	Facts: 595 Actions: 1654 Mutex pairs: 14799
Level 32:	Facts: 641 Actions: 1703 Mutex pairs: 18569
Level 33:	Facts: 643 Actions: 1796 Mutex pairs: 16690
Level 34:	Facts: 691 Actions: 1847 Mutex pairs: 20792
Level 35:	Facts: 693 Actions: 1944 Mutex pairs: 18735
Level 36:	Facts: 743 Actions: 1997 Mutex pairs: 23183
Level 37:	Facts: 745 Actions: 2098 Mutex pairs: 20940
Level 38:	Facts: 797 Actions: 2153 Mutex pairs: 25748
Level 39:	Facts: 799 Actions: 2258 Mutex pairs: 23311
Level 40:	Facts: 853 Actions: 2315 Mutex pairs: 28493
Level 41:	Facts: 855 Actions: 2424 Mutex pairs: 25854
Level 42:	Facts: 911 Actions: 2483 Mutex pairs: 31424
Level 43:	Facts: 913 Actions: 2596 Mutex pairs: 28575

NO SOLUTION
Total time elapsed: 172866 millisecs
BLOCKS38-1
0 actions
1444 actions
2888 actions
2926 actions
2964 actions built
Level 1:	Facts: 53 Actions: 49 Mutex pairs: 59
Level 2:	Facts: 77 Actions: 87 Mutex pairs: 567
Level 3:	Facts: 84 Actions: 139 Mutex pairs: 644
Level 4:	Facts: 123 Actions: 189 Mutex pairs: 2321
Level 5:	Facts: 141 Actions: 282 Mutex pairs: 2776
Level 6:	Facts: 195 Actions: 369 Mutex pairs: 6762
Level 7:	Facts: 206 Actions: 486 Mutex pairs: 5410
Level 8:	Facts: 277 Actions: 577 Mutex pairs: 11809
Level 9:	Facts: 287 Actions: 727 Mutex pairs: 8659
Level 10:	Facts: 347 Actions: 805 Mutex pairs: 13165
Level 11:	Facts: 353 Actions: 929 Mutex pairs: 9215
Level 12:	Facts: 421 Actions: 1007 Mutex pairs: 15529
Level 13:	Facts: 427 Actions: 1147 Mutex pairs: 11653
Level 14:	Facts: 503 Actions: 1233 Mutex pairs: 19547
Level 15:	Facts: 509 Actions: 1389 Mutex pairs: 15143
Level 16:	Facts: 593 Actions: 1483 Mutex pairs: 24751
Level 17:	Facts: 599 Actions: 1655 Mutex pairs: 19249
Level 18:	Facts: 691 Actions: 1757 Mutex pairs: 30739
Level 19:	Facts: 697 Actions: 1945 Mutex pairs: 24019
Level 20:	Facts: 797 Actions: 2055 Mutex pairs: 37559
Level 21:	Facts: 803 Actions: 2259 Mutex pairs: 29501
Level 22:	Facts: 911 Actions: 2377 Mutex pairs: 45259
Level 23:	Facts: 917 Actions: 2597 Mutex pairs: 35743
Level 24:	Facts: 1033 Actions: 2723 Mutex pairs: 53887
Level 25:	Facts: 1038 Actions: 2959 Mutex pairs: 42610
Level 26:	Facts: 1161 Actions: 3091 Mutex pairs: 62999
Level 27:	Facts: 1165 Actions: 3340 Mutex pairs: 50050

NO SOLUTION
Total time elapsed: 221471 millisecs
BLOCKS39-0
0 actions
1521 actions
3042 actions
3081 actions
3120 actions built
Level 1:	Facts: 52 Actions: 48 Mutex pairs: 48
Level 2:	Facts: 68 Actions: 76 Mutex pairs: 300
Level 3:	Facts: 76 Actions: 112 Mutex pairs: 418
Level 4:	Facts: 108 Actions: 156 Mutex pairs: 1596
Level 5:	Facts: 127 Actions: 236 Mutex pairs: 2216
Level 6:	Facts: 190 Actions: 334 Mutex pairs: 7229
Level 7:	Facts: 208 Actions: 475 Mutex pairs: 6793
Level 8:	Facts: 280 Actions: 580 Mutex pairs: 13371
Level 9:	Facts: 291 Actions: 733 Mutex pairs: 9451
Level 10:	Facts: 380 Actions: 842 Mutex pairs: 19303
Level 11:	Facts: 390 Actions: 1028 Mutex pairs: 13708
Level 12:	Facts: 462 Actions: 1118 Mutex pairs: 20002
Level 13:	Facts: 468 Actions: 1266 Mutex pairs: 14012
Level 14:	Facts: 548 Actions: 1356 Mutex pairs: 22702
Level 15:	Facts: 554 Actions: 1520 Mutex pairs: 17116
Level 16:	Facts: 642 Actions: 1618 Mutex pairs: 27644
Level 17:	Facts: 648 Actions: 1798 Mutex pairs: 21548
Level 18:	Facts: 744 Actions: 1904 Mutex pairs: 34042
Level 19:	Facts: 750 Actions: 2100 Mutex pairs: 26668
Level 20:	Facts: 854 Actions: 2214 Mutex pairs: 41296
Level 21:	Facts: 859 Actions: 2426 Mutex pairs: 32359
Level 22:	Facts: 970 Actions: 2546 Mutex pairs: 49010
Level 23:	Facts: 974 Actions: 2771 Mutex pairs: 38575
Level 24:	Facts: 1034 Actions: 2838 Mutex pairs: 42104
Level 25:	Facts: 1036 Actions: 2959 Mutex pairs: 35477
Level 26:	Facts: 1098 Actions: 3024 Mutex pairs: 42264
Level 27:	Facts: 1100 Actions: 3149 Mutex pairs: 37866

NO SOLUTION
Total time elapsed: 216527 millisecs
BLOCKS39-1
