BLOCKS4-0
0 actions
64 actions
80 actions
96 actions built
Level 1:	Facts: 24 Actions: 24 Mutex pairs: 110
Level 2:	Facts: 24 Actions: 88 Mutex pairs: 86
Initial layer complete at: 2
Expanding the graph until levels off ...
Level 3:	Facts: 24 Actions: 88 Mutex pairs: 86
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 5
Length of plan [3], Nodes generated [9], Nodes expanded [3], Nodes Avoided [43].
Graph construction time elapsed: 59 millisecs
Heuristic search time elapsed:   5 millisecs
Total time elapsed: 65 millisecs
BLOCKS4-1
0 actions
64 actions
80 actions
96 actions built
Level 1:	Facts: 8 Actions: 7 Mutex pairs: 5
Level 2:	Facts: 12 Actions: 15 Mutex pairs: 19
Level 3:	Facts: 18 Actions: 30 Mutex pairs: 52
Level 4:	Facts: 24 Actions: 60 Mutex pairs: 98
Level 5:	Facts: 24 Actions: 88 Mutex pairs: 86
Initial layer complete at: 5
Expanding the graph until levels off ...
Level 6:	Facts: 24 Actions: 88 Mutex pairs: 86
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 13
Length of plan [5], Nodes generated [14], Nodes expanded [5], Nodes Avoided [77].
Graph construction time elapsed: 48 millisecs
Heuristic search time elapsed:   6 millisecs
Total time elapsed: 56 millisecs
BLOCKS4-2
0 actions
64 actions
80 actions
96 actions built
Level 1:	Facts: 18 Actions: 17 Mutex pairs: 54
Level 2:	Facts: 24 Actions: 60 Mutex pairs: 98
Level 3:	Facts: 24 Actions: 88 Mutex pairs: 86
Initial layer complete at: 3
Expanding the graph until levels off ...
Level 4:	Facts: 24 Actions: 88 Mutex pairs: 86
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 8
Length of plan [3], Nodes generated [9], Nodes expanded [3], Nodes Avoided [43].
Graph construction time elapsed: 46 millisecs
Heuristic search time elapsed:   5 millisecs
Total time elapsed: 51 millisecs
BLOCKS5-0
0 actions
125 actions
150 actions
175 actions built
Level 1:	Facts: 13 Actions: 12 Mutex pairs: 19
Level 2:	Facts: 19 Actions: 31 Mutex pairs: 52
Level 3:	Facts: 27 Actions: 62 Mutex pairs: 110
Level 4:	Facts: 35 Actions: 114 Mutex pairs: 184
Level 5:	Facts: 35 Actions: 160 Mutex pairs: 160
Initial layer complete at: 5
Expanding the graph until levels off ...
Level 6:	Facts: 35 Actions: 160 Mutex pairs: 160
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 14
Length of plan [6], Nodes generated [27], Nodes expanded [6], Nodes Avoided [186].
Graph construction time elapsed: 111 millisecs
Heuristic search time elapsed:   11 millisecs
Total time elapsed: 123 millisecs
BLOCKS5-1
0 actions
125 actions
150 actions
175 actions built
Level 1:	Facts: 19 Actions: 18 Mutex pairs: 54
Level 2:	Facts: 27 Actions: 62 Mutex pairs: 110
Level 3:	Facts: 35 Actions: 114 Mutex pairs: 184
Initial layer complete at: 3
Expanding the graph until levels off ...
Level 4:	Facts: 35 Actions: 160 Mutex pairs: 160
Level 5:	Facts: 35 Actions: 160 Mutex pairs: 160
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 9
Length of plan [5], Nodes generated [21], Nodes expanded [6], Nodes Avoided [201].
Graph construction time elapsed: 109 millisecs
Heuristic search time elapsed:   11 millisecs
Total time elapsed: 120 millisecs
BLOCKS5-2
0 actions
125 actions
150 actions
175 actions built
Level 1:	Facts: 9 Actions: 8 Mutex pairs: 5
Level 2:	Facts: 13 Actions: 16 Mutex pairs: 19
Level 3:	Facts: 19 Actions: 31 Mutex pairs: 52
Level 4:	Facts: 27 Actions: 62 Mutex pairs: 110
Level 5:	Facts: 35 Actions: 114 Mutex pairs: 184
Level 6:	Facts: 35 Actions: 160 Mutex pairs: 160
Initial layer complete at: 6
Expanding the graph until levels off ...
Level 7:	Facts: 35 Actions: 160 Mutex pairs: 160
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 27
Length of plan [8], Nodes generated [56], Nodes expanded [16], Nodes Avoided [560].
Graph construction time elapsed: 111 millisecs
Heuristic search time elapsed:   25 millisecs
Total time elapsed: 136 millisecs
BLOCKS6-0
0 actions
216 actions
252 actions
288 actions built
Level 1:	Facts: 16 Actions: 14 Mutex pairs: 25
Level 2:	Facts: 30 Actions: 48 Mutex pairs: 128
Level 3:	Facts: 48 Actions: 144 Mutex pairs: 337
Level 4:	Facts: 48 Actions: 264 Mutex pairs: 267
Initial layer complete at: 4
Expanding the graph until levels off ...
Level 5:	Facts: 48 Actions: 264 Mutex pairs: 267
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 19
Length of plan [6], Nodes generated [25], Nodes expanded [6], Nodes Avoided [351].
Graph construction time elapsed: 239 millisecs
Heuristic search time elapsed:   18 millisecs
Total time elapsed: 257 millisecs
BLOCKS6-1
0 actions
216 actions
252 actions
288 actions built
Level 1:	Facts: 38 Actions: 37 Mutex pairs: 235
Level 2:	Facts: 48 Actions: 196 Mutex pairs: 307
Level 3:	Facts: 48 Actions: 264 Mutex pairs: 267
Initial layer complete at: 3
Expanding the graph until levels off ...
Level 4:	Facts: 48 Actions: 264 Mutex pairs: 267
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 10
Length of plan [5], Nodes generated [36], Nodes expanded [5], Nodes Avoided [247].
Graph construction time elapsed: 238 millisecs
Heuristic search time elapsed:   15 millisecs
Total time elapsed: 254 millisecs
BLOCKS6-2
0 actions
216 actions
252 actions
288 actions built
Level 1:	Facts: 10 Actions: 9 Mutex pairs: 5
Level 2:	Facts: 14 Actions: 17 Mutex pairs: 19
Level 3:	Facts: 20 Actions: 32 Mutex pairs: 52
Level 4:	Facts: 28 Actions: 63 Mutex pairs: 110
Level 5:	Facts: 38 Actions: 116 Mutex pairs: 199
Level 6:	Facts: 48 Actions: 196 Mutex pairs: 307
Level 7:	Facts: 48 Actions: 264 Mutex pairs: 267
Initial layer complete at: 7
Expanding the graph until levels off ...
Level 8:	Facts: 48 Actions: 264 Mutex pairs: 267
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 37
Length of plan [15], Nodes generated [475], Nodes expanded [149], Nodes Avoided [9619].
Graph construction time elapsed: 263 millisecs
Heuristic search time elapsed:   399 millisecs
Total time elapsed: 663 millisecs
BLOCKS7-0
0 actions
343 actions
392 actions
441 actions built
Level 1:	Facts: 11 Actions: 10 Mutex pairs: 5
Level 2:	Facts: 15 Actions: 18 Mutex pairs: 19
Level 3:	Facts: 21 Actions: 33 Mutex pairs: 52
Level 4:	Facts: 29 Actions: 64 Mutex pairs: 110
Level 5:	Facts: 39 Actions: 117 Mutex pairs: 199
Level 6:	Facts: 51 Actions: 198 Mutex pairs: 325
Level 7:	Facts: 63 Actions: 312 Mutex pairs: 473
Level 8:	Facts: 63 Actions: 406 Mutex pairs: 413
Initial layer complete at: 8
Expanding the graph until levels off ...
Level 9:	Facts: 63 Actions: 406 Mutex pairs: 413
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 53
Length of plan [12], Nodes generated [103], Nodes expanded [29], Nodes Avoided [2796].
Graph construction time elapsed: 600 millisecs
Heuristic search time elapsed:   123 millisecs
Total time elapsed: 723 millisecs
BLOCKS7-1
0 actions
343 actions
392 actions
441 actions built
Level 1:	Facts: 17 Actions: 15 Mutex pairs: 25
Level 2:	Facts: 29 Actions: 48 Mutex pairs: 116
Level 3:	Facts: 39 Actions: 117 Mutex pairs: 199
Level 4:	Facts: 51 Actions: 198 Mutex pairs: 325
Level 5:	Facts: 63 Actions: 312 Mutex pairs: 473
Level 6:	Facts: 63 Actions: 406 Mutex pairs: 413
Initial layer complete at: 6
Expanding the graph until levels off ...
Level 7:	Facts: 63 Actions: 406 Mutex pairs: 413
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 31
Length of plan [12], Nodes generated [331], Nodes expanded [75], Nodes Avoided [7474].
Graph construction time elapsed: 609 millisecs
Heuristic search time elapsed:   329 millisecs
Total time elapsed: 939 millisecs
BLOCKS7-2
0 actions
343 actions
392 actions
441 actions built
Level 1:	Facts: 17 Actions: 15 Mutex pairs: 25
Level 2:	Facts: 29 Actions: 48 Mutex pairs: 116
Level 3:	Facts: 39 Actions: 117 Mutex pairs: 199
Level 4:	Facts: 51 Actions: 198 Mutex pairs: 325
Level 5:	Facts: 63 Actions: 312 Mutex pairs: 473
Level 6:	Facts: 63 Actions: 406 Mutex pairs: 413
Initial layer complete at: 6
Expanding the graph until levels off ...
Level 7:	Facts: 63 Actions: 406 Mutex pairs: 413
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 25
Length of plan [10], Nodes generated [248], Nodes expanded [43], Nodes Avoided [4173].
Graph construction time elapsed: 586 millisecs
Heuristic search time elapsed:   191 millisecs
Total time elapsed: 777 millisecs
BLOCKS8-0
0 actions
512 actions
576 actions
640 actions built
Level 1:	Facts: 32 Actions: 30 Mutex pairs: 134
Level 2:	Facts: 54 Actions: 148 Mutex pairs: 373
Level 3:	Facts: 80 Actions: 364 Mutex pairs: 758
Level 4:	Facts: 80 Actions: 592 Mutex pairs: 604
Initial layer complete at: 4
Expanding the graph until levels off ...
Level 5:	Facts: 80 Actions: 592 Mutex pairs: 604
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 21
Length of plan [9], Nodes generated [93], Nodes expanded [13], Nodes Avoided [1829].
Graph construction time elapsed: 1040 millisecs
Heuristic search time elapsed:   92 millisecs
Total time elapsed: 1132 millisecs
BLOCKS8-1
0 actions
512 actions
576 actions
640 actions built
Level 1:	Facts: 32 Actions: 30 Mutex pairs: 134
Level 2:	Facts: 52 Actions: 147 Mutex pairs: 355
Level 3:	Facts: 66 Actions: 314 Mutex pairs: 494
Level 4:	Facts: 80 Actions: 468 Mutex pairs: 688
Level 5:	Facts: 80 Actions: 592 Mutex pairs: 604
Initial layer complete at: 5
Expanding the graph until levels off ...
Level 6:	Facts: 80 Actions: 592 Mutex pairs: 604
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 17
Length of plan [11], Nodes generated [185], Nodes expanded [21], Nodes Avoided [2784].
Graph construction time elapsed: 1230 millisecs
Heuristic search time elapsed:   147 millisecs
Total time elapsed: 1378 millisecs
BLOCKS8-2
0 actions
512 actions
576 actions
640 actions built
Level 1:	Facts: 40 Actions: 39 Mutex pairs: 235
Level 2:	Facts: 52 Actions: 199 Mutex pairs: 325
Level 3:	Facts: 66 Actions: 314 Mutex pairs: 494
Level 4:	Facts: 80 Actions: 468 Mutex pairs: 688
Level 5:	Facts: 80 Actions: 592 Mutex pairs: 604
Initial layer complete at: 5
Expanding the graph until levels off ...
Level 6:	Facts: 80 Actions: 592 Mutex pairs: 604
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 24
Length of plan [8], Nodes generated [95], Nodes expanded [10], Nodes Avoided [1330].
Graph construction time elapsed: 1218 millisecs
Heuristic search time elapsed:   71 millisecs
Total time elapsed: 1290 millisecs
BLOCKS9-0
0 actions
729 actions
810 actions
891 actions built
Level 1:	Facts: 17 Actions: 16 Mutex pairs: 19
Level 2:	Facts: 23 Actions: 35 Mutex pairs: 52
Level 3:	Facts: 31 Actions: 66 Mutex pairs: 110
Level 4:	Facts: 41 Actions: 119 Mutex pairs: 199
Level 5:	Facts: 53 Actions: 200 Mutex pairs: 325
Level 6:	Facts: 67 Actions: 315 Mutex pairs: 494
Level 7:	Facts: 83 Actions: 470 Mutex pairs: 712
Level 8:	Facts: 99 Actions: 670 Mutex pairs: 958
Level 9:	Facts: 99 Actions: 828 Mutex pairs: 846
Initial layer complete at: 9
Expanding the graph until levels off ...
Level 10:	Facts: 99 Actions: 828 Mutex pairs: 846
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 58
Length of plan [27], Nodes generated [7042], Nodes expanded [1427], Nodes Avoided [293359].
Graph construction time elapsed: 2536 millisecs
Heuristic search time elapsed:   15959 millisecs
Total time elapsed: 18495 millisecs
BLOCKS9-1
0 actions
729 actions
810 actions
891 actions built
Level 1:	Facts: 13 Actions: 12 Mutex pairs: 5
Level 2:	Facts: 17 Actions: 20 Mutex pairs: 19
Level 3:	Facts: 23 Actions: 35 Mutex pairs: 52
Level 4:	Facts: 31 Actions: 66 Mutex pairs: 110
Level 5:	Facts: 41 Actions: 119 Mutex pairs: 199
Level 6:	Facts: 53 Actions: 200 Mutex pairs: 325
Level 7:	Facts: 67 Actions: 315 Mutex pairs: 494
Level 8:	Facts: 83 Actions: 470 Mutex pairs: 712
Level 9:	Facts: 99 Actions: 670 Mutex pairs: 958
Level 10:	Facts: 99 Actions: 828 Mutex pairs: 846
Initial layer complete at: 10
Expanding the graph until levels off ...
Level 11:	Facts: 99 Actions: 828 Mutex pairs: 846
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 81
Length of plan [20], Nodes generated [172], Nodes expanded [35], Nodes Avoided [6823].
Graph construction time elapsed: 2529 millisecs
Heuristic search time elapsed:   342 millisecs
Total time elapsed: 2872 millisecs
BLOCKS9-2
0 actions
729 actions
810 actions
891 actions built
Level 1:	Facts: 17 Actions: 16 Mutex pairs: 19
Level 2:	Facts: 23 Actions: 35 Mutex pairs: 52
Level 3:	Facts: 31 Actions: 66 Mutex pairs: 110
Level 4:	Facts: 41 Actions: 119 Mutex pairs: 199
Level 5:	Facts: 53 Actions: 200 Mutex pairs: 325
Level 6:	Facts: 67 Actions: 315 Mutex pairs: 494
Level 7:	Facts: 83 Actions: 470 Mutex pairs: 712
Level 8:	Facts: 99 Actions: 670 Mutex pairs: 958
Level 9:	Facts: 99 Actions: 828 Mutex pairs: 846
Initial layer complete at: 9
Expanding the graph until levels off ...
Level 10:	Facts: 99 Actions: 828 Mutex pairs: 846
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 72
Length of plan [18], Nodes generated [1023], Nodes expanded [230], Nodes Avoided [46029].
Graph construction time elapsed: 2528 millisecs
Heuristic search time elapsed:   2264 millisecs
Total time elapsed: 4793 millisecs
BLOCKS10-0
0 actions
1000 actions
1100 actions
1200 actions built
Level 1:	Facts: 18 Actions: 17 Mutex pairs: 19
Level 2:	Facts: 24 Actions: 36 Mutex pairs: 52
Level 3:	Facts: 32 Actions: 67 Mutex pairs: 110
Level 4:	Facts: 42 Actions: 120 Mutex pairs: 199
Level 5:	Facts: 54 Actions: 201 Mutex pairs: 325
Level 6:	Facts: 68 Actions: 316 Mutex pairs: 494
Level 7:	Facts: 84 Actions: 471 Mutex pairs: 712
Level 8:	Facts: 102 Actions: 672 Mutex pairs: 985
Level 9:	Facts: 120 Actions: 924 Mutex pairs: 1289
Level 10:	Facts: 120 Actions: 1120 Mutex pairs: 1145
Initial layer complete at: 10
Expanding the graph until levels off ...
Level 11:	Facts: 120 Actions: 1120 Mutex pairs: 1145
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 76

NO SOLUTION
Total time elapsed: 90500 millisecs
BLOCKS10-1
0 actions
1000 actions
1100 actions
1200 actions built
Level 1:	Facts: 20 Actions: 18 Mutex pairs: 25
Level 2:	Facts: 34 Actions: 52 Mutex pairs: 128
Level 3:	Facts: 54 Actions: 149 Mutex pairs: 355
Level 4:	Facts: 68 Actions: 316 Mutex pairs: 494
Level 5:	Facts: 84 Actions: 471 Mutex pairs: 712
Level 6:	Facts: 102 Actions: 672 Mutex pairs: 985
Level 7:	Facts: 120 Actions: 924 Mutex pairs: 1289
Level 8:	Facts: 120 Actions: 1120 Mutex pairs: 1145
Initial layer complete at: 8
Expanding the graph until levels off ...
Level 9:	Facts: 120 Actions: 1120 Mutex pairs: 1145
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 61
Length of plan [27], Nodes generated [3260], Nodes expanded [552], Nodes Avoided [152788].
Graph construction time elapsed: 4671 millisecs
Heuristic search time elapsed:   9009 millisecs
Total time elapsed: 13681 millisecs
BLOCKS10-2
0 actions
1000 actions
1100 actions
1200 actions built
Level 1:	Facts: 18 Actions: 17 Mutex pairs: 19
Level 2:	Facts: 24 Actions: 36 Mutex pairs: 52
Level 3:	Facts: 32 Actions: 67 Mutex pairs: 110
Level 4:	Facts: 42 Actions: 120 Mutex pairs: 199
Level 5:	Facts: 54 Actions: 201 Mutex pairs: 325
Level 6:	Facts: 68 Actions: 316 Mutex pairs: 494
Level 7:	Facts: 84 Actions: 471 Mutex pairs: 712
Level 8:	Facts: 102 Actions: 672 Mutex pairs: 985
Level 9:	Facts: 120 Actions: 924 Mutex pairs: 1289
Level 10:	Facts: 120 Actions: 1120 Mutex pairs: 1145
Initial layer complete at: 10
Expanding the graph until levels off ...
Level 11:	Facts: 120 Actions: 1120 Mutex pairs: 1145
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 80

NO SOLUTION
Total time elapsed: 98797 millisecs
BLOCKS11-0
0 actions
1331 actions
1452 actions
1573 actions built
Level 1:	Facts: 29 Actions: 26 Mutex pairs: 72
Level 2:	Facts: 55 Actions: 114 Mutex pairs: 375
Level 3:	Facts: 69 Actions: 317 Mutex pairs: 494
Level 4:	Facts: 85 Actions: 472 Mutex pairs: 712
Level 5:	Facts: 103 Actions: 673 Mutex pairs: 985
Level 6:	Facts: 123 Actions: 926 Mutex pairs: 1319
Level 7:	Facts: 143 Actions: 1236 Mutex pairs: 1687
Level 8:	Facts: 143 Actions: 1474 Mutex pairs: 1507
Initial layer complete at: 8
Expanding the graph until levels off ...
Level 9:	Facts: 143 Actions: 1474 Mutex pairs: 1507
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 52

NO SOLUTION
Total time elapsed: 98275 millisecs
BLOCKS11-1
0 actions
1331 actions
1452 actions
1573 actions built
Level 1:	Facts: 39 Actions: 35 Mutex pairs: 158
Level 2:	Facts: 89 Actions: 222 Mutex pairs: 928
Level 3:	Facts: 143 Actions: 838 Mutex pairs: 1987
Level 4:	Facts: 143 Actions: 1474 Mutex pairs: 1507
Initial layer complete at: 4
Expanding the graph until levels off ...
Level 5:	Facts: 143 Actions: 1474 Mutex pairs: 1507
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 32
Length of plan [16], Nodes generated [360], Nodes expanded [25], Nodes Avoided [8688].
Graph construction time elapsed: 6199 millisecs
Heuristic search time elapsed:   578 millisecs
Total time elapsed: 6778 millisecs
BLOCKS11-2
0 actions
1331 actions
1452 actions
1573 actions built
Level 1:	Facts: 21 Actions: 19 Mutex pairs: 25
Level 2:	Facts: 35 Actions: 53 Mutex pairs: 128
Level 3:	Facts: 55 Actions: 150 Mutex pairs: 355
Level 4:	Facts: 69 Actions: 317 Mutex pairs: 494
Level 5:	Facts: 85 Actions: 472 Mutex pairs: 712
Level 6:	Facts: 103 Actions: 673 Mutex pairs: 985
Level 7:	Facts: 123 Actions: 926 Mutex pairs: 1319
Level 8:	Facts: 143 Actions: 1236 Mutex pairs: 1687
Level 9:	Facts: 143 Actions: 1474 Mutex pairs: 1507
Initial layer complete at: 9
Expanding the graph until levels off ...
Level 10:	Facts: 143 Actions: 1474 Mutex pairs: 1507
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 67

NO SOLUTION
Total time elapsed: 97902 millisecs
BLOCKS12-0
0 actions
1728 actions
1872 actions
2016 actions built
Level 1:	Facts: 28 Actions: 26 Mutex pairs: 63
Level 2:	Facts: 44 Actions: 90 Mutex pairs: 215
Level 3:	Facts: 56 Actions: 203 Mutex pairs: 325
Level 4:	Facts: 70 Actions: 318 Mutex pairs: 494
Level 5:	Facts: 86 Actions: 473 Mutex pairs: 712
Level 6:	Facts: 104 Actions: 674 Mutex pairs: 985
Level 7:	Facts: 124 Actions: 927 Mutex pairs: 1319
Level 8:	Facts: 146 Actions: 1238 Mutex pairs: 1720
Level 9:	Facts: 168 Actions: 1612 Mutex pairs: 2158
Level 10:	Facts: 168 Actions: 1896 Mutex pairs: 1938
Initial layer complete at: 10
Expanding the graph until levels off ...
Level 11:	Facts: 168 Actions: 1896 Mutex pairs: 1938
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 70

NO SOLUTION
Total time elapsed: 95327 millisecs
BLOCKS12-1
0 actions
1728 actions
1872 actions
2016 actions built
Level 1:	Facts: 22 Actions: 20 Mutex pairs: 25
Level 2:	Facts: 34 Actions: 53 Mutex pairs: 116
Level 3:	Facts: 44 Actions: 122 Mutex pairs: 199
Level 4:	Facts: 56 Actions: 203 Mutex pairs: 325
Level 5:	Facts: 70 Actions: 318 Mutex pairs: 494
Level 6:	Facts: 86 Actions: 473 Mutex pairs: 712
Level 7:	Facts: 104 Actions: 674 Mutex pairs: 985
Level 8:	Facts: 124 Actions: 927 Mutex pairs: 1319
Level 9:	Facts: 146 Actions: 1238 Mutex pairs: 1720
Level 10:	Facts: 168 Actions: 1612 Mutex pairs: 2158
Level 11:	Facts: 168 Actions: 1896 Mutex pairs: 1938
Initial layer complete at: 11
Expanding the graph until levels off ...
Level 12:	Facts: 168 Actions: 1896 Mutex pairs: 1938
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 104
Length of plan [23], Nodes generated [2731], Nodes expanded [624], Nodes Avoided [257108].
Graph construction time elapsed: 14733 millisecs
Heuristic search time elapsed:   16298 millisecs
Total time elapsed: 31030 millisecs
BLOCKS13-0
0 actions
2197 actions
2366 actions
2535 actions built
Level 1:	Facts: 29 Actions: 27 Mutex pairs: 63
Level 2:	Facts: 45 Actions: 91 Mutex pairs: 215
Level 3:	Facts: 57 Actions: 204 Mutex pairs: 325
Level 4:	Facts: 71 Actions: 319 Mutex pairs: 494
Level 5:	Facts: 87 Actions: 474 Mutex pairs: 712
Level 6:	Facts: 105 Actions: 675 Mutex pairs: 985
Level 7:	Facts: 125 Actions: 928 Mutex pairs: 1319
Level 8:	Facts: 147 Actions: 1239 Mutex pairs: 1720
Level 9:	Facts: 171 Actions: 1614 Mutex pairs: 2194
Level 10:	Facts: 195 Actions: 2058 Mutex pairs: 2708
Level 11:	Facts: 195 Actions: 2392 Mutex pairs: 2444
Initial layer complete at: 11
Expanding the graph until levels off ...
Level 12:	Facts: 195 Actions: 2392 Mutex pairs: 2444
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 105

NO SOLUTION
Total time elapsed: 96577 millisecs
BLOCKS13-1
0 actions
2197 actions
2366 actions
2535 actions built
Level 1:	Facts: 23 Actions: 21 Mutex pairs: 25
Level 2:	Facts: 35 Actions: 54 Mutex pairs: 116
Level 3:	Facts: 45 Actions: 123 Mutex pairs: 199
Level 4:	Facts: 57 Actions: 204 Mutex pairs: 325
Level 5:	Facts: 71 Actions: 319 Mutex pairs: 494
Level 6:	Facts: 87 Actions: 474 Mutex pairs: 712
Level 7:	Facts: 105 Actions: 675 Mutex pairs: 985
Level 8:	Facts: 125 Actions: 928 Mutex pairs: 1319
Level 9:	Facts: 147 Actions: 1239 Mutex pairs: 1720
Level 10:	Facts: 171 Actions: 1614 Mutex pairs: 2194
Level 11:	Facts: 195 Actions: 2058 Mutex pairs: 2708
Level 12:	Facts: 195 Actions: 2392 Mutex pairs: 2444
Initial layer complete at: 12
Expanding the graph until levels off ...
Level 13:	Facts: 195 Actions: 2392 Mutex pairs: 2444
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 134

NO SOLUTION
Total time elapsed: 95818 millisecs
BLOCKS14-0
0 actions
2744 actions
2940 actions
3136 actions built
Level 1:	Facts: 30 Actions: 28 Mutex pairs: 63
Level 2:	Facts: 48 Actions: 93 Mutex pairs: 230
Level 3:	Facts: 74 Actions: 245 Mutex pairs: 563
Level 4:	Facts: 106 Actions: 540 Mutex pairs: 1081
Level 5:	Facts: 126 Actions: 929 Mutex pairs: 1319
Level 6:	Facts: 148 Actions: 1240 Mutex pairs: 1720
Level 7:	Facts: 172 Actions: 1615 Mutex pairs: 2194
Level 8:	Facts: 198 Actions: 2060 Mutex pairs: 2747
Level 9:	Facts: 224 Actions: 2580 Mutex pairs: 3343
Initial layer complete at: 9
Expanding the graph until levels off ...
Level 10:	Facts: 224 Actions: 2968 Mutex pairs: 3031
Level 11:	Facts: 224 Actions: 2968 Mutex pairs: 3031
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 88
Length of plan [21], Nodes generated [473], Nodes expanded [53], Nodes Avoided [33247].
Graph construction time elapsed: 38715 millisecs
Heuristic search time elapsed:   2479 millisecs
Total time elapsed: 41194 millisecs
BLOCKS14-1
0 actions
2744 actions
2940 actions
3136 actions built
Level 1:	Facts: 52 Actions: 48 Mutex pairs: 280
Level 2:	Facts: 108 Actions: 335 Mutex pairs: 1252
Level 3:	Facts: 150 Actions: 1029 Mutex pairs: 1913
Level 4:	Facts: 198 Actions: 1756 Mutex pairs: 2987
Level 5:	Facts: 224 Actions: 2580 Mutex pairs: 3343
Level 6:	Facts: 224 Actions: 2968 Mutex pairs: 3031
Initial layer complete at: 6
Expanding the graph until levels off ...
Level 7:	Facts: 224 Actions: 2968 Mutex pairs: 3031
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 54
Length of plan [23], Nodes generated [1034], Nodes expanded [42], Nodes Avoided [30436].
Graph construction time elapsed: 33567 millisecs
Heuristic search time elapsed:   2544 millisecs
Total time elapsed: 36110 millisecs
BLOCKS15-0
0 actions
3375 actions
3600 actions
3825 actions built
Level 1:	Facts: 55 Actions: 50 Mutex pairs: 295
Level 2:	Facts: 129 Actions: 387 Mutex pairs: 1745
Level 3:	Facts: 173 Actions: 1360 Mutex pairs: 2392
Level 4:	Facts: 199 Actions: 2061 Mutex pairs: 2747
Level 5:	Facts: 227 Actions: 2582 Mutex pairs: 3385
Level 6:	Facts: 255 Actions: 3184 Mutex pairs: 4069
Initial layer complete at: 6
Expanding the graph until levels off ...
Level 7:	Facts: 255 Actions: 3630 Mutex pairs: 3705
Level 8:	Facts: 255 Actions: 3630 Mutex pairs: 3705
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 49

NO SOLUTION
Total time elapsed: 108781 millisecs
BLOCKS15-1
0 actions
3375 actions
3600 actions
3825 actions built
Level 1:	Facts: 25 Actions: 23 Mutex pairs: 25
Level 2:	Facts: 37 Actions: 56 Mutex pairs: 116
Level 3:	Facts: 47 Actions: 125 Mutex pairs: 199
Level 4:	Facts: 59 Actions: 206 Mutex pairs: 325
Level 5:	Facts: 73 Actions: 321 Mutex pairs: 494
Level 6:	Facts: 89 Actions: 476 Mutex pairs: 712
Level 7:	Facts: 107 Actions: 677 Mutex pairs: 985
Level 8:	Facts: 127 Actions: 930 Mutex pairs: 1319
Level 9:	Facts: 149 Actions: 1241 Mutex pairs: 1720
Level 10:	Facts: 173 Actions: 1616 Mutex pairs: 2194
Level 11:	Facts: 199 Actions: 2061 Mutex pairs: 2747
Level 12:	Facts: 227 Actions: 2582 Mutex pairs: 3385
Level 13:	Facts: 255 Actions: 3184 Mutex pairs: 4069
Level 14:	Facts: 255 Actions: 3630 Mutex pairs: 3705
Initial layer complete at: 14
Expanding the graph until levels off ...
Level 15:	Facts: 255 Actions: 3630 Mutex pairs: 3705
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 165

NO SOLUTION
Total time elapsed: 102956 millisecs
BLOCKS16-1
0 actions
4096 actions
4352 actions
4608 actions built
Level 1:	Facts: 34 Actions: 31 Mutex pairs: 72
Level 2:	Facts: 60 Actions: 119 Mutex pairs: 375
Level 3:	Facts: 74 Actions: 322 Mutex pairs: 494
Level 4:	Facts: 90 Actions: 477 Mutex pairs: 712
Level 5:	Facts: 108 Actions: 678 Mutex pairs: 985
Level 6:	Facts: 128 Actions: 931 Mutex pairs: 1319
Level 7:	Facts: 150 Actions: 1242 Mutex pairs: 1720
Level 8:	Facts: 174 Actions: 1617 Mutex pairs: 2194
Level 9:	Facts: 200 Actions: 2062 Mutex pairs: 2747
Level 10:	Facts: 228 Actions: 2583 Mutex pairs: 3385
Level 11:	Facts: 258 Actions: 3186 Mutex pairs: 4114
Level 12:	Facts: 288 Actions: 3876 Mutex pairs: 4892
Level 13:	Facts: 288 Actions: 4384 Mutex pairs: 4472
Initial layer complete at: 13
Expanding the graph until levels off ...
Level 14:	Facts: 288 Actions: 4384 Mutex pairs: 4472
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 156

NO SOLUTION
Total time elapsed: 122054 millisecs
BLOCKS16-2
0 actions
4096 actions
4352 actions
4608 actions built
Level 1:	Facts: 26 Actions: 24 Mutex pairs: 25
Level 2:	Facts: 38 Actions: 57 Mutex pairs: 116
Level 3:	Facts: 48 Actions: 126 Mutex pairs: 199
Level 4:	Facts: 60 Actions: 207 Mutex pairs: 325
Level 5:	Facts: 74 Actions: 322 Mutex pairs: 494
Level 6:	Facts: 90 Actions: 477 Mutex pairs: 712
Level 7:	Facts: 108 Actions: 678 Mutex pairs: 985
Level 8:	Facts: 128 Actions: 931 Mutex pairs: 1319
Level 9:	Facts: 150 Actions: 1242 Mutex pairs: 1720
Level 10:	Facts: 174 Actions: 1617 Mutex pairs: 2194
Level 11:	Facts: 200 Actions: 2062 Mutex pairs: 2747
Level 12:	Facts: 228 Actions: 2583 Mutex pairs: 3385
Level 13:	Facts: 258 Actions: 3186 Mutex pairs: 4114
Level 14:	Facts: 288 Actions: 3876 Mutex pairs: 4892
Level 15:	Facts: 288 Actions: 4384 Mutex pairs: 4472
Initial layer complete at: 15
Expanding the graph until levels off ...
Level 16:	Facts: 288 Actions: 4384 Mutex pairs: 4472
Graph built until levels off...
Initialize HSP search...

Heuristic guessing ... 160

NO SOLUTION
Total time elapsed: 122142 millisecs
BLOCKS17-0
BLOCKS17-1
BLOCKS18-0
BLOCKS18-1
BLOCKS19-0
BLOCKS19-1
BLOCKS20-0
BLOCKS20-1
BLOCKS21-0
BLOCKS21-1
BLOCKS22-0
BLOCKS22-1
BLOCKS23-0
BLOCKS23-1
BLOCKS24-0
BLOCKS24-1
BLOCKS25-0
BLOCKS25-1
BLOCKS26-0
BLOCKS26-1
BLOCKS27-0
BLOCKS27-1
BLOCKS28-0
BLOCKS28-1
BLOCKS29-0
BLOCKS29-1
BLOCKS30-0
BLOCKS30-1
BLOCKS31-0
BLOCKS31-1
BLOCKS32-0
BLOCKS32-1
BLOCKS33-0
BLOCKS33-1
BLOCKS34-0
BLOCKS34-1
BLOCKS35-0
BLOCKS35-1
BLOCKS36-0
BLOCKS36-1
0 actions
46656 actions
47952 actions
49248 actions built
Level 1:	Facts: 46 Actions: 44 Mutex pairs: 25
Level 2:	Facts: 60 Actions: 78 Mutex pairs: 128
Level 3:	Facts: 80 Actions: 175 Mutex pairs: 355
Level 4:	Facts: 94 Actions: 342 Mutex pairs: 494
Level 5:	Facts: 110 Actions: 497 Mutex pairs: 712
Level 6:	Facts: 128 Actions: 698 Mutex pairs: 985
Level 7:	Facts: 148 Actions: 951 Mutex pairs: 1319
Level 8:	Facts: 170 Actions: 1262 Mutex pairs: 1720
Level 9:	Facts: 194 Actions: 1637 Mutex pairs: 2194
Level 10:	Facts: 220 Actions: 2082 Mutex pairs: 2747
Level 11:	Facts: 248 Actions: 2603 Mutex pairs: 3385
Level 12:	Facts: 278 Actions: 3206 Mutex pairs: 4114
Level 13:	Facts: 310 Actions: 3897 Mutex pairs: 4940

NO SOLUTION
Total time elapsed: 135237 millisecs
BLOCKS37-0
0 actions
50653 actions
52022 actions
53391 actions built
Level 1:	Facts: 47 Actions: 45 Mutex pairs: 25
Level 2:	Facts: 59 Actions: 78 Mutex pairs: 116
Level 3:	Facts: 69 Actions: 147 Mutex pairs: 199
Level 4:	Facts: 81 Actions: 228 Mutex pairs: 325
Level 5:	Facts: 95 Actions: 343 Mutex pairs: 494
Level 6:	Facts: 111 Actions: 498 Mutex pairs: 712
Level 7:	Facts: 129 Actions: 699 Mutex pairs: 985
Level 8:	Facts: 149 Actions: 952 Mutex pairs: 1319
Level 9:	Facts: 171 Actions: 1263 Mutex pairs: 1720
Level 10:	Facts: 195 Actions: 1638 Mutex pairs: 2194
Level 11:	Facts: 221 Actions: 2083 Mutex pairs: 2747
Level 12:	Facts: 249 Actions: 2604 Mutex pairs: 3385
Level 13:	Facts: 279 Actions: 3207 Mutex pairs: 4114
Level 14:	Facts: 311 Actions: 3898 Mutex pairs: 4940

NO SOLUTION
Total time elapsed: 143135 millisecs
BLOCKS37-1
BLOCKS38-0
0 actions
54872 actions
56316 actions
57760 actions built
Level 1:	Facts: 86 Actions: 83 Mutex pairs: 441
Level 2:	Facts: 132 Actions: 451 Mutex pairs: 1188
Level 3:	Facts: 172 Actions: 1052 Mutex pairs: 1880
Level 4:	Facts: 196 Actions: 1639 Mutex pairs: 2194
Level 5:	Facts: 222 Actions: 2084 Mutex pairs: 2747
Level 6:	Facts: 250 Actions: 2605 Mutex pairs: 3385
Level 7:	Facts: 280 Actions: 3208 Mutex pairs: 4114
Level 8:	Facts: 312 Actions: 3899 Mutex pairs: 4940

NO SOLUTION
Total time elapsed: 137818 millisecs
BLOCKS38-1
BLOCKS39-0
BLOCKS39-1
BLOCKS40-0
BLOCKS40-1
0 actions
64000 actions
65600 actions
67200 actions built
Level 1:	Facts: 48 Actions: 47 Mutex pairs: 19
Level 2:	Facts: 54 Actions: 66 Mutex pairs: 52
Level 3:	Facts: 62 Actions: 97 Mutex pairs: 110
Level 4:	Facts: 72 Actions: 150 Mutex pairs: 199
Level 5:	Facts: 84 Actions: 231 Mutex pairs: 325
Level 6:	Facts: 98 Actions: 346 Mutex pairs: 494
Level 7:	Facts: 114 Actions: 501 Mutex pairs: 712
Level 8:	Facts: 132 Actions: 702 Mutex pairs: 985
Level 9:	Facts: 152 Actions: 955 Mutex pairs: 1319
Level 10:	Facts: 174 Actions: 1266 Mutex pairs: 1720
Level 11:	Facts: 198 Actions: 1641 Mutex pairs: 2194
Level 12:	Facts: 224 Actions: 2086 Mutex pairs: 2747
Level 13:	Facts: 252 Actions: 2607 Mutex pairs: 3385
Level 14:	Facts: 282 Actions: 3210 Mutex pairs: 4114
Level 15:	Facts: 314 Actions: 3901 Mutex pairs: 4940

NO SOLUTION
Total time elapsed: 230921 millisecs
BLOCKS41-0
BLOCKS41-1
BLOCKS42-0
BLOCKS42-1
0 actions
74088 actions
75852 actions
77616 actions built
Level 1:	Facts: 46 Actions: 45 Mutex pairs: 5
Level 2:	Facts: 50 Actions: 53 Mutex pairs: 19
Level 3:	Facts: 56 Actions: 68 Mutex pairs: 52
Level 4:	Facts: 64 Actions: 99 Mutex pairs: 110
Level 5:	Facts: 74 Actions: 152 Mutex pairs: 199
Level 6:	Facts: 86 Actions: 233 Mutex pairs: 325
Level 7:	Facts: 100 Actions: 348 Mutex pairs: 494
Level 8:	Facts: 116 Actions: 503 Mutex pairs: 712
Level 9:	Facts: 134 Actions: 704 Mutex pairs: 985
Level 10:	Facts: 154 Actions: 957 Mutex pairs: 1319
Level 11:	Facts: 176 Actions: 1268 Mutex pairs: 1720
Level 12:	Facts: 200 Actions: 1643 Mutex pairs: 2194
Level 13:	Facts: 226 Actions: 2088 Mutex pairs: 2747
Level 14:	Facts: 254 Actions: 2609 Mutex pairs: 3385
Level 15:	Facts: 284 Actions: 3212 Mutex pairs: 4114

NO SOLUTION
Total time elapsed: 204356 millisecs
BLOCKS43-0
0 actions
79507 actions
81356 actions
83205 actions built
Level 1:	Facts: 81 Actions: 77 Mutex pairs: 280
Level 2:	Facts: 141 Actions: 366 Mutex pairs: 1306
Level 3:	Facts: 231 Actions: 1269 Mutex pairs: 3473
Level 4:	Facts: 321 Actions: 2998 Mutex pairs: 5786

NO SOLUTION
Total time elapsed: 119942 millisecs
BLOCKS43-1
0 actions
79507 actions
81356 actions
83205 actions built
Level 1:	Facts: 53 Actions: 51 Mutex pairs: 25
Level 2:	Facts: 67 Actions: 85 Mutex pairs: 128
Level 3:	Facts: 87 Actions: 182 Mutex pairs: 355
Level 4:	Facts: 101 Actions: 349 Mutex pairs: 494
Level 5:	Facts: 117 Actions: 504 Mutex pairs: 712
Level 6:	Facts: 135 Actions: 705 Mutex pairs: 985
Level 7:	Facts: 155 Actions: 958 Mutex pairs: 1319
Level 8:	Facts: 177 Actions: 1269 Mutex pairs: 1720
Level 9:	Facts: 201 Actions: 1644 Mutex pairs: 2194
Level 10:	Facts: 227 Actions: 2089 Mutex pairs: 2747
Level 11:	Facts: 255 Actions: 2610 Mutex pairs: 3385
Level 12:	Facts: 285 Actions: 3213 Mutex pairs: 4114

NO SOLUTION
Total time elapsed: 199336 millisecs
BLOCKS44-0
0 actions
85184 actions
87120 actions
89056 actions built
Level 1:	Facts: 92 Actions: 89 Mutex pairs: 441
Level 2:	Facts: 140 Actions: 458 Mutex pairs: 1215
Level 3:	Facts: 204 Actions: 1162 Mutex pairs: 2604
Level 4:	Facts: 258 Actions: 2256 Mutex pairs: 3713
Level 5:	Facts: 320 Actions: 3434 Mutex pairs: 5378

NO SOLUTION
Total time elapsed: 212670 millisecs
BLOCKS44-1
BLOCKS45-0
0 actions
91125 actions
93150 actions
95175 actions built
Level 1:	Facts: 55 Actions: 53 Mutex pairs: 25
Level 2:	Facts: 69 Actions: 87 Mutex pairs: 128
Level 3:	Facts: 91 Actions: 185 Mutex pairs: 373
Level 4:	Facts: 121 Actions: 403 Mutex pairs: 806
Level 5:	Facts: 159 Actions: 789 Mutex pairs: 1475
Level 6:	Facts: 205 Actions: 1391 Mutex pairs: 2428
Level 7:	Facts: 259 Actions: 2257 Mutex pairs: 3713
Level 8:	Facts: 321 Actions: 3435 Mutex pairs: 5378

NO SOLUTION
Total time elapsed: 283471 millisecs
BLOCKS45-1
0 actions
91125 actions
93150 actions
95175 actions built
Level 1:	Facts: 95 Actions: 91 Mutex pairs: 459
Level 2:	Facts: 161 Actions: 518 Mutex pairs: 1703
Level 3:	Facts: 231 Actions: 1514 Mutex pairs: 3242
Level 4:	Facts: 289 Actions: 2804 Mutex pairs: 4495

NO SOLUTION
Total time elapsed: 169403 millisecs
BLOCKS46-0
BLOCKS46-1
0 actions
97336 actions
99452 actions
101568 actions built
Level 1:	Facts: 56 Actions: 54 Mutex pairs: 25
Level 2:	Facts: 70 Actions: 88 Mutex pairs: 128
Level 3:	Facts: 92 Actions: 186 Mutex pairs: 373
Level 4:	Facts: 120 Actions: 403 Mutex pairs: 782
Level 5:	Facts: 138 Actions: 708 Mutex pairs: 985
Level 6:	Facts: 158 Actions: 961 Mutex pairs: 1319
Level 7:	Facts: 180 Actions: 1272 Mutex pairs: 1720
Level 8:	Facts: 204 Actions: 1647 Mutex pairs: 2194
Level 9:	Facts: 230 Actions: 2092 Mutex pairs: 2747
Level 10:	Facts: 258 Actions: 2613 Mutex pairs: 3385

NO SOLUTION
Total time elapsed: 325090 millisecs
BLOCKS47-0
0 actions
103823 actions
106032 actions
108241 actions built
Level 1:	Facts: 73 Actions: 70 Mutex pairs: 146
Level 2:	Facts: 107 Actions: 220 Mutex pairs: 599
Level 3:	Facts: 141 Actions: 574 Mutex pairs: 1108
Level 4:	Facts: 183 Actions: 1062 Mutex pairs: 1913
Level 5:	Facts: 233 Actions: 1790 Mutex pairs: 3026
Level 6:	Facts: 291 Actions: 2806 Mutex pairs: 4495

NO SOLUTION
Total time elapsed: 347519 millisecs
BLOCKS47-1
0 actions
103823 actions
106032 actions
108241 actions built
Level 1:	Facts: 131 Actions: 125 Mutex pairs: 1084
Level 2:	Facts: 269 Actions: 1159 Mutex pairs: 4765

NO SOLUTION
Total time elapsed: 132607 millisecs
BLOCKS48-0
0 actions
110592 actions
112896 actions
115200 actions built
Level 1:	Facts: 76 Actions: 72 Mutex pairs: 158
Level 2:	Facts: 128 Actions: 260 Mutex pairs: 952
Level 3:	Facts: 208 Actions: 966 Mutex pairs: 2758
Level 4:	Facts: 262 Actions: 2260 Mutex pairs: 3713

NO SOLUTION
Total time elapsed: 543999 millisecs
BLOCKS48-1
0 actions
110592 actions
112896 actions
115200 actions built
Level 1:	Facts: 74 Actions: 71 Mutex pairs: 146
Level 2:	Facts: 110 Actions: 222 Mutex pairs: 620
Level 3:	Facts: 164 Actions: 645 Mutex pairs: 1613
Level 4:	Facts: 236 Actions: 1518 Mutex pairs: 3281
Level 5:	Facts: 324 Actions: 3002 Mutex pairs: 5738

NO SOLUTION
Total time elapsed: 745845 millisecs
BLOCKS49-0
0 actions
117649 actions
120050 actions
122451 actions built
Level 1:	Facts: 77 Actions: 73 Mutex pairs: 158
Level 2:	Facts: 129 Actions: 261 Mutex pairs: 952
Level 3:	Facts: 211 Actions: 968 Mutex pairs: 2794
Level 4:	Facts: 295 Actions: 2431 Mutex pairs: 4848

NO SOLUTION
Total time elapsed: 908236 millisecs
BLOCKS49-1
0 actions
117649 actions
120050 actions
122451 actions built
Level 1:	Facts: 131 Actions: 126 Mutex pairs: 1060
Level 2:	Facts: 239 Actions: 1062 Mutex pairs: 3680

NO SOLUTION
Total time elapsed: 625428 millisecs
BLOCKS50-0
BLOCKS50-1
0 actions
125000 actions
127500 actions
130000 actions built
Level 1:	Facts: 86 Actions: 83 Mutex pairs: 265
Level 2:	Facts: 128 Actions: 325 Mutex pairs: 886
Level 3:	Facts: 188 Actions: 880 Mutex pairs: 2086
Level 4:	Facts: 266 Actions: 1939 Mutex pairs: 4015

NO SOLUTION
Total time elapsed: 976005 millisecs
