Standard output
231015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
231015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.4ns
231015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
234326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s
234342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
234342 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
234342 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"' on goal 0 (script from line 1)
234357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
234357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.4ns
234357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
237710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s
237725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
237725 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
237741 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1)
237741 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft' on goal 1 (script from line 2)
237741 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"' on goal 2 (script from line 3)