# k=3: 276 sets with min 0 and max <= 24; classes cached 90; 0.0s
# k=4: 2024 sets with min 0 and max <= 24; classes cached 1008; 0.3s
# k=5: 10626 sets with min 0 and max <= 24; classes cached 6061; 2.1s
# k=6: 42504 sets with min 0 and max <= 24; classes cached 27085; 8.9s
p=6 d=1 n=3: diff > 0; ratio=1.495763; E_lat=353/81648; E_iid=59/20412
p=6 d=1 n=4: diff > 0; ratio=2.205761; E_lat=1273/435456; E_iid=19/14336
p=6 d=1 n=10: diff > 0; ratio=10.739808
p=6 d=1 n=20: diff > 0; ratio=40.406034
p=6 d=1 n=25: diff > 0; ratio=62.462528
SUMMARY p=6 d=1 n=3..25: positive 23, zero 0, negative 0; min ratio 1.495763 at n=3
p=6 d=2 n=3: diff > 0; ratio=1.263157; E_lat=3316949/1097349120; E_iid=4103/1714608
p=6 d=2 n=4: diff > 0; ratio=1.632223; E_lat=4980976127/2844328919040; E_iid=323/301056
p=6 d=2 n=10: diff > 0; ratio=5.602814
p=6 d=2 n=20: diff > 0; ratio=18.128892
p=6 d=2 n=25: diff > 0; ratio=27.121944
SUMMARY p=6 d=2 n=3..25: positive 23, zero 0, negative 0; min ratio 1.263157 at n=3
p=6 d=3 n=3: diff > 0; ratio=1.158621; E_lat=25145784893/14748372172800; E_iid=1059727/720135360
p=6 d=3 n=4: diff > 0; ratio=1.378749; E_lat=3985551653833741/4644675351635558400; E_iid=52463/84295680
p=6 d=3 n=10: diff > 0; ratio=3.520177
p=6 d=3 n=20: diff > 0; ratio=9.756695
p=6 d=3 n=25: diff > 0; ratio=14.100361
SUMMARY p=6 d=3 n=3..25: positive 23, zero 0, negative 0; min ratio 1.158621 at n=3
p=6 d=4 n=3: diff > 0; ratio=1.099199; E_lat=170835181981061/198218122002432000; E_iid=237148823/302456851200
p=6 d=4 n=4: diff > 0; ratio=1.238513; E_lat=5847973089272622749407/15169138124413602889728000; E_iid=33061291/106212556800
p=6 d=4 n=10: diff > 0; ratio=2.496774
p=6 d=4 n=20: diff > 0; ratio=5.909658
p=6 d=4 n=25: diff > 0; ratio=8.220036
SUMMARY p=6 d=4 n=3..25: positive 23, zero 0, negative 0; min ratio 1.099199 at n=3
# total 9.2s
