files / problems / ramsey-r55 / compute / q4 / certs / p5_c7_k3_neighborhoods.json
{
"cycles": 7,
"enumeration_sec": 11.45,
"fixed_cycle_count": 3,
"local_clauses": 1102,
"p": 5,
"projected_variables": [
85,
86,
87,
88,
89,
90,
91,
92,
93,
94,
95,
96,
117,
118,
119,
120,
121,
122,
123,
144,
145
],
"rows": [
"010000000011010101110",
"010000000011010110110",
"010000000011011010110",
"010000000011011011010",
"010000000011011101010",
"010000000101010101110",
"010000000101010110110",
"010000000101011010110",
"010000000101011011010",
"010000000101011101010",
"010000000111010101110",
"010000000111010110110",
"010000000111011010110",
"010000000111011011010",
"010000000111011101010",
"010000001011010001110",
"010000001011010010110",
"010000001011010011010",
"010000001011010011110",
"010000001011010100110",
"010000001011010101010",
"010000001011010101110",
"010000001011010110010",
"010000001011010110110",
"010000001011010111010",
"010000001011011000110",
"010000001011011001010",
"010000001011011001110",
"010000001011011010010",
"010000001011011010110",
"010000001011011011010",
"010000001011011100010",
"010000001011011100110",
"010000001011011101010",
"010000001011011110010",
"010000001011100001110",
"010000001011100011010",
"010000001011100101110",
"010000001011100110010",
"010000001011100110110",
"010000001011101000110",
"010000001011101010110",
"010000001011101011010",
"010000001011101100010",
"010000001011101101010",
"010000100001010100101",
"010000100001011010110",
"010000100001011100101",
"010000100001011100110",
"010000100001011101010",
"010000100001101000110",
"010000100001101010110",
"010000100001101100010",
"010000100001101101010",
"010000100011010100101",
"010000100011010100110",
"010000100011010101110",
"010000100011010110110",
"010000100011011000101",
"010000100011011001001",
"010000100011011001010",
"010000100011011001101",
"010000100011011011010",
"010000100011011100101",
"010000100011011101010",
"010000100011100001110",
"010000100011100101110",
"010000100011101100010",
"010000100011101101010",
"010000100101010000101",
"010000100101010001101",
"010000100101010001110",
"010000100101010010101",
"010000100101010010110",
"010000100101010011101",
"010000100101010011110",
"010000100101010100101",
"010000100101010100110",
"010000100101010101110",
"010000100101010110110",
"010000100101011000101",
"010000100101011000110",
"010000100101011001010",
"010000100101011001110",
"010000100101011010110",
"010000100101011011010",
"010000100101011100101",
"010000100101011100110",
"010000100101011101010",
"010000100101100001110",
"010000100101100011010",
"010000100101100101110",
"010000100101101000110",
"010000100101101001010",
"010000100101101010110",
"010000100101101011010",
"010000100101101100010",
"010000100101101101010",
"010000100111010000101",
"010000100111010000110",
"010000100111010001101",
"010000100111010010101",
"010000100111010010110",
"010000100111010011101",
"010000100111010100101",
"010000100111010100110",
"010000100111010110110",
"010000100111011000101",
"010000100111011001010",
"010000100111011011010",
"010000100111011100101",
"010000100111011101010",
"010000100111100001010",
"010000100111100011010",
"010000100111100101010",
"010000100111101000010",
"010000100111101001010",
"010000100111101010010",
"010000100111101011010",
"010000100111101100010",
"010000100111101101010",
"010000101011010000110",
"010000101011010001110",
"010000101011010010110",
"010000101011010011010",
"010000101011010011110",
"010000101011010100110",
"010000101011010101010",
"010000101011010101110",
"010000101011010110010",
"010000101011010110110",
"010000101011010111010",
"010000101011011000010",
"010000101011011001010",
"010000101011011010010",
"010000101011011011010",
"010000101011011100010",
"010000101011011101010",
"010000101011011110010",
"010000101011100001110",
"010000101011100010010",
"010000101011100010110",
"010000101011100011010",
"010000101011100101110",
"010000101011100110010",
"010000101011100110110",
"010000101011101010010",
"010000101011101011010",
"010000101011101100010",
"010000101011101101010",
"010001100001010100101",
"010001100001010110110",
"010001100001011010001",
"010001100001011010110",
"010001100001011100001",
"010001100001011100010",
"010001100001011100101",
"010001100001011100110",
"010001100001011101010",
"010001100001011110001",
"010001100001011110010",
"010001100001100110010",
"010001100001100110110",
"010001100001101000110",
"010001100001101010110",
"010001100011010100101",
"010001100011010100110",
"010001100011010101110",
"010001100011010110110",
"010001100011011000001",
"010001100011011000010",
"010001100011011000101",
"010001100011011001001",
"010001100011011001010",
"010001100011011001101",
"010001100011011010001",
"010001100011011010010",
"010001100011011011010",
"010001100011011100001",
"010001100011011100101",
"010001100011011110001",
"010001100011100001010",
"010001100011100001110",
"010001100011100010010",
"010001100011100010110",
"010001100011100011010",
"010001100011100101010",
"010001100011100101110",
"010001100011100110010",
"010001100011100110110",
"010001100011101000010",
"010001100011101001010",
"010001100011101010010",
"010001100011101011010",
"010001100101010000101",
"010001100101010001101",
"010001100101010001110",
"010001100101010010101",
"010001100101010010110",
"010001100101010011101",
"010001100101010011110",
"010001100101010100110",
"010001100101010101110",
"010001100101010110110",
"010001100101011000001",
"010001100101011000101",
"010001100101011000110",
"010001100101011001010",
"010001100101011001110",
"010001100101011010001",
"010001100101011010010",
"010001100101011010110",
"010001100101011011010",
"010001100101011100001",
"010001100101011100010",
"010001100101011100110",
"010001100101011101010",
"010001100101011110001",
"010001100101011110010",
"010001100101100001010",
"010001100101100011010",
"010001100101100100010",
"010001100101100100110",
"010001100101100101010",
"010001100101100110010",
"010001100101100110110",
"010001100101101000110",
"010001100101101001010",
"010001100101101010110",
"010001100101101011010",
"010001100111010000101",
"010001100111010000110",
"010001100111010001101",
"010001100111010010101",
"010001100111010010110",
"010001100111010011101",
"010001100111010100110",
"010001100111010110110",
"010001100111011000001",
"010001100111011000010",
"010001100111011000101",
"010001100111011001010",
"010001100111011010001",
"010001100111011010010",
"010001100111011011010",
"010001100111011100001",
"010001100111011110001",
"010001100111100000010",
"010001100111100000110",
"010001100111100001010",
"010001100111100010010",
"010001100111100010110",
"010001100111100011010",
"010001100111100100010",
"010001100111100100110",
"010001100111100101010",
"010001100111100110010",
"010001100111100110110",
"010001100111101000010",
"010001100111101001010",
"010001100111101010010",
"010001100111101011010",
"010001101011010000110",
"010001101011010001110",
"010001101011010010110",
"010001101011010011010",
"010001101011010011110",
"010001101011010100010",
"010001101011010100110",
"010001101011010101010",
"010001101011010101110",
"010001101011010110010",
"010001101011010110110",
"010001101011010111010",
"010001101011011000010",
"010001101011011001010",
"010001101011011010010",
"010001101011011011010",
"010001101011100001010",
"010001101011100001110",
"010001101011100010010",
"010001101011100010110",
"010001101011100101010",
"010001101011100101110",
"010001101011100110010",
"010001101011100110110",
"010001101011101000010",
"010001101011101001010",
"010001101011101010010",
"010010100000010011110",
"010010100000010111010",
"010010100000011001110",
"010010100000011100110",
"010010100000011110010",
"010010100001010010010",
"010010100001010010110",
"010010100001010011010",
"010010100001010011110",
"010010100001010100001",
"010010100001010100101",
"010010100001010101001",
"010010100001010110001",
"010010100001010110010",
"010010100001010110110",
"010010100001010111001",
"010010100001010111010",
"010010100001011000010",
"010010100001011000110",
"010010100001011001010",
"010010100001011001110",
"010010100001011100001",
"010010100001011100010",
"010010100001011100101",
"010010100001011100110",
"010010100001011101010",
"010010100001100011010",
"010010100001100110010",
"010010100001100110110",
"010010100001101000110",
"010010100001101010010",
"010010100001101010110",
"010010100001101011010",
"010010100001101100010",
"010010100001101101010",
"010010100011010000110",
"010010100011010001110",
"010010100011010010010",
"010010100011010010110",
"010010100011010011010",
"010010100011010011110",
"010010100011010100001",
"010010100011010100010",
"010010100011010101001",
"010010100011010101010",
"010010100011010110001",
"010010100011010111001",
"010010100011011000001",
"010010100011011000010",
"010010100011011000101",
"010010100011011001001",
"010010100011011001010",
"010010100011011001101",
"010010100011011100001",
"010010100011011100010",
"010010100011011101010",
"010010100011100000110",
"010010100011100001110",
"010010100011100010010",
"010010100011100010110",
"010010100011100011010",
"010010100011100100110",
"010010100011100101110",
"010010100011101010010",
"010010100011101011010",
"010010100011101100010",
"010010100011101101010",
"010010100101010000101",
"010010100101010001010",
"010010100101010001101",
"010010100101010001110",
"010010100101010010010",
"010010100101010010101",
"010010100101010010110",
"010010100101010011010",
"010010100101010011101",
"010010100101010011110",
"010010100101010100001",
"010010100101010100101",
"010010100101010100110",
"010010100101010101001",
"010010100101010101010",
"010010100101010101110",
"010010100101010110001",
"010010100101010110010",
"010010100101010110110",
"010010100101010111001",
"010010100101010111010",
"010010100101100001110",
"010010100101100011010",
"010010100101100101110",
"010010100101100110010",
"010010100101100110110",
"010010100111010000010",
"010010100111010000101",
"010010100111010000110",
"010010100111010001010",
"010010100111010001101",
"010010100111010010010",
"010010100111010010101",
"010010100111010010110",
"010010100111010011010",
"010010100111010011101",
"010010100111010100001",
"010010100111010100010",
"010010100111010101001",
"010010100111010101010",
"010010100111010110001",
"010010100111010111001",
"010010100111100000010",
"010010100111100000110",
"010010100111100001010",
"010010100111100010010",
"010010100111100010110",
"010010100111100011010",
"010010100111100100010",
"010010100111100100110",
"010010100111100101010",
"010010101011010100010",
"010010101011010101010",
"010010101011011000010",
"010010101011011001010",
"010010101011011100010",
"010010101011011101010",
"010010101011101100010",
"010010101011101101010",
"010011100000010011110",
"010011100000010111010",
"010011100000011001110",
"010011100000011100110",
"010011100000011110010",
"010011100001010010010",
"010011100001010010110",
"010011100001010011010",
"010011100001010011110",
"010011100001010100001",
"010011100001010100101",
"010011100001010101001",
"010011100001010110001",
"010011100001010110010",
"010011100001010110110",
"010011100001010111001",
"010011100001010111010",
"010011100001011000010",
"010011100001011000110",
"010011100001011001010",
"010011100001011001110",
"010011100001011100001",
"010011100001011100010",
"010011100001011100101",
"010011100001011100110",
"010011100001011101010",
"010011100001100010010",
"010011100001100010110",
"010011100001100011010",
"010011100001101000010",
"010011100001101000110",
"010011100001101001010",
"010011100001101010010",
"010011100001101010110",
"010011100001101011010",
"010011100011010000110",
"010011100011010001110",
"010011100011010010010",
"010011100011010010110",
"010011100011010011010",
"010011100011010011110",
"010011100011010100001",
"010011100011010100010",
"010011100011010101001",
"010011100011010101010",
"010011100011010110001",
"010011100011010111001",
"010011100011011000001",
"010011100011011000010",
"010011100011011000101",
"010011100011011001001",
"010011100011011001010",
"010011100011011001101",
"010011100011011100001",
"010011100011100000010",
"010011100011100000110",
"010011100011100001010",
"010011100011100001110",
"010011100011100010010",
"010011100011100010110",
"010011100011100011010",
"010011100011100100010",
"010011100011100100110",
"010011100011100101010",
"010011100011100101110",
"010011100011101000010",
"010011100011101001010",
"010011100011101010010",
"010011100011101011010",
"010011100101010000101",
"010011100101010001010",
"010011100101010001101",
"010011100101010001110",
"010011100101010010010",
"010011100101010010101",
"010011100101010010110",
"010011100101010011010",
"010011100101010011101",
"010011100101010011110",
"010011100101010100001",
"010011100101010100110",
"010011100101010101001",
"010011100101010101010",
"010011100101010101110",
"010011100101010110001",
"010011100101010110010",
"010011100101010110110",
"010011100101010111001",
"010011100101010111010",
"010011100101100000010",
"010011100101100000110",
"010011100101100001010",
"010011100101100010010",
"010011100101100010110",
"010011100101100011010",
"010011100101100100010",
"010011100101100100110",
"010011100101100101010",
"010011100111010000010",
"010011100111010000101",
"010011100111010000110",
"010011100111010001010",
"010011100111010001101",
"010011100111010010010",
"010011100111010010101",
"010011100111010010110",
"010011100111010011010",
"010011100111010011101",
"010011100111010100001",
"010011100111010100010",
"010011100111010101001",
"010011100111010101010",
"010011100111010110001",
"010011100111010111001",
"010011100111100000010",
"010011100111100000110",
"010011100111100001010",
"010011100111100010010",
"010011100111100010110",
"010011100111100011010",
"010011100111100100010",
"010011100111100100110",
"010011100111100101010",
"010011101011010100010",
"010011101011010101010",
"010011101011011000010",
"010011101011011001010",
"010011101011100000010",
"010011101011100001010",
"010011101011100100010",
"010011101011100101010",
"010011101011101000010",
"010011101011101001010",
"010101100000100001110",
"010101100000100011010",
"010101100000100101110",
"010101100000100110010",
"010101100000100110110",
"010101100000101000110",
"010101100000101010110",
"010101100000101011010",
"010101100000101100010",
"010101100000101101010",
"010101100001100001010",
"010101100001100001110",
"010101100001100011010",
"010101100001100101010",
"010101100001100101110",
"010101100001100110010",
"010101100001100110110",
"010101100001101000110",
"010101100001101001010",
"010101100001101010110",
"010101100001101011010",
"010101100011100001010",
"010101100011100001110",
"010101100011100010010",
"010101100011100010110",
"010101100011100101010",
"010101100011100101110",
"010101100011100110010",
"010101100011100110110",
"010101100011101000010",
"010101100011101001010",
"010101100011101010010",
"010101100101101000110",
"010101100101101010110",
"010101100111100000010",
"010101100111100000110",
"010101100111100010010",
"010101100111100010110",
"010101100111101000010",
"010101100111101010010",
"100000100001100011010",
"100000100001101011010",
"100000100011100010010",
"100000100011100010110",
"100000100011100011010",
"100000100011100110010",
"100000100011100110110",
"100000100011101010010",
"100000100011101011010",
"100000100101100011010",
"100000100101101001010",
"100000100101101011010",
"100000100101101100010",
"100000100101101101010",
"100000101011100010010",
"100000101011100010110",
"100000101011100011010",
"100000101011100110010",
"100000101011100110110",
"100000101011101010010",
"100000101011101011010",
"100001100001100001010",
"100001100001100001110",
"100001100001100011010",
"100001100001100101010",
"100001100001100101110",
"100001100001101001010",
"100001100001101011010",
"100001100011100001010",
"100001100011100001110",
"100001100011100010010",
"100001100011100010110",
"100001100011100011010",
"100001100011100101010",
"100001100011100101110",
"100001100011100110010",
"100001100011100110110",
"100001100101100001010",
"100001100101100011010",
"100001100101100100010",
"100001100101100100110",
"100001100101100101010",
"100001100101100110010",
"100001100101100110110",
"100001100101101001010",
"100001100101101011010",
"100001101011100001010",
"100001101011100001110",
"100001101011100010010",
"100001101011100010110",
"100001101011100101010",
"100001101011100101110",
"100001101011100110010",
"100001101011100110110",
"100010100001100011010",
"100010100001101000110",
"100010100001101010010",
"100010100001101010110",
"100010100001101011010",
"100010100011100000110",
"100010100011100001110",
"100010100011100010010",
"100010100011100010110",
"100010100011100011010",
"100010100011100100110",
"100010100011100101110",
"100010100011101010010",
"100010100011101011010",
"100010100101100011010",
"100010100101101000010",
"100010100101101000110",
"100010100101101001010",
"100010100101101010010",
"100010100101101010110",
"100010100101101011010",
"100010100101101100010",
"100010100101101101010",
"100010101011100000110",
"100010101011100001110",
"100010101011100010010",
"100010101011100010110",
"100010101011100011010",
"100010101011100100110",
"100010101011100101110",
"100010101011101010010",
"100010101011101011010",
"100101100001100001010",
"100101100001100001110",
"100101100001100011010",
"100101100001100101010",
"100101100001100101110",
"100101100001101001010",
"100101100001101011010",
"100101100011100001010",
"100101100011100001110",
"100101100011100010010",
"100101100011100010110",
"100101100011100101010",
"100101100011100101110",
"100101100011100110010",
"100101100011100110110",
"100101100101100001010",
"100101100101100011010",
"100101100101100100010",
"100101100101100100110",
"100101100101100101010",
"100101100101100110010",
"100101100101100110110",
"100101100101101001010",
"100101100101101011010",
"100101101011100001010",
"100101101011100001110",
"100101101011100010010",
"100101101011100010110",
"100101101011100101010",
"100101101011100101110",
"100101101011100110010",
"100101101011100110110"
],
"rows_sha256": "a23fdeb1d74bdc2b830d2b2677bcf42c4c581ac08becede37ba40f8119116bdd",
"status": "EXHAUSTED",
"total": 706
}