PILOT_START 21:35:10Z cpu 42
r140 c40 8,6,4,0 {"result": "UNSAT", "it": 2, "cuts": {"k9": 4}, "sec": 6.2, "models": 0}
REPRO_OK
LISTED r131 nprof 109 capped False undecided 0 timeouts 0 sec 49
r131 c62 7,7,3,2 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 22.2, "models": 0}
r131 c52 7,7,5,3 {"result": "UNSAT", "it": 3, "cuts": {"szeider_p43": 1, "k8pair": 5, "ctlocal": 1}, "sec": 31.0, "models": 0}
r131 c53 7,7,5,2 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 10.9, "models": 0}
r131 c106 5,5,5,3 {"result": "UNSAT", "it": 1, "cuts": {"k9": 1}, "sec": 14.0, "models": 0}
r131 c94 6,6,5,1 {"result": "UNSAT", "it": 1, "cuts": {"k9": 1}, "sec": 38.9, "models": 0}
r131 c98 6,6,4,1 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 74.8, "models": 0}
r131 c48 7,7,6,3 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 25.8, "models": 0}
r131 c42 8,5,5,4 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 24.2, "models": 0}
r131 c21 8,7,4,2 {"result": "UNSAT", "it": 3, "cuts": {"szeider_p43": 1, "k8pair": 8, "k10k3": 1}, "sec": 9.1, "models": 0}
r131 c12 9,5,5,1 {"result": "UNSAT", "it": 77, "cuts": {"ctlocal": 26, "k8pair": 8, "k9": 1, "sep": 40, "szeider_p43": 9}, "sec": 363.9, "models": 0}
r131 c63 7,7,3,1 {"result": "UNSAT", "it": 1, "cuts": {"k9": 1}, "sec": 13.9, "models": 0}
r131 c20 8,7,4,3 {"result": "UNSAT", "it": 3, "cuts": {"k8pair": 8, "ctlocal": 2}, "sec": 18.9, "models": 0}
r131 c0 9,6,6,1 {"result": "UNSAT", "it": 7, "cuts": {"k8pair": 5, "ctlocal": 6}, "sec": 56.5, "models": 0}
r131 c107 5,5,5,2 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 43.4, "models": 0}
r131 c50 7,7,6,0 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 1.2, "models": 0}
r131 c36 8,6,4,4 {"result": "UNSAT", "it": 1, "cuts": {"szeider_p43": 1}, "sec": 27.3, "models": 0}
r131 c101 6,5,5,3 {"result": "UNSAT", "it": 1, "cuts": {"k9": 2}, "sec": 13.8, "models": 0}
r131 c56 7,7,4,4 {"result": "UNSAT", "it": 2, "cuts": {"szeider_p43": 1, "k8pair": 5}, "sec": 48.2, "models": 0}
r131 c15 8,7,5,3 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 11.0, "models": 0}
r131 c95 6,6,4,4 {"result": "UNSAT", "it": 4, "cuts": {"szeider_p43": 2, "ctlocal": 1, "k9": 1}, "sec": 121.1, "models": 0}
r131 c7 9,6,4,2 {"result": "UNSAT", "it": 43, "cuts": {"szeider_p43": 1, "ctlocal": 5, "k8pair": 8, "sep": 36}, "sec": 131.6, "models": 0}
r131 c2 9,6,5,2 {"result": "UNSAT", "it": 2, "cuts": {"k8pair": 8, "ctlocal": 1}, "sec": 12.1, "models": 0}
r131 c79 7,5,5,5 {"result": "UNSAT", "it": 1, "cuts": {"szeider_p43": 1}, "sec": 257.0, "models": 0}
r131 c19 8,7,4,4 {"result": "UNSAT", "it": 2, "cuts": {"k8pair": 7, "ctlocal": 1}, "sec": 17.5, "models": 0}
r131 c80 7,5,5,4 {"result": "UNSAT", "it": 2, "cuts": {"szeider_p43": 1, "k9": 1}, "sec": 39.4, "models": 0}
r131 c66 7,6,6,2 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 6.7, "models": 0}
r131 c24 8,7,3,3 {"result": "UNSAT", "it": 3, "cuts": {"szeider_p43": 1, "k9": 3}, "sec": 14.0, "models": 0}
r131 c43 8,5,5,3 {"result": "UNSAT", "it": 2, "cuts": {"szeider_p43": 1, "k9": 1}, "sec": 16.2, "models": 0}
r131 c91 6,6,5,4 {"result": "UNSAT", "it": 2, "cuts": {"szeider_p43": 2}, "sec": 142.9, "models": 0}
r131 c74 7,6,5,0 {"result": "UNSAT", "it": 3, "cuts": {"k9": 2, "k10k3": 1}, "sec": 9.0, "models": 0}
r131 c4 9,6,5,0 {"result": "UNSAT", "it": 2, "cuts": {"k9": 1, "k10k3": 1}, "sec": 1.4, "models": 0}
r131 c77 7,6,4,2 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 42.8, "models": 0}
r131 c14 8,7,6,0 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 5.8, "models": 0}
r131 c64 7,6,6,4 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 97.3, "models": 0}
r131 c86 6,6,6,3 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 15.6, "models": 0}
r131 c57 7,7,4,3 {"result": "UNSAT", "it": 4, "cuts": {"szeider_p43": 2, "ctlocal": 1, "k8pair": 7}, "sec": 29.7, "models": 0}
r131 c28 8,6,6,2 {"result": "UNSAT", "it": 1, "cuts": {"ctlocal": 1}, "sec": 19.6, "models": 0}
r131 c25 8,7,3,2 {"result": "UNSAT", "it": 3, "cuts": {"k9": 1, "szeider_p43": 1, "ctlocal": 1}, "sec": 15.6, "models": 0}
r131 c10 9,5,5,3 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 8.5, "models": 0}
r131 c44 8,5,5,2 {"result": "UNSAT", "it": 3, "cuts": {"szeider_p43": 1, "ctlocal": 1, "k9": 1}, "sec": 22.7, "models": 0}
r131 c32 8,6,5,3 {"result": "UNSAT", "it": 1, "cuts": {"ctlocal": 1}, "sec": 21.7, "models": 0}
r131 c8 9,6,4,1 {"result": "UNSAT", "it": 52, "cuts": {"szeider_p43": 2, "sep": 36, "k9": 1, "ctlocal": 12, "k8pair": 8}, "sec": 235.1, "models": 0}
r131 c81 7,5,5,3 {"result": "UNSAT", "it": 2, "cuts": {"szeider_p43": 1, "k9": 1}, "sec": 23.2, "models": 0}
r131 c68 7,6,6,0 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 7.0, "models": 0}
r131 c49 7,7,6,1 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 6.8, "models": 0}
r131 c69 7,6,5,5 {"result": "UNSAT", "it": 2, "cuts": {"k8pair": 3, "ctlocal": 1}, "sec": 277.4, "models": 0}
r131 c30 8,6,6,0 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 1.3, "models": 0}
r131 c18 8,7,5,0 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 7.5, "models": 0}
r131 c58 7,7,4,2 {"result": "UNSAT", "it": 3, "cuts": {"k9": 2, "k10k3": 1}, "sec": 9.2, "models": 0}
r131 c45 8,5,5,1 {"result": "UNSAT", "it": 1, "cuts": {"k9": 1}, "sec": 9.5, "models": 0}
r131 c59 7,7,4,1 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 7.2, "models": 0}
r131 c41 8,5,5,5 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 180.1, "models": 0}
r131 c75 7,6,4,4 {"result": "UNSAT", "it": 3, "cuts": {"szeider_p43": 2, "k9": 1}, "sec": 78.4, "models": 0}
r131 c34 8,6,5,1 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 5.4, "models": 0}
r131 c92 6,6,5,3 {"result": "UNSAT", "it": 2, "cuts": {"k9": 2}, "sec": 18.9, "models": 0}
r131 c27 8,7,3,0 {"result": "UNSAT", "it": 1, "cuts": {"k9": 3}, "sec": 7.7, "models": 0}
r131 c11 9,5,5,2 {"result": "UNSAT", "it": 43, "cuts": {"sep": 36, "szeider_p43": 1, "ctlocal": 5, "k8pair": 8}, "sec": 114.0, "models": 0}
r131 c96 6,6,4,3 {"result": "UNSAT", "it": 1, "cuts": {"k9": 2}, "sec": 20.9, "models": 0}
r131 c65 7,6,6,3 {"result": "UNSAT", "it": 1, "cuts": {"ctlocal": 1}, "sec": 42.8, "models": 0}
r131 c71 7,6,5,3 {"result": "UNSAT", "it": 4, "cuts": {"szeider_p43": 2, "k8pair": 8, "k10k3": 1}, "sec": 31.2, "models": 0}
r131 c83 7,5,5,1 {"result": "UNSAT", "it": 1, "cuts": {"k9": 1}, "sec": 20.2, "models": 0}
r131 c5 9,6,4,4 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 11.5, "models": 0}
r131 c78 7,6,4,1 {"result": "UNSAT", "it": 2, "cuts": {"k9": 2}, "sec": 19.0, "models": 0}
r131 c108 5,5,5,1 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 52.5, "models": 0}
r131 c84 6,6,6,5 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 294.9, "models": 0}
r131 c16 8,7,5,2 {"result": "UNSAT", "it": 2, "cuts": {"k8pair": 8, "ctlocal": 1}, "sec": 12.7, "models": 0}
r131 c33 8,6,5,2 {"result": "UNSAT", "it": 4, "cuts": {"szeider_p43": 2, "k10k3": 1, "k8pair": 5}, "sec": 13.7, "models": 0}
r131 c82 7,5,5,2 {"result": "UNSAT", "it": 0, "cuts": {}, "sec": 48.7, "models": 0}
r131 c23 8,7,4,0 {"result": "UNSAT", "it": 2, "cuts": {"k9": 2, "k10k3": 1}, "sec": 5.9, "models": 0}
r131 c9 9,6,4,0 {"result": "UNSAT", "it": 1, "cuts": {"k9": 3}, "sec": 8.6, "models": 0}
r131 c17 8,7,5,1 {"result": "UNSAT", "it": 1, "cuts": {"k10k3": 1}, "sec": 4.3, "models": 0}
r131 c46 8,5,5,0 {"result": "UNSAT", "it": 2, "cuts": {"k9": 4}, "sec": 9.4, "models": 0}
r131 c55 7,7,5,0 {"result": "UNSAT", "it": 2, "cuts": {"k9": 1, "k10k3": 1}, "sec": 9.3, "models": 0}

OPERATOR_RECEIPT_EXTERNAL_WALL 3600.009 seconds; wrapper terminated.
r131 c3 9,6,5,1 KILLED_AT_WALL (external-wrapper receipt; no verdict)
