$ time ./dw-cube -t < 6xo3.txt > 6xo3-solution.txt
Initializing for phase 1...
    Initializing twists...
        Initialized = 2187
        Maxpath = 6
    Done!
    Initializing flips...
        Initialized = 2048
        Maxpath = 7
    Done!
    Initializing choices...
        Initialized = 495
        Maxpath = 5
    Done!
    Initializing mixed...
        Maxpath(t+f) = 9
        Maxpath(t+c) = 9
        Maxpath(f+c) = 9
    Done!
Initializing for phase 2...
    Initializing corner orders...
        Initialized = 40320
        Maxpath = 13
    Done!
    Initializing edge orders...
        Initialized = 40320
        Maxpath = 8
    Done!
    Initializing slice orders...
        Initialized = 24
        Maxpath = 4
    Done!
    Initializing mixed...
        Maxpath(c+s) = 14
        Maxpath(e+s) = 12
    Done!
Initialization done!
The cube is twisty, flippant and/or choosy; Phase 1 needs at least 6 moves
Twistiness = 0
Flippancy  = 1962
Choosiness = 440
max = 6; attempted: 0
max = 7; attempted: 0
max = 8; attempted: 0
max = 9; attempted: 0
max = 10; attempted: 288
max = 11; attempted: 6608
max = 12; attempted: 80192
max = 13; attempted: 876368
max = 14; attempted: 8728736
max = 15; attempted: 83263760

real    4m14.521s
user    4m14.450s
sys     0m0.008s