Standard output
213129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
213129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.8ns
213129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
216348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s
216363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
216363 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
216363 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)
216379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
216379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.3ns
216379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
219624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
219640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
219640 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
219656 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1)
219656 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft' on goal 1 (script from line 2)
219656 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)