files / problems / c7-shannon / compute / q4 / hamming13_four_log.txt
blocker_hist 0:0 1:8 2:254 3:1505 4:3039 5:3712 6:3897 7:2842 8:921 9:199 10:61 11:2 12:0 13:0 14:0 15:0 caseC 4-blockers=3039 caseC 20/3039 pairs=1314060 max_freed=9 t=0.0s caseC 40/3039 pairs=2628120 max_freed=9 t=0.0s caseC 60/3039 pairs=3942180 max_freed=10 t=0.0s caseC 80/3039 pairs=5256240 max_freed=11 t=0.0s caseC 100/3039 pairs=6570300 max_freed=11 t=0.0s caseC 120/3039 pairs=7884360 max_freed=11 t=0.0s caseC 140/3039 pairs=9198420 max_freed=11 t=0.0s caseC 160/3039 pairs=10512480 max_freed=11 t=0.1s caseC 180/3039 pairs=11826540 max_freed=11 t=0.1s caseC 200/3039 pairs=13140600 max_freed=12 t=0.1s caseC 220/3039 pairs=14454660 max_freed=12 t=0.1s caseC 240/3039 pairs=15768720 max_freed=13 t=0.1s caseC 260/3039 pairs=17082780 max_freed=13 t=0.1s caseC 280/3039 pairs=18396840 max_freed=13 t=0.1s caseC 300/3039 pairs=19710900 max_freed=13 t=0.1s caseC 320/3039 pairs=21024960 max_freed=14 t=0.1s caseC 340/3039 pairs=22339020 max_freed=14 t=0.1s caseC 360/3039 pairs=23653080 max_freed=14 t=0.1s caseC 380/3039 pairs=24967140 max_freed=14 t=0.1s caseC 400/3039 pairs=26281200 max_freed=14 t=0.1s caseC 420/3039 pairs=27595260 max_freed=14 t=0.1s caseC 440/3039 pairs=28909320 max_freed=14 t=0.1s caseC 460/3039 pairs=30223380 max_freed=14 t=0.1s caseC 480/3039 pairs=31537440 max_freed=14 t=0.1s caseC 500/3039 pairs=32851500 max_freed=14 t=0.1s caseC 520/3039 pairs=34165560 max_freed=14 t=0.1s caseC 540/3039 pairs=35479620 max_freed=14 t=0.1s caseC 560/3039 pairs=36793680 max_freed=14 t=0.1s caseC 580/3039 pairs=38107740 max_freed=14 t=0.1s caseC 600/3039 pairs=39421800 max_freed=14 t=0.1s caseC 620/3039 pairs=40735860 max_freed=14 t=0.1s caseC 640/3039 pairs=42049920 max_freed=14 t=0.2s caseC 660/3039 pairs=43363980 max_freed=14 t=0.2s caseC 680/3039 pairs=44678040 max_freed=14 t=0.2s caseC 700/3039 pairs=45992100 max_freed=14 t=0.2s caseC 720/3039 pairs=47306160 max_freed=14 t=0.2s caseC 740/3039 pairs=48620220 max_freed=14 t=0.2s caseC 760/3039 pairs=49934280 max_freed=14 t=0.2s caseC 780/3039 pairs=51248340 max_freed=14 t=0.2s caseC 800/3039 pairs=52562400 max_freed=14 t=0.2s caseC 820/3039 pairs=53876460 max_freed=14 t=0.2s caseC 840/3039 pairs=55190520 max_freed=14 t=0.2s caseC 860/3039 pairs=56504580 max_freed=14 t=0.2s caseC 880/3039 pairs=57818640 max_freed=14 t=0.2s caseC 900/3039 pairs=59132700 max_freed=14 t=0.2s caseC 920/3039 pairs=60446760 max_freed=14 t=0.2s caseC 940/3039 pairs=61760820 max_freed=14 t=0.2s caseC 960/3039 pairs=63074880 max_freed=14 t=0.2s caseC 980/3039 pairs=64388940 max_freed=14 t=0.2s caseC 1000/3039 pairs=65703000 max_freed=14 t=0.2s caseC 1020/3039 pairs=67017060 max_freed=14 t=0.2s caseC 1040/3039 pairs=68331120 max_freed=14 t=0.2s caseC 1060/3039 pairs=69645180 max_freed=14 t=0.2s caseC 1080/3039 pairs=70959240 max_freed=14 t=0.2s caseC 1100/3039 pairs=72273300 max_freed=14 t=0.2s caseC 1120/3039 pairs=73587360 max_freed=14 t=0.2s caseC 1140/3039 pairs=74901420 max_freed=14 t=0.2s caseC 1160/3039 pairs=76215480 max_freed=14 t=0.2s caseC 1180/3039 pairs=77529540 max_freed=14 t=0.2s caseC 1200/3039 pairs=78843600 max_freed=14 t=0.3s caseC 1220/3039 pairs=80157660 max_freed=14 t=0.3s caseC 1240/3039 pairs=81471720 max_freed=14 t=0.3s caseC 1260/3039 pairs=82785780 max_freed=14 t=0.3s caseC 1280/3039 pairs=84099840 max_freed=14 t=0.3s caseC 1300/3039 pairs=85413900 max_freed=14 t=0.3s caseC 1320/3039 pairs=86727960 max_freed=14 t=0.3s caseC 1340/3039 pairs=88042020 max_freed=14 t=0.3s caseC 1360/3039 pairs=89356080 max_freed=14 t=0.3s caseC 1380/3039 pairs=90670140 max_freed=14 t=0.3s caseC 1400/3039 pairs=91984200 max_freed=14 t=0.3s caseC 1420/3039 pairs=93298260 max_freed=14 t=0.3s caseC 1440/3039 pairs=94612320 max_freed=14 t=0.3s caseC 1460/3039 pairs=95926380 max_freed=14 t=0.3s caseC 1480/3039 pairs=97240440 max_freed=14 t=0.3s caseC 1500/3039 pairs=98554500 max_freed=14 t=0.3s caseC 1520/3039 pairs=99868560 max_freed=14 t=0.3s caseC 1540/3039 pairs=101182620 max_freed=14 t=0.3s caseC 1560/3039 pairs=102496680 max_freed=14 t=0.3s caseC 1580/3039 pairs=103810740 max_freed=14 t=0.3s caseC 1600/3039 pairs=105124800 max_freed=14 t=0.3s caseC 1620/3039 pairs=106438860 max_freed=14 t=0.3s caseC 1640/3039 pairs=107752920 max_freed=14 t=0.3s caseC 1660/3039 pairs=109066980 max_freed=14 t=0.3s caseC 1680/3039 pairs=110381040 max_freed=14 t=0.3s caseC 1700/3039 pairs=111695100 max_freed=14 t=0.3s caseC 1720/3039 pairs=113009160 max_freed=14 t=0.3s caseC 1740/3039 pairs=114323220 max_freed=14 t=0.3s caseC 1760/3039 pairs=115637280 max_freed=14 t=0.3s caseC 1780/3039 pairs=116951340 max_freed=14 t=0.3s caseC 1800/3039 pairs=118265400 max_freed=14 t=0.3s caseC 1820/3039 pairs=119579460 max_freed=14 t=0.3s caseC 1840/3039 pairs=120893520 max_freed=14 t=0.3s caseC 1860/3039 pairs=122207580 max_freed=14 t=0.3s caseC 1880/3039 pairs=123521640 max_freed=14 t=0.3s caseC 1900/3039 pairs=124835700 max_freed=14 t=0.3s caseC 1920/3039 pairs=126149760 max_freed=14 t=0.4s caseC 1940/3039 pairs=127463820 max_freed=14 t=0.4s caseC 1960/3039 pairs=128777880 max_freed=14 t=0.4s caseC 1980/3039 pairs=130091940 max_freed=14 t=0.4s caseC 2000/3039 pairs=131406000 max_freed=14 t=0.4s caseC 2020/3039 pairs=132720060 max_freed=14 t=0.4s caseC 2040/3039 pairs=134034120 max_freed=14 t=0.4s caseC 2060/3039 pairs=135348180 max_freed=14 t=0.4s caseC 2080/3039 pairs=136662240 max_freed=14 t=0.4s caseC 2100/3039 pairs=137976300 max_freed=14 t=0.4s caseC 2120/3039 pairs=139290360 max_freed=14 t=0.4s caseC 2140/3039 pairs=140604420 max_freed=14 t=0.4s caseC 2160/3039 pairs=141918480 max_freed=14 t=0.4s caseC 2180/3039 pairs=143232540 max_freed=14 t=0.4s caseC 2200/3039 pairs=144546600 max_freed=14 t=0.4s caseC 2220/3039 pairs=145860660 max_freed=14 t=0.4s caseC 2240/3039 pairs=147174720 max_freed=14 t=0.4s caseC 2260/3039 pairs=148488780 max_freed=14 t=0.4s caseC 2280/3039 pairs=149802840 max_freed=14 t=0.4s caseC 2300/3039 pairs=151116900 max_freed=14 t=0.4s caseC 2320/3039 pairs=152430960 max_freed=14 t=0.4s caseC 2340/3039 pairs=153745020 max_freed=14 t=0.4s caseC 2360/3039 pairs=155059080 max_freed=14 t=0.4s caseC 2380/3039 pairs=156373140 max_freed=14 t=0.4s caseC 2400/3039 pairs=157687200 max_freed=14 t=0.4s caseC 2420/3039 pairs=159001260 max_freed=14 t=0.5s caseC 2440/3039 pairs=160315320 max_freed=14 t=0.5s caseC 2460/3039 pairs=161629380 max_freed=14 t=0.5s caseC 2480/3039 pairs=162943440 max_freed=14 t=0.5s caseC 2500/3039 pairs=164257500 max_freed=14 t=0.5s caseC 2520/3039 pairs=165571560 max_freed=14 t=0.5s caseC 2540/3039 pairs=166885620 max_freed=14 t=0.5s caseC 2560/3039 pairs=168199680 max_freed=14 t=0.5s caseC 2580/3039 pairs=169513740 max_freed=14 t=0.5s caseC 2600/3039 pairs=170827800 max_freed=14 t=0.5s caseC 2620/3039 pairs=172141860 max_freed=14 t=0.5s caseC 2640/3039 pairs=173455920 max_freed=14 t=0.5s caseC 2660/3039 pairs=174769980 max_freed=14 t=0.5s caseC 2680/3039 pairs=176084040 max_freed=14 t=0.5s caseC 2700/3039 pairs=177398100 max_freed=14 t=0.5s caseC 2720/3039 pairs=178712160 max_freed=14 t=0.5s caseC 2740/3039 pairs=180026220 max_freed=14 t=0.6s caseC 2760/3039 pairs=181340280 max_freed=14 t=0.6s caseC 2780/3039 pairs=182654340 max_freed=14 t=0.6s caseC 2800/3039 pairs=183968400 max_freed=14 t=0.6s caseC 2820/3039 pairs=185282460 max_freed=14 t=0.6s caseC 2840/3039 pairs=186596520 max_freed=14 t=0.6s caseC 2860/3039 pairs=187910580 max_freed=14 t=0.6s caseC 2880/3039 pairs=189224640 max_freed=14 t=0.6s caseC 2900/3039 pairs=190538700 max_freed=14 t=0.6s caseC 2920/3039 pairs=191852760 max_freed=14 t=0.6s caseC 2940/3039 pairs=193166820 max_freed=14 t=0.6s caseC 2960/3039 pairs=194480880 max_freed=14 t=0.6s caseC 2980/3039 pairs=195794940 max_freed=14 t=0.6s caseC 3000/3039 pairs=197109000 max_freed=14 t=0.6s caseC 3020/3039 pairs=198423060 max_freed=14 t=0.6s caseC n=199671417 max_freed=14 hit=0 t=0.64s no 368 in Hamming-13 case C (added vertex with 4 blockers)