[ { "header": "Split", "tactic": "Wp.split", "params": {},
    "select": { "select": "clause-goal",
                "target": "exists i_0,i_1:int.\n(i_0<=i_13) /\\ (i_1<=i_14) /\\ (0<=i_0) /\\ (i_13<=i_0) /\\ (i_14<=i_1)\n/\\ (i_0<=9)",
                "pattern": "\\E$i$i0$i$i9" },
    "children": { "Goal 1/2": [ { "prover": "Alt-Ergo:2.2.0",
                                  "verdict": "valid", "time": 0.0202,
                                  "steps": 40 } ],
                  "Goal 2/2": [ { "prover": "Alt-Ergo:2.2.0",
                                  "verdict": "valid", "time": 0.0177,
                                  "steps": 40 } ] } } ]