0 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=213120 survived=109159 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=213121 solutions=0 top-branch=0/5737
0 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=213120 survived=109159 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=213121 solutions=0 top-branch=0/5737
0 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=213120 survived=109159 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=213121 solutions=0 top-branch=0/5737
0 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=213120 survived=109159 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=213121 solutions=0 top-branch=0/5737
0 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=213120 survived=109159 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=213121 solutions=0 top-branch=0/5737
1 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=216960 survived=114659 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=216961 solutions=0 top-branch=0/6008
1 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=216960 survived=114659 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=216961 solutions=0 top-branch=0/6008
1 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=216960 survived=114659 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=216961 solutions=0 top-branch=0/6008
1 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=216960 survived=114659 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=216961 solutions=0 top-branch=0/6008
1 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=216960 survived=114659 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=216961 solutions=0 top-branch=0/6008
2 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=129318 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6250
2 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=129318 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6250
2 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=129318 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=3116 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/3134
2 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=129318 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6250
2 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=129318 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=3116 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/3134
3 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=130289 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6806
3 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=130289 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6806
3 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=130289 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6806
3 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=130289 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6806
3 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=130289 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6806
4 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=129070 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/7056
4 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=129070 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/7056
4 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=129070 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/7056
4 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=129070 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/7056
4 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=129070 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/7056
5 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
5 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
5 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
5 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
5 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
6 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=127390 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/7506
6 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=127390 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/7506
6 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=127390 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=3684 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/3822
6 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=127390 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/7506
6 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=127390 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=3684 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/3822
7 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=123942 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/7566
7 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=123942 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/7566
7 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=123942 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=2, options removed=3774 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/3792
7 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=123942 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/7566
7 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=123942 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=2, options removed=3774 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/3792
8 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=140606 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6847
8 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=140606 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6847
8 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=140606 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6847
8 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=140606 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6847
8 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=140606 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6847
9 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=137134 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6561
9 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=137134 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6561
9 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=137134 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6561
9 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=137134 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6561
9 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=137134 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6561
10 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
10 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
10 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
10 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
10 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
11 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
11 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
11 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
11 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
11 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
12 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=113850 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6930
12 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=113850 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6930
12 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=113850 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=2, options removed=3455 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/3475
12 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=113850 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6930
12 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=113850 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=2, options removed=3455 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/3475
13 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=133218 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/7384
13 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=133218 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6597
13 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=133218 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/7384
13 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=133218 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/7384
13 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=133218 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/7384
14 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=128313 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/7425
14 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=128313 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6936
14 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=128313 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=3702 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3723
14 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=128313 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/7425
14 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=128313 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=3702 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3723
15 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
15 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
15 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
15 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
15 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
16 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=124817 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6624
16 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=124817 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6503
16 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=124817 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6624
16 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=124817 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6624
16 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=124817 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6624
17 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
17 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
17 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
17 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
17 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
18 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=102512 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6216
18 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=102512 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6216
18 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=102512 nodes=1 dead=0 fresh=16 | root-stabiliser order=20, subgroup fixing the first branching facet=4, options removed=4601 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/1615
18 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=102512 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/6216
18 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=220800 survived=102512 nodes=1 dead=0 fresh=16 | root-stabiliser order=20, subgroup fixing the first branching facet=4, options removed=4601 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=220801 solutions=0 top-branch=0/1615
19 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=120222 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6740
19 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=120222 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6122
19 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=120222 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=4994 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1746
19 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=120222 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6740
19 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=120222 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=4994 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1746
20 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=116015 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6098
20 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=116015 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6098
20 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=116015 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6098
20 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=116015 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6098
20 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=116015 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6098
21 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
21 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
21 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
21 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
21 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
22 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
22 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
22 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
22 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
22 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
23 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110414 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6414
23 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110414 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5240
23 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110414 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=4749 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1665
23 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110414 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6414
23 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110414 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=4749 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1665
24 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110706 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5767
24 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110706 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5463
24 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110706 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5767
24 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110706 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5767
24 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110706 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5767
25 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=114268 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6358
25 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=114268 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6050
25 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=114268 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=4710 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1648
25 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=114268 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6358
25 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=114268 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=4710 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1648
26 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110272 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5495
26 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110272 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5495
26 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110272 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=2739 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2756
26 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110272 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5495
26 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110272 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=2739 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2756
27 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
27 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
27 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
27 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
27 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
28 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
28 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
28 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
28 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
28 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
29 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=97518 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4856
29 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=97518 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4393
29 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=97518 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4856
29 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=97518 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4856
29 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=97518 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4856
30 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=99987 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5758
30 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=99987 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5330
30 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=99987 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=4264 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1494
30 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=99987 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5758
30 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=99987 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=4264 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1494
31 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=103146 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4931
31 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=103146 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4931
31 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=103146 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=2460 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2471
31 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=103146 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4931
31 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=103146 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=2460 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2471
32 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
32 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
32 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
32 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
32 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
33 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=93342 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4339
33 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=93342 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4339
33 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=93342 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=2163 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2176
33 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=93342 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4339
33 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=93342 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=2163 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2176
34 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=90102 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4252
34 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=90102 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3820
34 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=90102 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=2071 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2181
34 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=90102 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4252
34 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=90102 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=2071 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2181
35 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110542 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6738
35 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110542 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5463
35 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110542 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6738
35 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110542 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6738
35 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=110542 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6738
36 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
36 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
36 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
36 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
36 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
37 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=87680 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3773
37 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=87680 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3773
37 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=87680 nodes=1 dead=0 fresh=16 | root-stabiliser order=6, subgroup fixing the first branching facet=2, options removed=1881 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1892
37 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=87680 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3773
37 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=87680 nodes=1 dead=0 fresh=16 | root-stabiliser order=6, subgroup fixing the first branching facet=2, options removed=1881 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1892
38 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=83913 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3737
38 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=83913 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3737
38 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=83913 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=1863 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1874
38 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=83913 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3737
38 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=83913 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=1863 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1874
39 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=99739 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5017
39 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=99739 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4093
39 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=99739 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6212
39 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=99739 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/6212
39 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=99739 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5017
40 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=95652 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5831
40 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=95652 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4737
40 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=95652 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5831
40 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=95652 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5831
40 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=95652 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5831
41 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79553 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3334
41 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79553 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3334
41 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79553 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=2457 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/877
41 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79553 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3334
41 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79553 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=2457 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/877
42 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=95537 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5486
42 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=95537 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4533
42 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=95537 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5854
42 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=95537 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5854
42 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=95537 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5486
43 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=92042 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5479
43 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=92042 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4415
43 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=92042 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5479
43 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=92042 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5479
43 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=92042 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5479
44 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=63600 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2568
44 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=63600 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2568
44 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=63600 nodes=1 dead=0 fresh=16 | root-stabiliser order=12, subgroup fixing the first branching facet=4, options removed=1887 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/681
44 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=63600 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2568
44 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=63600 nodes=1 dead=0 fresh=16 | root-stabiliser order=12, subgroup fixing the first branching facet=4, options removed=1887 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/681
45 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=65218 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2824
45 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=65218 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2824
45 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=65218 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=2078 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/746
45 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=65218 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2824
45 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=65218 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=2078 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/746
46 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=75264 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2450
46 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=75264 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2450
46 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=75264 nodes=1 dead=0 fresh=16 | root-stabiliser order=20, subgroup fixing the first branching facet=20, options removed=2310 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/140
46 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=75264 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2450
46 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=75264 nodes=1 dead=0 fresh=16 | root-stabiliser order=20, subgroup fixing the first branching facet=20, options removed=2310 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/140
47 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=85032 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4045
47 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=85032 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3443
47 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=85032 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=2599 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2701
47 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=85032 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5300
47 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=85032 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=1984 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2061
48 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=83655 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3385
48 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=83655 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3385
48 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=83655 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4895
48 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=83655 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4895
48 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=83655 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3385
49 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=63409 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2230
49 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=63409 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2230
49 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=63409 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=1645 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/585
49 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=63409 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2230
49 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=63409 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=4, options removed=1645 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/585
50 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79893 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4346
50 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79893 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3750
50 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79893 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=2413 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2505
50 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79893 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4918
50 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79893 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4346
51 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79131 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3650
51 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79131 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3062
51 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79131 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=2290 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2370
51 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79131 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4660
51 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=79131 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=1795 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1855
52 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=76294 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3517
52 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=76294 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2940
52 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=76294 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4482
52 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=76294 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4482
52 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=76294 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3517
53 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=66936 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1260
53 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=66936 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1260
53 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=66936 nodes=1 dead=0 fresh=16 | root-stabiliser order=20, subgroup fixing the first branching facet=10, options removed=1125 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/135
53 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=66936 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1260
53 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=66936 nodes=1 dead=0 fresh=16 | root-stabiliser order=20, subgroup fixing the first branching facet=10, options removed=1125 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/135
54 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=59066 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1820
54 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=59066 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1820
54 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=59066 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=10, options removed=1632 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/188
54 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=59066 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1820
54 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=59066 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=10, options removed=1632 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/188
55 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=72731 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2469
55 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=72731 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2469
55 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=72731 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=2, options removed=2123 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2188
55 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=72731 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4311
55 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=72731 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2469
56 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=56282 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2655
56 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=56282 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2312
56 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=56282 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3843
56 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=56282 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3843
56 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=56282 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2655
57 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=67627 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3023
57 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=67627 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3017
57 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=67627 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4000
57 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=67627 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/4000
57 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=67627 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3023
58 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=53614 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/966
58 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=53614 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/966
58 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=53614 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=480 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=1/486
58 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=53614 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/966
58 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=53614 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=480 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=1/486
59 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=55680 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1304
59 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=55680 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1304
59 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=55680 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2269
59 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=55680 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2269
59 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=55680 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=646 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/658
60 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=49337 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1924
60 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=49337 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1924
60 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=49337 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3388
60 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=49337 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3388
60 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=49337 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1924
61 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=62476 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1700
61 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=62476 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1700
61 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=62476 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3141
61 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=62476 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3141
61 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=62476 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1700
62 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=48830 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/615
62 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=48830 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/615
62 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=48830 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=5, options removed=488 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/127
62 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=48830 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/615
62 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=48830 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=5, options removed=488 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/127
63 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=44950 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1072
63 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=44950 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1072
63 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=44950 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1597
63 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=44950 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1597
63 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=44950 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=531 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/541
64 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=46152 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1003
64 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=46152 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1003
64 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=46152 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1867
64 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=46152 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1867
64 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=46152 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1003
65 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35070 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1190
65 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35070 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1190
65 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35070 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=10, options removed=1065 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/125
65 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35070 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1190
65 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35070 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=10, options removed=1065 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/125
66 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=38414 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1477
66 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=38414 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1477
66 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=38414 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2831
66 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=38414 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2831
66 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=38414 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1477
67 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=44352 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2206
67 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=44352 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2195
67 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=44352 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2772
67 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=44352 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2772
67 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=44352 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2206
68 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=42742 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/731
68 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=42742 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/731
68 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=42742 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1255
68 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=42742 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1255
68 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=42742 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/731
69 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=39581 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/336
69 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=39581 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/336
69 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=39581 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=166 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/170
69 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=39581 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/336
69 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=39581 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=166 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/170
70 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35708 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1470
70 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35708 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1214
70 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35708 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1968
70 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35708 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1968
70 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35708 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1470
71 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=32988 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/230
71 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=32988 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/230
71 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=32988 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=5, options removed=180 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/50
71 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=32988 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/230
71 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=32988 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=5, options removed=180 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/50
72 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=39628 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/495
72 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=39628 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/495
72 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=39628 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/495
72 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=39628 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/495
72 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=39628 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/495
73 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=32357 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/192
73 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=32357 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/192
73 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=32357 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/192
73 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=32357 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/192
73 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=32357 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/192
74 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35080 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/347
74 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35080 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/347
74 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35080 nodes=1 dead=0 fresh=16 | root-stabiliser order=6, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/347
74 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35080 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/347
74 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=35080 nodes=1 dead=0 fresh=16 | root-stabiliser order=6, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/347
75 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24973 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1155
75 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24973 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/939
75 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24973 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1565
75 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24973 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1565
75 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24973 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1155
76 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=31460 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/368
76 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=31460 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/368
76 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=31460 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/368
76 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=31460 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/368
76 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=31460 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/368
77 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=33286 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/684
77 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=33286 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/684
77 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=33286 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=334 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/350
77 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=33286 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/684
77 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=33286 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=334 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/350
78 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=29682 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/248
78 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=29682 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/248
78 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=29682 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/248
78 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=29682 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/248
78 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=29682 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/248
79 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=23715 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/939
79 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=23715 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/939
79 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=23715 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1259
79 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=23715 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/1259
79 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=23715 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/939
80 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=27388 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/334
80 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=27388 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/334
80 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=27388 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/334
80 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=27388 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/334
80 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=27388 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/334
81 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24079 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/222
81 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24079 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/222
81 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24079 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/222
81 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24079 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/222
81 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24079 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/222
82 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24893 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/543
82 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24893 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/506
82 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24893 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/543
82 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24893 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/543
82 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24893 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/543
83 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=27957 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/123
83 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=27957 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/123
83 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=27957 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/123
83 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=27957 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/123
83 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=27957 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/123
84 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=22412 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/60
84 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=22412 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/60
84 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=22412 nodes=1 dead=0 fresh=16 | root-stabiliser order=12, subgroup fixing the first branching facet=2, options removed=30 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/30
84 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=22412 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/60
84 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=22412 nodes=1 dead=0 fresh=16 | root-stabiliser order=12, subgroup fixing the first branching facet=2, options removed=30 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/30
85 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=19003 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/983
85 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=19003 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/983
85 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=19003 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/983
85 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=19003 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/983
85 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=19003 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/983
86 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24023 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/420
86 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24023 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/420
86 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24023 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/612
86 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24023 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/612
86 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=24023 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/420
87 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=22373 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/109
87 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=22373 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/109
87 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=22373 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/109
87 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=22373 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/109
87 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=22373 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/109
88 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=20201 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/12
88 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=20201 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/12
88 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=20201 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/12
88 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=20201 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/12
88 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=20201 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/12
89 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=20313 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/153
89 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=20313 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/153
89 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=20313 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/153
89 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=20313 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/153
89 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=20313 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/153
90 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=18704 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/51
90 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=18704 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/51
90 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=18704 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/51
90 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=18704 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/51
90 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=18704 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/51
91 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=18270 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/7
91 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=18270 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/7
91 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=18270 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=1/7
91 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=18270 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/7
91 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=18270 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=1/7
92 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=13722 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/120
92 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=13722 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/120
92 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=13722 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/208
92 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=13722 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/208
92 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=13722 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/120
93 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=168480 survived=3470 nodes=1 dead=1 fresh=12 |  | SLICE probe DONE nodes=168481 solutions=0
93 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=168480 survived=3470 nodes=1 dead=1 fresh=12 |  | SLICE probe DONE nodes=168481 solutions=0
93 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=168480 survived=3470 nodes=1 dead=1 fresh=12 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=168481 solutions=0
93 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=168480 survived=3470 nodes=1 dead=1 fresh=12 |  | SLICE probe DONE nodes=168481 solutions=0
93 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=168480 survived=3470 nodes=1 dead=1 fresh=12 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=168481 solutions=0
94 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=14192 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/135
94 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=14192 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/121
94 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=14192 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/135
94 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=14192 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/135
94 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=14192 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/135
95 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=12242 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/37
95 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=12242 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/37
95 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=12242 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/37
95 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=12242 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/37
95 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=12242 nodes=1 dead=0 fresh=16 | root-stabiliser order=1, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/37
96 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=12236 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/188
96 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=12236 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/156
96 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=12236 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/188
96 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=12236 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/188
96 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=12236 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/188
97 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10300 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/140
97 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10300 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/140
97 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10300 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=5, options removed=104 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/36
97 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10300 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/140
97 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10300 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=5, options removed=104 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/36
98 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10247 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/17
98 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10247 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/17
98 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10247 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/17
98 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10247 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/17
98 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10247 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/17
99 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10325 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/12
99 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10325 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/12
99 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10325 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/12
99 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10325 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/12
99 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=10325 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/12
100 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=986 nodes=1 dead=1 fresh=7 |  | SLICE probe DONE nodes=98281 solutions=0
100 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=986 nodes=1 dead=1 fresh=7 |  | SLICE probe DONE nodes=98281 solutions=0
100 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=986 nodes=1 dead=1 fresh=7 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=98281 solutions=0
100 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=986 nodes=1 dead=1 fresh=7 |  | SLICE probe DONE nodes=98281 solutions=0
100 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=986 nodes=1 dead=1 fresh=7 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=98281 solutions=0
101 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=8944 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5
101 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=8944 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5
101 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=8944 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5
101 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=8944 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5
101 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=8944 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5
102 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=7028 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/11
102 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=7028 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/11
102 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=7028 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/11
102 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=7028 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/11
102 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=7028 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/11
103 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=841 nodes=1 dead=1 fresh=7 |  | SLICE probe DONE nodes=98281 solutions=0
103 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=841 nodes=1 dead=1 fresh=7 |  | SLICE probe DONE nodes=98281 solutions=0
103 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=841 nodes=1 dead=1 fresh=7 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=98281 solutions=0
103 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=841 nodes=1 dead=1 fresh=7 |  | SLICE probe DONE nodes=98281 solutions=0
103 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=841 nodes=1 dead=1 fresh=7 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=98281 solutions=0
104 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=70200 survived=271 nodes=1 dead=1 fresh=5 |  | SLICE probe DONE nodes=70201 solutions=0
104 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=70200 survived=271 nodes=1 dead=1 fresh=5 |  | SLICE probe DONE nodes=70201 solutions=0
104 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=70200 survived=271 nodes=1 dead=1 fresh=5 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=70201 solutions=0
104 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=70200 survived=271 nodes=1 dead=1 fresh=5 |  | SLICE probe DONE nodes=70201 solutions=0
104 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=70200 survived=271 nodes=1 dead=1 fresh=5 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=70201 solutions=0
105 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5766 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/67
105 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5766 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/67
105 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5766 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/67
105 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5766 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/67
105 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5766 nodes=1 dead=0 fresh=16 | root-stabiliser order=10, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/67
106 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5947 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/16
106 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5947 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/16
106 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5947 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/23
106 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5947 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/23
106 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5947 nodes=1 dead=0 fresh=16 | root-stabiliser order=2, subgroup fixing the first branching facet=1, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/16
107 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=70200 survived=262 nodes=1 dead=1 fresh=5 |  | SLICE probe DONE nodes=70201 solutions=0
107 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=70200 survived=262 nodes=1 dead=1 fresh=5 |  | SLICE probe DONE nodes=70201 solutions=0
107 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=70200 survived=262 nodes=1 dead=1 fresh=5 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=70201 solutions=0
107 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=70200 survived=262 nodes=1 dead=1 fresh=5 |  | SLICE probe DONE nodes=70201 solutions=0
107 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=70200 survived=262 nodes=1 dead=1 fresh=5 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=70201 solutions=0
108 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5584 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2
108 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5584 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2
108 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5584 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2
108 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5584 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2
108 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=5584 nodes=1 dead=0 fresh=16 | root-stabiliser order=4, subgroup fixing the first branching facet=2, options removed=0 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/2
109 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=183 nodes=1 dead=1 fresh=7 |  | SLICE probe DONE nodes=98281 solutions=0
109 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=183 nodes=1 dead=1 fresh=7 |  | SLICE probe DONE nodes=98281 solutions=0
109 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=183 nodes=1 dead=1 fresh=7 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=98281 solutions=0
109 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=183 nodes=1 dead=1 fresh=7 |  | SLICE probe DONE nodes=98281 solutions=0
109 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=183 nodes=1 dead=1 fresh=7 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=98281 solutions=0
110 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=42120 survived=67 nodes=1 dead=1 fresh=3 |  | SLICE probe DONE nodes=42121 solutions=0
110 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=42120 survived=67 nodes=1 dead=1 fresh=3 |  | SLICE probe DONE nodes=42121 solutions=0
110 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=42120 survived=67 nodes=1 dead=1 fresh=3 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=42121 solutions=0
110 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=42120 survived=67 nodes=1 dead=1 fresh=3 |  | SLICE probe DONE nodes=42121 solutions=0
110 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=42120 survived=67 nodes=1 dead=1 fresh=3 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=42121 solutions=0
111 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=2752 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/14
111 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=2752 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/14
111 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=2752 nodes=1 dead=0 fresh=16 | root-stabiliser order=20, subgroup fixing the first branching facet=2, options removed=5 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/9
111 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=2752 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/14
111 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=2752 nodes=1 dead=0 fresh=16 | root-stabiliser order=20, subgroup fixing the first branching facet=2, options removed=5 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/9
112 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=70 nodes=1 dead=1 fresh=7 |  | SLICE probe DONE nodes=98281 solutions=0
112 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=70 nodes=1 dead=1 fresh=7 |  | SLICE probe DONE nodes=98281 solutions=0
112 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=70 nodes=1 dead=1 fresh=7 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=98281 solutions=0
112 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=70 nodes=1 dead=1 fresh=7 |  | SLICE probe DONE nodes=98281 solutions=0
112 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=98280 survived=70 nodes=1 dead=1 fresh=7 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=98281 solutions=0
113 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=2457 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5
113 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=2457 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5
113 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=2457 nodes=1 dead=0 fresh=16 | root-stabiliser order=12, subgroup fixing the first branching facet=2, options removed=2 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3
113 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=2457 nodes=1 dead=0 fresh=16 |  | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/5
113 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=224640 survived=2457 nodes=1 dead=0 fresh=16 | root-stabiliser order=12, subgroup fixing the first branching facet=2, options removed=2 | SLICE probe ABORTED-AT-NODE-LIMIT nodes=224641 solutions=0 top-branch=0/3
114 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=42120 survived=25 nodes=1 dead=1 fresh=3 |  | SLICE probe DONE nodes=42121 solutions=0
114 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=42120 survived=25 nodes=1 dead=1 fresh=3 |  | SLICE probe DONE nodes=42121 solutions=0
114 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=42120 survived=25 nodes=1 dead=1 fresh=3 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=42121 solutions=0
114 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=42120 survived=25 nodes=1 dead=1 fresh=3 |  | SLICE probe DONE nodes=42121 solutions=0
114 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=42120 survived=25 nodes=1 dead=1 fresh=3 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=42121 solutions=0
115 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=56160 survived=19 nodes=1 dead=1 fresh=4 |  | SLICE probe DONE nodes=56161 solutions=0
115 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=56160 survived=19 nodes=1 dead=1 fresh=4 |  | SLICE probe DONE nodes=56161 solutions=0
115 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=56160 survived=19 nodes=1 dead=1 fresh=4 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=56161 solutions=0
115 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=56160 survived=19 nodes=1 dead=1 fresh=4 |  | SLICE probe DONE nodes=56161 solutions=0
115 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=56160 survived=19 nodes=1 dead=1 fresh=4 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=56161 solutions=0
116 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=52 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
116 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=52 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
116 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=52 nodes=1 dead=1 fresh=2 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=28081 solutions=0
116 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=52 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
116 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=52 nodes=1 dead=1 fresh=2 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=28081 solutions=0
117 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=16 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
117 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=16 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
117 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=16 nodes=1 dead=1 fresh=2 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=28081 solutions=0
117 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=16 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
117 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=16 nodes=1 dead=1 fresh=2 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=28081 solutions=0
118 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=3 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
118 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=3 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
118 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=3 nodes=1 dead=1 fresh=2 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=28081 solutions=0
118 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=3 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
118 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=3 nodes=1 dead=1 fresh=2 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=28081 solutions=0
119 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=56160 survived=3 nodes=1 dead=1 fresh=4 |  | SLICE probe DONE nodes=56161 solutions=0
119 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=56160 survived=3 nodes=1 dead=1 fresh=4 |  | SLICE probe DONE nodes=56161 solutions=0
119 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=56160 survived=3 nodes=1 dead=1 fresh=4 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=56161 solutions=0
119 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=56160 survived=3 nodes=1 dead=1 fresh=4 |  | SLICE probe DONE nodes=56161 solutions=0
119 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=56160 survived=3 nodes=1 dead=1 fresh=4 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=56161 solutions=0
120 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=6 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
120 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=6 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
120 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=6 nodes=1 dead=1 fresh=2 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=28081 solutions=0
120 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=6 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
120 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=6 nodes=1 dead=1 fresh=2 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=28081 solutions=0
121 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=2 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
121 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=2 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
121 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=2 nodes=1 dead=1 fresh=2 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=28081 solutions=0
121 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=2 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
121 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=2 nodes=1 dead=1 fresh=2 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=28081 solutions=0
122 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=1 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
122 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=1 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
122 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=1 nodes=1 dead=1 fresh=2 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=28081 solutions=0
122 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=1 nodes=1 dead=1 fresh=2 |  | SLICE probe DONE nodes=28081 solutions=0
122 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=28080 survived=1 nodes=1 dead=1 fresh=2 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=28081 solutions=0
123 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
123 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
123 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
123 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
123 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
124 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
124 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
124 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
124 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
124 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
125 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
125 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
125 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
125 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
125 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
126 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
126 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
126 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
126 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
126 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
127 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
127 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
127 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
127 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
127 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
128 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
128 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
128 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
128 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
128 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
129 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
129 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
129 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
129 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
129 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
130 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
130 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
130 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
130 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
130 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
131 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
131 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
131 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
131 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
131 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
132 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
132 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
132 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
132 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
132 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
133 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
133 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
133 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
133 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
133 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
134 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
134 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
134 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
134 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
134 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
135 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
135 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
135 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
135 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
135 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
136 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
136 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
136 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
136 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
136 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
137 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
137 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
137 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
137 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
137 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
138 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
138 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
138 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
138 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
138 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
139 v6 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
139 v6nobr | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
139 v7 | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
139 v7nosym | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 |  | SLICE probe DONE nodes=14041 solutions=0
139 v7nobw | trials=1 survived=1 nodes=0 dead=0 fresh=0 | trials=14040 survived=0 nodes=1 dead=1 fresh=1 | root-stabiliser order=0, subgroup fixing the first branching facet=0, options removed=0 | SLICE probe DONE nodes=14041 solutions=0
ALLDONE
