case=0 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=1.9489e-05
case=1 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=7.31e-07
case=2 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=5.01e-07
case=3 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=4 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=5 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.9e-07
case=6 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=7 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.31e-07
case=8 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=9 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.9e-07
case=10 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4e-07
case=11 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4e-07
case=12 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=13 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=14 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.11e-07
case=15 t=12 d=1 p1=1 p2=0 nodes=735454 leaves=0 coeff=0 equal=0 seconds=0.0687746
case=16 t=12 d=2 p1=1 p2=0 nodes=237889 leaves=0 coeff=0 equal=0 seconds=0.0227132
case=17 t=12 d=3 p1=1 p2=0 nodes=57133 leaves=0 coeff=0 equal=0 seconds=0.00544239
case=18 t=12 d=4 p1=1 p2=0 nodes=14548 leaves=0 coeff=0 equal=0 seconds=0.00152437
case=19 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.71e-07
case=20 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.31e-07
case=21 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=22 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=23 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=24 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=25 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=26 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=27 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4e-07
case=28 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=29 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=30 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.51e-07
case=31 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=32 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=33 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=34 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=35 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=36 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=37 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=38 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=39 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=40 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=41 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=42 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=43 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.11e-07
case=44 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.9e-07
case=45 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=46 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=47 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.5e-07
case=48 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=49 t=12 d=1 p1=1 p2=0 nodes=3584297 leaves=0 coeff=0 equal=0 seconds=0.395199
case=50 t=12 d=2 p1=1 p2=0 nodes=1605089 leaves=0 coeff=0 equal=0 seconds=0.181535
case=51 t=12 d=3 p1=1 p2=0 nodes=382852 leaves=0 coeff=0 equal=0 seconds=0.0405142
case=52 t=12 d=4 p1=1 p2=0 nodes=88311 leaves=0 coeff=0 equal=0 seconds=0.00991353
case=53 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=5.6e-07
case=54 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.6e-07
case=55 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.11e-07
case=56 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=57 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=58 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=59 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=60 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=61 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=62 t=12 d=1 p1=1 p2=0 nodes=122137 leaves=0 coeff=0 equal=0 seconds=0.0128329
case=63 t=12 d=2 p1=1 p2=0 nodes=102819 leaves=0 coeff=0 equal=0 seconds=0.0147527
case=64 t=12 d=3 p1=1 p2=0 nodes=227846 leaves=0 coeff=0 equal=0 seconds=0.0312893
case=65 t=12 d=4 p1=1 p2=0 nodes=83005 leaves=0 coeff=0 equal=0 seconds=0.0105343
case=66 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=5.21e-07
case=67 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.4e-07
case=68 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=69 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=70 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=71 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=72 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=73 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=74 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=75 t=12 d=1 p1=1 p2=0 nodes=50001 leaves=0 coeff=0 equal=0 seconds=0.00660945
case=76 t=12 d=2 p1=1 p2=0 nodes=39639 leaves=0 coeff=0 equal=0 seconds=0.00490507
case=77 t=12 d=3 p1=1 p2=0 nodes=16941 leaves=0 coeff=0 equal=0 seconds=0.0037483
case=78 t=12 d=4 p1=1 p2=0 nodes=18946 leaves=0 coeff=0 equal=0 seconds=0.00389311
case=79 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=5.5e-07
case=80 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.3e-07
case=81 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.11e-07
case=82 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=83 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=84 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.21e-07
case=85 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4e-07
case=86 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=87 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4e-07
case=88 t=12 d=1 p1=1 p2=0 nodes=38139 leaves=0 coeff=0 equal=0 seconds=0.00578729
case=89 t=12 d=2 p1=1 p2=0 nodes=37603 leaves=0 coeff=0 equal=0 seconds=0.00472815
case=90 t=12 d=3 p1=1 p2=0 nodes=10359 leaves=0 coeff=0 equal=0 seconds=0.00174141
case=91 t=12 d=4 p1=1 p2=0 nodes=2860 leaves=0 coeff=0 equal=0 seconds=0.000648065
case=92 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.91e-07
case=93 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.31e-07
case=94 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=95 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=96 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=97 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=98 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=99 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=100 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=101 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=102 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=103 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=104 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=105 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=106 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=107 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=108 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=109 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=110 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=111 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=112 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=113 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=114 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=115 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=116 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=117 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.2e-07
case=118 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=119 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=120 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=121 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4e-07
case=122 t=12 d=1 p1=1 p2=0 nodes=13278198 leaves=0 coeff=0 equal=0 seconds=1.51087
case=123 t=12 d=2 p1=1 p2=0 nodes=5524621 leaves=0 coeff=0 equal=0 seconds=0.631054
case=124 t=12 d=3 p1=1 p2=0 nodes=1192337 leaves=0 coeff=0 equal=0 seconds=0.141531
case=125 t=12 d=4 p1=1 p2=0 nodes=242566 leaves=0 coeff=0 equal=0 seconds=0.0301218
case=126 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=5.71e-07
case=127 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.71e-07
case=128 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=129 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=130 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=131 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=132 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=133 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=134 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=135 t=12 d=1 p1=1 p2=0 nodes=614936 leaves=0 coeff=0 equal=0 seconds=0.0721603
case=136 t=12 d=2 p1=1 p2=0 nodes=491308 leaves=0 coeff=0 equal=0 seconds=0.0656595
case=137 t=12 d=3 p1=1 p2=0 nodes=933663 leaves=0 coeff=0 equal=0 seconds=0.138192
case=138 t=12 d=4 p1=1 p2=0 nodes=335917 leaves=0 coeff=0 equal=0 seconds=0.0538791
case=139 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=9.42e-07
case=140 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.8e-07
case=141 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.4e-07
case=142 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=143 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=144 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=145 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=146 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=147 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=148 t=12 d=1 p1=1 p2=0 nodes=170546 leaves=0 coeff=0 equal=0 seconds=0.0218023
case=149 t=12 d=2 p1=1 p2=0 nodes=200771 leaves=0 coeff=0 equal=0 seconds=0.0228379
case=150 t=12 d=3 p1=1 p2=0 nodes=81093 leaves=0 coeff=0 equal=0 seconds=0.0158573
case=151 t=12 d=4 p1=1 p2=0 nodes=59009 leaves=0 coeff=0 equal=0 seconds=0.0150344
case=152 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=5.61e-07
case=153 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.51e-07
case=154 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.9e-07
case=155 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=156 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=157 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4e-07
case=158 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=5.01e-07
case=159 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=160 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=161 t=12 d=1 p1=1 p2=0 nodes=12170 leaves=0 coeff=0 equal=0 seconds=0.00305014
case=162 t=12 d=2 p1=1 p2=0 nodes=74739 leaves=0 coeff=0 equal=0 seconds=0.0117326
case=163 t=12 d=3 p1=1 p2=0 nodes=396373 leaves=0 coeff=0 equal=0 seconds=0.0614636
case=164 t=12 d=4 p1=1 p2=0 nodes=148433 leaves=0 coeff=0 equal=0 seconds=0.0286231
case=165 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=5.61e-07
case=166 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.4e-07
case=167 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.2e-07
case=168 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=169 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=170 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=171 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.11e-07
case=172 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=173 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=174 t=12 d=1 p1=1 p2=0 nodes=5783 leaves=0 coeff=0 equal=0 seconds=0.00255278
case=175 t=12 d=2 p1=1 p2=0 nodes=8364 leaves=0 coeff=0 equal=0 seconds=0.00222046
case=176 t=12 d=3 p1=1 p2=0 nodes=80247 leaves=216 coeff=0 equal=0 seconds=0.0762455
case=177 t=12 d=4 p1=1 p2=0 nodes=83056 leaves=216 coeff=0 equal=0 seconds=0.072962
case=178 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=7.01e-07
case=179 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.31e-07
case=180 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.3e-07
case=181 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=182 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=183 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=184 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4e-07
case=185 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=186 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=187 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=188 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=189 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=190 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=191 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=192 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=193 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=194 t=12 d=1 p1=1 p2=0 nodes=20985786 leaves=0 coeff=0 equal=0 seconds=2.49467
case=195 t=12 d=2 p1=1 p2=0 nodes=8597769 leaves=0 coeff=0 equal=0 seconds=1.07333
case=196 t=12 d=3 p1=1 p2=0 nodes=1774150 leaves=0 coeff=0 equal=0 seconds=0.235221
case=197 t=12 d=4 p1=1 p2=0 nodes=329693 leaves=0 coeff=0 equal=0 seconds=0.0495797
case=198 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=7.82e-07
case=199 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.5e-07
case=200 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=201 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=202 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=203 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=204 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=205 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.5e-07
case=206 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.3e-07
case=207 t=12 d=1 p1=1 p2=0 nodes=1747480 leaves=0 coeff=0 equal=0 seconds=0.201117
case=208 t=12 d=2 p1=1 p2=0 nodes=1071592 leaves=0 coeff=0 equal=0 seconds=0.142753
case=209 t=12 d=3 p1=1 p2=0 nodes=1233118 leaves=0 coeff=0 equal=0 seconds=0.214449
case=210 t=12 d=4 p1=1 p2=0 nodes=440049 leaves=0 coeff=0 equal=0 seconds=0.0908596
case=211 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=6.82e-07
case=212 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.61e-07
case=213 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=214 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=215 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=216 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=217 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=218 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=219 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.9e-07
case=220 t=12 d=1 p1=1 p2=0 nodes=574876 leaves=0 coeff=0 equal=0 seconds=0.06703
case=221 t=12 d=2 p1=1 p2=0 nodes=619790 leaves=0 coeff=0 equal=0 seconds=0.07105
case=222 t=12 d=3 p1=1 p2=0 nodes=261755 leaves=144 coeff=0 equal=0 seconds=0.0881163
case=223 t=12 d=4 p1=1 p2=0 nodes=139493 leaves=216 coeff=0 equal=0 seconds=0.0874363
case=224 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=8.31e-07
case=225 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.61e-07
case=226 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.21e-07
case=227 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=228 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=229 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=230 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=231 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=232 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.9e-07
case=233 t=12 d=1 p1=1 p2=0 nodes=60369 leaves=0 coeff=0 equal=0 seconds=0.00861238
case=234 t=12 d=2 p1=1 p2=0 nodes=403245 leaves=0 coeff=0 equal=0 seconds=0.0693749
case=235 t=12 d=3 p1=1 p2=0 nodes=1184810 leaves=288 coeff=0 equal=0 seconds=0.296976
case=236 t=12 d=4 p1=1 p2=0 nodes=391393 leaves=360 coeff=0 equal=0 seconds=0.198815
case=237 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=8.22e-07
case=238 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.31e-07
case=239 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.21e-07
case=240 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=241 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=242 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=243 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=244 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=245 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.9e-07
case=246 t=12 d=1 p1=1 p2=0 nodes=2739 leaves=0 coeff=0 equal=0 seconds=0.00358024
case=247 t=12 d=2 p1=1 p2=0 nodes=795502 leaves=0 coeff=0 equal=0 seconds=0.134295
case=248 t=12 d=3 p1=1 p2=0 nodes=636527 leaves=0 coeff=0 equal=0 seconds=0.141192
case=249 t=12 d=4 p1=1 p2=0 nodes=111520 leaves=54 coeff=0 equal=0 seconds=0.0469789
case=250 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=7.31e-07
case=251 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.51e-07
case=252 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.11e-07
case=253 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=254 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=255 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=256 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=257 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=258 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=259 t=12 d=1 p1=1 p2=0 nodes=20424929 leaves=0 coeff=0 equal=0 seconds=2.68455
case=260 t=12 d=2 p1=1 p2=0 nodes=7595443 leaves=0 coeff=0 equal=0 seconds=1.10984
case=261 t=12 d=3 p1=1 p2=0 nodes=1534286 leaves=0 coeff=0 equal=0 seconds=0.229505
case=262 t=12 d=4 p1=1 p2=0 nodes=259187 leaves=0 coeff=0 equal=0 seconds=0.0478959
case=263 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=5.51e-07
case=264 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.71e-07
case=265 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.21e-07
case=266 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=267 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.71e-07
case=268 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=5.21e-07
case=269 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.51e-07
case=270 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.9e-07
case=271 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=272 t=12 d=1 p1=1 p2=0 nodes=2815988 leaves=0 coeff=0 equal=0 seconds=0.343614
case=273 t=12 d=2 p1=1 p2=0 nodes=1686562 leaves=0 coeff=0 equal=0 seconds=0.253484
case=274 t=12 d=3 p1=1 p2=0 nodes=1069271 leaves=36 coeff=0 equal=0 seconds=0.255988
case=275 t=12 d=4 p1=1 p2=0 nodes=349366 leaves=0 coeff=0 equal=0 seconds=0.113019
case=276 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=7.91e-07
case=277 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.41e-07
case=278 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.21e-07
case=279 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=280 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=281 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=282 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=283 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=284 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.9e-07
case=285 t=12 d=1 p1=1 p2=0 nodes=347573 leaves=0 coeff=0 equal=0 seconds=0.0437997
case=286 t=12 d=2 p1=1 p2=0 nodes=2955892 leaves=0 coeff=0 equal=0 seconds=0.652373
case=287 t=12 d=3 p1=1 p2=0 nodes=1991855 leaves=18 coeff=0 equal=0 seconds=0.563561
case=288 t=12 d=4 p1=1 p2=0 nodes=369567 leaves=0 coeff=0 equal=0 seconds=0.129715
case=289 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=6.91e-07
case=290 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.81e-07
case=291 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.51e-07
case=292 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=293 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=294 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.3e-07
case=295 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.41e-07
case=296 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.11e-07
case=297 t=12 d=1 p1=1 p2=0 nodes=17766728 leaves=0 coeff=0 equal=0 seconds=2.58055
case=298 t=12 d=2 p1=1 p2=0 nodes=5230815 leaves=0 coeff=0 equal=0 seconds=0.860498
case=299 t=12 d=3 p1=1 p2=0 nodes=975868 leaves=0 coeff=0 equal=0 seconds=0.19277
case=300 t=12 d=4 p1=1 p2=0 nodes=124545 leaves=0 coeff=0 equal=0 seconds=0.035724
case=301 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=5.81e-07
case=302 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.41e-07
case=303 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.11e-07
case=304 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=305 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=306 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=307 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.9e-07
case=308 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=6.01e-07
case=309 t=12 d=1 p1=1 p2=0 nodes=5261828 leaves=0 coeff=0 equal=0 seconds=0.693282
case=310 t=12 d=2 p1=1 p2=0 nodes=3044371 leaves=0 coeff=0 equal=0 seconds=0.7541
case=311 t=12 d=3 p1=1 p2=0 nodes=1017149 leaves=0 coeff=0 equal=0 seconds=0.414222
case=312 t=12 d=4 p1=1 p2=0 nodes=143236 leaves=0 coeff=0 equal=0 seconds=0.06471
case=313 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=7.81e-07
case=314 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.51e-07
case=315 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=316 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=317 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=318 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=319 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.9e-07
case=320 t=12 d=1 p1=1 p2=0 nodes=16556662 leaves=6 coeff=0 equal=0 seconds=2.83884
case=321 t=12 d=2 p1=1 p2=0 nodes=3313333 leaves=0 coeff=0 equal=0 seconds=0.720329
case=322 t=12 d=3 p1=1 p2=0 nodes=450457 leaves=0 coeff=0 equal=0 seconds=0.148454
case=323 t=12 d=4 p1=1 p2=0 nodes=25274 leaves=0 coeff=0 equal=0 seconds=0.00849467
case=324 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=5.71e-07
case=325 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.41e-07
case=326 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=327 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=328 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=329 t=12 d=1 p1=1 p2=0 nodes=12388262 leaves=0 coeff=0 equal=0 seconds=2.75577
case=330 t=12 d=2 p1=1 p2=0 nodes=1685860 leaves=0 coeff=0 equal=0 seconds=0.444117
case=331 t=12 d=3 p1=1 p2=0 nodes=111466 leaves=0 coeff=0 equal=0 seconds=0.0308298
COMPLETE cases=332 nodes=182247427 leaves=1554 coeff=0 endpoint_pass=1554 inconsistent=1482 boundsbad=0 rankbad=72 equal=0 found=0