Skip to content
Snippets Groups Projects
Commit 22b878b6 authored by Radek Hušek's avatar Radek Hušek
Browse files

add test_exp_cdc logs

parent 0a992383
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
experiments/test_exp_cdc_20.log 0 → 100644
+ 5783
− 0
View file @ 22b878b6
Source diff could not be displayed: it is too large. Options to address this: view the blob.
experiments/test_exp_cdc_upto_18.log 0 → 100644
+ 516
− 0
View file @ 22b878b6
{"graph": "ICOf@pSb?", "cdc_count": 52, "n": 10, "expected_cdc_lowerbound": 16, "is_ok": true}
{"graph": "K?ABEagE`gH_", "cdc_count": 228, "n": 12, "expected_cdc_lowerbound": 32, "is_ok": true}
{"graph": "K?`@E`gEcKE_", "cdc_count": 216, "n": 12, "expected_cdc_lowerbound": 32, "is_ok": true}
{"graph": "M???FAW`agD_K_Q_?", "cdc_count": 968, "n": 14, "expected_cdc_lowerbound": 64, "is_ok": true}
{"graph": "M??CB@WpD_@WJ?D_?", "cdc_count": 832, "n": 14, "expected_cdc_lowerbound": 64, "is_ok": true}
{"graph": "M?AA@AWwAgDOCoBO?", "cdc_count": 756, "n": 14, "expected_cdc_lowerbound": 64, "is_ok": true}
{"graph": "M??CBBOQcWAgM?H_?", "cdc_count": 769, "n": 14, "expected_cdc_lowerbound": 64, "is_ok": true}
{"graph": "M?AA@_gwCQ@oT?Cg?", "cdc_count": 763, "n": 14, "expected_cdc_lowerbound": 64, "is_ok": true}
{"graph": "M?AA@BOi@KHGE_DO?", "cdc_count": 804, "n": 14, "expected_cdc_lowerbound": 64, "is_ok": true}
{"graph": "M?AAD?WsAQEOB_HG?", "cdc_count": 861, "n": 14, "expected_cdc_lowerbound": 64, "is_ok": true}
{"graph": "O????B_eCKIGL?Q_@g@E?", "cdc_count": 3836, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "M?AAD?oqAa@cI_D_?", "cdc_count": 862, "n": 14, "expected_cdc_lowerbound": 64, "is_ok": true}
{"graph": "M?AA@_gaQWCoSGc_?", "cdc_count": 812, "n": 14, "expected_cdc_lowerbound": 64, "is_ok": true}
{"graph": "O???C@_UEGQOL?IO@o?F?", "cdc_count": 3368, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O???C@_UEGU??wD_@g@S?", "cdc_count": 3378, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O???C@_UEGQOAWL?@o@E?", "cdc_count": 3212, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O???C@_UEGQOL?IO@S?M?", "cdc_count": 2973, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O???C@_UEGU?@gCo@g@S?", "cdc_count": 3121, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O?AA@?OaF?IAE_HG@g?F?", "cdc_count": 2514, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?_eEGM?DG?w@g@S?", "cdc_count": 3133, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?_eF?IODGAW?w@W?", "cdc_count": 2727, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O?AA@?OaF?IACoAW?s@W?", "cdc_count": 2614, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O???CB?[AQCg`_I_B_?d?", "cdc_count": 3068, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?_eEGM?DGAWCW?[?", "cdc_count": 2890, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?_eF?I_CgAW?w@W?", "cdc_count": 3212, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O?AA@?OaF?IADOIG@o?F?", "cdc_count": 2950, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?_eF?I_H_CW@g?T?", "cdc_count": 2846, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O???C@_UEGU?H_BOAW?T?", "cdc_count": 3162, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O???C@_UEGQO@gKO@g@S?", "cdc_count": 3099, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?oICHKOR?e?Ag?E_", "cdc_count": 2916, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?_eEGM?GoBOAc?T?", "cdc_count": 3004, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?oBE@T?X??sBO?i?", "cdc_count": 2780, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O???C@_sAQOoBGI_E_?e?", "cdc_count": 2665, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?_eEGKOKODG@K?[?", "cdc_count": 2637, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O?AA@?OaF?IAEOHG@o?F?", "cdc_count": 2860, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?oICHK_q?E_?w?a_", "cdc_count": 2915, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O???C@_UAKQCb?AoCg@c?", "cdc_count": 3046, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O???C@_UEGQOAgBOEG@K?", "cdc_count": 3118, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O???C@_UEGQOAgIOCo?i?", "cdc_count": 2728, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CAA_EE_HCL?B_CW?I_", "cdc_count": 3068, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?_eEGKOKODG@g?T?", "cdc_count": 2853, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CAA_EE_HCJ?D_CW?I_", "cdc_count": 2916, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O?AA@?OaF?IADOAW?s@S?", "cdc_count": 2932, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?oICHKOR?e??w?a_", "cdc_count": 2840, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?oICHKOq?F??w?a_", "cdc_count": 2823, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?oICH[?Q_F??w?a_", "cdc_count": 2740, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?oICHK_q?EO?w?c_", "cdc_count": 2887, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O?AA@?OaF?IAEO@o@c@D?", "cdc_count": 2794, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "Q??????wCoOoSOPGD_?R?Cg?b??", "cdc_count": 13846, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "O??CA?oICH[?Q_EO?w?g_", "cdc_count": 2566, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O?AA@?OaF?IAEO@W@S@K?", "cdc_count": 2592, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?oICHCos?Q_@g?a_", "cdc_count": 2674, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?oIF?PC@SCoGo?w?", "cdc_count": 2617, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O???E?oB@EPCh?CcJ?AK?", "cdc_count": 2844, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?oI?X[?Q_`OAW?g_", "cdc_count": 2138, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "Q??????wCoOoOWT?EG?U?BG?a_?", "cdc_count": 13538, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "O??CA?oICHKOq?BOAo?a_", "cdc_count": 2932, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?oICH[?Q_BOAo?a_", "cdc_count": 2786, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O???E?oB@EPCh?SCBOAK?", "cdc_count": 2875, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CAA_EEGICHCCoDG?[?", "cdc_count": 2991, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?oI?X[?Q_cO?w?g_", "cdc_count": 2279, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "O??CA?oICH[?Q_BOAW?g_", "cdc_count": 2641, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "Q????A?WCoOoSOR?E_?B_Go?I_?", "cdc_count": 10589, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "O???E?oB@QSO`GSCHO?k?", "cdc_count": 2836, "n": 16, "expected_cdc_lowerbound": 128, "is_ok": true}
{"graph": "Q??????wCoOoSOPG@g@E?IG?Q_?", "cdc_count": 14210, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_?[Ag@P?Go?M??", "cdc_count": 11834, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_?[Ag?T?H_?h??", "cdc_count": 12393, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_k??sAo?T?BO?`_?", "cdc_count": 12328, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_?[Ag@D?B_?h??", "cdc_count": 11569, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_g_KOAo?X?AS?B_?", "cdc_count": 11432, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_k??sAS?[?AW?d??", "cdc_count": 12192, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_g_HOAo?b?Ao?Go?", "cdc_count": 12667, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGo_Sd?@g?F?KG?i??", "cdc_count": 12390, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_AKAg?F?H_?h??", "cdc_count": 11376, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_g_KGAg?[?AS?B_?", "cdc_count": 11313, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_?kCWAoDO?HO?J??", "cdc_count": 13078, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WE_HC`_@SB_?F?K_?h??", "cdc_count": 11888, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_CK?wAo@S?BOA`??", "cdc_count": 12263, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_?sAg?R?J??a_?", "cdc_count": 12301, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_@SEC?F?B_?h??", "cdc_count": 10922, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_ASAg@B?I_?E_?", "cdc_count": 9846, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGocC`O@c@c?IO?B_?", "cdc_count": 10442, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_g_GWAS?i?B_?HO?", "cdc_count": 11195, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_KODC?Y?@c?B_?", "cdc_count": 12206, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_?sAK@H?B_?h??", "cdc_count": 11886, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_?kCWAoDA?I_?L??", "cdc_count": 12467, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_CKGgAg?[?IOAB??", "cdc_count": 11949, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_?kCWAo@I?I_AH??", "cdc_count": 12461, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_g_CSAS?[?AW?d??", "cdc_count": 11950, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_?sAK?Y?IG?e??", "cdc_count": 12118, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGo_Sd?@c?U?Gg?p??", "cdc_count": 12243, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_?sEC?J?B_?h??", "cdc_count": 11904, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_D_HOECCQ?Ac?B_?", "cdc_count": 12117, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WE_HC`_BCAg?F?K_?h??", "cdc_count": 11133, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_D_@WEC?Q_a_?b??", "cdc_count": 11799, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_k?@c@g?T?GW?R??", "cdc_count": 12246, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGoCSd??k@P?a_?b??", "cdc_count": 11338, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGo_Sd?@g?T?KG?b??", "cdc_count": 12335, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_@SAK@D?B_?h??", "cdc_count": 11160, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_ASAK@I?I_?E_?", "cdc_count": 9264, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGoCSd?Cc?R?a_?b??", "cdc_count": 11350, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WCoW_CcSOCK?M?I_?K_?", "cdc_count": 11182, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_g_CSAS?[?@W?h??", "cdc_count": 11482, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?W?wQOCWq?DC?E_P_?d??", "cdc_count": 10956, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGoDCb?@K@D?KOAB??", "cdc_count": 8992, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?W?wQOSGAWT??E_P_?d??", "cdc_count": 11392, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WE_HC`_BC?[@c?EO?d??", "cdc_count": 11495, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGoCSd?@c?F?g_?h??", "cdc_count": 11306, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW__oCc@o@P?KO?D_?", "cdc_count": 10423, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WCoW_CcSO@K@H?B_?b??", "cdc_count": 11100, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW__oCc@o@Q?KG?D_?", "cdc_count": 10467, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WE_HC`_ASD_?i?Go?Q_?", "cdc_count": 9415, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_?sEG?Y?IG?E_?", "cdc_count": 11393, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGocC`OAW@B?BG?i??", "cdc_count": 11517, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?W?wQOSGAWT??E_H_@D??", "cdc_count": 11190, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_ASAg@E?IG?E_?", "cdc_count": 9859, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WCoW_CcSO@K?L?J??b??", "cdc_count": 11215, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WE_HC`_@SB_@D?Co?h??", "cdc_count": 11856, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WCoW_CcSOCK?U?H_?K_?", "cdc_count": 11065, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGocCh?AW?T?IO?D_?", "cdc_count": 12103, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoW_c_CWDC@E?BO?EO?", "cdc_count": 11830, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WE_HCh?Cc?k?[?EO?b??", "cdc_count": 11420, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGoCSd?@c@D?AoA`??", "cdc_count": 11511, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGoCSd?@c@D?_o?h??", "cdc_count": 11330, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WC_x?P_HOB_?U?Gg?P_?", "cdc_count": 12266, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGoCSd?Cc?T?aO?b??", "cdc_count": 11428, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WAoGoCSd?Cc?T?_o?h??", "cdc_count": 11359, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?HGQ_B_?M?Cc?@o?", "cdc_count": 12508, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?W?ogos?L??k?T?IOAB??", "cdc_count": 9679, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WC_x?P_J?Ag?d?AW?b??", "cdc_count": 12133, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WC_x?P_J?Ag?d?GW?J??", "cdc_count": 12216, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WC_x?P_HO@c?U?K_?P_?", "cdc_count": 11722, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?HGQ_B_?M?CS?Ao?", "cdc_count": 11892, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_HGh?K_B_?T??[?EO?", "cdc_count": 9811, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?WC_x?T?CoDO?L?AW?d??", "cdc_count": 11495, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?W?ogos?L??k?T?GoAH??", "cdc_count": 10587, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?X?E_Ag?E_AK?E_?", "cdc_count": 11815, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?T?Co?M?S_J??E_?", "cdc_count": 11393, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?T?K_?w?T?BC?@o?", "cdc_count": 12576, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????A?W?ogos?DOCc?T?_o?h??", "cdc_count": 11797, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_HGh?K_?[?[?AK?SO?", "cdc_count": 9712, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?T?Cc?M?U?J??E_?", "cdc_count": 12112, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?HGQ_@g?k??s?Oo?", "cdc_count": 11789, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????B?K?WCSIOe?AoCI?OE@B??", "cdc_count": 12607, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?HGQ_?U?k?@S?X??", "cdc_count": 10285, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_HGh?K_B_?P_?w?EO?", "cdc_count": 9931, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?HGOo?U?s?DO?KO?", "cdc_count": 9604, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?BG?kAI?s?@o@c??", "cdc_count": 12128, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?HGQ_?[?K_DO?WO?", "cdc_count": 11727, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????B?g?oAcK_?sPO?Y?WO@CG?", "cdc_count": 9180, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?HGQ_@g?g_Co?Ao?", "cdc_count": 10844, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?X?EO?w?T?Cc?Co?", "cdc_count": 10710, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?HGQ_?U?M?DC?X??", "cdc_count": 10204, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????B?K?WCSgOa_GHAo?D_?DO?", "cdc_count": 10536, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????B?g?oG`S_@WE_?E_aO?i??", "cdc_count": 9936, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_[?H_AW?T??[?KO?", "cdc_count": 12174, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_[?Co?M?K_Ag?k??", "cdc_count": 12090, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_HGh?GoAE?X?E_?EO?", "cdc_count": 10326, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_HGi?BG?U?g_Co?e??", "cdc_count": 9328, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?T?Co?i?P_I_?E_?", "cdc_count": 11610, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?X?Co@g?`_Ag?EO?", "cdc_count": 11578, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?P_L?AW?T?AS?Co?", "cdc_count": 10090, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????B?K?WCSIOe?GIAg?@oAAG?", "cdc_count": 10978, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????B?K?WCS_Si?APAQ?P_?T??", "cdc_count": 10232, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?T?Cc@a?U?GW?E_?", "cdc_count": 11060, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?P_L?AW?S_AW?Co?", "cdc_count": 10898, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????B?K?WDCg_EOQ_ACO?s@D??", "cdc_count": 11478, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????B?K?WDCE__cOgAg?Go@@G?", "cdc_count": 10466, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?HGOo@g?K_E_?Oo?", "cdc_count": 10747, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_KGASHGPO?w?Cg?EO?", "cdc_count": 10678, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_[?Cg?M?K_J??J??", "cdc_count": 11602, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?P_KOAc?W_Ao?Ao?", "cdc_count": 9677, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_[?DO?q?P_Ao?a_?", "cdc_count": 9051, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_[?D_@a?E_Ag?`_?", "cdc_count": 12252, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_[?Cg?M?W_H_?J??", "cdc_count": 11664, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????B?K?WCSgOaC?X?i?U?@E??", "cdc_count": 10194, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_HGh?GoAE?T?F??EO?", "cdc_count": 10184, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????B?g?oAcK_?sPOAQ?HO@CG?", "cdc_count": 9484, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_T?HGQ_?[?c_DO?KO?", "cdc_count": 11076, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_[?H_AW?T?AS?Co?", "cdc_count": 10932, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?T?Cc@a?M?AW?a_?", "cdc_count": 11805, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_W_KGAo?S_?[?L??", "cdc_count": 10208, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_KGi?@o@c?g_Cg?IO?", "cdc_count": 10924, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_S_GoDC?[?DC?@o?", "cdc_count": 11604, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????B?K?WCSgOaCGH?i?E_@E??", "cdc_count": 10186, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?T?Cc?i?U?IG?E_?", "cdc_count": 11887, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?POCoAE?S_J??E_?", "cdc_count": 11268, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_[?Co?i?P_B_?a_?", "cdc_count": 11127, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?P_HOAc?c_Ag?HO?", "cdc_count": 10275, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?T?Cc?i?X?Gg?J??", "cdc_count": 11456, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?HGOcAS?i?BC?J??", "cdc_count": 9674, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?POCoAE?W_I_?E_?", "cdc_count": 11320, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_[?Cg@E?E_B_?d??", "cdc_count": 11812, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_HGh?GoAc?T?EC?EO?", "cdc_count": 10202, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?POCoAa?P_I_?E_?", "cdc_count": 11284, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_D_J?CW?T?CK@@O?", "cdc_count": 11962, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?P_HOAK?c_BC?I_?", "cdc_count": 11187, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_HGh?Go@c?d?EC?EO?", "cdc_count": 10482, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?P_DC?Y?d?BG?h??", "cdc_count": 9739, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_D_J?EC?F?Ac@@O?", "cdc_count": 11288, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_S_L?CW?D_BG?HO?", "cdc_count": 10924, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q????B?K?WCS_Si?I@?U?P_?T??", "cdc_count": 10226, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?HG?wAg?c_B_@GO?", "cdc_count": 11236, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_OoDOEO@P?BC?Ao?", "cdc_count": 8771, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?HGCgAg?Q_Q_?EO?", "cdc_count": 10557, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_W_KGAo?E_AK?L??", "cdc_count": 10178, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_[?Co@I?K_Ag?c_?", "cdc_count": 10374, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_W_L?AE?E_Ag?L??", "cdc_count": 10581, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_W_KGAg?U?BC?Ao?", "cdc_count": 8001, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?HGCgAI?Y?Q_?EO?", "cdc_count": 10654, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_[?Cg@E?K_Go?L??", "cdc_count": 11035, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_[?Co?i?S_@g?g_?", "cdc_count": 11046, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GE_HGgGBG@Q?g_Co?e??", "cdc_count": 9290, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_S_L?CW?T?@K?HO?", "cdc_count": 11169, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCo[?POCoAa?S_IG?E_?", "cdc_count": 10990, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_S_KO?i?P_B_?a_?", "cdc_count": 11204, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_S_KODC?W_@o?Ao?", "cdc_count": 10765, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_S_KOCo?S_AW?Co?", "cdc_count": 10299, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_W_KGAI?K_Ag?L??", "cdc_count": 9303, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_OoKOAE?W_I_?E_?", "cdc_count": 10202, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_W_KGAI?W_Ao?E_?", "cdc_count": 9478, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_[?Cc@a?T?Go?D_?", "cdc_count": 10708, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_D_BGEC@E?Ac@@O?", "cdc_count": 11096, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_WOGgAE?k?Ac?L??", "cdc_count": 9292, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoOoDO[?CcAO_?k?J??", "cdc_count": 6966, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_W_KGAa?S_?w?L??", "cdc_count": 10068, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_W_KGAa?E_Ag?L??", "cdc_count": 9885, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoOoDO[?CcAC_AK?J??", "cdc_count": 7140, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_DOH_EC?T?AS@AO?", "cdc_count": 10137, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oY?L?IO?T?J?Oc?M??", "cdc_count": 11732, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_CgIGCg?g_?s@I??", "cdc_count": 10147, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oY?L?I_?h?R?@g@AO?", "cdc_count": 11218, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_WOH_Aa?d?Ac?H_?", "cdc_count": 10157, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_@gKGAa@E?Q_?HO?", "cdc_count": 10723, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?GCoW_@gKGAa?E_Q_?h??", "cdc_count": 10668, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oY?L?Gg@E?U?P_?DG?", "cdc_count": 11510, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?U?@W?J?D_?Ag?", "cdc_count": 11620, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?S_?L?w?@o?I_?", "cdc_count": 11153, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g@_X?SCHOAS?U?BG?EG?", "cdc_count": 10069, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oY?L?Gg@E?U?PO?EG?", "cdc_count": 11624, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oK@HOCoQCAK?BC?I_?", "cdc_count": 11246, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g@_X?HGS_Ag?K_AI?J??", "cdc_count": 11417, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g@_X?SCJ?AS?U?@W?EG?", "cdc_count": 10875, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oC`GoPOAEAc?aG?M??", "cdc_count": 11465, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oC`K_OcIG?J?AgAK??", "cdc_count": 10794, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?P_B_?U?CW?Ag?", "cdc_count": 11765, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?S_BG?[?@I?B_?", "cdc_count": 11938, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g@_X?SCJ?AW?T?@W?EG?", "cdc_count": 11216, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oW_SC@aD_?U?Gg?P_?", "cdc_count": 10915, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?R?@W?b?D_?Ag?", "cdc_count": 11937, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oC`GoSOAEAK?a_?K_?", "cdc_count": 10923, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oW_SCK_DC?U?@a?D_?", "cdc_count": 9947, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oY?QCL?@W@D?@W?EG?", "cdc_count": 11829, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oY?QCJ?AW@D?@W?EG?", "cdc_count": 11166, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oC`W_CKGg?e?aG?M??", "cdc_count": 12192, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oC`WOCoAE?L?a_@K??", "cdc_count": 11427, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?S_BC?[??w?DG?", "cdc_count": 10609, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?S_BC?U?@g?DG?", "cdc_count": 10687, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oK@HOc_AKAK?BC?I_?", "cdc_count": 11103, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oC`K_SCHG?M?AgAC_?", "cdc_count": 10961, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oW_SCGaAW?[?AW?c_?", "cdc_count": 10860, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O[?aCBGAS?i?@a@B??", "cdc_count": 10865, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?S_BC?U?@a?D_?", "cdc_count": 11664, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?E_@g?b?@g@AG?", "cdc_count": 11207, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oC`SCKOPOAK??w?K_?", "cdc_count": 9331, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oW_SC@aD_?R?Go?Q_?", "cdc_count": 11171, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?PO@o?p??w?QG?", "cdc_count": 8881, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?R?@W?b?@g?QG?", "cdc_count": 11650, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?P_?L?w?Co?I_?", "cdc_count": 11558, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oC`Gos?AS?J?QC?M??", "cdc_count": 11331, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?R?AP?M?CW?I_?", "cdc_count": 11100, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oY?QCDGDO?F?HO?EG?", "cdc_count": 10677, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?R??X?k?CW?I_?", "cdc_count": 11555, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?S_?X?w?@W?I_?", "cdc_count": 11258, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oW_SC@aEO?F?IO?K_?", "cdc_count": 10802, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oW_SC@aEO?F?IG?L??", "cdc_count": 11102, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oC`K_SCHG?M?BGAA_?", "cdc_count": 10795, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?S_BG?X?@a?B_?", "cdc_count": 11913, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g@_X?SCDOCS?U?BG?EG?", "cdc_count": 10746, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oC`K_SCGg?F?aG?M??", "cdc_count": 10168, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O[?aCF?AS?J?@a@B??", "cdc_count": 9131, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oY?QCDG@W@D?HO?EG?", "cdc_count": 11006, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaX?q?@W?b?D_?Ag?", "cdc_count": 10997, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?o?ps?AKGg@W?Gg?R??", "cdc_count": 10173, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O[?aCDAAS?J?B_@B??", "cdc_count": 9076, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?P_@c?s??w?PG?", "cdc_count": 10207, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?g?oW_SC@aD_?R?Gg?R??", "cdc_count": 11859, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?S_?X?[?AW?S_?", "cdc_count": 10800, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?QOBO?h?@o?Ag?", "cdc_count": 11297, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?P_AD?Y?Co?I_?", "cdc_count": 11267, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?P_AP?U?EG?D_?", "cdc_count": 10065, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?P_?X?w?CW?I_?", "cdc_count": 11714, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?P_@c?U?Cg?PG?", "cdc_count": 10738, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?P_AP?Y?CW?I_?", "cdc_count": 11322, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?QOBO?h?@a?B_?", "cdc_count": 10863, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?S_?X?Y?DG?I_?", "cdc_count": 10114, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOas?D_?X@D?BG@H??", "cdc_count": 10558, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?P_?X?h?EO?I_?", "cdc_count": 10326, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?OoAP?w?@W?I_?", "cdc_count": 8568, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaX?DOPO?R?Cg@AG?", "cdc_count": 9837, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaX?DOOS?R?E_@AG?", "cdc_count": 9783, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaX?_g@c?cOSO?J??", "cdc_count": 11148, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaW_R?@K?i?c_?Ag?", "cdc_count": 7856, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaW_q?BG?M?DG?Ag?", "cdc_count": 10629, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaW_SO?wCS?BG?Og?", "cdc_count": 10771, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaX?DOPO?p??w@AG?", "cdc_count": 9818, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWO_gIO?p?B_?DG?", "cdc_count": 10715, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaX?a_HG?L?CW?QG?", "cdc_count": 10966, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?Ao@c?b?P_?QG?", "cdc_count": 11664, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?Oo@K?[?Cg?SG?", "cdc_count": 9261, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWOq?@o?h?Co?Ag?", "cdc_count": 11852, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaW_SOPO?p?@W?EG?", "cdc_count": 10378, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaX?a_@KAa?Cg?EG?", "cdc_count": 10143, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaX?B_BGC`??w@AG?", "cdc_count": 9767, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaW_cG?sAW?Ao?PG?", "cdc_count": 10114, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWO?wPC?s?P_?SG?", "cdc_count": 9193, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?OoAD?Y?D_?I_?", "cdc_count": 10423, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWOa_H_?h?Co?Ag?", "cdc_count": 11790, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaW_R?AH?M?cG?I_?", "cdc_count": 9768, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWO?wAcCo?B_@AG?", "cdc_count": 9893, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaGoPOX??T?DG?QG?", "cdc_count": 9144, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@ag_q?IO?M??Y?S_?", "cdc_count": 11429, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaGoEOX?AK?DG?Ag?", "cdc_count": 10972, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaGoSOX??[?DG?Ag?", "cdc_count": 10784, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaw?OoAP?Y?DG?I_?", "cdc_count": 10500, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWOa_@cAK?Ca?P_?", "cdc_count": 11644, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWOa_@cAK?Cg?PG?", "cdc_count": 10541, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaHOo_HG?`OD_?I_?", "cdc_count": 8545, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaGoDOWOAW?EG?Ag?", "cdc_count": 9745, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaW_q?BC?L??q?T??", "cdc_count": 10802, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWO@WBCCS?P_?QG?", "cdc_count": 9520, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWO?wPC?KOS_?[??", "cdc_count": 10246, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@ag_q?IO?i?@I?B_?", "cdc_count": 10668, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWOq?AP?h?@o?I_?", "cdc_count": 10685, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaGoSO?dAW?AgAQ??", "cdc_count": 8026, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWODOBO?X?_g@AG?", "cdc_count": 10755, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWO?wPC?cOP_?[??", "cdc_count": 9478, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@ag_q?IO?h?@Q?B_?", "cdc_count": 9932, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWOAoPCAK?Ca?S_?", "cdc_count": 11173, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWO_g@K?[?S_?SG?", "cdc_count": 9895, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWO?wPC?[?S_?SG?", "cdc_count": 9612, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWOq??p?h?Co?I_?", "cdc_count": 11525, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaGoPOX??DOD_?W_?", "cdc_count": 10332, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOa?qa_IOBG?AW?S_?", "cdc_count": 7572, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@ag_q?Go?i?CI?B_?", "cdc_count": 10622, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaHOo_H_?cOCW?I_?", "cdc_count": 9935, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaGoo_HG?p?@g?SG?", "cdc_count": 9365, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaGoPOX??p?@g?QG?", "cdc_count": 9299, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@aw?QOQO?h?@a?B_?", "cdc_count": 9911, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@aw?QOOo?h?Ca?B_?", "cdc_count": 10077, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@ag_q?IG?M??i?S_?", "cdc_count": 10730, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@ag_q?IG?k?@I?B_?", "cdc_count": 9856, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@aw?OoBG?h?@aAA_?", "cdc_count": 7371, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@ag_q?Gg?e??i?S_?", "cdc_count": 10648, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaHOOoX??cODG?I_?", "cdc_count": 8920, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@ag_q?AD?L?DO@B??", "cdc_count": 9987, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaHOOoH_?cOcG?I_?", "cdc_count": 9516, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWOAoPCAc?@a?S_?", "cdc_count": 11470, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaHOo_HG?cODG?I_?", "cdc_count": 8907, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@ae?w?AS?J?@a@B??", "cdc_count": 9070, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaWOAoPC?d?@a@S??", "cdc_count": 11493, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WDOe?h?GaAE?CW?Ag?", "cdc_count": 11046, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaGoo_HG?X?Cg?SG?", "cdc_count": 9633, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaPAHO?[?p?c_@I??", "cdc_count": 8829, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@aDAw?GW?J?_g?Y??", "cdc_count": 2704, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WDOw?e?Ga?M?CW?Ag?", "cdc_count": 11087, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WSOY?aGAD?i?P_?BO?", "cdc_count": 10064, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAI_d?K_AE?Cg?@g?", "cdc_count": 11091, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WDOw?QOOa?`O?w?U??", "cdc_count": 10572, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaGoBOI@AK?cG?I_?", "cdc_count": 11199, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAI_`_K_Aa?Cg?@g?", "cdc_count": 11354, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@ag_p?AD?J?E_@B??", "cdc_count": 6678, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOa?qq?Go@D?DG?X??", "cdc_count": 10095, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@ag_AoY?AI??i?S_?", "cdc_count": 9102, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@OOaPAHOOS?p?Co@I??", "cdc_count": 9070, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@ag_q??d?b?D_@B??", "cdc_count": 9558, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAI_w?I_?M?Cg?@g?", "cdc_count": 11123, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WWAa_IOCDAc?@o?S_?", "cdc_count": 9969, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAI_w?Go?h?Co?@g?", "cdc_count": 10698, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K@O@ag_AoW_Aa??i?S_?", "cdc_count": 9144, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAI_w?Go?i?Cg?@g?", "cdc_count": 11079, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@Qq?g_K_?i?Cg?@g?", "cdc_count": 11284, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WWAi?GoAP?T?@W@S??", "cdc_count": 10574, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WDOw?QOOc?i??k?QG?", "cdc_count": 9731, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WDOw?QOOa?DOCW?U??", "cdc_count": 10284, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?U?BG?F?K_HO?R??", "cdc_count": 10999, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@Qi?d?K_AE?Cg?@g?", "cdc_count": 10970, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAY?P_CgCc?CI?B_?", "cdc_count": 11614, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WDOw?QOOa?L?CW?QG?", "cdc_count": 10363, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?U?B_AS@I?@E?@o?", "cdc_count": 10339, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?U?B_CQ?i?@I?@o?", "cdc_count": 10300, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WDOw?QOOa?h??w?QG?", "cdc_count": 10152, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WWAa_IOK_?DOCo?S_?", "cdc_count": 10015, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?IOB_IO?h?@E?@o?", "cdc_count": 9728, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAI_w?I_?M?CW?Ag?", "cdc_count": 10631, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?U?B_AS?H_@Q?`O?", "cdc_count": 10371, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WWAi?CaBCAE?HO?E_?", "cdc_count": 10201, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WWAa_IOK_?cO?w?S_?", "cdc_count": 10326, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WWAa_IOCDAK?Co?S_?", "cdc_count": 10488, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAI_w?Gg?h?Co?Ag?", "cdc_count": 10280, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPA`_X?ADAa?Ag?b??", "cdc_count": 11871, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAQ_X?AH@E?cG?E_?", "cdc_count": 10496, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAY??iCKCg?S_?F??", "cdc_count": 11066, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?U?B_CQ?h?@Q?@o?", "cdc_count": 10461, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAY??iCKCc?DO@E??", "cdc_count": 10104, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?U?B_AS?J?@E?`O?", "cdc_count": 10780, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAQ_X?AP?i??wA__?", "cdc_count": 10842, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAI_s?K_?EOCW?E_?", "cdc_count": 9361, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@Qq?WOOc@K?CW?QG?", "cdc_count": 7524, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WWAi?CaBCAI?Go?E_?", "cdc_count": 10299, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAI_w?Gg?L?CW?QG?", "cdc_count": 9390, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@QGaw?HGC`?@W?U??", "cdc_count": 7424, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?IOB_AW?h?@E@?o?", "cdc_count": 10105, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WWAa_GaDC?J?D_@P??", "cdc_count": 9116, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@QgAY?Gg?b?@gAQ??", "cdc_count": 10043, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAI_s?K_?EOCg?D_?", "cdc_count": 10836, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAI_w?Gg?h??w?QG?", "cdc_count": 9600, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAEO@c?D_@S?e??", "cdc_count": 8881, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAJ?@E?I_@g?R??", "cdc_count": 10166, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAHOB_?E_Ag?Co?", "cdc_count": 10703, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@Qq?g_CD?b?D_@D??", "cdc_count": 10702, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAIOo_K_?`OCo?E_?", "cdc_count": 9733, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WOQi?SAAc?T?PO?b??", "cdc_count": 7454, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAIOo_K_?cOCW?E_?", "cdc_count": 10231, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WOQi?OaIG?p?@W?e??", "cdc_count": 10407, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@QgAHOGWAo?`G?Q_?", "cdc_count": 7940, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAHOAS?Q_B_?Co?", "cdc_count": 11053, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAJ?Ao?R??s?Co?", "cdc_count": 10572, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WOQWASOPC?s?H_?D_?", "cdc_count": 10444, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_Q_M?AD@G_?[?F??", "cdc_count": 6600, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@QgAY?QC?L?Co@D??", "cdc_count": 10821, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAHOAo?X??[?IO?", "cdc_count": 9967, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_W_B_AD?H_AS?p??", "cdc_count": 9268, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SACWCo?Y?Ac?Co?", "cdc_count": 10714, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAHO?M?W_@g?Y??", "cdc_count": 8726, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAF?Co?R??s?Co?", "cdc_count": 11154, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAJ?AS?Q_@o?Co?", "cdc_count": 11908, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@Qq?g_AS@H?CQ@D??", "cdc_count": 10869, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAHO?M?K_BG?Y??", "cdc_count": 9205, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAIOOoK_?cOcG?E_?", "cdc_count": 9895, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_W_IOBO?h??[?CW?", "cdc_count": 9991, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAJ?Ao?F?AS?Co?", "cdc_count": 11974, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAF?@K?D_H_?DO?", "cdc_count": 10865, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPA`_OaKG@H?Co?W_?", "cdc_count": 11679, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAJ?@E?K_@W?R??", "cdc_count": 10608, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SADG@K?[?Gc?DO?", "cdc_count": 11554, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_Y?KAAW?L?BC?@o?", "cdc_count": 11750, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SADG?M?K_J??J??", "cdc_count": 10476, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAF?CQ?R?@o?Co?", "cdc_count": 11137, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAWAIO?[?h?c_@E??", "cdc_count": 8928, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@QgAY?Oc?b?@o@Q??", "cdc_count": 9541, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_Q_M?AD@A_@K?F??", "cdc_count": 6389, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_Y?EOAo?HO?k?`O?", "cdc_count": 9800, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WPAWAIOOS?h?Co@E??", "cdc_count": 9242, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?WOQWAaGAc@I?Q_?R??", "cdc_count": 10372, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_WAB_Ag?d?AK?`O?", "cdc_count": 9363, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_[?J??b?D_Ao?P_?", "cdc_count": 9536, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_[?IO?J?d?BG?EO?", "cdc_count": 10803, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@QgAY?Oc?F?DO@Q??", "cdc_count": 9538, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SACWD_?M?Ac?Co?", "cdc_count": 11168, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAHOBC?E_B_?Co?", "cdc_count": 10752, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_W_KABG?X?@c?@o?", "cdc_count": 11067, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SADG@E?K_HO?J??", "cdc_count": 10212, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WX?h?AWAg?@oS_?aO?", "cdc_count": 10546, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@QgAY?OS?h?SO?F??", "cdc_count": 11101, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_W_E_Ag?HOGS?Go?", "cdc_count": 9685, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_W_KOBO?HO@S?Go?", "cdc_count": 10049, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SADG@E?E_BO?e??", "cdc_count": 11406, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_WAB_AS?P_@S?p??", "cdc_count": 9432, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_W_E_@K@A_@K?SG?", "cdc_count": 9116, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@QgAX?GW?q?`G?Q_?", "cdc_count": 10004, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@QgAY?GW?i?CgAC_?", "cdc_count": 10271, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAHO?Y?P_F??E_?", "cdc_count": 10847, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_W_KABG?X??k?DO?", "cdc_count": 10966, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO@oY?GoY??h??[?CW?", "cdc_count": 9996, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q???C@?K?W@QgAY?OS?h?PO?R??", "cdc_count": 10824, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?GQPGAS?w?@S?IO?", "cdc_count": 8671, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_WAI_AW?h?AK?DO?", "cdc_count": 8817, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO[?SAHO?Y?W_EG?E_?", "cdc_count": 10802, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_W_KA?q?Q_@W?W_?", "cdc_count": 9539, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_Y?KAAc?F?AS?EO?", "cdc_count": 11180, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WX?I_k?GB?B_@o?S_?", "cdc_count": 10519, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_W_KABG?K_@W?Go?", "cdc_count": 10093, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WX?I_[?OB?i??w?Co?", "cdc_count": 10478, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_WAIOB_?d??[?EO?", "cdc_count": 8814, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCO@oY?GoQG?h?OK?CW?", "cdc_count": 9656, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_WAIOBO?h??[?EO?", "cdc_count": 8570, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WX?I_k?GB?h??w?DO?", "cdc_count": 8793, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_WAB_AS?H_AS?p??", "cdc_count": 9699, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WX?I_k?GB?H_@o?P_?", "cdc_count": 10446, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_WAM?AS?J?AS?EO?", "cdc_count": 10366, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WX?I_[?OB?H_@o?P_?", "cdc_count": 9682, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_WAL?AK?D_BC?J??", "cdc_count": 10380, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_WAL?BG?F?@c?Go?", "cdc_count": 11534, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WX?M?h??L?I_Cg@AO?", "cdc_count": 11133, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_WAEOAc?P_?s?e??", "cdc_count": 9944, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WX?k?AKAK?I_Ga@E??", "cdc_count": 9882, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@k?I_BGAH?@c?@o?", "cdc_count": 11477, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_WADG?U?e?AS?k??", "cdc_count": 9933, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@i?K_BGAG_@g?@o?", "cdc_count": 10159, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@i?U?AK?H_?s?e??", "cdc_count": 9568, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@k?I_BGAH??k?DO?", "cdc_count": 10169, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@i?T?BC?B_@c?b??", "cdc_count": 10513, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@W_IOR??h?@S?Ao?", "cdc_count": 10656, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_CCOW_WAM?Ac?F?AS?EO?", "cdc_count": 10844, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@i?K_BGAH??k?DO?", "cdc_count": 9411, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@i?EO?[@C_@K@S??", "cdc_count": 9891, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@k?I_BGA@_@g?DO?", "cdc_count": 10731, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@i?U?AK?D_@S?e??", "cdc_count": 9355, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@i?K_BGA@_@g?DO?", "cdc_count": 10352, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@k?I_HA?h??w?DO?", "cdc_count": 10439, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@k?IOHA?H_@o?Q_?", "cdc_count": 9848, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@k?I_HA?b?@g?DO?", "cdc_count": 10021, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@i?AgE_?b??s@CO?", "cdc_count": 9106, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@k?I_Ac?R??s@CO?", "cdc_count": 10697, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
{"graph": "Q??CA?_C?WW@i?U?AS?J?HC?BO?", "cdc_count": 11138, "n": 18, "expected_cdc_lowerbound": 256, "is_ok": true}
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment