=== active sampling, target 'legal' === -- seed 0 (151s): round 0: labels= 200 acc= 95.72% bits= 50.8 rules= 2 draw_acc=0% round 1: labels= 224 acc= 95.74% bits= 114.8 rules= 4 draw_acc=0% round 2: labels= 264 acc= 95.89% bits= 142.9 rules= 4 draw_acc=0% round 3: labels= 304 acc= 94.50% bits= 218.3 rules= 6 draw_acc=0% round 4: labels= 360 acc= 98.34% bits= 71.8 rules= 2 draw_acc=0% round 5: labels= 384 acc= 98.42% bits= 75.1 rules= 2 draw_acc=0% round 6: labels= 408 acc= 98.42% bits= 75.1 rules= 2 draw_acc=0% round 7: labels= 432 acc= 98.46% bits= 75.1 rules= 2 draw_acc=0% round 8: labels= 456 acc= 98.46% bits= 75.1 rules= 2 draw_acc=0% round 9: labels= 479 acc= 98.46% bits= 75.1 rules= 2 draw_acc=0% round 10: labels= 495 acc= 98.46% bits= 75.1 rules= 2 draw_acc=0% round 11: labels= 511 acc= 98.46% bits= 75.1 rules= 2 draw_acc=0% round 12: labels= 527 acc= 98.45% bits= 75.1 rules= 2 draw_acc=0% final certificate: START: everything -> Illegal [3.00 bits] OVERWRITE #X-#O=1 & N(0, 3, 0)=0 & N(3, 0, 0)>=1 -> XWon [36.95 bits, |S|=626] OVERWRITE prof[col1]=(0, 3, 0) & #X-#O=0 & N(2, 0, 1)=1 -> OWon [35.20 bits, |S|=36] TOTAL: 75.15 bits, 2 rules -- seed 1 (112s): round 0: labels= 200 acc= 98.36% bits= 62.6 rules= 2 draw_acc=0% round 1: labels= 224 acc= 95.94% bits= 87.8 rules= 3 draw_acc=0% round 2: labels= 256 acc= 97.56% bits= 115.7 rules= 3 draw_acc=0% round 3: labels= 288 acc= 98.66% bits= 123.8 rules= 4 draw_acc=20% round 4: labels= 327 acc= 98.90% bits= 131.5 rules= 4 draw_acc=17% round 5: labels= 367 acc= 98.92% bits= 133.2 rules= 4 draw_acc=0% round 6: labels= 407 acc= 99.12% bits= 133.2 rules= 4 draw_acc=0% round 7: labels= 439 acc= 98.90% bits= 157.0 rules= 5 draw_acc=0% round 8: labels= 479 acc= 99.94% bits= 110.8 rules= 3 draw_acc=0% round 9: labels= 503 acc= 99.94% bits= 110.8 rules= 3 draw_acc=0% round 10: labels= 527 acc= 99.94% bits= 110.8 rules= 3 draw_acc=0% round 11: labels= 551 acc= 99.94% bits= 110.8 rules= 3 draw_acc=0% round 12: labels= 575 acc= 99.94% bits= 110.8 rules= 3 draw_acc=0% -- seed 2 (349s): round 0: labels= 200 acc= 93.24% bits= 117.9 rules= 4 draw_acc=53% round 1: labels= 240 acc= 92.47% bits= 176.9 rules= 5 draw_acc=0% round 2: labels= 288 acc= 95.46% bits= 204.8 rules= 6 draw_acc=33% round 3: labels= 343 acc= 98.80% bits= 97.6 rules= 3 draw_acc=7% round 4: labels= 375 acc= 99.05% bits= 99.4 rules= 3 draw_acc=14% round 5: labels= 405 acc= 99.02% bits= 105.9 rules= 3 draw_acc=0% round 6: labels= 437 acc= 97.00% bits= 173.0 rules= 5 draw_acc=0% round 7: labels= 477 acc= 99.94% bits= 110.8 rules= 3 draw_acc=0% round 8: labels= 501 acc= 99.11% bits= 205.6 rules= 6 draw_acc=0% round 9: labels= 549 acc= 99.94% bits= 110.8 rules= 3 draw_acc=0% round 10: labels= 573 acc= 99.94% bits= 110.8 rules= 3 draw_acc=0% round 11: labels= 597 acc= 99.94% bits= 110.8 rules= 3 draw_acc=0% round 12: labels= 621 acc= 99.94% bits= 110.8 rules= 3 draw_acc=0% === active+discriminative sampling, target 'legal' === -- seed 0 (1050s): round 0: labels= 200 acc= 95.72% bits= 50.8 rules= 2 draw_acc=0% round 1: labels= 240 acc= 95.74% bits= 114.8 rules= 4 draw_acc=0% round 2: labels= 320 acc= 98.40% bits= 63.8 rules= 2 draw_acc=0% round 3: labels= 364 acc= 98.40% bits= 63.8 rules= 2 draw_acc=0% round 4: labels= 407 acc= 98.69% bits= 110.3 rules= 3 draw_acc=0% round 5: labels= 475 acc= 96.73% bits= 140.1 rules= 4 draw_acc=0% round 6: labels= 562 acc= 98.62% bits= 181.7 rules= 5 draw_acc=0% round 7: labels= 673 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 8: labels= 721 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 9: labels= 769 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 10: labels= 817 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 11: labels= 865 acc= 99.91% bits= 76.9 rules= 2 draw_acc=0% round 12: labels= 913 acc= 99.91% bits= 76.9 rules= 2 draw_acc=0% final certificate: START: everything -> Illegal [3.00 bits] OVERWRITE #X-#O=1 & N(0, 3, 0)=0 & N(3, 0, 0)>=1 -> XWon [36.95 bits, |S|=626] OVERWRITE N(0, 3, 0)>=1 & #X-#O=0 & N(3, 0, 0)=0 -> OWon [36.95 bits, |S|=316] TOTAL: 76.90 bits, 2 rules -- seed 1 (704s): round 0: labels= 200 acc= 98.36% bits= 62.6 rules= 2 draw_acc=0% round 1: labels= 244 acc= 97.77% bits= 97.9 rules= 3 draw_acc=0% round 2: labels= 308 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 3: labels= 356 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 4: labels= 404 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 5: labels= 452 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 6: labels= 500 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 7: labels= 548 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 8: labels= 596 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 9: labels= 644 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 10: labels= 692 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 11: labels= 740 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% round 12: labels= 788 acc= 99.92% bits= 76.9 rules= 2 draw_acc=0% -- seed 2 (1464s): round 0: labels= 200 acc= 93.24% bits= 117.9 rules= 4 draw_acc=53% round 1: labels= 280 acc= 98.18% bits= 97.6 rules= 3 draw_acc=7% round 2: labels= 344 acc= 97.06% bits= 203.3 rules= 6 draw_acc=7% round 3: labels= 470 acc= 98.87% bits= 175.5 rules= 5 draw_acc=100% round 4: labels= 577 acc= 99.95% bits= 122.2 rules= 3 draw_acc=58% round 5: labels= 649 acc= 99.78% bits= 190.7 rules= 6 draw_acc=17% round 6: labels= 762 acc=100.00% bits= 160.8 rules= 5 draw_acc=100% round 7: labels= 834 acc= 99.99% bits= 178.3 rules= 5 draw_acc=- round 8: labels= 912 acc=100.00% bits= 160.8 rules= 5 draw_acc=- round 9: labels= 980 acc=100.00% bits= 160.8 rules= 5 draw_acc=- round 10: labels=1048 acc=100.00% bits= 160.8 rules= 5 draw_acc=- round 11: labels=1116 acc=100.00% bits= 160.8 rules= 5 draw_acc=- round 12: labels=1183 acc=100.00% bits= 160.8 rules= 5 draw_acc=- === IID baseline at matched budgets === n= 200: acc= 95.77% (draw 18%) n= 240: acc= 96.76% (draw 18%) n= 256: acc= 97.12% (draw 18%) n= 280: acc= 97.05% (draw 16%) n= 304: acc= 97.33% (draw 16%) n= 320: acc= 96.83% (draw 16%) n= 343: acc= 97.65% (draw 16%) n= 356: acc= 97.88% (draw 16%) n= 364: acc= 97.45% (draw 16%) n= 375: acc= 97.45% (draw 16%) n= 404: acc= 97.70% (draw 16%) n= 407: acc= 97.69% (draw 16%) n= 432: acc= 97.55% (draw 16%) n= 439: acc= 97.55% (draw 16%) n= 456: acc= 97.43% (draw 16%) n= 475: acc= 97.43% (draw 16%) n= 479: acc= 97.43% (draw 16%) n= 500: acc= 97.42% (draw 16%) n= 503: acc= 97.42% (draw 16%) n= 527: acc= 97.44% (draw 16%) n= 549: acc= 97.57% (draw 16%) n= 562: acc= 97.61% (draw 16%) n= 575: acc= 97.61% (draw 16%) n= 596: acc= 97.78% (draw 16%) n= 621: acc= 98.39% (draw 11%) n= 649: acc= 98.86% (draw 11%) n= 692: acc= 99.14% (draw 27%) n= 740: acc= 99.32% (draw 27%) n= 769: acc= 99.43% (draw 25%) n= 817: acc= 99.43% (draw 25%) n= 865: acc= 98.87% (draw 25%) n= 913: acc= 98.89% (draw 25%) n=1048: acc= 98.89% (draw 17%) n=1183: acc= 99.85% (draw 17%) wrote /home/nikudaorg/induction_certs/.claude/worktrees/induction-certs-research/experiments/../results/active_results.json