Standard output
223105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
223105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130ns
223105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
226438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s
226453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
226453 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
226469 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)
226484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
226488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.01ms
226488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
229803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s
229832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
229832 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
229832 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1)
229847 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft' on goal 1 (script from line 2)
229847 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)