pairsat.py:4: SyntaxWarning: invalid escape sequence '\ '
  For a 3-sphere S on V, u = 0 and v = k, W = V \ {v}, K = S[V \ {u,v}] cup lk_S(v), we look for a pure
{'sphere': 'A10', 'u': 0, 'v': 1, 'vars': 6354, 'clauses': 27899, 'cert_X_satisfies_formula': True, 'sat': True, 'model_facets': 26, 'time_s': 0.0}
{'sphere': 'A10', 'u': 0, 'v': 2, 'vars': 6354, 'clauses': 27903, 'sat': False, 'proof_lines': 6962, 'proof_lemmas': 23, 'time_s': 0.0}
{'sphere': 'A10', 'u': 0, 'v': 3, 'vars': 6354, 'clauses': 27895, 'sat': False, 'proof_lines': 8760, 'proof_lemmas': 242, 'time_s': 0.0}
{'sphere': 'A10', 'u': 0, 'v': 4, 'vars': 6354, 'clauses': 27891, 'sat': False, 'proof_lines': 8216, 'proof_lemmas': 356, 'time_s': 0.0}
{'sphere': 'A10', 'u': 0, 'v': 5, 'vars': 6354, 'clauses': 27903, 'cert_X_satisfies_formula': True, 'sat': True, 'model_facets': 27, 'time_s': 0.0}
{'sphere': 'A11', 'u': 0, 'v': 1, 'vars': 12275, 'clauses': 54633, 'sat': False, 'proof_lines': 13303, 'proof_lemmas': 101, 'time_s': 0.1}
{'sphere': 'A11', 'u': 0, 'v': 2, 'vars': 12275, 'clauses': 54637, 'sat': False, 'proof_lines': 15101, 'proof_lemmas': 111, 'time_s': 0.1}
{'sphere': 'A11', 'u': 0, 'v': 3, 'vars': 12275, 'clauses': 54637, 'sat': False, 'proof_lines': 16708, 'proof_lemmas': 103, 'time_s': 0.1}
{'sphere': 'A11', 'u': 0, 'v': 4, 'vars': 12275, 'clauses': 54625, 'sat': False, 'proof_lines': 16759, 'proof_lemmas': 689, 'time_s': 0.1}
{'sphere': 'A11', 'u': 0, 'v': 5, 'vars': 12275, 'clauses': 54629, 'sat': False, 'proof_lines': 17911, 'proof_lemmas': 426, 'time_s': 0.1}
{'sphere': 'Z13_0', 'u': 0, 'v': 1, 'vars': 36945, 'clauses': 169378, 'sat': False, 'proof_lines': 52096, 'proof_lemmas': 744, 'time_s': 0.2}
{'sphere': 'Z13_0', 'u': 0, 'v': 2, 'vars': 36945, 'clauses': 169370, 'sat': False, 'proof_lines': 61734, 'proof_lemmas': 4402, 'time_s': 0.3}
{'sphere': 'Z13_0', 'u': 0, 'v': 3, 'vars': 36945, 'clauses': 169362, 'sat': False, 'proof_lines': 57853, 'proof_lemmas': 4291, 'time_s': 0.3}
{'sphere': 'Z13_0', 'u': 0, 'v': 4, 'vars': 36945, 'clauses': 169374, 'sat': False, 'proof_lines': 53681, 'proof_lemmas': 680, 'time_s': 0.2}
{'sphere': 'Z13_0', 'u': 0, 'v': 5, 'vars': 36945, 'clauses': 169366, 'sat': False, 'proof_lines': 57004, 'proof_lemmas': 3111, 'time_s': 0.3}
{'sphere': 'Z13_0', 'u': 0, 'v': 6, 'vars': 36945, 'clauses': 169370, 'sat': False, 'proof_lines': 53399, 'proof_lemmas': 814, 'time_s': 0.2}
{'sphere': 'Z13_1', 'u': 0, 'v': 1, 'vars': 36945, 'clauses': 169370, 'sat': False, 'proof_lines': 57784, 'proof_lemmas': 2273, 'time_s': 0.3}
{'sphere': 'Z13_1', 'u': 0, 'v': 2, 'vars': 36945, 'clauses': 169362, 'sat': False, 'proof_lines': 49986, 'proof_lemmas': 1405, 'time_s': 0.2}
{'sphere': 'Z13_1', 'u': 0, 'v': 3, 'vars': 36945, 'clauses': 169366, 'sat': False, 'proof_lines': 57180, 'proof_lemmas': 3973, 'time_s': 0.3}
{'sphere': 'Z13_1', 'u': 0, 'v': 4, 'vars': 36945, 'clauses': 169374, 'sat': False, 'proof_lines': 48002, 'proof_lemmas': 598, 'time_s': 0.2}
{'sphere': 'Z13_1', 'u': 0, 'v': 5, 'vars': 36945, 'clauses': 169374, 'sat': False, 'proof_lines': 68239, 'proof_lemmas': 1172, 'time_s': 0.2}
{'sphere': 'Z13_1', 'u': 0, 'v': 6, 'vars': 36945, 'clauses': 169374, 'sat': False, 'proof_lines': 60457, 'proof_lemmas': 2611, 'time_s': 0.3}
