r140 c40 8,6,4,0 {"result": "UNSAT", "it": 2, "cuts": {"k9": 4}, "sec": 4.4, "models": 0}
REPRO_OK
r131 c3 9,6,5,1 {"result": "UNSAT", "it": 28, "cuts": {"ctlocal": 24, "k8pair": 8, "k10k3": 1, "szeider_p43": 1, "k9": 1}, "sec": 190.1, "models": 0}
r131 c35 8,6,5,0 {"result": "UNSAT", "it": 2, "cuts": {"k9": 1, "k10k3": 1}, "sec": 5.1, "models": 0}
r131 c88 6,6,6,1 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 6.2, "models": 0}
r131 c97 6,6,4,2 {"result": "UNSAT", "it": 2, "cuts": {"k9": 2}, "sec": 13.4, "models": 0}
r131 c60 7,7,4,0 {"result": "UNSAT", "it": 2, "cuts": {"k9": 1, "k10k3": 1}, "sec": 6.5, "models": 0}
r131 c31 8,6,5,4 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 23.6, "models": 0}
r131 c89 6,6,6,0 {"result": "UNSAT", "it": 2, "cuts": {"k9": 2, "k10k3": 1}, "sec": 6.7, "models": 0}
r131 c22 8,7,4,1 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 4.9, "models": 0}
r131 c93 6,6,5,2 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 56.2, "models": 0}
r131 c105 5,5,5,4 {"result": "UNSAT", "it": 1, "cuts": {"k9": 2}, "sec": 26.1, "models": 0}
r131 c6 9,6,4,3 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 6.3, "models": 0}
r131 c87 6,6,6,2 {"result": "UNSAT", "it": 2, "cuts": {"k9": 1, "k10k3": 1}, "sec": 9.4, "models": 0}
r131 c76 7,6,4,3 {"result": "UNSAT", "it": 4, "cuts": {"szeider_p43": 2, "k9": 2}, "sec": 22.2, "models": 0}
r131 c47 7,7,7,0 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 7.7, "models": 0}
r131 c102 6,5,5,2 {"result": "UNSAT", "it": 2, "cuts": {"k9": 2}, "sec": 12.7, "models": 0}
r131 c40 8,6,4,0 {"result": "UNSAT", "it": 2, "cuts": {"k9": 4}, "sec": 6.7, "models": 0}
r131 c1 9,6,6,0 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 0.9, "models": 0}
r131 c104 5,5,5,5 {"result": "UNSAT", "it": 4, "cuts": {"k9": 2, "szeider_p43": 2}, "sec": 286.9, "models": 0}
r131 c103 6,5,5,1 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 77.3, "models": 0}
r131 c72 7,6,5,2 {"result": "UNSAT", "it": 4, "cuts": {"k9": 3, "k10k3": 1}, "sec": 6.8, "models": 0}
r131 c13 9,5,5,0 {"result": "UNSAT", "it": 1, "cuts": {"k9": 3}, "sec": 6.1, "models": 0}
r131 c67 7,6,6,1 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 5.1, "models": 0}
r131 c38 8,6,4,2 {"result": "UNSAT", "it": 6, "cuts": {"k9": 2, "szeider_p43": 2, "ctlocal": 2}, "sec": 23.0, "models": 0}
r131 c90 6,6,5,5 {"result": "UNSAT", "it": 2, "cuts": {"szeider_p43": 2}, "sec": 349.6, "models": 0}
r131 c29 8,6,6,1 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 3.7, "models": 0}
r131 c99 6,5,5,5 {"result": "UNSAT", "it": 2, "cuts": {"szeider_p43": 2}, "sec": 308.4, "models": 0}
r131 c54 7,7,5,1 {"result": "UNSAT", "it": 2, "cuts": {"k9": 1, "k10k3": 1}, "sec": 7.2, "models": 0}
r131 c73 7,6,5,1 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 5.5, "models": 0}
r131 c85 6,6,6,4 {"result": "UNSAT", "it": 1, "cuts": {"szeider_p43": 1}, "sec": 102.9, "models": 0}
r131 c26 8,7,3,1 {"result": "UNSAT", "it": 2, "cuts": {"k9": 3}, "sec": 5.8, "models": 0}
r131 c100 6,5,5,4 {"result": "UNSAT", "it": 2, "cuts": {"szeider_p43": 1, "k9": 1}, "sec": 50.2, "models": 0}
r131 c37 8,6,4,3 {"result": "UNSAT", "it": 3, "cuts": {"szeider_p43": 2, "k9": 1}, "sec": 14.2, "models": 0}
r131 c39 8,6,4,1 {"result": "UNSAT", "it": 2, "cuts": {"k9": 3}, "sec": 10.7, "models": 0}
r131 c70 7,6,5,4 {"result": "UNSAT", "it": 4, "cuts": {"szeider_p43": 1, "k8pair": 5, "ctlocal": 2}, "sec": 53.7, "models": 0}
r131 c51 7,7,5,4 {"result": "UNSAT", "it": 1, "cuts": {"k8pair": 5}, "sec": 37.8, "models": 0}
r131 c61 7,7,3,3 {"result": "UNSAT", "it": 40, "cuts": {"szeider_p43": 2, "k9": 1, "k8pair": 3, "kappa6": 35, "ctlocal": 1}, "sec": 76.2, "models": 0}
